spin^c structure

spin^c structure
Name	spin^c structure
Caption	Schematic of a principal bundle reduction and associated determinant line bundle
Field	Differential geometry, Algebraic topology
Introduced by	William Thurston, Dennis Sullivan
Introduced date	1970s–1980s

spin^c structure

A spin^c structure is a geometric enhancement of an oriented orthonormal frame bundle that combines features of spinor theory, complex line bundles, and Clifford algebra representations. It refines orientation and second Stiefel–Whitney data to permit the definition of spinor bundles and Dirac-type operators on manifolds that may not admit ordinary Spin structures, interacting with characteristic classes such as the first Chern class and the second Stiefel–Whitney class. The concept plays a central role in modern differential topology, index theory, and gauge theory, linking work of Atiyah, Singer, Witten, and applications in the study of four-manifolds by Donaldson and Seiberg–Witten.

Definition and basic properties

A spin^c structure on an oriented Riemannian n-manifold M is a lift of the oriented frame bundle with structure group SO(n) to a principal bundle with structure group the group denoted Spin^c(n), which sits in an exact sequence involving U(1), Spin(n), and SO(n). The existence of a spin^c structure is equivalent to a choice of complex line bundle L with first Chern class c1(L) reducing mod 2 to the second Stiefel–Whitney class w2(M) of M, thereby relating topological obstructions studied by Milnor and Stiefel to complex characteristic classes studied by Chern and Weil. Associated to a spin^c structure are canonical spinor bundles carrying a representation of the complexified Clifford algebra and a determinant line bundle whose curvature influences the behavior of Dirac operators, central to work by Atiyah, Bott, and Singer.

Constructions and equivalent descriptions

One convenient construction uses the fiber product of a Spin(n) principal bundle and a principal U(1)-bundle modulo a diagonal central subgroup; equivalently, a spin^c structure can be described as a pair consisting of a Spin structure on TM ⊕ ε^2 or as a homotopy class of lifts of the classifying map M → BSO(n) to BSpin^c(n). Alternative formulations arise in terms of reductions of structure group for Clifford module bundles, or as choices of a Morita equivalence class of AZUMAYA algebra bundles modeled on complex Clifford algebras, as exploited by Karoubi and Brylinski. In complex-analytic settings one may describe spin^c structures using holomorphic line bundles and canonical bundles, connecting to techniques developed by Kodaira, Hirzebruch, and Grothendieck.

Existence and classification on manifolds

A closed oriented manifold always admits a spin^c structure after stabilizing by a trivial two-plane bundle; this observation underlies existence results used by Gromov and Lawson. More precisely, spin^c structures on M form a torsor over H^2(M; Z) via tensoring the determinant line bundle with elements of the cohomology group H^2(M; Z), a classification viewpoint developed in the context of characteristic classes by Thom, Pontryagin, and Wu. Obstructions are detected by w2(M) and handled via the reduction modulo two of c1(L) for candidate determinant bundles; classical computations for spheres, complex projective spaces studied by Hopf and Chern–Weil theory give explicit existence and counting results used in applications by Donaldson and Seiberg–Witten.

Relationship to Spin and complex structures

A Spin structure is a special case of a spin^c structure with trivial determinant line bundle; conversely, a spin^c structure reduces to a Spin structure precisely when its determinant line admits a square root, a condition governed by the integral liftability of w2 studied by Milnor and Stasheff. On almost complex manifolds, the canonical complex structure induces a natural spin^c structure whose determinant is the anticanonical line bundle; this connection plays a key role in index calculations by Atiyah–Bott and in vanishing theorems due to Kodaira and Hirzebruch–Riemann–Roch. The interplay between spin^c data and complex structures informs classification results in four-dimensional topology explored by Freedman and Donaldson and in symplectic topology through work by Taubes.

Applications in geometry and topology

Spin^c structures provide the framework for defining Dirac operators with twisted coefficients, enabling index-theoretic invariants central to the Atiyah–Singer Index Theorem, spectral flow computations by Nicolaescu, and analytic torsion studied by Ray–Singer. In four-manifold theory, spin^c structures underpin the formulation of the Seiberg–Witten invariants introduced by Witten and developed by Morgan and Friedman, yielding powerful constraints on smooth structures and symplectic forms studied by Taubes and Gompf. In gauge theory and low-dimensional topology spin^c structures enter the definition of Heegaard Floer homology by Ozsváth–Szabó and monopole Floer homology by Kronheimer–Mrowka, linking to knot invariants and contact topology investigated by Etnyre and Giroux. Applications extend to mathematical physics via the study of anomalies and fermions in curved spacetimes treated by Witten, Friedan, and Seiberg.

Examples and computations

Classic examples include oriented surfaces, where spin^c structures correspond to isomorphism classes of complex line bundles whose Chern classes reduce to the Stiefel–Whitney class; explicit counts and moduli are computed using the Picard group as in work by Riemann and Abel. For complex projective spaces CP^n the standard almost complex structure yields a canonical spin^c structure with determinant equal to the anticanonical bundle, computations referenced by Hirzebruch and Bott. On four-manifolds such as K3 surfaces and elliptic surfaces, classification of spin^c structures and their associated Seiberg–Witten invariants has been carried out in studies by Donaldson, Friedman, and Morgan, producing explicit enumerations of basic classes. Torus bundles and Lens spaces admit combinatorial descriptions via surgery presentations developed by Lickorish and Rolfsen, enabling concrete cohomological calculations used in Floer-theoretic invariants by Ozsváth–Szabó.

Category:Differential topology