[论文解读] On the degenerated Arnold-Givental conjecture

Guangcun Lu|arXiv (Cornell University)|Jun 1, 2008

Geometric and Algebraic Topology参考文献 19被引用 3

一句话总结

本文建立了拉格朗日子流形与其哈密顿像之间交点数目的两个下界之间的等价性，即实辛流形上1-周期哈密顿系统对称周期轨道（刹车轨道）的数目。通过霍弗方法与有理性指标条件，证明了当哈密顿量的霍弗范数较小时，此类轨道的数目被实部的${\mathbb{Z}}_2$-上积长度下界控制，从而在退化情形下推广了阿诺德-吉文塔尔猜想。

ABSTRACT

We present another view dealing with the Arnold-Givental conjecture on a real symplectic manifold $(M, ω, τ)$ with nonempty and compact real part $L={ m Fix}(τ)$. For given $Λ\in (0, +\infty]$ and $m\in\N\cup\{0\}$ we show the equivalence of the following two claims: (i) $\sharp(L\capϕ^H_1(L))\ge m$ for any Hamiltonian function $H\in C_0^\infty([0, 1] imes M)$ with Hofer's norm $\|H\|0$ or $r_ω=+\infty$. Using Hofer's method we prove that if the Hamiltonian $H$ in (ii) above has Hofer's norm $\|H\|

研究动机与目标

• 建立拉格朗日子流形与其哈密顿像之间横截交点数目与1-周期哈密顿系统对称周期轨道（刹车轨道）数目的对应关系。
• 将阿诺德-吉文塔尔猜想推广至哈密顿流具有小霍弗范数的退化情形。
• 在有理性指标条件下，证明可缩刹车轨道的数目被实部$L$的${\mathbb{Z}}_2$-上积长度下界控制，若$L$可定向，则下界为${\mathbb{Z}}$-上积长度。
• 为一种介于哈密顿与拉格朗日弗洛尔同调之间的实弗洛尔同调理论奠定基础。

提出的方法

• 引入一个对称的1-周期哈密顿量$H$，满足$H(t,x) = H(-t,\tau(x))$，其中$\tau$为反辛对合，确保时间反演对称性。
• 定义集合$\mathcal{P}(H,\tau)$，即满足$x(-t) = \tau(x(t))$的1-周期解，称为刹车轨道。
• 应用霍弗方法，利用辛流形的有理性指标$r_\omega$估计此类轨道的数目。
• 利用$M$关于$J \in \mathbb{R}\mathcal{J}(M,\omega)$的几何有界性，控制伪全纯曲线并确保弗洛尔理论不变量非零。
• 建立两个命题之间的等价性：(i) 对所有满足$\|H\| < \Lambda$的$H$，有$\sharp(L \cap \phi^H_1(L)) \geq m$；(ii) 对所有满足$\|H\| < 2\Lambda$的$H$，有$\sharp\mathcal{P}(H,\tau) \geq m$，其中$m \in \mathbb{N} \cup \{0\}$。
• 通过弗洛尔理论技术应用上积长度界，证明当$\|H\| < r_\omega$时，有$\sharp\mathcal{P}_0(H,\tau) \geq \text{Cuplength}_{\mathbb{F}}(L)$。

实验结果

研究问题

• RQ1 在何种条件下，拉格朗日子流形与其哈密顿像之间的交点数目等于1-周期哈密顿系统对称周期轨道（刹车轨道）的数目？
• RQ2 当哈密顿量的霍弗范数被有理性指标$r_\omega$控制时，阿诺德-吉文塔尔猜想是否可推广至退化情形？
• RQ3 实部$L = \text{Fix}(\tau)$的拓扑复杂性（以其中上积长度度量）与可缩刹车轨道数目之间有何关系？
• RQ4 有理性指标$r_\omega$如何控制实辛流形上对称哈密顿系统中非平凡解的存在性？
• RQ5 能否仅使用刹车轨道构造一种实弗洛尔同调理论？其与$L$的同调有何关系？

主要发现

• 本文证明：对任意$m \in \mathbb{N} \cup \{0\}$，当且仅当所有满足$\|H\| < 2\Lambda$的$H$满足$\sharp\mathcal{P}(H,\tau) \geq m$时，所有满足$\|H\| < \Lambda$的$H$均有$\sharp(L \cap \phi^H_1(L)) \geq m$，从而在交点计数与轨道计数之间建立了精确对偶性。
• 当$\|H\| < r_\omega$时，可缩刹车轨道的数目满足$\sharp\mathcal{P}_0(H,\tau) \geq \text{Cuplength}_{\mathbb{Z}_2}(L)$，若$L$可定向，则有$\sharp\mathcal{P}_0(H,\tau) \geq \text{Cuplength}_{\mathbb{Z}}(L)$。
• 当$M$几何有界且$r_\omega > 0$或$r_\omega = +\infty$，且存在满足$\tau^*J = -J$的$J \in \mathbb{R}\mathcal{J}(M,\omega)$时，$\sharp\mathcal{P}_0(H,\tau) \geq \text{Cuplength}_{\mathbb{Z}_2}(L)$对$\|H\| < r_\omega$成立。
• 该结果适用于具体例子，如$K3$-曲面及$M_{n,d} \subset \mathbb{C}P^n$（其中$d$为奇数且$d \geq 2n$或$d=1$），此时对一般$J$有$m(M_{n,d}, \omega_{n,d}, J) = +\infty$，意味着对小$\|H\|$存在无穷多条此类轨道。
• 本文表明，有理性指标$r_\omega$构成一个临界阈值：当低于$r_\omega$时，对称周期轨道的数目被$L$的拓扑复杂性下界控制，从而推广了半正与负单调流形中的已知结果。
• 作者猜想可通过福尔图恩的方法移除定理1.3中$\|H\| < \pi$的限制，暗示该界可能在更一般情形下成立。