Maps to the projective plane

DOI10.2140/AGT.2009.9.549MaRDI QIDQ1017841zbMATH OpenOpenAlexFDO

Authors J. Martínez

Publication date 13 May 2009

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0701127

zbMATH Keywords

cohomological dimensionextension dimensionprojective plane

Mathematics Subject Classification ID

Absolute neighborhood extensor, absolute extensor, absolute neighborhood retract (ANR), absolute retract spaces (general properties) (54C55) Dimension theory in general topology (54F45) Dimension theory in algebraic topology (55M10)

Abstract: We prove the projective plane $p^2$ is an absolute extensor of a finite-dimensional metric 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(p^n,p^{n+1})$ (based at inclusion) as being isomorphic to either $$ or $$ for $nge1$. Double surgery and the above fact yield the proof.

Review text

The main result of this paper states that the real projective plane \(\mathbb{R}P^2\) is an absolute extensor for a finite-dimensional metrizable space \(X\) iff \(\dim_{\mathbb{Z}_2}X\leq1\). In general \(Y\) is an absolute extensor for \(Z\) if every continuous map \(f:A\to Y\), where \(A\) is closed in~\(X\), can be extended to all of \(X\). Along their way to the proof the authors show that the fundamental group of the space of maps from \(\mathbb{R}P^n\) into \(\mathbb{R}P^{n+1}\), with the inclusion map as base point, is a four-element group (it is calculated for \(n=1\) (cyclic) and for \(n=2\), \(3\), \(6\) and \(7\) (the four-group)).

Recommendations

• Extensions of maps to the projective plane
• Constructing compacta of different extensional dimensions
• Extensions of maps to Moore spaces
• Convenient maps from one-relator model two-complexes into the real projective plane
• Strongly surjective maps from certain two-complexes with trivial top-cohomology onto the projective plane

Cites work

• Cohomological Dimension and Metrizable Spaces
• Compact maps and quasi-finite complexes
• Extension of maps into nilpotent spaces. III.
• Extension of maps to nilpotent spaces. II
• Extensions of maps to the projective plane
• Generalized cohomological dimension of compact metric spaces
• scientific article; zbMATH DE number 4048653 (Why is no real title available?)
• scientific article; zbMATH DE number 28616 (Why is no real title available?)
• scientific article; zbMATH DE number 1039227 (Why is no real title available?)
• Hurewicz–Serre theorem in extension theory
• Some examples in cohomological dimension theory.

Cited in

(5)

• On the unstable intersection conjecture
• The paucity of universal compacta in cohomological dimension
• scientific article; zbMATH DE number 3921545 (Why is no real title available?)
• scientific article; zbMATH DE number 729024 (Why is no real title available?)
• Extensions of maps to Moore spaces

This page was built for publication: Maps to the projective plane

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1017841)