[论文解读] Floer mini-max theory, the Cerf diagram, and the spectral invariants

Yong‐Geun Oh|arXiv (Cornell University)|Jun 23, 2004

Geometric and Algebraic Topology参考文献 11被引用 4

一句话总结

该论文通过发展一种新的链级别弗洛尔极小-极大理论，建立了在非有理辛流形上弗洛尔同调中谱不变量的谱性公理。它利用Cerf同伦框架、处理滑动引理和横截性技术，证明了对于非退化的哈密顿量，谱不变量 $\rho(H;a)$ 是作用泛函的临界值，并表明谱不变量函数连续地下降到哈密顿群的万有覆盖空间 $\widetilde{Ham}(M,\omega)$ 上。

ABSTRACT

The author previously defined the spectral invariants, denoted by $ρ(H;a)$, of a Hamiltonian function $H$ as the mini-max value of the action functional $Å_H$ over the Novikov Floer cycles in the Floer homology class dual to the quantum cohomology class $a$. The spectrality axiom of the invariant $ρ(H;a)$ states that the mini-max value is a critical value of the action functional $Å_H$. The main purpose of the present paper is to prove this axiom for {\it nondegenerate} Hamiltonian functions in {\it irrational} symplectic manifolds $(M,ω)$. We also prove that the spectral invariant function $ρ_a: H \mapsto ρ(H;a)$ can be pushed down to a {\it continuous} function defined on the universal ({\it étale}) covering space $\widetilde{Ham}(M,ω)$ of the group $Ham(M,ω)$ of Hamiltonian diffeomorphisms on general $(M,ω)$. For a certain generic homotopy, which we call a {\it Cerf homotopy} $\HH = \{H^s\}_{0 \leq s\leq 1}$ of Hamiltonians, the function $ρ_a \circ \HH: s \mapsto ρ(H^s;a)$ is piecewise smooth away from a countable subset of $[0,1]$ for each non-zero quantum cohomology class $a$. The proof of this nondegenerate spectrality relies on several new ingredients in the chain level Floer theory, which have their own independent interest: a structure theorem on the Cerf bifurcation diagram of the critical values of the action functionals associated to a generic one-parameter family of Hamiltonian functions, a general structure theorem and the handle sliding lemma of Novikov Floer cycles over such a family and a {\it family version} of new transversality statements involving the Floer chain map, and many others. We call this chain level Floer theory as a whole the {\it Floer mini-max theory}.

研究动机与目标

• 证明谱性公理，即在非有理辛流形上，对于非退化的哈密顿量，谱不变量 $\rho(H;a)$ 是作用泛函 $\mathcal{A}_H$ 的临界值。
• 将谱不变量函数 $\rho_a: H \mapsto \rho(H;a)$ 扩展为哈密顿群的万有覆盖空间 $\widetilde{Ham}(M,\omega)$ 上的连续函数。
• 在远离可数参数集的条件下，建立 $\rho_a \circ \mathcal{H}$ 沿典型Cerf同伦 $\mathcal{H} = \{H^s\}_{0 \leq s \leq 1}$ 的分段光滑性。
• 发展一种新的链级别弗洛尔理论——称为“弗洛尔极小-极大理论”——并提出关于诺维科夫弗洛尔圈在单参数哈密顿量族下的新颖横截性与分岔结构定理。
• 在Cerf族背景下，为诺维科夫弗洛尔圈建立一个处理滑动引理，从而在分岔过程中实现对圈行为的控制。

提出的方法

• 构建了在典型单参数哈密顿量族下，$\mathcal{A}_H$ 的临界值的Cerf分岔图的结构定理。
• 为这类族上的诺维科夫弗洛尔圈引入一个通用结构定理与处理滑动引理，确保在分岔过程中具有拓扑控制。
• 应用涉及弗洛尔链映射的族版本横截性陈述，确保在扰动下链复形的正则性与稳定性。
• 使用参数稳定性论证来控制诺维科夫弗洛尔圈的“紧致性”，以控制伪全纯曲线中的收敛性与泡状现象。
• 通过能量衰减与紧致性论证的反证法，证明非典范弗洛尔轨迹必须同伦于典范圆柱。
• 应用 $C^2$-扰动论证，表明能量较小且能量差有界的弗洛尔轨迹必须收敛到稳定解，若非典范则导致矛盾。

实验结果

研究问题

• RQ1 在非有理辛流形上，对于非退化的哈密顿量，谱不变量 $\rho(H;a)$ 是否为作用泛函 $\mathcal{A}_H$ 的临界值？
• RQ2 谱不变量函数 $\rho_a$ 是否可连续地延拓至哈密顿群的万有覆盖空间 $\widetilde{Ham}(M,\omega)$ 上？
• RQ3 在典型单参数哈密顿量族（即Cerf同伦）下，谱不变量 $\rho(H^s;a)$ 的行为如何？
• RQ4 在典型单参数哈密顿量族下，诺维科夫弗洛尔圈的结构是怎样的？它们如何经历分岔？
• RQ5 在Cerf族背景下，能否为诺维科夫弗洛尔圈建立一个处理滑动引理？其对链级别弗洛尔理论意味着什么？

主要发现

• 谱性公理在非有理辛流形上对非退化哈密顿量成立：$\rho(H;a)$ 是 $\mathcal{A}_H$ 的临界值。
• 谱不变量函数 $\rho_a$ 降为万有覆盖空间 $\widetilde{Ham}(M,\omega)$ 上定义良好的连续函数。
• 对于任意非零量子上同调类 $a$，函数 $s \mapsto \rho(H^s;a)$ 在 $[0,1]$ 上几乎处处（除可数个参数外）是分段光滑的。
• 在典型单参数族下，$\mathcal{A}_H$ 的临界值的Cerf分岔图具有结构良好、有限类型的奇点集。
• 建立了诺维科夫弗洛尔圈的处理滑动引理，表明在小能量与扰动条件下，非典范弗洛尔轨迹必须同伦于典范圆柱。
• 能量衰减与紧致性论证表明，任何能量趋于零且能量差有界的弗洛尔轨迹序列必须收敛到稳定解，除非该轨迹为典范轨迹，否则将导致矛盾。