[论文解读] Length minimizing property, Conley-Zehnder index and $C^1$-perturbations of Hamiltonian functions

Yong‐Geun Oh|ArXiv.org|Feb 10, 2004

Geometric and Algebraic Topology参考文献 7被引用 3

一句话总结

本文在非常强的半正性辛流形上，通过 $C^1$-扰动和链上弗洛尔同调的谱不变量，建立了准自治哈密顿路径在其同伦类中长度极小化的条件。关键结果识别出一类正 $μ$-欠扭转的哈密顿函数——其允许非平凡周期轨道——在固定端点下实现霍弗长度极小化，将极小化猜想与 $C^1$-扰动问题联系起来。

ABSTRACT

The main purpose of this paper is to study the length minimizing property of Hamiltonian paths on closed symplectic manifolds $(M,ω)$ such that there are no spherical homology class $A \in H_2(M)$ with $$ ω(A) > 0 \quad ext{and} \quad -n \leq c_1(A) < 0, $$ which we call {\it very strongly semi-positive}. We introduce the notion of {\it positively $μ$-undertwisted} Hamiltonian paths and prove that any positively undertwisted quasi-autonomous Hamiltonian path is length minimizing in its homotopy class as long as it has a fixed maximum and a fixed minimum point that are generically under-twisted. This class of Hamiltonian can have non-constant large periodic orbits. The proof uses the chain level Floer theory, spectral invariants of Hamiltonian diffeomorphisms and the argument involving the thick and thin decomposition of Floer's moduli space of perturbed Cauchy-Riemann equation. And then based on this theorem and some closedness of length minimizing property, we relate the Minimality Conjecture on the very strongly semi-positive symplectic manifolds to a $C^1$-perturbation problem of Hamiltonian functions on general symplectic manifolds, which we also formulate here.

研究动机与目标

• 研究闭辛流形上哈密顿路径的长度极小化性质，无需假设非平凡周期轨道的缺失。
• 在孔利-曾德尔指标的拓扑约束下，制定并证明准自治哈密顿路径的极小化条件。
• 将非常强的半正性流形上的极小化猜想与一般辛流形上哈密顿函数的 $C^1$-扰动问题联系起来。
• 建立一个基于链上弗洛尔同调与谱不变量的框架，以分析非平凡周期轨道存在下的路径极小化问题。

提出的方法

• 引入正 $μ$-欠扭转哈密顿路径的概念，推广了慢速自治哈密顿函数。
• 应用链上弗洛尔同调与谱不变量，追踪扰动下孔利-曾德尔指标的变化。
• 利用弗洛尔的扰动柯西-黎曼解模空间的厚与薄分解，控制紧致性与正则性。
• 采用依赖于平凡化方式的孔利-曾德尔指标公式，结合转移矩阵的卷绕数，计算指标差。
• 推导出恒等式 $\mu_H([z,w]) = \mu_H([z,w^\prime]) + 2c_1([w\#\overline{w}^\prime])$，将指标变化与球丛的陈数联系起来。
• 证明长度极小化性质在 $C^1$-扰动下保持闭包性，从而将极小化猜想约化为一个扰动问题。

实验结果

研究问题

• RQ1 在固定端点下，准自治哈密顿路径在何种条件下是其同伦类中的长度极小化路径？
• RQ2 孔利-曾德尔指标与谱不变量如何在非平凡周期轨道存在下约束哈密顿路径的极小化性质？
• RQ3 能否将非常强的半正性流形上的极小化猜想约化为哈密顿函数的 $C^1$-扰动问题？
• RQ4 $C^1$-拓扑在保持或破坏哈密顿路径长度极小化性质方面起到何种作用？
• RQ5 $μ$-欠扭转条件如何与谱不变量及弗洛尔理论构造相互作用？

主要发现

• 任意正 $μ$-欠扭转的准自治哈密顿路径，若其最大值与最小值点为典型欠扭转，则在同伦类中为长度极小化路径。
• 本文证明了定理 A' 与定理 B，确立了在辛流形的非常强半正性条件下，路径的长度极小化性质。
• 孔利-曾德尔指标满足恒等式 $\mu_H([z,w]) = \mu_H([z,w^\prime]) + 2c_1([w\#\overline{w}^\prime])$，将指标差与球丛的陈数联系起来。
• 非常强半正性流形类包括法诺流形、单调辛流形与弱精确辛流形。
• 在非常强半正性假设下，极小化猜想被约化为一般辛流形上哈密顿函数的 $C^1$-扰动问题。
• 证明依赖于基本弗洛尔理论，无需虚拟模空间，且在非常强半正性条件下成立。