[論文レビュー] Galois invariants of K_1-groups of Iwasawa algebras

Dmitriy Izychev, Otmar Venjakob|arXiv (Cornell University)|Jun 28, 2010

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

ひとこと要約

本稿は、$p$-進数体の整数環上の有限およびコンパクトな $p$-進 Lie 群に付随する Iwasawa 環の $K_1$-群について、Galois 降下に関する結果を確立する。有理 $K_1$-群が Galois 降下のもとで保存されることを証明し、特に $SK_1$-群を用いて障害を同定する。特に、すべての有限群 $G$ に対して $SK_1(\widehat{\mathbb{Z}_p^{ur}}[G]) = 1$ であることを示し、これは一般に $SK_1$-群の Galois 降下が成立しないことを示している。

ABSTRACT

We study Galois descent of K_1 of group algebras with coefficients in certain subrings of the ring of integers of C_p, the completion of an algebraic closure of Q_p.

研究の動機と目的

• Fukaya と Kato が提起した、Iwasawa 環とフロベニウス作用を含む $K_1$-系列の完全性に関する予想を解決すること。
• $p$-進環上の群環の $K_1$-群について、Galois 降下が成り立つかどうかを、特に無限拡大および非ユニフォーム化環の場合に調査すること。
• 有理 $K_1$-群では Galois 降下が成立するが、$SK_1$-群では一般に成立しない理由を明確にすること。
• 既知の整数群対数に関する結果を、無限 Galois 拡大およびコンパクトな $p$-進 Lie 群へと拡張すること。
• 群コホホロジーと非分岐拡大を用いて、特番 $p$ の剰余体上での類似する降下結果を導出すること。

提案手法

• 局所体および全球体上の群環の Galois 降下の Fröhlich の Hom 述語的記述を、整数的降下のモデルとして用いる。
• スネイク補題と $SK_1$-完全列を用いて、$K_1(R[G])$ と $K_1(S[G])^\Delta$ を核および余核項を通じて関連付ける。
• 有理 $K_1$-降下を $
  \mathbb{Q}$ でのテンソル積を用いて確立し、適切な条件下で $K_1(R[G])_{\mathbb{Q}} \cong K_1(S[G])_{\mathbb{Q}}^\Delta$ を示す。
• 群コホホロジーを用いて降下列における余核 $C$ および核 $K$ を解析し、特に非分岐拡大の逆極限を用いて $\mathrm{H}^1(\Delta, S[\mathcal{C}_G]) = 1$ を示す。
• Snaith および Taylor の整数群対数の構成を、無限 Galois 拡大および $p$-進 Lie 群に適応する。
• $SK_1(\widehat{\mathbb{Z}_p^{ur}}[G]) = 1$ をすべての有限群 $G$ に対して証明し、これは $SK_1$-降下の失敗を説明する。

実験結果

リサーチクエスチョン

• RQ1 Iwasawa 環 $\Lambda = \mathbb{Z}_p[G]$ に対して、系列 $0 \to K_1(\Lambda) \to K_1(\widetilde{\Lambda}) \xrightarrow{1 - \varphi_*} K_1(\widetilde{\Lambda}) \to 0$ は完全性を保つのか？
• RQ2 環 $R$ が $\mathbb{Z}_p$ の有限または無限拡大であるとき、$K_1(R[G])$ に対して Galois 降下が成り立つ条件は何か？
• RQ3 有理 $K_1$-群では Galois 降下が成立するが、$SK_1$-群では一般に成立しないのはなぜか？
• RQ4 整数群対数の手法を無限 Galois 拡大およびコンパクトな $p$-進 Lie 群へと拡張できるか？
• RQ5 特番 $p$ の剰余体上での $K_1$-群の Galois 降下列における核および余核の構造は何か？

主な発見

• 有理 $K_1$-群は Galois 降下を満たす：$R = \mathbb{Z}_p$, $S = \widehat{\mathbb{Z}_p^{ur}}$, $\Delta = \mathrm{Gal}(M^0/L)$ のとき、$K_1(R[G])_{\mathbb{Q}} \cong K_1(S[G])_{\mathbb{Q}}^\Delta$ が成り立つ。
• 系列 $1 \to K \to K_1(R[G]) \xrightarrow{i_*} K_1(S[G])^\Delta \to C \to 1$ は完全であり、$K$ および $C$ は $S$ の分岐およびタイプに依存する。
• 非分岐拡大（$n=0$）およびタイプ 1 の $S$ の場合、$K$ および $C$ はともに消えるため、$i_*$ は同型である。
• $S$ がタイプ 2 またはタイプ 1 で $n = \infty$ の場合、$K \cong SK_1(R[G])$ かつ $C = 1$ であり、これは $SK_1$-障害による降下の失敗を示している。
• $p$-群および $0 < n < \infty$ の場合、$K \cong SK_1(R[G])[p^n]$ かつ $C \cong SK_1(R[G])/p^n$ であり、torsion 障害が現れる。
• 剰余体の場合、$\mathrm{H}^1(\Delta, S[\mathcal{C}_G]) = 1$ であるため、$K_1(\kappa[G])$ の降下列は完全であり、有理 $K_1$-同型を誘導する。