因子分解的弹性谱 · 公开问题 09

问题

原子独异点（每个非单位都分解为原子的交换独异点）中，元素 x 的因子分解长度集合 L(x) 有限非空。弹性 ρ(H) = sup{max L(x)/min L(x)} 度量唯一分解失败的程度（唯一分解 ⟺ ρ = 1）。Geroldinger–Halter-Koch 的理论把 «算术良态» 的独异点组织成 C-独异点框架（包含 Krull 独异点、数值半群、环的非常数整元独异点等），在 C-独异点中 ρ 有限且可达到。中心问题：ρ(H) 能取哪些值（弹性谱）？数值半群情形的显式公式（下文命题 1 的上界半边完整证明）之外，一般仿射半群的弹性谱、长度集合的完整实现问题（39 号）都开放。

主要概念

长度集合与弹性

L(x) = {ℓ : x = 原子₁⋯原子_ℓ}。数值半群的原子恰是极小生成元（任何生成元的非平凡分解会消去它自身的极小性）；x 的分解 = 把 x 写成生成元的非负组合，长度 = 项数。max L(x) 倾向 «全用最小生成元»，min L(x) 倾向 «多用最大生成元»——弹性的直觉就是这两个极端策略的效率比。

C-独异点与谱问题

C-独异点是 «可嵌入商群且同余结构有限» 的原子独异点，其上弹性有限、L(x) 是殆算术级数的并（结构定理）。弹性谱问题问：{ρ(H) : H 跑遍某类} 的值集——数值半群类中 ρ = a_k/a₁（下文）可取一切 ≥ 1 的有理数（取 ⟨a₁,a_k⟩ 且 (a₁,a_k) 互素即可达任何有理数），谱 «满»；一般仿射半群与 C-独异点的谱结构（如 ρ 是否必为有理数）是 40 号 «深度不变量» 网络的一部分。

主要命题与证明

命题 1（数值半群弹性的上界半边；完整证明）　数值半群 S = ⟨a₁,…,a_k⟩（a₁ < … < a_k）中，对一切可表示的 x：min L(x) ≥ x/a_k 且 max L(x) ≤ x/a₁；故 ρ(S) ≤ a_k/a₁。文献定理（Damiani–D'Anna）：ρ(S) = a_k/a₁；下界半边的 Apéry 机制见证明后注。

证明　数值半群的原子 = 极小生成元（若生成元 a = u+v，u,v ∈ S∖{0}，则 u,v 的生成元分解给出 a 的更细组合，a 的极小性被破坏；反之极小生成元不可分解）。于是 x 的任何长度 ℓ 分解中每个原子 ≥ a₁ ⟹ x ≥ ℓa₁ ⟹ ℓ ≤ x/a₁，取 ℓ = max L 得第一式；每个原子 ≤ a_k ⟹ x ≤ ℓa_k ⟹ ℓ ≥ x/a_k，取 ℓ = min L 得第二式。相除：max L/min L ≤ (x/a₁)/(x/a_k) = a_k/a₁，对所有 x 成立，故 ρ ≤ a_k/a₁。下界机制注（Damiani–D'Anna 的完整证明用 Apéry 集给出 min L 的精确公式 min L(x) = (max Ap − x′)/… 的逐余类表达；直觉构造：取 x 同时 «接近全 a₁ 表示»（max L ≈ x/a₁）与 «可用 ⌊x/a_k⌋ 个 a_k 加少量修正表示»（min L ≈ x/a_k），比值随 x→∞ 趋于 a_k/a₁；当 gcd(a₁,a_k) > 1 时须用中间生成元做同余修正，这正是 Apéry 公式出场之处。此处按文献口径陈述等式。□

命题 2（数值半群弹性谱的满性；完整证明）　对任意有理数 q ≥ 1，存在数值半群 S 使 ρ(S) = q。

证明　写 q = b/a（a,b 互素，b ≥ a ≥ 1）。取 S = ⟨a,b⟩（b > a 时两生成元；q = 1 时取 S = ℕ 或 ⟨a,a+1⟩ 型互素对）。极小生成元的最小与最大即 a 与 b，由文献定理（命题 1 的等式半边）ρ(S) = b/a = q。□

命题 3（C-独异点框架的核心性质；陈述）　Geroldinger–Halter-Koch：C-独异点 H 中（i）ρ(H) 有限且被某元素达到（sup 是 max）；（ii）每个 L(x) 是有限个殆算术级数（公差 ≤ ρ(H)）的并；（iii）数值半群、Krull 独异点（特别地代数整数环的非常数整元）都是 C-独异点。一般仿射半群的弹性谱（值集结构）与 «ρ(H) 的无理性障碍» 开放。

现状说明　(ii) 的 «殆算术» 结构来自 C-同余的 «有限状态» 性质——弹性谱问题因此与 «实现问题»（39 号：哪些集合是 L(x)）及 40 号的不变量网络（catenary degree、ω-不变量）互锁：弹性给出公差上界，catenary degree 给出级数间的 «距离»。□

进展与文献

Damiani–D'Anna 的数值半群弹性（1996）；Chapman 等《Anatomy of integers》与因子分解理论综述；Geroldinger–Halter-Koch《Factorization Theory in Commutative Semigroups and Monoids》（专著，C-独异点框架）；Geroldinger 的弹性谱与长度集实现系列。开放核心：一般仿射半群弹性谱的值集结构；C-独异点中 ρ 的代数刻画（何时可计算）；弹性与 40 号不变量的最优不等式网络。