[论文解读] Lagrangian Floer homology of the Clifford torus and real projective space in odd dimensions

Garrett Alston|ArXiv.org|Feb 2, 2009

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

一句话总结

本文使用 $\mathbb{Z}_2$ 系数计算了奇维复射影空间中 Clifford 环面与实射影空间的拉格朗日子流形 Floer 同调，证明了 $HF(\mathbb{R}P^{2n-1}, T^{2n-1}; \mathbb{Z}_2) = (\mathbb{Z}_2)^{2^n}$。该结果表明，这些拉格朗日子流形无法通过哈密顿同伦实现位移，且必须在至少 $2^n$ 个点相交，从而为交点数提供了下界，并支持了辛几何中的体积最小化猜想。

ABSTRACT

The Floer homology of (RP^n,T^n) is calculated, for n odd.

研究动机与目标

• 确定 Clifford 环面 $T^{2n-1}$ 与实射影空间 $\mathbb{R}P^{2n-1}$ 在哈密顿同伦下的最小交点数。
• 计算奇维空间中拉格朗日子流形 Floer 同调 $HF(\mathbb{R}P^{2n-1}, T^{2n-1}; \mathbb{Z}_2)$。
• 研究该同调计算对 Clifford 环面在其哈密顿形变类中体积最小化猜想的启示。
• 将 Floer 同调计算扩展至 Novikov 环 $\Lambda_{\mathbb{Z}_2}$ 系数，并验证其在哈密顿同伦下的不变性。

提出的方法

• 在 $\mathbb{Z}_2$ 上构造由 $\mathbb{R}P^{2n-1}$ 与 $T^{2n-1}$ 的横截交点生成的 Floer 链复形 $CF(L_0, L_1)$，其数量为 $2^{2n}$。
• 通过孤立 $J$-全纯带（Floer 轨道）的模 2 计数定义边界算子 $\partial$。
• 证明线性化 $\bar{\partial}_J$-算子的指标等于 Maslov 指标 $\mu(u)$，从而确保全纯带模空间的良定义性。
• 利用谱流与全纯带上的 $\mathbb{R}$-作用定义商模空间 $\mathcal{M}_J(L_0, L_1)$，并通过孤立的 0 维分量计算边界算子。
• 在保证 Floer 同调良定义的拓扑条件下验证 $\partial^2 = 0$，依赖于 $J$ 的正则性与横截性。
• 通过证明边界算子的可逆矩阵变换，将计算扩展至 Novikov 环 $\Lambda_{\mathbb{Z}_2}$ 系数，得出同调同构于 $(\Lambda_{\mathbb{Z}_2})^{2^n}$。

实验结果

研究问题

• RQ1 在哈密顿同伦下，Clifford 环面 $T^{2n-1}$ 与实射影空间 $\mathbb{R}P^{2n-1}$ 的最小交点数是多少？
• RQ2 拉格朗日子流形 Floer 同调 $HF(\mathbb{R}P^{2n-1}, T^{2n-1}; \mathbb{Z}_2)$ 是否非平凡？其在奇维空间中的结构如何？
• RQ3 能否将 Floer 同调计算扩展至 Novikov 环 $\Lambda_{\mathbb{Z}_2}$ 系数？其同调结构是否保持不变？
• RQ4 非零 Floer 同调是否意味着 $\mathbb{R}P^{2n-1}$ 与 $T^{2n-1}$ 无法通过哈密顿同伦实现位移？
• RQ5 通过拉格朗很多普顿公式，交点下界 $2^n$ 对体积最小化有何启示？

主要发现

• 通过交点间全纯带的模 2 计数，Floer 同调 $HF(\mathbb{R}P^{2n-1}, T^{2n-1}; \mathbb{Z}_2)$ 同构于 $(\mathbb{Z}_2)^{2^n}$。
• 非零同调表明 $\mathbb{R}P^{2n-1}$ 与 $T^{2n-1}$ 无法通过哈密顿同伦实现位移，且必须在至少 $2^n$ 个点相交。
• 该计算仅在奇维空间中成立，因圆盘泡胀贡献的抵消效应导致偶维空间中 Floer 同调无法良定义。
• 在 Novikov 环 $\Lambda_{\mathbb{Z}_2}$ 上的同调同构于 $(\Lambda_{\mathbb{Z}_2})^{2^n}$，证实了其在哈密顿同伦下的不变性，并将结果推广至更广泛的系数系统。
• 利用拉格朗很多普顿公式，结果表明 $\frac{\mathrm{vol}(\phi(T^{2n-1}))}{\mathrm{vol}(\mathbb{R}P^{2n-1})} \geq \frac{2^n}{2n}$，为哈密顿形变下的体积增长提供了下界。
• 当 $n=1$ 和 $n=2$ 时，$T^1$ 与 $T^3$ 相对于 $\mathbb{R}P^1$ 与 $\mathbb{R}P^3$ 的体积比分别为 1 和约 1.57，但该下界尚未解决 $T^{2n-1}$ 的全局体积最小化猜想。