English

The principal fibration sequence and the second cohomotopy set

Algebraic Topology 2015-06-08 v1

Abstract

Let p:E>Bp:E -> B be a principal fibration with classifying map w:B>Cw:B -> C. It is well-known that the group [X,ΩC][X,\Omega C] acts on [X,E][X,E] with orbit space the image of p_#, where p_#: [X,E] -> [X,B]. The isotropy subgroup of the map of XX to the base point of EE is also well-known to be the image of [X,ΩB][X, \Omega B]. The isotropy subgroups for other maps e:X>Ee:X -> E can definitely change as ee does. The set of homotopy classes of lifts of ff to the free loop space on BB is a group. If ff has a lift to EE, the set p_#^{-1}(f) is identified with the cokernel of a natural homomorphism from this group of lifts to [X,ΩC][X, \Omega C]. As an example, [X,S2][X,S^2] is enumerated for XX a 4-complex.

Keywords

Cite

@article{arxiv.0910.1781,
  title  = {The principal fibration sequence and the second cohomotopy set},
  author = {Laurence R. Taylor},
  journal= {arXiv preprint arXiv:0910.1781},
  year   = {2015}
}

Comments

12 pages