Presentation of affine Kac-Moody groups over rings

Abstract

Tits has defined Steinberg groups and Kac-Moody groups for any root system and any commutative ring R. We establish a Curtis-Tits-style presentation for the Steinberg group St of any rank > 2 irreducible affine root system, for any R. Namely, St is the direct limit of the Steinberg groups coming from the 1- and 2-node subdiagrams of the Dynkin diagram. This leads to a completely explicit presentation. Using this we show that St is finitely presented if the rank is > 3 and R is finitely generated as a ring, or if the rank is 3 and R is finitely generated as a module over a subring generated by finitely many units. Similar results hold for the corresponding Kac-Moody groups when R is a Dedekind domain of arithmetic type.

Major revision: section 2 is new. Theorem and equation numbering changed. Case 4 in section 5 rewritten. Many other minor changes, and additional references

Cited by in corpus (2)

• Steinberg groups as amalgams
• On the ${\mathbb{A}}^1$-invariance of ${\mathrm{K}}_2$ of Chevalley groups of simply-laced type