[论文解读] Toric degeneration and non-displaceable Lagrangian tori in $S^2 imes S^2$

Kenji Fukaya, Yong Geun Oh+2 more|arXiv (Cornell University)|Feb 8, 2010

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

一句话总结

该论文通过轨形退化和非法诺希策布鲁赫曲面 $F_2$ 的势函数，构造了 $S^2 \times S^2$ 中一系列非平移的拉格朗日子环。通过计算包含整体形变的完整势函数，作者证明了存在不可数无穷多个哈密顿非平移的子环，每个子环的弗洛尔上同调同构于子环的奇异上同调，从而通过弗洛尔理论不变量确认了其非平移性。

ABSTRACT

In this article, using the idea of toric degeneration and the computation of the full potential function of Hirzebruch surface $F_2$, which is \emph{not} Fano, we produce a continuum of Lagrangian tori in $S^2 imes S^2$ which are non-displaceable under the Hamiltonian isotopy.

研究动机与目标

• 在 $S^2 \times S^2$ 中构造新的非平移拉格朗日子环族，其不与标准轨形纤维哈密顿同伦等价。
• 将弗洛尔上同调理论扩展至整体形变，以检测非法诺辛流形中的非平移性。
• 证明存在一个以 $u \in (0, u_0]$ 参数化的连续统子环族，其彼此哈密顿同伦类互不相同。
• 表明其中某个子环是单调的，但不辛同构于赤道子环的乘积。
• 提供一种利用谱不变量和福克亚范畴生成性来检测非平移性的方法。

提出的方法

• 利用轨形退化将 $S^2 \times S^2$ 与非法诺但拟正的希策布鲁赫曲面 $F_2$ 联系起来。
• 通过马斯洛夫指标为 2 的伪全纯曲线，计算 $F_2$ 的完整势函数并引入整体形变。
• 应用典范 $A_∞$-结构和 $\mathfrak{m}_0^{\text{can}}$ 映射，在通用诺维科夫环中定义势函数 $\mathfrak{PO}^L(b)$。
• 利用弱洪-毛雷尔-卡特安方程及同构 $H^1(L;\Lambda_0) \to \mathcal{M}_{\text{weak}}(L)$ 参数化解。
• 利用 $\mathfrak{PO}^L$ 在满足假设 7.1 的相容几乎复结构路径下的不变性，确保构造的良定义性。
• 应用谱不变量和生成性结果，推导出任意 $T(u)$ 的哈密顿像必须与赤道子环 $S^1_{\text{eq}} \times S^1_{\text{eq}}$ 相交。

实验结果

研究问题

• RQ1 能否在 $S^2 \times S^2$ 中构造出既非轨形纤维也非单调拉格朗日子环的非平移拉格朗日子环？
• RQ2 在非法诺辛流形中，是否可以通过带整体形变的势函数检测非平移性？
• RQ3 能否在 $S^2 \times S^2$ 中构造出一个两两哈密顿同伦不等价的拉格朗日子环连续统？
• RQ4 是否存在一个在 $S^2 \times S^2$ 中的单调拉格朗日子环，其不辛同构于赤道子环的乘积？
• RQ5 能否利用谱不变量或福克亚范畴生成性来证明此类子环的非平移性？

主要发现

• 存在一个不可数无穷的拉格朗日子环族 $T(u)$，其参数为 $u \in (0, u_0]$（$u_0 > 0$），每个子环在哈密顿同伦下均不可平移。
• 对每个 $u$，存在一个整体形变 $(\mathfrak{b}, b)$，使得弗洛尔上同调 $HF((T(u), (\mathfrak{b}, b)), (T(u), (\mathfrak{b}, b)))$ 同构于 $H(T(u); \Lambda_0)$，从而确认了其非平移性。
• 当 $u \neq u'$ 时，子环 $T(u)$ 与 $T(u')$ 互不相交，表明它们两两不相交且非同伦等价。
• 在该族中存在唯一一个 $T(u_0)$ 是单调的，但其不辛同构于赤道子环的乘积 $S^1_{\text{eq}} \times S^1_{\text{eq}}$。
• $\mathfrak{PO}^L$ 的势函数在满足假设 7.1 的相容几乎复结构路径下保持不变，确保了构造的稳健性。
• 该方法表明，任意哈密顿微分同胚 $\varphi$ 满足 $\varphi(T(u)) \cap (S^1_{\text{eq}} \times S^1_{\text{eq}}) \neq \emptyset$，从而恢复了阿尔伯斯-弗劳恩费尔德关于 $T^*S^2$ 的结果。