This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Spin^c manifold | |
|---|---|
| Name | Spin^c manifold |
| Type | Geometric structure |
| Field | Differential geometry, Algebraic topology |
| Related | Spin manifold, Complex manifold, Dirac operator |
Spin^c manifold
A Spin^c manifold is a smooth manifold equipped with a Spin^c structure, combining features of Élie Cartan's spin groups and Complex number-linear geometry to permit Dirac-type operators on oriented manifolds that need not be Spin. Spin^c structures play central roles in the work of Michael Atiyah, Isadore Singer, Edward Witten, and Jean-Michel Bismut relating topology, index theory, and gauge-theoretic invariants. They connect with results and concepts developed in contexts such as the Atiyah–Singer index theorem, Seiberg–Witten theory, and applications in Donaldson theory and K-theory.
A Spin^c structure on an oriented n-manifold M is defined via a lift of the oriented orthonormal frame principal bundle from SO(n) to the group Spin^c(n), a nontrivial central extension involving U(1). The existence condition is controlled by the second Stiefel–Whitney class w2(M) and an integral class that refines w2 to a characteristic class with values in H^2(M;Z). For compact M, Spin^c structures form a torsor over H^2(M;Z), while automorphisms relate to U(1) gauge transformations familiar from Yang–Mills theory. Spin^c manifolds admit canonical associated complex line bundles and determinant line bundles that interplay with constructions in Chern–Weil theory and Hermitian geometry.
A Spin^c structure is equivalently a principal Spin^c(n)-bundle P over M together with an equivariant bundle map P→F_SO(M) covering the identity, where F_SO(M) denotes the oriented orthonormal frame bundle. The group Spin^c(n) fits into an exact sequence 1→U(1)→Spin^c(n)→SO(n)→1, echoing extensions studied by Hermann Weyl and Élie Cartan. Given a choice of principal U(1)-bundle L, one forms the fiber product P×_{U(1)}Spin(n) producing a principal Spin(n)-bundle when the obstruction vanishes; this construction is analogous to passages in the work of Marcel Berger and Bertram Kostant on holonomy and lifting problems. Gauge-theoretic moduli spaces for connections on determinant line bundles are central in the literature of Clifford algebra bundles and spinor modules used in geometric analysis by authors such as Patodi and Gilkey.
Obstructions to Spin^c structures are expressed in characteristic classes: w2(M) must be the mod 2 reduction of an integral class c1(L) where L is the determinant line bundle. This condition refines phenomena analyzed by W. V. D. Hodge and incorporated into the framework of Chern classes, Stiefel–Whitney classes, and Pontryagin classes. The first Chern class c1(L) lives in H^2(M;Z) and its interaction with cup product and intersection form invariants influences classification and surgery results as in work by C. T. C. Wall and William Browder. The Bockstein homomorphism and exact sequences in cohomology theories mediate relations visible in calculations by Rochlin and extensions in spin cobordism.
Many familiar manifolds admit Spin^c structures: all oriented two-manifolds such as Riemann surfaces and complex curves; complex manifolds including complex projective space CP^n and Kähler manifolds; and odd-dimensional spheres studied by Henri Poincaré and J. H. C. Whitehead. Nontrivial examples and obstructions appear in real projective space RP^n and exotic spheres considered by John Milnor and Michel Kervaire. Classification results tie into Kirby calculus for 4-manifolds, results of Freedman and Kirby, and examinations of orientable 3-manifolds in the work of William Thurston and Culler–Shalen theory.
Spin^c structures interpolate between Spin structures and complex structures: every Spin manifold admits a canonical family of Spin^c structures via trivial determinant bundles, while every almost complex manifold carries a natural Spin^c structure coming from its canonical line bundle. This relation has been exploited by Raoul Bott, Shing-Tung Yau, and Simon Donaldson to transfer analytical techniques between complex geometry and low-dimensional topology settings. In four dimensions, the interplay underpins comparisons between Seiberg–Witten invariants and Donaldson invariants, reflecting deep structural parallels explored by Kronheimer and Mrowka.
Given a Spin^c structure, one constructs associated complex spinor bundles and a canonical Dirac operator D acting on sections; its analytical index is computed by the Atiyah–Singer index theorem using characteristic classes like Â-genus and the Chern character ch(L). Index-theoretic techniques developed by Atiyah, Singer, Bott, Hirzebruch, and Patodi analyze spectral flow, eta invariants, and anomalies as in the physics literature of Edward Witten and Alford Gross Wilczek. Families index theorems and equivariant versions invoked by Segal and Guillemin–Sternberg apply in the presence of group actions such as those from Lie group symmetries and torus actions studied by Atiyah–Bott localization.
Spin^c structures are indispensable in modern geometry and topology: they enable the definition of Seiberg–Witten equations central to four-manifold classification, influence Floer homology constructions by András Stipsicz and Zoltán Szabó, and appear in the study of symplectic manifolds following Dusa McDuff and Dietmar Salamon. In mathematical physics, Spin^c frameworks clarify anomalies and quantization in quantum field theory and string-inspired models by Edward Witten and Michael Green. They also arise in index-theoretic obstructions to positive scalar curvature studied by Gromov and Lawson, and in K-theoretic formulations advanced by Max Karoubi and Daniel Quillen.