[论文解读] Mirror symmetry for log Calabi-Yau surfaces I

Mark Gross, Paul Hacking+1 more|arXiv (Cornell University)|Jun 24, 2011

Algebraic Geometry and Number Theory参考文献 57被引用 16

一句话总结

本文通过使用与 $D$ 在单一点相交的有理曲线的 Gromov-Witten 不变量，以合成代数构造方法，为对数 Calabi-Yau 曲面 $(Y,D)$ 构造了一个典范镜像族，其中 $D$ 是有理曲线的反 canonical 圈。镜像被实现为 $n$-顶点 $V_n \subset \mathbb{A}^n$ 的形式光滑化，其上定义了由曲线计数给出的 theta 函数向量空间上的代数结构，从而在 $Y$ 的有效锥的完成上得到一个平坦的 $T^D$-等变族。关键结果是，该镜像构造在与 Gross-Siebert 程序和热带几何兼容的意义下是典范且内在的。

ABSTRACT

We give a canonical synthetic construction of the mirror family to a pair (Y,D) of a smooth projective surface with an anti-canonical cycle of rational curves, as the spectrum of an explicit algebra defined in terms of counts of rational curves on Y meeting D in a single point. In the case D is contractible, the family gives a smoothing of the dual cusp, and thus a proof of Looijenga's 1981 cusp conjecture.

研究动机与目标

• 为对数 Calabi-Yau 曲面 $(Y,D)$ 构造一个典范的、合成的镜像族，其中 $D$ 是有理曲线的圈。
• 利用计数与 $D$ 在单一点相交的相对 Gromov-Witten 不变量，定义 theta 函数向量空间上的代数结构。
• 将镜像实现为在 $Y$ 的有效锥的完成上平坦且 $T^D$-等变的族，从而光滑化 $n$-顶点奇点 $\mathbb{V}_n$。
• 在 Gross-Siebert 轨迹附近建立镜像构造的一致性与光滑性，并将其延拓至边界 strata。
• 证明与 $(Y,D)$ 关联的对偶尖点奇点是可光滑化的，从而在对数 Calabi-Yau 设置下确认了 Looijenga 的猜想。

提出的方法

• 将镜像构造为 $R_I = R/I$ 上的有限生成代数 $A_I$ 的谱，其中 $R = \Bbbk[P]$，$P$ 是与有效锥 $\operatorname{NE}(Y)$ 关联的半群。
• 通过计数在 $Y$ 中与 $D$ 恰好在一点横截相交的有理曲线的相对 Gromov-Witten 不变量，定义 $A_I = \bigoplus_{q \in B(\mathbb{Z})} R_I \cdot \vartheta_q$ 上的代数结构。
• 利用 $(Y,D)$ 的热带化 $B$ 上的散射图定义断裂线，并确保代数结构的一致性。
• 通过同态 $T^D \to \operatorname{Spec} \Bbbk[P^{\text{gp}}]$ 赋予 $\operatorname{Spec} A_I$ 一个 $T^D$-作用，从而诱导出一个平坦的、$T^D$-等变的映射 $f: X_I \to \operatorname{Spec} R_I$。
• 对所有满足 $\sqrt{I} = \mathfrak{m}$ 的单项理想 $I$ 取逆极限，得到一个形式族 $\mathfrak{f}: \mathfrak{X}_{\mathfrak{m}} \to \mathfrak{S}_{\mathfrak{m}} = \operatorname{Spf} \widehat{R}$，该族是 $\mathbb{V}_n$ 的形式光滑化。
• 通过构造由镜像构造诱导的映射的核的有限型形变，证明对偶尖点奇点的可光滑性。

实验结果

研究问题

• RQ1 能否仅使用内在几何数据，为对数 Calabi-Yau 曲面 $(Y,D)$（其中 $D$ 是有理曲线的圈）构造一个典范的镜像族？
• RQ2 如何利用与 $D$ 在单一点相交的有理曲线的 Gromov-Witten 不变量，来定义 theta 函数空间上的典范代数结构？
• RQ3 该镜像构造是否自然地具有 $T^D$-等变性，并在有效锥的完成上平坦？
• RQ4 该镜像族是否提供了对 $n$-顶点奇点 $\mathbb{V}_n$ 的形式光滑化？
• RQ5 与 $(Y,D)$ 关联的对偶尖点奇点是否如 Looijenga 猜想所预测的那样是可光滑化的？

主要发现

• 镜像族被构造为一个平坦的、$T^D$-等变的形式族 $\mathfrak{f}: \mathfrak{X}_{\mathfrak{m}} \to \mathfrak{S}_{\mathfrak{m}}$，其一般纤维光滑，特殊纤维同构于 $n$-顶点 $\mathbb{V}_n \subset \mathbb{A}^n$。
• 代数结构 $A_I$ 通过计数在 $Y$ 中与 $D$ 横截相交于单一点的有理曲线的相对 Gromov-Witten 不变量来定义，从而确保散射图的一致性。
• theta 函数 $\vartheta_q$ 构成代数 $A_I$ 的典范基，将经典阿贝尔簇上的 theta 函数推广到对数 Calabi-Yau 设置。
• 该构造是内在且合成的，仅依赖于 $(Y,D)$ 的 Gromov-Witten 理论，无需辅助选择或 toric 模型。
• 与 $(Y,D)$ 关联的对偶尖点奇点是可光滑化的，通过构造一个特殊纤维在解析上同构于镜像族奇异纤维的有限型形变得以证明。
• 镜像构造可延拓至基空间的边界 strata，且镜像族的奇异集由代数结构诱导的映射的核控制，从而通过 Nakayama 引理实现光滑化。