[论文解读] Mirror Symmetry for Calabi-Yau complete intersections in Fano toric varieties

Anvar R. Mavlyutov|arXiv (Cornell University)|Mar 10, 2011

Algebraic Geometry and Number Theory参考文献 8被引用 4

一句话总结

本文通过引入 ${\mathbb{Q}}$-反射多面体和 ${\mathbb{Q}}$-无负性划分，将 Batyrev-Borisov 镜像对称推广至法诺环簇中的卡拉比-丘完全交，将对偶性扩展至具有典型奇点的有理多面体。关键结果是关于弦 Hodge 数的镜像对称猜想：$h^{p,q}_{\rm st}(Y_{\Delta}) = h^{d-r-p,q}_{\rm st}(Y_{\nabla})$，该猜想对由对偶 ${\mathbb{Q}}$-无负性划分定义的通用卡拉比-丘完全交成立。

ABSTRACT

Generalizing the notions of reflexive polytopes and nef-partitions of Batyrev and Borisov, we propose a mirror symmetry construction for Calabi-Yau complete intersections in Fano toric varieties.

研究动机与目标

• 将 Batyrev-Borisov 镜像对称构造从卡拉比-丘超曲面推广至法诺环簇中的完全交。
• 通过引入 ${\mathbb{Q}}$-反射多面体和 ${\mathbb{Q}}$-无负性划分，将反射多面体和无负性划分推广至具有典型奇点的有理多面体。
• 定义 ${\mathbb{Q}}$-无负性划分之间的对偶性，以镜像反映相关卡拉比-丘完全交的 Hodge 数。
• 通过 ${\mathbb{Q}}$-无负性划分和几乎反射的 Gorenstein 锥，建立在典型奇点存在情况下的镜像对称框架。
• 猜想镜像对称对应关系可延伸至 $N=2$ 超共形场论，通过几乎反射的 Gorenstein 锥对偶性实现。

提出的方法

• 引入 ${\mathbb{Q}}$-反射多面体作为有理多面体 $\Delta$，满足 $({\rm Conv}(\Delta \cap \mathbb{Z}^d))^* \cap \mathbb{Z}^d = \Delta^*$，确保在双重极性运算下保持对偶性。
• 定义 ${\mathbb{Q}}$-无负性划分为 Minkowski 和分解 $\Delta = \Delta_1 + \cdots + \Delta_r$，其中 $0 \in \Delta_i$，且格点凸包满足 ${{\rm Conv}}(\Delta_i \cap \mathbb{Z}^d)$-可加性。
• 通过条件 $\langle \Delta_i \cap \mathbb{Z}^d, \nabla_j \rangle \geq -\delta_{ij}$ 对所有 $i,j$ 构造对偶的 ${\mathbb{Q}}$-无负性划分 $\nabla = \nabla_1 + \cdots + \nabla_r$。
• 将法诺环簇 $X_\Delta$ 表示为 ${\rm Proj}(\mathbb{C}[K \cap (M \oplus \mathbb{Z})])$，其中 $K$ 是 $\Delta \times \{1\}$ 上的锥，从而实现齐次坐标的标准环描述。
• 通过 Cox 坐标与 $\Delta^*$ 的顶点配对，定义卡拉比-丘完全交 $Y_{\Delta_1,\dots,\Delta_r} \subset X_\Delta$，其中系数 $a_{i,m}$ 为通用系数。
• 提出一个镜像对称猜想，将对偶 ${\mathbb{Q}}$-无负性划分的弦 Hodge 数联系起来：$h^{p,q}_{\rm st}(Y_{\Delta}) = h^{d-r-p,q}_{\rm st}(Y_{\nabla})$。

实验结果

研究问题

• RQ1 Batyrev-Borisov 镜像对称构造能否从卡拉比-丘超曲面推广至法诺环簇中的完全交？
• RQ2 对于具有典型奇点的有理多面体，反射多面体和无负性划分的适当推广是什么？
• RQ3 ${\mathbb{Q}}$-无负性划分的对偶性是否诱导出镜像对称，从而如拓扑检验所预测的那样交换弦 Hodge 数？
• RQ4 当卡拉比-丘完全交不由满足 $0 \in \Delta_i$ 的 ${\mathbb{Q}}$-无负性划分定义时，镜像对称对应关系如何表现？
• RQ5 几乎反射的 Gorenstein 锥对偶性是否具有场论解释，对应于 $N=2$ 超共形场论？

主要发现

• ${\mathbb{Q}}$-反射多面体的构造在比反射多面体更广的有理多面体类上提供了对偶性对合，包括具有典型奇点的多面体。
• 对偶的 ${\mathbb{Q}}$-无负性划分 $\nabla = \nabla_1 + \cdots + \nabla_r$ 存在且由条件 $\langle \Delta_i \cap \mathbb{Z}^d, \nabla_j \rangle \geq -\delta_{ij}$ 唯一确定，推广了 Borisov 对偶性。
• 与 ${\mathbb{Q}}$-反射多面体 $\Delta$ 关联的法诺环簇 $X_\Delta$ 具有至多典型奇点，扩展了 Gorenstein 法诺条件。
• 所提出的镜像对称猜想预测了 Hodge 数对偶性：$h^{p,q}_{\rm st}(Y_{\Delta_1,\dots,\Delta_r}) = h^{d-r-p,q}_{\rm st}(Y_{\nabla_1,\dots,\nabla_r})$，对所有 $0 \leq p,q \leq d-r$ 成立，推广了 Batyrev-Borisov 的结果。
• 几乎反射的 Gorenstein 锥 $\sigma \mapsto \sigma^\bullet$ 的对偶性被猜想对应于广义卡拉比-丘流形相关 $N=2$ 超共形场论的镜像对称。
• 对于非 ${\mathbb{Q}}$-无负性划分，通过 Cayley 锥 ${\cal C}_{\Delta_1,\dots,\Delta_r}$ 的对偶构造镜像，将对偶性推广至非标准情形。