[论文解读] Classification of free actions on complete intersections of four quadrics

Zheng Hua|arXiv (Cornell University)|Jul 30, 2007

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

一句话总结

本文分类了在 ℙ⁷ 中四次二次曲面的完整交的自由有限群作用，构造了具有非交换基本群（阶为64）的新一族光滑 Calabi-Yau 三fold。利用解析 Lefschetz 公式与特征标理论，识别出五个与 (2,4)-极化阿贝尔曲面线束相关的族，其等变小解析化产生具有 Hodge 数 h¹¹=2、h¹²=2 的 Calabi-Yau 商面。

ABSTRACT

In this paper we classify all free actions of finite groups on Calabi-Yau complete intersection of 4 quadrics in $\PP^7$, up to projective equivalence. We get some examples of smooth Calabi-Yau threefolds with large nonabelian fundamental groups. We also observe the relation between some of these examples and moduli of polarized abelian surfaces.

研究动机与目标

• 分类所有在 ℙ⁷ 中四次二次曲面完整交上、至多具有 ODP 奇点的自由有限群作用，模射影等价关系。
• 构造具有非交换基本群（特别是阶为64）的新一族光滑 Calabi-Yau 三fold。
• 建立这些 Calabi-Yau 三fold 与 (2,4)-极化阿贝尔曲面模空间之间的几何联系。
• 证明在具有64个普通双点的奇异完整交上，存在 G-等变小解析化。
• 应用解析 Lefschetz 公式与特征标理论，以限制在环境空间上可能的群作用。

提出的方法

• 使用解析 Lefschetz 公式，推导群表示在 H⁰(X,𝒪(1)) 与 H⁰(X,𝒪(2)) 上的迹约束。
• 应用有限群（如 H₈、D₈、G₄、G₅）的特征标理论，识别允许的表示，并分解表示空间的对称幂。
• 显式构造在群作用下不变的 Weil 除子，例如由 f₁ 与 f₂ 定义的 S_{r₁,r₂}，其通过64个普通双点。
• 通过爆开 G-不变的 Weil 除子 S_{r₁,r₂}（其为一个度数为16的光滑阿贝尔曲面）实现 G-等变小解析化。
• 使用 Macaulay2 与 GAP 等计算工具，验证光滑性与不变性，进行群论与代数检查。
• 利用完整交与 (2,4)-极化阿贝尔曲面线束之间的关系，识别出仅具有自由群作用的二维子族。

实验结果

研究问题

• RQ1 哪些有限群可在 ℙ⁷ 中四次二次曲面完整交上自由作用，且至多具有 ODP 奇点，模射影等价关系？
• RQ2 如何利用解析 Lefschetz 公式限制由此类完整交产生的 Calabi-Yau 三fold 上可能的群作用？
• RQ3 构造出的基本群阶为64的 Calabi-Yau 三fold 与 (2,4)-极化阿贝尔曲面模空间之间存在何种几何关系？
• RQ4 能否显式构造具有64个普通双点与非交换群作用的奇异完整交的等变小解析化？
• RQ5 通过在解析完整交上对自由群作用取商得到的 Calabi-Yau 三fold 的 Hodge 数为何？

主要发现

• 构造了五族光滑 Calabi-Yau 三fold，其基本群阶为64，为 ℙ⁷ 中四次二次曲面奇异完整交的小解析化的自由商。
• 该构造依赖于嵌入完整交中的 (2,4)-极化阿贝尔曲面线束，仅其中二维子族允许自由群作用。
• 通过爆开由不可约二维表示 X₃₃ ⊕ X₃₄ 中两个一般方程定义的 G-不变 Weil 除子 S_{r₁,r₂}，可实现等变小解析化。
• 解析后的 Calabi-Yau 三fold 具有 Hodge 数 h¹¹ = 10 与 h¹² = 10，其在 G₄ 或 G₅ 作用下的商面具有 h¹¹ = 2 与 h¹² = 2。
• 解析 Lefschetz 公式与特征标理论排除了二面体群 D₈ 在此类完整交上的自由作用，而四元数群 H₈ 则可能。
• 完整交的64个奇点恰好是 (2,4)-极化阿贝尔曲面线束的基点，其位置唯一确定了该族。