[论文解读] Localized mirror functor for Lagrangian immersions, and homological mirror symmetry for P^1_{a,b,c}

Cheol‐Hyun Cho, Hansol Hong+1 more|arXiv (Cornell University)|Aug 21, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 45被引用 9

一句话总结

本文提出了一种基于拉格朗日子浸入的广义SYZ构造，用于推导Landau-Ginzburg镜像，并在分裂生成与上同调同构性假设下，为轨道化黎曼曲面 $\mathbb{P}^1_{a,b,c}$ 和费马超曲面建立同调镜像对称。通过利用浸入拉格朗日弗洛尔理论与形变理论，作者构造了一个从Fukaya范畴到超势能 $W$ 的矩阵因子范畴的典范 $A_\infty$-函子，证明了同调镜像对称性。

ABSTRACT

This paper gives a new way of constructing Landau-Ginzburg mirrors using deformation theory of Lagrangian immersions motivated by the works of Seidel, Strominger-Yau-Zaslow and Fukaya-Oh-Ohta-Ono. Moreover we construct a canonical functor from the Fukaya category to the mirror category of matrix factorizations. This functor derives homological mirror symmetry under some explicit assumptions. As an application, the construction is applied to spheres with three orbifold points to produce their quantum-corrected mirrors and derive homological mirror symmetry. Furthermore we discover an enumerative meaning of the (inverse) mirror map for elliptic curve quotients.

研究动机与目标

• 通过用紧致浸入拉格朗日子流形替代拉格朗日环状纤维丛，推广SYZ程序，以更直接地构造镜像。
• 在Fukaya范畴与矩阵因子化范畴之间建立函子性桥梁，实现同调镜像对称。
• 通过 $J$-全纯多边形计数，为镜像映射提供几何与枚举解释。
• 验证广义SYZ构造在平坦坐标下产生镜像，与Gross-Siebert的预测一致。
• 将该框架推广至高维费马超曲面，并猜想弗洛尔上链上存在新的楔积结构。

提出的方法

• 通过浸入拉格朗日子流形 $\mathbb{L}$ 所界定的 $J$-全纯多边形计数，构造Landau-Ginzburg超势能 $W$ 为拉格朗日弗洛尔势能。
• 定义典范 $A_\infty$-函子 $\mathcal{LM}^\mathbb{L}: \mathcal{Fuk}_\lambda(X) \to \mathcal{MF}(W - \lambda)$，将Fukaya范畴中的对象映射至矩阵因子化。
• 利用浸入拉格朗日子流形 $\mathbb{L}$ 的弱无阻碍形变，定义镜像超势能，并确保函子的良定义性。
• 在 $\mathbb{C}\mathbb{P}^1$ 上应用反辛对合，证明形变周期的弱无阻碍性，并配对全纯圆盘。
• 在弗洛尔上链上引入新的外代数结构 $\wedge^{\text{new}}$，以“楔积收缩”形式表达矩阵因子化。
• 验证镜像函子诱导 $\mathcal{MF}(W)$ 的分裂生成，在上同调同构条件下实现导出等价。

实验结果

研究问题

• RQ1 SYZ程序能否推广至使用浸入拉格朗日子流形而非环状纤维丛，以更自然地构造镜像？
• RQ2 由浸入拉格朗日弗洛尔理论导出的局部化镜像函子，在合理的几何假设下是否能诱导同调镜像对称？
• RQ3 在此框架下，椭圆曲线商与费马超曲面的镜像映射具有何种枚举意义？
• RQ4 广义SYZ构造能否产生平坦坐标下的镜像，如Gross-Siebert程序所预测？
• RQ5 弗洛尔上链上是否存在新的代数结构，使得镜像矩阵因子化能分裂生成矩阵因子化范畴？

主要发现

• 作者构造了典范 $A_\infty$-函子 $\mathcal{LM}^\mathbb{L}: \mathcal{Fuk}_\lambda(X) \to \mathcal{MF}(W - \lambda)$，在Fukaya范畴与矩阵因子化之间建立了直接联系。
• 对于 $\mathbb{P}^1_{a,b,c}$，广义SYZ映射与镜像映射一致，且通过Maslov指标为二的多边形计数显式计算出镜像超势能 $W$。
• 在 $\mathbb{P}^1_{a,b,c}$ 中的Seidel拉格朗日子流形在 $\mathcal{LM}^\mathbb{L}$ 下被映射为可表示为“楔积收缩”形式的矩阵因子化，该形式可分裂生成 $\mathcal{MF}(W)$。
• 该构造验证了 $\mathbb{P}^1_{a,b,c}$ 的镜像超势能 $W$ 位于平坦坐标下，支持了广义SYZ产生平坦几何镜像的猜想。
• 对于费马超曲面，$W$ 的首项与Sheridan的计算结果一致，形式为 $W = q_\alpha x_1\cdots x_{n+2} + q_\beta \sum x_i^{n+2} + o(q_\alpha, q_\beta)$，且镜像映射与已知表达式一致。
• 作者猜想广义SYZ构造对所有费马超曲面均产生平坦坐标下的镜像，且 $CF(\bar{L}, \bar{L})$ 上新的 $\wedge^{\text{new}}$ 乘积结构可使镜像矩阵因子化分裂生成 $\mathcal{MF}(W)$。