The principal fibration sequence and the second cohomotopy set

Abstract

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

12 pages

Cited by in corpus (5)

• Twistorial Cohomotopy implies Green-Schwarz anomaly cancellation
• Lift of fractional D-brane charge to equivariant Cohomotopy theory
• Indefinite Morse 2-functions; broken fibrations and generalizations
• Vector bundles and cohomotopies of spin 5-manifolds
• A geometric computation of cohomotopy groups in co-degree one