[论文解读] Enriques Surfaces - Brauer groups and Kummer structures

Alice Garbagnati, Matthias Schuett|arXiv (Cornell University)|Jun 25, 2010

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

一句话总结

本文通过涉及同源与积型椭圆曲线的Kummer曲面的格理论与几何方法，构造了一类一维复Enriques曲面族，其覆盖K3曲面的Brauer群拉回为平凡或$\mathbb{Z}/2\mathbb{Z}$。关键结果表明：当$N$为奇数时，Brauer群拉回为零；当$N$为偶数时，拉回为$\mathbb{Z}/2\mathbb{Z}$，从而在族而非孤立情形下解决了Beauville的问题。

ABSTRACT

This paper develops families of complex Enriques surfaces whose Brauer groups pull back identically to zero on the covering K3 surfaces. Our methods rely on isogenies with Kummer surfaces of product type. We offer both lattice theoretic and geometric constructions. We also sketch how the construction connects to string theory and Picard-Fuchs equations in the context of Enriques Calabi-Yau threefolds.

研究动机与目标

• 为解决Beauville关于Enriques曲面Brauer群在其覆盖K3曲面上恒拉回为零的显式例子这一开放问题。
• 将此前局限于Picard数为20的孤立奇异K3曲面的结果，扩展至Picard数为19的一维K3曲面族。
• 发展K3曲面上Enriques对合的格理论与几何构造方法，包括非Kummer型与Kummer型族。
• 建立这些构造与弦理论之间的联系，特别是通过Enriques Calabi–Yau三fold中的Picard–Fuchs方程。
• 证明不同K3曲面族可退化为同一K3曲面（如$\mathrm{Km}(E_i \times E_i)$），但诱导出非共轭的Enriques对合，具有不同的几何不变量。

提出的方法

• 通过Barth–Peters二维族的特殊化，利用格理论技术，构造Picard数$\rho \geq 19$的K3曲面族$\mathcal{X}_N$。
• 利用具有指定奇点纤维（如$I_{16} + I_4 + 4I_1$）与Mordell–Weil群$\mathbb{Z}/4\mathbb{Z}$的椭圆纤维结构，定义Enriques对合。
• 利用K3曲面与积型$E_i \times E_i$的Kummer曲面之间的2-同源，其中$E_i$是具有$\mathbb{Z}[i]$复乘的椭圆曲线，将$\mathcal{X}_N$与$\mathcal{Y}_N$联系起来。
• 应用Shioda–Inose结构与Morrison–Nikulin对合，将K3曲面与Kummer曲面关联，并构造Enriques商曲面。
• 使用显式Weierstrass模型，如$y^2 = x(x - t^4)(x - t^4 + 4)$，在$\mathbb{Q}$上实现$\mathrm{Km}(E_i \times E_i)$曲面，具有有理截面与挠点。
• 通过存在满足$D^2 \not\equiv 0 \mod 4$的反不变除子，并应用定理5，验证Brauer群拉回的平凡性或非平凡性。

实验结果

研究问题

• RQ1 能否构造一维Enriques曲面族，使得其Brauer群在覆盖K3曲面上恒拉回为零，超越孤立例子？
• RQ2 在Picard数为19的K3曲面上，Enriques对合下Brauer群拉回的行为如何？其行为如何依赖于整数参数$N$的奇偶性？
• RQ3 具有Enriques对合的K3曲面族$\mathcal{X}_N$（非Kummer型）与$\mathcal{Y}_N$（Kummer型）之间存在何种几何与算术关系？
• RQ4 同一K3曲面（如$\mathrm{Km}(E_i \times E_i)$）能否作为不同族$\mathcal{X}_N$与$\mathcal{Y}_N$的退化情形出现？若能，诱导出的Enriques对合是否给出同构或非同构的Enriques商曲面？
• RQ5 当从不同K3族诱导时，Enriques商曲面的自同构群有何差异？何种不变量可将其区分开来？

主要发现

• 对每个$N > 1$，具有$\rho = 19$的K3曲面族$\mathcal{X}_N$均存在一个Enriques对合$\tau$，使得商曲面$Z_N = X_N / \tau$的Brauer群拉回为零（当$N$为奇数时），或为$\mathbb{Z}/2\mathbb{Z}$（当$N$为偶数时）。
• 具有$\rho = 19$的Kummer曲面族$\mathcal{Y}_N$也存在一个Enriques对合$\tau$，使得$\pi^* \mathrm{Br}(Y_N / \tau)$在$N$为奇数时为零，在$N$为偶数时为$\mathbb{Z}/2\mathbb{Z}$，从而在Kummer情形下也确认了相同的Brauer群行为。
• $\mathrm{Km}(E_i \times E_i)$曲面作为$\mathcal{Y}_1$与$\mathcal{X}_2$的退化情形出现，但诱导出的Enriques对合在K3曲面的自同构群中不共轭。
• $\mathcal{Y}_1$诱导的Enriques商曲面$\mathrm{Km}(E_i \times E_i)/\tau$具有一个类型为$I_4$的双纤维，而$\mathcal{X}_2$诱导的商曲面具有一个类型为$I_8$的双纤维，通过Kondo对Enriques曲面自同构群的分类得以区分。
• 将$\mathrm{Km}(E_i \times E_i)$构造为$y^2 = x(x - t^4)(x - t^4 + 4)$提供了$\mathbb{Q}$上的有理模型，具有4阶挠截面，确认了纤维与对合在数域上的几何实现性。
• 在$\mathrm{Km}(E_i \times E_i}$上，反不变除子$D = O - U + \Theta_4 + \cdots + D_7 - (13)$满足$D^2 = -10$，根据定理5，这意味着Brauer群拉回为零，从而确认了$\mathcal{Y}_1$情形下的平凡性结果。