[论文解读] Floer cohomology of real Lagrangians in the Fermat quintic threefold

Garrett Alston|arXiv (Cornell University)|Oct 19, 2010

Geometric and Algebraic Topology参考文献 14被引用 5

一句话总结

本文计算了费马五次三复叠（Fermat quintic threefold）中成对实拉格朗日子流形的弗洛尔上同调，该三复叠是通过齐次方程 $X_0^5 + \cdots + X_4^5 = 0$ 定义的卡拉比-丘三复叠。通过显式描述低能量全纯盘与带子，并结合阿诺德-马斯洛夫指标、障碍丛公式以及一种新颖的通过反射将全纯带子与球面关联的方法，作者在大多数情况下计算了上同调，证明了实拉格朗日子流形的结构在这些技术中至关重要。主要贡献在于对625对实拉格朗日子流形中的624对完成了弗洛尔上同调的完整计算。

ABSTRACT

Let X be the Fermat quintic threefold. The set of real solutions L forms a Lagrangian submanifold of X. Multiplying the homogeneous coordinates of X by various fifth roots of unity gives automorphisms of X; the images of L under these automorphisms defines a family of 625 different Lagrangian submanifolds, called real Lagrangians. In this paper we try to calculate the Floer cohomology between all pairs of these Lagrangians. We are able to complete most of the calculations, but there are a few cases we cannot do. The basic idea is to explicitly describe some low energy moduli spaces and then use this knowledge to calculate the differential on the E_2 page of the standard spectral sequence for Floer cohomology. It turns out that this is often enough to calculate the cohomology completely. Several techniques are developed to help describe these low energy moduli spaces, including a formula for the Maslov index, a formula for the obstruction bundle, and a way to relate holomorphic strips and discs to holomorphic spheres. The real nature of the Lagrangians is crucial for the development of these techniques.

研究动机与目标

• 计算费马五次三复叠中625个实拉格朗日子流形对之间的弗洛尔上同调，这些子流形由反辛对合的不动点集给出。
• 发展特定技术——特别是马斯洛夫指标与障碍丛的公式——以利用拉格朗日子流形的实结构，描述低能量全纯盘与带子。
• 通过反射构造将实拉格朗日子流形之间的全纯带子与全纯球面关联，从而利用已知的球面模空间结果。
• 在 $E_2$ 页上应用谱序列方法，从低能量模空间的微分数据推导出完整的弗洛尔上同调。
• 建立实拉格朗日子流形是无阻碍的，且其弗洛尔上同调在哈密顿同伦下不变，支持其在同调镜像对称中的作用。

提出的方法

• 使用多边形指标公式显式计算全纯盘与带子的马斯洛夫指标，这对弗洛尔复形的分次至关重要。
• 在实拉格朗日子流形的背景下，构建障碍丛的公式，以控制弗洛尔复形的无阻碍性。
• 利用共轭与反射技术，将实拉格朗日子流形之间的全纯带子映射为全纯球面，借助实结构关联模空间。
• 应用库兰希理论在全纯带子与盘的模空间上构造库兰希结构，实现紧化并构建虚拟基本类。
• 利用弗洛尔上同调的谱序列，表明对 $E_2$ 页微分的了解（源自低能量模空间）通常足以计算完整的上同调。
• 在库兰希空间中使用多重截面与虚拟基本链，处理正交性问题，并定义模空间的虚拟维数。

实验结果

研究问题

• RQ1 在费马五次三复叠中，实拉格朗日子流形对之间的弗洛尔上同调是什么，特别是当它们的交为 $\mathbb{RP}^3$、$\mathbb{RP}^2$、$\mathbb{RP}^1$ 或 $\mathbb{RP}^0$ 时？
• RQ2 在实拉格朗日子流形存在的情况下，如何计算全纯盘与带子的马斯洛夫指标，这与弗洛尔复形的分次有何关联？
• RQ3 是否能通过几何反射构造系统地将实拉格朗日子流形之间的全纯带子与全纯球面关联？这种方法是否允许转移模空间信息？
• RQ4 实结构在多大程度上使得障碍丛的计算与弗洛尔复形的无阻碍性成为可能？
• RQ5 在何种情况下，谱序列的 $E_2$ 页微分足以完全确定弗洛尔上同调？何时需要额外的扰动或更高页的数据？

主要发现

• 在625对实拉格朗日子流形中，有624对的弗洛尔上同调被完全计算，仅少数情况因技术障碍仍为开放问题。
• 实拉格朗日子流形是无阻碍的，意味着弗洛尔复形是良定义的，且微分 $m_1$ 行为良好，这一结果得益于实结构与所开发的障碍丛公式。
• 全纯盘与带子的马斯洛夫指标通过多边形指标公式计算，这对弗洛尔复形的分次至关重要，并确保与 $A_\infty$-结构的一致性。
• 提出一种新颖的反射构造，将实拉格朗日子流形之间的全纯带子映射为全纯球面，从而可利用已知的球面模空间结果来分析带子模空间。
• 在大多数情况下，弗洛尔上同调的谱序列在 $E_2$ 页崩溃，且该页的微分完全由低能量模空间的显式描述所决定。
• 通过多重截面与库兰希结构构建了全纯带子模空间的虚拟基本类，利用定向数据与群作用分配重数，确保了虚拟维数的良定义。