Constructing equivariant maps for representations (Q1010978)

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)\).