[論文レビュー] Automorphisms of local fields of period $p$ and nilpotent class $<p$

Victor Abrashkin|arXiv (Cornell University)|Mar 17, 2014

Carbohydrate Chemistry and Synthesis参考文献 14被引用数 4

ひとこと要約

本稿は、$p$-進局所体 $K$ の最大 $p$-拡張のガロア群 $\Gamma_{<p}$ が、可解クラス $< p$ で周期 $p$ であることを仮定し、古典的な $p$-群と $\mathbb{F}_p$ 上のリー代数の間の同値関係を用いて、リー代数を介して研究する。ramification filtration $\{\Gamma^{(v)}_{<p}\}_{v \geq 0}$ は、関連するリー代数 $L$ のイデアル $L^{(v)}$ を用いて明示的に記述され、アーティン＝シュライエル生成子の.lift $\tau_{<p}$ の作用を通じて、デムシキン関係とramification構造との直接的な関係が確立される。

ABSTRACT

Suppose $K$ is a finite field extension of $\mathbb{Q} _p$ containing a primitive $p$-th root of unity. Let $\Gamma _{<p}$ be the Galois group of a maximal $p$-extension of $K$ with the Galois group of period $p$ and nilpotent class $<p$. In the paper we describe the ramification filtration $\{\Gamma _{<p}^{(v)}\}_{v\geqslant 0}$ and relate it to an explicit form of the Demushkin relation for $\Gamma _{<p}$. The results are given in terms of Lie algebras attached to involved groups by the classical equivalence of the categories of $p$-groups and Lie algebras of nilpotent class $<p$.

研究の動機と目的

• $p$-進局所体 $K$ の最大 $p$-拡張で、可解クラス $< p$ かつ周期 $p$ であるような $\Gamma_{<p}$ の構造を理解すること。
• リー代数同値関係を介して、関連するリー代数 $L$ のイデアルを用いて、ramification filtration $\{\Gamma^{(v)}_{<p}\}_{v \geq 0}$ を記述すること。
• アーティン＝シュライエル生成子の.lift $\tau_{<p}$ の作用を通じて、$\Gamma_{<p}$ におけるデムシキン関係とramification構造との関係を特定すること。
• field-of-norms関手と可解クラス $< p$ のアーティン＝シュライエル理論を用いて、ramification filtration とリー代数のイデアル $L^{(v)}$ のフィルトレーションとの対応を確立すること。

提案手法

• 可解クラス $< p$ の $p$-群と $\mathbb{F}_p$ 上のリー代数との古典的同値関係を用いて、$\Gamma_{<p} = G(L)$ となるリー代数 $L$ を特定する。
• field-of-norms関手を用いて、混合特徴類から特徴類 $p$ への問題の転送を行い、$\Gamma_{<p}$ を特徴類 $p$ の体上のガロア群と同一視する。
• 一様化因子 $t$ と $k$ 内のトレースが 1 である元 $\alpha_0 \in k$ を用いて、リー代数 $L_k$ の生成子 $\{D_{a,n}\} \cup \{D_0\}$ を明示的に構成する。
• ヒーランド関数とリー代数内のフィルトレーションを用いて、特定の要素 $F^{0}_{\gamma,-N} \in L^{(v)}_k$ がすべての $\gamma \geq v$ に対して成り立つような最小のイデアル $L^{(v)}$ をramificationイデアルとして定義する。
• Campbell-Hausdorffの公式を用いて、$L$ 上の群構造を $G(L)$ として定義し、合成則 $l_1 \circ l_2 = l_1 + l_2 + \frac{1}{2}[l_1,l_2] + \cdots$ を与える。
• 随伴作用 $\operatorname{ad}_{\tau_{<p}}(D_0)$ を用いてデムシキン関係を確立し、それがramificationフィルトレーションに属し、算術的.liftの基準を満たすことを示す。

実験結果

リサーチクエスチョン

• RQ1 可解クラス $< p$ の $p$-拡張のガロア群 $\Gamma_{<p}$ のramification filtration $\{\Gamma^{(v)}_{<p}\}_{v \geq 0}$ は、関連するリー代数 $L$ のリー代数構造とどのように関係しているか？
• RQ2 ramification部分群 $\Gamma^{(v)}_{<p}$ に対応するイデアル $L^{(v)} \subset L$ の正確な構造は何か？
• RQ3 $\Gamma_{<p}$ におけるデムシキン関係は、リー代数 $L$ 及びそのフィルトレーションの観点からどのように現れるか？
• RQ4 アーティン＝シュライエル生成子 $\tau_0$ の.lift $\tau_{<p}$ が算術的であるための条件は何か？ そしてそれはramification filtration とどのように関係するか？
• RQ5 field-of-norms関手と一様化因子 $t$ は、リー代数イデアルによるramification filtration の実現において果たす役割は何か？

主な発見

• ramification filtration $\{\Gamma^{(v)}_{<p}\}_{v \geq 0}$ は、リー代数 $L$ のイデアル $L^{(v)}$ に対する $G(L^{(v)})$ の像として $\Gamma_{<p} = G(L)$ 内に正確に対応する。
• 拡張 $K[s]/K$ の最大上部ramification番号は、$s=1$ のとき $e^* = e_K p / (p-1)$ であり、$2 \leq s < p$ のとき $\phi_{K/K}(e^*s - 1) = e_K(1 + s/(p-1)) - 1/p$ である。ここで $\phi$ はヒーランド関数である。
• 生成子 $\tau_{<p}$ が算術的であるための必要十分条件は、再帰式 (3.4) の解 $c_1$ と $\{V_a\}_{a \in \mathbb{Z}_0(p)}$ が定理 4.8 の基準を満たすことである。
• $v \leq e^*$ のとき、ramification部分群 $\Gamma^{(v)}_{<p}$ は $G(L^{(v)})$ と $\tau_{<p}$ によって生成されるが、$v > e^*$ のとき、それは $v^* = e^* + p(v - e^*)$ を用いた $G(L^{(v^*)})$ の像である。
• デムシキン関係は $v = e^*$ において $\operatorname{ad}_{\tau_{<p}}(D_0) \in L^{(v)}$ として実現され、この要素が適切なramificationイデアルに属することから、群の関係とフィルトレーションが結びつく。
• ramificationイデアル $L^{(v)}$ は、すべての $\gamma \geq v$ および十分に大きな $N$ に対して $F^0_{\gamma,-N} \in L^{(v)}_k$ が成り立つという条件で特徴づけられ、これらの生成子は重み $\geq p$ の交換子の線形結合である。