[論文レビュー] Weak del Pezzo surfaces with global vector fields

Gebhard Martin, Claudia Stadlmayr|arXiv (Cornell University)|Jul 7, 2020

Algebraic Geometry and Number Theory被引用数 4

ひとこと要約

この論文は、任意の特徴値を持つ代数閉体上での滑らかな弱デル・ペッツォ表面の、全局的ベクトル場を有するものの分類を、自己同型群の構造および $(-1)$-曲線と $(-2)$-曲線の配置を用いて行う。特徴値 $p \neq 2,3$、$p=3$、$p=2$ のそれぞれに対して、53、61、75 個の異なる族が同定され、非再結合的自己同型群が特徴値 2 および 3 でちょうど発生することが示された。

ABSTRACT

We classify smooth weak del Pezzo surfaces with global vector fields over an arbitrary algebraically closed field $k$ of arbitrary characteristic $p \geq 0$. We give a complete description of the configuration of $(-1)$- and $(-2)$-curves on these surfaces and calculate the identity component of their automorphism schemes. It turns out that there are $53$ distinct families of such surfaces if $p eq 2,3$, while there are $61$ such families if $p = 3$, and $75$ such families if $p = 2$. Each of these families has at most one moduli. As a byproduct of our classification, it follows that weak del Pezzo surfaces with non-reduced automorphism scheme exist over $k$ if and only if $p \in \{2,3\}$.

研究の動機と目的

• 代数閉体上での滑らかな弱デル・ペッツォ表面が全局的ベクトル場を有する場合を分類すること。
• そのような表面における $(-1)$-曲線および $(-2)$-曲線の配置を特定すること。
• 各ケースにおける自己同型群の単位成分 $\operatorname{Aut}_X^0$ を計算すること。
• $\operatorname{Aut}_X^0$ が非再結合的（特に正の特徴値の場合）となる条件を同定すること。
• 各族のモジュライ次元を決定すること。

提案手法

• Blanchardの補題により $\operatorname{Aut}_X^0$ が最小モデルに下方に降下することを用い、$\operatorname{PGL}_3$ 内の安定化子を介して明示的な計算が可能になること。
• $\mathbb{P}^2$ の一般位置に近い 8 点までの点の吹き上げ配置における $\operatorname{Aut}_X^0$ の作用を分析すること。
• 曲線の配置に基づいて表面を分類し、$(-1)$-曲線（細い）と $(-2)$-曲線（太い）を区別し、交差重複度を 3 まで許容すること。
• $H^0(X, T_X) = \operatorname{Aut}_X^0(k[\epsilon]/(\epsilon^2))$ を計算して $\operatorname{Aut}_X^0$ の非再結合性を検出すること。
• 不変量理論および $\operatorname{PGL}_3$-不変幾何学を用いて、$k$-スキーム $R$ に対して $\operatorname{Aut}_X^0(R)$ の構造を同定すること。
• 同型類と変形パrameter の分析によりモジュライ次元を決定し、$\{\text{pt}\}$ は一意性を示す。

実験結果

リサーチクエスチョン

• RQ1 代数閉体上での弱デル・ペッツォ表面のうち、非自明な全局的ベクトル場を有するものはどれか？
• RQ2 さまざまな特徴値において、$(-1)$-曲線および $(-2)$-曲線の配置はどのように異なるか？
• RQ3 どの特徴値において、単位成分 $\operatorname{Aut}_X^0$ が滑らかでなくなる（非再結合的になる）か？
• RQ4 これらの表面はいくつのモジュライを有するか？ また、モジュライ空間が 0 次元になるのはいつか？
• RQ5 $\operatorname{Aut}_X^0$ の正確な群スキームとしての構造は何か？ そして、表面上でどのように作用するか？

主な発見

• 特徴値 $p \neq 2,3$ の場合、全局的ベクトル場を有する弱デル・ペッツォ表面は正確に 53 個の異なる族を有する。
• 特徴値 $p = 3$ の場合、61 個の族があり、$p = 2$ の場合 75 個である。これは正の特徴値における複雑性の増加を反映している。
• 非再結合的自己同型群は、$p \in \{2,3\}$ の場合に限り発生し、この場合 $\operatorname{Aut}_X^0$ は非滑らかである。
• 単位成分 $\operatorname{Aut}_X^0$ は特徴値 2 において $\mu_2$（単位の平方根の群）に同型であり、それ以外の場合は自明である。
• 各族に対して、モジュライ空間は既約的であり、次元は 1 以下であり、次元が 1 であるのはパrameter $\alpha$ に依存する場合に限る。
• この分類には、吹き上げによって得られる 1 次の弱デル・ペッツォ表面を介して、すべてのヤコビアン有理（準）楕円的表面が、全局的ベクトル場を有するものも含む。