[论文解读] 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$-进域整数环上之 Iwasawa 代数的 $K_1$-群的伽罗瓦下降结果。证明了有理 $K_1$-群在伽罗瓦下降下保持不变，并通过 $SK_1$-群识别障碍，特别地，证明了对有限 $G$ 有 $SK_1(\widehat{\mathbb{Z}_p^{ur}}[G]) = 1$，这表明 $SK_1$ 的伽罗瓦下降在一般情况下不成立。

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$-群成立，特别是对无限扩张和非统一化环的情形。
• 阐明尽管行列式像在 $p$-进设定下成功实现伽罗瓦下降，$SK_1$-群为何一般情况下不满足伽罗瓦下降。
• 将已知的积分群对数与下降结果推广至无限伽罗瓦扩张和紧致 $p$-进李群。
• 通过群上同调与未分歧扩张，推导特征 $p$ 剩余域上的类似下降结果。

提出的方法

• 以局部与全球域上群环的 Fröhlich 的 Hom 描述作为积分下降的原型。
• 应用蛇形引理与 $SK_1$-正合序列，通过核与余核项关联 $K_1(R[G])$ 与 $K_1(S[G])^\Delta$。
• 通过与 $\mathbb{Q}$ 的张量积建立有理 $K_1$-下降，证明在适当条件下有 $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 构造的积分群对数，将其适配至无限伽罗瓦扩张与 $p$-进李群。
• 证明对所有有限 $G$ 有 $SK_1(\widehat{\mathbb{Z}_p^{ur}}[G]) = 1$，从而解释了 $SK_1$-下降失败的原因。

实验结果

研究问题

• RQ1 序列 $0 \to K_1(\Lambda) \to K_1(\widetilde{\Lambda}) \xrightarrow{1 - \varphi_*} K_1(\widetilde{\Lambda}) \to 0$ 在 Iwasawa 代数 $\Lambda = \mathbb{Z}_p[G]$ 下是否仍保持精确？
• RQ2 当 $R$ 是 $\mathbb{Z}_p$ 的有限或无限扩张时，伽罗瓦下降在什么条件下对 $K_1(R[G])$ 成立？
• RQ3 为何 $SK_1$ 一般情况下不满足伽罗瓦下降，尽管其行列式部分做到了？
• RQ4 积分群对数的方法能否推广至无限伽罗瓦扩张与紧致 $p$-进李群？
• RQ5 在特征 $p$ 的剩余域上，$K_1$-群伽罗瓦下降序列的核与余核结构如何？

主要发现

• 有理 $K_1$-群满足伽罗瓦下降：当 $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$）且 $S$ 为类型 1 的情形，$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$，显示出挠障碍。
• 在剩余域情形下，$\mathrm{H}^1(\Delta, S[\mathcal{C}_G]) = 1$ 意味着 $K_1(\kappa[G])$ 的下降序列是正合的，并诱导出有理 $K_1$-同构。