[論文レビュー] Moduli and periods of simply connected Enriques surfaces

Torsten Ekedahl, J. M. E. Hyland+1 more|arXiv (Cornell University)|Oct 1, 2012

Algebraic Geometry and Number Theory参考文献 25被引用数 22

ひとこと要約

本稿では特徴2の単連結Enriques多様体に対して周期準同型を確立し、そのモジュライ空間が超特異K3多様体の周期空間上のP¹-バンドルの開部分集合であることを示している。Keel–MoriスタックとDeligne–Mumfordスタックを用いて、単元的（単連結）Enriques多様体のモジュライは、自己同型群スキームの非可約性の欠如によって支配されることを証明し、W(k)[[x₁,…,x₁₂]]/(FG−2)の形の環上でのα₂-Enriques多様体の最小普遍変形を構成している。

ABSTRACT

We describe a period map for those simply connected Enriques surfaces in characteristic 2 whose canonical double cover is K3. The moduli stack for these surfaces has a Deligne-Mumford quotient that is an open substack of a $\mathbb P^1$-bundle over the period space. We also give some general results relating local and global moduli for algebraic varieties and describe the difference in their dimensions in terms of the failure of the automorphism group scheme to be reduced.

研究の動機と目的

• 代数スタックと周期写像を用いて、特徴2における単連結Enriques多様体のモジュライ空間を記述すること。
• 自己同型群スキームの非可約性の分析を通じて、局所モジュライとグローバルモジュライの差を定量化すること。
• α₂-Enriques多様体の最小普遍変形空間を構成し、その正則性を証明すること。
• K3–Enriques多様体に対する周期写像を確立し、それがマークされたK3多様体の周期空間の商に値をとることを示すこと。
• すべてのEnriques多様体が有界な分岐指数を持つ特徴0の離散値環に持ち上げられることを示すこと。

提案手法

• Keel–Moriスタックを用いて粗モジュライ空間を構成し、Deligne–Mumfordスタックを用いて商構造を精緻化する。
• Rudakov–Shafarevichの定理を適用して、K3–Enriques多様体Yに対してその標準的二重被覆X → Yを分析する。このときXは有理的単純特異点（RDP）を持つK3多様体である。
• Xの最小解消eX（これは超特異K3多様体）を用いて周期写像を構成し、このような多様体に対してOgusの周期同型を適用する。
• X上の2-閉ベクトル場の空間を介して、種0曲線のファイブレーションを分析する。これにより接層内の直線をパラメトライズする。
• 変形理論を用いて、α₂-Enriques多様体の最小普遍変形空間をSpecW(k)[[x₁,…,x₁₂]]/(FG−2)として記述し、それが正則であることを証明する。
• LiedtkeのCossec–Verra極性とRDP-K3多様体に関する結果を活用して、モジュライ成分の代数的性および既約性を確立する。

実験結果

リサーチクエスチョン

• RQ1 自己同型群スキームの非可約性は、Enriques多様体の局所モジュライとグローバルモジュライの差にどのように影響するか？
• RQ2 特徴2における単連結Enriques多様体のモジュライ空間の構造はいかなるものか？
• RQ3 K3–Enriques多様体に対して周期写像を構成可能か？その幾何的像は何か？
• RQ4 α₂-Enriques多様体の最小普遍変形空間は何か？そしてそれは正則か？
• RQ5 Enriques多様体はどの程度特徴0に持ち上げ可能か？分岐指数にどのような上限が存在するか？

主な発見

• 単連結Enriques多様体のモジュライ空間は、超特異K3多様体の周期空間上のP¹-バンドルの開部分スキームである。
• K3–Enriques多様体に対する周期写像は、マークされたK3多様体の周期空間を表すMNの商MN/S¹²を経由して因数分解される。
• α₂-Enriques多様体の最小普遍変形空間は正則であり、SpecW(k)[[x₁,…,x₁₂]]/(FG−2)に同型であり、次元12の完全交差である。
• すべてのEnriques多様体は、絶対分岐指数が2⁹·Nを割り切る特徴0の離散値環に持ち上げ可能であり、ここでN ∈ {192, 128, 60, 56, 40, 9}である。
• Enriques多様体のスタックはSpec Z上代数的であり、その幾何的成分は10次元である。特徴2では2つの既約成分Euni（単元的）とEinf（無限小）を持ち、それらはEα（α₂-多様体）で交わる。
• 開部分スタックEK3,uni（K3–Enriques多様体）の補集合の余次元は3以上であるため、周期写像は稠密な開集合で適切に定義されている。