结果族 347：Counterexamples to stable-Morse and strong Arnold fixed-point bounds · 学科：Differential geometry · 验证状态：暂无形式化证明，请以社区核验为准
超市盘点同一批货，按”件”数和按”箱”数会得到两套账。数学里给流形的挠群记账也有两种口径：逐度精细地记，或按奇偶合并后再记。这篇论文造出一台哈密顿系统，其不动点个数恰好等于”合并口径”下已证的下界，却仍低于”精细口径”的猜想值——差 32 个，一个不多一个不少。
关键词卡片
@@M@@\mathbb{Z}/2@@、@@M@@\mathbb{Z}/3@@。看个具体例子
公式卡（数字版定理）：实维 3332、极小陈数 1 的单连通闭凯勒流形上，@@M@@\#\operatorname{Fix}=1{,}872{,}232=\beta^{\mathrm{cyc}}_{\mathbb{Z}}(M)@@——已证下界被精确取等；而 @@M@@\SM(M)=1{,}872{,}264@@——猜想中的更强下界恰差 32 失效。全部不动点非退化、轨道闭路可缩，无任何退路可走。这说明失效不是巧合：整数分度确实携带循环口径看不见的信息。
为什么值得关心
它同时证明”现有最强下界可达”与”更强猜想失效”，把两种口径的真实差距精确到个位数，也为 Arnold 问题标出了已证与可证之间的真实缝隙。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里”按件数与按箱数”的两套账，正式说法是：流形同调里有限周期的部分（挠群）的生成元可以逐个度精细地数，也可以把奇偶性相同的度合并后再数。合并会让不同素数的账互相抵充，于是两套账面 genuinely 不同。要检验的命题是：驱动一个周期变换后数回归点，究竟能被哪套账约束。
第二级台阶
设 d(G) 为有限交换群 G 的最少生成元数。逐度口径 λ(W)=b(W)+2Σᵢd(Tor Hᵢ(W;Z))，b(W) 为整 Betti 数总和；循环口径 β^cyc(W)=b(W)+2Σ_{ī}d(Tor H̄_ī) 先把同奇偶的整同调直和成 H̄_ī 再数。由 Z/2⊕Z/3≅Z/6 的合并效应，恒有 β^cyc≤λ，可以严格小。极小陈数为 1 时，Bai–Xu 已证的整 Floer 下界恰是 β^cyc；而 Smale 定理在单连通高维流形上把稳定 Morse 数 SM 锁在 λ。
第三级台阶
定理陈述在闭、单连通、凯勒、极小陈数 1（即 c₁(TM)(π₂(M))=Z）的流形上——单连通与闭让 Morse 理论照常运转，凯勒结构提供爆破舞台，极小陈数 1 逼着 Floer 下界按奇偶合并记账。结论是：存在这样的复维 1666 流形与哈密顿微分同胚，其非退化、轨道可缩的不动点恰 1,872,232 个，精确取等 β^cyc；而 SM=1,872,264，恰差 32。已证下界恰好可达与更强猜想恰差三十二地失效，在同一个例子上同时发生，堵死了”界还不够紧”的辩护。
本文构造出实维 @@M@@3332@@、极小陈数为 @@M@@1@@ 的单连通闭凯勒流形上的哈密顿微分同胚：其 @@M@@1\,872\,232@@ 个非退化不动点恰好取等 Bai–Xu 的循环分次整 Floer 下界，却仍比稳定 Morse 数 @@M@@1\,872\,264@@ 少 @@M@@32@@ 个——证明更强的稳定 Morse 下界即便在现有整 Floer 下界取等的极端情形下依然失效。
Arnold 不动点问题的整系数细化把”下界”分成了两支。一支是几何的、猜想性的：稳定 Morse 数（stable Morse number）@@M@@\SM(W)@@ 保留整同调分度，由 Smale 定理在单连通高维流形上等于 @@M@@\lambda(W)=b(W)+2\sum_i t_i(W)@@（@@M@@t_i@@ 为挠子群最少生成元数），Golovko 2020 年明确把它写成非退化哈密顿不动点的下界猜想。另一支是已证的：Abouzaid–Blumberg 给出任意正特征域上的下界，Bai–Xu 进一步得到纳入全部素数挠的整 Floer 下界，但其同调按极小陈数（minimal Chern number）的两倍取模分次——极小陈数为 @@M@@1@@ 时即按奇偶合并，不同整度上的挠类进入同一群、可以共享生成元。这两个计数何时真正不同？差多少？本文给出一个精确到个位数的回答。
记 @@M@@\beta^{\mathrm{cyc}}_\mathbb{Z}(W)=b(W)+2\sum_{\bar i\in\mathbb{Z}/2}d\bigl(\Tor\overline H_{\bar i}(W;\mathbb{Z})\bigr)@@，其中 @@M@@\overline H_{\bar i}@@ 是把同一奇偶性的整同调合并后的群、@@M@@d@@ 为最少生成元数。主定理：存在复维 @@M@@1666@@ 的单连通闭凯勒（Kähler）流形 @@M@@(M,\omega)@@，满足 @@M@@c_1(TM)(\pi_2(M))=\mathbb{Z}@@（即极小陈数为 @@M@@1@@），以及光滑 1-周期哈密顿量 @@M@@H@@，使所有不动点非退化（nondegenerate）、轨道闭路可缩，且
@@M@@D\#\Fix(\phi^1_H)=\#\Fix_0(\phi^1_H;H)=\beta^{\mathrm{cyc}}_\mathbb{Z}(M)=1\,872\,232,\qquad \SM(M)=\beta^{\mathrm{cyc}}_\mathbb{Z}(M)+32=1\,872\,264.@@
由于极小陈数为 @@M@@1@@ 时 Bai–Xu 下界恰为 @@M@@\beta^{\mathrm{cyc}}_\mathbb{Z}@@，本例同时说明两件事：该整 Floer 下界是可达的（sharp），而稳定 Morse 下界恰差 @@M@@32@@ 失效。
框架沿用族内母篇的三大部件。其一，@@M@@\SM\geq\lambda@@ 的几何下界（截断到紧区域、侧边界取切向梯度式场、Morse 胶粘、Smith 正规形秩不等式）与 Smale 定理（维数足够高的单连通流形上取等 @@M@@\lambda@@）。其二，双椭圆曲面（bielliptic surface）@@M@@S_2@@、@@M@@S_3@@ 供应 @@M@@(\mathbb{Z}/2)^2@@ 与 @@M@@\mathbb{Z}/3@@ 挠，整爆破公式 @@M@@H_i(\widehat A;\mathbb{Z})\cong H_i(A;\mathbb{Z})\oplus\bigoplus H_{i-2j}(Z;\mathbb{Z})@@ 把挠原样搬进爆破流形。其三，@@M@@Y=\CP^1\times\CP^1@@ 四角爆破上对角圆作用的半转是哈密顿对合（Hamiltonian involution），不动集为 4 条例外直线；小扰动 @@M@@\psi^\epsilon\circ g@@ 的不动点恰为 4 份不动分支 @@M@@C=X\times\CP^1@@ 上 Morse 函数的临界点（短周期引理排除其余，全部非退化）。于是不动点数 @@M@@=4\lambda(C)@@，问题化为设计 @@M@@X@@ 的逐度挠重数，使 @@M@@4\lambda(C)=\beta^{\mathrm{cyc}}(M)<\lambda(M)@@。
@@M@@X@@ 的构造是本文精华。取 @@M@@N=1664@@，在 @@M@@\CP^N@@ 里放七个两两不交的中心：2 份 @@M@@S_2\times\CP^1@@、3 份 @@M@@S_3@@、2 份 @@M@@S_3\times\CP^2@@。由 Segre 嵌入，它们的接受向量维数分别为 @@M@@90,165,495@@，而 @@M@@2\cdot90+3\cdot165+2\cdot495=1665=N+1@@ 恰好铺满 @@M@@\mathbb{C}^{N+1}@@ 的一个直和分解，从而中心两两不交。整爆破公式给出逐度挠重数 @@M@@a_j=4f_1(j)@@、@@M@@q_j=3f_0(j)+2f_2(j)@@，其差 @@M@@\delta=a-q@@ 在支撑上恒为 @@M@@-1@@、仅在 @@M@@j=2@@ 与 @@M@@j=L-1@@（@@M@@L=1661@@）两处为 @@M@@+1@@——这是刻意设计的”几乎处处被 3-素压倒”格局。
比较两个卷积核便是全部机密。奇偶合并后 3-素总重数 @@M@@Q=14937@@ 超过 2-素总数 @@M@@A=13280@@，故 @@M@@\beta^{\mathrm{cyc}}(M)=8b(X)+32Q@@。与 @@M@@\CP^1@@ 的核 @@M@@(1,1)@@ 卷积后，@@M@@\delta_j+\delta_{j-1}@@ 逐项 @@M@@\leq0@@——每个 @@M@@+1@@ 都被相邻的 @@M@@-1@@ 吞掉——于是 @@M@@C@@ 的每个度上都是 3-素重数达到最大值，@@M@@\lambda(C)=2b(X)+8Q@@，从而 @@M@@4\lambda(C)@@ 恰等于 @@M@@\beta^{\mathrm{cyc}}(M)@@：Floer 界取等。而与 @@M@@Y@@ 的核 @@M@@(1,6,1)@@ 卷积后，中间权重 @@M@@6@@ 使 @@M@@j=3@@ 处出现 @@M@@-1+6-1=+4@@ 的正超额（由对称性 @@M@@j=L@@ 处亦然，其余指标至多 @@M@@-4@@），逐度和为 @@M@@8Q+8@@；两个奇偶类与 @@M@@\lambda@@ 中的因子 2 合计，得 @@M@@\lambda(M)=8b(X)+32Q+32@@，恰比 @@M@@\beta^{\mathrm{cyc}}@@ 多 @@M@@32@@。代入 @@M@@b(X)=174281@@ 即得 @@M@@\lambda(C)=468058@@、@@M@@\beta^{\mathrm{cyc}}=1\,872\,232@@、@@M@@\SM=1\,872\,264@@。这一步完全是有限序列的组合演算，与几何实现干净分离；极小陈数 @@M@@1@@ 则来自 @@M@@Y@@ 中例外直线的切度 @@M@@2@@ 减法度 @@M@@-1@@。
本文暂无形式化证明。它与族内另两篇共享同一”混合素挠 + 哈密顿对合”机制：母篇给出首例（差 @@M@@16@@、维数 @@M@@1412@@），姊妹篇把亏额推到无界（@@M@@16m@@、实维固定 @@M@@22@@），本文进一步表明现有最强的循环整 Floer 下界在反例上精确取等——说明稳定 Morse 界的失效不是 Floer 界”不够紧”的巧合，而是整数分度确实携带循环分次看不见的信息。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：为什么缺口恰好是 32，而不是别的数？
（答：introduction 与 construction 节的机制是：与 CP¹ 的卷积核 (1,1) 让 3-素重数在每个度上达到最大，Floer 界取等；而与 Y 的核 (1,6,1) 卷积时中间权重 6 在 j=3 及其对称位置各造出 −1+6−1=+4 的正超额，合计 8，再乘两个奇偶类与 λ 定义中的因子 2，得 8×2×2=32。32 是卷积核权重直接读出的组合常数。）
问 2：证明里最关键也最脆弱的一步在哪里？
（答：七个爆破中心的维数设计。Segre 嵌入的接受向量 90、165、495 满足 2·90+3·165+2·495=1665=N+1，恰好铺满 C^{N+1} 的直和分解，保证中心两两不交；同时逐度差 δ=a−q 被设计成支撑上恒为 −1、仅在 j=2 与 j=L−1 两处为 +1 的”几乎被 3 压倒”格局。任何一处维数或重数算错，要么几何放不下，要么取等失败。）
问 3：极小陈数 1 这个假设为什么必不可少？
（答：它是双重支点。其一，Bai–Xu 整 Floer 下界按陈数两倍取模分次，陈数为 1 时才退化成奇偶合并的 β^cyc，”取等”才可能精确成立；其二，Y 中例外直线带来陈数 1 的球面类，恰好排除 Dimitroglou Rizell–Golovko 已证情形所需的”面积类与第一陈类在 π₂ 消没”假设，反例才合法。）
问 4：与族内母篇相比真正的新意是什么？
（答：母篇已给出低于稳定 Morse 数的反例；本文的贡献是把爆破中心换成”奇偶合并后 3-素总数 Q=14937 压倒 2-素总数 A=13280”的配置，首次让不动点计数精确取等 Bai–Xu 界——证明稳定 Morse 界的失效不是 Floer 界不够紧的巧合，而是整数分度携带循环分次看不见的信息。且整个构造是有限维的，不用 Floer 理论。）
问 5：这类 AI 生成的证明最可能出错的模式是什么？
（答：大数与逐度演算的隐蔽错误。b(X)=174281、λ(C)=468058、1,872,232/1,872,264 这类数字来自多层卷积与逐度取最大值，符号在 j=2、3、L−1、L 等边界处翻转，人工递推极易出错又难抽样验证；若某度挠重数错一个，”恰差 32”就静默失效。）
问 6：谁会用到这个结果？
（答：辛拓扑与 Floer 同调研究者：它标出极小陈数 1 时整下界的最优性，任何试图恢复 Morse 型下界的努力必须先解释掉这个例子；”卷积核设计挠重数”的方法也可移植到其他下界锐性问题。）
总评
本文把”已证下界可达”与”猜想下界恰差 32 失效”压进同一个例子，为 Arnold 问题的整系数版画出了已证与可证之间的精确缝隙；最大风险全在七中心卷积演算与那些六七位数上，未经形式化，须以社区核验为准。