[论文解读] Gluing Localized Mirror Functors

Cheol‐Hyun Cho, Hansol Hong+1 more|arXiv (Cornell University)|Oct 4, 2018

Geometric and Algebraic Topology参考文献 8被引用 11

一句话总结

本文提出一种方法，将处于同一形变类中的浸入拉格朗日子流形所构造的局部镜像函子及其关联的朗道-金兹堡镜像进行粘合，从而得到全局镜像几何与一个典范的 $A_\infty$-函子。该构造具有几何上的系统性，纳入了全局伪全纯曲线，并通过导出层面上的等价性，建立了穿孔黎曼曲面的同调镜像对称性。

ABSTRACT

We develop a method of gluing the local mirrors and functors constructed from immersed Lagrangians in the same deformation class. As a result, we obtain a global mirror geometry and a canonical mirror functor. We apply the method to construct the mirrors of punctured Riemann surfaces and show that our functor derives homological mirror symmetry.

研究动机与目标

• 开发一种系统化的方法，将来自同一形变类中拉格朗日子流形的局部镜像与局部化镜像函子进行粘合。
• 从这些局部数据出发，构造一个全局镜像朗道-金兹堡模型与一个典范的 $A_\infty$-函子，而无需对全局弗克亚类别进行分解。
• 将不包含于任何局部部分的全局伪全纯曲线的量子修正自然地纳入粘合过程，从而绕过传统局部到全局同调镜像对称方法中的一个关键难题。
• 通过证明全局镜像函子在导出层面上是等价的，建立穿孔黎曼曲面的同调镜像对称性。

提出的方法

• 以一组处于同一形变类中的浸入拉格朗日子流形 $\{L_i\}$ 作为初始数据，每个 $L_i$ 给出一个局部镜像 $W_i: U_i \to \Lambda$ 和一个局部化镜像函子 $\mathcal{F}^{L_i}$。
• 应用统一的粘合准则，同时将局部镜像空间 $U_i$ 粘合成一个全局非仿射镜像空间 $Y$，并将局部势函数 $W_i$ 粘合成一个全局势函数 $W: Y \to \Lambda$。
• 将全局镜像函子 $\mathcal{F}^{\mathrm{global}}: \mathrm{Fuk}(X) \to \mathrm{MF}(W)$ 显式构造为各个 $\mathrm{MF}(W_i)$ 的同伦纤维积，确保其与 $A_\infty$-结构相容。
• 采用预-自然变换及其 $A_\infty$-同态，通过微分 $M_1$ 与复合 $M_2$ 的显式公式，定义并组合函子之间的自然变换。
• 利用福卡亚的 $A_\infty$-范畴形式化中的度数平移符号约定与相容性条件，确保粘合过程的一致性。
• 将该构造应用于具有两眼分解的穿孔黎曼曲面，通过显式计算验证函子在导出层面上是等价的。

实验结果

研究问题

• RQ1 当底层拉格朗日子流形处于同一形变类时，如何系统地粘合局部化镜像函子及其关联的镜像几何？
• RQ2 是否能从局部镜像中构造出全局镜像朗道-金兹堡模型，而无需对全局弗克亚类别进行分解？
• RQ3 如何将不包含于任何局部部分的全局伪全纯曲线自然地纳入粘合过程，从而避免局部范畴分解的局限性？
• RQ4 所得到的全局镜像函子是否在导出范畴上诱导出等价性，从而为穿孔黎曼曲面建立同调镜像对称性？
• RQ5 哪些代数与几何条件能确保势函数 $W$ 与 $A_\infty$-函子的粘合过程同时保持相容性？

主要发现

• 本文通过单一统一的粘合准则，将局部镜像空间 $U_i$ 与局部势函数 $W_i$ 粘合，构造出全局镜像几何 $Y$ 与全局势函数 $W: Y \to \Lambda$。
• 全局镜像函子 $\mathcal{F}^{\mathrm{global}}: \mathrm{Fuk}(X) \to \mathrm{MF}(W)$ 显式构造为各个 $\mathrm{MF}(W_i)$ 的同伦纤维积，保持了 $A_\infty$-结构。
• 该构造自动纳入了不包含于任何局部部分的全局伪全纯曲线的量子修正，避免了传统局部到全局方法中的主要障碍。
• 对于具有两眼分解的穿孔黎曼曲面，证明了全局镜像函子在导出层面上是等价的，从而确立了同调镜像对称性。
• 粘合过程完全是代数化的，在一般情形下均适用，且通过预-自然变换的微分 $M_1$ 与复合 $M_2$ 的显式公式，确保了 $A_\infty$-函子结构的一致性。
• 恒等自然变换通过 $N_{\mathrm{id}}(C) = \mathbf{1}_{\mathcal{F}(C)}$ 定义，其度数为 $||N_{\mathrm{id}}||' = -1$，确保微分中的相消与复合的一致性。