Spin^c

Spin^c
Name	Spin^c
Type	Mathematical structure
Field	Differential topology, Algebraic topology, Differential geometry, Mathematical physics

Spin^c Spin^c structures are a refinement of oriented orthonormal frame structures that incorporate a complex line bundle, providing a framework to define spinor bundles and Dirac operators on manifolds that need not admit Spin structures. They play a central role in index theory, Seiberg–Witten theory, and aspects of gauge theory on four-manifolds, and connect to representation theory, K-theory, and complex geometry.

Definition and basic properties

A Spin^c structure on an oriented Riemannian manifold is formally a lift of the principal SO(n) frame bundle to a principal extension by U(1), combining features of the Spin group and the circle group; it exists exactly when the second Stiefel–Whitney class w_2 of the tangent bundle is the mod 2 reduction of an integral class. The obstruction and existence criteria tie Spin^c structures to characteristic classes such as the Chern class and to cohomology operations studied in Élie Cartan-inspired algebraic topology. Spin^c structures admit associated complex spinor bundles carrying Clifford module structures used in defining Atiyah–Singer style index problems and in formulating Dirac-type operators important to Michael Atiyah, Isadore Singer, and Edward Witten's work.

Construction and group structure

The group Spin^c(n) is constructed as the quotient (Spin(n) × U(1))/±1, where ±1 is embedded diagonally; this construction parallels central extensions used by Élie Cartan and is intimately related to covering groups studied by Hermann Weyl and Émile Picard. The short exact sequences linking Spin^c(n) to Spin(n) and U(1) fit into commutative diagrams with homomorphisms to SO(n) and to U(1), and these sequences are exploited in classifying lifts of structure groups in the sense of Charles Ehresmann and Shiing-Shen Chern. Representation theory of Spin^c(n) yields complex spinor representations used by Paul Dirac and later by Roger Penrose and Shing-Tung Yau in geometric analysis.

Spin^c structures on manifolds

A Spin^c structure on an oriented n-manifold M is equivalently a pair consisting of a principal Spin^c(n)-bundle together with an isomorphism to the frame bundle reduced to SO(n); existence depends on lifting w_2(TM) to an integral class, a phenomenon analyzed in the context of obstruction theory by Samuel Eilenberg and Norman Steenrod. Choices of Spin^c structures form a torsor under H^2(M; Z), paralleling descriptions of line bundles studied by André Weil and Kunihiko Kodaira. In dimension four, Spin^c structures are pivotal in the study of smooth structures on four-manifolds explored by Simon Donaldson and in the formulation of Seiberg–Witten invariants introduced by Edward Witten that revolutionized classification problems related to Freedman–Donaldson theory.

Characteristic classes and associated bundles

Associated to a Spin^c structure is a canonical complex line bundle whose first Chern class c_1 reduces mod 2 to w_2(TM); the interplay between c_1, w_2, and the Pontryagin classes appears in index formulae by Michael Atiyah and Isadore Singer. The spinor bundles associated to irreducible representations of Spin^c(n) are vector bundles carrying Clifford actions used in Dirac operators appearing in work by Paul Dirac and Alain Connes. The determinant line bundle and its Chern class enter Seiberg–Witten equations and the computation of invariants by Peter Kronheimer and Tomasz Mrowka and are used in constructions in K-theory by Max Karoubi and Daniel Quillen.

Examples and applications

Common examples include every oriented complex manifold via its canonical complex structure and canonical Spin^c structure related to the Dolbeault cohomology context studied by Kunihiko Kodaira and Jean-Pierre Serre; all almost-complex manifolds admit natural Spin^c structures exploited in work by Gromov on symplectic topology and by Yau in Calabi–Yau geometry. Lens spaces, complex projective spaces such as CP^n, and many three-manifolds considered by William Thurston admit Spin^c structures used in Floer homology by András Stipsicz and Peter Ozsváth and Zoltán Szabó in Heegaard Floer theory. In mathematical physics, Spin^c structures provide the setting for coupling fermions to electromagnetic fields in gauge theories studied by Paul Dirac, Richard Feynman, and Gerard 't Hooft, and they underpin anomalies and quantization conditions investigated by Edward Witten and Alain Connes.

Relations to Spin and U(1) bundles

Spin^c structures generalize Spin structures: a manifold admits a Spin structure iff a Spin^c structure exists with trivial determinant line bundle, linking to classifications of principal bundles studied by Claude Chevalley and Chevalley–Eilenberg style cohomology; conversely, given a Spin structure one can obtain Spin^c structures by tensoring with principal U(1)-bundles classified by H^2(M; Z) as in work by André Weil on line bundles. Exact sequences of groups and the associated long exact sequences in cohomology connect Spin, SO, and U(1) data in ways exploited by researchers such as Michael Atiyah and Isadore Singer in index-theoretic calculations and by Simon Donaldson in gauge-theoretic applications.

Category:Differential topology