Finite presentability of Kac-Moody groups over finite fields

MaRDI QIDQ6330948zbMATH OpenFDO

Authors Peter Abramenko, Zachary Gates

Publication date 11 December 2019

Mathematics Subject Classification ID

Groups with a (BN)-pair; buildings (20E42) Kac-Moody groups (20G44)

Abstract: Let $mathcalG$ be a Kac-Moody group functor in the sense of Tits, with associated Coxeter system $(W,S)$. For any field $F$, the group $mathcalG(F)$ is finitely generated iff $F$ is finite. We are interested in the question when $G=mathcalG(mathbb{F}_q)$ is finitely presented. If $(W,S)$ is 2-spherical, it is well known that this is "almost always" the case. It is conjectured that $G$ is never finitely presented if $(W,S)$ is not 2-spherical (which means that there exist $s,tinS$ with $|st|=infty$), which so far (to the best of our knowledge) has only been proved for the type $ilde{A}_1$, and maybe also, though we don't know a reference for this, in the case where $|st|=infty$ for all $seqtinS$. In this paper, we show that $G$ is not finitely presented for a significantly larger class of Coxeter systems which are not 2-spherical, giving much stronger evidence that the conjecture is true in general. Important tools of the proof are the twin BN-pair and the corresponding twin building associated to $G=mathcalG(mathbb{F}_q)$.

This page was built for publication: Finite presentability of Kac-Moody groups over finite fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6330948)