[論文レビュー] K_1 of a p-adic group ring II. The determinantal kernel SK_1

Ted Chinburg, G. Pappas+1 more|arXiv (Cornell University)|Mar 21, 2013

Algebraic Geometry and Number Theory参考文献 19被引用数 4

ひとこと要約

本稿は、Frobeniusの持ち上げとやや強い追加条件を満たす $p$-進的完全なネーター整域 $R$ に対して、群環 $R[G]$ の行列式核 $ {SK}_1(R[G])$ の構造を決定する。Adam操作を用いた新しい群対数を導入し、ホモロジー的分解を活用することで、$ {SK}_1(R[G])$ が $p$-部分群の共轭類を渡る $ {H}_2(G_i,\mathbb{Z}) \otimes R/(F-1)R$ の直和に同型であることを示し、オリヴァーの結果を高次元環へ一般化する。

ABSTRACT

We describe the group SK_1(R[G]) for group rings R[G] where G is an arbitrary finite group and where the coefficient ring R is a p-adically complete Noetherian integral domain of characteristic zero which admits a lift of Frobenius and which also satisfies a number of further mild conditions. Our results extend previous work of R. Oliver who obtained such results for the valuation rings of finite extensions of the p-adic field.

研究の動機と目的

• $p$-進付値環上の群環の $\mathrm{SK}_1$ に関するR.オリヴァーの結果を、Frobeniusの持ち上げを備えた高次元 $p$-進的完全ネーター環へ一般化すること。
• Adam操作を用いて $\mathrm{K}_1(R[G])$ の行列式像上で定義される、$p$-群から任意の有限群へ拡張可能な新しい群対数を構築すること。
• $\mathrm{SK}_1(R[G])$ を $p$-部分群の共轭類を渡る直和として計算し、群ホモロジーとFrobenius写像の余核を用いて表現すること。
• 特に $\mathbb{Z}$ 上の高次元スキームの文脈において、等変Iwasawa理論およびアデール的リーマン・ローチ定理のための基礎的道具を提供すること。

提案手法

• 行列式像 $\mathrm{Det}(\mathrm{K}_1(R[G])) \cong \bigoplus_\chi N^{c\times}$ から持ち上げたAdam操作を用いて、$\mathrm{K}_1(R[G])$ 上に新しい群対数を定義する。
• $R$ 上のFrobenius自己準同型 $F$ の作用を用いて、$\mathrm{SK}_1(R[G])$ の構造を制御する余核 $R/(F-1)R$ を分析する。
• $G$-作用 $\Psi$ による軌道分解を用いて $H_2(G, R[G_r])$ と $\overline{H}_2(G, R[G_r])$ を分解し、$p$-部分群の共轭類を渡る和に帰着する。
• 群ホモロジーにおける核心化および転送写像を用いて、$p$-部分群 $G_i$ の $H_2(G_i, \mathbb{Z})$ をグローバルな $\mathrm{SK}_1$ 群と関連付ける。
• 逆極限のMittag-Leffler条件を用いて $\varprojlim_m W_m((t))/ (1-F)W_m((t))$ を計算し、重要な商の torsion-free 性を示す。
• $j$ が $p$-部分群の共轭類を渡るとして、同型 $\mathrm{SK}_1(R[G]) \cong \bigoplus_j \left[ \overline{H}_2(G_{i_j}, \mathbb{Z}) \otimes R/(F-1)R \right]$ を確立する。

実験結果

リサーチクエスチョン

• RQ1 Frobeniusの持ち上げを備えた高次元 $p$-進的完全環 $R$ に対して、群環 $R[G]$ の行列式核 $\mathrm{SK}_1(R[G])$ をどのように計算できるか。
• RQ2 Adam操作のような代数的構造を用いて、$p$-群に限らない任意の有限群へ古典的群対数の構成を拡張できるか。
• RQ3 $\mathrm{SK}_1(R[G])$ と $p$-部分群 $G_i$ の群ホモロジー $\overline{H}_2(G_i, \mathbb{Z})$ の間の明確な関係は何か。
• RQ4 $p$-進群環の文脈において、余核 $R/(F-1)R$ が $\mathrm{SK}_1(R[G])$ の構造をどのように制御するか。
• RQ5 Frobeniusの持ち上げが、高次元設定における $\mathrm{SK}_1$ の消滅または計算可能性を保証するために果たす役割は何か。

主な発見

• $\mathrm{SK}_1(R[G])$ は $G$ の $p$-部分群の共轭類 $j$ を渡る $\bigoplus_j \left[ \overline{H}_2(G_{i_j}, \mathbb{Z}) \otimes R/(F-1)R \right]$ に同型である。
• Adam操作を用いて $\mathrm{Det}(\mathrm{K}_1(R[G]))$ 上に構成された新しい群対数は、$p$-群から任意の有限群へ古典的対数を拡張する。
• $R = \mathbb{Z}_p\langle\langle t^{-1}\rangle\rangle$ または $W\{\{t\} ight\}$ の場合、商 $R/(1-F)R$ は $W[[t]]/(1-F)W[[t]]$ に同型であり、余核は torsion-free である。
• 逆極限 $\varprojlim_m W_m((t))/(1-F)W_m((t))$ を $W_m[[t]]/(1-F)W_m[[t]]$ で割ったものと同型であり、$\varprojlim_m \bigoplus_{p \nmid k > 0} W_m t^{-k}$ に同型であり、これは torsion-free である。
• $\mathrm{SK}_1(R[G]) \cong \bigoplus_j \left[ \overline{H}_2(G_{i_j}, \mathbb{Z}) \otimes R/(F-1)R \right]$ という結果は、オリヴァーの定理を高次元環へ一般化する。
• 標準的仮定の下で、$\mathrm{SK}_1(R[G])$ の構造は、$p$-部分群の群ホモロジーと $R$ 上のFrobenius作用によって完全に決定される。