-
Coarse cubical rigidity
Authors:
Elia Fioravanti,
Ivan Levcovitz,
Michah Sageev
Abstract:
We show that for many right-angled Artin and Coxeter groups, all cocompact cubulations coarsely look the same: they induce the same coarse median structure on the group. These are the first examples of non-hyperbolic groups with this property.
For all graph products of finite groups and for Coxeter groups with no irreducible affine parabolic subgroups of rank $\geq 3$, we show that all automorph…
▽ More
We show that for many right-angled Artin and Coxeter groups, all cocompact cubulations coarsely look the same: they induce the same coarse median structure on the group. These are the first examples of non-hyperbolic groups with this property.
For all graph products of finite groups and for Coxeter groups with no irreducible affine parabolic subgroups of rank $\geq 3$, we show that all automorphism preserve the coarse median structure induced, respectively, by the Davis complex and the Niblo-Reeves cubulation. As a consequence, automorphisms of these groups have nice fixed subgroups and satisfy Nielsen realisation.
△ Less
Submitted 22 June, 2024; v1 submitted 20 October, 2022;
originally announced October 2022.
-
Globally stable cylinders for hyperbolic CAT(0) cube complexes
Authors:
Nir Lazarovich,
Michah Sageev
Abstract:
Rips and Sela introduced the notion of globally stable cylinders and asked if all Gromov hyperbolic groups admit such. We prove that hyperbolic cubulated groups admit globally stable cylinders.
Rips and Sela introduced the notion of globally stable cylinders and asked if all Gromov hyperbolic groups admit such. We prove that hyperbolic cubulated groups admit globally stable cylinders.
△ Less
Submitted 28 July, 2021;
originally announced July 2021.
-
Cubulating Surface-by-free Groups
Authors:
Jason F. Manning,
Mahan Mj,
Michah Sageev
Abstract:
Let $$1 \to H \to G \to Q \to 1$$ be an exact sequence where $H= π_1(S)$ is the fundamental group of a closed surface $S$ of genus greater than one, $G$ is hyperbolic and $Q$ is finitely generated free. The aim of this paper is to provide sufficient conditions to prove that $G$ is cubulable and construct examples satisfying these conditions. The main result may be thought of as a combination theor…
▽ More
Let $$1 \to H \to G \to Q \to 1$$ be an exact sequence where $H= π_1(S)$ is the fundamental group of a closed surface $S$ of genus greater than one, $G$ is hyperbolic and $Q$ is finitely generated free. The aim of this paper is to provide sufficient conditions to prove that $G$ is cubulable and construct examples satisfying these conditions. The main result may be thought of as a combination theorem for virtually special hyperbolic groups when the amalgamating subgroup is not quasiconvex. Ingredients include the theory of tracks, the quasiconvex hierarchy theorem of Wise, the distance estimates in the map** class group from subsurface projections due to Masur-Minsky and the model geometry for doubly degenerate Kleinian surface groups used in the proof of the ending lamination theorem.
An appendix to this paper by Manning, Mj, and Sageev proves a reduction theorem by showing that cubulability of $G$ follows from the existence of an essential incompressible quasiconvex track in a surface bundle over a graph with fundamental group $G$.
△ Less
Submitted 28 September, 2023; v1 submitted 9 August, 2019;
originally announced August 2019.
-
Uniform exponential growth for CAT(0) square complexes
Authors:
Aditi Kar,
Michah Sageev
Abstract:
In this paper we start the inquiry into proving uniform exponential growth in the context of groups acting on CAT(0) cube complexes. We address free group actions on CAT(0) square complexes and prove a more general statement. This says that if $F$ is a finite collection of hyperbolic automorphisms of a CAT(0) square complex $X$, then either there exists a pair of words of length at most 10 in $F$…
▽ More
In this paper we start the inquiry into proving uniform exponential growth in the context of groups acting on CAT(0) cube complexes. We address free group actions on CAT(0) square complexes and prove a more general statement. This says that if $F$ is a finite collection of hyperbolic automorphisms of a CAT(0) square complex $X$, then either there exists a pair of words of length at most 10 in $F$ which freely generate a free semigroup, or all elements of $F$ stabilize a flat (of dimension 1 or 2 in $X$). As a corollary, we obtain a lower bound for the growth constant, $\sqrt[10]{2}$, which is uniform not just for a given group acting freely on a given CAT(0) cube complex, but for all groups which are not virtually abelian and have a free action on a CAT(0) square complex.
△ Less
Submitted 18 June, 2018; v1 submitted 30 June, 2016;
originally announced July 2016.
-
** pong on CAT(0) cube complexes
Authors:
Aditi Kar,
Michah Sageev
Abstract:
Let $G$ be a group acting properly and essentially on an irreducible, non-Euclidean finite dimensional CAT(0) cube complex $X$ without fixed points at infinity. We show that for any finite collection of simultaneously inessential subgroups $\{H_1, \ldots, H_k\}$ in $G$, there exists an element $g$ of infinite order such that $\forall i$, $\langle H_i, g\rangle \cong H_i * \langle g\rangle$. We app…
▽ More
Let $G$ be a group acting properly and essentially on an irreducible, non-Euclidean finite dimensional CAT(0) cube complex $X$ without fixed points at infinity. We show that for any finite collection of simultaneously inessential subgroups $\{H_1, \ldots, H_k\}$ in $G$, there exists an element $g$ of infinite order such that $\forall i$, $\langle H_i, g\rangle \cong H_i * \langle g\rangle$. We apply this to show that any group, acting faithfully and geometrically on a non-Euclidean possibly reducible CAT(0) cube complex, has property $P_{naive}$ i.e. given any finite list $\{g_1, \ldots, g_k\}$ of elements from $G$, there exists $g$ of infinite order such that $\forall i$, $\langle g_i, g\rangle \cong \langle g_i \rangle *\langle g\rangle$. This applies in particular to the Burger-Moses simple groups that arise as lattices in products of trees. The arguments utilize the action of the group on its Poisson boundary and moreover, allow us to summarise equivalent conditions for the reduced $C^*$-algebra of the group to be simple.
△ Less
Submitted 16 May, 2016; v1 submitted 21 July, 2015;
originally announced July 2015.
-
The Poisson boundary of CAT(0) cube complex groups
Authors:
Amos Nevo,
Michah Sageev
Abstract:
We consider a finite-dimensional, locally finite CAT(0) cube complex X admitting a co-compact properly discontinuous countable group of automorphisms G. We construct a natural compact metric space B(X) on which G acts by homeomorphisms, the action being minimal and strongly proximal. Furthermore, for any generating probability measure on G, B(X) admits a unique stationary measure, and when the mea…
▽ More
We consider a finite-dimensional, locally finite CAT(0) cube complex X admitting a co-compact properly discontinuous countable group of automorphisms G. We construct a natural compact metric space B(X) on which G acts by homeomorphisms, the action being minimal and strongly proximal. Furthermore, for any generating probability measure on G, B(X) admits a unique stationary measure, and when the measure has finite logarithmic moment, it constitutes a compact metric model of the Poisson boundary. We identify a dense G-delta subset of B(X) on which the action of G is Borel-amenable, and describe the relation of these two spaces to the Roller boundary. Our construction can be used to give a simple geometric proof of Property A for the complex. Our methods are based on direct geometric arguments regarding the asymptotic behavior of half-spaces and their limiting ultrafilters, which are of considerable independent interest. In particular we analyze the notions of median and interval in the complex, and use the latter in the proof that B(X) is the Poisson boundary via the strip criterion developed by V. Kaimanovich.
△ Less
Submitted 9 May, 2011;
originally announced May 2011.
-
Rank rigidity for CAT(0) cube complexes
Authors:
Pierre-Emmanuel Caprace,
Michah Sageev
Abstract:
We prove that any group acting essentially without a fixed point at infinity on an irreducible finite-dimensional CAT(0) cube complex contains a rank one isometry. This implies that the Rank Rigidity Conjecture holds for CAT(0) cube complexes. We derive a number of other consequences for CAT(0) cube complexes, including a purely geometric proof of the Tits Alternative, an existence result for regu…
▽ More
We prove that any group acting essentially without a fixed point at infinity on an irreducible finite-dimensional CAT(0) cube complex contains a rank one isometry. This implies that the Rank Rigidity Conjecture holds for CAT(0) cube complexes. We derive a number of other consequences for CAT(0) cube complexes, including a purely geometric proof of the Tits Alternative, an existence result for regular elements in (possibly non-uniform) lattices acting on cube complexes, and a characterization of products of trees in terms of bounded cohomology.
△ Less
Submitted 1 April, 2011; v1 submitted 31 May, 2010;
originally announced May 2010.
-
Quasiflats in CAT(0) complexes
Authors:
Mladen Bestvina,
Bruce Kleiner,
Michah Sageev
Abstract:
We show that if X is a piecewise Euclidean 2-complex with a cocompact isometry group, then every 2-quasiflat in X is at finite Hausdorff distance from a subset which is locally flat outside a compact set, and asymptotically conical.
We show that if X is a piecewise Euclidean 2-complex with a cocompact isometry group, then every 2-quasiflat in X is at finite Hausdorff distance from a subset which is locally flat outside a compact set, and asymptotically conical.
△ Less
Submitted 28 July, 2015; v1 submitted 16 April, 2008;
originally announced April 2008.
-
The asymptotic geometry of right-angled Artin groups, I
Authors:
Mladen Bestvina,
Bruce Kleiner,
Michah Sageev
Abstract:
We study atomic right-angled Artin groups -- those whose defining graph has no cycles of length less than five, and no separating vertices, separating edges, or separating vertex stars. We show that these groups are not quasi-isometrically rigid, but that an intermediate form of rigidity does hold. We deduce from this that two atomic groups are quasi-isometric iff they are isomorphic.
We study atomic right-angled Artin groups -- those whose defining graph has no cycles of length less than five, and no separating vertices, separating edges, or separating vertex stars. We show that these groups are not quasi-isometrically rigid, but that an intermediate form of rigidity does hold. We deduce from this that two atomic groups are quasi-isometric iff they are isomorphic.
△ Less
Submitted 14 August, 2007;
originally announced August 2007.
-
Surface subgroups of right-angled Artin groups
Authors:
John Crisp,
Michah Sageev,
Mark Sapir
Abstract:
We consider the question of which right-angled Artin groups contain closed hyperbolic surface subgroups. It is known that a right-angled Artin group $A(K)$ has such a subgroup if its defining graph $K$ contains an $n$-hole (i.e. an induced cycle of length $n$) with $n\geq 5$. We construct another eight "forbidden" graphs and show that every graph $K$ on $\le 8$ vertices either contains one of ou…
▽ More
We consider the question of which right-angled Artin groups contain closed hyperbolic surface subgroups. It is known that a right-angled Artin group $A(K)$ has such a subgroup if its defining graph $K$ contains an $n$-hole (i.e. an induced cycle of length $n$) with $n\geq 5$. We construct another eight "forbidden" graphs and show that every graph $K$ on $\le 8$ vertices either contains one of our examples, or contains a hole of length $\ge 5$, or has the property that $A(K)$ does not contain hyperbolic closed surface subgroups. We also provide several sufficient conditions for a \RAAG to contain no hyperbolic surface subgroups.
We prove that for one of these "forbidden" subgraphs $P_2(6)$, the right angled Artin group $A(P_2(6))$ is a subgroup of a (right angled Artin) diagram group. Thus we show that a diagram group can contain a non-free hyperbolic subgroup answering a question of Guba and Sapir. We also show that fundamental groups of non-orientable surfaces can be subgroups of diagram groups. Thus the first integral homology of a subgroup of a diagram group can have torsion (all homology groups of all diagram groups are free Abelian by a result of Guba and Sapir).
△ Less
Submitted 16 November, 2007; v1 submitted 8 July, 2007;
originally announced July 2007.
-
Quasi-actions on trees II: Finite depth Bass-Serre trees
Authors:
Lee Mosher,
Michah Sageev,
Kevin Whyte
Abstract:
This paper addresses questions of quasi-isometric rigidity and classification for fundamental groups of finite graphs of groups, under the assumption that the Bass-Serre tree of the graph of groups has finite depth. The main example of a finite depth graph of groups is one whose vertex and edge groups are coarse Poincare duality groups. The main theorem says that, under certain hypotheses, if G…
▽ More
This paper addresses questions of quasi-isometric rigidity and classification for fundamental groups of finite graphs of groups, under the assumption that the Bass-Serre tree of the graph of groups has finite depth. The main example of a finite depth graph of groups is one whose vertex and edge groups are coarse Poincare duality groups. The main theorem says that, under certain hypotheses, if G is a finite graph of coarse Poincare duality groups then any finitely generated group quasi-isometric to the fundamental group of G is also the fundamental group of a finite graph of coarse Poincare duality groups, and any quasi-isometry between two such groups must coarsely preserves the vertex and edge spaces of their Bass-Serre trees of spaces. Besides some simple normalization hypotheses, the main hypothesis is the ``crossing graph condition'', which is imposed on each vertex group G_v which is an n-dimensional coarse Poincare duality group for which every incident edge group has positive codimension: the crossing graph of G_v is a graph e_v that describes the pattern in which the codimension~1 edge groups incident to G_v are crossed by other edge groups incident to G_v, and the crossing graph condition requires that e_v be connected or empty.
△ Less
Submitted 16 September, 2005; v1 submitted 12 May, 2004;
originally announced May 2004.
-
The Tits alternative for CAT(0) cubical complexes
Authors:
Michah Sageev,
Daniel T. Wise
Abstract:
We prove a Tits alternative theorem for groups acting on CAT(0) cubical complexes. Namely, suppose that $G$ is a group for which there is a bound on the orders of its finite subgroups. We prove that if $G$ acts properly on a finite-dimensional CAT(0) cubical complex, then either $G$ contains a free subgroup of rank 2 or $G$ is finitely generated and virtually abelian. In particular the above con…
▽ More
We prove a Tits alternative theorem for groups acting on CAT(0) cubical complexes. Namely, suppose that $G$ is a group for which there is a bound on the orders of its finite subgroups. We prove that if $G$ acts properly on a finite-dimensional CAT(0) cubical complex, then either $G$ contains a free subgroup of rank 2 or $G$ is finitely generated and virtually abelian. In particular the above conclusion holds for any group $G$ with a free action on a finite-dimensional CAT(0) cubical complex.
△ Less
Submitted 2 May, 2004;
originally announced May 2004.
-
Minimal cubings
Authors:
Graham Niblo,
Michah Sageev,
Peter Scott,
Gadde A. Swarup
Abstract:
We combine ideas of Scott and Swarup on good position for almost invariant subsets of a group with ideas of Sageev on constructing cubings from such sets. We construct cubings which are more canonical than in Sageev's original construction. We also show that almost invariant sets can be chosen to be in very good position.
We combine ideas of Scott and Swarup on good position for almost invariant subsets of a group with ideas of Sageev on constructing cubings from such sets. We construct cubings which are more canonical than in Sageev's original construction. We also show that almost invariant sets can be chosen to be in very good position.
△ Less
Submitted 16 February, 2004; v1 submitted 13 January, 2004;
originally announced January 2004.
-
Maximally symmetric trees
Authors:
Lee Mosher,
Michah Sageev,
Kevin Whyte
Abstract:
We characterize the ``best'' model geometries for the class of virtually free groups, and we show that there is a countable infinity of distinct ``best'' model geometries in an appropriate sense--these are the maximally symmetric trees. The first theorem gives several equivalent conditions on a bounded valence, cocompact tree T without valence 1 vertices saying that T is maximally symmetric. The…
▽ More
We characterize the ``best'' model geometries for the class of virtually free groups, and we show that there is a countable infinity of distinct ``best'' model geometries in an appropriate sense--these are the maximally symmetric trees. The first theorem gives several equivalent conditions on a bounded valence, cocompact tree T without valence 1 vertices saying that T is maximally symmetric. The second theorem gives general constructions for maximally symmetric trees, showing for instance that every virtually free group has a maximally symmetric tree for a model geometry.
△ Less
Submitted 25 February, 2001; v1 submitted 1 December, 2000;
originally announced December 2000.
-
Quasi-actions on trees I. Bounded valence
Authors:
Lee Mosher,
Michah Sageev,
Kevin Whyte
Abstract:
Given a bounded valence, bushy tree T, we prove that any cobounded quasi-action of a group G on T is quasiconjugate to an action of G on another bounded valence, bushy tree T'. This theorem has many applications: quasi-isometric rigidity for fundamental groups of finite, bushy graphs of coarse PD(n) groups for each fixed n; a generalization to actions on Cantor sets of Sullivan's Theorem about u…
▽ More
Given a bounded valence, bushy tree T, we prove that any cobounded quasi-action of a group G on T is quasiconjugate to an action of G on another bounded valence, bushy tree T'. This theorem has many applications: quasi-isometric rigidity for fundamental groups of finite, bushy graphs of coarse PD(n) groups for each fixed n; a generalization to actions on Cantor sets of Sullivan's Theorem about uniformly quasiconformal actions on the 2-sphere; and a characterization of locally compact topological groups which contain a virtually free group as a cocompact lattice. Finally, we give the first examples of two finitely generated groups which are quasi-isometric and yet which cannot act on the same proper geodesic metric space, properly discontinuously and cocompactly by isometries.
△ Less
Submitted 23 February, 2004; v1 submitted 13 October, 2000;
originally announced October 2000.
-
Quasi-actions on trees: research announcement
Authors:
Lee Mosher,
Michah Sageev,
Kevin Whyte
Abstract:
We develop a battery of tools for studying quasi-isometric rigidity and classification problems for splittings of groups. The techniques work best for finite graphs of groups where all edge and vertex groups are coarse PD groups. For example, if Gamma is a graph of coarse PD(n) groups for a fixed n, if the Bass-Serre tree of Gamma has infinitely many ends, and if H is a finitely generated group…
▽ More
We develop a battery of tools for studying quasi-isometric rigidity and classification problems for splittings of groups. The techniques work best for finite graphs of groups where all edge and vertex groups are coarse PD groups. For example, if Gamma is a graph of coarse PD(n) groups for a fixed n, if the Bass-Serre tree of Gamma has infinitely many ends, and if H is a finitely generated group quasi-isometric to pi_1(Gamma), then we prove that H is the fundamental group of a graph of coarse PD(n) groups, with vertex and edge groups quasi-isometric to those of Gamma. We also have quasi-isometric rigidity theorems for graphs of coarse PD groups of nonconstant dimension, under various assumptions on the edge-to-vertex group inclusions.
△ Less
Submitted 22 May, 2000;
originally announced May 2000.
