Simply branched covers of curves and wild conductor exponents

技術要約：曲線の単純分岐被覆とワイルド導体指数

問題設定
本論文は、$p$進体上の曲線の被覆に関する算術幾何学を扱う。具体的には、単純分岐（simple branching）が被覆の生成的性質であるという古典的な原理の算術的類似性を確立することを目的としている。複素数体の上では、任意の曲線の被覆は単純分岐を持つものへと摂動させることが可能である（すなわち、すべての分岐点が指数2であり、かつ1つのファイバー内に分岐点が複数存在しない状態）。著者は、 $K$ を $p$ 進体として、$\pi: C \to D$ を滑らかで射影的、かつ幾何学的に連結な曲線の被覆としたとき、$\pi$ に $p$ 進的に近い単純分岐な被覆 $\pi': C' \to D$ が存在することを証明しようとしている。

この結果の主な動機は、ワイルド導体指数（$n_{wild}$）の計算にある。著者の最近の研究 [18] では、単純分岐された被覆の分岐集合に基づく $n_{wild}$ の公式が提供されている。しかし、この公式は以前、被覆が既に単純分岐している場合に限定されていたか、あるいは特定の平面曲線に対してアドホックな摂動を必要としていた。本研究の目的は、これらの導体公式から「単純分岐」という仮定を取り除き、任意の被覆に対して $n_{wild}$ を計算できるようにすることである。

手法
本論文は、変形理論（deformation theory）と $p$ 進近似（$p$-adic approximation）の手法を組み合わせて用いている。シュレーアー [16] に着想を得た核心的な戦略は、以下のステップによるものである。

1. 反復的持ち上げ（Iterative Lifting）: 著者による与えられた被覆 $\pi: C \to D$ の $K[[t]]$ 上の形式的変形への持ち上げ。これは、環 $K[t]/(t^{n+1})$ を通じた被覆の反復的な持ち上げによって達成される。
   • 持ち上げの障害（obstruction）は $\text{Ext}^2(L^\bullet_{C/D}, \mathcal{O}_C)$ に存在するが、滑らかな曲線の被覆においてはこれは消滅する（命題 2.3）。
   • 一次変形の集合は $\text{Ext}^1(L^\bullet_{C/D}, \mathcal{O}_C)$ のトースター（torsor）である。
2. 分岐の分離（Separation of Ramification）: 生成的ファイバーが単純分岐であることを保証するために、著者は特定の一次変形を構成する。分岐点の局所構造を分析することにより（補題 2.5）、以下の条件を満たすように変形パラメータを選択できることが示される：
   • 指数 $e \ge 3$ の分岐点は、$e-1$ 個の異なる指数2の点へと分裂する（補題 2.10）。
   • 同一のファイバー内に存在する分岐点は、異なるファイバーへと分離される。
   • これは、変形空間の特定のザリスキー開集合 $U$ 内の変形クラスを選択することによって達成される（補題 2.9）。
3. 代数化と降下（Algebraisation and Descent）: $K[[t]]$ 上の形式的変形を、有限型のスキーム $T$ 上の射へと代数化するために、グロタンディークの代数化定理 [6] を用いる。
4. $p$ 進近似: 単純分岐のロカス（locus）において、元の被覆に $p$ 進的に近い $K$ 有理点が存在することを保証するため、グリーンバーグの近似定理 [5] を適用する。これにより、パラメータ空間 $T$ の原点の $p$ 進近傍における形式的な解を、有理点へと降下させることが可能となる。

主要な結果

• 定理 1.1 (定理 2.7): $K/\mathbb{Q}_p$ を有限次拡大とし、$\pi: C \to D$ を次数 $d$ の滑らかで射影的、かつ幾何学的に連結な曲線の被覆とする。標識点 $0$を持つ滑らかな幾何学的に整な$K$スキーム$T$、滑らかな固有な曲線の族$q_T: \mathcal{C} \to T$、およびファイバー$0$が$\pi$となる有限平坦な射$\Pi_T: \mathcal{C} \to D \times_K T$が存在する。決定的なことに、$\Pi_{T,t}$が単純分岐となる点$t \in T(K)$の集合はザリスキー開集合であり、**$0$のあらゆる$p$進近傍には、この単純分岐なロカスの$K$ 有理点が含まれる。**
• 命題 1.2 (命題 3.2): ターゲットが $\mathbb{P}^1_K$ であり、線束 $L = \pi^*\mathcal{O}_{\mathbb{P}^1}(1)$ が**非常に豊富（very ample）**である場合、ソース曲線 $C$ 自体を保存することができる。具体的には、$\pi$ を定義するペンシル（pencil）のグラスマン多様体 $\text{Gr}(2, H^0(C, L))$ 内の、元のペンシルのあらゆる $p$ 進近傍には、単純分岐な被覆 $C \to \mathbb{P}^1_K$ を定義する基点のないペンシルが存在する。
• 系 1.3: 曲線 $C$ （$K$ 上）および $\infty$ が分岐点ではない被覆 $\pi: C \to \mathbb{P}^1_K$ について、$p > \deg(\pi)$ ならば、ワイルド導体指数は以下で与えられる：
  $$n_{wild}(C) = w_K(\pi) = \sum_{b \in B} \sum_{r \in \pi^{-1}(b)} (e_r - 1) \cdot (v_K(\Delta_{K(b)/K}) - [K(b):K] + f_{K(b)/K})$$
  この公式は、単純分岐な被覆に限らず、任意の 被覆 $\pi$ に対して成立する。なぜなら、$\pi$ は（滑らかな族における導体の局所定数性により）同じ導体指数と同じ $w_K$ の値を持つ単純分岐な被覆 $\pi'$ へと摂動可能だからである。

意義と主張
本論文は、$p$ 進体における単純分岐の「生成的性質」に対して、厳密な算術的基礎を提供すると主張している。その意義は以下の通りである：

1. 一般化: （代数閉体や標数0を想定していた）従来の変形論的な結果を、非代数閉な $p$ 進体へと拡張している。
2. 導体への応用: 著者の以前の公式 [18] における制限的な「単純分岐」という仮定を取り除いている。これにより、$p$ が被覆の次数に対して十分に大きい（$p > \deg(\pi)$、あるいは有理的ゴナリティの文脈では $p > \gamma_{rat}$）場合に、任意の被覆に対して $n_{wild}$ を計算することが可能となる。
3. ソースの固定された摂動: 線束の非常に豊富さ（very ampleness）の下では、ソース曲線 $C$ を変形させる必要はなく、$\mathbb{P}^1$ への写像のみを摂動すればよいことを確立している。

著者は、証明戦略には専門家に馴染みのある手法（変形理論、グロタンディークの代数化）を用いているものの、非代数閉体への拡張および、この問題に対する $p$ 進近似の具体的な適用は、文献における新しい貢献であると述べている。本研究は、すべての素数に対して導体問題を解決することを主張しているのではなく、摂動の議論が成立する範囲、すなわち $p > \deg(\pi)$（または $p > \gamma_{rat}$）の場合に特化して論じている。