Constructing equivariant maps for representations

Abstract: We show that if G is a discrete subgroup of the group of the isometries of the hyperbolic k-space H^k, and if R is a representation of G into the group of the isometries of H^n, then any R-equivariant map F from H^k to H^n extends to the boundary in a weak sense in the setting of Borel measures. As a consequence of this fact, we obtain an extension of a result of Besson, Courtois and Gallot about the existence of volume non-increasing, equivariant maps. Moreover, under an additional hypothesis, we show that the weak extension we obtain is actually a measurable R-equivariant map from the boundary of H^k to the closure of H^n. We use this fact to obtain measurable versions of Cannon-Thurston-type results for equivariant Peano curves.

Review text

Let \(\Gamma \) be a discrete subgroup of the group \(\text{Isom}(\mathbb H^{k})\) of the isometries of \(\mathbb H^{k}\), and let \(\rho:\Gamma\to \text{Isom}(\mathbb H^{k})\) be a representation. One can construct a piecewise smooth map \(D: \mathbb H^k\to\mathbb H^n\) which is \(\rho\)-equivariant, that is, \(D(\gamma x)=\rho(\gamma)D(x)\) for all \(\gamma\in\Gamma\). Then the problem arises of whether such a map continuously extends to the boundaries of the hyperbolic spaces. In some cases, for example if the representation is not discrete, such an extension is not possible. Moreover, in general, it is hard even to construct a \(\rho\)-equivariant map between the boundaries with some regularity properties like continuity and measurability. In this paper, the author proves the existence, for any \(\rho: \Gamma\to \text{Isom}(\mathbb H^{k})\), of a measurable \(\rho\)-equivariant map from the limit set of \(\Gamma\) to the set of probability measures on \(\partial\,\mathbb H^n\), by showing that if \(\Gamma<\text{Isom}(\mathbb H^{k})\) is an infinite, non-elementary discrete group, and \(\rho:\Gamma\to \text{Isom}(\mathbb H^{k})\) is a representation, then a family of developing measures for \(\rho\) exists. An extension of the result of Besson, Courtois and Gallot about the existence of volume non-increasing, equivariant maps is obtained. Also, the author shows that the obtained weak extension is actually a measurable \(\rho\)-equivariant map in the classical sense, and by using this fact he obtains measurable versions of Cannon-Thurston-type results for equivariant Peano curves. It is proven that if \(\Gamma \) is of divergence type and \(\rho \) is non-elementary, then there exists a measurable map \(D:\partial\,\mathbb H^{k}\rightarrow\partial\,\mathbb H^{n}\) conjugating the actions of \(\Gamma \) and \(\rho(\Gamma)\).

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Constructing equivariant maps for representations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1010978)