Presentation and uniqueness of Kac-Moody groups over local rings

Basic Information

• Paper ID: 2510.11272
• Title: Presentation and uniqueness of Kac-Moody groups over local rings
• Authors: Timothée Marquis, Bernhard Mühlherr
• Classification: math.GR (Group Theory)
• Publication Date: October 13, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.11272

Abstract

For an arbitrary generalized Cartan matrix (GCM) $A$ and an arbitrary ring $R$, Tits constructed a Kac-Moody group $G_A(R)$ defined by a Steinberg-type presentation. For an integral domain $R$ with fraction field $K$, this paper investigates whether the standard map $\phi_R: G_A(R) \to G_A(K)$ is injective. This question has a long history for Cartan matrices and was already present in Tits' foundational paper on Kac-Moody groups for GCMs. The authors prove that for any 2-spherical GCM $A$, the map $\phi_R$ is injective for all valuation rings $R$ (under an additional mild condition (co)). To the authors' knowledge, this is the first such injectivity result beyond the classical setting.

Research Background and Motivation

Problem Background

1. Universality problem for Chevalley groups: For a reduced root system $\Phi$, there exists a Chevalley-Demazure group scheme $CD_\Phi$ such that $CD_\Phi(\mathbb{C})$ is the corresponding complex semisimple algebraic group. Steinberg proved that when $R$ is a field, the group $G_\Phi(R)$ defined by presentation is isomorphic to $CD_\Phi(R)$.
2. Importance of the injectivity problem: Determining for which rings $R$ the map $\phi_R: G_\Phi(R) \to CD_\Phi(R)$ is injective is an active research topic in algebraic K-theory. The kernel $K_2(\Phi, R)$ is related to the generation of Steinberg symbols.
3. Limitations of known results:
   • The ring of integers $\mathbb{Z}$ is universal
   • Local or semilocal rings with at most one residue field $\mathbb{F}_2$ are universal
   • Polynomial rings $K[t]$ and Laurent polynomial rings $K[t, t^{-1}]$ are universal
   • However, even Euclidean domains such as $\mathbb{Z}[1/p]$ (for primes $p \geq 5$) are not universal
4. Generalization to Kac-Moody groups: Tits generalized the construction to generalized Cartan matrices, but the injectivity problem has been essentially unstudied in the non-classical case.

Research Motivation

This paper aims to generalize the classical universality theory of Chevalley groups to the setting of Kac-Moody groups, particularly proving that in the 2-spherical case, Kac-Moody groups over valuation rings possess good injectivity properties.

Core Contributions

1. Main Theorem: Proves that for any 2-spherical GCM $A$ and a valuation ring $R$ satisfying condition (co), the standard map $G_A(R) \to G_A(K)$ is injective, where $K$ is the fraction field of $R$.
2. Curtis-Tits amalgamated product presentation: Proves that $G^{\min}_A(R)$ can be represented as a Curtis-Tits amalgamated product, namely as an inductive limit of subsystems of rank at most 2.
3. Development of geometric methods: Introduces the concept of (simply connected) twin chamber systems and proves the associated simply-connectedness theorem, providing a geometric foundation for the main result.
4. New universality results: As an application, obtains universality of Laurent polynomial rings $R[t, t^{-1}]$ over certain root systems, generalizing Morita's classical result.

Detailed Methodology

Problem Setup

Study Kac-Moody groups $G_A(R)$ corresponding to generalized Cartan matrices $A = (a_{ij})_{i,j \in I}$ over a ring $R$. The main objective is to determine the injectivity of the standard map $\phi_R: G_A(R) \to G^{\min}_A(R) \subseteq G_A(K)$, where $K$ is the fraction field of $R$.

Key Concepts and Conditions

2-Spherical Condition

A GCM $A$ is called 2-spherical if $a_{ij}a_{ji} \leq 3$ for all $i \neq j$, equivalent to all generators in the corresponding Weyl group $(W, S)$ having finite order.

Condition (co)

A ring $R$ satisfies condition (co) if:

• When there exist $i, j \in I$ with $a_{ij}a_{ji} = 2$, $R$ has no quotient $\mathbb{F}_2$
• When there exist $i, j \in I$ with $a_{ij}a_{ji} = 3$, $R$ has no quotient $\mathbb{F}_2$ or $\mathbb{F}_3$

Valuation Rings

A valuation ring is a ring that is both local and a Bézout domain, equivalently, for any nonzero $x \in K$, at least one of $x$ or $x^{-1}$ belongs to $R$.

Technical Methods

1. Bruhat-type Decomposition

For a Bézout domain $R$, the authors establish a Bruhat-type decomposition of $G^{\min}_R$: $G^{\min}_R = \coprod_{w \in W} C^{\min}_R(w)$ where $C^{\min}_R(w) = Y_{i_1} \cdots Y_{i_d}(G^{\min}_R \cap B^+_K)$, and $w = s_{i_1} \cdots s_{i_d}$ is a reduced decomposition.

2. Properties over Local Rings

For local rings $R$, the following key results are established:

• Kernel characterization: $\ker \pi_R \subseteq U^-_L B^+_R$, where $\pi_R: G_R \to G_k$ is the standard map to the residue field
• Intersection of parabolic subgroups: $P^+_{iR} \cap P^-_{iR} = T_R G_{iR}$
• Unipotent group equality: $U^+_R = G^{\min}_R \cap U^+_K$

3. Twin Chamber Systems Theory

The authors develop the theory of twin chamber systems, a generalization of twin buildings:

Definition: A twin chamber system $\mathcal{C}$ consists of:

• Two chamber systems $(C^+, (\sim_i)_{i \in I})$ and $(C^-, (\sim_i)_{i \in I})$
• An opposition relation $\text{op} \subseteq (C^+ \times C^-) \cup (C^- \times C^+)$

satisfying axioms (TCS1)-(TCS4), including connectivity, existence, and mapping properties.

Key Theorem: If $\mathcal{C}$ is a simply connected twin chamber system, then $\text{Opp}(\mathcal{C})$ is also simply connected.

Technical Innovations

1. Combination of geometry and algebra: By connecting the action of Kac-Moody groups with twin chamber systems, a geometric perspective is provided for algebraic problems.
2. Transitivity of simple-connectedness: Proves that simple-connectedness transfers from twin chamber systems to opposition chamber systems, a non-trivial result.
3. Unified approach: Connects the representation of Curtis-Tits amalgamated products with geometric actions, providing a unified treatment framework.

Experimental Setup

This is a pure theoretical mathematics paper with no numerical experiments. All results are obtained through rigorous mathematical proofs.

Main Results

Theorem A (Main Result)

Let $A$ be a 2-spherical GCM, $R$ a valuation ring satisfying condition (co), and $K$ its fraction field. Then the standard homomorphisms $CT_A(R) \to G_A(R) \to G^{\min}_A(R) \subseteq G_A(K)$ are all isomorphisms. In particular, the map $G_A(R) \to G_A(K)$ is injective.

Corollary B (Universality of Laurent Polynomial Rings)

Let $\Phi$ be an irreducible reduced root system not of type $A_1$, and $R$ a valuation ring satisfying condition (co). Then $R[t, t^{-1}]$ is universal for $\Phi$.

Proposition C (Comparison of Unipotent Groups)

Let $A$ be a 2-spherical GCM, $R$ a local integral domain satisfying condition (co), and $K$ its fraction field. Consider the natural homomorphism $\phi_R: G_A(R) \to G^{\min}_A(R) \subseteq G_A(K)$. Then $\phi_R(U^+_R) = U^+_K \cap G^{\min}_A(R)$

Proof Strategy

Step One: Establish Foundational Properties

• Establish Bruhat-type decomposition for Bézout domains
• Prove generation properties of unipotent groups for rings satisfying condition (co)
• Analyze kernel structure and parabolic subgroups for local rings

Step Two: Construct Twin Chamber Systems

• Define $C^{\pm}(G^{\min}_R) = G^{\min}_R/B^{\pm}_R$
• Verify twin chamber system axioms (TCS1)-(TCS4)
• Prove that for valuation rings, this system is simply connected

Step Three: Apply Geometric Theory

• Utilize simple-connectedness of twin chamber systems
• Apply characterization of Curtis-Tits amalgamated products
• Obtain representation of $G^{\min}_R$

Step Four: Establish Isomorphisms

• Prove $CT_A(R) \to G^{\min}_A(R)$ is an isomorphism
• Combine with known result $G_A(R) \cong CT_A(R)$ (Allcock's result)
• Obtain final injectivity result

Related Work

Classical Theory

• Steinberg (1968): Established representation theory of Chevalley groups over fields
• Matsumoto, Rehmann, et al.: Proved universality for various ring classes
• Abe-Morita (1988): Studied the case of Dedekind domains

Kac-Moody Group Theory

• Tits (1987): Established foundational theory of Kac-Moody groups
• Mathieu (1989): Constructed maximal Kac-Moody groups
• Allcock (2016): Proved representation of Curtis-Tits amalgamated products

Geometric Methods

• Abramenko-Mühlherr (1997): Established geometric methods for Curtis-Tits amalgamated products over fields
• Ronan (1989): Established simple-connectedness theory for buildings

Conclusions and Discussion

Main Conclusions

This paper is the first to prove injectivity results for Kac-Moody groups in the non-classical setting, successfully generalizing classical Chevalley group theory to 2-spherical Kac-Moody groups and valuation rings.

Limitations

1. Condition restrictions: Results apply only to 2-spherical GCMs and valuation rings satisfying condition (co)
2. Technical conditions: Condition (co) excludes certain small characteristic cases
3. Method limitations: Geometric methods may be difficult to generalize to more general GCMs

Future Directions

1. Generalization to more general GCMs: Study non-2-spherical cases
2. Relaxation of ring conditions: Consider more general local rings
3. Application extensions: Apply results to representation theory and arithmetic geometry

In-Depth Evaluation

Strengths

1. Theoretical breakthrough: First injectivity result in the Kac-Moody group setting, filling an important theoretical gap
2. Methodological innovation: Cleverly combines algebraic and geometric methods, particularly the introduction of twin chamber systems
3. Technical depth: Proofs involve multiple deep techniques, including Bruhat decomposition, amalgamated product theory, and building theory
4. Result completeness: Not only proves the main theorem but also provides concrete applications and corollaries

Weaknesses

1. Limited scope: Results' applicability conditions are relatively strict, limiting universality
2. Technical complexity: Proof techniques require high mathematical sophistication, potentially affecting accessibility
3. Computational aspects: Lacks concrete algorithms or computational methods

Impact

1. Theoretical contribution: Provides important structural results for Kac-Moody group theory
2. Method value: Twin chamber system methods may have broader applications
3. Subsequent research: Establishes foundation for further generalization to more general cases

Applicable Scenarios

Results primarily apply to:

• Representation theory of infinite-dimensional Lie algebras
• Study of arithmetic groups
• Building theory and geometric group theory
• Universality problems in algebraic K-theory

References

The paper cites extensive relevant literature, primarily including:

• Steinberg's classical work Ste68
• Tits' Kac-Moody group theory Tit87
• Abramenko-Mühlherr's geometric methods AM97
• Allcock's amalgamated product theory All16
• Marquis' monograph on Kac-Moody groups Mar18