A bound on the cohomology of quasiregularly elliptic manifolds. (English) Zbl 1451.30045

The author presents a theorem which proves the Bonk-Heinonen conjecture on dimensions of the cohomology for quasiregular manifolds and answers an open problem posed by Gromov in 1981. For a closed, connected and orientable Riemannian manifold \(M\) of dimension \(d\), a \(K\)-quasiregular mapping, \(K\geq1\), is a continuous mapping \(f:\mathbb R^d\to M\) such that \(f\in W^{1,d}_{\text{loc}}(\mathbb R^d,M)\) and the differential, \(Df:T\mathbb R^d\to TM\), satisfies \[\|Df(x)\|^d\leq KJ_f(x),\;\;\;J_f=\text{det}(Df),\] for almost every \(x\in\mathbb R^d\). If \(M\) admits such a nonconstant quasiregular mapping, then \(M\) is quasiregularly elliptic. The main result is given in the following theorem.
Theorem 1.1. Let \(M\) be a closed, connected and orientable Riemannian manifold of dimension \(d\). If \(M\) admits a nonconstant quasiregular mapping from \(\mathbb R^d\), then \(\text{dim}\,H^l(M)\leq\binom dl\) for \(0\leq l\leq d\), where \(H^l(M)\) is the de Rham cohomology of \(M\) of degree \(l\).
Denote by \(S^2\) the 2-sphere. Theorem 1.1 implies the next corollary.
Corollary 1.2. The simply connected manifold \(M=\#^n(S^2\times S^2)\), the connected sum of \(n\) copies of \(S^2\times S^2\), is not quasiregularly elliptic for \(n\geq4\).


30C65 Quasiconformal mappings in \(\mathbb{R}^n\), other generalizations
Full Text: DOI arXiv


[1] Bojarski, B.; Iwaniec, T., Analytical foundations of the theory of quasiconformal mappings in {\(\textbf{R}\sp{n}\)}, Ann. Acad. Sci. Fenn. Ser. A I Math.. Annales Academiae Scientiarum Fennicae. Series A I. Mathematica, 8, 257-324, (1983) · Zbl 0548.30016
[2] Bonk, Mario; Heinonen, Juha, Quasiregular mappings and cohomology, Acta Math.. Acta Mathematica, 186, 219-238, (2001) · Zbl 1088.30011
[3] Bonk, Mario; Poggi-Corradini, P., The {R}ickman-{P}icard theorem, (2019) · Zbl 1437.30011
[4] Bott, Raoul; Tu, Loring W., Differential Forms in Algebraic Topology, Grad. Texts in Math., 82, xiv+331 pp., (1982) · Zbl 0496.55001
[5] Donaldson, S. K.; Sullivan, D. P., Quasiconformal {\(4\)}-manifolds, Acta Math.. Acta Mathematica, 163, 181-252, (1989) · Zbl 0704.57008
[6] Drasin, David; Pankka, Pekka, Sharpness of {R}ickman’s {P}icard theorem in all dimensions, Acta Math.. Acta Mathematica, 214, 209-306, (2015) · Zbl 1326.30025
[7] Eremenko, Alexandre; Lewis, John L., Uniform limits of certain {\(A\)}-harmonic functions with applications to quasiregular mappings, Ann. Acad. Sci. Fenn. Ser. A I Math.. Annales Academiae Scientiarum Fennicae. Series A I. Mathematica, 16, 361-375, (1991) · Zbl 0727.35022
[8] Gehring, F. W., The {\(L\sp{p}\)}-integrability of the partial derivatives of a quasiconformal mapping, Acta Math.. Acta Mathematica, 130, 265-277, (1973) · Zbl 0258.30021
[9] Gromov, M., Hyperbolic manifolds, groups and actions. Riemann Surfaces and Related Topics: {P}roceedings of the 1978 {S}tony {B}rook {C}onference, Ann. of Math. Stud., 97, 183-213, (1981) · Zbl 0447.00006
[10] Gromov, Misha, Metric Structures for {R}iemannian and Non-{R}iemannian Spaces, Modern Birkh\"{a}user Classics, xx+585 pp., (2007) · Zbl 1113.53001
[11] Guillemin, Victor; Pollack, Alan, Differential Topology, xvi+222 pp., (1974) · Zbl 1420.57001
[12] Iwaniec, Tadeusz; Lutoborski, Adam, Integral estimates for null {L}agrangians, Arch. Rational Mech. Anal.. Archive for Rational Mechanics and Analysis, 125, 25-79, (1993) · Zbl 0793.58002
[13] Iwaniec, Tadeusz; Martin, Gaven, Quasiregular mappings in even dimensions, Acta Math.. Acta Mathematica, 170, 29-81, (1993) · Zbl 0785.30008
[14] Jormakka, Jorma, The existence of quasiregular mappings from {\(\textbf{R}^3\)} to closed orientable {\(3\)}-manifolds, Ann. Acad. Sci. Fenn. Ser. A I Math. Dissertationes. Annales Academiae Scientiarum Fennicae. Series A I. Mathematica Dissertationes, 44 pp., (1988) · Zbl 0662.57007
[15] Kangasniemi, I., Sharp cohomological bound For uniformly quasiregularly elliptic manifolds, (2017)
[16] Lehto, O.; Virtanen, K. I., Quasiconformal Mappings in the Plane, Grundlehren Math. Wissen., 126, viii+258 pp., (1973) · Zbl 0267.30016
[17] Lewis, John L., Picard’s theorem and {R}ickman’s theorem by way of {H}arnack’s inequality, Proc. Amer. Math. Soc.. Proceedings of the American Mathematical Society, 122, 199-206, (1994) · Zbl 0807.30010
[18] Mattila, P.; Rickman, S., Averages of the counting function of a quasiregular mapping, Acta Math.. Acta Mathematica, 143, 273-305, (1979) · Zbl 0443.30043
[19] Pankka, Pekka, Mappings of bounded mean distortion and cohomology, Geom. Funct. Anal.. Geometric and Functional Analysis, 20, 229-242, (2010) · Zbl 1203.30023
[20] Rickman, Seppo, On the number of omitted values of entire quasiregular mappings, J. Analyse Math.. Journal d’Analyse Math\'{e}matique, 37, 100-117, (1980) · Zbl 0451.30012
[21] Rickman, Seppo, The analogue of {P}icard’s theorem for quasiregular mappings in dimension three, Acta Math.. Acta Mathematica, 154, 195-242, (1985) · Zbl 0617.30024
[22] Rickman, Seppo, Quasiregular Mappings, Ergeb. Math. Grenzgeb., 26, x+213 pp., (1993) · Zbl 0816.30017
[23] Rickman, Seppo, Simply connected quasiregularly elliptic 4-manifolds, Ann. Acad. Sci. Fenn. Math.. Annales Academi\ae Scientiarum Fennic\ae . Mathematica, 31, 97-110, (2006) · Zbl 1116.30011
[24] Varopoulos, N. Th.; Saloff-Coste, L.; Coulhon, T., Analysis and Geometry on Groups, Cambridge Tracts in Math., 100, xii+156 pp., (1992) · Zbl 0813.22003
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.