[论文解读] Construction of spectral invariants of Hamiltonian diffeomorphisms on general symplectic manifolds

Yong‐Geun Oh|arXiv (Cornell University)|May 4, 2004

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

一句话总结

本文通过弗洛尔同调框架下的极小极大方法，在任意紧致辛流形（包括非恰当和非有理的情形）上构造了哈密顿微分同胚的谱不变量。关键贡献在于：对于每个哈密顿量 H 和非零量子上同调类 a，通过在可缩环路空间的万有覆叠上与诺维科夫弗洛尔循环对偶，定义了一个连续不变量 ρ(H; a)。

ABSTRACT

In this paper, we develop a mini-max theory of the action functional over the semi-infinite cycles via the chain level Floer homology theory and construct spectral invariants of Hamiltonian diffeomorphisms on arbitrary, especially on non-exact and non-rational, compact symplectic manifold (M, ω). To each given time dependent Hamiltonian function H and quantum cohomology class 0 ̸ = a ∈ QH ∗ (M), we associate an invariant ρ(H; a) which varies continuously over H in the C 0-topology. This is obtained as the mini-max value over the semi-infinite cycles whose homology class is ‘dual ’ to the given quantum cohomology class a on the covering space ˜Ω0(M) of the contractible loop space Ω0(M). We call them the Novikov Floer cycles. We apply the spectral invariants to the study of Hamiltonian diffeomorphisms in sequels of this paper.

研究动机与目标

• 将谱不变量理论推广至任意紧致辛流形，包括非恰当和非有理的情形。
• 为时变哈密顿量 H 和非零量子上同调类 a 定义一个连续谱不变量 ρ(H; a)。
• 在链层弗洛尔同调的背景下，发展关于半无限循环的极小极大理论。
• 引入并利用诺维科夫弗洛尔循环——即在可缩环路空间的万有覆叠上，与量子上同调类对偶的半无限循环。
• 为后续研究中通过谱不变量分析哈密顿微分同胚奠定基础。

提出的方法

• 该构造在链层弗洛尔同调框架下，基于半无限循环上的极小极大值进行。
• 循环定义在可缩环路空间 Ω₀(M) 的万有覆叠 ˜Ω₀(M) 上。
• 利用循环的同调类与量子上同调类 a ∈ QH∗(M) 之间的对偶性来定义不变量。
• 不变量 ρ(H; a) 被定义为这些循环上作用泛函的极小极大值。
• 该方法依赖于诺维科夫弗洛尔循环的结构，即具有特定同调性质的半无限链。
• 通过作用泛函与循环空间的拓扑性质，建立了 ρ(H; a) 关于 H 的 C⁰-拓扑连续性。

实验结果

研究问题

• RQ1 如何在一般辛流形（包括非恰当和非有理情形）上为哈密顿微分同胚定义谱不变量？
• RQ2 在缺乏恰当性或有理性的情况下，应采用何种几何与同调框架来定义此类不变量？
• RQ3 在哈密顿量的 C⁰-变化下，基于半无限循环的极小极大构造能否产生连续谱不变量？
• RQ4 如何将量子上同调类与可缩环路空间万有覆叠上的循环对偶配对？
• RQ5 诺维科夫弗洛尔循环在通过作用泛函极小极大化实现谱不变量的过程中起到何种作用？

主要发现

• 本文成功地为任意紧致辛流形 (M, ω) 构造了谱不变量 ρ(H; a)，无论其是否恰当或有理。
• 不变量 ρ(H; a) 关于哈密顿量 H 在 C⁰-拓扑下是连续的，确保了在小扰动下的稳定性。
• 该构造依赖于链层弗洛尔同调设定下，作用泛函在半无限循环上的极小极大值。
• 所用循环定义在万有覆叠 ˜Ω₀(M) 上，且与给定的量子上同调类 a ∈ QH∗(M) 对偶。
• 谱不变量是良定义的，并且在哈密顿同伦下不变，因为它仅依赖于哈密顿流的同伦类。
• 该框架为后续研究中通过谱不变量分析哈密顿微分同胚提供了基础。