[论文解读] Degree 1 Curves in the Dwork Pencil and the Mirror Quintic

Anca Mustaţǎ|ArXiv.org|Nov 15, 2003

Algebraic Geometry and Number Theory参考文献 3被引用 7

一句话总结

本文对五次三复形的Dwork铅笔中直线的相对希尔伯特纲给出精确描述，将其识别为一个光滑不可约曲面 $\sigma$ 与 375 个同构于 $\mathbb{C}$ 的分量的并集，其中曲面 $\mathcal{S}$ 通过一个在六点处分支的双覆盖映射到 $\mathbb{P}^1$。主要贡献在于显式计算了希尔伯特纲的上同调类，以及 $\mathbb{P}^4$ 中所有此类直线扫过的三复形的度数为 250，解决了镜像对称与卡拉比-丘几何中的一个长期问题。

ABSTRACT

We give a description of the relative Hilbert scheme of lines in the Dwork pencil of quintic threefolds. We describe the corresponding relative Hilbert scheme associated to the mirror family of quintic threefolds.

研究动机与目标

• 精确描述镜像对称中的核心族——五次三复形的Dwork铅笔中直线的相对希尔伯特纲。
• 从格拉斯曼簇中参数化与基底支集相交的直线的完整交集中，分离出实际的希尔伯特纲。
• 计算希尔伯特纲在格拉斯曼簇 $G(2,5)$ 中的上同调类，并确定 $\mathbb{P}^4$ 中所有此类直线所扫过的三复形的度数。
• 通过群 $\hat{G}$ 的作用分析镜像族，并将紧化商 $\tilde{\mathcal{S}}/\hat{G}$ 描述为一个具有无穷远处稳定极限的有理曲面。

提出的方法

• 通过Dwork铅笔基底支集的结构，将相对希尔伯特纲 $\mathcal{H}$ 分解为 $\mathcal{S} \cup \bigcup_{i=1}^{375} Z_i$，其中 $\mathcal{S}$ 为光滑曲面，每个 $Z_i$ 同构于 $\mathbb{C}$。
• 通过其在格拉斯曼簇 $G(2,5)$ 的爆破 $\tilde{G}(2,5)$ 中的闭包 $\tilde{\mathcal{S}}$ 研究曲面 $\mathcal{S}$，该闭包存在一个到 $\mathbb{P}^3$ 中费马曲面的 30:1 有限态射。
• 使用施普伦格同调论在 $G(2,5)$ 中计算上同调类 $[\bar{\mathcal{S}}]$，得到 $[\bar{\mathcal{S}}] = 125 \cdot 3 \sigma_{22} + 125 \cdot 2 \sigma_{31} = 5^3 \cdot 3 \sigma_{22} + 5^3 \cdot 2 \sigma_{31}$。
• 通过投影公式计算所有直线所扫过的三复形 $V$ 的度数：$\deg(V) = \int_{F(1,2,5)} q^*[σ] \cdot H^3 = 250$，其中使用了 $q_*H^3 = \sigma_2$。
• 证明映射 $\varphi_i: \tilde{\mathcal{S}} \to B_i$ 到 $H_i = \{z_i = 0\}$ 中的费马曲面 $B_i$ 是 30 次有限态射，并在一般点与特殊点处显式计算纤维。
• 计算 $w = \infty$ 处的稳定极限 $\tilde{\mathcal{S}}_\infty / \hat{G}$，其为五条光滑有理曲线的并集，每条同构于 $\tilde{\mathcal{C}}^\xi / \hat{G}$，构成一个由 10 个横截相交点组成的亏格 0 的可约曲线。

实验结果

研究问题

• RQ1 五次三复形的Dwork铅笔中直线的相对希尔伯特纲的精确结构是什么？
• RQ2 如何从格拉斯曼簇中包含仅与基底支集部分相交的直线的更大完整交集中，分离出实际的希尔伯特纲？
• RQ3 希尔伯特纲在 $G(2,5)$ 中的上同调类是什么？$\mathbb{P}^4$ 中所有此类直线所扫过的三复形的度数是多少？
• RQ4 群 $\hat{G}$ 如何作用于希尔伯特纲？商 $\mathcal{S}/\hat{G}$ 及其紧化结构如何？
• RQ5 在无穷远处，族 $\mathcal{S}/\hat{G}$ 的稳定极限是什么？它与五次三复形的镜像几何有何关联？

主要发现

• Dwork铅笔中直线的相对希尔伯特纲 $\mathcal{H}$ 是一个光滑不可约曲面 $\mathcal{S}$ 与 375 个分量 $Z_i$ 的并集，每个同构于 $\mathbb{C}$，且 $\pi|_{\mathcal{S}}: \mathcal{S} \to \mathbb{C}$ 因子化为在 $t = 0$ 和 $\frac{2^7}{3}$ 的五次单位根处分支的双覆盖 $\beta: \bar{C}_2 \to \mathbb{P}^1$。
• 曲面 $\mathcal{S}$ 通过一个 30:1 有限态射映射到 $\mathbb{P}^3$ 中的费马曲面 $z_0^5 + z_1^5 + z_2^5 + z_3^5 = 0$，其在 $\tilde{G}(2,5) \times \mathbb{P}^1$ 中的闭包 $\tilde{\mathcal{S}}$ 是一个光滑射影曲面。
• 在 $G(2,5)$ 中，$\bar{\mathcal{S}}$ 的上同调类为 $[\bar{\mathcal{S}}] = 5^3 \cdot 3 \sigma_{22} + 5^3 \cdot 2 \sigma_{31}$，其在 $\mathbb{P}^9$ 中的度数为 $5^4 = 625$。
• 所有Dwork铅笔中直线所扫过的三复形 $V$ 的度数为 250，通过投影公式计算：$\deg(V) = \int_{F(1,2,5)} q^*[σ] \cdot H^3 = 250$。
• $\varphi_i: \tilde{\mathcal{S}} \to B_i$ 到 $H_i$ 中费马曲面的态射是 30 次有限态射，其在类型 $(1:-1:0:0:0)$ 和 $(1:\xi:\xi^2:0:0)$ 的点处具有特殊纤维，且在满足 $x_0^5 + x_1^5 + x_2^5 = 0$ 的点处分支。
• 在 $w = \infty$ 处的稳定极限 $\tilde{\mathcal{S}}_\infty / \hat{G}$ 是五条光滑有理曲线的并集，两两横截相交，构成一个具有 10 个交点的亏格 0 可约曲线。