[论文解读] The Moduli Space of Cubic Threefolds as a Ball Quotient

Daniel Allcock, James A. Carlson+1 more|ArXiv.org|Aug 11, 2006

Algebraic Geometry and Number Theory参考文献 14被引用 11

一句话总结

本文证明，对奇点弦型三次三复形的模空间进行关于弦型三次三复形的闭包后，其同构于复双曲10维空间关于一个算术群的球面商：即复双曲10维空间模其算术群的商。通过利用关于在ℙ⁴上以三次三复形为分支的三重覆盖的周期映射，以及Voisin的Torelli定理，作者通过爆破解决了在弦型三次三复形点处的周期映射的不确定性，并证明所得空间是球面商的Baily-Borel紧化，同时明确描述了单值群和超平面排列。

ABSTRACT

The moduli space of cubic threefolds in CP4, with some minor birational modifications, is the Baily-Borel compactification of the quotient of the complex 10-ball by a discrete group. We describe both the birational modifications and the discrete group explicitly.

研究动机与目标

• 解决在三次三复形模空间中弦型三次三复形子簇处周期映射的不确定性。
• 证明稳定三次三复形的模空间在爆破弦型三次三复形点后，同构于复双曲10维空间模算术群的商。
• 明确描述单值群、判别式与弦型子簇对应的超平面排列及其在紧化中的几何作用。
• 通过Hodge理论与三重覆盖，将三次曲面与三次三复形的模空间类比加以拓展。
• 完整描述球面商的Baily-Borel紧化结构及边界分量的结构。

提出的方法

• 利用作为ℙ⁴上三重覆盖（分支为三次三复形）的四次三次流形的周期映射，采用Voisin的Torelli定理而非Clemens-Griffiths方法。
• 将这些四次三次流形的初等同调的Hodge结构视为Eisenstein整数上的模，配备一个符号为(10,1)的Hermitian形式。
• 在模空间的弦型三次三复形点处进行爆破，以解决由于极限Hodge结构不唯一而引起的周期映射不确定性。
• 将单值群识别为格Lattice Λ(V)的射影等距群，由ω-反射生成，并证明其包含乘以ω̄的标量乘法。
• 利用光滑三次三复形子簇的基空间的基本群上的 braid 群作用来生成单值群，并证明−I不属于该群。
• 分析对应于判别式与弦型子簇的超平面排列在ℂH¹⁰中的交点性质，证明它们正交或不相交。

实验结果

研究问题

• RQ1 如何将三次三复形的周期映射延拓至其弦型三次三复形子簇处，该处映射是不确定的？
• RQ2 精确作用于复双曲10维空间的算术群是什么，使其模空间成为球面商？
• RQ3 对应于判别式与弦型子簇的超平面排列在紧化周期域中如何相交？
• RQ4 在此背景下，球面商的Baily-Borel紧化的几何与算术结构是什么？
• RQ5 单值群能否被明确描述？它是否保持三重覆盖构造的Hodge结构？

主要发现

• 稳定三次三复形的模空间在爆破弦型三次三复形点后，同构于复双曲10维空间模算术群PΓ的商。
• 周期映射可延拓为从GIT模空间的爆破到PΓ\ℂH¹⁰的Baily-Borel紧化的态射。
• 光滑三次三复形的模空间被识别为PΓ\(ℂH¹⁰ − (ℋ_c ∪ ℋ_Δ))，其中ℋ_c与ℋ_Δ分别为弦型与判别式子簇对应的超平面排列。
• 单值群PΓ是初等同调格Lattice Λ(V)的射影等距群，该格Lattice在Eisenstein整数上配备一个符号为(10,1)的Hermitian形式。
• 群PΓ包含乘以ω̄的标量乘法，但不包含乘以−I的标量乘法，且由对应于节点与弦型根的ω-反射生成。
• ℂH¹⁰中的弦型超平面两两不相交，且任何判别式与弦型超平面的交点均为正交，不可能存在非正交交点。