• ### Presentations of affine Kac-Moody groups(1609.02464)

July 20, 2018 math.RT, math.GR
How many generators and relations does ${\mathrm SL}_n({\mathbb F}_q[t, t^{-1}])$ need? In this paper we exhibit its explicit presentation with $9$ generators and $44$ relations. We investigate presentations of affine Kac-Moody groups over finite fields. Our goal is to derive finite presentations, independent of the field and with as few generators and relations as we can achieve. It turns out that any simply connected affine Kac-Moody group over a finite field has a presentation with at most 11 generators and 70 relations. We describe these presentations explicitly type by type. As a consequence, we derive explicit presentations of Chevalley groups $G({\mathbb F}_q[t, t^{-1}])$ and explicit profinite presentations of profinite Chevalley groups $G({\mathbb F}_q[[t]])$.
• ### Kac-Moody Groups and Completions(1706.08374)

May 30, 2018 math.GN, math.RT, math.GR
In this paper we construct a new "pro-p-complete" topological Kac-Moody group and compare it to various known topological Kac-Moody groups. We come across this group by investigating the process of completion of groups with BN-pairs. We would like to know whether the completion of such a group admits a BN-pair. We give explicit criteria for this to happen.
• ### Subgroup Growth in Some Profinite Chevalley Groups(1511.04333)

Nov. 2, 2016 math.RT, math.RA, math.GR
In this article we improve the known uniform bound for subgroup growth of Chevalley groups over $\mathbf{G}(\mathbb{F}_p[[t]])$. We introduce a new parameter, the ridgeline number $v(\mathbf{G})$, and give new bounds for the subgroup growth of $\mathbf{G}(\mathbb{F}_p[[t]])$ expressed through $v(\mathbf{G})$. We achieve this by deriving a new estimate for the codimension of $[U,V]$ where $U$ and $V$ are vector subspaces in the Lie algebra of $\mathbf{G}$.
• ### Presentations: from Kac-Moody groups to profinite and back(1508.00526)

Aug. 29, 2016 math.GR
We go back and forth between, on the one hand, presentations of arithmetic and Kac-Moody groups and, on the other hand, presentations of profinite groups, deducing along the way new results on both.
• ### On some pro-p groups from infinite-dimensional Lie theory(1302.4174)

Feb. 18, 2013 math.GR
We initiate the study of some pro-p-groups arising from infinite-dimensional Lie theory. These groups are completions of some subgroups of incomplete Kac-Moody groups over finite fields, with respect to various completions of algebraic or geometric origin. We show topological finite generation for the pro-p Sylow subgroups in many complete Kac-Moody groups. This implies abstract simplicity of the latter groups. We also discuss with the question of (non-)linearity of these pro-p groups.
• ### Cocompact lattices in complete Kac-Moody groups with Weyl group right-angled or a free product of spherical special subgroups(1203.2680)

Sept. 3, 2012 math.GR
Let G be a complete Kac-Moody group of rank n \geq 2 over the finite field of order q, with Weyl group W and building \Delta. We first show that if W is right-angled, then for all q \neq 1 mod 4 the group G admits a cocompact lattice \Gamma which acts transitively on the chambers of \Delta. We also obtain a cocompact lattice for q =1 mod 4 in the case that \Delta is Bourdon's building. As a corollary of our constructions, for certain right-angled W and certain q, the lattice \Gamma has a surface subgroup. We also show that if W is a free product of spherical special subgroups, then for all q, the group G admits a cocompact lattice \Gamma with \Gamma a finitely generated free group. Our proofs use generalisations of our results in rank 2 concerning the action of certain finite subgroups of G on \Delta, together with covering theory for complexes of groups.
• ### Cocompact lattices on \tilde{A}_n buildings(1206.5356)

June 23, 2012 math.GR
Let K be the field of formal Laurent series over the finite field of order q. We construct cocompact lattices \Gamma'_0 < \Gamma_0 in the group G = PGL_d(K) which are type-preserving and act transitively on the set of vertices of each type in the building associated to G. The stabiliser of each vertex in \Gamma'_0 is a Singer cycle and the stabiliser of each vertex in \Gamma_0 is isomorphic to the normaliser of a Singer cycle in PGL_d(q). We then show that the intersections of \Gamma'_0 and \Gamma_0 with PSL_d(K) are lattices in PSL_d(K), and identify the pairs (d,q) such that the entire lattice \Gamma'_0 or \Gamma_0 is contained in PSL_d(K). Finally we discuss minimality of covolumes of cocompact lattices in SL_3(K). Our proofs combine a construction of Cartwright and Steger with results about Singer cycles and their normalisers, and geometric arguments.
• ### Cocompact lattices of minimal covolume in rank 2 Kac-Moody groups, Part II(1005.5702)

June 9, 2011 math.GR
Withdrawn.
• ### Lattices in complete rank 2 Kac-Moody groups(0907.1350)

June 9, 2011 math.GR
Let \Lambda be a minimal Kac-Moody group of rank 2 defined over the finite field F_q, where q = p^a with p prime. Let G be the topological Kac-Moody group obtained by completing \Lambda. An example is G=SL_2(K), where K is the field of formal Laurent series over F_q. The group G acts on its Bruhat-Tits building X, a tree, with quotient a single edge. We construct new examples of cocompact lattices in G, many of them edge-transitive. We then show that if cocompact lattices in G do not contain p-elements, the lattices we construct are the only edge-transitive lattices in G, and that our constructions include the cocompact lattice of minimal covolume in G. We also observe that, with an additional assumption on p-elements in G, the arguments of Lubotzky for the case G = SL_2(K) may be generalised to show that there is a positive lower bound on the covolumes of all lattices in G, and that this minimum is realised by a non-cocompact lattice, a maximal parabolic subgroup of Lambda.