Higher-dimensional Mostovoy conjecture for algebraic maps between real projective spaces

Let m,n,dm,n,d be integers with 2m<n2\leq m<n and d1d\geq1. Write Algd(RPm,RPn)\operatorname{Alg}_d(\mathbb{R}\operatorname{P}^m,\mathbb{R}\operatorname{P}^n) and Algd(RPm,RPn)\operatorname{Alg}_d^*(\mathbb{R}\operatorname{P}^m,\mathbb{R}\operatorname{P}^n) for the free and basepoint-preserving degree-dd algebraic-map spaces, and let Map[d]2\operatorname{Map}_{[d]_2} and Map[d]2\operatorname{Map}_{[d]_2}^* denote the corresponding components of free and based continuous maps. Define D(d;m,n)=(nm)((d+1)/2+1)1D(d;m,n)=(n-m)(\lfloor (d+1)/2\rfloor+1)-1. Higher-dimensional Mostovoy conjecture. The inclusion maps

jd,R:Algd(RPm,RPn)Map[d]2(RPm,RPn)j_{d,\mathbb{R}}:\operatorname{Alg}_d(\mathbb{R}\operatorname{P}^m,\mathbb{R}\operatorname{P}^n)\to\operatorname{Map}_{[d]_2}(\mathbb{R}\operatorname{P}^m,\mathbb{R}\operatorname{P}^n)

and

id,R:Algd(RPm,RPn)Map[d]2(RPm,RPn)i_{d,\mathbb{R}}:\operatorname{Alg}_d^*(\mathbb{R}\operatorname{P}^m,\mathbb{R}\operatorname{P}^n)\to\operatorname{Map}_{[d]_2}^*(\mathbb{R}\operatorname{P}^m,\mathbb{R}\operatorname{P}^n)

are homotopy equivalences through dimension D(d;m,n)D(d;m,n) when m+2nm+2\leq n, and homology equivalences through the same dimension when n=m+1n=m+1. This extends Mostovoy's one-dimensional-domain theorem; the paper states the conjecture but does not prove it, while Theorem II supplies related finite-dimensional approximation results.

Sources & referencesView supporting material

Primary source

Michal Adamaszek, Andrzej Kozlowski and Kohhei Yamaguchi, “Spaces of algebraic and continuous maps between real algebraic varieties”, arXiv:0809.4893 (2010).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.