[論文レビュー] Galois covers of degree p: semi-stable reduction and Galois action

Mohamed Saı̈di|ArXiv.org|Jun 28, 2001

Advanced Numerical Analysis Techniques被引用数 9

ひとこと要約

本稿は、混合特徴値 $p$ の離散付値環上での半安定還元を記述する、組合せ的・幾何的退化データへの、エタールコホロロジー類から $G_K$--equivariant な標準的特異化写像を確立する。この写像は、$p$ 次ガロア被覆のエタールコホロロジー類から、特徴値 $p$ の組合せ的・幾何的退化データへの写像であり、その写像が全射かつガロア作用と両立することを示す。この結果により、トーショルと局所的退化データを用いた半安定還元の完全分類と実現が可能になる。

ABSTRACT

In this paper we study the semi-stable reduction of Galois covers of degree p above semi-stable curves over a complete discrete valuation ring of inequal characteristics (0,p). We are also able to describe the Galois action on these covers in terms of some geometric and combinatorial datas in characteristic p endowed with the action of the Galois group of the residue field.

研究の動機と目的

• 混合特徴値 $(0,p)$ における半安定曲線上の $p$ 次ガロア被覆の半安定還元を分類すること。
• ガロア群 $G_K$ の作用を、特徴値 $p$ の幾何的および組合せ的データの観点から記述すること。
• エタールコホロロジー類 $H^1_{\text{ét}}(\text{Spec} L, \bar{\nu}_p)$ から、$\overline{k}$ 上の退化データの同型類への標準的特異化写像 $\operatorname{Sp}: H^1_{\text{ét}}(\text{Spec} L, \mu_p) \to \operatorname{Deg}_p$ を構成すること。
• この特異化写像が全射かつ $G_K$-equivariant であることを証明し、ガロア作用と完全に両立することを保証すること。
• 与えられた退化データが、貼り合わせ技法と群スキームの上への持ち上げを通じて、実際に存在する $p$ 次ガロア被覆から生じることを実現すること。

提案手法

• ハーバターの形式的貼り合わせ技法を用い、特異点における局所的ガロア被覆を貼り合わせて、グローバルな半安定モデルを構成する。
• 退化データを、特別化ファイバー $\tilde{X}_k$ の双対グラフ、成分上のエタールトーショル、および指定された導言子を持つマークド点における局所的データの組み合わせとして構成する。
• $R$ 上の有限平坦群スキーム $\mu_p$ および $\mathcal{H}_n$ を用いて、特別化ファイバーから一般化ファイバーへの $\mu_p$-トーショルおよび混合トーショルの持ち上げを行う。
• 各被覆に付随する退化データを対応付けることで、特異化写像 $\operatorname{Sp}: H^1_{\text{ét}}(\text{Spec} L, \mu_p) \to \operatorname{Deg}_p$ を定義する。
• $G_K$ の商 $G_k$ を通じた作用により、$\operatorname{Deg}_p$ に $G_k$-集合の構造を定義し、特異化写像のガロア不変性を保証する。
• 実現定理を適用する：任意の与えられた退化データは、$R$ の有限拡張の後で、実際に存在するガロア被覆の半安定還元として実現可能である。

実験結果

リサーチクエスチョン

• RQ1 混合特徴値において、$p$ 次被覆のガロア作用が特別化ファイバーの幾何的および組合せ的データによって完全に記述可能か？
• RQ2 エタールコホロロジー類から退化データへの特異化写像が全射かつガロア作用と両立するか？
• RQ3 任意の $\overline{k}$ 上の許容的退化データは、実際に存在する $p$ 次ガロア被覆の半安定還元として実現可能か？
• RQ4 一般化ファイバーが滑らかだが特別化ファイバーが一価で木構造でない場合、$p$-被覆の半安定モデルの特別化ファイバーの構造はどのようなものか？
• RQ5 特異点における局所的退化データがどのように貼り合わさって、グローバルなガロア被覆を生成するか？

主な発見

• 特異化写像 $\operatorname{Sp}: H^1_{\text{ét}}(\text{Spec} L, \mu_p) \to \operatorname{Deg}_p$ は全射かつ $G_K$-equivariant であり、被覆と退化データの間の完全かつ両立する対応関係を確立する。
• $\operatorname{Deg}_p$ である退化データの同型類の集合は $G_k$-集合をなしており、$G_K$ の被覆上のガロア作用は、商 $G_K \to G_k$ を通じてこのデータへ持ち上がる。
• 特別化ファイバーが特異的かつ一価で、その構成が木構造ではない例を構成し、ローレンツィニの問いに不等特徴値の場合に対し肯定的な答えを与える。
• 本稿は実現定理を提供する：与えられた退化データ（指定された局所的導言子およびトーショル型）は、$R$ の有限拡張の後で、$p$ 次ガロア被覆の半安定還元として実現可能である。
• $p$-被覆の一般化ファイバー上の $\mu_p$-トーショルについて、$\sigma \in G_K$ による共役の半安定還元は、元の還元グラフの共役と同型であり、成分および曲線が $\overline{\sigma} \in G_k$ の作用により変換される。
• 局所的データからグローバルな被覆を構成するには、開部分集合上のトーショルと特異点における局所的被覆を貼り合わせる。この際、$R$ 上の適切なトーショルの有限平坦群スキームへの持ち上げを用いる。