English

Quasiregular values and cohomology

Differential Geometry 2025-11-06 v1 Complex Variables

Abstract

We prove that the recently shown cohomological obstruction for quasiregular ellipticity has a generalization in the theory of quasiregular values. More specifically, if MM is a closed, connected, and oriented Riemannian nn-manifold, and there exists a map fC(Rn,M)Wloc1,n(Rn,M)f \in C(\mathbb{R}^n, M) \cap W^{1,n}_{\mathrm{loc}}(\mathbb{R}^n, M) satisfying Df(x)nKJf(x)+distn(f(x),f(x0))Σ(x)\lvert Df(x) \rvert^n \le K J_f(x) + \operatorname{dist}^n(f(x), f(x_0)) \Sigma(x) a.e. in Rn\mathbb{R}^n with K1K \ge 1, x0Rnx_0 \in \mathbb{R}^n, and ΣL1(Rn)Lloc1+ε(Rn)\Sigma \in L^1(\mathbb{R}^n) \cap L^{1+\varepsilon}_{\mathrm{loc}}(\mathbb{R}^n) for some ε>0\varepsilon > 0, then the real singular cohomology ring H(M;R)H^*(M; \mathbb{R}) of MM embeds into the exterior algebra Rn\wedge^* \mathbb{R}^n in a graded manner. We also show a partial version of our result for MM with dimension greater than nn, by using a class of maps that combines properties of quasiregular values and quasiregular curves.

Keywords

Cite

@article{arxiv.2511.03514,
  title  = {Quasiregular values and cohomology},
  author = {Susanna Heikkilä and Ilmari Kangasniemi},
  journal= {arXiv preprint arXiv:2511.03514},
  year   = {2025}
}

Comments

39 pages, including one 6-page Appendix