Presentation of hyperbolic Kac-Moody groups over rings. (Q891460)

Tits has defined Kac-Moody and Steinberg groups over commutative rings, providing infinite dimensional analogues of the Chevalley-Demazure group schemes. The authors establish simple explicit presentations for these groups whose Dynkin diagrams are hyperbolic and simply laced. The presentations are analogues of the Curtis-Tits presentation of the finite groups of Lie type. When the ground ring is finitely generated, the authors derive the finite presentability of the Steinberg group, and similarly for the Kac-Moody group when the ground ring is a Dedekind domain of arithmetic type. These finite-presentation results need slightly stronger hypotheses when the rank is smallest possible, namely 4. The presentations simplify considerably when the ground ring is \(\mathbb Z\), a case of special interest because of the conjectured role of the Kac-Moody group \(E_{10}(\mathbb Z)\) in superstring theory.