[论文解读] Counting pseudo-holomorphic discs in Calabi-Yau 3 fold

Kenji Fukaya|ArXiv.org|Aug 2, 2009

Geometry and complex manifolds参考文献 13被引用 13

一句话总结

本文为一对 $(M,L)$ 构造了一个超势能不变量，其中 $M$ 是一个 6 维的 Calabi-Yau 3 簇，满足 $c^1(M) = 0$，$L \subset M$ 是一个 Maslov 指数为零的拉格朗日子流形。通过伪全纯盘与球面，定义了一个依赖于 $J$ 的超势能 $\Psi$，其临界点对应于边界上同调类，且证明了该超势能在临界点处的取值与扰动数据无关，当 $L$ 为有理同调球面时，由此得到一个仅依赖于 $M$、$L$ 和几乎复结构 $J$ 的数值不变量。

ABSTRACT

n this paper we define an invariant of a pair of 6 dimensional symplectic %optional manifold with vanishing 1st Chern class and its Lagrangian submanifold with vanishing Maslov index. This invariant is a function on the set of the path connected components of the bounding cochains (solution of A infinity version of Maurer-Cartan equation of the filtered A infinity algebra associated to the Lagrangian submanifold). In the case when the Lagrangian submanifold is a rational homology sphere, it becomes a numerical invariant. This invariant depends on the choice of almost complex structure. The way how it depends on the almost complex structure is described by a wall crossing formula which involves moduli space of pseudo-holomorphic spheres.

研究动机与目标

• 为一对 $(M,L)$ 构造一个新的不变量，其中 $M$ 是一个 6 维的 Calabi-Yau 3 簇，$L$ 是一个 Maslov 指数为零的特殊拉格朗日子流形。
• 通过伪全纯盘与球面的模空间构造一个超势能 $\Psi$，编码来自 $J$-全纯曲线的量子修正项。
• 建立超势能的临界点集与边界上同调类的规范等价类之间的对应关系，并证明其在这些点处的取值与扰动数据无关。
• 证明当 $L$ 为有理同调球面时，该不变量退化为仅依赖于 $M$、$L$ 和几乎复结构 $J$ 的数值不变量。
• 通过伪全纯球面的模空间研究 $J$-依赖性中的墙穿跃现象，并通过镜像对称关系将该构造与 Donaldson-Thomas 不变量联系起来。

提出的方法

• 为拉格朗日子流形 $L$ 构造一个循环过滤的 $A_\infty$ 代数 $\Lambda(L)$，其运算 $\mathfrak{m}_{k,\beta}^J$ 通过伪全纯盘的模空间 $\mathcal{M}_{k+1}(\beta;J)$（带有 $k+1$ 个标记点）定义。
• 将超势能 $\Psi(b;J)$ 定义为对 $k$-盘贡献项的求和，外加一个常数项 $\mathfrak{m}^{J}_{-1,\beta} = \#\mathcal{M}_0(\beta;J)$，用于计数无标记点的 $J$-全纯盘。
• 施加假设 1：不存在与 $L$ 相交的非平凡 $J$-全纯球面，以保证横截性并确保超势能的收敛性。
• 利用伪同伦理论与规范不变性，证明 $\Psi$ 的临界点与 $\mathcal{M}(L;J;\Lambda_+)$（即边界上同调类的规范等价类集合）之间存在双射。
• 将 $\Psi$ 的定义域扩展至形式幂级数环 $\Lambda_0\langle\!\langle y_1,\dots,y_{b_1}, y_1^{-1},\dots,y_{b_1}^{-1}\rangle\!\rangle$，以处理 $H^1(L;\mathbb{Z})$ 非平凡的情形。
• 通过分析 $\mathfrak{m}^{J}_{-1,\beta}$ 在几乎复结构空间中不同墙之间的变化，推导出 $J$-依赖性的墙穿跃公式。

实验结果

研究问题

• RQ1 如何利用伪全纯盘为满足 $c^1(M) = 0$ 且 $\mu_L = 0$ 的对 $(M,L)$ 构造一个依赖于 $J$ 的不变量？
• RQ2 超势能 $\Psi$ 对几乎复结构 $J$ 的依赖性如何？其在不同 $J$ 之间如何变化？
• RQ3 在何种条件下，超势能能给出一个数值不变量？这与 $L$ 的拓扑结构有何关系？
• RQ4 超势能能否扩展为 $y_i = e^{x_i}$ 的形式幂级数？其收敛性与代数结构如何？
• RQ5 该不变量与 Donaldson-Thomas 不变量之间是否存在镜像对应关系？拉格朗日子流形上的稳定性条件是否能进一步细化模空间？

主要发现

• 当限制在临界点集 $\mathcal{M}(L;J;\Lambda_+)$ 上时，超势能 $\Psi(b;J)$ 是良好定义的，且与扰动数据无关，该集合对应于边界上同调类的规范等价类。
• 当 $L$ 为有理同调球面时，$\mathcal{M}(L;J;\Lambda_+)$ 仅含一个点，因此 $\Psi$ 在该点的取值构成一个仅依赖于 $(M,L,J)$ 的数值不变量。
• $J$-依赖性由一个涉及 $J$-全纯球面模空间的墙穿跃公式控制，该公式解释了 $\mathfrak{m}_{-1,\beta}^J$ 计数的变化。
• 超势能 $\Psi$ 可扩展为 $y_i = e^{x_i}$ 的形式洛朗幂级数，其临界点由 $\nabla_y \Psi = 0$ 定义，推广了 Mauer-Cartan 方程。
• 该构造暗示了与 Donaldson-Thomas 不变量之间的镜像对应关系，其中拉格朗日对的模空间 $\mathfrak{Lag}(M)$ 表现为一个非分离的刚性解析堆栈，而超势能则扮演了全纯 Chern-Simons 泛函的角色。
• 当 $H^1(L;\mathbb{Q}) \neq 0$ 时，在特定边界条件下，墙穿跃现象可能消失，提示在高亏格情形下代数结构具有同伦不变性。