[論文レビュー] Another proof of the Semistable Reduction Theorem

Kai Arzdorf, Stefan Wewers|arXiv (Cornell University)|Nov 19, 2012

Algebraic Geometry and Number Theory参考文献 10被引用数 11

ひとこと要約

本稿では、局所体上の代数曲線の半安定還元定理に対する、新たな構成的証明を提示する。この証明は、射影直線の繰り返しのブ lows-up を用いた半安定モデルの構成に問題を還元することで行われる。主な貢献は、剛体解析的空間に基づく幾何的基準であり、曲線のモデルの特別ファイバーにおける特異点が、特異点におけるブ lows-up によって改善されることを保証する。この改善は、有限回のステップで、かつ基底体の有限拡張を経て、半安定モデルに至る。

ABSTRACT

We give a new proof of the Semistable Reduction Theorem for curves. The main idea is to present a curve $Y$ over a local field $K$ as a finite cover of the projective line $X=\PP^1_K$. By successive blowups (and after replacing $K$ by a suitable finite extension) we construct a semistable model of $X$ whose normalization with respect to the cover is a semistable model of $Y$.

研究の動機と目的

• 局所体上の曲線の半安定還元定理に対する、新たな構成的証明を提供すること。
• 種数 g ≥ 3 の曲線に対して、半安定モデルを明示的に計算する実用的課題に取り組むこと。
• p-循環被覆のマティニオンのアルゴリズムを、ブ lows-up 技法を用いてより広いクラスの曲線へ一般化すること。
• 特異点におけるブ lows-up によって、曲線のモデルの特別ファイバーにおける特異点の型がどのように改善されるかを示す基準を確立すること。
• P¹ のモデルの特別ファイバーにおける特異点における繰り返しのブ lows-up が、有限回のステップで基底体の有限拡張後に元の曲線の半安定モデルに至ることを示すこと。

提案手法

• 局所体 K 上の曲線 Y は、有限分離被覆 φ: Y → X = P¹_K として扱われる。
• X のモデル X_R を、P¹_R の半安定モデルとして構成し、Y における X_R の正規化 Y_R を考察する。
• 通常の二重点でない特異点 y ∈ Y_s を特定し、φ_R によるその像 x ∈ X_s を用いてブ lows-up の指針とする。
• 特異点 x を中心とするブ lows-up f: X_R' → X_R を、X に付随する剛体解析的空間内のアフィノイドディスクを用いて構成する。これにより誘導される写像 g: Y_R' → Y_R が特異点の型を改善することが保証される。
• 特異点の数値的不変量を用いて改善度を測定し、剛体解析的設定における最大分離境界成分の存在により、このプロセスが有限回で終了することが示される。
• 証明は剛体解析幾何学および、特にインert性部分群と剰余体のガロア群の可解性に依存する、ガロア被覆の性質に依存する。

実験結果

リサーチクエスチョン

• RQ1 射影直線のブ lows-up を用いて、局所体上の曲線の半安定還元定理を構成的に証明できるか？
• RQ2 曲線の半安定モデルを局所体上にアルゴリズム的に決定するにはどうすればよいか？
• RQ3 曲線のモデルの特別ファイバーにおける特異点におけるブ lows-up が、正規化の特異点型を改善するための条件は何か？
• RQ4 繰り返しのブ lows-up が有限回のステップで半安定モデルに至る条件は何か？
• RQ5 剛体解析幾何学は、基底変換およびブ lows-up における特異点の挙動を分析する上で、どのような役割を果たすか？

主な発見

• 本稿では、P¹ のモデルの特別ファイバーにおける特異点における繰り返しのブ lows-up が、有限回のステップで基底体の有限拡張を経て、元の曲線の半安定モデルに至ることを示すことにより、半安定還元定理を構成的に証明した。
• 任意の局所体 K 上の曲線 Y に対して、Y_L が半安定還元をもつような有限拡張 L/K が存在し、証明はそのようなモデルを構成する幾何的アルゴリズムを提供する。
• 特異点 y ∈ Y_s におけるブ lows-up による改善の存在は、形式的ファイバーの剛体解析的構造と、剰余体のガロア群の可解性を用いて確立された。
• 証明により、X = P¹_K に付随する剛体解析的空間内のアフィノイドディスクの集合が包含関係において最大元をもつことが示され、これは特異点型を改善するブ lows-up に対応する。
• 本手法は、ジャコビアンの torsion 点に依存せず、被覆およびブ lows-up の局所幾何学を用いるため、半安定モデルを構成するより実用的な道筋を提供する。
• 主な技術的結果は、形式的ファイバーの被覆のガロア群が可解であることであり、これは病理的な構成を排除し、ブ lows-up プロセスの終了を保証する。