Projection-map conjecture for spaces of real projective maps

About 15 years old · traced to

Let 1≤m<n1\leq m<n. The spaces Ad(m,n)A_d(m,n) and A~d(m,n)\tilde{A}_d(m,n) map to the spaces of based and unbased algebraic maps, respectively, via the projection maps

Ψd:Ad(m,n)→Alg⁡d∗(RP⁡m,RP⁡n),Γd:A~d(m,n)→Alg⁡d(RP⁡m,RP⁡n).\Psi_d:A_d(m,n)\to \operatorname{Alg}_d^*(\Bbb R\operatorname{P}^m,\Bbb R\operatorname{P}^n),\qquad \Gamma_d:\tilde{A}_d(m,n)\to \operatorname{Alg}_d(\Bbb R\operatorname{P}^m,\Bbb R\operatorname{P}^n).

Projection-map conjecture. These projection maps are homotopy equivalences. This conjecture concerns the topology of spaces of equivariant algebraic maps between real projective spaces and predicts that the relevant projection maps capture their full homotopy type. The source attributes it to AKY1; its resolution is not specified here.

References

Primary source

Andrzej Kozlowski and Kohhei Yamaguchi, “Spaces of equivariant algebraic maps from real projective spaces into complex projective spaces”, arXiv:1109.0353 (2011).

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.