[论文解读] Spectral invariants and length minimizing property of Hamiltonian paths

Yong‐Geun Oh|ArXiv.org|Dec 24, 2002

Geometric and Algebraic Topology参考文献 16被引用 22

一句话总结

本文建立了一种谱不变量准则，用于判断闭辛流形上的哈密顿路径在其同伦类中是否为长度最小化路径。通过利用作者提出的链上弗洛尔同调与谱不变量，证明了当临界点非退化且极值点在一般情况下为下扭转时，若一个自治哈密顿路径不具有周期为1的非平凡可缩周期轨道，则其为长度最小化路径。

ABSTRACT

In this paper we provide a criterion for the quasi-autonomous Hamiltonian path (``Hofer's geodesic'') on arbitrary closed symplectic manifolds $(M,ω)$ to be length minimizing in its homotopy class in terms of the spectral invariants $ρ(G;1)$ that the author has recently constructed (math.SG/0206092). As an application, we prove that any autonomous Hamiltonian path on arbitrary closed symplectic manifolds is length minimizing in {\it its homotopy class} with fixed ends, when it has no contractible periodic orbits {\it of period one}, has a maximum and a minimum point which are generically under-twisted and all of its critical points are nondegenerate in the Floer theoretic sense. This is a sequel to the papers math.SG/0104243 and math.SG/0206092.

研究动机与目标

• 建立准自治哈密顿路径在其同伦类中为长度最小化的充分条件。
• 通过将先前关于霍弗测地线结果中的条件'无周期≤1的周期轨道'替换为'无周期为1的周期轨道'，对已有结果进行改进。
• 应用谱不变量 ρ(G;1) 通过链上弗洛尔理论刻画哈密顿路径的最小长度。
• 证明在非退化与下扭转条件下，典范基本弗洛尔循环是紧致的。
• 通过去除对辛同调性假设的依赖并使用 [Oh5] 中的谱不变量，推广先前关于自治哈密顿路径的结果。

提出的方法

• 利用 [Oh5] 中构造的谱不变量 ρ(G;1) 分析哈密顿路径的作用谱。
• 应用带有诺维科夫系数的链上弗洛尔同调，研究自治哈密顿 G 的基本循环 α_G。
• 运用 Kerman-Lalonde 引理控制 S¹ 作用与正则化下的弗洛尔轨迹行为。
• 分析弗洛尔复形上的作用泛函 A_G，重点关注指数为1的轨迹在最小点 x⁻ 处的终点。
• 通过虚拟维数论证与 S¹-等变扰动，证明当 c₁([w]) ≠ 0 时，指数为1的轨迹的模空间为空。
• 通过非下压性质证明典范循环 α_G 是紧致的，即对所有同调于 α_G 的 α，有 λ_G(α) ≥ λ_G(α_G)。

实验结果

研究问题

• RQ1 在闭辛流形上，自治哈密顿路径在何种条件下是其同伦类中的长度最小化路径？
• RQ2 谱不变量 ρ(G;1) 是否可用于刻画哈密顿路径的最小霍弗长度？
• RQ3 无非平凡可缩周期为1的周期轨道如何影响长度最小化性质？
• RQ4 极值点的下扭转性与临界点的非退化性在确保最小性方面起什么作用？
• RQ5 在给定的几何与拓扑约束下，典范基本弗洛尔循环是否为紧致？

主要发现

• 若自治哈密顿路径在其同伦类中无非平凡可缩周期为1的周期轨道，则其为长度最小化路径。
• 典范基本弗洛尔循环 α_G 是紧致的，即对所有同调于 α_G 的 α，有 λ_G(α) ≥ λ_G(α_G)。
• 谱不变量满足 ρ(G;1) = ∫₀¹ −min G dt = E⁻(G)，将谱不变量与最小作用直接关联。
• 通过 S¹-等变正则化与虚拟维数论证，证明了在最小点 x⁻ 处终止的指数为1弗洛尔轨迹的缺失。
• 本结果改进了早期定理，将条件从'无周期≤1的周期轨道'替换为'无周期为1的周期轨道'。
• 使用谱不变量与链上弗洛尔理论的证明方法，相较于 [Oh3] 中的先前方法，提供了更优雅且更一般的框架。