fiber sequence/long sequence in cohomology
group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
A spin structure on a manifold with an orientation is a lift of the classifying map of the tangent bundle through the second step in the Whitehead tower of .
Spin structures derive their name from the fact that their existence on a space make the quantum anomaly for spinning particles propagating on vanish. See there.
The next steps correspond to
For a manifold, the groupoid/homotopy 1-type of spin structures over is the homotopy fiber in ∞Grpd Top of the second Stiefel-Whitney class
Here an object over an -principal bundle on is called a spin structure on ( is the special orthogonal group).
For the -principal bundle for which the tangent bundle is the canonically associated bundle, one says that a spin-structure on is a spin structure on the manifold .
In the context of quantum field theory the existence of a spin structure on a Riemannian manifold arises notably as the condition for quantum anomaly cancellation of the sigma-model for the spinning particle – the superparticle – propagating on .
Discussions of spin structures along these lines date back to
Edward Witten, Global anomalies in String theory in Symposium on anomalies, geometry, topology , World Scientific Publishing, Singapore (1985)
L. Alvarez-Gaumé Communications in Mathematical Physics 90 (1983) 161
D. Friedan, P. Windey, Nucl. Phys. B235 (1984) 395
It is the generalization of this anomaly computation from the worldlines of superparticles to superstrings that leads to string structure, and then further the generalizaton to the worldvolume anomaly of fivebranes that leads to fivebrane structure.
A disccussion of the full groupoid of spin structures is in