结果族 347：Counterexamples to stable-Morse and strong Arnold fixed-point bounds · 学科：Differential geometry · 验证状态：主结果已 Lean 形式化
设计山地地形时，无论怎么捏，驻点（山顶、谷底、鞍点）总数有下限；可这篇论文让地形随哈密顿流”动起来”之后，一个周期结束停在原处的点居然可以更少。舞台是一个非常具体的空间——复三维二次超曲面：任何函数都得要至少 4 个驻点，它却只有 3 个停点。
关键词卡片
@@M@@Q^3@@，实维六。看个具体例子
公式卡（数字版定理）：@@M@@\#\operatorname{Fix}(\phi)=3<4=\operatorname{Crit}(Q^3)=\operatorname{cuplength}(Q^3)@@，且至少一个不动点退化。下图的对比：左边是地形函数至少 4 个驻点，右边是本文映射的 3 个不动点。三还是最优计数——已有定理保证这类流形上任何哈密顿映射至少 3 个不动点，本例恰好触底。诀窍是先用一个”施行两次回到原样”的对称变换，其不动集是一块好处理的子空间；再叠加微小扰动，把不动点按需安放在这块子空间上。
为什么值得关心
一个例子同时推翻 Arnold 猜想的临界数形式与有理杯长形式，而且是光滑反例中的首个；主结果已通过机器验证。
已 Lean 形式化
第一级台阶
导读里的山地比喻落到对象上：一个闭的六维”相空间”，其上任何光滑函数的驻点个数有拓扑下限；要做的事是让一个保体积、无摩擦的变换跑满一个周期，看停下的点会不会也满足这个下限。已知的肯定答案都附加了”空间里没有带正面积球面”之类的条件，而二次超曲面恰好含这样的球面，落在保护圈之外。
第二级台阶
临界数 Crit(M) 定义为允许退化临界点时、所有光滑函数临界点个数的最小值；有理杯长 cuplength(M;Q) 是 1 加非零杯积的正阶有理上同调类最长个数，Lusternik–Schnirelmann 不等式保证 cuplength≤Crit。哈密顿对合 A 指平方等于恒等的哈密顿变换，其不动集 F 称为干净的，若每点的切空间恰是线性化的 +1 特征子空间。
第三级台阶
定理在 Q³=CP⁴ 中由二次方程定义、带限制 Fubini–Study 辛形式的闭六维流形上陈述，此处 Crit(Q³)=cuplength(Q³;Q)=4。结论是：存在光滑哈密顿微分同胚 φ，其不动点恰 3 个——”光滑”挡住了此前只有 C⁰ 版本的退路，退化临界点的存在则挡住了非退化同调下界的反弹（非退化形式涉及不同假设、与本例相容）。三还是最优计数：Gong 的定理保证这类流形上任何哈密顿映射至少 n=3 个不动点，本例恰好触底。
在复三维二次超曲面 @@M@@Q^3@@（实六维闭辛流形）上，本文构造出恰好有三个不动点的光滑哈密顿微分同胚，而该流形上任何光滑函数都至少有四个临界点——同时推翻 Arnold 猜想的临界数形式与有理杯长形式，且三是最优计数。
Arnold 不动点猜想把哈密顿不动点与光滑函数的临界点作比较，其最强（无退化假设）形式断言：闭辛流形上任何哈密顿微分同胚（Hamiltonian diffeomorphism）的不动点数不少于临界数（critical number）@@M@@\Crit(M)@@，即允许退化临界点时所有光滑函数临界点数的最小值；其弱形式用有理杯长（cup length）替代。正结果集中于特殊情形：标准环面（Conley–Zehnder）、@@M@@\CP^n@@（Fortune）、@@M@@\pi_2=0@@ 时的杯长界（Hofer）、@@M@@[\omega]@@ 与 @@M@@c_1@@ 在 @@M@@\pi_2@@ 上为零（Rudyak–Oprea）。二次超曲面含正辛面积的球面，恰在这些假设之外。Ma 曾断言哈密顿不动点最小个数恒等于 @@M@@\Crit(M)@@；Buhovsky–Humilière–Seyfaddini 只对连续（@@M@@C^0@@）哈密顿同胚造出过单不动点例子。光滑反例此前一直缺失。
主定理：取 @@M@@Q^3=\{z_0^2+z_1^2+z_2^2+z_3^2+z_4^2=0\}\subset\CP^4@@（带限制 Fubini–Study 辛形式），存在光滑哈密顿微分同胚 @@M@@\phi@@ 使
@@M@@D\#\Fix(\phi)=3<4=\Crit(Q^3)=\operatorname{cuplength}(Q^3;\mathbb Q),@@
且至少一个不动点退化（degenerate）。三是最优的：Gong 证明复维数 @@M@@n\ge2@@ 的标准二次超曲面上任何哈密顿微分同胚至少有 @@M@@n@@ 个不动点，本例在 @@M@@n=3@@ 时达到该界。由于计数涵盖全部不动点，附加轨道可缩条件也无法挽救不等式；非退化情形的同调 Arnold 不等式涉及不同假设，与本例相容。
核心机制是”有限阶传递”：设 @@M@@A@@ 为 @@M@@m@@ 阶哈密顿映射，不动集 @@M@@F@@ 是干净不动子流形（clean fixed set，即 @@M@@T_qF=\ker(dA_q-\id)@@）。先把 @@M@@F@@ 上的函数 @@M@@f@@ 任意延拓，再按有限群平均得到 @@M@@A@@-不变的 @@M@@K@@；平均算子是到 @@M@@T_qF@@ 的投影，故 @@M@@K@@ 在 @@M@@F@@ 处的环境临界性等价于 @@M@@f@@ 的临界性（对称临界性原理的有限群特例）。不变性使 @@M@@K@@ 的哈密顿流 @@M@@B_s@@ 与 @@M@@A@@ 交换，于是 @@M@@(A\circ B_\varepsilon)^m=B_{m\varepsilon}@@；再用短周期引理（Lipschitz 估计排除短非平凡周期轨，Yorke 定理的初等版本）取足够小的 @@M@@\varepsilon@@，则 @@M@@B_{m\varepsilon}@@ 的不动点恰为 @@M@@K@@ 的临界点，最终得 @@M@@\Fix(A\circ B_\varepsilon)=\Crit(f)@@——不动点计数被完全转移到子流形上的临界点计数。
载体是二次超曲面上的哈密顿对合（involution）@@M@@A[z_0:\cdots:z_4]=[z_0:-z_1:\cdots:-z_4]@@：它是等速旋转流 @@M@@\Phi_1^{\pi,\pi}@@，显式哈密顿量 @@M@@G_{a,b}@@ 保证其哈密顿性；不动集 @@M@@F=Q^3\cap\{z_0=0\}@@ 经秩一矩阵实现同构于 @@M@@S^2\times S^2@@，切空间分解为 @@M@@\pm1@@ 特征子空间，干净条件成立。
@@M@@F@@ 上取显式函数 @@M@@f(x,y)=e\cdot x+(x-p)\cdot y@@（@@M@@p@@ 为北极、@@M@@e@@ 为赤道点，属 Takens 球面积构造的显式化）。Lagrange 乘子方程可完整解出：得退化孤立临界点 @@M@@q_0=(p,-e)@@（Hessian 特征值 @@M@@1,-1,0,0@@，秩 2）与两个非退化点 @@M@@q_\pm@@（函数值 @@M@@\pm 3\sqrt3/2@@），别无其他。
下界四的验证分两半：Lusternik–Schnirelmann 杯积引理（负梯度流把 @@M@@k@@ 个临界值化成 @@M@@k@@ 个开覆盖，其上正阶闭形式皆恰当，从而杀死 @@M@@k@@ 重杯积）配合超平面类 @@M@@h^3=2[\mathrm{pt}]\ne0@@ 给出下界 4；不等速旋转 @@M@@G_{1,2}@@ 的临界点是其生成元 @@M@@T=\operatorname{diag}(0,J,2J)@@ 的射影特征线，恰有四条落在 @@M@@Q^3@@ 上，给出上界 4，两界相等。最后在 @@M@@q_0@@ 处：Hessian 核向量 @@M@@v@@ 满足 @@M@@DX_f(q_0)v=0@@，故 @@M@@d\phi_{q_0}v=\exp(\varepsilon DX_f(q_0))v=v@@，线性化出现特征值 1，退化性得证。
本文主结果已 Lean 形式化（见结果族 347 的官方 Lean 文档）。姊妹篇在同一结果族中给出十二维、非退化、亏损无界的 Morse 数反例（暂无形式化证明），族内另有单连通闭 Kähler 流形上稳定 Morse 数亏损无界的构造，多篇互补地否定 Arnold 猜想的各无限制形式。按 OpenAI 官方声明，未经形式化的结果可能有问题。
问 1：整篇证明最关键的一步是什么？
（答：introduction 节的有限阶传递机制：设 A 为 m 阶哈密顿映射、F 为其干净不动子流形，把 F 上的函数 f 经有限群平均延拓为 A-不变的 K，其流 B_s 与 A 交换，故 (A∘B_ε)^m=B_{mε}；短周期引理（Yorke 型 Lipschitz 估计）保证 ε 足够小时右端只有驻点，配合 Palais 对称临界性原理的有限群特例，得 Fix(A∘B_ε)=CritSet(f)——不动点计数被完整转移到子流形上的临界点计数。）
问 2：”至少一个不动点退化”是构造缺陷还是必然代价？
（答：必然。非退化形式的同调 Arnold 不等式（有理 Betti 数下界，Fukaya–Ono、Liu–Tian、Ruan）在非退化假设下依然成立，三不动点必须靠退化来换取；文中在退化临界点 q₀ 处验证 Hessian 核向量 v 满足 dφ_{q₀}v=v，线性化出现特征值 1。）
问 3：Crit(Q³)=4 是怎么验证的？
（答：两半夹逼。下界用 Lusternik–Schnirelmann 杯积论证：负梯度流把 k 个临界值化成 k 个开覆盖，其上正阶闭形式皆恰当，而超平面类满足 h³=2[pt]≠0，故至少 4；上界由不等速旋转 G_{1,2} 实现，其临界点是其生成元 T=diag(0,J,2J) 的射影特征线，恰有四条落在 Q³ 上。）
问 4：为什么恰好是 3，不能更少吗？
（答：不能。Gong 证明复维数 n≥2 的标准二次超曲面上任何哈密顿微分同胚至少有 n 个不动点；本例在 n=3 时达到该界。文中还处理了辛形式归一化之差：重标 Fubini–Study 形式与生成哈密顿量同倍数不改变向量场，故两文的哈密顿群一致。）
问 5：与已有工作相比真正的新意是什么？
（答：Buhovsky–Humilière–Seyfaddini 只对连续（C⁰）哈密顿同胚造出单不动点例子，Ma 的断言则未被推翻过；本文给出首个光滑反例，同时击穿无限制临界数形式与更弱的有理杯长形式。与 Jiao 2026 年 9 月的 S²×S² 两不动点构造相互独立，机制也不同——本文靠六维流形上的有限阶映射而非局部鞍点合并。）
问 6：这类 AI 生成的证明最可能出错的模式，本文风险如何？
（答：本篇主结果已 Lean 形式化，机器验证覆盖了核心链路，风险显著低于族内未形式化的姊妹篇；剩余风险在英文陈述与形式化陈述的对接处，例如杯长的”含单位”约定、辛形式归一化这类易错的一致性细节——文中均已显式处理。）
问 7：谁会用到它？
（答：Arnold 猜想研究者：任何想陈述正确的退化形式下界的人必须面对这个触底例子；有限阶传递机制也可移植到其他带干净不动集的对称辛流形，用来压低不动点计数。）
总评
这是首个同时推翻临界数与有理杯长形式的光滑 Arnold 反例，且计数触底、主结果已形式化，是族 347 中可信度最高的一环；最大风险只剩陈述对接层面的细节，机器验证已覆盖主体。