[论文解读] Construction of spectral invariants of Hamiltonian paths on closed symplectic manifolds

Yong‐Geun Oh|ArXiv.org|May 4, 2004

Geometric and Algebraic Topology被引用 25

一句话总结

本文在任意闭辛流形（即使非恰当或非有理的）上构造了哈密顿路径的谱不变量，利用普遍覆盖空间中可缩环路空间的半无限链上的极小极大理论。关键贡献是为每个哈密顿量 $ H $ 和非零量子上同调类 $ a $ 定义了一个连续谱不变量 $ \rho(H; a) $，该不变量在 $ C^0 $ 拓扑下连续，并满足基本性质，如辛不变性与三角不等式。

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 {\it non-exact and non-rational}, compact symplectic manifold $(M,ω)$. To each given time dependent Hamiltonian function $H$ and quantum cohomology class $ 0 eq a \in 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 $\widetilde Ω_0(M)$ of the contractible loop space $Ω_0(M)$. We call them the {\it Novikov Floer cycles}. We apply the spectral invariants to the study of Hamiltonian diffeomorphisms in sequels of this paper.

研究动机与目标

• 为任意闭辛流形（包括非恰当与非有理的）上的哈密顿微分同胚定义谱不变量。
• 通过覆盖空间技巧与弗洛尔同调，克服非恰当流形上作用泛函多值化的挑战。
• 在与量子上同调类对偶的半无限链（诺维科夫弗洛尔链）上建立极小极大构造。
• 证明所得谱不变量 $ \rho(H; a) $ 在 $ C^0 $ 拓扑下连续，并满足关键几何性质。
• 为通过谱不变量研究哈密顿动力学奠定基础，应用于霍弗几何与辛拓扑。

提出的方法

• 在可缩环路空间的普遍覆盖空间 $ \widetilde{\Omega}_0(M) $ 中，为作用泛函发展极小极大理论。
• 使用链级别弗洛尔同调，构造‘诺维科夫弗洛尔链’，其同调类与量子上同调类 $ a \in QH^*(M) $ 对偶。
• 将谱不变量 $ \rho(H; a) $ 定义为该泛函在这些链上的极小极大值。
• 应用哈密顿丛理论与伪全纯截面，借助 $ K $-面积理论与固定单值性连接，证明三角不等式。
• 通过诺维科夫链上的有界线性泛函实现连续量子上同调框架，确保不变量的 $ C^0 $-连续性。
• 通过弗洛尔上同调到连续对偶的典范链映射建立不变量，确保与量子上同调的相容性。

实验结果

研究问题

• RQ1 如何在一般闭辛流形上为哈密顿路径定义谱不变量，特别是在作用泛函多值化的情况下？
• RQ2 在缺乏恰当性或有理性时，应采用何种几何与同调框架来定义此类不变量？
• RQ3 在此一般设定下，如何严格证明三角不等式与辛不变性？
• RQ4 哈密顿丛与伪全纯截面在证明谱不变量基础性质中起什么作用？
• RQ5 谱不变量能否在哈密顿函数的 $ C^0 $-拓扑下实现连续性？这如何通过诺维科夫链的连续对偶实现？

主要发现

• 谱不变量 $ \rho(H; a) $ 对任意哈密顿量 $ H $ 与非零量子上同调类 $ a \in QH^*(M) $ 均有良好定义，即使 $ M $ 非恰当或非有理。
• 不变量 $ \rho(H; a) $ 在 $ H $ 的 $ C^0 $-拓扑下连续，这是对辛拓扑应用至关重要的性质。
• 该构造依赖于 $ \widetilde{\Omega}_0(M) $ 中半无限链上的极小极大值，这些链在诺维科夫弗洛尔链框架下与 $ a $ 对偶。
• 利用哈密顿丛与 $ K $-面积理论及固定单值性，证明了三角不等式 $ \rho(H \# K; a) \leq \rho(H; a) + \rho(K; a) $。
• 通过典范链映射与覆盖空间上作用泛函的结构，建立了 $ \rho(H; a) $ 的辛不变性。
• 发展了量子上同调的连续对偶框架，使得可为连续上同调类 $ \mu \in QH^*_{\text{cont}}(M) $ 定义 $ \rho(H; \mu) $，将不变量扩展至更广的泛函类。