[论文解读] Verma modules for Iwasawa algebras are faithful

Konstantin Ardakov, Simon Wadsley|arXiv (Cornell University)|Aug 23, 2013

Algebraic structures and combinatorial models参考文献 27被引用 6

一句话总结

本文证明了分裂半单紧致 $L$-解析群的有理 Iwasawa 代数的 Verma 模的忠实性，证明当 $G$ 的中心平凡且 $p$ 为奇数的非常良好素数时，诱导模 $KG \otimes_{KB^+} K_\theta$ 是忠实的。关键贡献是通过 Ore 局域化和有限正规子群的中心性给出的结构化证明，弥补了先前工作的漏洞，并在一大类非交换 $p$-进群代数中确认了忠实性。

ABSTRACT

We establish the faithfulness of Verma modules for rational Iwasawa algebras of split semisimple compact $L$-analytic groups. We also prove the algebraic independence of Arens-Michael envelopes over Iwasawa algebras and compute the centre of affinoid enveloping algebras of semisimple $p$-adic Lie algebras.

研究动机与目标

• 建立分裂半单紧致 $L$-解析群的 Iwasawa 代数的 Verma 模的忠实性。
• 通过证明此类诱导模的零化子为平凡，解决文献中长期存在的漏洞。
• 提供对半单 $p$-进李代数的仿射包络代数中心的中心性的一个新证明。
• 通过非交换对数级数独立性的类比，建立 Iwasawa 代数上 Arens-Michael 包络代数的代数独立性。

提出的方法

• 使用 Ore 局域化技术分析 $KG$ 的经典阿廷环商环，利用 $KG_n$ 的诺特域结构。
• 应用 $KG$ 是 $KG_n$ 与有限群 $G/G_n$ 的半直积这一事实，使非交换环中的局域化成为可能。
• 通过幂零矩阵对数和忠实表示，证明 $\mathbf{G}(\mathcal{O}_L)$ 的开子群的有限正规子群在 $\mathbf{G}(\mathcal{O}_L)$ 中是中心的。
• 构造 $M^\theta$ 与 $\widehat{V^\lambda}$ 之间的交换图，通过证明单射性和稠密性，利用连续性推导出忠实性。
• 使用自然映射 $KH \otimes_K D(H,K)_1 \to D(H,K)$ 及其单射性，在非交换设定中建立代数独立性。
• 通过将特征 $\theta$ 限制到开子群 $B_n^+$，将问题约化至 $KG_n$ 的情形，并在局部化环中应用零化子论证。

实验结果

研究问题

• RQ1 对于中心平凡的分裂半单 $L$-解析群，Verma 模 $KG \otimes_{KB^+} K_\theta$ 的零化子是否平凡？
• RQ2 Iwasawa 代数上的 Arens-Michael 包络代数在非交换设定下是否代数独立？
• RQ3 仿射包络代数 $\widehat{U(\mathfrak{g})_{n,K}}$ 的中心是否等于 $U(\mathfrak{g}_K)^G$ 的像的闭包？
• RQ4 每个具有 $K$-有理无穷小特征的 $\widehat{U(\mathfrak{g})_{n,K}}$ 的素理想是否都能作为某个简单仿射最高权模的零化子出现？

主要发现

• 当 $G$ 是 $\mathbf{G}(\mathcal{O}_L)$ 的开子群且中心平凡，且 $p$ 为奇数的非常良好素数时，Verma 模 $KG \otimes_{KB^+} K_\theta$ 是忠实的。
• 自然映射 $KH \otimes_K D(H,K)_1 \to D(H,K)$ 是单射，提供了 $\mathcal{O}_K[[T]]$ 上 $\log(1+T)$ 代数独立性的非交换类比。
• 仿射包络代数 $\widehat{U(\mathfrak{g})_{n,K}}$ 的中心等于 $\widehat{U(\mathfrak{g})^G_{n,K}}$，证实了文献中的一个猜想。
• 开子群的有限正规子群在 $\mathbf{G}(\mathcal{O}_L)$ 中是中心的，这是忠实性证明中的关键步骤。
• 通过证明 $I \cap KG_n = 0$ 并利用局部化环 $S^{-1}KG$ 的单性，得出 $KG \otimes_{KB^+} K_\theta$ 的零化子为平凡。
• Verma 模的忠实性通过连续性和稠密性论证建立：$M^\theta$ 的像在 $\widehat{V^\lambda}$ 中稠密，迫使任何零化元素必为零。