[论文解读] On a class of non-simply connected Calabi-Yau threefolds

Vincent Bouchard, Ron Donagi|ArXiv.org|Apr 24, 2007

Black Holes and Theoretical Physics参考文献 11被引用 17

一句话总结

本文对通过有限交换群在纤维上自由作用而得到的、来自两个关于 ℙ¹ 的有理椭圆曲面的 Schoen 纤维积 Calabi-Yau 三复形的非单连通 Calabi-Yau 三复形家族进行了分类——这些三复形是 Schoen 的纤维积 Calabi-Yau 三复形的自由商。关键结果是对基本群同构于 ℤ₃×ℤ₃、ℤ₆、ℤ₂ 及其他有限交换群的此类商的完整分类，为具有现实粒子物理谱的异规弦紧化提供了新候选。

ABSTRACT

We obtain a detailed classification for a class of non-simply connected Calabi-Yau threefolds which are of potential interest for a wide range of problems in string phenomenology. These threefolds arise as quotients of Schoen's Calabi-Yau threefolds, which are fiber products over P1 of two rational elliptic surfaces. The quotient is by a freely acting finite abelian group preserving the fibrations. Our work involves a classification of restricted finite automorphism groups of rational elliptic surfaces.

研究动机与目标

• 对作为两个关于 ℙ¹ 的有理椭圆曲面的纤维积的 Schoen 的 Calabi-Yau 三复形的自由商而产生的非单连通 Calabi-Yau 三复形进行分类。
• 识别这些纤维积上所有作用自由的有限交换群作用，从而得到基本群同构于该群的光滑 Calabi-Yau 三复形。
• 系统地构造具有指定基本群（包括 ℤ₃×ℤ₃、ℤ₆ 和 ℤ₂）的此类三复形，以用于弦现象学。
• 解决此类自由群作用存在的几何与算术条件，特别关注有理椭圆曲面的自同构及其限制。

提出的方法

• 对保持纤维结构并在全空间上自由作用的有理椭圆曲面上的有限交换群作用进行分类。
• 分析有理椭圆曲面的 Mordell-Weil 群与 Mordell-Weil 格，以确定支持自由群作用的可能截面与扭点。
• 使用椭圆纤维上的高度配对与交点理论，验证截面及其在群自同构下的像的不相交性。
• 在 Mordell-Weil 群中构造显式截面，使其与纤维在指定阶的扭点相交，从而确保与群作用相容。
• 采用格理论技术（例如 D₄*、E₇、E₆*）在 Mordell-Weil 格中寻找最小向量与不相交截面构型。
• 通过检查固定点集与截面交点的条件，验证群作用的自由性，即确认无非平凡群元素在纤维积中固定任何点。

实验结果

研究问题

• RQ1 哪些有限交换群可以作为商作用于 Schoen 的 Calabi-Yau 三复形上，从而得到光滑的非单连通 Calabi-Yau 三复形？
• RQ2 有理椭圆曲面及其自同构需满足哪些必要且充分的几何与算术条件，才能使诱导作用在纤维积上是自由的？
• RQ3 当群以相容方式作用于基空间 ℙ¹ 及两个有理椭圆曲面时，如何系统地分类所有此类自由作用？
• RQ4 对于哪些群 G，商 Calabi-Yau 三复形 X = X̃/G 满足 π₁(X) ≅ G 可通过此构造实现？
• RQ5 是否可在 Mordell-Weil 群中构造显式截面，以确保群作用的自由性，特别是对于非循环群如 ℤ₄×ℤ₂ 或 ℤ₃×ℤ₃？

主要发现

• 对作为 Schoen 的 Calabi-Yau 三复形的自由商而产生的非单连通 Calabi-Yau 三复形实现了完整分类，其基本群包括 ℤ₃×ℤ₃、ℤ₆ 和 ℤ₂。
• 对于分类中的每个群 G，通过构造 Mordell-Weil 群中与零截面及其他截面均不相交的显式截面，确认了自由作用的存在，从而确保无固定点。
• 对于 G ≅ ℤ₄×ℤ₂ 的情形，通过在 D₄* 的 Mordell-Weil 格中构造八条相互不相交的截面，解决了该情况，确保作用自由且商为光滑。
• 除第 10 种情况外，所有非循环情形的构造均成功实现，该情况通过基于格的详细论证，利用 D₄* 中的八条不相交截面得以解决。
• 本文通过验证合适扭截面的存在及其通过高度配对实现的相互不相交性，确认了所有列出情形（包括 ℤ₆、ℤ₄ 和 ℤ₃×ℤ₃）中此类作用集合非空。