[论文解读] On the cohomology of Stover Surface

Amir Džambić, Xavier Roulleau|arXiv (Cornell University)|Oct 31, 2014

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

一句话总结

本文研究了 Stover 曲面的上同调，该曲面是欧拉示性数最小（63）且自同构群最大（阶为 18,144）的唯一算术球商曲面。通过应用 Sullivan 关于基本群的第二下中央商的理论以及表示论计算，作者证明了该曲面具有最大 Picard 数，不存在高亏格纤维化，且映射 ∧²H⁰(Ω_S) → H⁰(K_S) 的核是 7 维的，不含可分解元素——构成一个光滑的二次曲面。此外，证明了 Albanese 簇同构于 (C/ℤ[α])⁷，其中 α = e²πi/³。

ABSTRACT

We study a surface discovered by Stover which is the surface with minimal Euler number and maximal automorphism group among smooth arithmetic ball quotient surfaces. We study the natural map $\wedge^{2}H^{1}(S,\mathbb{C}) o H^{2}(S,\mathbb{C})$ and we discuss the problem related to the so-called Lagrangian surfaces. We obtain that this surface $S$ has maximal Picard number and has no higher genus fibrations. We compute that its Albanese variety $A$ is isomorphic to $(\mathbb{C}/\mathbb{Z}[\alpha])^{7}$, for $\alpha=e^{2i\pi/3}$.

研究动机与目标

• 研究 Stover 曲面的上同调，该曲面是欧拉示性数为 63 且自同构群最大的唯一 Hurwitz 球商曲面。
• 通过 Castelnuovo–De Franchis 定理判断该曲面是否允许纤维化到亏格 >1 的曲线上。
• 分析映射 φ₂₀: ∧²H⁰(Ω_S) → H⁰(K_S)，并将其核表征为几何对象。
• 计算该曲面的 Albanese 簇并确定其结构。
• 通过 cup 积映射的核研究是否存在到阿贝尔四倍体上的拉格朗日纤维化。

提出的方法

• 应用 Sullivan 关于基本群 π₁(S) 的第二下中央商的理论，利用 MAGMA 计算群表示和可叠商群，得到 ∆/[∆, Π] ≅ ℤ/4ℤ × ℤ²⁸。
• 利用 U₃(3) × ℤ/3ℤ 在 H⁰(S, Ω_S) ≅ ℂ⁷ 上的表示理论，计算 φ₂₀ 的核为 ∧²ℂ⁷ 中的 7 维子空间。
• 构造矩阵 M ∈ M₂₁,₇，其列张成 Ker(φ₂₀)，并通过根理想和 2×2 子式证明 V = W，从而证明核中不含可分解元素。
• 证明 Ker(φ₂₀) 中秩为 2 的向量构成一个由正定对称矩阵 Q 定义的光滑二次曲面超曲面。
• 利用该二次曲面在 ℚ(α) 上存在一点的事实，构造了无穷多个拉格朗日映射 p: S → B，其中 B ≅ (C/ℤ[α])⁴。
• 运用迹论证和自同态理论，证明某些映射 p: S → B 不是拉格朗日的，从而确认了拉格朗日与非拉格朗日纤维化的共存。

实验结果

研究问题

• RQ1 Stover 曲面是否允许纤维化到亏格 >1 的曲线上？这对 φ₂₀ 的核有何含义？
• RQ2 映射 φ₂₀: ∧²H⁰(Ω_S) → H⁰(K_S) 的核具有何种几何结构？
• RQ3 φ₂₀ 的核是否不含可分解的 2-向量？这对 S 上的纤维化有何含义？
• RQ4 Stover 曲面的 Albanese 簇结构如何？其与 ℤ[α] 上复乘法的关系是什么？
• RQ5 是否存在无穷多个从 S 到阿贝尔四倍体的拉格朗日纤维化？它们如何参数化？

主要发现

• Stover 曲面具有最大 Picard 数，这由映射 φ₂₀: ∧²H⁰(Ω_S) → H⁰(K_S) 的 7 维核所证实。
• φ₂₀ 的核是 7 维的，且不含可分解元素，这意味着曲面不存在纤维化到亏格 >1 的曲线上。
• Ker(φ₂₀) 中秩为 2 的向量构成一个在 ℂ⁷ 中由正定对称矩阵 Q 定义的光滑二次曲面超曲面。
• S 的 Albanese 簇同构于 (C/ℤ[α])⁷，其中 α = e²πi/³，表明其具有 Eisenstein 整数上的复乘法。
• 存在无穷多个（模同源）映射 p: S → B（B 为阿贝尔四倍体），使得 S 关于 p 是拉格朗日的。
• 映射 φ₁₁: H⁰(Ω_S) ⊗ H¹(𝒪_S) → H¹(Ω_S) 的核维数为 14，且该映射是满射。