English

Strong surjections from two-complexes with odd order top-cohomology onto the projective plane

Algebraic Topology 2021-10-13 v1

Abstract

Given a finite and connected two-dimensional CWCW-complex KK with fundamental group Π\Pi and second integer cohomology group H2(K;Z)H^2(K;\mathbb{Z}) finite of odd order, we prove that: (1) for each local integer coefficient system α:ΠAut(Z)\alpha:\Pi\to{\rm Aut}(\mathbb{Z}) over KK, the corresponding twisted cohomology group H2(K;α ⁣Z)H^2(K;_{\alpha}\!\mathbb{Z}) is finite of odd order, we say order C(α)\mathbb{C}^{\ast}(\alpha), and there exists a natural function -- which resemble that one defined by the twisted degree -- from the set [K;RP2]α[K;\mathbb{R}P^2]_{\alpha}^{\ast} of the based homotopy classes of based maps inducing α\alpha on π1\pi_1 into H2(K;α ⁣Z)H^2(K;_{\alpha}\!\mathbb{Z}), which is a bijection; (2) the set [K;RP2]α[K;\mathbb{R}P^2]_{\alpha} of the (free) homotopy classes of based maps inducing α\alpha on π1\pi_1 is finite of order C(α)=(C(α)+1)/2\mathbb{C}(\alpha)=(\mathbb{C}^{\ast}(\alpha)+1)/2; (3) all but one of the homotopy classes [f][K;RP2]α[f]\in[K;\mathbb{R}P^2]_{\alpha} are strongly surjective, and they are characterized by the non-nullity of the induced homomorphism f:H2(RP2;ϱ ⁣Z)H2(K;α ⁣Z)f^{\ast}:H^2(\mathbb{R}P^2;_{\varrho}\!\mathbb{Z})\to H^2(K;_{\alpha}\!\mathbb{Z}), where ϱ\varrho is the nontrivial local integer coefficient system over the projective plane. Also some calculations of the groups H2(K;α ⁣Z)H^2(K;_{\alpha}\!\mathbb{Z}) are provided for several two-complexes KK and actions α\alpha, allowing to compare H2(K;Z)H^2(K;\mathbb{Z}) and H2(K;α ⁣Z)H^2(K;_{\alpha}\!\mathbb{Z}) for nontrivial α\alpha.

Keywords

Cite

@article{arxiv.2110.05569,
  title  = {Strong surjections from two-complexes with odd order top-cohomology onto the projective plane},
  author = {Marcio C. Fenille and Daciberg L. Gonçalves and Oziride M. Neto},
  journal= {arXiv preprint arXiv:2110.05569},
  year   = {2021}
}

Comments

10 pages