Quasisymmetric maps on the boundary of a negatively curved solvable Lie group (Q431235): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
The author studies quasisymmetric maps on the ideal boundary of a particular negatively curved solvable Lie group. Let \(A=\left(\begin{matrix} 1&1\\0&1\end{matrix}\right)\), and let \(\mathbb R\) act on \(\mathbb R^2\) by \((t,v)\to e^{tA}v\), \(t\in\mathbb R\), \(v\in \mathbb R^2\). Denote the corresponding semi-direct product by \(G_A=\mathbb R^2\rtimes_A\mathbb R\). The group \(G_A\) is a simple connected solvable Lie group. For any proper Gromov hyperbolic geodesic space \(X\) and any \(\xi\in\partial X\) there are so-called parabolic visual (quasi)metrics on \(\partial X\setminus\{\xi\}\). A parabolic visual quasimetric \(D\) on \(\partial G_A\setminus\{\xi_0\}\) is given by: \[ D((x_1,y_1),(x_2,y_2))=\max\{|y_2-y_1|,|(x_2-x_1)-(y_2-y_1)\ln|y_2-y_1||\} \] for all \((x_1,y_1),(x_2,y_2)\in\mathbb R^2=\partial G_A\setminus\{\xi_0\}\), where \(0\ln0\) is understood to be 0. The author defines three different parabolic visual quasimetrics on the ideal boundary, and finds an explicit formula for one of them. Let \(\eta:[0,\infty)\to[0,\infty)\) be a homomorphism. A bijection \(F:X\to Y\) between two quasimetric spaces is \(\eta\)-quasisymmetric if for all distinct triples \(x,y,z\in X\), we have \[ \frac{d(F(x),F(y))}{d(F(x),F(z))}\leq\eta\left(\frac{d(x,y)}{d(x,z)}\right). \] A map \(F:X\to Y\) is quasisymmetric if it is \(\eta\)-quasisymmetric for some \(\eta\). It is proved that every self quasisymmetric map of \((\mathbb R^2,D)\) maps horizontal lines to horizontal lines. The proof belongs to Bruce Kleiner. Here more details of \(G_A\) are provided. The following is the main result of the paper. Theorem. Every quasisymmetric map \(F:(\mathbb R^2,D)\to(\mathbb R^2,D)\) is a biLipschitz map. A bijection \(F:(\mathbb R^2,D)\to(\mathbb R^2,D)\) is a quasisymmetric map if and only if it has the following form: \(F(x,y)=(ax+c(y),ay+b)\) for all \((x,y)\in\mathbb R^2\), where \(a\neq0\), \(b\) are constants and \(c:\mathbb R\to\mathbb R\) is a Lipschitz map. One should contrast this with quasiconformal maps of the round sphere or the Euclidean space, where there are plenty of non-biLipschitz quasiconformal maps. On the other hand the conclusion of the Theorem is not as strong as in the case of quaternionic hyperbolic space, Cayley plane and Fuchsian building, where every quasisymmetric map of the ideal boundary is actually a conformal map. In the given case, there are many non-conformal quasisymmetric maps of the ideal boundary of~ \(G_A\). The author calculates the quasiisometry group of \(G_A\) and identifies all the quasiisometries of \(G_A\) up to bounded distance. From this it is easy to see that all quasiisometries of \(G_A\) are almost isometries and are height-respecting. | |||
Property / review text: The author studies quasisymmetric maps on the ideal boundary of a particular negatively curved solvable Lie group. Let \(A=\left(\begin{matrix} 1&1\\0&1\end{matrix}\right)\), and let \(\mathbb R\) act on \(\mathbb R^2\) by \((t,v)\to e^{tA}v\), \(t\in\mathbb R\), \(v\in \mathbb R^2\). Denote the corresponding semi-direct product by \(G_A=\mathbb R^2\rtimes_A\mathbb R\). The group \(G_A\) is a simple connected solvable Lie group. For any proper Gromov hyperbolic geodesic space \(X\) and any \(\xi\in\partial X\) there are so-called parabolic visual (quasi)metrics on \(\partial X\setminus\{\xi\}\). A parabolic visual quasimetric \(D\) on \(\partial G_A\setminus\{\xi_0\}\) is given by: \[ D((x_1,y_1),(x_2,y_2))=\max\{|y_2-y_1|,|(x_2-x_1)-(y_2-y_1)\ln|y_2-y_1||\} \] for all \((x_1,y_1),(x_2,y_2)\in\mathbb R^2=\partial G_A\setminus\{\xi_0\}\), where \(0\ln0\) is understood to be 0. The author defines three different parabolic visual quasimetrics on the ideal boundary, and finds an explicit formula for one of them. Let \(\eta:[0,\infty)\to[0,\infty)\) be a homomorphism. A bijection \(F:X\to Y\) between two quasimetric spaces is \(\eta\)-quasisymmetric if for all distinct triples \(x,y,z\in X\), we have \[ \frac{d(F(x),F(y))}{d(F(x),F(z))}\leq\eta\left(\frac{d(x,y)}{d(x,z)}\right). \] A map \(F:X\to Y\) is quasisymmetric if it is \(\eta\)-quasisymmetric for some \(\eta\). It is proved that every self quasisymmetric map of \((\mathbb R^2,D)\) maps horizontal lines to horizontal lines. The proof belongs to Bruce Kleiner. Here more details of \(G_A\) are provided. The following is the main result of the paper. Theorem. Every quasisymmetric map \(F:(\mathbb R^2,D)\to(\mathbb R^2,D)\) is a biLipschitz map. A bijection \(F:(\mathbb R^2,D)\to(\mathbb R^2,D)\) is a quasisymmetric map if and only if it has the following form: \(F(x,y)=(ax+c(y),ay+b)\) for all \((x,y)\in\mathbb R^2\), where \(a\neq0\), \(b\) are constants and \(c:\mathbb R\to\mathbb R\) is a Lipschitz map. One should contrast this with quasiconformal maps of the round sphere or the Euclidean space, where there are plenty of non-biLipschitz quasiconformal maps. On the other hand the conclusion of the Theorem is not as strong as in the case of quaternionic hyperbolic space, Cayley plane and Fuchsian building, where every quasisymmetric map of the ideal boundary is actually a conformal map. In the given case, there are many non-conformal quasisymmetric maps of the ideal boundary of~ \(G_A\). The author calculates the quasiisometry group of \(G_A\) and identifies all the quasiisometries of \(G_A\) up to bounded distance. From this it is easy to see that all quasiisometries of \(G_A\) are almost isometries and are height-respecting. / 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: 30C65 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53C20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20F65 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6050575 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quasisymmetrics on ideal boundary | |||
Property / zbMATH Keywords: quasisymmetrics on ideal boundary / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
negatively curved solvable Lie group | |||
Property / zbMATH Keywords: negatively curved solvable Lie group / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
parabolic visual (quasi)metrics | |||
Property / zbMATH Keywords: parabolic visual (quasi)metrics / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
horizontal foliation | |||
Property / zbMATH Keywords: horizontal foliation / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(D\)-biLipschitz | |||
Property / zbMATH Keywords: \(D\)-biLipschitz / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
self qua\-si\-isometric maps | |||
Property / zbMATH Keywords: self qua\-si\-isometric maps / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
rigidity of quasiisometries | |||
Property / zbMATH Keywords: rigidity of quasiisometries / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
height-respecting | |||
Property / zbMATH Keywords: height-respecting / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2964308110 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q115388945 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1001.0148 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rigidity for quasi-Möbius group actions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rigidity of quasi-isometries for some hyperbolic buildings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Embeddings of Gromov hyperbolic spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Large scale geometry of certain solvable groups. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bilipschitz maps of boundaries of certain negatively curved homogeneous spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coarse differentiation of quasi-isometries. I: Spaces not quasi-isometric to Cayley graphs / 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: On the asymptotic geometry of Abelian-by-cyclic groups / 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: Quasi-isometric rigidity for the solvable Baumslag-Solitar groups. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A new description of the Bowen—Margulis measure / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lectures on analysis on metric spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the rigidity of discrete isometry groups of negatively curved spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strong Rigidity of Locally Symmetric Spaces. (AM-78) / 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: Carnot-Carathéodory metrics and quasiisometries of symmetric spaces of rank 1 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A rigidity property of some negatively curved solvable Lie groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Metric and geometric quasiconformality in Ahlfors regular Loewner spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4263245 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasi-isometric rigidity of Fuchsian buildings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Large scale geometry of negatively curved \(\mathbb{R}^n\rtimes\mathbb{R}\) / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:28, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quasisymmetric maps on the boundary of a negatively curved solvable Lie group |
scientific article |
Statements
Quasisymmetric maps on the boundary of a negatively curved solvable Lie group (English)
0 references
26 June 2012
0 references
The author studies quasisymmetric maps on the ideal boundary of a particular negatively curved solvable Lie group. Let \(A=\left(\begin{matrix} 1&1\\0&1\end{matrix}\right)\), and let \(\mathbb R\) act on \(\mathbb R^2\) by \((t,v)\to e^{tA}v\), \(t\in\mathbb R\), \(v\in \mathbb R^2\). Denote the corresponding semi-direct product by \(G_A=\mathbb R^2\rtimes_A\mathbb R\). The group \(G_A\) is a simple connected solvable Lie group. For any proper Gromov hyperbolic geodesic space \(X\) and any \(\xi\in\partial X\) there are so-called parabolic visual (quasi)metrics on \(\partial X\setminus\{\xi\}\). A parabolic visual quasimetric \(D\) on \(\partial G_A\setminus\{\xi_0\}\) is given by: \[ D((x_1,y_1),(x_2,y_2))=\max\{|y_2-y_1|,|(x_2-x_1)-(y_2-y_1)\ln|y_2-y_1||\} \] for all \((x_1,y_1),(x_2,y_2)\in\mathbb R^2=\partial G_A\setminus\{\xi_0\}\), where \(0\ln0\) is understood to be 0. The author defines three different parabolic visual quasimetrics on the ideal boundary, and finds an explicit formula for one of them. Let \(\eta:[0,\infty)\to[0,\infty)\) be a homomorphism. A bijection \(F:X\to Y\) between two quasimetric spaces is \(\eta\)-quasisymmetric if for all distinct triples \(x,y,z\in X\), we have \[ \frac{d(F(x),F(y))}{d(F(x),F(z))}\leq\eta\left(\frac{d(x,y)}{d(x,z)}\right). \] A map \(F:X\to Y\) is quasisymmetric if it is \(\eta\)-quasisymmetric for some \(\eta\). It is proved that every self quasisymmetric map of \((\mathbb R^2,D)\) maps horizontal lines to horizontal lines. The proof belongs to Bruce Kleiner. Here more details of \(G_A\) are provided. The following is the main result of the paper. Theorem. Every quasisymmetric map \(F:(\mathbb R^2,D)\to(\mathbb R^2,D)\) is a biLipschitz map. A bijection \(F:(\mathbb R^2,D)\to(\mathbb R^2,D)\) is a quasisymmetric map if and only if it has the following form: \(F(x,y)=(ax+c(y),ay+b)\) for all \((x,y)\in\mathbb R^2\), where \(a\neq0\), \(b\) are constants and \(c:\mathbb R\to\mathbb R\) is a Lipschitz map. One should contrast this with quasiconformal maps of the round sphere or the Euclidean space, where there are plenty of non-biLipschitz quasiconformal maps. On the other hand the conclusion of the Theorem is not as strong as in the case of quaternionic hyperbolic space, Cayley plane and Fuchsian building, where every quasisymmetric map of the ideal boundary is actually a conformal map. In the given case, there are many non-conformal quasisymmetric maps of the ideal boundary of~ \(G_A\). The author calculates the quasiisometry group of \(G_A\) and identifies all the quasiisometries of \(G_A\) up to bounded distance. From this it is easy to see that all quasiisometries of \(G_A\) are almost isometries and are height-respecting.
0 references
quasisymmetrics on ideal boundary
0 references
negatively curved solvable Lie group
0 references
parabolic visual (quasi)metrics
0 references
horizontal foliation
0 references
\(D\)-biLipschitz
0 references
self qua\-si\-isometric maps
0 references
rigidity of quasiisometries
0 references
height-respecting
0 references
0 references
0 references
0 references