[论文解读] 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

一句话总结

本文确定了在 $ R $ 为具有 Frobenius 保持的 $ p $-进完备 Noetherian 整环（特征为零）且满足较弱附加条件时，群环 $ R[G] $ 的行列式核 $ \mathrm{SK}_1(R[G]) $ 的结构。通过引入一种基于 Adams 变换的新型群对数，并利用同调分解，作者证明 $ \mathrm{SK}_1(R[G]) $ 同构于所有 $ p $-子群共轭类上的 $ \overline{H}_2(G_i,\mathbb{Z}) \otimes R/(F-1)R $ 的直和，将 Oliver 的结果推广至高维环。

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.

研究动机与目标

• 将 R. Oliver 关于 $ p $-进赋值环上群环的 $ \mathrm{SK}_1 $ 的结果推广至具有 Frobenius 保持的更高维 $ p $-进完备 Noetherian 环。
• 开发一种新型群对数，通过 $ \mathrm{K}_1(R[G]) $ 的行列式像上的 Adams 变换，将经典构造从 $ p $-群推广至任意有限群。
• 将 $ \mathrm{SK}_1(R[G]) $ 计算为对 $ p $-子群共轭类的直和，以群上同调和 Frobenius 映射的余核表示。
• 为等变 Iwasawa 理论与配极 Riemann-Roch 定理提供基础工具，尤其在 $ \mathbb{Z} $ 上的高维概形背景下。

提出的方法

• 通过从行列式像 $ \mathrm{Det}(\mathrm{K}_1(R[G])) \cong \bigoplus_\chi N^{c\times} $ 提升的 Adams 变换，在 $ \mathrm{K}_1(R[G]) $ 上定义一种新型群对数。
• 利用 $ R $ 上 Frobenius 自同态 $ F $ 的作用分析余核 $ R/(F-1)R $，该余核控制 $ \mathrm{SK}_1(R[G]) $ 的结构。
• 通过 $ 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)) $，证明关键商的无挠性。
• 建立同构关系 $ \mathrm{SK}_1(R[G]) \cong \bigoplus_j \left[ \overline{H}_2(G_{i_j}, \mathbb{Z}) \otimes R/(F-1)R \right] $，其中 $ j $ 遍历 $ p $-子群的共轭类。

实验结果

研究问题

• RQ1 如何计算当 $ R $ 为具有 Frobenius 保持的高维 $ p $-进完备环时，群环 $ R[G] $ 的行列式核 $ \mathrm{SK}_1(R[G]) $？
• RQ2 能否通过如 Adams 变换等代数结构，将 $ 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]) $ 同构于 $ \bigoplus_j \left[ \overline{H}_2(G_{i_j}, \mathbb{Z}) \otimes R/(F-1)R \right] $，其中 $ j $ 遍历 $ G $ 的 $ p $-子群的共轭类。
• 通过在 $ \mathrm{Det}(\mathrm{K}_1(R[G])) $ 上使用 Adams 变换构造的新型群对数，将经典对数从 $ p $-群推广至任意有限群。
• 当 $ R = \mathbb{Z}_p\langle\langle t^{-1}\rangle\rangle $ 或 $ W\{\{t\} ight\} $ 时，商 $ R/(1-F)R $ 同构于 $ W[[t]]/(1-F)W[[t]] $，且余核为无挠。
• 逆极限 $ \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} $，且该结构为无挠。
• 结果 $ \mathrm{SK}_1(R[G]) \cong \bigoplus_j \left[ \overline{H}_2(G_{i_j}, \mathbb{Z}) \otimes R/(F-1)R \right] $ 将 Oliver 定理推广至高维环。
• 在既定假设下，$ \mathrm{SK}_1(R[G]) $ 的结构完全由 $ p $-子群的群上同调与 $ R $ 上 Frobenius 作用决定。