Ramification groups of Galois extensions over local fields of positive characteristic with Galois group isomorphic to the group of unitriangular matrices

技術要約：単三角群をガロア群に持つガロア拡大の分岐群

問題設定
本論文は、等標数 $p > 0$ かつ剰余体が完全体である完全離散付値体 $K$ の有限ガロア拡大 $L/K$ における分岐群および分岐指数（ramification breaks）の計算について扱う。具体的には、ガロア群が $\mathbb{F}_p$ 上の $n \times n$ 単三角行列の群 $UT_n(\mathbb{F}_p)$ と同型である場合に焦点を当てている。

アーティン・シュライアー（Artin-Schreier）拡大やアーティン・シュライアー・ウィット（Artin-Schreier-Witt）拡大のようなアーベル拡大の分岐指数は、定義方程式の係数の付値によって明示的に決定できる一方で、非アーベルの場合は極めて複雑になる。非アーベルの設定では、上分岐指数が非整数（群の位数で割り切れる分母を持つ分数）になることがあり、既存の手法ではしばばしば拡大体 $L \setminus K$ 内の要素を解析する必要がある。本論文は、拡大体 $L$ の外にある要素に言及することなく、拡大の定義方程式の係数のみを用いてこれらの分岐指数を計算する手法の確立を目指している。

手法
著者は、行列環上の付値とアーティン・シュライアー拡大の理論を組み合わせた多段階のアプローチを採用している。

1. 行列環上の付値: 本論文では、対角成分が $\mathbb{F}_p$ の要素である上三角行列の環 $FT_n(M)$ 上の付値 $v_M$ を定義する。この付値は、基礎体 $M$ の付値を拡張したものであり、特定の条件下で $v_M(XY) \ge \min(v_M(X), v_M(Y))$ という性質、すなわち超距離不等式に類似した性質を満たす。この構造は、アーベルの場合におけるウィット・ベクトルのフィルタリングの部分的な類似として機能する。

2. 定義方程式: 拡大 $L/K$ は、行列方程式 $X^{(p)}A = X$ によって定義される。ここで $A \in UT_n(K)$ であり、$X^{(p)}$ は各成分を $p$ 乗した行列を表す。解行列 $\Theta$ の各成分が $L$ を $K$ 上に生成する。

3. 体拡大による簡約: 非アーベルの問題をアーティン・シュライアーの場合へと簡約するために、著者らは $T^q + T^{q-1} = t^R$ （ここで $q=p^N$ かつ $R$ は $p$ と互いに素）によって定義される特定の全ワイルディ分岐拡大 $K_R/K$ を導入する。同型写像 $\iota_R$ は $K$ を $K_R$ へ写す。

4. 行列近似: コアとなる技術的革新は、解 $\Theta$ とその像 $\iota_R$ の差から導かれる行列 $D_R$ を近似する、べき零三角行列（niltriangular matrices） $S_R \in NT_n(K_R)$ の構成である。$S_R$ の成分 $s_{R,i,j}$ は、$A$ の係数と同型写像 $\iota_R$ のみを用いて明示的に構成される。

5. 帰納的計算: 著者は、成分 $s_{R,i,j}$ の付値と中間部分拡大 $L_{i,j}/K$ の上分岐指数 $r_{i,j}$ との関係を確立する。特定の条件下で $v_{K_R}(s_{R,i,j}) = -q r_{i,j} + R$ であることを証明することにより、係数 $A$ と分岐データとの間のアルゴリズム的な関連性を構築している。

主要な結果
主定理（定理 6.3）は、$3 \le n \le p+2$ かつ $1 \le i < j \le n$ が $j-i \le p+1$ を満たすとき、中間部分拡大 $K(\theta_{l,m} \mid i \le l < m \le j)/K$ の最大の分岐指数 $r_{i,j}$ が次のように与えられることを述べている：
$$r_{i,j} = \frac{R - v_{K_R}(s_{R,i,j})}{q}$$
ここで、$s_{R,i,j}$ は定義行列 $A$ の係数のみから構成される行列 $S_R$ の成分である。

さらに、本論文は $A$ の成分の付値（具体的には、行列グラフにおけるパスの最大付値）から導かれる量 $\mu_{i,j}$ を定義している。著者は $r_{i,j} \le \mu_{i,j}$ であることを証明しており、これは行列 $S_R$ 全体を計算するよりも容易な、明示的な上界を提供している。この上界は、係数に関する特定の等式条件が成立する場合に限り、シャープ（鋭い）となる。

意義と主張
本論文は、ウィット・ベクトルを用いてアーベル拡大の分岐指数を計算した Kanesaka および Sekiguchi [KS79] の結果を一般化するものであると主張している。著者は、導出された公式（本文中の式 1.1）は、アーティン・シュライアー・ウィットの結果の単三角行列版であると断言している。

本研究の意義は以下の点にある：

• 明示的な計算: 拡大体 $L \setminus K$ の要素を構成したり解析したりすることなく、一連の非アーベル拡大の分岐指数を計算する方法を提供する。
• アルゴリズム的性質: 定義行列 $A$ とその像 $\iota_R$ のみを用いて、最大の分岐指数を決定する具体的なアルゴリズムを提供する。
• 基礎的なステップ: すべての有限 $p$ 群は、ある $n$ に対して $UT_n(\mathbb{F}_p)$ に埋め込むことができるため、著者はこれらの知見がより一般的な非アーベル $p$ 拡大の分岐に関する理解に寄与する可能性があると示唆している。ただし、本論文における厳密な証明は、単三角群かつ $j-i \le p+1$ という制約下に限定されている。

本論文は、すべての $n$ や異なる非アーベル群に対して問題を解決したと主張しているわけではなく、任意の $j-i$ への一般化や異なるガロア群の構造への適用にはさらなる調査が必要であるとしている。このアプローチは、リー代数のフィルタリングに関する Abrashkin [A95] の研究から明確に着想を得ており、生成元と分岐フィルタリングの対応関係を行列の設定に適応させたものである。