Spin structure

Spin structure
Name	Spin structure
Type	Geometric structure
Field	Differential geometry; Algebraic topology
Introduced by	Élie Cartan (conceptual predecessors); formalized by Mikhail Postnikov and others

Spin structure

A spin structure is an additional geometric lift of an orientation and a Riemannian metric on a manifold that permits the definition of spinor fields and Dirac operators; it refines the frame bundle through a principal Spin-bundle covering the SO(n)-frame bundle. Originating in the work of Élie Cartan and formalized in 20th-century topology and mathematical physics, spin structures play central roles in index theory, gauge theory, and the study of fermions in quantum field theory, linking concepts across Differential geometry, Algebraic topology, and Mathematical physics.

Introduction

Spin structures arise when one seeks to lift the orthonormal frame bundle of an oriented Riemannian manifold from the special orthogonal group SO(n) to its double cover, the group Spin(n). This lift is obstructed by characteristic classes such as the second Stiefel–Whitney class w_2 in cohomology theory and is intimately connected to constructions in Index theory such as the Atiyah–Singer index theorem and to physical frameworks like Dirac equation quantization and Yang–Mills theory. Classic contributors include Hermann Weyl, Paul Dirac, Atiyah–Bott collaborators, and later work by Michael Atiyah, Isadore Singer, and Raoul Bott.

Mathematical Definition and Properties

Formally, given an n-dimensional smooth, oriented manifold M with orthonormal frame bundle P_{SO} → M, a spin structure is a principal Spin(n)-bundle P_{Spin} together with a 2-to-1 bundle map P_{Spin} → P_{SO} intertwining the Spin(n)→SO(n) covering homomorphism. Existence is controlled by the cohomology class w_2(M) ∈ H^2(M; Z/2Z) discovered in the work of Eduard Stiefel and Hubert Stiefel; vanishing of w_2 is necessary and sufficient for the existence of a spin structure. The set of inequivalent spin structures on a fixed manifold forms a torsor over H^1(M; Z/2Z), a fact used in classification problems in Topology of manifolds and in moduli problems studied by Michael Freedman and Kirby.

Key properties include functoriality under pullback by smooth maps featured in studies by John Milnor and James Stasheff, compatibility with connected sums and surgeries analyzed by C. T. C. Wall, and the behavior under coverings linked to work by Serre on Galois cohomology. The relation between spin structures and the existence of spinor bundles, constructed via representations of Clifford algebra and Spin representation, enables analytic tools such as the Dirac operator, whose index computes topological invariants in the Atiyah–Singer index theorem context.

Physical Interpretations and Applications

In Theoretical physics, spin structures provide the mathematical underpinning for defining fermionic fields on curved spacetimes invoked in General relativity and Quantum field theory. The choice of spin structure affects global properties of fermion fields entering path integrals in Supersymmetry and String theory, and is crucial in anomalies studied by Alvarez-Gaumé and Witten in the context of gravitational and gauge anomalies. In condensed matter, spin structures and related pin structures inform the classification of topological phases and Majorana fermion realizations discussed in papers by Kitaev and Nayak.

Spin structures appear in gauge-theoretic equations such as the Seiberg–Witten equations and impact invariants for smooth four-manifolds developed by Clifford Taubes and Simon Donaldson. In Statistical mechanics, fermionic path integral sign choices relate to spin structure choices on surfaces studied by P. Ginsparg and in conformal field theory analyses by Edward Witten and Alexander Polyakov.

Existence and Classification on Manifolds

A smooth, oriented manifold M admits a spin structure iff its second Stiefel–Whitney class w_2(M) ∈ H^2(M; Z/2Z) vanishes; this criterion originates from obstruction theory in the work of Steenrod and Eilenberg–MacLane. Given existence, equivalence classes of spin structures correspond bijectively to H^1(M; Z/2Z), a classification used in the study of mapping class groups of surfaces by William Thurston and in three-manifold topology by William P. Thurston and Michael Hutchings. For nonorientable manifolds one considers pin structures, variants introduced by Bott and Shapiro to handle reflections; these relate to KO-theory studied by Atiyah and Bott.

In dimension four the interaction of spin structures with intersection forms and signature invariants is pivotal in the classification of smooth structures on four-manifolds pursued by Freedman and Donaldson; spin^c structures, a hybrid introduced by Witten and formalized by Luminy school researchers, generalize spin structures by coupling with complex line bundles and play a central role in Seiberg–Witten theory.

Examples and Computations

Standard examples: the n-sphere S^n is spin for all n≥1, a fact verified via triviality of tangent bundles and classical results by Radon and Milnor. Real projective space RP^n is spin iff n ≡ 1,3 mod 8, a computation using characteristic classes appearing in work by Wu and Serre. Complex projective spaces CP^n are spin only for even n with additional torsion constraints analyzed by Hirzebruch. Torus T^n admits 2^n distinct spin structures corresponding to H^1(T^n; Z/2Z) and is used as a model in solid state and string theoretic constructions by Edward Witten and Cumrun Vafa.

Computations of w_2 and spin structures employ spectral sequences, obstruction-theoretic methods from Postnikov towers, and explicit clutching function descriptions as in constructions by Pontryagin. In low dimensions, tabled classifications exist for surfaces (orientable genus g surfaces admit 2^{2g} spin structures) attributed to classical topology results by Riemann and modern expositions by Farkas and Kra.

Related Structures and Generalizations

Closely related are spin^c structures, obtained by coupling spin with a U(1)-bundle and central to Seiberg–Witten invariants and Kähler geometry applications explored by Witten and Taubes. Pin structures generalize spin to nonorientable manifolds; string structures refine spin further to kill the fractional first Pontryagin class, introduced in work by Stolz and Teichner and relevant to string theory backgrounds. Further generalizations include higher lifts to fivebrane and M-theory-relevant structures investigated by Freed and Hopkins, and categorical enhancements linked to Twisted K-theory studied by Rosenberg and Bouwknegt.

Category:Differential geometry