2025-11-11T18:34:09.671476

Presentation and uniqueness of Kac-Moody groups over local rings

Marquis, MÃ¼hlherr

To any generalised Cartan matrix (GCM) $A$ and any ring $R$, Tits associated a Kac-Moody group $\mathfrak{G}_A(R)$ defined by a presentation Ã la Steinberg. For a domain $R$ with field of fractions $\mathbb{K}$, we explore the question of whether the canonical map $Ï_R\colon\thinspace \mathfrak{G}_A(R)\to \mathfrak{G}_A(\mathbb{K})$ is injective. This question for Cartan matrices has a long history, and for GCMs was already present in Tits' foundational papers on Kac-Moody groups. We prove that for any $2$-spherical GCM $A$, the map $Ï_R$ is injective for all valuation rings $R$ (under an additional minor condition (co)). To the best of our knowledge, this is the first such injectivity result beyond the classical setting.

academic

Presentation and uniqueness of Kac-Moody groups over local rings

基本信息

论文ID: 2510.11272
标题: Presentation and uniqueness of Kac-Moody groups over local rings
作者: Timothée Marquis, Bernhard Mühlherr
分类: math.GR (群论)
发表时间: 2025年10月13日 (arXiv预印本)
论文链接: https://arxiv.org/abs/2510.11272

摘要

对于任意广义Cartan矩阵(GCM) $A$ 和任意环 $R$ ，Tits构造了一个Kac-Moody群 $G_A(R)$ ，该群由Steinberg式表示定义。对于具有分式域 $K$ 的整环 $R$ ，本文探讨了标准映射 $\phi_R: G_A(R) \to G_A(K)$ 是否为单射的问题。这一问题对于Cartan矩阵有着悠久的历史，对于GCM在Tits关于Kac-Moody群的奠基性论文中就已存在。作者证明了对于任意2-球面GCM $A$ ，映射 $\phi_R$ 对所有赋值环 $R$ 都是单射的(在附加的轻微条件(co)下)。据作者所知，这是超越经典设置的首个此类单射性结果。

研究背景与动机

问题背景

Chevalley群的普遍性问题：对于约化根系统 $\Phi$ ，存在Chevalley-Demazure群概形 $CD_\Phi$ ，使得 $CD_\Phi(\mathbb{C})$ 是对应的复半单代数群。Steinberg证明了当 $R$ 是域时，由表示定义的群 $G_\Phi(R)$ 与 $CD_\Phi(R)$ 同构。
单射性问题的重要性：确定对哪些环 $R$ ，映射 $\phi_R: G_\Phi(R) \to CD_\Phi(R)$ 是单射的，这在代数K理论中是一个活跃的研究课题。映射的核 $K_2(\Phi, R)$ 与Steinberg符号的生成有关。
已知结果的局限性：
- 整数环 $\mathbb{Z}$ 是普遍的
- 至多有一个剩余域 $\mathbb{F}_2$ 的局部或半局部环是普遍的
- 多项式环 $K[t]$ 和Laurent多项式环 $K[t, t^{-1}]$ 是普遍的
- 但即使是欧几里得整环如 $\mathbb{Z}[1/p]$ (对素数 $p \geq 5$ )也不是普遍的
Kac-Moody群的推广：Tits将构造推广到广义Cartan矩阵，但单射性问题在非经典情况下基本未被研究。

研究动机

本文旨在将经典Chevalley群的普遍性理论推广到Kac-Moody群的设置，特别是证明在2-球面情况下，赋值环上的Kac-Moody群具有良好的单射性质。

核心贡献

主要定理：证明了对于任意2-球面GCM $A$ 和满足条件(co)的赋值环 $R$ ，标准映射 $G_A(R) \to G_A(K)$ 是单射的，其中 $K$ 是 $R$ 的分式域。
Curtis-Tits合并积表示：证明了 $G^{\min}_A(R)$ 可以表示为Curtis-Tits合并积，即由秩不超过2的子群系统的归纳极限。
几何方法的发展：引入了(单连通)孪生室系统的概念，并证明了相关的单连通性定理，这为主要结果提供了几何基础。
新的普遍性结果：作为应用，得到了Laurent多项式环 $R[t, t^{-1}]$ 在某些根系统上的普遍性，推广了Morita的经典结果。

方法详解

任务定义

研究广义Cartan矩阵 $A = (a_{ij})_{i,j \in I}$ 对应的Kac-Moody群 $G_A(R)$ ，其中 $R$ 是环。主要目标是确定标准映射 $\phi_R: G_A(R) \to G^{\min}_A(R) \subseteq G_A(K)$ 的单射性，其中 $K$ 是 $R$ 的分式域。

关键概念和条件

2-球面条件

GCM $A$ 称为2-球面的，如果 $a_{ij}a_{ji} \leq 3$ 对所有 $i \neq j$ 成立，等价于对应的Weyl群 $(W, S)$ 中所有生成元的阶有限。

条件(co)

环 $R$ 满足条件(co)如果：

当存在 $i, j \in I$ 使得 $a_{ij}a_{ji} = 2$ 时， $R$ 没有商 $\mathbb{F}_2$
当存在 $i, j \in I$ 使得 $a_{ij}a_{ji} = 3$ 时， $R$ 没有商 $\mathbb{F}_2$ 或 $\mathbb{F}_3$

赋值环

赋值环是既是局部环又是Bézout整环的环，等价于对任意非零 $x \in K$ ， $x$ 或 $x^{-1}$ 中至少有一个属于 $R$ 。

技术方法

1. Bruhat型分解

对于Bézout整环 $R$ ，作者建立了 $G^{\min}_R$ 的Bruhat型分解： $G^{\min}_R = \coprod_{w \in W} C^{\min}_R(w)$ 其中 $C^{\min}_R(w) = Y_{i_1} \cdots Y_{i_d}(G^{\min}_R \cap B^+_K)$ ， $w = s_{i_1} \cdots s_{i_d}$ 是约化分解。

2. 局部环上的性质

对于局部环 $R$ ，建立了以下关键结果：

核的刻画： $\ker \pi_R \subseteq U^-_L B^+_R$ ，其中 $\pi_R: G_R \to G_k$ 是到剩余域的标准映射
抛物子群的交： $P^+_{iR} \cap P^-_{iR} = T_R G_{iR}$
单群的等式： $U^+_R = G^{\min}_R \cap U^+_K$