
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 KacMoody 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 KacMoody 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]])$.

In this paper we construct a new "propcomplete" topological KacMoody group
and compare it to various known topological KacMoody groups. We come across
this group by investigating the process of completion of groups with BNpairs.
We would like to know whether the completion of such a group admits a BNpair.
We give explicit criteria for this to happen.

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}$.

We go back and forth between, on the one hand, presentations of arithmetic
and KacMoody groups and, on the other hand, presentations of profinite groups,
deducing along the way new results on both.

We initiate the study of some propgroups arising from infinitedimensional
Lie theory. These groups are completions of some subgroups of incomplete
KacMoody groups over finite fields, with respect to various completions of
algebraic or geometric origin. We show topological finite generation for the
prop Sylow subgroups in many complete KacMoody groups. This implies abstract
simplicity of the latter groups. We also discuss with the question of
(non)linearity of these prop groups.

Let G be a complete KacMoody 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
rightangled, 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 rightangled 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.

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 typepreserving 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.

Withdrawn.

Let \Lambda be a minimal KacMoody group of rank 2 defined over the finite
field F_q, where q = p^a with p prime. Let G be the topological KacMoody 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 BruhatTits building
X, a tree, with quotient a single edge. We construct new examples of cocompact
lattices in G, many of them edgetransitive. We then show that if cocompact
lattices in G do not contain pelements, the lattices we construct are the only
edgetransitive 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 pelements 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
noncocompact lattice, a maximal parabolic subgroup of Lambda.