Uniformly quasiregular maps on the compactified Heisenberg group (Q692337)

Quasiregular mappings play an important role in geometric function theory. These mappings have been extensively studied in the Euclidean settings \(\mathbb{R}^n\) and \(\mathbb{R}^n \cup \{ \infty \}\). A special subclass of quasiregular mappings are those for which there is a uniform bound on the dilatation of the iterates, namely the uniformly quasiregular mappings. These were introduced in the setting of \(\mathbb{R}^n \cup \{ \infty \}\) by \textit{T. Iwaniec} and \textit{G. Martin} [Ann. Acad. Sci. Fenn., Math. 21, No. 2, 241--254 (1996; Zbl 0860.30019)]. Recently, focus has been given to defining quasiregular mappings in more settings, such as Carnot groups. The underlying sub-Riemannian geometry presents more of a difficulty than in the Euclidean setting, see [\textit{J. Heinonen} and \textit{I. Holopainen}, J. Geom. Anal. 7, No. 1, 109--148 (1997; Zbl 0905.30018)]. In the paper under review, the authors construct a non-injective uniformly quasiregular mapping acting on the one-point compactification \(\overline{\mathbb{H}^1} = \mathbb{H} \cup \{ \infty \}\) of the Heisenberg group \(\mathbb{H}^1\) equipped with a sub-Riemannian metric. The construction uses winding mappings and the conformal trap method of Iwaniec and Martin, but requires the flow techniques of \textit{A. Korányi} and \textit{H. M. Reimann} [Adv. Math. 111, No. 1, 1--87 (1995; Zbl 0876.30019)] as a replacement for the Sullivan-Tukia annulus theorem. The authors also study the size of the branch sets that can arise from this technique, the existence of an equivariant measurable CR-structure arising from a uniformly quasiregular mapping, and finish with a section indicating the directions of future research in this fascinating area.