English

Infinite dimensional Chevalley groups and Kac-Moody groups over $\mathbb{Z}$

Representation Theory 2023-02-09 v3 Group Theory

Abstract

Let AA be a symmetrizable generalized Cartan matrix, which is not of finite or affine type. Let g\mathfrak{g} be the corresponding Kac-Moody algebra over a commutative ring RR with 11. We construct an infinite-dimensional group GV(R)G_V(R) analogous to a finite-dimensional Chevalley group over RR. We use a Z\mathbb{Z}-form of the universal enveloping algebra of g\mathfrak{g} and a Z\mathbb{Z}-form of an integrable highest-weight module VV. We construct groups GV(Z)G_V(\mathbb{Z}) analogous to arithmetic subgroups in the finite-dimensional case. We also consider a universal representation-theoretic Kac-Moody group GG and its completion G~\widetilde{G}. For the completion we prove a Bruhat decomposition G~(Q)=G~(Z)B~(Q)\widetilde{G}({\mathbb{Q}})=\widetilde{G}({\mathbb{Z}})\widetilde{B}({\mathbb{Q}}) over Q\mathbb{Q}, and that the arithmetic subgroup Γ~(Z)\widetilde{\Gamma}(\mathbb{Z}) coincides with the subgroup of integral points G~(Z)\widetilde{G}(\mathbb{Z})

Keywords

Cite

@article{arxiv.1803.11204,
  title  = {Infinite dimensional Chevalley groups and Kac-Moody groups over $\mathbb{Z}$},
  author = {Lisa Carbone and Dongwen Liu and Scott H. Murray},
  journal= {arXiv preprint arXiv:1803.11204},
  year   = {2023}
}

Comments

Proposition 6.4 fails for imaginary roots. This error propagates through other results and the main theorem cannot be proven without Proposition 6.4. A partial proof using a different method can be found here arXiv:2210.01644

R2 v1 2026-06-23T01:09:09.217Z