[論文レビュー] Relative compactified Jacobians of linear systems on Enriques surfaces

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

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

ひとこと要約

この論文は、エンリケス面上の線形系の相対的コンパクト化ヤコビアンを研究することで、任意の奇数次元において新しいカルラビ–ヤウ多様体の例を構成する。これらのモジュライ空間が滑らかで、普遍被覆をとると単連結であり、正則バンドルが自明であることを証明し、アーベル層の被覆構造とサポート写像のモノドロミー解析を通じて、それらが非特異カルラビ–ヤウ多様体として成立することを確立する。

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.

研究の動機と目的

• エンリケス面上の純粋な層のモジュライ空間を用いて、奇数次元におけるカルラビ–ヤウ多様体の新しい例を構成すること。
• これらのモジュライ空間の正則バンドル、基本群、第二ベッチ数、ホッジ数を特定すること。
• エンリケス面の幾何とその被覆となるK3多様体が、サポート写像とアーベル層の被覆構造を通じてモジュライ空間に与える影響を理解すること。
• ホッジ構造の変動とサポート写像のモノドロミーを分析すること、特に非再帰的曲線の上での分析に注目する。

提案手法

• モジュライ空間 N は、エンリケス面 T 上の H-半安定な層の成分として構成され、線形系 |C| における固定されたフィットサポートとオイラー標数 χ = d − g + 1 を持つ。
• サポート写像 N → |C| = ℙ^{g−1} は、g 次元ヤコビアンの被覆構造を N に与え、アーベル層被覆の技法の適用を可能にする。
• モノドロミー計算と H^1(C_t, ℤ) を直交格子 F_ℤ と E_ℤ に分解することで、正則バンドル ω_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| を持つエンリケス面上の純粋な層のモジュライ空間の正則バンドルは何か？
• RQ3 モジュライ空間の基本群は、エンリケス面と線形系 |C| の幾何とどのように関係するか？
• RQ4 |C| が genus 2 の線形系であるとき、モジュライ空間の第二ベッチ数とホッジダイアモンドは何か？

主な発見

• モジュライ空間 N は、正則バンドル ω_N ≅ 𝒪_N で自明であり、滑らかで次元 (2g−1) のカルラビ–ヤウ多様体であり、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ℤ に同型であり、これは低 genus および原始的線形系において成立する。
• 普遍被覆 ˜N は、ノルム写像のシュタイン分解を通じて得られる、次元 2g−1 の非特異カルラビ–ヤウ多様体である。
• 被覆 N → |C| の特異ファイバーは、アーベル面のランク1の退化であり、g = 2 のとき、これらはちょうど16個存在する。