[论文解读] Fiber products of elliptic surfaces with section and associated Kummer fibrations

Grzegorz Kapustka, Grzegorz Kapustka|ArXiv.org|Feb 26, 2008

Algebraic Geometry and Number Theory参考文献 13被引用 6

一句话总结

本文将 Schoen 关于通过小化解析纤维积的有截面有理椭圆曲面构造卡拉比–丘三复形的方法加以推广，系统分类了此类纤维积中可能出现的所有奇异纤维类型，并推导出其霍奇数的显式公式。此外，研究了通过商去这些纤维积得到的凯默纤维丛，证明其为双八次曲面，从而可计算其霍奇数与形变不变量。关键成果包括霍奇数公式及通过分支 locus 的等奇性形变对形变空间的描述。

ABSTRACT

We investigate Calabi--Yau three folds which are small resolutions of fiber products of elliptic surfaces with section admitting reduced fibers. We start by the classification of all fibers that can appear on such varieties. Then, we find formulas to compute the Hodge numbers of obtained three folds in terms of the types of singular fibers of the elliptic surfaces. Next we study Kummer fibrations associated to these fiber products.

研究动机与目标

• 分类在所有纤维均为约化的前提下，两个具有截面的有理椭圆曲面的纤维积中可能出现的所有奇异纤维类型。
• 根据输入曲面的奇异纤维类型，推导出所得卡拉比–丘三复形的霍奇数的显式公式。
• 研究通过商去此类纤维积并取适当对合构造的凯默纤维丛，并分析其几何与形变理论性质。
• 通过分支 locus 的等奇性形变（特别是当分支 locus 为 ℙ³ 中两个四次锥面之和时）描述这些凯默纤维丛的形变空间。
• 将构造推广至非代数情形，并计算欧拉示性数、Picard 群秩等不变量。

提出的方法

• 通过分析奇异纤维积所产生的奇点的局部方程，对两个具有截面的有理椭圆曲面的纤维积中所有可能的纤维类型进行分类。
• 利用邻接公式及局部奇点分析（如 A_n、D_4 奇点），确定哪些奇点允许小化解析。
• 通过取纤维积关于合适对合的商并解析其奇点，构造凯默纤维丛。
• 将三复形表示为 ℙ³ 上沿两个四次锥面之和的分支的迭代覆盖，从而可应用双覆盖的已知结果。
• 应用形变理论于分支 locus（两个四次锥面之和）的等奇性形变，证明此类形变诱导纤维积的等奇性形变，并保持纤维配置不变。
• 利用 [7] 的结果及加权射影空间的几何性质，分析形变空间并计算霍奇数，尤其在涉及五重点或非标准构型的情形下。

实验结果

研究问题

• RQ1 当两个具有截面的有理椭圆曲面的所有纤维均为约化时，其纤维积中可能出现哪些奇异纤维类型？
• RQ2 如何根据输入曲面上奇异纤维的类型，计算此类纤维积的小化解析的霍奇数？
• RQ3 作为这些纤维积的小化解析的卡拉比–丘三复形的形变具有何种几何解释？
• RQ4 与这些纤维积相关的凯默纤维丛如何与双八次曲面族关联？从该描述可计算出哪些不变量？
• RQ5 分支 locus（两个四次锥面之和）的等奇性形变在多大程度上对应于纤维积及其凯默纤维丛的等奇性形变？

主要发现

• 两个具有截面的有理椭圆曲面的纤维积 $X = S_1 \times_{\mathbb{P}^1} S_2$ 允许小化解析，当且仅当所有纤维分量均为类型 $F \times I_0$、$I_n \times I_m$、$III \times I_n$、$III \times III$、$IV \times I_n$ 或 $II \times II$，而其他组合（如 $I_n \times II$）因产生非小化解析的奇点而失败。
• 小化解析 $\hat{X}$ 的霍奇数可显式表示为 $S_1$ 与 $S_2$ 上奇异纤维构型的函数，具体例子表明：当仅含 $I_1$ 与 $I_0$ 纤维时，$\chi(\hat{X}) = 0$，$h^{1,2}(\hat{X}) = 19$，$h^{1,1}(\hat{X}) = 19$。
• 通过取纤维积关于对合的商并解析奇点得到的凯默纤维丛 $\hat{Y}$，其不变量为：$\chi(\hat{Y}) = -96$，$h^{1,2}(\hat{Y}) = 52$，$h^{1,1}(\hat{Y}) = 4$，当分支 locus 为两个一般四次锥面时。
• 分支 locus $D = Q_1 + Q_2$（两个四次锥面之和）的等奇性形变，恰好对应于纤维积 $\hat{X}$ 的等奇性形变，且保持双直线与切线直线的关联关系。
• 凯默纤维丛的形变空间通过锥面的等奇性形变得以描述，该方法可推广至含五重点的情形，尽管此时解析过程更为复杂。
• 凯默纤维丛的 Picard 群秩可由欧拉示性数与霍奇数计算得出，从而为后续算术与模形式研究提供可能。