Showing 1–26 of 26 results for author: Drutu, C

Weak Morse properties in spaces with bounded combings

Authors: Cornelia Drutu, Davide Spriano, Stefanie Zbinden

Abstract: We relate two notions of non-positive curvature: bounded combings and the Morse local-to-global (MLTG) property (in its weak and strong version). The latter is a property of a space that has been shown to eliminate pathological behavior of Morse geodesics. We showcase its importance in a survey in the appendix. We show that having a bounded combing implies the weak MLTG property. If the Morse boun… ▽ More We relate two notions of non-positive curvature: bounded combings and the Morse local-to-global (MLTG) property (in its weak and strong version). The latter is a property of a space that has been shown to eliminate pathological behavior of Morse geodesics. We showcase its importance in a survey in the appendix. We show that having a bounded combing implies the weak MLTG property. If the Morse boundary of a group is sigma-compact, we show that the weak MLTG property is upgraded to the (strong) MLTG property. △ Less

Submitted 27 March, 2025; originally announced March 2025.

Comments: 30 pages (20 paper, 10 appendix), 8 figures

MSC Class: 20F65; 20F67; 20F69

Minimal tetrahedra and an isoperimetric gap theorem in non-positive curvature

Authors: Cornelia Druţu, Urs Lang, Panos Papasoglu, Stephan Stadler

Abstract: We investigate isoperimetric inequalities for Lipschitz 2-spheres in CAT(0) spaces, proving bounds on the volume of efficient null-homotopies. In one dimension lower, it is known that a quadratic inequality with a constant smaller than $c_2=1/(4π)$ -- the optimal constant for the Euclidean plane -- implies that the underlying space is Gromov hyperbolic, and a linear inequality holds. We establish… ▽ More We investigate isoperimetric inequalities for Lipschitz 2-spheres in CAT(0) spaces, proving bounds on the volume of efficient null-homotopies. In one dimension lower, it is known that a quadratic inequality with a constant smaller than $c_2=1/(4π)$ -- the optimal constant for the Euclidean plane -- implies that the underlying space is Gromov hyperbolic, and a linear inequality holds. We establish the first analogous gap theorem in higher dimensions: if a proper CAT(0) space satisfies a Euclidean inequality for 2-spheres with a constant below the sharp threshold $c_3=1/(6\sqrtπ)$, then the space also admits an inequality with an exponent arbitrarily close to 1. As a corollary we obtain a similar result for Lipschitz surfaces of higher genus. Towards our main theorem we prove a (non-sharp) Euclidean isoperimetric inequality for null-homotopies of 2-spheres, apparently missing in the literature. A novelty in our approach is the introduction of minimal tetrahedra, which we demonstrate satisfy a linear inequality. △ Less

Submitted 5 February, 2025; originally announced February 2025.

Report number: MPIM-Bonn-2025

Actions of acylindrically hyperbolic groups on $\ell^1$

Authors: Cornelia Drutu, John M. Mackay

Abstract: We construct affine uniformly Lipschitz actions on $\ell^1$ and $L^1$ for certain groups with hyperbolic features. For acylindrically hyperbolic groups, our actions have unbounded orbits, while for residually finite hyperbolic groups and for mapping class groups, the actions have proper orbits, with the induced $L^1$-metric quasi-isometric (respectively, almost quasi-isometric) to the word metric. We construct affine uniformly Lipschitz actions on $\ell^1$ and $L^1$ for certain groups with hyperbolic features. For acylindrically hyperbolic groups, our actions have unbounded orbits, while for residually finite hyperbolic groups and for mapping class groups, the actions have proper orbits, with the induced $L^1$-metric quasi-isometric (respectively, almost quasi-isometric) to the word metric. △ Less

Submitted 22 September, 2023; originally announced September 2023.

Comments: 38 pages

Effective equidistribution of expanding horospheres in the locally symmetric space SO(d) \ SL(d,R) / SL(d,Z)

Authors: Cornelia Druţu, Norbert Peyerimhoff

Abstract: We use a dictionary between lattice point counting inside dilated d-dimensional ellipsoids (Euclidean counting) and counting of lifts of a closed horosphere that intersect a ball of increasing radius, to obtain two types of results. Firstly, via an $L^2$-integral error estimate for Euclidean counting, we prove effective equidistribution results for a family of expanding horospheres in the locally… ▽ More We use a dictionary between lattice point counting inside dilated d-dimensional ellipsoids (Euclidean counting) and counting of lifts of a closed horosphere that intersect a ball of increasing radius, to obtain two types of results. Firstly, via an $L^2$-integral error estimate for Euclidean counting, we prove effective equidistribution results for a family of expanding horospheres in the locally symmetric space SO(d) \ SL(d,R) / SL(d,Z). Secondly, we derive from uniform error estimates in Euclidean counting, error terms for counting SL(d,Z)-orbit points in a certain increasing family of subsets in SO(d) \ SL(d,R) (which we call truncated chimneys), and for counting the number of lifts of a closed horosphere that intersect a ball with large radius. △ Less

Submitted 24 December, 2021; v1 submitted 21 January, 2020; originally announced January 2020.

Comments: 40 pages, LaTeX. The error estimate for the equidistribution of horospheres has been improved, and extended to the case d=2

Median geometry for spaces with measured walls and for groups

Authors: Indira Chatterji, Cornelia Druţu

Abstract: We show that uniform lattices of isometries of products of real hyperbolic spaces act properly discontinuously and cocompactly on a median space. For lattices in products of at least two factors, this is the strongest degree of compatibility possible with the median geometry. Our theorem is also relevant for potential Rips-type theorems for median spaces. The result follows from an analysis of a q… ▽ More We show that uniform lattices of isometries of products of real hyperbolic spaces act properly discontinuously and cocompactly on a median space. For lattices in products of at least two factors, this is the strongest degree of compatibility possible with the median geometry. Our theorem is also relevant for potential Rips-type theorems for median spaces. The result follows from an analysis of a quasification of median geometry that provides a geometric characterization of spaces at finite Hausdorff distance from a median space. We explain how the case of complex hyperbolic metric spaces is different, and that such spaces cannot be at finite Hausdorff distance from a median space. △ Less

Submitted 3 August, 2023; v1 submitted 1 August, 2017; originally announced August 2017.

Comments: 27 pages, no figures

MSC Class: 20F65; 20F67; 22F50

Random groups, random graphs and eigenvalues of p-Laplacians

Authors: Cornelia Drutu, John M. Mackay

Abstract: We prove that a random group in the triangular density model has, for density larger than 1/3, fixed point properties for actions on $L^p$-spaces (affine isometric, and more generally $(2-2ε)^{1/2p}$-uniformly Lipschitz) with $p$ varying in an interval increasing with the set of generators. In the same model, we establish a double inequality between the maximal $p$ for which $L^p$-fixed point prop… ▽ More We prove that a random group in the triangular density model has, for density larger than 1/3, fixed point properties for actions on $L^p$-spaces (affine isometric, and more generally $(2-2ε)^{1/2p}$-uniformly Lipschitz) with $p$ varying in an interval increasing with the set of generators. In the same model, we establish a double inequality between the maximal $p$ for which $L^p$-fixed point properties hold and the conformal dimension of the boundary. In the Gromov density model, we prove that for every $p_0 \in [2, \infty)$ for a sufficiently large number of generators and for any density larger than 1/3, a random group satisfies the fixed point property for affine actions on $L^p$-spaces that are $(2-2ε)^{1/2p}$-uniformly Lipschitz, and this for every $p\in [2,p_0]$. To accomplish these goals we find new bounds on the first eigenvalue of the p-Laplacian on random graphs, using methods adapted from Kahn and Szemeredi's approach to the 2-Laplacian. These in turn lead to fixed point properties using arguments of Bourdon and Gromov, which extend to $L^p$-spaces previous results for Kazhdan's Property (T) established by Zuk and Ballmann-Swiatkowski. △ Less

Submitted 3 November, 2018; v1 submitted 14 July, 2016; originally announced July 2016.

Comments: v1: 51 pages; v2: 54 pages, minor updates and corrections to 2<p<3 case; v3: 56 pages, minor updates

MSC Class: 20P05; 20F65; 05C80; 47H10

Journal ref: Adv. Math. 341 (2019), 188-254

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

Kazhdan projections, random walks and ergodic theorems

Authors: Cornelia Druţu, Piotr W. Nowak

Abstract: In this paper we investigate generalizations of Kazhdan's property $(T)$ to the setting of uniformly convex Banach spaces. We explain the interplay between the existence of spectral gaps and that of Kazhdan projections. Our methods employ Markov operators associated to a random walk on the group, for which we provide new norm estimates and convergence results. They exhibit useful properties and fl… ▽ More In this paper we investigate generalizations of Kazhdan's property $(T)$ to the setting of uniformly convex Banach spaces. We explain the interplay between the existence of spectral gaps and that of Kazhdan projections. Our methods employ Markov operators associated to a random walk on the group, for which we provide new norm estimates and convergence results. They exhibit useful properties and flexibility, and allow to view Kazhdan projections in Banach spaces as natural objects associated to random walks on groups. We give a number of applications of these results. In particular, we address several open questions. We give a direct comparison of properties $(TE)$ and $FE$ with Lafforgue's reinforced Banach property $(T)$; we obtain shrinking target theorems for orbits of Kazhdan groups; finally, answering a question of Willett and Yu we construct non-compact ghost projections for warped cones. In this last case we conjecture that such warped cones provide counterexamples to the coarse Baum-Connes conjecture. △ Less

Submitted 10 January, 2017; v1 submitted 14 January, 2015; originally announced January 2015.

Comments: Final version, to appear in Crelle's Journal

Higher dimensional divergence for mapping class groups

Authors: Jason Behrstock, Cornelia Drutu

Abstract: In this paper we investigate the higher dimensional divergence functions of mapping class groups of surfaces and of CAT(0)--groups. We show that, for mapping 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 mapping class groups of surfaces and of CAT(0)--groups. We show that, for mapping 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"

Geometry of infinitely presented small cancellation groups, Rapid Decay and quasi-homomorphisms

Authors: Goulnara Arzhantseva, Cornelia Drutu

Abstract: We study the geometry of infinitely presented groups satisfying the small cancelation condition C'(1/8), and define a standard decomposition (called the criss-cross decomposition) for the elements of such groups. We use it to prove the Rapid Decay property for groups with the stronger small cancelation property C'(1/10). As a consequence, the Metric Approximation Property holds for the reduced C*-… ▽ More We study the geometry of infinitely presented groups satisfying the small cancelation condition C'(1/8), and define a standard decomposition (called the criss-cross decomposition) for the elements of such groups. We use it to prove the Rapid Decay property for groups with the stronger small cancelation property C'(1/10). As a consequence, the Metric Approximation Property holds for the reduced C*-algebra and for the Fourier algebra of such groups. Our method further implies that the kernel of the comparison map between the bounded and the usual group cohomology in degree 2 has a basis of power continuum. The present work can be viewed as a first non-trivial step towards a systematic investigation of direct limits of hyperbolic groups. △ Less

Submitted 26 December, 2012; v1 submitted 20 December, 2012; originally announced December 2012.

Comments: 40 pages, 8 figures

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 mapping 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 mapping class groups. An addendum

Authors: Jason Behrstock, Cornelia Drutu, Mark Sapir

Abstract: This is an addendum to arXiv: 0810.5376. We show, using our methods and an auxiliary result of Bestvina-Bromberg-Fujiwara, that a finitely generated group with infinitely many pairwise non-conjugate homomorphisms to a mapping 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 arXiv: 0810.5376. We show, using our methods and an auxiliary result of Bestvina-Bromberg-Fujiwara, that a finitely generated group with infinitely many pairwise non-conjugate homomorphisms to a mapping 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

Transference principles and locally symmetric spaces

Authors: Cornelia Drutu

Abstract: We explain how the Transference Principles from Diophantine approximation can be interpreted in terms of geometry of the locally symmetric spaces $T_n=SO(n) \backslash SL(n,R) /SL(n,Z)$ with $n>1$, and how, via this dictionary, they become transparent geometric remarks and can be easily proved. Indeed, a finite family of linear forms is naturally identified to a locally geodesic ray in a space… ▽ More We explain how the Transference Principles from Diophantine approximation can be interpreted in terms of geometry of the locally symmetric spaces $T_n=SO(n) \backslash SL(n,R) /SL(n,Z)$ with $n>1$, and how, via this dictionary, they become transparent geometric remarks and can be easily proved. Indeed, a finite family of linear forms is naturally identified to a locally geodesic ray in a space $T_n$ and the way this family is approximated is reflected by the heights at which the ray rises in the cuspidal end. The only difference between the two types of approximation appearing in a Transference Theorem is that the height is measured with respect to different rays in $W$, a Weyl chamber in $T_n$. Thus the Transference Theorem is equivalent to a relation between the Busemann functions of two rays in $W$. This relation is easy to establish on $W$, because restricted to it the two Busemann functions become two linear forms. Since $T_n$ is at finite Hausdorff distance from $W$, the same relation is satisfied up to a bounded perturbation on the whole of $T_n$. △ Less

Submitted 2 November, 2008; originally announced November 2008.

MSC Class: 11J13; 53C35

Median structures on asymptotic cones and homomorphisms into mapping 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 mapping class groups. In particular, we prove that every asymptotic cone of a mapping 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 mapping class groups. In particular, we prove that every asymptotic cone of a mapping 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 mapping 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

Divergence in lattices in semisimple Lie groups and graphs of groups

Authors: Cornelia Drutu, Shahar Mozes, Mark Sapir

Abstract: Divergence functions of a metric space estimate the length of a path connecting two points $A$, $B$ at distance $\le n$ avoiding a large enough ball around a third point $C$. We characterize groups with non-linear divergence functions as groups having cut-points in their asymptotic cones. By Olshanskii-Osin-Sapir, that property is weaker than the property of having Morse (rank 1) quasi-geodesics.… ▽ More Divergence functions of a metric space estimate the length of a path connecting two points $A$, $B$ at distance $\le n$ avoiding a large enough ball around a third point $C$. We characterize groups with non-linear divergence functions as groups having cut-points in their asymptotic cones. By Olshanskii-Osin-Sapir, that property is weaker than the property of having Morse (rank 1) quasi-geodesics. Using our characterization of Morse quasi-geodesics, we give a new proof of the theorem of Farb-Kaimanovich-Masur that states that mapping class groups cannot contain copies of irreducible lattices in semi-simple Lie groups of higher ranks. It also gives a generalization of the result of Birman-Lubotzky-McCarthy about solvable subgroups of mapping class groups not covered by the Tits alternative of Ivanov and McCarthy. We show that any group acting acylindrically on a simplicial tree or a locally compact hyperbolic graph always has "many" periodic Morse quasi-geodesics (i.e. Morse elements), so its divergence functions are never linear. We also show that the same result holds in many cases when the hyperbolic graph satisfies Bowditch's properties that are weaker than local compactness. This gives a new proof of Behrstock's result that every pseudo-Anosov element in a mapping class group is Morse. On the other hand, we conjecture that lattices in semi-simple Lie groups of higher rank always have linear divergence. We prove it in the case when the $\mathbb{Q}$-rank is 1 and when the lattice is $SL_n(\mathcal{O}_S)$ where $n\ge 3$, $S$ is a finite set of valuations of a number field $K$ including all infinite valuations, and $\mathcal{O}_S$ is the corresponding ring of $S$-integers. △ Less

Submitted 12 June, 2017; v1 submitted 27 January, 2008; originally announced January 2008.

Comments: v1: 34 pages; v2: implemented referee's comments/ The paper is accepted in Tr.AMS v3: more small changes are made, especially in Section 3, v6: added an erratum correcting Proposition 3.24 and Theorems 4.4, 4.9; v7: fixed the proof of Theorem 7.7

MSC Class: 05C25; 20A15; 20E08; 20DF05; 20F15; 20F28; 20F32; 20F38; 20F65; 20F67; 20F69

Kazhdan and Haagerup properties from the median viewpoint

Authors: Indira Chatterji, Cornelia Drutu, Frederic Haglund

Abstract: We prove the existence of a close connection between spaces with measured walls and median metric spaces. We then relate properties (T) and Haagerup (a-T-menability) to actions on median spaces and on spaces with measured walls. This allows us to explore the relationship between the classical properties (T) and Haagerup and their versions using affine isometric actions on $L^p$-spaces. It also a… ▽ More We prove the existence of a close connection between spaces with measured walls and median metric spaces. We then relate properties (T) and Haagerup (a-T-menability) to actions on median spaces and on spaces with measured walls. This allows us to explore the relationship between the classical properties (T) and Haagerup and their versions using affine isometric actions on $L^p$-spaces. It also allows us to answer an open problem on a dynamical characterization of property (T), generalizing results of Robertson-Steger. △ Less

Submitted 23 January, 2009; v1 submitted 29 April, 2007; originally announced April 2007.

Comments: final version

MSC Class: 20F65; 46B04; 20F67; 22F50

Compression functions of uniform embeddings of groups into Hilbert and Banach spaces

Authors: Goulnara Arzhantseva, Cornelia Druţu, Mark Sapir

Abstract: We construct finitely generated groups with arbitrary prescribed Hilbert space compression αfrom the interval [0,1]. For a large class of Banach spaces E (including all uniformly convex Banach spaces), the E-compression of these groups coincides with their Hilbert space compression. Moreover, the groups that we construct have asymptotic dimension at most 3, hence they are exact. In particular, t… ▽ More We construct finitely generated groups with arbitrary prescribed Hilbert space compression αfrom the interval [0,1]. For a large class of Banach spaces E (including all uniformly convex Banach spaces), the E-compression of these groups coincides with their Hilbert space compression. Moreover, the groups that we construct have asymptotic dimension at most 3, hence they are exact. In particular, the first examples of groups that are uniformly embeddable into a Hilbert space (respectively, exact, of finite asymptotic dimension) with Hilbert space compression 0 are given. These groups are also the first examples of groups with uniformly convex Banach space compression 0. △ Less

Submitted 29 September, 2008; v1 submitted 13 December, 2006; originally announced December 2006.

Comments: 21 pages; version 3: The final version, accepted by Crelle; version 2: corrected misprints, added references, the group has asdim at most 2, not at most 3 as in the first version (thanks to A. Dranishnikov); version 3: took into account referee remarks, added references. the paper is accepted in Crelle

MSC Class: 20F69; 20F65; 20E06; 46B07

Quasi-isometry rigidity of groups

Authors: Cornelia Drutu

Abstract: This paper overviews recent developments in the classification up to quasi-isometry of finitely generated groups, and more specifically of relatively hyperbolic groups. This paper overviews recent developments in the classification up to quasi-isometry of finitely generated groups, and more specifically of relatively hyperbolic groups. △ Less

Submitted 20 January, 2007; v1 submitted 10 December, 2006; originally announced December 2006.

Comments: These notes are based on a series of lectures given at the summer school ``Géométries à courbure négative ou nulle, groupes discrets et rigidités'' held in Grenoble

Relatively hyperbolic groups: geometry and quasi-isometric invariance

Authors: Cornelia Drutu

Abstract: In this paper it is proved that relative hyperbolicity is an invariant of quasi-isometry. As a byproduct of the arguments, simplified definitions of relative hyperbolicity are obtained. In particular we obtain a new definition very similar to the one of hyperbolicity, relying on the existence for every quasi-geodesic triangle of a central left coset of peripheral subgroup. In this paper it is proved that relative hyperbolicity is an invariant of quasi-isometry. As a byproduct of the arguments, simplified definitions of relative hyperbolicity are obtained. In particular we obtain a new definition very similar to the one of hyperbolicity, relying on the existence for every quasi-geodesic triangle of a central left coset of peripheral subgroup. △ Less

Submitted 15 August, 2006; v1 submitted 8 May, 2006; originally announced May 2006.

Comments: 34 pages, Latex; added references, corrected typos, pictures included in the Latex file

Groups acting on tree-graded spaces and splittings of relatively hyperbolic group

Authors: Cornelia Drutu, Mark Sapir

Abstract: Tree-graded spaces are generalizations of R-trees. They appear as asymptotic cones of groups (when the cones have cut points). Since many questions about endomorphisms and automorphisms of groups, solving equations over groups, studying embeddings of a group into another group, etc. lead to actions of groups on the asymptotic cones, it is natural to consider actions of groups on tree-graded spac… ▽ More Tree-graded spaces are generalizations of R-trees. They appear as asymptotic cones of groups (when the cones have cut points). Since many questions about endomorphisms and automorphisms of groups, solving equations over groups, studying embeddings of a group into another group, etc. lead to actions of groups on the asymptotic cones, it is natural to consider actions of groups on tree-graded spaces. We develop a theory of such actions which generalizes the well known theory of groups acting on R-trees. As applications of our theory, we describe, in particular, relatively hyperbolic groups with infinite groups of outer automorphisms, and co-Hopfian relatively hyperbolic groups. △ Less

Submitted 31 January, 2006; v1 submitted 13 January, 2006; originally announced January 2006.

Comments: 01/30/06 The paper is submitted. 53 pages; Implemented several suggestions from the readers, added some results

MSC Class: 05C25; 20A15; 20E08; 20DF05; 20F15; 20F28; 20F32; 20F38; 20F65; 20F67; 20F69

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: mapping 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. Mapping 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.

Diophantine approximation on rational quadrics

Authors: Cornelia Drutu

Abstract: We compute the Hausdorff dimension of sets of very well approximable vectors on rational quadrics. We use ubiquitous systems and the geometry of locally symmetric spaces. As a byproduct we obtain the Hausdorff dimension of the set of rays with a fixed maximal singular direction, which move away into one end of a locally symmetric space at linear depth, infinitely many times. We compute the Hausdorff dimension of sets of very well approximable vectors on rational quadrics. We use ubiquitous systems and the geometry of locally symmetric spaces. As a byproduct we obtain the Hausdorff dimension of the set of rays with a fixed maximal singular direction, which move away into one end of a locally symmetric space at linear depth, infinitely many times. △ Less

Submitted 5 April, 2005; v1 submitted 25 March, 2005; originally announced March 2005.

Comments: 55 pages, 3 figures, to appear in Math. Annalen, revised version : updated references, minor corrections

MSC Class: 11J83; 22E40; 53C35

Relatively Hyperbolic Groups with Rapid Decay Property

Authors: Cornelia Drutu, Mark Sapir

Abstract: We prove that a finitely generated group $G$ hyperbolic relative to the collection of finitely generated subgroups H_1,..., H_m has the Rapid Decay property if and only if each H_i, i=1,2,..., m, has the Rapid Decay property. We prove that a finitely generated group $G$ hyperbolic relative to the collection of finitely generated subgroups H_1,..., H_m has the Rapid Decay property if and only if each H_i, i=1,2,..., m, has the Rapid Decay property. △ Less

Submitted 25 November, 2004; v1 submitted 26 May, 2004; originally announced May 2004.

Comments: 10 pages. Accepted in International Mathematics Research Notices

Non-linear residually finite groups

Authors: Cornelia Drutu, Mark Sapir

Abstract: We give the first example of a non-linear residually finite 1-related group: < a, t | a^{t^2}=a^2>. We give the first example of a non-linear residually finite 1-related group: < a, t | a^{t^2}=a^2>. △ Less

Submitted 12 October, 2004; v1 submitted 24 May, 2004; originally announced May 2004.

Comments: 5 pages. to appear in J. Algebra, 2004

MSC Class: 20E07

Tree-graded spaces and asymptotic cones of groups

Authors: Cornelia Drutu, Mark Sapir

Abstract: We introduce a concept of tree-graded metric space and we use it to show quasi-isometry invariance of certain classes of relatively hyperbolic groups, to obtain a characterization of relatively hyperbolic groups in terms of their asymptotic cones, to find geometric properties of Cayley graphs of relatively hyperbolic groups, and to construct the first example of finitely generated group with a c… ▽ More We introduce a concept of tree-graded metric space and we use it to show quasi-isometry invariance of certain classes of relatively hyperbolic groups, to obtain a characterization of relatively hyperbolic groups in terms of their asymptotic cones, to find geometric properties of Cayley graphs of relatively hyperbolic groups, and to construct the first example of finitely generated group with a continuum of non-$π_1$-equivalent asymptotic cones. Note that by a result of Kramer, Shelah, Tent and Thomas, continuum is the maximal possible number of different asymptotic cones of a finitely generated group, provided that the Continuum Hypothesis is true. △ Less

Submitted 21 March, 2007; v1 submitted 3 May, 2004; originally announced May 2004.

Comments: 96 pages. The paper is accepted in "Topology". We revised the problem section adding a couple of problems. We introduced concepts of constricted (unconstricted, wide) groups and slow asymptotic cones. The Morse lemma for relatively hyperbolic groups is improved thanks to a question from Chris Hruska. A result about asymptotic cones of uniformly amenable groups and a result about groups whose asymptotic cone is a real lines are added. We also revised the text accordig to the comments of the referee and other readers of the paper

Filling in solvable groups and in lattices in semisimple groups

Authors: Cornelia Druţu

Abstract: We prove that the filling order is quadratic for a large class of solvable groups and asymptotically quadratic for all Q-rank one lattices in semisimple groups of R-rank at least 3. As a byproduct of auxiliary results we give a shorter proof of the theorem on the nondistorsion of horospheres providing also an estimate of a nondistorsion constant. We prove that the filling order is quadratic for a large class of solvable groups and asymptotically quadratic for all Q-rank one lattices in semisimple groups of R-rank at least 3. As a byproduct of auxiliary results we give a shorter proof of the theorem on the nondistorsion of horospheres providing also an estimate of a nondistorsion constant. △ Less

Submitted 10 October, 2001; originally announced October 2001.

Comments: 7 figures