• ### Bowditch's JSJ tree and the quasi-isometry classification of certain Coxeter groups, with an appendix written jointly with Christopher Cashen(1402.6224)

Oct. 20, 2017 math.GT, math.GR
Bowditch's JSJ tree for splittings over 2-ended subgroups is a quasi-isometry invariant for 1-ended hyperbolic groups which are not cocompact Fuchsian. Our main result gives an explicit, computable "visual" construction of this tree for certain hyperbolic right-angled 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 quasi-isometry invariant, and thus the quasi-isometry 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 quasi-isometry class. In an appendix, written jointly with Christopher Cashen, we show that the JSJ tree is not a complete quasi-isometry invariant for the entire class of Coxeter groups we consider.
• ### Commensurability for certain right-angled Coxeter groups and geometric amalgams of free groups(1610.06245)

Oct. 5, 2017 math.GT, math.GR
We give explicit necessary and sufficient conditions for the abstract commensurability of certain families of 1-ended, hyperbolic groups, namely right-angled Coxeter groups defined by generalized theta-graphs and cycles of generalized theta-graphs, 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 right-angled Coxeter group, and give an example of a geometric amalgam of free groups which is not quasi-isometric (hence not commensurable) to any group which is finitely generated by torsion elements. Our proofs involve a new geometric realization of the right-angled Coxeter groups we consider, such that covers corresponding to torsion-free, finite-index subgroups are surface amalgams.
• ### Dimensions of affine Deligne-Lusztig varieties: a new approach via labeled folded alcove walks and root operators(1504.07076)

Nov. 30, 2016 math.CO, math.AG, math.RT, math.GR
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 Deligne-Lusztig 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 type-free, 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 p-adic context, where we formulate a definition of the dimension of a p-adic Deligne-Lusztig set. We present two immediate consequences of our main results, to class polynomials of affine Hecke algebras and to affine reflection length.
• ### Palindromic automorphisms of right-angled Artin groups(1510.03939)

Oct. 28, 2016 math.GT, math.GR
We introduce the palindromic automorphism group and the palindromic Torelli group of a right-angled 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.
• ### Maximal torsion-free subgroups of certain lattices of hyperbolic buildings and Davis complexes(1607.01678)

July 6, 2016 math.GR
We give an explicit construction of a maximal torsion-free finite-index subgroup of a certain type of Coxeter group. The subgroup is constructed as the fundamental group of a finite and non-positively curved polygonal complex. First we consider the special case where the universal cover of this polygonal complex is a hyperbolic building, and we construct finite-index 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 finite-index 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 torsion-free subgroups, and therefore are maximal among torsion-free subgroups.
• ### C*-algebras associated to graphs of groups(1602.01919)

Feb. 5, 2016 math.OA, math.GR
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 Bass-Serre tree. We characterise when this action is minimal, and find a sufficient condition under which it is locally contractive. In the case of generalised Baumslag-Solitar 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 Baumslag-Solitar graphs of groups: they are either a Kirchberg algebra, or a stable Bunce-Deddens algebra.
• ### Infinite reduced words and the Tits boundary of a Coxeter group(1301.0873)

Sept. 18, 2014 math.CO, math.GT, math.RT, math.GR
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 order-preserving correspondence between infinite reduced words which "point towards" \xi, and elements of the reflection subgroup of W which fixes \xi.
• ### Divergence in right-angled Coxeter groups(1211.4565)

June 18, 2013 math.GT, math.GR
Let W be a 2-dimensional right-angled Coxeter group. We characterise such W with linear and quadratic divergence, and construct right-angled Coxeter groups with divergence polynomial of arbitrary degree. Our proofs use the structure of walls in the Davis complex.
• ### Characterising star-transitive and st(edge)-transitive graphs(1301.1775)

Jan. 9, 2013 math.CO, math.GR
Recent work of Lazarovich provides necessary and sufficient conditions on a graph L for there to exist a unique simply-connected (k,L)-complex. The two conditions are symmetry properties of the graph, namely star-transitivity and st(edge)-transitivity. In this paper we investigate star-transitive 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 star-transitive and st(edge)-transitive.
• ### 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.
• ### Density of commensurators for uniform lattices of right-angled buildings(0812.2280)

May 25, 2012 math.GR
Let G be the automorphism group of a regular right-angled 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.
• ### Lattices in hyperbolic buildings(1204.0287)

April 2, 2012 math.GT, math.DS, math.GR
This survey is a brief introduction to the theory of hyperbolic buildings and their lattices, with a focus on recent results.
• ### 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.
• ### Existence, covolumes and infinite generation of lattices for Davis complexes(0807.3312)

March 21, 2011 math.GR
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 Haglund--Paulin 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 non-buildings, 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$.
• ### Surface quotients of hyperbolic buildings(1007.5140)

Feb. 15, 2011 math.GT, math.GR
Let I(p,v) be Bourdon's building, the unique simply-connected 2-complex such that all 2-cells are regular right-angled hyperbolic p-gons 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.
• ### Infinite generation of non-cocompact lattices on right-angled buildings(1009.4235)

Jan. 25, 2011 math.GR
Let \Gamma be a non-cocompact lattice on a locally finite regular right-angled 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 tree-walls.
• ### Finite generation of lattices on products of trees(1005.1238)

Aug. 15, 2010 math.GR
We prove that an irreducible lattice acting on a product of two or more locally finite, biregular trees is finitely generated.
• ### Lattices acting on right-angled buildings(math/0508385)

April 21, 2009 math.GR
Let X be a right-angled 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.
• ### Problems on automorphism groups of nonpositively curved polyhedral complexes and their lattices(0803.2484)

June 18, 2008 math.GR
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.
• ### Hyperbolic Geometry and Distance Functions on Discrete Groups(0712.4294)

Dec. 27, 2007 math.GR, math.HO
Chapter 1 is a short history of non-Euclidean 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 half-plane 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 Lubotzky--Mozes--Raghunathan: 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 half-plane), but for $n \geq 3$, these two metrics on $PSL(n,\mathbb{Z})$ are Lipschitz equivalent.
• ### Covering theory for complexes of groups(math/0605303)

Oct. 4, 2007 math.GR
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$.
• ### A construction of lattices for certain hyperbolic buildings(math/0607430)

Dec. 4, 2006 math.GR
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.
• ### Covolumes of uniform lattices acting on polyhedral complexes(math/0502258)

Aug. 20, 2005 math.GR
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 two-dimensional 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.