问题
Arf 半群源于 Arf 对单变量奇点环的价条件：对半群，即对元素链 s ≤ t ≤ u（整除序）施加 «取平均仍在半群» 的封闭条件（Barucci–Fröberg 的半群化定义）。Arf 半群与皮亚泰茨基–夏皮罗奇点（单分支、多重留数为 1 的不可约曲线奇点）一一对应，是代数几何进入数值半群论的接口。枚举问题：Arf 半群按亏格 g 的个数 ag 的渐近——已知有斐波那契型结构（比全体的 02 号计数更精确），但 «Arf 占全体数值半群的比例» 及封闭公式未得。本条目给出枚举树机制的可完整证明核心（原子删除引理），并把 Arf 特有的结构作为文献口径陈述。
主要概念
原子删除树
枚举数值半群（及其子类）的统一框架是 «删点树»：对半群 S 与其原子 m（不能写成两个非零元素之和的元素），S∖{m} 常常仍是半群。反向的 «加回最大间隙» 操作 f(S) = S∪{F(S)} 是良定义的（02 号命题 2（i）），且每个半群反复施加 f 终达 ℕ（亏格单调降），故 f 给出以 ℕ 为根的树结构：每个非 ℕ 半群有唯一父亲。树中 S 的孩子是使 f(T) = S 的 T，命题 1 证明这些 T 恰是 «删原子» 的结果。子类 C（如 Arf、对称）若对这两种操作封闭，则 C 的逐层计数可由树递归分析——Arf 的斐波那契型枚举正源于此。
Arf 条件与奇点
Arf 环的价条件 «v(y²) ≥ v(x) + v(z) 对 v(x) ≤ v(y) ≤ v(z)» 在半群侧变成 «链上取平均» 的封闭性。Barucci–Fröberg 证明 Arf 半群必对称（从而是 01 号 «取等» 类的子类）且每个 Arf 半群对应唯一的单分支皮亚泰茨基–夏皮罗奇点；反过来每个此类奇点的价半群是 Arf 的。枚举 Arf 半群 = 枚举这类奇点的拓扑型——这是 02 号 «与奇异曲线模空间计数相连» 注释的精确化。
主要命题与证明
命题 1（原子删除引理与孩子刻画；完整证明） 设 S 是数值半群，m ∈ S∖{0}。则 S∖{m} 是数值半群 ⟺ m 是原子（m ≠ a+b 对一切 a,b ∈ S∖{0}）。进而，对 «加回最大间隙» 映射 f(T) = T∪{F(T)}，S 在树中的孩子恰为 {S∖{m} : m ∈ S∩[c(S),∞) 为原子}。
证明 （⟸）设 m 是原子，验证 T = S∖{m} 封闭：a,b ∈ T 的和 a+b ∈ S；若 a+b = m，则 a,b 都非零（a = 0 ⟹ b = m ∉ T），与 m 不可分解矛盾。补集只多出 m，仍是数值半群，亏格加一。（⟹）若 m = a+b（a,b ∈ S∖{0}），则 a,b ∈ T 而 a+b = m ∉ T，封闭性破坏。孩子刻画：设 f(T) = S，则 T = S∖{m}，其中 m = F(T) 是 T 的最大间隙。于是（i）m ∈ S（m ∈ T∪{m} 而 m ∉ T）；（ii）一切 > m 的数属于 T ⊆ S，即 (m,∞) ⊆ S，等价于 m ≥ c(S)（conductor 以下必有间隙——m 本身在 T 中是间隙，而间隙 < c(T) ≤ c(S)…精确推导：m 是 T 的间隙 ⟹ m < c(T)；一切 > m 属于 S ⟹ c(S) ≤ m+1；又 m ∈ S ⟹ c(S) ≤ m，故 m ≥ c(S)）；（iii）m 是原子（命题第一半）。反之，给定原子 m ∈ S∩[c(S),∞)，T = S∖{m} 是半群（第一半），且 (m,∞) ⊆ S = T∪{m} 且 m ∉ T ⟹ F(T) = m ⟹ f(T) = S。□
命题 2（f-森林的根性；完整证明） 每个数值半群 S 反复施加 f(S) = S∪{F(S)} 在至多 g(S) 步内到达 ℕ；因此 «f-父» 关系把全体数值半群组织成以 ℕ 为根的单树。
证明 每次施加 f 亏格减一（最大间隙被吸收，02 号命题 2（i）），故 g 步内亏格达 0，而亏格 0 的数值半群唯一（ℕ）。唯一性：f(S) 由 S 完全决定，故每节点至多一个父亲、孩子划分无交——计数上 ng = ΣS∈层g−1（S 的孩子数），逐层递归可行。□
命题 3（Arf 类的枚举结构；文献口径陈述） （i）Barucci–Fröberg：Arf 半群必对称，且 Arf 性可在 Sément 树上逐层检验——每个 Arf 半群的 «祖先链» 上的每个节点保持 Arf 性的判据是局部的。（ii）Arf 半群按亏格的个数 ag 有斐波那契型下界（树分叉机制），且 ag/ng 的行为（是否趋于 0）开放——对称类占比趋于 0（Zhai，02 号命题 3）的论证依赖 Kunz 坐标的多项式计数，Arf 类尚无相应工具。
现状说明 Arf 条件在 Kunz 坐标上的表达不是 «单点失配» 型（对称如此），而是 «链条件»，格点区域更复杂，整点计数无可用的闭式。这是 «Arf 占比» 卡壳的技术原因；代数几何侧（皮亚泰茨基–夏皮罗奇点的模空间计数）同样停留在渐近猜想层面。□
进展与文献
Arf《Une interpretation algébrique de la suite des ordres de multiplicité》（1948，条件的出处）；Barucci–Fröberg《One-dimensional almost Gorenstein rings》与 Arf 半群系列（1990 年代）；皮亚泰茨基–夏皮罗《The arithmetic of real algebraic curves》（理论的奇点侧）；Rosales–García-Sánchez 教科书的 Arf 章节。开放核心：Arf 占比的渐近；Arf 按亏格计数的精确渐近常数；Arf 与 «近似对称»（05 号）的计数对比；更高阶价条件（Arf 的 «k-次» 推广）的枚举。