[论文解读] Mirror Symmetry via Logarithmic Degeneration Data I

Mark Gross, Bernd Siebert|ArXiv.org|Sep 4, 2003

Geometric Analysis and Curvature Flows参考文献 14被引用 29

一句话总结

本文提出了一种基于对数退化数据的新镜像对称框架，通过卡拉比-丘流形的 торic 退化构造具有奇点的仿射流形形式的对偶相交复形。关键贡献在于通过离散 Legendre 变换建立对数复模空间与凯勒模空间之间的对偶性，从而在对数设定下建立起退化数据与镜像对称之间的基础联系。

ABSTRACT

This paper is the first arising from our project announced in math.AG/0211094, "Affine manifolds, log structures, and mirror symmetry." We aim to study mirror symmetry by studying the log structures of Illusie-Fontaine and Kato on degenerations of Calabi-Yau manifolds. The basic idea is that one can associate to certain sorts of degenerations of Calabi-Yau manifolds a log Calabi-Yau space, which is a log structure on the degenerate fibre. Then many statements about mirror symmetry which one hopes to be true for the general fibre should first be proved for this log CY space. In this paper we begin by discussing affine manifolds with singularities. Given such an affine manifold along with a polyhedral decomposition, we show how to construct a scheme consisting of a union of toric varieties. In certain non-degenerate cases, we can also construct log structures on these schemes. Conversely, given certain sorts of degenerations, one can build an affine manifold with singularities structure on the dual intersection complex of the degeneration. Mirror symmetry is then obtained as a discrete Legendre transform on these affine manifolds, thus providing an algebro-geometrization of the Strominger-Yau-Zaslow conjecture. The deepest result of this paper shows an isomorphism between log complex moduli of a log CY space and log Kahler moduli of its mirror.

研究动机与目标

• 基于卡拉比-丘流形极大单值退化中的剩余退化数据，建立镜像对称的新范式。
• 将对偶相交复形定义为具有奇点和多面体分解的仿射流形。
• 通过离散 Legendre 变换，将原始退化的复模空间与镜像的凯勒模空间联系起来。
• 将对数 Picard 群与凯勒模空间联系起来，验证所提框架的一致性。
• 通过 对数结构 奠定镜像对称全模理论理解的基石。

提出的方法

• 从 toric 退化的中心纤维 $\mathcal{X}_0$ 构造对偶相交复形 $B$，作为具有奇点的仿射流形，利用多面体分解和奇点处的扇形结构。
• 利用相对 ample 线丛 $\mathcal{L}$ 的极化性，定义 $B$ 上的凸多值分段线性函数 $\varphi$。
• 对 $B$ 和 $\varphi$ 应用离散 Legendre 变换，得到具有对偶函数 $\check{\varphi}$ 的对偶仿射流形 $\check{B}$，以表示镜像退化。
• 使用对数结构建模复模空间，表明对数 Picard 群捕捉到了正确的模空间。
• 通过层的重心分解计算上同调不变量，如 $H^1(X\setminus Z, \mathcal{M}_X^{\text{gp}})$。
• 引入归一化粘合数据与正对数结构的概念，以确保与 toric 几何和镜像对偶的一致性。

实验结果

研究问题

• RQ1 如何利用卡拉比-丘退化的剩余退化数据定义其镜像对偶？
• RQ2 在对数设定下，对偶相交复形的精确几何与组合结构是什么？
• RQ3 离散 Legendre 变换如何将退化的复模空间与镜像的凯勒模空间联系起来？
• RQ4 对数结构以何种方式在退化极限中编码正确的复模空间？
• RQ5 在 toric 退化背景下，对数 Picard 群与凯勒模空间之间有何关系？

主要发现

• 对偶相交复形 $B$ 作为具有奇点的仿射流形被构造出来，配备多面体分解 $\mathscr{P}$，捕捉了退化的组合与几何数据。
• 对 $B$ 与 $\varphi$ 进行离散 Legendre 变换，得到具有对偶凸函数 $\check{\varphi}$ 的对偶仿射流形 $\check{B}$，该结构可建模镜像退化。
• 对数 Picard 群 $H^1(X\setminus Z, \mathcal{M}_X^{\text{gp}})$ 同构于镜像的凯勒模空间，从而在模空间层面验证了对偶性。
• 通过顶点处的扇形结构与面上的仿射结构构造 $B$，该方法将经典对偶相交复形推广至对数设定。
• 该框架建立了对数复模空间与凯勒模空间之间的对偶性，为对数范畴中的镜像对称提供了基础联系。
• 在 $\mathbb{P}^3 \times \mathbb{A}^1$ 中，退化 $f_4 + t x_0x_1x_2x_3 = 0$ 的例子将 $B$ 实现为正四面体的边界，奇点位于棱的中点，具体展示了该构造。