[论文解读] Relative compactified Jacobians of linear systems on Enriques surfaces

Giulia Saccà|arXiv (Cornell University)|Oct 28, 2012

Algebraic Geometry and Number Theory参考文献 37被引用 9

一句话总结

该论文通过研究关于椭圆曲面线性系统上的相对紧化雅可比簇，在每个奇数维中构造了新的卡拉比–丘流形。证明了这些模空间是光滑的、单连通的（经万有覆叠后），且具有平凡的 canonical bundle，通过阿贝尔纤维丛结构和支撑态射的单值性分析，确立了它们为不可约卡拉比–丘流形。

ABSTRACT

We study certain moduli spaces of sheaves on Enriques surfaces thereby obtaining, in every odd dimension, new examples of Calabi-Yau manifolds. We describe the geometry (canonical bundle, fundamental group, second Betti number and certain Hodge numbers) of these moduli spaces showing, in partial analogy to the well-known case of sheaves on K3 or Abelian surfaces, how the geometry of the surface reflects that of the moduli space itself.

研究动机与目标

• 通过椭圆曲面上纯层的模空间，在奇数维中构造新的卡拉比–丘流形。
• 确定这些模空间的 canonical bundle、基本群、第二贝蒂数与霍奇数。
• 理解椭圆曲面及其覆叠 K3 曲面的几何如何通过支撑态射与阿贝尔纤维丛结构影响模空间。
• 分析支撑态射的霍奇结构变化与单值性，特别是对非约化曲线的情形。

提出的方法

• 模空间 N 被构造为椭圆曲面 T 上 F-半稳定层的连通分支，其支撑固定于线性系统 |C| 内且欧拉示性数 χ = d − g + 1。
• 支撑态射 N → |C| = ℙ^{g−1} 为 N 赋予一个 g 维雅可比簇的纤维丛结构，从而可应用阿贝尔纤维丛技术。
• 通过单值性计算与 H^1(C_t, ℤ) 分解为正交整格 F_ℤ 和 E_ℤ，证明 canonical bundle ω_N 为平凡，若雅可比簇可约则导致矛盾。
• 在 |C| 的可除性与一般性满足自然假设下，通过满射证明基本群 π₁(N) 同构于 ℤ/2ℤ。
• 第二贝蒂数 h²(N) 通过霍奇丛的退化与纤维丛中奇异纤维的结构计算得出，使用公式 h²(N) = h²(N_U) − h²(N_Δ) + h²(𝒞_U) − h²(𝒞_Δ)。
• 通过纤维上拓扑欧拉示性数为零及关系式 χ_top(N) = 0 计算霍奇钻石，得出当 g = 2 时 h^{2,1}(N) = 10。

实验结果

研究问题

• RQ1 椭圆曲面线性系统上的相对紧化雅可比簇是否给出卡拉比–丘流形？
• RQ2 在 |C| 上固定支撑的椭圆曲面纯层模空间的 canonical bundle 是什么？
• RQ3 模空间的基本群如何与椭圆曲面及其线性系统 |C| 的几何相关？
• RQ4 当 |C| 为亏格二线性系统时，模空间的第二贝蒂数与霍奇钻石为何？

主要发现

• 模空间 N 是一个光滑的 (2g−1) 维卡拉比–丘流形，具有平凡 canonical bundle ω_N ≅ 𝒪_N，且当 p ≠ 0, 2g−1 时 h^{p,0}(N) = 0。
• 当 g ≥ 3 时，在 C 在 NS(T) 中的可除性与 2(d−g+1) 互素的假设下，第二贝蒂数为 h²(N) = 11。
• 当 g = 2 时，N 的霍奇钻石被显式计算为：h^{0,0} = h^{3,3} = 1，h^{1,0} = h^{0,1} = h^{2,3} = h^{3,2} = 0，h^{1,1} = h^{2,2} = 10，h^{1,2} = h^{2,1} = 10，h^{1,3} = h^{3,1} = 1。
• 在自然假设下，基本群 π₁(N) 同构于 ℤ/2ℤ，该假设在低亏格与本原线性系统时成立。
• 万有覆叠 ˜N 是一个不可约卡拉比–丘流形，维数为 2g−1，通过范数映射的斯坦分解得到。
• 纤维丛 N → |C| 的奇异纤维为阿贝尔曲面的秩一退化，当 g = 2 时，恰好有 16 个此类纤维。