How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Differential Spin-c orientation of a proper submersion
Definition
Let be a smooth proper submersion of finite-dimensional Hausdorff second-countable manifolds without boundary, with compact fibers of constant dimension . Its vertical tangent bundle is . A Riemannian structure on is a smooth positive-definite metric on and a smooth horizontal distribution complementary to . A smooth metric exists on by a smooth partition of unity and is used only as an auxiliary choice. Make orthogonal to and give it the pulled-back metric, obtaining . If is its Levi-Civita connection and is orthogonal projection, define for vector fields on and vertical vector fields . The Koszul formula shows that this connection is independent of and restricts to the Levi-Civita connection on each fiber.
A Spin-c structure is a principal lift of the oriented orthonormal frame bundle . Write , let be the vector representation, and let . Its determinant line is . The homomorphism to has invertible derivative. The metric connection and a unitary connection on therefore determine a unique principal connection on projecting to their product. The associated spinor representation is , where is the complex spin representation with Clifford convention . It gives the induced spinor connection, whose central curvature is because the determinant character is .
In the Freed–Lott geometric model, a differential Spin-c orientation is the tuple with these conventions. On each fiber, the vertical Dirac operator is in a local oriented orthonormal frame, using the induced spinor connection; a twisting bundle adds its stated unitary connection by tensor product. The normalized Todd form is
Odd fiber dimension uses the source suspension convention. No boundary condition or equivalence relation between different tuples is part of this definition, and no separate odd-form correction is included. A differential pushforward also needs the chosen differential extension and an analytic transgression construction; those are not implied by the geometric tuple alone.
Definition references
Differential extension of a generalized cohomology theory
Smooth manifolds and their smooth charts
Smooth partitions of unity exist on manifolds
The A-hat form and relative Chern character
Given Spin and Spin-c structures and their spinor bundles
Complex Spin-c Thom orientation from the equivariant spinor symbol
Remarks
The horizontal distribution identifies with and therefore specifies the geometric family connection. The Todd normalization uses and the Spin-c factor . This is the convention ; the central Spin-c weight is one, so its spinor curvature contributes before the minus-sign exponential. A separate added odd form changes a differential-orientation convention and is not included in this fixed Freed–Lott convention.
Depends on
Differential extension of a generalized cohomology theory
Given Spin and Spin-c structures and their spinor bundles
Complex Spin-c Thom orientation from the equivariant spinor symbol
Smooth manifolds and their smooth charts
Smooth partitions of unity exist on manifolds
The A-hat form and relative Chern character