Explicit descriptions of the subfields $(NL)^{pi}$ and $(NL)^{pi}(NL)^{sep}$ of $NL$ and new explicit criteria for $NL = (NL)^{pi}(NL)^{sep}$

「$L$ の部分体 $(L)_{pi}$ および $(L)_{pi}(L)_{sep}$ の明示的な記述、および $L = (L)_{pi}(L)_{sep}$ となるための新たな明示的基準」に関する技術的要約

問題提起
本論文は、標数 $p > 0$ の素数体における有限次体の拡大の構造解析を扱っている。具体的には、$L = K(\theta) \cong K[x]/(f(x))$ であるような単純有限次拡大 $L/K$ と、純不分岐拡大 $N/K$ による合成体 $NL$に焦点を当てている。中心となる問題は、$L$における極大純不分岐部分体 ($(L){pi}$)、極大分離拡大部分体 ($(L){sep}$)、およびそれらの合成体 ($(L){pi}(L){sep}$) を、明示的かつ構成的に記述することである。

この領域における主要な課題は、一般に、合成体 $L_{pi}L_{sep}$ は $L$ の真の部分体（すなわち $L_{pi}L_{sep} \subsetneq L$）となることである。本論文は、係数の最小多項式 $f(x)$ を用いて、各部分体の次数および生成元を決定することにより、$L$ がその分離的部分と純不分岐的部分のテンソル積からどの程度逸脱しているかを正確に定量化しようとしている。

手法
著者は、「分離的表現（separable presentation）」に基づく構成的な代数的アプローチを用いている。最小多項式 $f(x) \in K[x]$ に対して、論文では $f(x) = f_{sep}(x^{p^n})$ という一意の分解を利用する。ここで $f_{sep}$ は分離的であり、$n$ は不分離次数である。

手法は以下に基づいている：

1. 体の不変量： 数値的不変量、特に $m_f$（$L/K$ 用）および $m_{f,N}$ と $m_{f,N}(\theta)$（$NL/N$用）の定義と利用。これらの不変量は、特定の$p^{m'}$乗根が関連する拡大体の中に含まれるような最大の整数$m'$ として定義される。
2. 明示的な構成： 多項式 $f(x) = \sum \lambda_i x^{ip^n}$ の係数 $\lambda_i$ から、部分体の生成元を直接導出すること。
3. 次数の計算： $[L_{pi}:K]$、$[L_{sep}:K]$、$[L_{pi}L_{sep}:L_{pi}]$、および欠損次数 $[L : L_{pi} \otimes L_{sep}]$ といった明示的な数値的次数の計算。
4. 合成体の解析： $N/K$ が純不分岐拡大である場合へと結果を拡張し、$NL = N(\theta)$ の構造を解析し、$(NL)_{pi}$ と $(NL)_{sep}$ が $N$ および元の係数とどのように関連するかを決定すること。

主要な貢献と結果

1. 単純拡大 $L/K$ に対する明示的な記述
本論文は、最小多項式 $f(x) = \sum_{i=0}^s \lambda_i x^{ip^n}$ を持つ単純拡大 $L = K(\theta)$ の部分体を完全に特徴付けている：

• 極大分離部分体： $L_{sep} = K(\theta^{p^n})$ であり、次数は $[L_{sep}:K] = s = \deg(f_{sep})$ である。
• 極大純不分岐部分体： $L_{pi} = K(\lambda_0^{1/p^m}, \dots, \lambda_{s-1}^{1/p^m})$ である。ここで $m = m_f$ は、係数の冪根が $L_{pi}$ 内に含まれる最大の冪 $p^m$ によって定義される不変量である。次数は $[L_{pi}:K] = p^m$ である。
• 合成体： $L_{pi}L_{sep} = L_{pi}(\theta^{p^{n-m}})$ である。論文では $L_{pi}L_{sep} \cong L_{pi} \otimes_K L_{sep}$ であることを証明している。
• 欠損（Defect）： $L$ から $L_{pi}L_{sep}$ への拡大は、指数 $n-m$ の単純純不分岐拡大であり、次数は $p^{n-m}$ である。これにより、$L_{pi}L_{sep}$ がなぜしばしば $L$ の真の部分体となるのかが明示的に定量化されている。

2. 合成体拡大 $NL/N$ に対する明示的な記述
$L/K$ が単純拡大であり、$N/K$ が純不分岐拡大であるとき、本論文は $NL/N$ の部分体を記述している：

• $NL/N$に関連する不変量$m_{f,N}$および$m_{f,N}(\theta)$ を導入している。
• **$NL$の構造：**$\theta$の$N$上の最小多項式は、$f_N(x) = \sum \lambda_i^{1/p^{m_{f,N}}} x^{i p^{n-m_{f,N}}}$ として明示的に与えられる。
• 部分体：
  • $(NL)_{sep} = N(\theta^{p^{n-m_{f,N}}})$。
  • $(NL)_{pi} = N(\lambda_0^{1/p^{m_{f,N} + m_{f,N}(\theta)}}, \dots, \lambda_{s-1}^{1/p^{m_{f,N} + m_{f,N}(\theta)}})$。
  • 合成体 $(NL)_{pi}(NL)_{sep}$ は、$L/K$ の場合と同様に記述され、その次数は不変量の和によって決定される。
• 論文は、$(NL)_{pi}$ が一般に $NL_{pi}$（$L$ の純不分岐部分体を $N$ で拡大したもの）を厳密に包含することを明らかにし、その包含関係の正確な次数を示している。

3. 等式 $L = L_{pi}L_{sep}$ に関する新たな明示的基準
本論文は、等式 $L = L_{pi}L_{sep}$（あるいは $L \cong L_{pi} \otimes L_{sep}$）のための、必要かつ十分な条件を新たに確立している：

• 単純拡大の場合： $L = L_{pi}L_{sep}$ であるための必要十分条件は $m_f = n$ であることである。これは、$\lambda_i^{1/p^n} \in L$ であること、あるいは $f$ の $p^n$ 乗根の係数が $L$ の純不分岐部分体に含まれることと同値である。
• 一般の有限拡大の場合： 単純拡大の合成体 $L = L_1 \cdots L_\nu$ である一般的な有限拡大に対して、論文は生成元の最小多項式の係数 $\lambda_{ij}$ に基づく基準を提供している。具体的には、$L = L_{pi}L_{sep}$ であるための必要十分条件は、すべての生成元および係数に対して $\lambda_{ij}^{1/p^{n_i}} \in L_{pi}$ であることである。

意義と主張
著者は、本研究の主要な意義は、抽象的な存在定理を超えて、明示的かつ計算可能な記述を提供することにあると主張している。

• 明示性： 部分体を抽象的に記述する可能性のある先行研究とは異なり、本論文は、定義多項式の係数から直接 $L_{pi}$ および $L_{sep}$ の生成元を与える公式を提供している。
• 欠損の定量化： 本論文は $[L : L_{pi}L_{sep}] = p^{n-m_f}$ という次数を明示的に計算しており、$L$ とその分離・純不分岐合成体の間の正確な「隙間」を明らかにしている。
• 新たな基準： 最小多項式の係数を通じて検証可能な $L = L_{pi}L_{sep}$ のための新たな基準を提示しており、既知の基準（次数による判定や、純不分岐部分体上の分離性など）を、より構成的な枠組みへと拡張している。
• 一般化： 結果を単純拡大から、純不分岐拡大 $N$ が添加されたケースへと一般化し、$NL$ の構造を分析するための統一的な枠組みを提供している。

本論文は、理論的な発展を超えた実験的な応用や将来的な含意を提案するものではない。むしろ、正標数における有限体拡大の構造論に対する基礎的な貢献として位置づけられており、明示的な計算と分類のためのツールを提供している。