[论文解读] Mini-max theory, spectral invariants and geometry of the Hamiltonian diffeomorphism group

Yong‐Geun Oh|ArXiv.org|Jun 10, 2002

Geometric and Algebraic Topology参考文献 21被引用 15

一句话总结

本文通过在单连通覆盖的可缩环路空间中的诺维科夫循环上使用极小极大理论，为任意紧致辛流形上的哈密顿微分同胚引入了谱不变量。通过这些不变量构造了一个连续的不变范数，作者建立了霍弗范数的新下界，该下界以伪全纯曲线的辛面积表示，并证明了霍弗范数的半全局 $C^1$-平坦性。

ABSTRACT

In this paper, we first 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 compact symplectic manifold (M,omega). To each given time dependent Hamiltonian function H and quantum cohomology class 0 not equal a element of QH^*(M), we associate an invariant rho(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 Omega_0(M) of the contractible loop space Omega_0(M). We call them the Novikov cycles. We then use the spectral invariants to construct a new invariant norm on the Hamiltonian diffeomorphism group and a partial order on the set of time-dependent Hamiltonian functions of arbitrary compact symplectic manifolds. As some applications, we obtain a new lower bound of the Hofer norm of non-degenerate Hamiltonian diffeomorphisms in terms of the area of certain pseudo-holomorphic curves and prove the semi-global C^1-flatness of the Hofer norm.

研究动机与目标

• 在任意紧致辛流形上，通过链层弗洛尔同调，为作用泛函在半无限循环上发展极小极大理论。
• 为时变哈密顿量 $H$ 和非零量子上同调类 $a \in QH^*(M)$ 定义谱不变量 $\rho(H; a)$，确保其在 $C^0$ 拓扑下的连续性。
• 利用谱不变量在哈密顿微分同胚群上构造一个不变范数，推广霍弗的几何结构。
• 以伪全纯曲线的辛面积表示，建立霍弗范数的新下界。
• 通过谱不变量与哈密顿纤维丛，证明霍弗范数的半全局 $C^1$-平坦性。

提出的方法

• 将谱不变量 $\rho(H; a)$ 构造为在单连通覆盖 $\widetilde{\Omega}_0(M)$ 中、对给定量子上同调类 $a$ 的对偶半无限循环（诺维科夫循环）上的极小极大值。
• 利用过滤弗洛尔同调与诺维科夫循环的链接性质，确保不变量的有限性与谱性。
• 通过哈密顿纤维丛技术推导出三角不等式，定义哈密顿微分同胚群 $\phi \in \mathrm{Ham}(M,\omega)$ 上的不变范数 $\|\phi\|_\rho = \inf_H \rho(H; a)$。
• 应用具有固定单值 monodromy 的哈密顿纤维丛理论与伪全纯截面，证明三角不等式并控制 $K$-面积。
• 引入有界量子上同调 $QH^*_{bdd}(M)$，将谱不变量扩展至具有连续线性泛函的同调上行为良好的设定中。
• 利用埃能托夫的 $K$-面积框架与哈密顿纤维丛上的联络，将谱不变量与霍弗长度型量相关联。

实验结果

研究问题

• RQ1 在作用泛函多值的非恰当辛流形上，如何为哈密顿微分同胚定义谱不变量？
• RQ2 能否利用来自弗洛尔同调的谱不变量，在 $\mathrm{Ham}(M,\omega)$ 上构造一个连续且不变的范数？
• RQ3 霍弗范数与伪全纯曲线的辛面积之间有何关系？这一关系能否导出一个下界？
• RQ4 在谱不变量与哈密顿纤维丛的语境下，霍弗范数的 $C^1$-平坦性如何体现？
• RQ5 谱不变量能否扩展至有界量子上同调类？这对范数的不变性与连续性有何影响？

主要发现

• 谱不变量 $\rho(H; a)$ 在时变哈密顿量空间的 $C^0$ 拓扑下是良定义且连续的。
• 通过谱不变量在 $\mathrm{Ham}(M,\omega)$ 上构造了一个新不变范数 $\|\phi\|_\rho$，其三角不等式性质由哈密顿纤维丛技术保证。
• 以特定伪全纯曲线的辛面积表示，建立了非退化哈密顿微分同胚霍弗范数的新下界。
• 通过谱不变量与哈密顿纤维丛的 $K$-面积框架，证明了霍弗范数的半全局 $C^1$-平坦性。
• 谱不变量可扩展至有界量子上同调类 $QH^*_{bdd}(M)$，从而实现不变量的同调稳健表述。
• 该构造通过弗洛尔理论与几何方法，将维特博的不变量与霍弗范数推广至任意紧致辛流形。