[論文レビュー] Equations for some very special Enriques surfaces in characteristic two

Pelle Salomonsson|ArXiv.org|Sep 12, 2003

Nonlinear Waves and Solitons参考文献 4被引用数 10

ひとこと要約

この論文は、特徴が2の非常によく特殊なエンリケス多様体について、明示的な方程式を提示する。具体的には、$(\widetilde{E}_i + R)$-構成（$i=6,7,8$）を持つものであり、コセックとドロガチェフが予想した「追加の特殊」な多様体の存在を証明する。これらの多様体は、多重同次多項式方程式を用いて、ルールド多様体の2重被覆として構成され、タイプ（$\mathbf{Z}/2$ または $\boldsymbol{\alpha}_2$）によって分類され、$\mathbf{Z}/2$ の場合は一意性が確立され、$\boldsymbol{\alpha}_2$ の場合は正規化がなされる。

ABSTRACT

We give an explicit construction and clasification of some very special sort of Enriques surfaces in characteristic two. This proves the existence of some of the surfaces that were called ``extra-special'' by Cossec and Dolgachev in their book on the subject, and whose existence was left open by them. These surfaces coincide with a class of surfaces that are introduced in recent work by Ekedahl and Shepherd--Barron.

研究の動機と目的

• 特徴が2の非常に特殊なエンリケス多様体を構成し、分類する。その際、拡張されたディンキン図形 $\widetilde{E}_6$, $\widetilde{E}_7$, $\widetilde{E}_8$ に一致する有理曲線の配置に加え、追加の有理曲線 $R$ を含む。
• コセックとドロガチェフが予想した「追加の特殊」なエンリケス多様体の存在という未解決問題を、明示的な方程式を提供することで解決する。
• このような多様体が存在し、タイプ $\mathbf{Z}/2$ または $\boldsymbol{\alpha}_2$ であることを確立する。後者は、これらの構成を許容する唯一のタイプである。
• タイプ $\mathbf{Z}/2$ の場合、与えられた方程式形式で多様体を一意に表現できることを証明する。また、タイプ $\boldsymbol{\alpha}_2$ の場合、パラメータを1に正規化できることを示す。

提案手法

• 多様体は、$\mathbb{P}(\mathcal{O}_{\mathbb{P}^1}(2)s \oplus \mathcal{O}_{\mathbb{P}^1}t)$ として表されるルールド多様体の2重被覆として構成され、変数 $z,x,y,s,t$ を用いた多重同次多項式方程式によって定義される。次数条件は $d_s + d_t + 2d_z = 4$ および $2d_t + d_x + d_y + 5d_z = 10$ を満たす。
• 係数 $a_{ij}, b_{ij}, v, w$ を用いて方程式をパラメータ化し、幾何的制約を反映するようにパラメータ間の依存関係を設定する。
• 方程式は、特異点が解消され、望ましい $\widetilde{E}_i + R$ 構成を持つエンリケス多様体が得られるように設計されており、$R$ はその構成の一部に重複度1で交わる。
• 特異点の解消は、逐次的なブ lows-up を用いて行われる。最初の特異点の除法は吹き飛ばされ、さらなるブ lows-up により genus が低下し、パラメータの条件に応じて $E_6$, $E_7$, または $E_8$ 特異点が得られる。
• 変数のスケーリング（$x \mapsto \lambda x$ など）と定数項のスケーリングにより正規化が達成され、$\boldsymbol{\alpha}_2$ の場合、パラメータ $w$, $b_{50}$, または $a_{80}$ を1に設定できる。
• ファイブレーション構造はオイラー特性の公式を用いて分析され、$z$ 項が存在しないことと、野生的（wild）な二重ファイバーが存在することにより、準楕円ファイブレーションが確認される。局所的寄与は合計で8に等しい。

実験結果

リサーチクエスチョン

• RQ1 コセックとドロガチェフが予想したように、特徴が2のエンリケス多様体が $\widetilde{E}_6 + R$, $\widetilde{E}_7 + R$, $\widetilde{E}_8 + R$ 構成を持つのか？
• RQ2 このような多様体は代数的方程式によって明示的に記述可能か？ もしそうなら、その定義形式は何か？
• RQ3 ピカール群スキームのタイプ（$\mathbf{Z}/2$ または $\boldsymbol{\alpha}_2$）と、これらの構成の存在との関係は何か？
• RQ4 $\mathbf{Z}/2$ の場合、方程式形式は一意的か？ $\boldsymbol{\alpha}_2$ の場合、パラメータを正規化して記述を簡略化できるか？
• RQ5 ファイブレーション構造（準楕円）は、多様体の構成とオイラー特性にどのように反映されるか？

主な発見

• この論文は、$\mathbf{Z}/2$ および $\boldsymbol{\alpha}_2$ タイプのエンリケス多様体について、$\widetilde{E}_6 + R$, $\widetilde{E}_7 + R$, $\widetilde{E}_8 + R$ 構成を持つ明示的な方程式を構成し、『追加の特殊』な多様体の存在を証明する。
• $\mathbf{Z}/2$ の場合、多様体は与えられた方程式形式で一意に表現可能であり、モジュライ写像の単射性が示される。
• $\boldsymbol{\alpha}_2$ の場合、変数および定数のスケーリングによりパラメータ $w$, $b_{50}$, $a_{80}$ を1に正規化でき、方程式が簡略化される。
• 解消プロセスは2回のブ lows-up で構成される。最初の特異点の除法は吹き飛ばされ、2番目のブ lows-up により genus 1 の特異点が得られ、さらなるブ lows-up により genus が低下し、$E_6$, $E_7$, または $E_8$ のタイプに一致する。
• ファイブレーションは準楕円的であり、$z$ 項が存在しないことと、オイラー特性の寄与が8に等しいことから確認される。$\widetilde{E}_7$ は7を寄与し、$A_1^*$ ファイバーは1を寄与する。
• $\boldsymbol{\alpha}_2$ タイプのための方程式は一般パラメータに対して有効であり、$w \neq 0$ のとき $\widetilde{E}_6 + R$ に特異化する。$w=0$ のとき $\widetilde{E}_7 + R$ に特異化し、$b_{50}=0$ で $a_{80} \neq 0$ ならば $\widetilde{E}_8 + R$ に特異化する。