We prove the projective plane ℝP2 is an absolute extensor of a finite-dimensional metrizable space X if and only if the cohomological dimension mod 2 of X does not exceed 1. This solves one of the remaining difficult problems (posed by A N Dranishnikov) in Extension Theory. One of the main tools is the computation of the fundamental group of the function space Map(ℝPn, ℝPn+1) (based at the inclusion) as being isomorphic to either ℤ4 or ℤ2 ⊕ ℤ2 for n ≥ 1. Double surgery and the above fact yield the proof.
Dydak, Jerzy  1 ; Levin, Michael  2
@article{10_2140_agt_2009_9_549,
author = {Dydak, Jerzy and Levin, Michael},
title = {Maps to the projective plane},
journal = {Algebraic and Geometric Topology},
pages = {549--568},
year = {2009},
volume = {9},
number = {1},
doi = {10.2140/agt.2009.9.549},
url = {http://geodesic.mathdoc.fr/articles/10.2140/agt.2009.9.549/}
}
Dydak, Jerzy; Levin, Michael. Maps to the projective plane. Algebraic and Geometric Topology, Tome 9 (2009) no. 1, pp. 549-568. doi: 10.2140/agt.2009.9.549
[1] , , Extension of maps to nilpotent spaces. II, Topology Appl. 124 (2002) 77
[2] , , Extension of maps into nilpotent spaces. III, Topology Appl. 153 (2005) 208
[3] , , , , Hurewicz–Serre theorem in extension theory, Fund. Math. 198 (2008) 113
[4] , , , , , Compact maps and quasi-finite complexes, Topology Appl. 154 (2007) 3005
[5] , On a problem of P S Aleksandrov, Mat. Sb. $($N.S.$)$ 135(177) (1988) 551, 560
[6] , Extension of mappings into CW–complexes, Mat. Sb. 182 (1991) 1300
[7] , Cohomological dimension theory of compact metric spaces, Preprint, Topology Atlas (1999)
[8] , , Extension dimension and extension types, Proc. Steklov Inst. Math. 212 (1996) 55
[9] , Cohomological dimension and metrizable spaces, Trans. Amer. Math. Soc. 337 (1993) 219
[10] , , Extensions of maps to the projective plane, Algebr. Geom. Topol. 5 (2005) 1711
[11] , Some examples in cohomological dimension theory, Pacific J. Math. 202 (2002) 371
Cité par Sources :