Coarse differentiation of quasi-isometries. I: Spaces not quasi-isometric to Cayley graphs (Q447927): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Given a metric space \(X\) denote by \(\operatorname{QI}(X)\) the group of quasi-isometries of \(X\) modulo those of bounded distance from the identity. The paper under review computes the group \(\operatorname{QI}(X)\) for various horocyclic products of negatively-curved spaces and applies these results to establish important new quasi-isometric rigidity results. The proofs are based on the method of coarse differentiation introduced by the authors in [Pure Appl. Math. Q. 3, No. 4, 927--947 (2007; Zbl 1167.22007)]. Recall that given two negatively-curved spaces \(X_1\), \(X_2\) with respective Busemann functions \(f_1\), \(f_2\), their horocyclic product is the subset \[ X := \{(x_1, x_2) \in X_1 \times X_2\mid f_1(x_1) = -f_2(x_2)\} \] of the product \(X_1 \times X_2\). Such spaces come equipped with a natural height function \(h := f_1 = -f_2\). The authors consider specifically the family of Diestel-Leader graphs DL\((m,n)\), which are horocyclic products of two regular trees of valencies \(m+1\) and \(n+1\), respectively, and a family of \(3\)-dimensional solvable Lie groups Sol\((m,n)\), which are isomorphic to horocyclic products of two planes of constant negative curvatures depending on the parameters \(m\) and \(n\). Quasi-isometries of these spaces which coarsely preserve the height function have been classified by Farb and Mosher. They are all essentially equivalent to restrictions of products of quasi-isometries of the two factors, hence correspond to pairs of bi-Lipschitz maps of the corresponding pointed boundaries. The main technical result of the paper under review greatly improves on this result by showing that actually every quasi-isometry is at bounded distance from a coarsely height-preserving one, hence of the above product form (Theorem 2.1/Theorem 2.3). In the case of distinct curvatures \(m \neq n\), this implies \[ \operatorname{QI}(\operatorname{Sol}(m,n)) \cong \operatorname{Bilip}(\mathbb R)^2, \quad \operatorname{QI}(\operatorname{DL}(m,n)) \cong \operatorname{Bilip}(\mathbb Q_m) \times \operatorname{Bilip}(\mathbb Q_n), \] whereas, in the case of equal curvature \(m=n\), there is an additional \(\mathbb Z/2\mathbb Z\)-factor corresponding to the flip. Actually, only the distinct curvature case is completely established in the present paper, whereas parts of the proof in the case of equal curvature are deferred to a sequel. The identifications of the above \(\operatorname{QI}\)-groups have a number of striking applications. Firstly, if \(m \neq n\), then neither \(\operatorname{Sol}(m,n)\) nor DL\((m,n)\) are quasi-isometric to Cayley graphs of finitely-generated groups (Theorem 1.2/Theorem 1.4), which is the result alluded to in the title. Secondly, the authors determine completely which of the spaces \(\operatorname{Sol}(m,n)\), respectively, \(\operatorname{DL}(m,n)\), are quasi-isometric to each other, assuming \(m \neq n\). For example, \(\operatorname{Sol}(m,n)\) is quasi-isometric to \(\operatorname{Sol}(m',n')\) if and only if \(m/m' = n/n'\) (Theorem 1.3). Both results have counterparts in the equal curvature case (the former in terms of a quasi-isometric rigidity statement), but these are deferred to the sequel. To deduce the above results from the knowledge of the QI-groups, the authors rely heavily on previous results concerning quasi-isometric quasi-actions on trees and hyperbolic spaces. The starting point for the proof of the main technical result is a coarse version of Rademacher's theorem (Theorem 4.3), in which the authors show that quasi-isometries of the spaces in question can be coarsely differentiated on a set of large measure. Using this theorem, the authors deduce that on a set of large measure any given quasi-isometry looks locally like standard product quasi-isometries. The main technical step (Step II) is to show that the local maps preserve the up-direction, which is necessary to assemble the local information. This is the only step where the difference between the distinct curvature case and the equal curvature case becomes relevant. The results demonstrate the power of the method of coarse differentiation to establish new rigidity results, in particular for solvable groups. It would be interesting to know which of the arguments generalize to more general horocyclic products. | |||
Property / review text: Given a metric space \(X\) denote by \(\operatorname{QI}(X)\) the group of quasi-isometries of \(X\) modulo those of bounded distance from the identity. The paper under review computes the group \(\operatorname{QI}(X)\) for various horocyclic products of negatively-curved spaces and applies these results to establish important new quasi-isometric rigidity results. The proofs are based on the method of coarse differentiation introduced by the authors in [Pure Appl. Math. Q. 3, No. 4, 927--947 (2007; Zbl 1167.22007)]. Recall that given two negatively-curved spaces \(X_1\), \(X_2\) with respective Busemann functions \(f_1\), \(f_2\), their horocyclic product is the subset \[ X := \{(x_1, x_2) \in X_1 \times X_2\mid f_1(x_1) = -f_2(x_2)\} \] of the product \(X_1 \times X_2\). Such spaces come equipped with a natural height function \(h := f_1 = -f_2\). The authors consider specifically the family of Diestel-Leader graphs DL\((m,n)\), which are horocyclic products of two regular trees of valencies \(m+1\) and \(n+1\), respectively, and a family of \(3\)-dimensional solvable Lie groups Sol\((m,n)\), which are isomorphic to horocyclic products of two planes of constant negative curvatures depending on the parameters \(m\) and \(n\). Quasi-isometries of these spaces which coarsely preserve the height function have been classified by Farb and Mosher. They are all essentially equivalent to restrictions of products of quasi-isometries of the two factors, hence correspond to pairs of bi-Lipschitz maps of the corresponding pointed boundaries. The main technical result of the paper under review greatly improves on this result by showing that actually every quasi-isometry is at bounded distance from a coarsely height-preserving one, hence of the above product form (Theorem 2.1/Theorem 2.3). In the case of distinct curvatures \(m \neq n\), this implies \[ \operatorname{QI}(\operatorname{Sol}(m,n)) \cong \operatorname{Bilip}(\mathbb R)^2, \quad \operatorname{QI}(\operatorname{DL}(m,n)) \cong \operatorname{Bilip}(\mathbb Q_m) \times \operatorname{Bilip}(\mathbb Q_n), \] whereas, in the case of equal curvature \(m=n\), there is an additional \(\mathbb Z/2\mathbb Z\)-factor corresponding to the flip. Actually, only the distinct curvature case is completely established in the present paper, whereas parts of the proof in the case of equal curvature are deferred to a sequel. The identifications of the above \(\operatorname{QI}\)-groups have a number of striking applications. Firstly, if \(m \neq n\), then neither \(\operatorname{Sol}(m,n)\) nor DL\((m,n)\) are quasi-isometric to Cayley graphs of finitely-generated groups (Theorem 1.2/Theorem 1.4), which is the result alluded to in the title. Secondly, the authors determine completely which of the spaces \(\operatorname{Sol}(m,n)\), respectively, \(\operatorname{DL}(m,n)\), are quasi-isometric to each other, assuming \(m \neq n\). For example, \(\operatorname{Sol}(m,n)\) is quasi-isometric to \(\operatorname{Sol}(m',n')\) if and only if \(m/m' = n/n'\) (Theorem 1.3). Both results have counterparts in the equal curvature case (the former in terms of a quasi-isometric rigidity statement), but these are deferred to the sequel. To deduce the above results from the knowledge of the QI-groups, the authors rely heavily on previous results concerning quasi-isometric quasi-actions on trees and hyperbolic spaces. The starting point for the proof of the main technical result is a coarse version of Rademacher's theorem (Theorem 4.3), in which the authors show that quasi-isometries of the spaces in question can be coarsely differentiated on a set of large measure. Using this theorem, the authors deduce that on a set of large measure any given quasi-isometry looks locally like standard product quasi-isometries. The main technical step (Step II) is to show that the local maps preserve the up-direction, which is necessary to assemble the local information. This is the only step where the difference between the distinct curvature case and the equal curvature case becomes relevant. The results demonstrate the power of the method of coarse differentiation to establish new rigidity results, in particular for solvable groups. It would be interesting to know which of the arguments generalize to more general horocyclic products. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Tobias Hartnick / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 22E25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53C23 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20F65 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 22E40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53C24 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 05C05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 05C76 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6074014 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
coarse differentiation | |||
Property / zbMATH Keywords: coarse differentiation / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quasi-isometry | |||
Property / zbMATH Keywords: quasi-isometry / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
rigidity | |||
Property / zbMATH Keywords: rigidity / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
horocyclic products | |||
Property / zbMATH Keywords: horocyclic products / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
solvable groups | |||
Property / zbMATH Keywords: solvable groups / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2169609399 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0607207 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Affine approximation of Lipschitz functions and nonlinear quotients / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Group-invariant percolation on graphs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4938152 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3771030 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A rigidity theorem for the solvable Baumslag-Solitar groups. (With an appendix by Daryl Cooper) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4520856 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A conjecture concerning a limit of non-Cayley graphs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On roughly transitive amenable graphs and harmonic Dirichlet functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasi-isometric rigidity of nonuniform lattices in higher rank symmetric spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasi-flats and rigidity in higher rank symmetric spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasi-isometries and rigidity of solvable groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coarse differentiation of quasi-isometries. II: Rigidity for Sol and lamplighter groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The large-scale geometry of Hilbert modular groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The quasi-isometry classification of lattices in semisimple Lie groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasi-isometric rigidity for the solvable Baumslag-Solitar groups. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the asymptotic geometry of Abelian-by-cyclic groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4762699 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Groups of polynomial growth and expanding maps. Appendix by Jacques Tits / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3712483 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3140233 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lectures on analysis on metric spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Uniformly Quasisymmetric Groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Banach spaces determined by their uniform structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rigidity of quasi-isometries for symmetric spaces and Euclidean buildings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On embedding trees into uniformly convex Banach spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasi-actions on trees. I: Bounded valence / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Carnot-Carathéodory metrics and quasiisometries of symmetric spaces of rank 1 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dimension conforme et sphère à l'infini des variétés à courbure négative / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Critical percolation on certain nonunimodular graphs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Differentiability of Lipschitz functions on Banach spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The quasi-isometry classification of rank one lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasi-isometric rigidity and Diophantine approximation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Harmonic analysis, cohomology, and the large-scale geometry of amenable groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Amenability, unimodularity, and the spectral radius of random walks on infinite graphs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topological groups and infinite graphs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lamplighters, Diestel–Leader Graphs, Random Walks, and Harmonic Functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A finitely-presented solvable group with a small quasi-isometry group. / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 15:27, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Coarse differentiation of quasi-isometries. I: Spaces not quasi-isometric to Cayley graphs |
scientific article |
Statements
Coarse differentiation of quasi-isometries. I: Spaces not quasi-isometric to Cayley graphs (English)
0 references
30 August 2012
0 references
Given a metric space \(X\) denote by \(\operatorname{QI}(X)\) the group of quasi-isometries of \(X\) modulo those of bounded distance from the identity. The paper under review computes the group \(\operatorname{QI}(X)\) for various horocyclic products of negatively-curved spaces and applies these results to establish important new quasi-isometric rigidity results. The proofs are based on the method of coarse differentiation introduced by the authors in [Pure Appl. Math. Q. 3, No. 4, 927--947 (2007; Zbl 1167.22007)]. Recall that given two negatively-curved spaces \(X_1\), \(X_2\) with respective Busemann functions \(f_1\), \(f_2\), their horocyclic product is the subset \[ X := \{(x_1, x_2) \in X_1 \times X_2\mid f_1(x_1) = -f_2(x_2)\} \] of the product \(X_1 \times X_2\). Such spaces come equipped with a natural height function \(h := f_1 = -f_2\). The authors consider specifically the family of Diestel-Leader graphs DL\((m,n)\), which are horocyclic products of two regular trees of valencies \(m+1\) and \(n+1\), respectively, and a family of \(3\)-dimensional solvable Lie groups Sol\((m,n)\), which are isomorphic to horocyclic products of two planes of constant negative curvatures depending on the parameters \(m\) and \(n\). Quasi-isometries of these spaces which coarsely preserve the height function have been classified by Farb and Mosher. They are all essentially equivalent to restrictions of products of quasi-isometries of the two factors, hence correspond to pairs of bi-Lipschitz maps of the corresponding pointed boundaries. The main technical result of the paper under review greatly improves on this result by showing that actually every quasi-isometry is at bounded distance from a coarsely height-preserving one, hence of the above product form (Theorem 2.1/Theorem 2.3). In the case of distinct curvatures \(m \neq n\), this implies \[ \operatorname{QI}(\operatorname{Sol}(m,n)) \cong \operatorname{Bilip}(\mathbb R)^2, \quad \operatorname{QI}(\operatorname{DL}(m,n)) \cong \operatorname{Bilip}(\mathbb Q_m) \times \operatorname{Bilip}(\mathbb Q_n), \] whereas, in the case of equal curvature \(m=n\), there is an additional \(\mathbb Z/2\mathbb Z\)-factor corresponding to the flip. Actually, only the distinct curvature case is completely established in the present paper, whereas parts of the proof in the case of equal curvature are deferred to a sequel. The identifications of the above \(\operatorname{QI}\)-groups have a number of striking applications. Firstly, if \(m \neq n\), then neither \(\operatorname{Sol}(m,n)\) nor DL\((m,n)\) are quasi-isometric to Cayley graphs of finitely-generated groups (Theorem 1.2/Theorem 1.4), which is the result alluded to in the title. Secondly, the authors determine completely which of the spaces \(\operatorname{Sol}(m,n)\), respectively, \(\operatorname{DL}(m,n)\), are quasi-isometric to each other, assuming \(m \neq n\). For example, \(\operatorname{Sol}(m,n)\) is quasi-isometric to \(\operatorname{Sol}(m',n')\) if and only if \(m/m' = n/n'\) (Theorem 1.3). Both results have counterparts in the equal curvature case (the former in terms of a quasi-isometric rigidity statement), but these are deferred to the sequel. To deduce the above results from the knowledge of the QI-groups, the authors rely heavily on previous results concerning quasi-isometric quasi-actions on trees and hyperbolic spaces. The starting point for the proof of the main technical result is a coarse version of Rademacher's theorem (Theorem 4.3), in which the authors show that quasi-isometries of the spaces in question can be coarsely differentiated on a set of large measure. Using this theorem, the authors deduce that on a set of large measure any given quasi-isometry looks locally like standard product quasi-isometries. The main technical step (Step II) is to show that the local maps preserve the up-direction, which is necessary to assemble the local information. This is the only step where the difference between the distinct curvature case and the equal curvature case becomes relevant. The results demonstrate the power of the method of coarse differentiation to establish new rigidity results, in particular for solvable groups. It would be interesting to know which of the arguments generalize to more general horocyclic products.
0 references
coarse differentiation
0 references
quasi-isometry
0 references
rigidity
0 references
horocyclic products
0 references
solvable groups
0 references
0 references
0 references