Infinite dimensional Chevalley groups and Kac-Moody groups over $\mathbb{Z}$
Abstract
Let be a symmetrizable generalized Cartan matrix, which is not of finite or affine type. Let be the corresponding Kac-Moody algebra over a commutative ring with . We construct an infinite-dimensional group analogous to a finite-dimensional Chevalley group over . We use a -form of the universal enveloping algebra of and a -form of an integrable highest-weight module . We construct groups analogous to arithmetic subgroups in the finite-dimensional case. We also consider a universal representation-theoretic Kac-Moody group and its completion . For the completion we prove a Bruhat decomposition over , and that the arithmetic subgroup coincides with the subgroup of integral points
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