Showing 1–31 of 31 results for author: Behrstock, J

Relative hyperbolicity, thickness, and the hierarchically hyperbolic boundary

Authors: Carolyn Abbott, Jason Behrstock, Jacob Russell

Abstract: We study the boundaries of relatively hyperbolic HHGs. Using the simplicial structure on the hierarchically hyperbolic boundary, we characterize both relative hyperbolicity and being thick of order 1 among HHGs. In the case of relatively hyperbolic HHGs, we show that the Bowditch boundary of the group is the quotient of the HHS boundary obtained by collapsing the limit sets of the peripheral subgr… ▽ More We study the boundaries of relatively hyperbolic HHGs. Using the simplicial structure on the hierarchically hyperbolic boundary, we characterize both relative hyperbolicity and being thick of order 1 among HHGs. In the case of relatively hyperbolic HHGs, we show that the Bowditch boundary of the group is the quotient of the HHS boundary obtained by collapsing the limit sets of the peripheral subgroups to a point. In establishing this, we give a construction that allows one to modify an HHG structure by including a collection of hyperbolically embedded subgroups into the HHG structure. △ Less

Submitted 26 May, 2023; originally announced May 2023.

MSC Class: 20F65; 20F67

Structure invariant properties of the hierarchically hyperbolic boundary

Authors: Carolyn Abbott, Jason Behrstock, Jacob Russell

Abstract: We prove several topological and dynamical properties of the boundary of a hierarchically hyperbolic group are independent of the specific hierarchically hyperbolic structure. This is accomplished by proving that the boundary is invariant under a "maximization" procedure introduced by the first two authors and Durham. We prove several topological and dynamical properties of the boundary of a hierarchically hyperbolic group are independent of the specific hierarchically hyperbolic structure. This is accomplished by proving that the boundary is invariant under a "maximization" procedure introduced by the first two authors and Durham. △ Less

Submitted 17 March, 2023; v1 submitted 16 August, 2022; originally announced August 2022.

Comments: Minor revisions in response to referee's comments. Version accepted to the Journal of Topology and Analysis

MSC Class: 20F67; 20F65; 20F69

Square percolation and the threshold for quadratic divergence in random right-angled Coxeter groups

Authors: Jason Behrstock, Victor Falgas-Ravry, Tim Susse

Abstract: Given a graph $Γ$, its auxiliary \emph{square-graph} $\square(Γ)$ is the graph whose vertices are the non-edges of $Γ$ and whose edges are the pairs of non-edges which induce a square (i.e., a $4$-cycle) in $Γ$. We determine the threshold edge-probability $p=p_c(n)$ at which the Erd{\H o}s--Rényi random graph $Γ=Γ_{n,p}$ begins to asymptotically almost surely have a square-graph with a connected c… ▽ More Given a graph $Γ$, its auxiliary \emph{square-graph} $\square(Γ)$ is the graph whose vertices are the non-edges of $Γ$ and whose edges are the pairs of non-edges which induce a square (i.e., a $4$-cycle) in $Γ$. We determine the threshold edge-probability $p=p_c(n)$ at which the Erd{\H o}s--Rényi random graph $Γ=Γ_{n,p}$ begins to asymptotically almost surely have a square-graph with a connected component whose squares together cover all the vertices of $Γ_{n,p}$. We show $p_c(n)=\sqrt{\sqrt{6}-2}/\sqrt{n}$, a polylogarithmic improvement on earlier bounds on $p_c(n)$ due to Hagen and the authors. As a corollary, we determine the threshold $p=p_c(n)$ at which the random right-angled Coxeter group $W_{Γ_{n,p}}$ asymptotically almost surely becomes strongly algebraically thick of order $1$ and has quadratic divergence. △ Less

Submitted 30 September, 2020; originally announced September 2020.

A combinatorial take on hierarchical hyperbolicity and applications to quotients of map** class groups

Authors: Jason Behrstock, Mark Hagen, Alexandre Martin, Alessandro Sisto

Abstract: We give a simple combinatorial criterion, in terms of an action on a hyperbolic simplicial complex, for a group to be hierarchically hyperbolic. We apply this to show that quotients of map** class groups by large powers of Dehn twists are hierarchically hyperbolic (and even relatively hyperbolic in the genus 2 case). Under residual finiteness assumptions, we construct many non-elementary hyperbo… ▽ More We give a simple combinatorial criterion, in terms of an action on a hyperbolic simplicial complex, for a group to be hierarchically hyperbolic. We apply this to show that quotients of map** class groups by large powers of Dehn twists are hierarchically hyperbolic (and even relatively hyperbolic in the genus 2 case). Under residual finiteness assumptions, we construct many non-elementary hyperbolic quotients of map** class groups. Using these quotients, we reduce questions of Reid and Bridson-Reid-Wilton about finite quotients of map** class groups to residual finiteness of specific hyperbolic groups. △ Less

Submitted 21 June, 2024; v1 submitted 1 May, 2020; originally announced May 2020.

Comments: Revised according to referee comments. This version accepted in Journal of Topology

Conjugator lengths in hierarchically hyperbolic groups

Authors: Carolyn Abbott, Jason Behrstock

Abstract: In this paper, we establish upper bounds on the length of the shortest conjugator between pairs of infinite order elements in a wide class of groups. We obtain a general result which applies to all hierarchically hyperbolic groups, a class which includes map** class groups, right-angled Artin groups, Burger--Mozes-type groups, most $3$--manifold groups, and many others. In this setting we establ… ▽ More In this paper, we establish upper bounds on the length of the shortest conjugator between pairs of infinite order elements in a wide class of groups. We obtain a general result which applies to all hierarchically hyperbolic groups, a class which includes map** class groups, right-angled Artin groups, Burger--Mozes-type groups, most $3$--manifold groups, and many others. In this setting we establish a linear bound on the length of the shortest conjugator for any pair of conjugate Morse elements. For a subclass of these groups, including, in particular, all virtually compact special groups, we prove a sharper result by obtaining a linear bound on the length of the shortest conjugator between a suitable power of any pair of conjugate infinite order elements. △ Less

Submitted 7 December, 2023; v1 submitted 28 August, 2018; originally announced August 2018.

Comments: Streamlined proof of Theorem A; v3: major updates

Largest acylindrical actions and stability in hierarchically hyperbolic groups

Authors: Carolyn Abbott, Jason Behrstock, Daniel Berlyne, Matthew Gentry Durham, Jacob Russell

Abstract: We consider two manifestations of non-positive curvature: acylindrical actions on hyperbolic spaces and quasigeodesic stability. We study these properties for the class of hierarchically hyperbolic groups, which is a general framework for studying many important families of groups, including map** class groups, right-angled Coxeter and Artin groups, most 3-manifold groups, and many others. A gro… ▽ More We consider two manifestations of non-positive curvature: acylindrical actions on hyperbolic spaces and quasigeodesic stability. We study these properties for the class of hierarchically hyperbolic groups, which is a general framework for studying many important families of groups, including map** class groups, right-angled Coxeter and Artin groups, most 3-manifold groups, and many others. A group that admits an acylindrical action on a hyperbolic space may admit many such actions on different hyperbolic spaces, so it is natural to search for a "best" one. The set of all cobounded acylindrical actions on hyperbolic spaces admits a natural poset structure; in this paper we prove that all hierarchically hyperbolic groups admit a unique action which is the largest in this poset. The action we construct is also universal in the sense that every element which acts loxodromically in some acylindrical action on a hyperbolic space does so in this one. Special cases of this result are themselves new and interesting. For instance, this is the first proof that right-angled Coxeter groups admit universal acylindrical actions. The notion of quasigeodesic stability of subgroups provides a natural analogue of quasiconvexity outside the context of hyperbolic groups. We provide a complete classification of stable subgroups of hierarchically hyperbolic groups, generalizing and extending results that are known for map** class groups and right-angled Artin groups. We also provide a characterization of contracting quasigeodesics; interestingly, in this generality the proof is much simpler than in the special cases where it was already known. In the appendix, it is verified that any space satisfying the a priori weaker property of being an "almost hierarchically hyperbolic space" is actually a hierarchically hyperbolic space. The results of the appendix are used to streamline the proofs in the main text. △ Less

Submitted 4 August, 2020; v1 submitted 17 May, 2017; originally announced May 2017.

Comments: Primary article by Carolyn Abbott, Jason Behrstock, and Matthew Gentry Durham with an appendix by Daniel Berlyne and Jacob Russell. To appear in Transactions of the AMS

A counterexample to questions about boundaries, stability, and commensurability

Authors: Jason Behrstock

Abstract: We construct a family of right-angled Coxeter groups which provide counter-examples to questions about the stable boundary of a group, one-endedness of quasi-geodesically stable subgroups, and the commensurability types of right-angled Coxeter groups. We construct a family of right-angled Coxeter groups which provide counter-examples to questions about the stable boundary of a group, one-endedness of quasi-geodesically stable subgroups, and the commensurability types of right-angled Coxeter groups. △ Less

Submitted 25 January, 2018; v1 submitted 10 May, 2017; originally announced May 2017.

Comments: Added extra open questions at end of paper. This is the final post-referee version, article is to appear in Proceedings of the Beyond Hyperbolicity Conference

Quasiflats in hierarchically hyperbolic spaces

Authors: Jason Behrstock, Mark F Hagen, Alessandro Sisto

Abstract: The rank of a hierarchically hyperbolic space is the maximal number of unbounded factors in a standard product region. For hierarchically hyperbolic groups, this coincides with the maximal dimension of a quasiflat. Examples for which the rank coincides with familiar quantities include: the dimension of maximal Dehn twist flats for map** class groups, the maximal rank of a free abelian subgroup f… ▽ More The rank of a hierarchically hyperbolic space is the maximal number of unbounded factors in a standard product region. For hierarchically hyperbolic groups, this coincides with the maximal dimension of a quasiflat. Examples for which the rank coincides with familiar quantities include: the dimension of maximal Dehn twist flats for map** class groups, the maximal rank of a free abelian subgroup for right-angled Coxeter and Artin groups, and, for the Weil--Petersson metric, the rank is the integer part of half the complex dimension of Teichmüller space. We prove that any quasiflat of dimension equal to the rank lies within finite distance of a union of standard orthants (under a mild condition satisfied by all natural examples). This resolves outstanding conjectures when applied to various examples. For map** class group, we verify a conjecture of Farb; for Teichmüller space we answer a question of Brock; for CAT(0) cubical groups, we handle special cases including right-angled Coxeter groups. An important ingredient in the proof is that the hull of any finite set in an HHS is quasi-isometric to a CAT(0) cube complex of dimension bounded by the rank. We deduce a number of applications. For instance, we show that any quasi-isometry between HHSs induces a quasi-isometry between certain simpler HHSs. This allows one, for example, to distinguish quasi-isometry classes of right-angled Artin/Coxeter groups. Another application is to quasi-isometric rigidity. Our tools in many cases allow one to reduce the problem of quasi-isometric rigidity for a given hierarchically hyperbolic group to a combinatorial problem. We give a new proof of quasi-isometric rigidity of map** class groups, which, given our general quasiflats theorem, uses simpler combinatorial arguments than in previous proofs. △ Less

Submitted 22 August, 2020; v1 submitted 13 April, 2017; originally announced April 2017.

Comments: 58 pages, 6 figures. Revised according to referee comments. This is the final pre-publication version; to appear in Duke Math. Jour

Asymptotic dimension and small-cancellation for hierarchically hyperbolic spaces and groups

Authors: Jason Behrstock, Mark F. Hagen, Alessandro Sisto

Abstract: We prove that all hierarchically hyperbolic spaces have finite asymptotic dimension and obtain strong bounds on these dimensions. One application of this result is to obtain the sharpest known bound on the asymptotic dimension of the map** class group of a finite type surface: improving the bound from exponential to at most quadratic in the complexity of the surface. We also apply the main resul… ▽ More We prove that all hierarchically hyperbolic spaces have finite asymptotic dimension and obtain strong bounds on these dimensions. One application of this result is to obtain the sharpest known bound on the asymptotic dimension of the map** class group of a finite type surface: improving the bound from exponential to at most quadratic in the complexity of the surface. We also apply the main result to various other hierarchically hyperbolic groups and spaces. We also prove a small-cancellation result namely: if $G$ is a hierarchically hyperbolic group, $H\leq G$ is a suitable hyperbolically embedded subgroup, and $N\triangleleft H$ is "sufficiently deep" in $H$, then $G/\langle\langle N\rangle\rangle$ is a relatively hierarchically hyperbolic group. This new class provides many new examples to which our asymptotic dimension bounds apply. Along the way, we prove new results about the structure of HHSs, for example: the associated hyperbolic spaces are always obtained, up to quasi-isometry, by coning off canonical coarse product regions in the original space (generalizing a relation established by Masur--Minsky between the complex of curves of a surface and Teichmüller space). △ Less

Submitted 14 February, 2017; v1 submitted 18 December, 2015; originally announced December 2015.

Comments: Minor revisions in Section 6. This is the version accepted for publication

Hierarchically hyperbolic spaces II: Combination theorems and the distance formula

Authors: Jason Behrstock, Mark F. Hagen, Alessandro Sisto

Abstract: We introduce a number of tools for finding and studying \emph{hierarchically hyperbolic spaces (HHS)}, a rich class of spaces including map** class groups of surfaces, Teichmüller space with either the Teichmüller or Weil-Petersson metrics, right-angled Artin groups, and the universal cover of any compact special cube complex. We begin by introducing a streamlined set of axioms defining an HHS.… ▽ More We introduce a number of tools for finding and studying \emph{hierarchically hyperbolic spaces (HHS)}, a rich class of spaces including map** class groups of surfaces, Teichmüller space with either the Teichmüller or Weil-Petersson metrics, right-angled Artin groups, and the universal cover of any compact special cube complex. We begin by introducing a streamlined set of axioms defining an HHS. We prove that all HHSs satisfy a Masur-Minsky-style distance formula, thereby obtaining a new proof of the distance formula in the map** class group without relying on the Masur-Minsky hierarchy machinery. We then study examples of HHSs; for instance, we prove that when $M$ is a closed irreducible $3$--manifold then $π_1M$ is an HHS if and only if it is neither $Nil$ nor $Sol$. We establish this by proving a general combination theorem for trees of HHSs (and graphs of HH groups). We also introduce a notion of "hierarchical quasiconvexity", which in the study of HHS is analogous to the role played by quasiconvexity in the study of Gromov-hyperbolic spaces. △ Less

Submitted 28 November, 2018; v1 submitted 2 September, 2015; originally announced September 2015.

Comments: Revised in view of various referee and reader comments. Accepted in Pacific J. Math

Journal ref: Pacific J. Math. 299 (2019) 257-338

Combinatorial higher dimensional isoperimetry and divergence

Authors: Jason Behrstock, Cornelia Drutu

Abstract: In this paper we provide a framework for the study of isoperimetric problems in finitely generated group, through a combinatorial study of universal covers of compact simplicial complexes. We show that, when estimating filling functions, one can restrict to simplicial spheres of particular shapes, called "round" and "unfolded", provided that a bounded quasi-geodesic combing exists. We prove that t… ▽ More In this paper we provide a framework for the study of isoperimetric problems in finitely generated group, through a combinatorial study of universal covers of compact simplicial complexes. We show that, when estimating filling functions, one can restrict to simplicial spheres of particular shapes, called "round" and "unfolded", provided that a bounded quasi-geodesic combing exists. We prove that the problem of estimating higher dimensional divergence as well can be restricted to round spheres. Applications of these results include a combinatorial analogy of the Federer--Fleming inequality for finitely generated groups, the construction of examples of $CAT(0)$--groups with higher dimensional divergence equivalent to $x^d$ for every degree d [arXiv:1305.2994], and a proof of the fact that for bi-combable groups the filling function above the quasi-flat rank is asymptotically linear [Behrstock-Drutu]. △ Less

Submitted 6 July, 2015; originally announced July 2015.

Comments: This paper contains material that formerly formed the first half of arXiv:1305.2994, as well as strengthening and refinements of those results

Global Structural Properties of Random Graphs

Authors: Jason Behrstock, Victor Falgas-Ravry, Mark F. Hagen, Timothy Susse

Abstract: We study two global structural properties of a graph $Γ$, denoted AS and CFS, which arise in a natural way from geometric group theory. We study these properties in the Erdös--Rényi random graph model G(n,p), proving a sharp threshold for a random graph to have the AS property asymptotically almost surely, and giving fairly tight bounds for the corresponding threshold for CFS. As an application… ▽ More We study two global structural properties of a graph $Γ$, denoted AS and CFS, which arise in a natural way from geometric group theory. We study these properties in the Erdös--Rényi random graph model G(n,p), proving a sharp threshold for a random graph to have the AS property asymptotically almost surely, and giving fairly tight bounds for the corresponding threshold for CFS. As an application of our results, we show that for any constant p and any $Γ\in G(n,p)$, the right-angled Coxeter group $W_Γ$ asymptotically almost surely has quadratic divergence and thickness of order 1, generalizing and strengthening a result of Behrstock--Hagen--Sisto. △ Less

Submitted 7 November, 2016; v1 submitted 7 May, 2015; originally announced May 2015.

Comments: 21 pages, 5 figures

Hierarchically hyperbolic spaces I: curve complexes for cubical groups

Authors: Jason Behrstock, Mark F. Hagen, Alessandro Sisto

Abstract: In the context of CAT(0) cubical groups, we develop an analogue of the theory of curve complexes and subsurface projections. The role of the subsurfaces is played by a collection of convex subcomplexes called a \emph{factor system}, and the role of the curve graph is played by the \emph{contact graph}. There are a number of close parallels between the contact graph and the curve graph, including h… ▽ More In the context of CAT(0) cubical groups, we develop an analogue of the theory of curve complexes and subsurface projections. The role of the subsurfaces is played by a collection of convex subcomplexes called a \emph{factor system}, and the role of the curve graph is played by the \emph{contact graph}. There are a number of close parallels between the contact graph and the curve graph, including hyperbolicity, acylindricity of the action, the existence of hierarchy paths, and a Masur--Minsky-style distance formula. We then define a \emph{hierarchically hyperbolic space}; the class of such spaces includes a wide class of cubical groups (including all virtually compact special groups) as well as map** class groups and Teichmüller space with any of the standard metrics. We deduce a number of results about these spaces, all of which are new for cubical or map** class groups, and most of which are new for both. We show that the quasi-Lipschitz image from a ball in a nilpotent Lie group into a hierarchically hyperbolic space lies close to a product of hierarchy geodesics. We also prove a rank theorem for hierarchically hyperbolic spaces; this generalizes results of Behrstock--Minsky, Eskin--Masur--Rafi, Hamenstädt, and Kleiner. We finally prove that each hierarchically hyperbolic group admits an acylindrical action on a hyperbolic space. This acylindricity result is new for cubical groups, in which case the hyperbolic space admitting the action is the contact graph; in the case of the map** class group, this provides a new proof of a theorem of Bowditch. △ Less

Submitted 11 November, 2016; v1 submitted 5 December, 2014; originally announced December 2014.

Comments: To appear in "Geometry and Topology". This version incorporates the referee's comments

Journal ref: Geom. Topol. 21 (2017) 1731-1804

Thickness, relative hyperbolicity, and randomness in Coxeter groups

Authors: Jason Behrstock, Mark F. Hagen, Alessandro Sisto, Pierre-Emmanuel Caprace

Abstract: For right-angled Coxeter groups $W_Γ$, we obtain a condition on $Γ$ that is necessary and sufficient to ensure that $W_Γ$ is thick and thus not relatively hyperbolic. We show that Coxeter groups which are not thick all admit canonical minimal relatively hyperbolic structures; further, we show that in such a structure, the peripheral subgroups are both parabolic (in the Coxeter group-theoretic sens… ▽ More For right-angled Coxeter groups $W_Γ$, we obtain a condition on $Γ$ that is necessary and sufficient to ensure that $W_Γ$ is thick and thus not relatively hyperbolic. We show that Coxeter groups which are not thick all admit canonical minimal relatively hyperbolic structures; further, we show that in such a structure, the peripheral subgroups are both parabolic (in the Coxeter group-theoretic sense) and strongly algebraically thick. We exhibit a polynomial-time algorithm that decides whether a right-angled Coxeter group is thick or relatively hyperbolic. We analyze random graphs in the Erdós-Rényi model and establish the asymptotic probability that a random right-angled Coxeter group is thick. In the joint appendix we study Coxeter groups in full generality and there we also obtain a dichotomy whereby any such group is either strongly algebraically thick or admits a minimal relatively hyperbolic structure. In this study, we also introduce a notion we call \emph{intrinsic horosphericity} which provides a dynamical obstruction to relative hyperbolicity which generalizes thickness. △ Less

Submitted 17 December, 2013; originally announced December 2013.

Comments: Primary article by Behrstock, Hagen, and Sisto with an appendix by Behrstock, Caprace, Hagen, and Sisto. 31 pages, 5 figures, 1 table. All necessary C++ code can be downloaded from this ArXiv page. The same C++ code, along with instructions and control scripts, is available at http://www-personal.umich.edu/~mfhagen/thickracgcode.tar

Journal ref: Algebr. Geom. Topol. 17 (2017) 705-740

Higher dimensional divergence for map** class groups

Authors: Jason Behrstock, Cornelia Drutu

Abstract: In this paper we investigate the higher dimensional divergence functions of map** class groups of surfaces and of CAT(0)--groups. We show that, for map** class groups of surfaces, these functions exhibit phase transitions at the rank (as measured by thrice the genus plus the number of punctures minus 3). We also provide inductive constructions of CAT(0)--spaces with co-compact group actions, f… ▽ More In this paper we investigate the higher dimensional divergence functions of map** class groups of surfaces and of CAT(0)--groups. We show that, for map** class groups of surfaces, these functions exhibit phase transitions at the rank (as measured by thrice the genus plus the number of punctures minus 3). We also provide inductive constructions of CAT(0)--spaces with co-compact group actions, for which the divergence below the rank is (exactly) a polynomial function of our choice, with degree arbitrarily large compared to the dimension. △ Less

Submitted 6 July, 2015; v1 submitted 13 May, 2013; originally announced May 2013.

Comments: Version 4: This version contains the applications to MCG and CAT(0) groups of higher divergence; setting up the framework with which we study these functions is now split into a separate paper by the same authors entitled "Combinatorial higher dimensional isoperimetry and divergence"

Cubulated groups: thickness, relative hyperbolicity, and simplicial boundaries

Authors: Jason Behrstock, Mark F. Hagen

Abstract: Let G be a group acting geometrically on a CAT(0) cube complex X. We prove first that G is hyperbolic relative to the collection P of subgroups if and only if the simplicial boundary of X is the disjoint union of a nonempty discrete set, together with a pairwise-disjoint collection of subcomplexes corresponding, in the appropriate sense, to elements of P. As a special case of this result is a new… ▽ More Let G be a group acting geometrically on a CAT(0) cube complex X. We prove first that G is hyperbolic relative to the collection P of subgroups if and only if the simplicial boundary of X is the disjoint union of a nonempty discrete set, together with a pairwise-disjoint collection of subcomplexes corresponding, in the appropriate sense, to elements of P. As a special case of this result is a new proof, in the cubical case, of a Theorem of Hruska--Kleiner regarding Tits boundaries of relatively hyperbolic CAT(0) spaces. Second, we relate the existence of cut-points in asymptotic cones of a cube complex X to boundedness of the 1-skeleton of the boundary of X. We deduce characterizations of thickness and strong algebraic thickness of a group G acting properly and cocompactly on the CAT(0) cube complex X in terms of the structure of, and nature of the G-action on, the boundary of X. Finally, we construct, for each n,k, infinitely many quasi-isometry types of group G such that G is strongly algebraically thick of order n, has polynomial divergence of order n+1, and acts properly and cocompactly on a k-dimensional CAT(0) cube complex. △ Less

Submitted 5 December, 2014; v1 submitted 1 December, 2012; originally announced December 2012.

Comments: Corrections according to referee report. Fixed proof of Theorem 4.3. To appear in "Groups, Geometry, and Dynamics"

Divergence, thick groups, and short conjugators

Authors: Jason Behrstock, Cornelia Drutu

Abstract: In this paper we explore relationships between divergence and thick groups, and with the same techniques we estimate lengths of shortest conjugators. We produce examples, for every positive integer n, of CAT(0) groups which are thick of order n and with polynomial divergence of order n+1, both these phenomena are new. With respect to thickness, these examples show the non-triviality at each level… ▽ More In this paper we explore relationships between divergence and thick groups, and with the same techniques we estimate lengths of shortest conjugators. We produce examples, for every positive integer n, of CAT(0) groups which are thick of order n and with polynomial divergence of order n+1, both these phenomena are new. With respect to thickness, these examples show the non-triviality at each level of the thickness hierarchy defined by Behrstock-Drutu-Mosher. With respect to divergence our examples resolve questions of Gromov and Gersten (the divergence questions were also recently and independently answered by Macura. We also provide general tools for obtaining both lower and upper bounds on the divergence of geodesics and spaces, and we give the definitive lower bound for Morse geodesics in the CAT(0) spaces, generalizing earlier results of Kapovich-Leeb and Bestvina-Fujiwara. In the final section, we turn to the question of bounding the length of the shortest conjugators in several interesting classes of groups. We obtain linear and quadratic bounds on such lengths for classes of groups including 3-manifold groups and map** class groups (the latter gives new proofs of corresponding results of Masur-Minsky in the pseudo-Anosov case and Tao in the reducible case). △ Less

Submitted 22 October, 2011; originally announced October 2011.

Homomorphisms into map** class groups. An addendum

Authors: Jason Behrstock, Cornelia Drutu, Mark Sapir

Abstract: This is an addendum to ar** class group virtually acts non-trivially on an $\R$-tree, and, if it is finitely presented, it virtually acts non-trivially on a simplicial tree This is an addendum to ar** class group virtually acts non-trivially on an $\R$-tree, and, if it is finitely presented, it virtually acts non-trivially on a simplicial tree △ Less

Submitted 15 September, 2010; v1 submitted 27 May, 2010; originally announced May 2010.

Comments: 7 pages; v2: fixed some misprints, the paper is accepted in Proc. LMS

Divergence and quasimorphisms of right-angled Artin groups

Authors: Jason Behrstock, Ruth Charney

Abstract: We give a group theoretic characterization of geodesics with superlinear divergence in the Cayley graph of a right-angled Artin group A(G) with connected defining graph G. We use this to determine when two points in an asymptotic cone of A(G) are separated by a cut-point. As an application, we show that if G does not decompose as the join of two subgraphs, then A(G) has an infinite-dimensional s… ▽ More We give a group theoretic characterization of geodesics with superlinear divergence in the Cayley graph of a right-angled Artin group A(G) with connected defining graph G. We use this to determine when two points in an asymptotic cone of A(G) are separated by a cut-point. As an application, we show that if G does not decompose as the join of two subgraphs, then A(G) has an infinite-dimensional space of non-trivial quasimorphisms. By the work of Burger and Monod, this leads to a superrigidity theorem for homomorphisms from lattices into right-angled Artin groups. △ Less

Submitted 26 January, 2010; v1 submitted 20 January, 2010; originally announced January 2010.

Comments: References added

Quasi-isometric classification of non-geometric 3-manifold groups

Authors: Jason Behrstock, Walter D Neumann

Abstract: We describe the quasi-isometric classification of fundamental groups of irreducible non-geometric 3-manifolds which do not have "too many" arithmetic hyperbolic geometric components, thus completing the quasi-isometric classification of 3--manifold groups in all but a few exceptional cases. We describe the quasi-isometric classification of fundamental groups of irreducible non-geometric 3-manifolds which do not have "too many" arithmetic hyperbolic geometric components, thus completing the quasi-isometric classification of 3--manifold groups in all but a few exceptional cases. △ Less

Submitted 12 February, 2010; v1 submitted 1 January, 2010; originally announced January 2010.

Comments: Minor revision (added footnote in the Introduction)

MSC Class: 20F65; 57N10; 20F36

Journal ref: J. Reine Angew. Math. Issue 669 (2012), 101--120

Quasi-isometric classification of some high dimensional right-angled Artin groups

Authors: Jason A. Behrstock, Tadeusz Januszkiewicz, Walter D. Neumann

Abstract: In this note we give the quasi-isometry classification for a class of right angled Artin groups. In particular, we obtain the first such classification for a class of Artin groups with dimension larger than 2; our families exist in every dimension. In this note we give the quasi-isometry classification for a class of right angled Artin groups. In particular, we obtain the first such classification for a class of Artin groups with dimension larger than 2; our families exist in every dimension. △ Less

Submitted 9 April, 2010; v1 submitted 24 June, 2009; originally announced June 2009.

Comments: V2. To appear in Groups, Geometry, and Dynamics. Added a figure and an extra example. Corrected minor typos.

Journal ref: Groups, Geometry, and Dynamics, 4 (2011) 681-692

Median structures on asymptotic cones and homomorphisms into map** class groups

Authors: J. Behrstock, C. Drutu, M. Sapir

Abstract: The main goal of this paper is a detailed study of asymptotic cones of the map** class groups. In particular, we prove that every asymptotic cone of a map** class group has a bi-Lipschitz equivariant embedding into a product of real trees, sending limits of hierarchy paths onto geodesics, and with image a median subspace. One of the applications is that a group with Kazhdan's property (T) can… ▽ More The main goal of this paper is a detailed study of asymptotic cones of the map** class groups. In particular, we prove that every asymptotic cone of a map** class group has a bi-Lipschitz equivariant embedding into a product of real trees, sending limits of hierarchy paths onto geodesics, and with image a median subspace. One of the applications is that a group with Kazhdan's property (T) can have only finitely many pairwise non-conjugate homomorphisms into a map** class group. We also give a new proof of the rank conjecture of Brock and Farb (previously proved by Behrstock and Minsky, and independently by Hamenstaedt). △ Less

Submitted 31 October, 2010; v1 submitted 29 October, 2008; originally announced October 2008.

Comments: final version, to appear in Proc. LMS

MSC Class: 20F65; 20F69; 20F38; 22F50

Centroids and the Rapid Decay property in map** class groups

Authors: Jason A. Behrstock, Yair N. Minsky

Abstract: We study a notion of a Lipschitz, permutation-invariant "centroid" for triples of points in map** class groups MCG(S), which satisfies a certain polynomial growth bound. A consequence (via work of Drutu-Sapir or Chatterji-Ruane) is the Rapid Decay Property for MCG(S). We study a notion of a Lipschitz, permutation-invariant "centroid" for triples of points in map** class groups MCG(S), which satisfies a certain polynomial growth bound. A consequence (via work of Drutu-Sapir or Chatterji-Ruane) is the Rapid Decay Property for MCG(S). △ Less

Submitted 9 July, 2010; v1 submitted 10 October, 2008; originally announced October 2008.

Comments: v3. Numerous typos fixed and some arguments elucidated

Growth of intersection numbers for free group automorphisms

Authors: Jason Behrstock, Mladen Bestvina, Matt Clay

Abstract: For a fully irreducible automorphism φof the free group F_k we compute the asymptotics of the intersection number n \mapsto i(T,T'φ^n) for trees T,T' in Outer space. We also obtain qualitative information about the geometry of the Guirardel core for the trees T and T'φ^n for n large. For a fully irreducible automorphism φof the free group F_k we compute the asymptotics of the intersection number n \mapsto i(T,T'φ^n) for trees T,T' in Outer space. We also obtain qualitative information about the geometry of the Guirardel core for the trees T and T'φ^n for n large. △ Less

Submitted 27 April, 2009; v1 submitted 30 June, 2008; originally announced June 2008.

Comments: 33 pages, 6 figures, incorporates referee's suggestions

MSC Class: 20F28; 20F65

Geometry and rigidity of map** class groups

Authors: Jason Behrstock, Bruce Kleiner, Yair Minsky, Lee Mosher

Abstract: We study the large scale geometry of map** class groups MCG(S), using hyperbolicity properties of curve complexes. We show that any self quasi-isometry of MCG(S) (outside a few sporadic cases) is a bounded distance away from a left-multiplication, and as a consequence obtain quasi-isometric rigidity for MCG(S), namely that groups quasi-isometric to MCG(S) are virtually equal to it. (The latter… ▽ More We study the large scale geometry of map** class groups MCG(S), using hyperbolicity properties of curve complexes. We show that any self quasi-isometry of MCG(S) (outside a few sporadic cases) is a bounded distance away from a left-multiplication, and as a consequence obtain quasi-isometric rigidity for MCG(S), namely that groups quasi-isometric to MCG(S) are virtually equal to it. (The latter theorem was proved by Hamenstadt using different methods). As part of our approach we obtain several other structural results: a description of the tree-graded structure on the asymptotic cone of MCG(S); a characterization of the image of the curve-complex projection map from MCG(S) to the product of the curve complexes of essential subsurfaces of S; and a construction of Sigma-hulls in MCG(S), an analogue of convex hulls. △ Less

Submitted 9 April, 2010; v1 submitted 13 January, 2008; originally announced January 2008.

Comments: Version 4, 98 pages. Cleaned up some notation involving the partial order on subsurfaces (at the end of section 4).

Commensurability and QI classification of free products of finitely generated abelian groups

Authors: Jason Behrstock, Tadeusz Januszkiewicz, Walter Neumann

Abstract: Suppose a group $G$ is quasi-isometric to a free product of a finite set $S$ of finitely generated abelian groups; let $S'$ denote the set of ranks of the free abelian parts of the groups in $S$. Then $G$ is commensurable with the free product of $\Z$ with a $\Z^n$ for each $n$ occurring in $S'$. Suppose a group $G$ is quasi-isometric to a free product of a finite set $S$ of finitely generated abelian groups; let $S'$ denote the set of ranks of the free abelian parts of the groups in $S$. Then $G$ is commensurable with the free product of $\Z$ with a $\Z^n$ for each $n$ occurring in $S'$. △ Less

Submitted 4 December, 2007; originally announced December 2007.

Comments: 2 pages plus references

Journal ref: Proc. Amer. Math. Soc. 137 (2009), 811-813

Quasi-isometric classification of graph manifold groups

Authors: Jason A. Behrstock, Walter D. Neumann

Abstract: We show that the fundamental groups of any two closed irreducible non-geometric graph-manifolds are quasi-isometric. This answers a question of Kapovich and Leeb. We also classify the quasi-isometry types of fundamental groups of graph-manifolds with boundary in terms of certain finite two-colored graphs. A corollary is the quasi-isometry classification of Artin groups whose presentation graphs… ▽ More We show that the fundamental groups of any two closed irreducible non-geometric graph-manifolds are quasi-isometric. This answers a question of Kapovich and Leeb. We also classify the quasi-isometry types of fundamental groups of graph-manifolds with boundary in terms of certain finite two-colored graphs. A corollary is the quasi-isometry classification of Artin groups whose presentation graphs are trees. In particular any two right-angled Artin groups whose presentation graphs are trees of diameter at least 3 are quasi-isometric, answering a question of Bestvina; further, this quasi-isometry class does not include any other right-angled Artin groups. △ Less

Submitted 8 February, 2007; v1 submitted 3 April, 2006; originally announced April 2006.

Comments: Revised on referee's comments to add more details in proof. Introduction revised for clarity

MSC Class: 20F65; 57N10; 20F36

Journal ref: Duke Math. J. 141 (2008), 217--240

Thick metric spaces, relative hyperbolicity, and quasi-isometric rigidity

Authors: Jason Behrstock, Cornelia Drutu, Lee Mosher

Abstract: We study the geometry of nonrelatively hyperbolic groups. Generalizing a result of Schwartz, any quasi-isometric image of a non-relatively hyperbolic space in a relatively hyperbolic space is contained in a bounded neighborhood of a single peripheral subgroup. This implies that a group being relatively hyperbolic with nonrelatively hyperbolic peripheral subgroups is a quasi-isometry invariant. A… ▽ More We study the geometry of nonrelatively hyperbolic groups. Generalizing a result of Schwartz, any quasi-isometric image of a non-relatively hyperbolic space in a relatively hyperbolic space is contained in a bounded neighborhood of a single peripheral subgroup. This implies that a group being relatively hyperbolic with nonrelatively hyperbolic peripheral subgroups is a quasi-isometry invariant. As an application, Artin groups are relatively hyperbolic if and only if freely decomposable. We also introduce a new quasi-isometry invariant of metric spaces called metrically thick, which is sufficient for a metric space to be nonhyperbolic relative to any nontrivial collection of subsets. Thick finitely generated groups include: map** class groups of most surfaces; outer automorphism groups of most free groups; certain Artin groups; and others. Nonuniform lattices in higher rank semisimple Lie groups are thick and hence nonrelatively hyperbolic, in contrast with rank one which provided the motivating examples of relatively hyperbolic groups. Map** class groups are the first examples of nonrelatively hyperbolic groups having cut points in any asymptotic cone, resolving several questions of Drutu and Sapir about the structure of relatively hyperbolic groups. Outside of group theory, Teichmuller spaces for surfaces of sufficiently large complexity are thick with respect to the Weil-Peterson metric, in contrast with Brock--Farb's hyperbolicity result in low complexity. △ Less

Submitted 14 November, 2008; v1 submitted 29 December, 2005; originally announced December 2005.

Comments: To appear in Mathematische Annalen

MSC Class: 20F69; 20F65; 20F28; 20F36

Journal ref: Mathematische Annalen, vol. 344, (2009), 543--595.

Dimension and rank for map** class groups

Authors: Jason A. Behrstock, Yair N. Minsky

Abstract: We study the large scale geometry of the map** class group, MCG. Our main result is that for any asymptotic cone of MCG, the maximal dimension of locally compact subsets coincides with the maximal rank of free abelian subgroups of MCG. An application is an affirmative solution to Brock-Farb's Rank Conjecture which asserts that MCG has quasi-flats of dimension N if and only if it has a rank N f… ▽ More We study the large scale geometry of the map** class group, MCG. Our main result is that for any asymptotic cone of MCG, the maximal dimension of locally compact subsets coincides with the maximal rank of free abelian subgroups of MCG. An application is an affirmative solution to Brock-Farb's Rank Conjecture which asserts that MCG has quasi-flats of dimension N if and only if it has a rank N free abelian subgroup. We also compute the maximum dimension of quasi-flats in Teichmuller space with the Weil-Petersson metric. △ Less

Submitted 11 January, 2007; v1 submitted 14 December, 2005; originally announced December 2005.

Comments: Incorporates referee's suggestions. To appear in Annals of Mathematics

MSC Class: 20F65; 57M50

Journal ref: Annals of Math, 167, (2008), 1055-1077

Curve complexes and finite index subgroups of map** class groups

Authors: Jason Behrstock, Dan Margalit

Abstract: Let Mod(S) be the extended map** class group of a surface S. For S the twice-punctured torus, we show that there exists an isomorphism of finite index subgroups of Mod(S) which is not the restriction of an inner automorphism. For S a torus with at least three punctures, we show that every injection of a finite index subgroup of Mod(S) into Mod(S) is the restriction of an inner automorphism; th… ▽ More Let Mod(S) be the extended map** class group of a surface S. For S the twice-punctured torus, we show that there exists an isomorphism of finite index subgroups of Mod(S) which is not the restriction of an inner automorphism. For S a torus with at least three punctures, we show that every injection of a finite index subgroup of Mod(S) into Mod(S) is the restriction of an inner automorphism; this completes a program begun by Irmak. For all of the above surfaces, we establish the co-Hopf property for finite index subgroups of Mod(S). △ Less

Submitted 21 April, 2005; v1 submitted 15 April, 2005; originally announced April 2005.

Comments: 17 pages, 1 figure, minor mistake in closed genus 2 case corrected, references updated

MSC Class: 57M99; 20F38

Journal ref: Geometriae Dedicata, 118, (2006), 71-85

Asymptotic geometry of the map** class group and Teichmueller space

Authors: Jason A Behrstock

Abstract: In this work, we study the asymptotic geometry of the map** class group and Teichmueller space. We introduce tools for analyzing the geometry of `projection' maps from these spaces to curve complexes of subsurfaces; from this we obtain information concerning the topology of their asymptotic cones. We deduce several applications of this analysis. One of which is that the asymptotic cone of the… ▽ More In this work, we study the asymptotic geometry of the map** class group and Teichmueller space. We introduce tools for analyzing the geometry of `projection' maps from these spaces to curve complexes of subsurfaces; from this we obtain information concerning the topology of their asymptotic cones. We deduce several applications of this analysis. One of which is that the asymptotic cone of the map** class group of any surface is tree-graded in the sense of Drutu and Sapir; this tree-grading has several consequences including answering a question of Drutu and Sapir concerning relatively hyperbolic groups. Another application is a generalization of the result of Brock and Farb that for low complexity surfaces Teichmueller space, with the Weil-Petersson metric, is delta-hyperbolic. Although for higher complexity surfaces these spaces are not delta-hyperbolic, we establish the presence of previously unknown negative curvature phenomena in the map** class group and Teichmueller space for arbitrary surfaces. △ Less

Submitted 2 March, 2009; v1 submitted 16 February, 2005; originally announced February 2005.

Comments: This is the version published by Geometry & Topology on 21 October 2006

MSC Class: 20F67; 20F65; 30F60; 57M07

Journal ref: Geom. Topol. 10 (2006) 1523-1578