English

Strongly surjective maps from certain two-complexes with trivial top-cohomology onto the projective plane

Algebraic Topology 2020-10-27 v2

Abstract

For the model two-complex KK of the group presentation P=x,yxk+1yxy\mathcal{P}=\langle x,y\,|\,x^{k+1}yxy \rangle, with k1k\geq1 odd, we describe representatives for all free and based homotopy classes of maps from KK into the real projective plane and we classify the homotopy classes containing only surjective maps. With this approach we get an answer, for maps into the real projective plane, for a classical question in topological root theory, which is known so far, in dimension two, only for maps into the sphere, the torus and the Klein bottle. The answer follows by proving that for all k1k\geq1 odd, H2(K;mathbbZ)=0H^2(K;mathbb{Z})=0 and, for k3k\geq3 odd, there exist maps from KK into the real projective plane which are strongly surjective. For k=1k=1, there is no such a strongly surjective map. 55N25, 57M20.

Keywords

Cite

@article{arxiv.2001.08243,
  title  = {Strongly surjective maps from certain two-complexes with trivial top-cohomology onto the projective plane},
  author = {Daciberg Lima Gonçalves and Marcio Colombo Fenille},
  journal= {arXiv preprint arXiv:2001.08243},
  year   = {2020}
}

Comments

The revised version has a more suitable title and some improvements on the language