English

Finite presentability of Kac-Moody groups over finite fields

Group Theory 2019-12-13 v1

Abstract

Let G\mathcal{G} be a Kac-Moody group functor in the sense of Tits, with associated Coxeter system (W,S)(W,S). For any field FF, the group G(F)\mathcal{G}(F) is finitely generated iff FF is finite. We are interested in the question when G=G(Fq)G = \mathcal{G}(\mathbb{F}_q) is finitely presented. If (W,S)(W,S) is 2-spherical, it is well known that this is "almost always" the case. It is conjectured that GG is never finitely presented if (W,S)(W,S) is not 2-spherical (which means that there exist s,tSs,t \in S with st=|st| = \infty), which so far (to the best of our knowledge) has only been proved for the type A1~\tilde{A_1}, and maybe also, though we don't know a reference for this, in the case where st=|st| = \infty for all stSs \neq t \in S. In this paper, we show that GG 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=G(Fq)G = \mathcal{G}(\mathbb{F}_q).

Keywords

Cite

@article{arxiv.1912.05611,
  title  = {Finite presentability of Kac-Moody groups over finite fields},
  author = {Peter Abramenko and Zachary Gates},
  journal= {arXiv preprint arXiv:1912.05611},
  year   = {2019}
}

Comments

14 pages, 2 figures