[论文解读] Lagrangian Floer potential of orbifold spheres

Cheol‐Hyun Cho, Hansol Hong+2 more|arXiv (Cornell University)|Mar 5, 2014

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

一句话总结

本文提出了一种组合算法，用于计算具有三个轨道点的轨道球面 $\mathbb{P}^1_{a,b,c}$ 的开 Gromov-Witten 拉格朗日势（量子修正 Landau-Ginzburg 镜像），证明了其在原点处的收敛性与孤立奇点。该工作首次对一般型轨道球面（$\frac{1}{a}+\frac{1}{b}+\frac{1}{c}<1$）完整计算了势函数，为椭圆曲线商的枚举镜像映射提供了支持，并验证了同调镜像对称性。

ABSTRACT

For each sphere with three orbifold points, we construct an algorithm to compute the open Gromov-Witten potential, which serves as the quantum-corrected Landau-Ginzburg mirror and is an infinite series in general. This gives the first class of general-type geometries whose full potentials can be computed. As a consequence we obtain an enumerative meaning of mirror maps for elliptic curve quotients. Furthermore, we prove that the open Gromov-Witten potential is convergent, even in the general-type cases, and has an isolated singularity at the origin, which is an important ingredient of proving homological mirror symmetry.

研究动机与目标

• 计算轨道球面 $\mathbb{P}^1_{a,b,c}$（其中 $a,b,c \geq 2$）的完整开 Gromov-Witten 势，尤其关注 $\frac{1}{a}+\frac{1}{b}+\frac{1}{c}<1$ 的一般型情形。
• 建立一种组合算法，用于计数由 Seidel 拉格朗日子流形所围的全纯多边形，从而实现对量子修正超势的显式计算。
• 为椭圆曲线商的镜像映射提供枚举解释，通过将其与全纯多边形的计数相联系。
• 证明开 Gromov-Witten 势在一般型情形下收敛且在原点处具有孤立奇点，这是同调镜像对称性成立的关键条件。

提出的方法

• 通过空间形式（球面、平面、双曲）的镶嵌结构，对 $\mathbb{P}^1_{a,b,c}$ 的万有覆盖中全纯多边形进行组合分类。
• 引入 $(a,b,c)$-图以编码全纯多边形的边界词，并将其与势函数中的单项式项相关联。
• 应用组合 Gauss-Bonnet 公式，约束可能对势函数有贡献的多边形类型。
• 利用初等变换关联不同多边形构型，确保计数算法的完备性。
• 通过利用 $W_z = 0$ 消去 $z$，将势函数约化为双变量幂级数，从而便于对雅可比理想进行分析。
• 应用 Weierstrass 酝酿定理与雅可比环中的单位分析，证明原点处的孤立奇点。

实验结果

研究问题

• RQ1 能否对满足 $\frac{1}{a}+\frac{1}{b}+\frac{1}{c}<1$ 的一般型轨道球面 $\mathbb{P}^1_{a,b,c}$ 完整计算开 Gromov-Witten 势？
• RQ2 椭圆曲线商（如 $E/\mathbb{Z}_3$、$E/\mathbb{Z}_4$ 和 $E/\mathbb{Z}_6$）的镜像映射具有何种枚举意义？
• RQ3 在一般型情形下，开 Gromov-Witten 势是否收敛且在原点处具有孤立奇点？
• RQ4 如何系统地对由 Seidel 拉格朗日子流形所围的全纯多边形进行分类与计数，以重构超势函数？

主要发现

• 对 $(2,4,4)$ 与 $(2,3,6)$ 的情形，显式计算了 $\mathbb{P}^1_{a,b,c}$ 的开 Gromov-Witten 势，结果与逆镜像映射一致。
• 尽管该势函数为无穷级数，但在一般型情形（$\frac{1}{a}+\frac{1}{b}+\frac{1}{c}<1$）下被证明为收敛幂级数。
• 该势函数在原点处具有孤立奇点，这是通过雅可比环同构实现同调镜像对称性的必要条件。
• 当 $(a,b,c)=(3,3,3)$ 时，证明势函数仅为三角形项之和，显式计算确认了其结构。
• 在双曲情形 $(a,b,2)$（其中 $b\geq a\geq 4$）下，通过 Weierstrass 酝酿定理与雅可比理想中的单位分析，证明了势函数具有孤立奇点。
• 该计算建立了开 Gromov-Witten 不变量（多边形计数）与镜像映射之间的直接联系，为椭圆曲线商中的镜像映射赋予了枚举意义。