The trivial homotopy class of maps from two-complexes into the real projective plane

Abstract

We study reasons related to two-dimensional CW-complexes which prevent an extension of the Hopf–Whitney Classification Theorem for maps from those complexes into the real projective plane, even in the simpler situation in which the complex has trivial second integer cohomology group. We conclude that for such a two-complex $K$, the following assertions are equivalent: (1) Every based map from $K$ into the real projective plane is based homotopic to a constant map; (2) The skeleton pair $(K,K^1)$ is homotopy equivalent to that of a model two-complex induced by a balanced group presentation; (3) The number of two-dimensional cells of $K$ is equal to the first Betti number of its one-skeleton; (4) $K$ is acyclic; (5) Every based map from $K$ into the circle $S^1$ is based homotopic to a constant map.