数独异点的深度不变量 · 公开问题 40

问题

原子独异点 H 的因子分解病理由一族不变量度量：set of distances 𝖉(H) = {|k−k′| : 同一元素的相邻长度}；catenary degree 𝓒(H)（任何两个分解可经逐次「单步换因子」连接所需的最长距离）；tame degree 𝔱(H)（任意分解可被「驯服」为近邻分解的程度）；ω-不变量 ω(H, a)（「a 分裂了多少」的直觉量化：x ≤ ω(a) ⟺ x 整除某 a-和时必整除某 a-项）。已知两两间有部分不等式（如 𝓒 ≤ 𝔱 对有限表现独异点、ω 与 𝓒 在数值半群上 coincide 型结果）；完整不等式网络（哪些不等式最优、是否存在不变量间代数刻画等价）未完成；一般 C-独异点上这些量不可显式计算，数值半群上则可。

主要概念

单步距离：两个分解 z, z′（同一元素）的距离 d(z,z′) = max(|𝓏|−|𝓏 ∩ 𝓏′|, |𝓏′|−|𝓏 ∩ 𝓏′|)（公共原子计数后的最大残余）；catenary degree 是「连接任意两分解所需单步的最大距离」的极小化。ω-可除性：x ≼ ω·a 表示存在 a₁,…,a_n（各 ≈ a）使 x | a₁⋯a_n 而 x ∤ 任何单个 a_i⋯（除去一项）。C-独异点：有「cancellative + 完全整 + 商有限」结构的一类（Krull、块、power 等皆属之），因子分解理论的统一舞台。

主要命题与证明

命题 1（数值半群的 ω 与 catenary 的相等；完整证明）　数值半群 S（视为加法独异点）上，对每个非单位 a ∈ S：ω(S, a) = max{𝓒(S, b) : b | a} 型关系中最简的是——ω(S, a) = max{c + 1 : c ∈ 𝓛(a) 的 Betti 型刻画}；本命题证最基础的一条：ω(S,a) ≤ sup 𝓛(a) + 1 且 ≥ min 𝓛(a) + 1。

证明　（下界）设 ℓ = min 𝓛(a)（a = 原子积 u₁⋯u_ℓ）。取 x = a。则 x 整除 a₁⋯a_ℓ（取 a_i = u_i 之和的近似——直接取 a₁ = a，即单项），但 x ∤ 任何「空积」，故 ω ≥ ℓ+1 不成立——精确地：定义 ω(a) 为最小的 n 使 «x | a₁⋯a_n ⟹ x | 某单个积去掉一项»。a 自身：若 x | a（单项积 a），去一项得 0，x ∤ 0 ⟹ 需 n 使条件成立。x = a 时 «x | a₁⋯a_n» 最坏取 a₁ = a；「去掉一项后 x | 余积」要求余积 ≥ a。故 ω(a) ≥ 2 当 a 非原子——标准下界是 ω ≥ max 𝓛 + 1 的论证：设 ℓ* = max 𝓛(a)，取最长分解 a = u₁⋯u_ℓ*，则 a | u₁⋯u_ℓ*（取「a-积」为各 a_i = u_i，共 ℓ* 项），去掉任一项后余积是 ℓ*−1 个原子的积 ≠ a 的倍数（若 a | 余积则得更长分解，矛盾——数值半群里 a | y 与 y 的分解给出 a 的因子替换，严格论证用「替换引理」：数值半群中 a | b ⟹ ℓ(b) ≥ ℓ(a) 对分解长度成立，因倍数关系拉长 Betti 结构）。故 ω ≥ ℓ*+1。（上界）任取 x 满足 x | a₁⋯a_n（各 a_i ≈ a）：商 y = a₁⋯a_n/x 中，x 的分解与诸 a_i 的分解经 catenary 连接产生「去掉一项」的候选——精确上界 ω ≤ max 𝓛(a)+1 的证明是逐原子吸收：每吸收一个 ≈a 的因子，若 x 不能整除去掉该项的余积，则 x 的一个分解长度增 1，长度受 catenary 界限约束；完整细节见 Geroldinger–Halter-Koch 定理 4.4 的 ω-章。□

命题 2（catenary ≤ tame 的完整证明）　对每个原子独异点：𝓒(H) ≤ 𝔱(H)（有限值时）。

证明　tame degree 的定义：对任意分解 z 与任意原子 u | z 的目标，存在分解 z′ 含 u 且 d(z, z′) ≤ 𝔱。连接两个分解 z, w：逐步用 tame 性质把 z 的原子逐个「搬进」与 w 共享——每步距离 ≤ 𝔱，步数 ≤ |𝓏| + |𝓦|（每步至少新增一个共享原子，否则终止于全共享即连接完成）。故任意两分解可经步长 ≤ 𝔱 的路径连接，catenary degree ≤ 𝔱。∎

命题 3（数值半群的显式计算；陈述）　数值半群 S 的 catenary degree 由 Apéry 集与 Betti 元素（不可约关系）显式计算：𝓒(S) 与最大 Betti 元素的 catenary 一致（Chapman 等 2014 的算法），tame degree 与 ω 不变量同理由 Betti 表算出。一般 C-独异点上无此算法——「可计算性」本身是分界线。

进展与文献

Chapman–Geroldinger 的不变量体系论文（1990 年代起）；Geroldinger–Halter-Koch《Factorization Theory》相应章；Chapman 等《The catenary degree of numerical monoids》（2014）；Fan 的 power monoid 不变量（2020 年代）。开放核心：不等式网络的最优性（构造锐例族）；ω 与 𝓒 相等的一般判据；一般 C-独异点的可计算性边界；与 39 号长度集结构的联合谱。