[論文レビュー] Enriques surfaces with normal K3-like coverings

Stefan Schröer|arXiv (Cornell University)|Mar 9, 2017

Algebraic Geometry and Number Theory被引用数 1

ひとこと要約

本稿は、特徴2の特徴を持つ単連結なエヌリクス表面の正規K3-類似被覆を、フロベニウス引き戻しと有理的楕円的表面におけるフラップ（変異）を用いて構成し、その被覆上に楕円的二重点（非有理的特異点）の存在を証明した。これらの特異点は孤立的であり、ファイバー構成の変異によって生じ、モーデル＝ヴェイの格子とオーグの公式に基づく体系的な構成法によって得られる。

ABSTRACT

We analyze the structure of simply-connected Enriques surface in characteristic two whose K3-like covering is normal, building on the work of Ekedahl, Hyland and Shepherd-Barron. We develop general methods to construct such surfaces and the resulting twistor lines in the moduli stack of Enriques surfaces, including the case that the K3-like covering is a normal rational surface rather then a normal K3 surface. Among other things, we show that elliptic double points indeed do occur. In this case,there is only one singularity.The main idea is to apply flops to Frobenius pullbacks of rational elliptic surfaces, to get the desired K3-like covering. Our results hinge on Lang's classification of rational elliptic surfaces, the determination of their Mordell--Weil lattices by Shioda and Oguiso, and the behavior of unstable fibers under Frobenius pullback via Ogg's Formula. Along the way, we develop a general theory of Zariski singularities in arbitrary dimension, which is tightly interwoven with the theory of height-one group schemes actions and restricted Lie algebras. Furthermore, we determine under what conditions tangent sheaves are locally free, and introduce a theory of canonical coverings for arbitrary proper algebraic schemes.

研究の動機と目的

• 特にエヌリクス表面の文脈において、正規代数的スキームの canonical 被覆の一般理論を構築すること。
• 特徴2における単連結なエヌリクス表面のK3-類似被覆の構造を調査すること、特に被覆が正規である場合に注目する。
• 非有理的特異点、特に楕円的二重点が、このような被覆上に現れる可能性があるかどうかを特定すること。
• 正規K3-類似被覆がエヌリクス表面に双有理的であるような、すべての有理的楕円的表面を分類すること。
• 接層が局所自由となる条件を確立し、任意次元におけるザリスキ特異点の理論を構築すること。

提案手法

• 有理的楕円的表面にフロベニウスの基本変換を適用し、特異点をもつK3-類似被覆を得る。
• フラップ（変異）を用いて特異点を解消し、K3-類似被覆の双有理的モデルを構成する。
• オーグの公式を用いて、フロベニウス引き戻しにおける不安定ファイバーの挙動を計算する。
• 塩田と大西による有理的楕円的表面のモーデル＝ヴェイ格子の分類を活用する。
• ラングによる特徴2における有理的楕円的表面の分類を用い、正規被覆をもたらすファイバー構成を特定する。
• 群スキーム作用を用いて canonical 被覆を構成し、制限されたリー代数と高さ1の群スキームを用いてその特異点を分析する。

実験結果

リサーチクエスチョン

• RQ1 特徴2におけるエヌリクス表面の正規K3-類似被覆上に、非有理的特異点（例えば楕円的二重点）が現れる可能性はあるか？
• RQ2 単連結なエヌリクス表面のK3-類似被覆が正規であり、かつ有理的楕円的表面のフロベニウス引き戻しに双有理的であるための条件は何か？
• RQ3 すべてのファイバーが非縮退である有理的楕円的表面の中で、どのものがフロベニウス引き戻しと変異を経て単連結なエヌリクス表面を導くか？
• RQ4 K3-類似被覆の接層が局所自由となる条件は何か？また、幾何学的性質とどのように関係するか？
• RQ5 非有理的特異点を含むK3-類似被覆上の特異点の正確な構造は何か？

主な発見

• 本稿は、有理的カスピタル（−1）曲線を収縮することで生じる楕円的二重点を含む正規K3-類似被覆の存在を証明した。
• 正規K3-類似被覆に非有理的特異点が含まれるならば、それ以外の特異点は含まない—このような特異点は孤立的である。
• 特徴2におけるすべてのファイバーが非縮退である110家族の有理的楕円的表面のうち、6家族を除くすべての家族に対して、K3-類似被覆が有理的楕円的表面のフロベニウス引き戻しに双有理的である単連結なエヌリクス表面が存在する。
• K3-類似被覆からP¹への誘導されたファイブレーションは、H⁰(X, Θ_X/k) ⊂ H⁰(P¹, Θ_P¹/k) の単射を誘導し、ベクトル場の制御がなされていることを示している。
• 構成は、フラップによるファイバー構成の変異に依存しており、特異点を解消するためにファイバー内の端点成分を残りの成分の和に置き換える。
• 任意次元におけるザリスキ特異点の理論が発展され、高さ1の群スキームと制限されたリー代数と関連づけられ、K3-類似被覆上の特異点の分類に応用された。