[論文レビュー] Scaffolds and integral Hopf Galois module structure on purely inseparable extensions

Alan Koch|arXiv (Cornell University)|May 29, 2014

Algebraic structures and combinatorial models参考文献 13被引用数 5

ひとこと要約

本稿は、$p^n$ 次の完全に分岐する純粋非可換拡大体（$n \geq 2$）に対して、Hopf Galois スカラフォールドを導入し、正規基底定理の Hopf Galois版を可能にする。分数イデアル $\mathfrak{P}_L^h$ がその関連順序において自由であるかどうかを判定する数値的基準を確立し、$\operatorname{res}(h-2) > (p^n - 3)/2$ のとき自由となる。この基準により、このような拡大体における整数的 Hopf Galois モジュール構造が完全に特徴付けられる。

ABSTRACT

Let $p$ be prime. Let $L/K$ be a finite, totally ramified, purely inseparable extension of local fields, $\left[ L:K ight] =p^{n},\;n\geq2.$ It is known that $L/K$ is Hopf Galois for numerous Hopf algebras $H,$ each of which can act on the extension in numerous ways. For a certain collection of such $H$ we construct "Hopf Galois scaffolds" which allow us to obtain a Hopf analogue to the Normal Basis Theorem for $L/K.$ The existence of a scaffold structure depends on the chosen action of $H$ on $L.$ We apply the theory of scaffolds to describe when the fractional ideals of $L$ are free over their associated orders in $H.$

研究の動機と目的

• 純粋非可換で完全に分岐する局所体拡大の文脈において、Galois スカラフォールド理論を Hopf Galois 拡大へと拡張すること。
• 強い分岐性のため、整数環 $\mathfrak{O}_L$ が正規整数基底を持たない場合に、分数イデアルの整数的 Galois モジュール構造を記述する課題に取り組むこと。
• スカラフォールド構造を用いて、Hopf代数 $H$ における関連順序 $\mathfrak{A}_h$ に対して、分数イデアル $\mathfrak{P}_L^h$ が自由であるかの数値的基準を構築すること。
• 自由性条件が、スカラフォールドが存在する限り、$H$ や作用の具体的な選択に依存せず、$p^n$ を法とする $h$ の付値にのみ依存することを示すこと。

提案手法

• 各 $t$ に対して $v_L(\lambda_t) = t$ を満たす $L$ の元 $\lambda_t$ と、$v_L(\Psi_i(\lambda_t))$ が計算可能で構造的であるような $H$ の元 $\Psi_i$ を含む $H$-スカラフォールド構造を導入すること。
• 分数イデアル $\mathfrak{P}_L^h$ に作用する関連順序 $\mathfrak{A}_h = \{ \alpha \in H : \alpha(\mathfrak{P}_L^h) \subseteq \mathfrak{P}_L^h \}$ を定義すること。
• $n$, $r$, $f$ をパrameterとする一連の単生成 $K$-Hopf代数 $H_{n,r,f}^*$ に対してスカラフォールドを構成し、$v_K(f)$ がスカラフォールドの許容度を制御すること。
• スカラフォールドを用いて数値的基準を導出：$\mathfrak{P}_L^h$ が $\mathfrak{A}_h$ 上で自由であるための必要十分条件は、$\operatorname{res}(h-2) > (p^n - 3)/2$ である。ここで $\operatorname{res}(x)$ は $x$ を $p^n$ で割った余りを表す。
• スカラフォールドが存在し許容度が十分である限り、自由性条件が Hopf代数 $H$ や作用の選択に依存しないことを示すこと。
• $\mathfrak{P}_L^h = T^m \mathfrak{P}_L^{\operatorname{res}(h)}$ であることに着目し、自由性問題を $0 \leq \operatorname{res}(h) \leq p^n - 1$ の場合に還元すること。

実験結果

リサーチクエスチョン

• RQ1 純粋非可換拡大 $L/K$ に対して、分数イデアル $\mathfrak{P}_L^h$ が Hopf代数 $H$ の関連順序 $\mathfrak{A}_h$ 上で自由である条件は何か？
• RQ2 純粋非可換拡大 $L/K$ が $p^n$ 次（$n \geq 2$）である場合に、Hopf Galois作用に対してスカラフォールド構造を構築可能か？ その目的は、付値とガロア的作用の情報を統一的に記述することである。
• RQ3 $\mathfrak{P}_L^h$ が $\mathfrak{A}_h$ 上で自由である条件は、$h$ の付値と Hopf代数 $H$ の構造にどのように依存するか？
• RQ4 スカラフォールドが存在し許容度が十分である限り、自由性基準は Hopf代数 $H$ や作用の選択に依存しないか？
• RQ5 付値 $v_L(x) = b$ を持つユニフォーマライザ $x$ は、$\mathfrak{P}_L^h$ が $\mathfrak{A}_h$ 上で自由であるかどうかを決定する上で果たす役割は何か？

主な発見

• 分数イデアル $\mathfrak{P}_L^h$ が Hopf代数 $H$ の関連順序 $\mathfrak{A}_h$ 上で自由であるための必要十分条件は、$\operatorname{res}(h-2) > (p^n - 3)/2$ である。ここで $\operatorname{res}(x)$ は $x$ を $p^n$ で割った余りを表す。
• $h$ が $2 - p^n \leq h \leq 1$ の範囲にあるとき、自由性条件は $\frac{p^n - 3}{2} < h - 2 + p^n \leq p^n - 1$ に簡略化され、これは $\operatorname{res}(h-2) > (p^n - 3)/2$ と同値である。
• $\mathfrak{P}_L^h$ が $\mathfrak{A}_h$ 上で自由であることは、スカラフォールドの許容度が十分に高い限り、$H = H_{n,r,f}^*$ の選択や作用の選択に依存しない。
• $\mathfrak{P}_L^h$ が $\mathfrak{A}_h$ 上で自由であるとき、その生成元は一つである：$\mathfrak{P}_L^h = \mathfrak{A}_h \cdot (T^m \rho)$ となる。ここで $\rho$ は付値 $\operatorname{res}(h)$ を持つユニフォーマライザである。
• 整数環 $\mathfrak{O}_L$ は $b = 1$、すなわち $v_L(x) = -1$ のとき、$v_K(f) \geq 3$ ならば $\mathfrak{A}_h$ 上で自由である。この条件は、十分に高い許容度のスカラフォールドが存在することを保証する。
• スカラフォールド構成により、付値とガロア的作用の両方を統一的に記述可能であり、純粋非可換拡大における Hopf Galois 環境への正規基底定理の一般化が達成される。