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

About 18 years old · traced to

Let m,n,dm,n,d be integers with 2≤m<n2\leq m<n and d≥1d\geq1. Write Alg⁡d(RP⁡m,RP⁡n)\operatorname{Alg}_d(\mathbb{R}\operatorname{P}^m,\mathbb{R}\operatorname{P}^n) and Alg⁡d∗(RP⁡m,RP⁡n)\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)=(n−m)(⌊(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:Alg⁡d(RP⁡m,RP⁡n)→Map⁡[d]2(RP⁡m,RP⁡n)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:Alg⁡d∗(RP⁡m,RP⁡n)→Map⁡[d]2∗(RP⁡m,RP⁡n)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+2≤nm+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.

References

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.