Algebra & Number Theory
- Algebra Number Theory
- Volume 10, Number 8 (2016), 1791-1843.
Steinberg groups as amalgams
For any root system and any commutative ring, we give a relatively simple presentation of a group related to its Steinberg group . This includes the case of infinite root systems used in Kac–Moody theory, for which the Steinberg group was defined by Tits and Morita–Rehmann. In most cases, our group equals , giving a presentation with many advantages over the usual presentation of . This equality holds for all spherical root systems, all irreducible affine root systems of rank , and all -spherical root systems. When the coefficient ring satisfies a minor condition, the last condition can be relaxed to -sphericity.
Our presentation is defined in terms of the Dynkin diagram rather than the full root system. It is concrete, with no implicit coefficients or signs. It makes manifest the exceptional diagram automorphisms in characteristics and , and their generalizations to Kac–Moody groups. And it is a Curtis–Tits style presentation: it is the direct limit of the groups coming from - and -node subdiagrams of the Dynkin diagram. Over nonfields this description as a direct limit is new and surprising. Our main application is that many Steinberg and Kac–Moody groups over finitely generated rings are finitely presented.
Algebra Number Theory, Volume 10, Number 8 (2016), 1791-1843.
Received: 29 March 2016
Accepted: 11 June 2016
First available in Project Euclid: 16 November 2017
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Allcock, Daniel. Steinberg groups as amalgams. Algebra Number Theory 10 (2016), no. 8, 1791--1843. doi:10.2140/ant.2016.10.1791. https://projecteuclid.org/euclid.ant/1510842588