结果族 314：Cyclic length and chromatic fixed-point loss · 学科：Topology · 验证状态：暂无形式化证明，请以社区核验为准
有限群在空间上”照镜子式”作用时，不动点往往比空间本身简单。经典 Smith 理论说：整个空间模 p 同调为空，不动点也为空。换成更精细的 Morava K-理论后，这个保证要打折扣——论文给折扣精确标了价：价格恰好等于”从子群 H 爬到群 G、每级台阶商群都是循环群”的那条最短梯子的长度。
关键词卡片
看个具体例子
取 p=2、G=C₄×C₂，考察两个彼此同构的子群：H₂=0×C₂ 一步直达 G，商 C₄ 是循环群，ℓ=1；H₁=2ℤ/4×0 的商是 C₂×C₂，不循环，必须经过中间群分两步，ℓ=2。定理断言损失恰好分别是 1 与 2——同构的子群，嵌入方式不同，价格就不同：
定理还附赠两条：损失与高度 n 无关；每个中间数值都有具体的反例谱作证。
为什么值得关心
正面解决 Kuhn–Lloyd 的等式猜想，把交换情形的”最小生成元个数”答案统一成非交换群的循环链长，补上色度 Smith 理论的最后一块拼图。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读说”零调的保证要打折扣，折扣的价格是最短梯子的长度”。换成半数学的说法：研究对象是带有限 p-群 G 对称性的谱；观察手段是在子群 H 处取不动点——只看被 H 完全”焊死”的部分。经典 Smith 理论承诺”整体零调则不动点零调”；把观察工具换成按高度分档的 K-理论后，这份承诺要预付若干个色层高度才兑现，论文的任务是给预付款标出精确价格。
第二级台阶
用本科术语精确化三个概念。真 G-谱与几何不动点 Φ^H X：等变同伦论中性质最好的不动点函子。Morava K-理论 K(n)：按高度 n 分档的上同调理论，K(0) 即有理情形。不动点损失 r_n(G,H)：使”Φ^H X 为 K(n+r)-零调可推出 Φ^G X 为 K(n)-零调”对一切有限 G-谱成立的最小预付数 r。循环长度 ℓ(G,H)：从 H 到 G 的最短次正规链的长度，要求相邻商群都是循环群。
第三级台阶
定理在如下语境陈述：对一切素数 p、有限 p-群 G、子群 H 与高度 n≥0，断言 r_n(G,H)=ℓ(G,H)。”有限 p-群”的假设挡住了无限群与一般有限群的杂症——后者经 Balmer–Sanders 的共轭与 p-次正规约化化归过来。上界沿链反复套用循环群的色度 Smith 定理即可；全部难点在下界。结论用这些话说：价格只依赖 H 在 G 中的嵌入方式（商群是否循环），与子群的同构类型无关，也与高度 n 无关；且每个中间数值都有具体的反例谱作证。
对任意有限 @@M@@p@@-群 @@M@@G@@ 与子群 @@M@@H@@，本文证明”色度不动点损失”@@M@@r_n(G,H)@@ 恰好等于从 @@M@@H@@ 到 @@M@@G@@、以循环群为商的最短次正规链长度 @@M@@\ell(G,H)@@，对一切素数 @@M@@p@@ 与高度 @@M@@n\ge0@@ 成立，正面解决 Kuhn–Lloyd 提出的等式猜想。
经典 Smith 理论 (Smith theory) 断言：带有限 @@M@@p@@-群作用的模 @@M@@p@@ 零调有限复形，其不动点也模 @@M@@p@@ 零调。色度 Smith 理论 (chromatic Smith theory) 追问：把模 @@M@@p@@ 同调换成各个 Morava @@M@@K@@-理论后，零调蕴含关系还能保留多少、要付出几个”色度高度”的代价。Balmer–Sanders 对真等变谱范畴素理想的分类把问题精确化；Barthel–Hausmann–Naumann–Nikolaus–Noel–Stapleton 解决了有限交换 @@M@@p@@-群情形：损失恰为 @@M@@G/H@@ 的最小生成元个数。非交换情形此前只有”最大初等交换商的秩”这个下界，一般达不到真值——如 Kuhn–Lloyd 所证，@@M@@D_8@@ 中非中心二阶子群的损失是 2，而下界只给 1。他们把零调蕴含等价地译成 Morava 同调维数不等式，对中心扩张 @@M@@C_2\to G\to E@@（@@M@@E@@ 初等交换）内的子群对证得等式，随后以”谨慎的希望”措辞提出一般等式 @@M@@r_n(G,H)=\ell(G,H)@@，并另问损失是否与高度无关。本文对所有有限 @@M@@p@@-群同时肯定回答这两问。
固定素数 @@M@@p@@，记 @@M@@K(i)@@ 为 Morava @@M@@K@@-理论（@@M@@K(0)=H\mathbb{Q}@@），@@M@@\Phi^H X@@ 为几何不动点 (geometric fixed points)。@@M@@r_n(G,H)@@ 定义为使蕴含
@@M@@DK(n+r)_*(\Phi^H X)=0\ \Longrightarrow\ K(n)_*(\Phi^G X)=0@@
对一切有限 @@M@@p@@-局部真 @@M@@G@@-谱 (genuine @@M@@G@@-spectrum) @@M@@X@@ 成立的最小整数 @@M@@r\ge0@@；@@M@@\ell(G,H)@@ 是最短次正规链 @@M@@H=G_0\trianglelefteq\cdots\trianglelefteq G_s=G@@ 的长度 @@M@@s@@，相邻商群须循环——@@M@@C_{p^2}@@ 这样的商只计一步。主定理：对一切 @@M@@p@@、@@M@@G@@、@@M@@H@@、@@M@@n\ge0@@（含 @@M@@n=0@@ 的有理检测），
@@M@@Dr_n(G,H)=\ell(G,H).@@
损失与高度无关；且对每个 @@M@@0\le r<\ell(G,H)@@ 都有有限 @@M@@G@@-谱见证：@@M@@\Phi^H X@@ 为 @@M@@K(n+r)@@-零调而 @@M@@K(n)_*(\Phi^G X)\ne0@@。子群的嵌入方式举足轻重：在 @@M@@G=C_{p^2}\times C_p@@ 中，同构于 @@M@@C_p@@ 的子群 @@M@@H_1=pC_{p^2}\times0@@ 与 @@M@@H_2=0\times C_p@@ 的损失分别是 2 与 1，因为商群分别为 @@M@@C_p\times C_p@@ 与 @@M@@C_{p^2}@@。结合 Balmer–Sanders 的共轭与 @@M@@p@@-次正规约化，文末推论还对任意有限群给出素理想包含 @@M@@\mathcal P_m^G(K)\subseteq\mathcal P_n^G(H)@@ 的完整数值判据。
上界 @@M@@r_n\le\ell@@ 是旧的：沿链逐段套用循环群的色度 Smith 定理即可。新意全在下界，分四步推进。
第一步把问题译入上自由谱 (cofree spectrum) 的语言：设 @@M@@\mathrm{Bor}_P(D)=F(EP_+,\inf_PD)@@，@@M@@U_P(D)=\Phi^P\mathrm{Bor}_P(D)@@，先证有理估计 @@M@@(U_P(L_{T(l)}S))_{\mathbb{Q}}\ne0\Rightarrow\ell(P,1)\le l@@（@@M@@T(l)@@ 为望远镜）。做法是在 @@M@@T(l)@@-局部可对偶对象的张量范畴中有理化态射群、拆分 Burnside 幂等元 (Burnside idempotent)：称有限群 @@M@@L@@ “出现” (occurring)，若满标记幂等元切出的代数分量 @@M@@D_L=e_L^L\,\one^{BL}@@ 非零；出现的群必是 @@M@@p@@-群、对子群与商群封闭，且由 Arone–Dwyer–Lesh–Mahowald 的初等交换锐性定理与 Frattini 论证，其一切截段 (section) 至多 @@M@@l@@ 个生成元。再构造极大化塔，逐项最大化”到每个有限群的同态类数”，取极限得到映满 @@M@@P@@ 的预 @@M@@p@@-群 (pro-@@M@@p@@ group) @@M@@\Gamma@@；其连续同态给出广义特征分裂——这绕开了 Hopkins–Kuhn–Ravenel 特征只看得见交换像的障碍。
第二步（第 4 节）用有限广群上的相对积分导出算术约束：对 @@M@@\Gamma@@ 的每个开子群 @@M@@U@@ 与有限连续 @@M@@U@@-集 @@M@@X@@，有同余式 @@M@@\sum_{[U:V]=p^h}(|X^V|-|X|)\in p^{h+1}\mathbb{Z}_{(p)}@@，以及同态计数整性 @@M@@|\Hom_{\cts}(\Gamma,F)|/|F|\in\mathbb{Z}_{(p)}@@。
第三步（第 5 节）是纯群论定理：这些条件迫使 @@M@@\Gamma@@ 带有长度 @@M@@\le l@@、诸因子同构于 @@M@@\mathbb{Z}_p@@ 的闭次正规列。核心是”收缩作用”引理——借助共同置换商，把 @@M@@N\rtimes\mathbb{Z}_p@@ 在 @@M@@p@@-进极限下换成 @@M@@N\times\mathbb{Z}_p@@，同时保住同余式与生成元界；再用 Tamanoi 式子群计数生成函数的 @@M@@p@@-进极限证明剩余核的交换化必无限：否则投射满子群计数将收敛到非零极限，与同余式强制的趋于零矛盾。迭代由 @@M@@d+1\le l@@ 强制终止。
第四步（第 6 节）升高度：Hopkins–Smith 环幂零性定理与 HKR 广义特征把有理估计升级为 @@M@@T(k)\wedge U_P(L_{T(l)}S)\ne0\Rightarrow k+\ell(P,1)\le l@@。其中用 Lubin–Tate 理论算出满射特征投影子的迹 @@M@@N_{k,r}=p^{k^2(r-1)}\prod_{i=0}^{k-1}(p^k-p^i)>0@@，保证满标记分量非零；再用与 @@M@@(C_{p^r})^k@@（@@M@@r@@ 任意大）的乘积和逆极限”扣秩”引理分离出 @@M@@k@@，最后望远镜 fracture 方块经归纳粘合成有限高度消没估计。
收官（第 7 节）沿用 Balmer–Sanders 的支集分裂策略：几何 @@M@@J@@-不动点函子有全忠实右伴随，其单位对象 @@M@@\mathcal A_J@@ 的各层几何不动点恰由诸 @@M@@U_{K/J'}(E)@@ 组成。取最小违反高度，上述消没估计把违规子群层正交隔离出来，把紧对象的支集——一点的闭包，故不可约——拆成两个非空不交闭集，矛盾。由此得特殊化界 @@M@@(H,m)\in\overline{\{(G,n)\}}\Rightarrow m\ge n+\ell(G,H)@@，译成素理想包含即 @@M@@r_n\ge\ell@@，与上界合并即得主定理。
本文是 OpenAI 发布的数学预印本，主结果暂无 Lean 形式化证明；按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。论文结构自足：外部输入（Hopkins–Smith 厚子范畴定理与环幂零性、CSY 的色度 ambidexterity、HKR 广义特征、Balmer–Sanders 素理想分类、ADLM 锐性例子）均为已发表结果并逐条引用，新引理均附证明，锐性见证谱由素理想分离构造产生。结果族 314 目前仅此一篇；它把交换情形的”生成元计数”等式（BHNNNS）与 Kuhn–Lloyd 的中心扩张等式统一为非交换的循环链长 @@M@@\ell@@，补上了色度 Smith 理论的最后一块拼图。
问 1：证明里最关键、最脆弱的一步在哪里？
答：下界链条中”纯 profinite 群论”的一环（第 5 节）：由望远镜上同调筛出映满 P 的 pro-p 群 Γ，经有限广群上的相对积分得到子群计数同余式与同态计数整性，再用收缩半直积替换与 Tamanoi 式子群计数的 p-进极限，迫使 Γ 带有长度不超过 l、因子同构于 ℤ_p 的闭次正规列。这段从算术约束反推群结构的论证没有现成文献对应，论文自评其”可能独立于色层应用有用”，是外部无先例可核的原创环节。
问 2：为什么”价格”是循环链长，而不是商群的最小生成元个数？
答：两种答案只在交换群上一致。BHNNNS 对有限交换 p-群证得损失等于 G/H 的最小生成元数；非交换时商群可能不循环：Kuhn–Lloyd 已证 D₈ 中非中心二阶子群的损失是 2，而初等交换商下界只给 1。循环链长同时安放两例——C_{p²} 商只计一步，C_p×C_p 商必须两步，与主定理严丝合缝。
问 3：Hopkins–Kuhn–Ravenel 广义特征为什么不够用，本文怎么绕开？
答：HKR 特征由 ℤ_pⁿ 的同态索引，其像必为交换群（HKR 定理 C），天然看不见非交换满射。论文改从望远镜上同调探测到的有限群出发构造 pro-p 群 Γ，用它的连续同态作广义特征分裂；特征理论的算术权重不是引用现成定理，而是用 Strickland 的 Frobenius 表述对新源 Γ 现场推导。
问 4：损失为什么恰好与高度 n 无关？
答：两端都与 n 无关。上界沿循环链反复套用循环群的色度 Smith 定理，每步预付一个高度，总价即 ℓ；下界的锐利见证谱由素理想分离构造，对每个 0≤r<ℓ 都给出”Φ^H 为 K(n+r)-零调而 K(n)_*(Φ^G) 非零”的有限 G-谱，构造只依赖 ℓ 不依赖 n。等式逐 n 成立是结论而非额外假设，这正好回答了 Kuhn–Lloyd 的第二问。
问 5：AI 生成证明最可能出错的模式是什么？
答：三处高危。相对积分搬用 Strickland 权重到新源 Γ 时，权重或整性算错，则群论定理失根；”剩余核交换化必无限”依赖子群计数 p-进极限的收敛性论证，有缺口则矛盾不闭合；支集分裂复用 Balmer–Sanders 的 (B)⇒(A) 策略，若把不可约性用在错误对象上会静默失效。全文暂无形式化证明，这三处应最优先核验。
问 6：谁会用到这个结果？
答：等变色层同伦论社群：结合 Balmer–Sanders 的素理想分类，文末推论（cor:general-groups）给出任意有限群素理想包含的完整数值判据，连带确定厚张量理想；研究群作用空间、不动点检测与等变谱支集的人，可以直接按这张”预付高度定价表”读出蕴含关系。
总评
把 Smith 理论的色层化收束为一个干净的纯群论量，等式锐利、见证具体，是色层 Smith 理论的最后一块拼图；最大风险集中在下界链条中那段无先例对照的 profinite 群论原创论证，值得社区优先复核。