[论文解读] Arithmetic mirror symmetry for the 2-torus

Yankı Lekili, Timothy Perutz|arXiv (Cornell University)|Nov 20, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 55被引用 25

一句话总结

本文通过构建穿孔环面的相对 Fukaya 类别与 $\mathbb{Z}[[q]]$ 上 Tate 曲线的完美复形类别的导出等价性，建立了 2-环面的算术化同调镜像对称。证明了穿孔环面的卷曲 Fukaya 类别在 $\mathbb{Z}$ 上导出等价于 Tate 曲线中心纤维上的凝聚层类别，首次在该背景下实现了详细算术几何化的镜像对称。

ABSTRACT

This paper explores a refinement of homological mirror symmetry which relates exact symplectic topology to arithmetic algebraic geometry. We establish a derived equivalence of the Fukaya category of the 2-torus, relative to a basepoint, with the category of perfect complexes of coherent sheaves on the Tate curve over the "formal disc" Spec Z[[q]]. It specializes to a derived equivalence, over Z, of the Fukaya category of the punctured torus with perfect complexes on the curve y^2+xy=x^3 over Spec Z, the central fibre of the Tate curve; and, over the "punctured disc" Spec Z((q)), to an integral refinement of the known statement of homological mirror symmetry for the 2-torus. We also prove that the wrapped Fukaya category of the punctured torus is derived-equivalent over Z to bounded complexes of coherent sheaves on the central fiber of the Tate curve.

研究动机与目标

• 建立穿孔 2-环面的相对 Fukaya 类别与 $\mathbb{Z}[[q]]$ 上 Tate 曲线的完美复形类别之间的导出等价性。
• 通过融入算术代数几何（特别是 $\mathbb{Z}$ 上的结构）而非 $\mathbb{C}$ 上的结构，对同调镜像对称进行精炼。
• 证明穿孔环面的卷曲 Fukaya 类别在 $\mathbb{Z}$ 上导出等价于 Tate 曲线中心纤维上的凝聚层类别。
• 通过在生成子代数上的 $A_\infty$-结构分类，将 2-环面的镜像识别为 $\mathbb{Z}[[q]]$ 上的 Weierstrass 三次曲线。
• 通过 theta 函数和三角形中的格点计数，将穿孔环面的辛拓扑与算术几何时空联系起来。

提出的方法

• 作者定义了一个 $\mathbb{Z}[[q]]$-线性 $A_\infty$-函子 $\psi$，从相对 Fukaya 类别 $\EuF(T,z)$ 到 Tate 曲线上的扭曲复形的 dg 类别 $\EuT$。
• 他们识别出 $\EuF(T,z)$ 中一个全的、分裂生成的子类别 $\EuA$，由两个精确 Lagrangian $L_0^\#$ 和 $L_\infty^\#$ 张成，该子类别在拟等价意义下生成整个 Fukaya 类别。
• 通过分类生成子代数 $\EuA$ 上的 $A_\infty$-结构来构建镜像，证明 Weierstrass 三次曲线恰好参数化了这些结构。
• 通过将 Floer 上同调群 $HF^0(L_0^\#, L_{(1,-3n)}^\#)$ 的典范基与 Tate 曲线上线丛 $\EuO(3n\sigma)$ 的截面匹配，建立环同构。
• 该构造利用了镜像的齐次坐标环与 Tate 曲线上 theta 函数环之间的典范同构，后者与三角形中的格点计数相关联。
• 证明依赖于生成子代数上 $A_\infty$-结构的唯一性，并表明镜像函子在拟等价与镜像曲线自同构意义下唯一确定。

实验结果

研究问题

• RQ1 如何将同调镜像对称精炼为包含 $\mathbb{Z}$ 上算术代数几何的结构，而非仅限于 $\mathbb{C}$？
• RQ2 在 $\mathbb{Z}[[q]]$ 上，穿孔 2-环面的精确积分镜像是什么，以凝聚层类别表示？
• RQ3 穿孔环面的卷曲 Fukaya 类别能否在 $\mathbb{Z}$ 上导出等价于某个 $\mathbb{Z}$ 上概形上的凝聚层类别？
• RQ4 Tate 曲线上的 theta 函数如何与 Floer 上同调等辛不变量及格点计数相关联？
• RQ5 2-环面的镜像是否由 Fukaya 类别中生成子范畴上的 $A_\infty$-结构唯一确定？

主要发现

• 在 $\mathbb{Z}[[q]]$ 上，相对 Fukaya 类别 $\EuF(T,z)$ 导出等价于 $\mathbb{Z}[[q]]$ 上 Tate 曲线 $\EuT$ 的完美复形类别的 dg 类别。
• 在 $\mathbb{Z}$ 上，穿孔环面的 Fukaya 类别导出等价于 $\mathbb{Z}$ 上的 Weierstrass 三次曲线 $y^2 + xy = x^3$ 的完美复形类别，即 Tate 曲线的中心纤维。
• 穿孔环面的卷曲 Fukaya 类别在 $\mathbb{Z}$ 上导出等价于 Tate 曲线中心纤维上的凝聚层类别。
• 镜像由 Fukaya 类别生成子代数上的 $A_\infty$-结构唯一确定，Weierstrass 三次曲线是唯一实现该结构的曲线。
• Floer 上同调与镜像上线丛截面之间的典范环同构由 $HF^0$ 与 $H^0(\EuO(3n\sigma))$ 的典范基匹配诱导，且该对应关系在乘法下保持不变。
• 镜像函子 $\psi$ 在拟等价与镜像曲线自同构意义下唯一确定，且当保持 Weierstrass 数据 $(\sigma, \omega)$ 时，该自同构为平凡。