A bound on the cohomology of quasiregularly elliptic manifolds

DOI10.4007/ANNALS.2019.189.3.5MaRDI QIDQ2320602zbMATH OpenOpenAlexFDO

Authors Eden Prywes

Publication date 23 August 2019

Published in Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1806.05306

zbMATH Keywords

de Rham cohomology quasiregular ellipticity

Mathematics Subject Classification ID

Quasiconformal mappings in (mathbb{R}^n), other generalizations (30C65)

Abstract: We show that a closed, connected and orientable Riemannian manifold of dimension

d

that admits a quasiregular mapping from

m a t h b b R^{d}

must have bounded cohomological dimension independent of the distortion of the map. The dimension of the degree

l

de Rham cohomology of

M

is bounded above by

. This is a sharp upper bound that proves the Bonk-Heinonen conjecture. A corollary of this theorem answers an open problem posed by Gromov in 1981. He asked whether there exists a

d

-dimensional, simply connected manifold that does not admit a quasiregular map from

m a t h b b R^{d}

. Our result gives an affirmative answer to this question.

Review text

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

Recommendations

Cites work

Cited in

(21)

This page was built for publication: A bound on the cohomology of quasiregularly elliptic manifolds

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