结果族 347：Counterexamples to stable-Morse and strong Arnold fixed-point bounds · 学科：Differential geometry · 验证状态：暂无形式化证明，请以社区核验为准
赌桌上有两种筹码：2 元一枚的和 3 元一枚的。分开放是两堆，但按”最少币种”合并记账，一枚 2 元加一枚 3 元可记作一枚 6 元——两套账就此对不上。这篇论文正是利用这种记账口径差，第一次造出不动点个数少于稳定 Morse 数的哈密顿系统。
关键词卡片
@@M@@\mathbb{Z}/2\oplus\mathbb{Z}/3\cong\mathbb{Z}/6@@，不同素数的挠可以共享生成元。看个具体例子
公式卡（数字版定理）：在单连通闭凯勒流形（可取实维 1412）上，构造出哈密顿映射使 @@M@@\#\operatorname{Fix}(\phi_H^1)=318{,}952=\SM(M)-16@@，其中 @@M@@\SM(M)=318{,}968@@；全部不动点非退化、轨道可缩。构造三步走：先爆破出同时含 @@M@@\mathbb{Z}/2@@ 与 @@M@@\mathbb{Z}/3@@ 挠的凯勒流形，再放上”翻一面”的对称变换，最后小扰动让不动点恰好落在四个对称分支上。证明纯用有限维 Morse 理论与爆破，不碰 Floer 理论；差额 16 与参数无关，是口径差的最小体现。
为什么值得关心
这是 Golovko 猜想的第一个反例，也是同族”固定 22 维、亏额无界”等后续反例的机制源头。值得注意的是，反例并未违反任何已证定理：它恰好落在整分度与循环分度两套口径的缝隙里。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里”2 元与 3 元筹码合并记成 6 元”的把戏，落在对象上是流形同调中的有限周期部分：不同素数成分的挠放在同一个直和里时，可以共享生成元、按更省的方式记账。要做的事是：让一个保体积、无摩擦的周期变换跑满一圈，数出回到原位的点，再拿它与两套账本各自开出的”最少点数”比大小——赌的就是两套账之间的差额。
第二级台阶
设 d(G) 为有限交换群 G 的最少生成元个数。整系数计数 λ(W)=Σrᵢ+2Σtᵢ，其中 rᵢ 为有理 Betti 数、tᵢ=d(Tor Hᵢ(W;Z))；中国剩余定理给出 d((Z/2)^a⊕(Z/3)^q)=max(a,q)，这是省账的根源。稳定 Morse 数 SM(W) 指允许在 W×R^k 上附辅助变量的 Morse 函数的最少临界点数；哈密顿对合 g 是施行两次等于恒等、且由哈密顿量生成的变换。
第三级台阶
定理陈述在闭、单连通的凯勒流形上——闭与单连通让 Morse 理论、手柄分解与 Smale 定理照常运转，凯勒结构提供爆破手术的舞台。结论是：存在这样的流形（实维可取 1412，SM=318,968）与哈密顿量，其时间一映射的不动点全部非退化、轨道闭路皆可缩，总数恰 318,952=SM(M)−16。差额 16 与参数 N 无关，是两种记账口径之差的最小体现；连”只数可缩轨道”的加强版本也一并被否定。
本文构造出单连通闭凯勒流形（可取实维 @@M@@1412@@）上的哈密顿微分同胚，其 @@M@@318\,952@@ 个非退化、轨道可缩的不动点比流形稳定 Morse 数 @@M@@318\,968@@ 恰少 @@M@@16@@ 个，首次推翻”非退化哈密顿不动点个数不低于稳定 Morse 数”的猜想；证明纯有限维，不依赖 Floer 理论。
Arnold 不动点问题把哈密顿周期轨道与流形上函数的临界点理论联系起来：Conley–Zehnder 解决环面情形，Floer 用伪全纯曲线建立链复形并导出有理同调下界。一个更进一步的自然猜想是：流形的 Morse 型计数本身就是下界。Damian 发现普通 Morse 数与稳定 Morse 数（stable Morse number，允许附加二次变量稳定化后的最少临界点数）可以不同；Golovko 2020 年把稳定 Morse 版本写成明确猜想。Dimitroglou Rizell–Golovko 与 Pöder Balkeståhl 在辛面积类与第一陈类均消没于 @@M@@\pi_2@@ 的条件下证明了对 generic 哈密顿量成立——但这些假设排除了射影爆破流形。一般情形（尤其单连通凯勒世界）是否存在反例，是本结果族的起点，本文给出第一个。
主定理：存在单连通闭凯勒（Kähler）流形 @@M@@(M,\omega)@@ 与光滑 1-周期哈密顿量 @@M@@H@@，使 @@M@@\phi^1_H@@ 的全部不动点非退化（nondegenerate），且
@@M@@D\#\Fix_0(\phi^1_H;H)=\#\Fix(\phi^1_H)=\SM(M)-16.@@
可取 @@M@@\dim_\mathbb{R} M=1412@@，此时 @@M@@\SM(M)=318\,968@@、@@M@@\#\Fix(\phi^1_H)=318\,952@@。不动点轨道闭路皆可缩，故”只数可缩轨道”的版本与全不动点版本同时被否定。构造纯有限维：只用 Morse 理论与复几何爆破，不用 Floer 理论。
第一步确立几何底线。对任何闭流形 @@M@@W@@，@@M@@\SM(W)\geq\lambda(W)=\sum_i r_i(W)+2\sum_i t_i(W)@@（@@M@@t_i@@ 为 @@M@@\Tor H_i(W;\mathbb{Z})@@ 的最少生成元数）：把稳定化 Morse 函数截断在 @@M@@W\times B_T@@、在侧边界取切向梯度式向量场，Morse 胶粘照常给出每个临界点一个胞腔的相对复形，收缩辅助坐标后其同调为 @@M@@H_{*-d}(W;\mathbb{Z})@@，Smith 正规形的秩不等式 @@M@@\rank C_i\geq\rho_i+\tau_i+\tau_{i-1}@@ 求和即得。Smale 的手柄定理又在维数足够高的单连通流形上给出恰有 @@M@@\lambda(W)@@ 个临界点的普通 Morse 函数，故 @@M@@\SM=\Morse=\lambda@@。构造目标于是化为找 @@M@@M@@ 与其对合不动分支 @@M@@C@@，使 @@M@@\lambda(M)>4\lambda(C)@@。
第二步造挠。两个自由作用的商曲面 @@M@@S_2,S_3@@（双椭圆曲面，bielliptic surface）在 @@M@@H_1,H_2@@ 上分别给出 @@M@@(\mathbb{Z}/2)^2@@ 与 @@M@@\mathbb{Z}/3@@ 挠。@@M@@X@@ 由 @@M@@\CP^N@@（@@M@@N\geq704@@）沿两个不交中心逐次爆破而成：整爆破公式 @@M@@H_i(\widehat A;\mathbb{Z})\cong H_i(A;\mathbb{Z})\oplus\bigoplus_{j=1}^{c-1}H_{i-2j}(Z;\mathbb{Z})@@ 保 Kähler 性与单连通性，并把中心挠原样搬入，得到逐度重数 @@M@@a_j=2@@（2-素）与 @@M@@q=(1,3,4,\ldots,4,3,1)@@（3-素，@@M@@L=N-3@@ 项）。
第三步造动力学。@@M@@Y@@ 是 @@M@@\CP^1\times\CP^1@@ 在四角 @@M@@\{0,\infty\}\times\{0,\infty\}@@ 的爆破；对角圆作用的半转 @@M@@g_Y@@ 是哈密顿对合（Hamiltonian involution），其不动集恰为 4 条例外直线。于是 @@M@@g=\id\times g_Y@@ 在 @@M@@M=X\times Y@@ 上有 4 个不动分支，均同构于 @@M@@C=X\times\CP^1@@。把 @@M@@C@@ 上恰有 @@M@@\lambda(C)@@ 个临界点的 Morse 函数作 @@M@@g@@-不变延拓再取小扰动 @@M@@\psi^\epsilon\circ g@@：由 @@M@@(\psi^\epsilon\circ g)^2=\psi^{2\epsilon}@@ 与 Lipschitz 型短周期引理，一切不动点被迫是不动分支上的平衡点，最终恰为 @@M@@4\lambda(C)@@ 个设计好的临界点；切向与法向的线性化论证保证全部非退化，单连通性保证轨道闭路可缩。
最后是决定性的组合算术：不同素数的挠可共享生成元，@@M@@d\bigl((\mathbb{Z}/2)^a\oplus(\mathbb{Z}/3)^q\bigr)=\max(a,q)@@（中国剩余定理把 @@M@@\mathbb{Z}/2\oplus\mathbb{Z}/3@@ 配成 @@M@@\mathbb{Z}/6@@）。乘 @@M@@\CP^1@@、乘 @@M@@Y@@ 把逐度重数分别与 @@M@@(1,1)@@、@@M@@(1,6,1)@@ 卷积。文章证明亏损只发生在重数序列的两端：令 @@M@@c_j=\max(a_j,q_j)@@、@@M@@S=\sum_j c_j=4N-18@@，则每个奇偶类上 @@M@@C@@ 与 @@M@@M@@ 的生成元总和分别为 @@M@@2S-2@@ 与 @@M@@8S-4@@，而自由秩满足 @@M@@b(M)=4b(C)@@，于是 @@M@@\lambda(M)-4\lambda(C)=16@@ 与 @@M@@N@@ 无关；代入 @@M@@N=704@@ 即得定理数值。文中还核对了 Bai–Xu 循环分次整 Floer 下界在此例中为 @@M@@456N-2104@@、比不动点数少 @@M@@32@@：反例不与任何已证下界冲突，恰落在整分度与循环分度的缝隙里。
本文暂无形式化证明。它是族 347 的机制源头：姊妹篇之一把差额 @@M@@16@@ 放大为无界（@@M@@16m@@、实维固定 @@M@@22@@），另一篇则调节爆破中心使不动点数恰取等 Bai–Xu 循环整下界而稳定 Morse 界仍差 @@M@@32@@；三篇共享双椭圆曲面、整爆破公式与”四例外线对合”三大部件，互相印证。据族内概述，同族还有用非平凡基本群构造的 12 维普通 Morse 界反例，以及复三维二次超曲面上仅 3 个不动点的 Arnold 型反例。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：证明里决定性的一步是什么？
（答：counts 节的组合算术：令 c_j=max(a_j,q_j) 逐度取两素重数的最大值、S=Σc_j=4N−18，则每个奇偶类上 C 与 M 的挠生成元总和分别为 2S−2 与 8S−4，而自由秩满足 b(M)=4b(C)，三式合并得 λ(M)−4λ(C)=16，与 N 无关。对合扰动把不动点数锁定在 4λ(C)，亏额由此产生。）
问 2：为什么必须用两个不同素数的挠，一个素数行不行？
（答：不行。单一素数时不同度的挠无法经中国剩余定理合并，逐度口径与合并口径一致，λ 退化为循环计数，两套账之间的缝隙消失；d((Z/2)^a⊕(Z/3)^q)=max(a,q) 的”省账”正是差额 16 的唯一来源。）
问 3：与已有工作相比真正的新意在哪里？
（答：Dimitroglou Rizell–Golovko 与 Pöder Balkeståhl 只在辛面积类与第一陈类均消没于 π₂ 时证得稳定 Morse 下界，这些假设恰好排除射影爆破流形；本文沿双椭圆曲面中心的整爆破把 (Z/2)² 与 Z/3 挠搬进单连通凯勒流形，正好落在已证情形的射程之外，给出 Golovko 猜想第一个反例。）
问 4：小扰动 ψ^ε∘g 那一步为什么不能省？
（答：由 (ψ^ε∘g)²=ψ^{2ε} 与 Lipschitz 型短周期引理，扰动后的一切不动点被迫是不动分支上的平衡点，个数恰为 4λ(C)；若省去扰动或扰动失控，对合的不动点集是整条四维分支，计数无从谈起。切向 Hessian 非退化、法向趋于 −2I 的线性化核对是潜在的脆弱环节。）
问 5：这类 AI 生成的证明最可能出错的模式是什么？
（答：多重卷积下的逐度核算。爆破公式的度平移 i−2j、与 (1,1)、(1,6,1) 的卷积、”亏损只在序列两端”的断言层层叠加，31 万级的数值靠递推得出，边界指标差一即静默出错；非退化性的线性化常数也是常见隐患。）
问 6：为什么”只数可缩轨道”的版本也被否定？
（答：流形单连通，一切闭路可缩，故 Fix₀=Fix；两个版本的 Arnold 型断言在同一例子上同时失效，堵住了”退而求可缩轨道”的救法。文中还核对 Bai–Xu 循环整下界为 456N−2104、比不动点数少 32，反例不与任何已证定理冲突。）
问 7：谁会用到它？
（答：辛拓扑与 Arnold 猜想研究者：它是一般情形下第一个稳定 Morse 反例，也是同族”固定 22 维亏额无界”与”取等 Bai–Xu 界”两篇姊妹作的机制源头；混合素挠加对合的三件套已成为构造低不动点数例子的标准模板。）
总评
作为族 347 的母篇，本文首次在单连通闭凯勒世界击穿稳定 Morse 下界且不违反任何已证 Floer 型定理，分量在机制的开创性；最大风险在整挠逐度算术与非退化性线性化细节，未经形式化，须以社区核验为准。