结果族 347：Counterexamples to stable-Morse and strong Arnold fixed-point bounds · 学科：Differential geometry · 验证状态：暂无形式化证明，请以社区核验为准
让一个力学系统运行整整一个周期，有些点会回到原位——不动点。拓扑学家长期猜测：这类点的个数不会少于流形的稳定 Morse 数，一个由拓扑算出的”价签”。这篇论文造出反例机器：在固定的 22 维空间里，不动点可以比价签少，而且缺口想要多大就有多大。
关键词卡片
看个具体例子
公式卡（取 @@M@@m=1@@ 的数字版定理）：论文给出实维 22 的单连通闭凯勒流形 @@M@@M_1@@ 与哈密顿映射，@@M@@\SM(M_1)=2048@@ 而 @@M@@\#\operatorname{Fix}=2032@@——不动点比拓扑价签恰好少 16 个。一般地 @@M@@\SM=80+1968m@@、@@M@@\#\operatorname{Fix}=80+1952m@@：亏额 @@M@@16m@@ 无界增长，而不动点数永远只有价签的 @@M@@127/128@@，维数却纹丝不动地锁在 22。机关藏在两种不同素数的挠与一次”翻面”对称的组合里：哈密顿映射的不动点被迫全部落在四个对称分支上，个数由那边的便宜账决定。
为什么值得关心
Golovko 2020 年明确写下的稳定 Morse 下界猜想被推翻，且反例的不动点数高于一切已证 Floer 型下界，无法被”救回”。同族另两篇分别造出首个反例与”Floer 界恰好取等”的例子，三篇共享同一机制，互相印证。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里的”价签”其实是流形拓扑开出的一个数，”回到原位的点”是让力学系统演化整整一个周期后不动的点。整件事的操作就是：取一个闭的相空间，让它经历一次周期变换，然后数一数回归的点，再和拓扑价签比大小。长期被相信的不等式是：回归点不少于价签。
第二级台阶
用本科术语精确化：哈密顿微分同胚 φ 是由 1-周期哈密顿量生成的、保持辛结构的变换；不动点非退化指其线性化在 1 处无特征值，计数稳定。稳定 Morse 数 SM(W) 定义为允许在 W×R^k 上附加辅助变量的 Morse 函数的最少临界点个数；它有代数下界 λ(W)=Σrᵢ+2Σtᵢ，其中 rᵢ 为有理 Betti 数、tᵢ 为挠子群最少生成元数。
第三级台阶
定理在闭、单连通凯勒流形的语境下陈述——闭与单连通保证 Morse 理论和手柄分解照常运转，凯勒结构提供爆破的舞台。结论说：对每个整数 m≥1，存在实维固定为 22 的这样的流形，SM=80+1968m，却有一个哈密顿微分同胚恰有 80+1952m 个非退化、轨道闭路可缩的不动点。亏额 16m 随 m 无界增长，不动点数永远只有价签的 127/128，而维数纹丝不动。
在固定实维 @@M@@22@@ 的单连通闭凯勒流形上，本文构造出非退化哈密顿不动点个数严格低于稳定 Morse 数的反例族：稳定 Morse 数为 @@M@@80+1968m@@，非退化不动点恰 @@M@@80+1952m@@ 个，亏额 @@M@@16m@@ 无界增长，从而在任何固定相对比例与固定维数下推翻了稳定 Morse 下界猜想。
Arnold 不动点问题问：一般哈密顿路径的周期轨道，能在多大程度上继承”小自治系统 = 函数临界点”的拓扑约束？Conley–Zehnder 解决环面情形，Floer 用伪全纯曲线把问题化为链复形与流形拓扑的比较，导出有理同调下界。但几何的 Morse 型下界更强：闭流形 @@M@@W@@ 的稳定 Morse 数（stable Morse number）@@M@@\SM(W)@@ 指允许定义在 @@M@@W\times\mathbb{R}^k@@ 上、在辅助变量充分大处等于非退化二次型的 Morse 函数的最少临界点数。Golovko 在 2020 年把”非退化哈密顿不动点个数 @@M@@\geq\SM(M)@@“写成明确猜想；Dimitroglou Rizell–Golovko 与 Pöder Balkeståhl 在辛面积类与第一陈类均消没于 @@M@@\pi_2@@ 的条件下证明了对 generic 哈密顿量成立，而这些假设恰恰排除了射影爆破流形。一般情形此前没有反例。
主定理：对每个整数 @@M@@m\geq1@@，存在实维 @@M@@22@@ 的单连通闭凯勒（Kähler）流形 @@M@@(M_m,\omega_m)@@ 与光滑 1-周期哈密顿量 @@M@@H_m@@，使 @@M@@\phi^1_{H_m}@@ 的全部不动点非退化（nondegenerate），且
@@M@@D\SM(M_m)=80+1968m,\qquad \#\Fix(\phi^1_{H_m})=\#\Fix_0(\phi^1_{H_m};H_m)=80+1952m,@@
其中 @@M@@\Fix_0@@ 指轨道闭路可缩的不动点。亏额 @@M@@16m@@ 无界，不动点个数至多是稳定 Morse 数的 @@M@@127/128@@，且 @@M@@\SM(M_m)@@ 可任意大而维数保持 @@M@@22@@。
先确立几何底线：@@M@@\SM(W)\geq\lambda(W)=\sum_i r_i(W)+2\sum_i t_i(W)@@，其中 @@M@@t_i@@ 是挠子群的最少生成元数。对允许的 @@M@@F:W\times\mathbb{R}^k\to\mathbb{R}@@，先截断到紧区域 @@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@@\geq9@@ 的单连通流形上给出恰有 @@M@@\lambda(W)@@ 个临界点的普通 Morse 函数，故 @@M@@\SM=\Morse=\lambda@@。
再制造差距。挠来自两个双椭圆曲面（bielliptic surface）@@M@@S_p=(E\times E_p)/\langle\sigma_p\rangle@@，其中 @@M@@\sigma_p(z,w)=(z+1/p,\zeta_p w)@@ 自由作用，使 @@M@@S_2@@、@@M@@S_3@@ 的 @@M@@H_1,H_2@@ 分别含 @@M@@(\mathbb{Z}/2)^2@@ 与 @@M@@\mathbb{Z}/3@@。取爆破中心 @@M@@Z_2=S_2@@（余维 7）与 @@M@@Z_3=S_3\times\CP^1\times\CP^1@@（余维 5，把 3-挠摊到移位 @@M@@0,2,4@@、重数 @@M@@1,2,1@@）。本文的关键新招是同时投影引理：用割线（secant）与射影切空间的 Sard 型计数，证明有限多个复维 @@M@@\leq d@@ 的光滑射影簇的不交并可整体嵌入 @@M@@\CP^{2d+1}@@；这里 @@M@@d=4@@，故 @@M@@m@@ 份 @@M@@Z_2@@ 与 @@M@@m@@ 份 @@M@@Z_3@@ 同时进入 @@M@@\CP^9@@——中心数目增长而维数纹丝不动，这是把反例族压进固定 22 维的决定性一步。随后逐次套用整系数爆破公式 @@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})@@，把中心的挠原样搬进九维 @@M@@X_m@@，Kähler 性与单连通性保持。
动力学一侧，@@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_m=X_m\times Y@@ 上有 4 个不动分支，均同构于 @@M@@C_m=X_m\times\CP^1@@。把 @@M@@C_m@@ 上具有 @@M@@\lambda(C_m)=20+488m@@ 个临界点的 Morse 函数作 @@M@@g@@-不变延拓后取小扰动 @@M@@\psi^\epsilon\circ g@@：由交换关系 @@M@@(\psi^\epsilon\circ g)^2=\psi^{2\epsilon}@@ 与 Yorke 型短周期引理（Lipschitz 估计），一切不动点被迫是不动分支上的平衡点，最终恰为 @@M@@4\lambda(C_m)=80+1952m@@ 个设计好的临界点；切向 Hessian 非退化、法向趋于 @@M@@-2I@@，保证整体非退化。
最后是算术核心：不同素数的挠可以共享生成元，@@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)@@ 卷积：每个素数的总重数都恰好放大 4 倍，但逐度取最大值的”节省”不同——相对 3-主部分，每个奇偶类上 @@M@@C_m@@ 多 @@M@@2m@@ 个生成元而 @@M@@M_m@@ 多 @@M@@12m@@，合计 @@M@@\lambda(M_m)-4\lambda(C_m)=16m@@，亏额由此而来。
本文暂无形式化证明。它把族内母篇的”混合素挠 + 哈密顿对合”机制（首例差 @@M@@16@@、维数 @@M@@1412@@）推进到固定维数 @@M@@22@@ 且亏额无界；族内另一姊妹篇则把爆破中心调到使不动点数恰取等 Bai–Xu 循环整 Floer 下界，三篇互相印证同一机制。本例的不动点数还高于任何单系数域的 Betti 数总和与 Bai–Xu 整下界（差 @@M@@32m@@），故无法用现有 Floer 型下界”救回”猜想。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：把反例压进固定 22 维，证明里最关键的一步是什么？
（答：同时投影引理（geometry 节）：用割线与射影切空间的 Sard 型计数，证明有限多个复维不超过 d 的光滑射影簇的不交并可整体嵌入 CP^{2d+1}。这里 d=4，m 份双椭圆中心得以同时塞进 CP^9——中心数目增长而外围维数不动，这是”固定维数 22 且亏额无界”的决定性机关。）
问 2：为什么不动点恰好全落在四个对称分支上，扰动会不会冒出新不动点？
（答：动力学节用 (ψ^ε∘g)²=ψ^{2ε} 配 Yorke 型短周期引理（Lipschitz 估计）排除短周期干扰，迫使一切不动点成为不动分支上的平衡点；切向 Hessian 非退化、法向趋于 −2I，故恰为 4λ(C_m)=80+1952m 个设计好的临界点。这一步的 Lipschitz 常数核对是潜在薄弱点。）
问 3：与已有工作相比真正的新意在哪里？
（答：Dimitroglou Rizell–Golovko 与 Pöder Balkeståhl 只在辛面积类与第一陈类消没于 π₂ 时证得稳定 Morse 下界，这些假设恰好排除射影爆破流形；本文以整系数爆破公式把中心的 2-挠与 3-挠搬进流形，正好逃出已证情形的射程，推翻 Golovko 2020 年写下的猜想。）
问 4：亏额 16m 这个数字是怎么算出来的？
（答：counts 节的算术核心：不同素数的挠可经中国剩余定理共享生成元，d((Z/2)^a⊕(Z/3)^q)=max(a,q)；乘 CP¹ 与乘 Y 分别把逐度重数按 (1,1)、(1,6,1) 卷积，每个素数总重数放大 4 倍但逐度取最大值的”节省”不同，最终 λ(M_m)−4λ(C_m)=16m。）
问 5：这类 AI 生成的构造性证明最可能出错的模式是什么？
（答：挠的逐度核算。爆破公式的直和分解、CRT 合并、卷积重数层层叠加，任何一度的生成元数算错都会无声地改变 80+1968m 或 80+1952m；这类算术断言数量大、相互依赖，且难以抽样验证，是最典型的隐蔽风险。）
问 6：这个反例能不能被现有 Floer 型下界”救回”？
（答：不能。本文不动点数高于一切单系数域 Betti 数总和，也高于 Bai–Xu 循环整 Floer 下界（差 32m），故猜想无法靠加强已有下界修复；同族姊妹篇还给出恰好取等 Bai–Xu 界的例子，说明那才是正确的界。）
问 7：谁会用到它？
（答：辛拓扑与 Floer 理论研究者：Arnold 猜想 Morse 型形式的修正、整系数 Hamiltonian Floer 同调的下界研究直接受影响；爆破流形上对合机制也为构造低不动点数例子提供模板。）
总评
这篇论文用”混合素挠+哈密顿对合+同时投影”三件套把稳定 Morse 猜想的反例压进固定 22 维且亏额无界，是Arnold 猜想反例方向的实质推进；最大风险在多重卷积后的整挠逐度计数，未经形式化，须以社区核验为准。