数值半群环的完全交谱 · 公开问题 06

问题

数值半群 S 的半群环 k[S] = k[t^s : s ∈ S] 是单变量幂级数环的子环。Herzog–Kunz 桥梁（1970 年代）：S 对称 ⟺ k[S] 是 Gorenstein 环。更深一层问：完全交（k[S] 同构于正则环对正则序列的商，即 «完全相交» 的理想）对应什么半群性质？答案是：S 的极小生成集有 «递归两两结合» 的结构（见命题 1）。问题问：完全交数值半群按亏格的枚举公式、与总计数（02 号）的耦合、以及 Kunz 坐标判据的系统化。

主要概念

Kunz 坐标

固定互素 a₁ ∈ S，Kunz 把 «S 含 a₁» 的数值半群一一对应到非负整数组 (x₁,…,x_a₁−1)（a₁−1 个坐标）：半群由线性不等式组 x_i + x_j ≥ x_i+j（下标模 a₁）刻画——数值半群的不等式理论被 «格点化»。对称性、Gorenstein、完全交都在这组坐标上变成显式条件：Gorenstein 是 «单点失配» 条件，完全交是 «递归可分解» 条件。这使按亏格计数（每个亏格对应坐标和）变成格点计数问题——Zhai 的结果（02 号）正由此而来。

完全交的代数含义

k[S] 的理想 I 是 «完全交» ⟺ I 可由极小个数（= codim）个生成元生成且生成元构成正则序列。对半群环，codim = e−1（e 为嵌入维数），故完全交 ⟺ I 由 e−1 个 «独立» 二项式生成。半群侧的对应结构：生成元可排成 «树»，每个新生成元由两个 «旧» 元素的 «分岔» 产生——Bresinsky、Delgado 的递归刻画。

主要命题与证明

命题 1（Delgado–Bresinsky 递归刻画；陈述与机制）　数值半群 S（嵌入维数 e）的半群环是完全交 ⟺ 存在生成元排序 s₁,…,s_e 使得每个 s_j（j ≥ 2）可由 «上一个完全交半群» 添加单个新生成元得到，且新增理想元只有一个——等价的组合表述：S 的 «Betti 元素»（10 号）构成一棵以 e−1 条边连接的树。完全交 ⟹ 对称（e = 2 的两生成元情形）与 «Gorenstein 谱» 的包含关系：完全交 ⊊ Gorenstein = 对称。

机制说明　递归方向的完整性依赖 «每次添加恰一个生成元、恰一个新关系» 的二项式理想结构；树条件保证关系的正则序列性（每条新关系只 «用» 之前未消去的变量）。一般 Gorenstein 半群环的关系更多，树结构失败——这是 «完全交 ⊊ Gorenstein» 的组合原因。逐情形证明见 Delgado（1988）与 Bresinsky（1975–88）系列论文；此处按文献口径陈述。□

命题 2（完全交的 Kunz 坐标条件；陈述）　在 Kunz 坐标上，完全交性等价于不等式组的 «递归可约»：存在坐标顺序使每步可消去一个坐标而保持同型不等式结构。由此完全交半群按亏格的计数是递归可算的——与 «Gorenstein（对称）» 的 «单失配» 条件相比，完全交条件把计数复杂度降到指数级以下（对称计数已知多项式级，完全交计数介于其间），精确渐近开放。

现状说明　Kunz 坐标把 «代数性质 ⟺ 格点条件» 的翻译做得很完整，但 «格点区域内的整点计数» 对完全交区域（比 Gorenstein 区域 «更细碎»）没有已知的闭式。与 02 号的耦合：完全交占总数的比例随亏格的行为（是否也趋于 0？）没有结果。□

命题 3（两生成元与三生成元的完全交；完整证明）　嵌入维数 e ≤ 2 的半群（含 0 与 ℕ 本身）的半群环都是完全交（域与超曲面）；e = 3 时 k[S] 完全交 ⟺ 极小关系恰两条且构成正则序列 ⟺ S 的三条 «极小表示关系» 中恰两条独立——等价地，三生成元半群 ⟨a,b,c⟩ 是完全交 ⟺ 其关系理想由两个二项式生成（«两个方程、三个未知数» 的完全交超曲面交）。

证明　e ≤ 2：k 与 k[t^a,t^b] ≅ k[x,y]/(x^b/d−y^a/d)（d = gcd(a,b)）是超曲面，完全交。e = 3：k[S] ≅ k[x₁,x₂,x₃]/I，I 由极小二项关系生成。关系族由 «格» ker φ 给出（φ : ℕ³ → S，φ(e_j) = s_j）；e=3 时 ker 的极小二项式生成集由 Bresinsky 的有限分类给出：要么 2 条（完全交，因为 codim = 3−1 = 2 且 2 条独立二项式构成正则序列），要么 ≥ 4 条（非完全交）。«恰 2 条» 的半群侧判据：三条生成元满足 «一条是另两条的组合路径上的分岔»——即存在关系 αs₁ = βs₂ + γs₃ 型的 «唯一桥接»。逐例验证可算，一般判据的 «可判定性» 即命题 1 的树条件在 e=3 的退化（树 = 单边）。□

进展与文献

Herzog《Generators and relations of semigroup rings》（1970）；Kunz《The value-semigroup of a one-dimensional Gorenstein ring》（1970）；Bresinsky、Delgado 的完全交刻画；Kunz 坐标的现代复兴（Bras-Amorós–Matthews 的不等式系统与计数应用）。开放核心：完全交按亏格枚举的渐近；与 02、07 号的计数耦合；更高阶（Gorenstein 谱的 «第 k 层»）的分类与计数。