Obstructions for automorphic quasiregular maps and Lattès-type uniformly quasiregular maps (Q2164781)

Quasiregular maps \(f\) which are automorphic with respect to a discrete group \(\Gamma\) of isometries in \(\mathbb{R}^n\) are studied. For \(n \geq 3\) there are no such \(1\)-quasiregular mapping except in a few trivial cases. Let \(\Gamma\) be a discrete subgroup of the isometry group of \(\mathbb{R}^n\). A fundamental cell of \(\Gamma\) is a connected set \(D \subset \mathbb{R}^n\) containing exactly one point from each orbit of \( \Gamma\) and \(m_n(\partial D) = 0\). The dimension \(\dim\Gamma\) of \(\Gamma\) is the largest \(k \in \mathbb{N}\) such that \(\Gamma\) contains an isomorphic copy of \(\mathbb Z^k\). Let \(M\) be a closed oriented Riemannian manifold of dimension \(n\). It is shown that an quasiregular mapping \(f :\mathbb{R}^n \rightarrow M\) automorphic to \(\Gamma\) has infinite multiplicity in a fundamental cell if \(0 <\dim\Gamma < n\) and \(\dim\Gamma_T /\dim \Gamma > 1/(n -\dim\Gamma\)). Here \( \Gamma_T\) stands for the subgroup of translations in \(\Gamma\). This generalizes the result in [the reviewer, Ann. Acad. Sci. Fenn., Ser. A I, Math. 1, 207--220 (1975; Zbl 0325.30025)] where a corresponding result for the discrete translation group was obtained. It is shown that there exists \(\Gamma\) which does not contain a \(\dim\Gamma\)-dimensional translation subgroup. With an extra assumption that if there is a linear expanding conformal map \(A :\mathbb{R}^n \rightarrow \mathbb{R}^n\) with \(A \Gamma A^{-1} \subset \Gamma\), then \(\dim\Gamma_T = \dim\Gamma\). Uniformly quasiregular automorphic mappings are considered in the framework of a Lattés triple. A \(K\)-quasiregular mapping \(f: M \rightarrow M\) is uniformly \(K\)-quasiregular if every iterate of \(f\) is \(K\)-quasiregular and a Lattés triple \((\Gamma, h, A)\) consists of a discrete subgroup of isometries in \(\mathbb{R}^n\), \(h:\mathbb{R}^n \rightarrow M\) is a quasiregular mapping automorphic with respect to \(\Gamma\) with the property that if \(h(x) = h(y)\) then \(x = \gamma(y)\) for some \(\gamma \in \Gamma\) and \(A\) is a conformal bijection of \(\mathbb{R}^n\) with \(A\Gamma A^{-1} \subset \Gamma\). Now a uniformly quasiregular mapping \(g : M \rightarrow M\) is a Lattés mapping if there exists a Lattés triple \((\Gamma, h, A)\) for which \(g \circ h = h \circ A\). Note that a Lattés triple \((\Gamma, h, A)\) induces a uniformly automorphic mapping \(g : h(\mathbb{R}^n) \rightarrow h(\mathbb{R}^n)\) with \(g \circ h = h \circ A\), see [\textit{T. Iwaniec} and \textit{G. Martin}, Geometric function theory and nonlinear analysis. Oxford: Oxford University Press (2001; Zbl 1045.30011)]. It is shown that if \((\Gamma, h, A)\) is a Lattés triple with induced uniformly quasiregular \(g : h(\mathbb{R}^n) \rightarrow h(\mathbb{R}^n)\), then \(\dim \Gamma =n\) implies that \(h\) is surjective, if \(\dim\Gamma =n-1\) then \(M \setminus h(\mathbb{R}^n)\) consists of one or two points and if \(0 \leq \dim\Gamma \leq n-2\) then \(M \setminus h(\mathbb{R}^n)\) consists of one point, see also [the reviewer and \textit{U. Srebro}, J. Anal. Math. 28, 20--40 (1975; Zbl 0317.30025)] for omitted points of periodic quasimeromorphic mappings. The topology of \(M\) also restricts \(\dim\Gamma\) in the Lattés triple and it is shown that if \(M\) is not a rational cohomology sphere and \(A\) is expanding, then in the Lattés triple \((\Gamma, h, A)\), \(\dim \Gamma = n\) and \(h\) is surjective. In addition to the analysis of discrete isometry groups the path lifting method is developed for automorphic mappings together with the study of the lenghts of lifted paths.