Divergence in lattices in semisimple Lie groups and graphs of groups
Cornelia Druţu, Shahar Mozes, Mark Sapir
Source record
Source: Crossref
Published: Dec 16, 2009
DOI: 10.1090/s0002-9947-09-04882-x
Open original source ↗Source abstract
Divergence functions of a metric space estimate the length of a path connecting two points A A , B B at distance ≤ n \le n avoiding a large enough ball around a third point C C . We characterize groups with non-linear divergence functions as groups having cut-points in their asymptotic cones. 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 Q \mathbb {Q} -rank is 1 and when the lattice is SL n ( O S ) \operatorname {SL}_n(\mathcal {O}_{\mathcal {S}}) where n ≥ 3 n\ge 3 , S S is a finite set of valuations of a number field K K including all infinite valuations, and O S \mathcal {O}_{\mathcal {S}} is the corresponding ring of S S -integers.
Evidence graph
No public relationships recorded yet.
Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.