
Bowditch's JSJ tree for splittings over 2ended subgroups is a quasiisometry
invariant for 1ended hyperbolic groups which are not cocompact Fuchsian. Our
main result gives an explicit, computable "visual" construction of this tree
for certain hyperbolic rightangled Coxeter groups. As an application of our
construction we identify a large class of such groups for which the JSJ tree,
and hence the visual boundary, is a complete quasiisometry invariant, and thus
the quasiisometry problem is decidable. We also give a direct proof of the
fact that among the Coxeter groups we consider, the cocompact Fuchsian groups
form a rigid quasiisometry class. In an appendix, written jointly with
Christopher Cashen, we show that the JSJ tree is not a complete quasiisometry
invariant for the entire class of Coxeter groups we consider.

We give explicit necessary and sufficient conditions for the abstract
commensurability of certain families of 1ended, hyperbolic groups, namely
rightangled Coxeter groups defined by generalized thetagraphs and cycles of
generalized thetagraphs, and geometric amalgams of free groups whose JSJ
graphs are trees of diameter at most 4. We also show that if a geometric
amalgam of free groups has JSJ graph a tree, then it is commensurable to a
rightangled Coxeter group, and give an example of a geometric amalgam of free
groups which is not quasiisometric (hence not commensurable) to any group
which is finitely generated by torsion elements. Our proofs involve a new
geometric realization of the rightangled Coxeter groups we consider, such that
covers corresponding to torsionfree, finiteindex subgroups are surface
amalgams.

Let G be a reductive group over the field F=k((t)), where k is an algebraic
closure of a finite field, and let W be the (extended) affine Weyl group of G.
The associated affine DeligneLusztig varieties $X_x(b)$, which are indexed by
elements b in G(F) and x in W, were introduced by Rapoport. Basic questions
about the varieties $X_x(b)$ which have remained largely open include when they
are nonempty, and if nonempty, their dimension. We use techniques inspired by
geometric group theory and representation theory to address these questions in
the case that b is a pure translation, and so prove much of a sharpened version
of Conjecture 9.5.1 of G\"ortz, Haines, Kottwitz, and Reuman. Our approach is
constructive and typefree, sheds new light on the reasons for existing results
in the case that b is basic, and reveals new patterns. Since we work only in
the standard apartment of the building for G(F), our results also hold in the
padic context, where we formulate a definition of the dimension of a padic
DeligneLusztig set. We present two immediate consequences of our main results,
to class polynomials of affine Hecke algebras and to affine reflection length.

We introduce the palindromic automorphism group and the palindromic Torelli
group of a rightangled Artin group A_G. The palindromic automorphism group Pi
A_G is related to the principal congruence subgroups of GL(n,Z) and to the
hyperelliptic mapping class group of an oriented surface, and sits inside the
centraliser of a certain hyperelliptic involution in Aut(A_G). We obtain finite
generating sets for Pi A_G and for this centraliser, and determine precisely
when these two groups coincide. We also find generators for the palindromic
Torelli group.

We give an explicit construction of a maximal torsionfree finiteindex
subgroup of a certain type of Coxeter group. The subgroup is constructed as the
fundamental group of a finite and nonpositively curved polygonal complex.
First we consider the special case where the universal cover of this polygonal
complex is a hyperbolic building, and we construct finiteindex embeddings of
the fundamental group into certain cocompact lattices of the building. We show
that in this special case the fundamental group is an amalgam of surface groups
over free groups. We then consider the general case, and construct a
finiteindex embedding of the fundamental group into the Coxeter group whose
Davis complex is the universal cover of the polygonal complex. All of the
groups which we embed have minimal index among torsionfree subgroups, and
therefore are maximal among torsionfree subgroups.

To a large class of graphs of groups we associate a C*algebra universal for
generators and relations. We show that this C*algebra is stably isomorphic to
the crossed product induced from the action of the fundamental group of the
graph of groups on the boundary of its BassSerre tree. We characterise when
this action is minimal, and find a sufficient condition under which it is
locally contractive. In the case of generalised BaumslagSolitar graphs of
groups (graphs of groups in which every group is infinite cyclic) we also
characterise topological freeness of this action. We are then able to establish
a dichotomy for simple C*algebras associated to generalised BaumslagSolitar
graphs of groups: they are either a Kirchberg algebra, or a stable
BunceDeddens algebra.

Let (W,S) be a finite rank Coxeter system with W infinite. We prove that the
limit weak order on the blocks of infinite reduced words of W is encoded by the
topology of the Tits boundary of the Davis complex X of W. We consider many
special cases, including W word hyperbolic, and X with isolated flats. We
establish that when W is word hyperbolic, the limit weak order is the disjoint
union of weak orders of finite Coxeter groups. We also establish, for each
boundary point \xi, a natural orderpreserving correspondence between infinite
reduced words which "point towards" \xi, and elements of the reflection
subgroup of W which fixes \xi.

Let W be a 2dimensional rightangled Coxeter group. We characterise such W
with linear and quadratic divergence, and construct rightangled Coxeter groups
with divergence polynomial of arbitrary degree. Our proofs use the structure of
walls in the Davis complex.

Recent work of Lazarovich provides necessary and sufficient conditions on a
graph L for there to exist a unique simplyconnected (k,L)complex. The two
conditions are symmetry properties of the graph, namely startransitivity and
st(edge)transitivity. In this paper we investigate startransitive and
st(edge)transitive graphs by studying the structure of the vertex and edge
stabilisers of such graphs. We also provide new examples of graphs that are
both startransitive and st(edge)transitive.

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.

Let G be the automorphism group of a regular rightangled building X. The
"standard uniform lattice" \Gamma_0 in G is a canonical graph product of finite
groups, which acts discretely on X with quotient a chamber. We prove that the
commensurator of \Gamma_0 is dense in G. This result was also obtained by
Haglund. For our proof, we develop carefully a technique of "unfoldings" of
complexes of groups. We use unfoldings to construct a sequence of uniform
lattices \Gamma_n in G, each commensurable to \Gamma_0, and then apply the
theory of group actions on complexes of groups to the sequence \Gamma_n. As
further applications of unfoldings, we determine exactly when the group G is
nondiscrete, and we prove that G acts strongly transitively on X.

This survey is a brief introduction to the theory of hyperbolic buildings and
their lattices, with a focus on recent results.

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.

Let $\Sigma$ be the Davis complex for a Coxeter system (W,S). The
automorphism group G of $\Sigma$ is naturally a locally compact group, and a
simple combinatorial condition due to HaglundPaulin determines when G is
nondiscrete. The Coxeter group W may be regarded as a uniform lattice in G. We
show that many such G also admit a nonuniform lattice $\Gamma$, and an infinite
family of uniform lattices with covolumes converging to that of $\Gamma$. It
follows that the set of covolumes of lattices in G is nondiscrete. We also show
that the nonuniform lattice $\Gamma$ is not finitely generated. Examples of
$\Sigma$ to which our results apply include buildings and nonbuildings, and
many complexes of dimension greater than 2. To prove these results, we
introduce a new tool, that of "group actions on complexes of groups", and use
this to construct our lattices as fundamental groups of complexes of groups
with universal cover $\Sigma$.

Let I(p,v) be Bourdon's building, the unique simplyconnected 2complex such
that all 2cells are regular rightangled hyperbolic pgons and the link at
each vertex is the complete bipartite graph K(v,v). We investigate and mostly
determine the set of triples (p,v,g) for which there exists a uniform lattice
{\Gamma} in Aut(I(p,v)) such that {\Gamma}\I(p,v) is a compact orientable
surface of genus g. Surprisingly, the existence of {\Gamma} depends upon the
value of v. The remaining cases lead to open questions in tessellations of
surfaces and in number theory. Our construction of {\Gamma}, together with a
theorem of Haglund, implies that for p>=6, every uniform lattice in Aut(I)
contains a surface subgroup. We use elementary group theory, combinatorics,
algebraic topology, and number theory.

Let \Gamma be a noncocompact lattice on a locally finite regular
rightangled building X. We prove that if \Gamma has a strict fundamental
domain then \Gamma is not finitely generated. We use the separation properties
of subcomplexes of X called treewalls.

We prove that an irreducible lattice acting on a product of two or more
locally finite, biregular trees is finitely generated.

Let X be a rightangled building. We show that the lattices in Aut(X) share
many properties with tree lattices. For example, we characterise the set of
covolumes of uniform and of nonuniform lattices in Aut(X), and show that the
group Aut(X) admits an infinite ascending tower of uniform and of nonuniform
lattices. These results are proved by constructing a functor from graphs of
groups to complexes of groups.

The goal of this paper is to present a number of problems about automorphism
groups of nonpositively curved polyhedral complexes and their lattices, meant
to highlight possible directions for future research.

Chapter 1 is a short history of nonEuclidean geometry, which synthesises my
readings of mostly secondary sources. Chapter 2 presents each of the main
models of hyperbolic geometry, and describes the tesselation of the upper
halfplane induced by the action of $PSL(2,\mathbb{Z})$. Chapter 3 gives
background on symmetric spaces and word metrics. Chapter 4 then contains a
careful proof of the following theorem of LubotzkyMozesRaghunathan: the
word metric on $PSL(2,\mathbb{Z})$ is not Lipschitz equivalent to the metric
induced by its action on the associated symmetric space (the upper halfplane),
but for $n \geq 3$, these two metrics on $PSL(n,\mathbb{Z})$ are Lipschitz
equivalent.

We develop an explicit covering theory for complexes of groups, parallel to
that developed for graphs of groups by Bass. Given a covering of developable
complexes of groups, we construct the induced monomorphism of fundamental
groups and isometry of universal covers. We characterize faithful complexes of
groups and prove a conjugacy theorem for groups acting freely on polyhedral
complexes. We also define an equivalence relation on coverings of complexes of
groups, which allows us to construct a bijection between such equivalence
classes, and subgroups or overgroups of a fixed lattice $\Gamma$ in the
automorphism group of a locally finite polyhedral complex $X$.

We construct a nonuniform lattice and an infinite family of uniform lattices
in the automorphism group of a hyperbolic building with all links a fixed
finite building of rank 2 associated to a Chevalley group. We use complexes of
groups and basic facts about spherical buildings.

Let X be a polyhedral complex with finitely many isometry classes of links.
We establish a restriction on the covolumes of uniform lattices acting on X.
When X is twodimensional and has all links isometric to either a complete
bipartite graph or the building for a Chevalley group of rank 2 over a field of
prime order, we obtain further restrictions on covolumes.