Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)verified 2026-11-04 (gpt-6.1-sol)
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 π:X→B be a smooth proper submersion of finite-dimensional Hausdorff second-countable manifolds without boundary, with compact fibers of constant dimension n. Its vertical tangent bundle is TvX=ker⁡(dπ). A Riemannian structure on π is a smooth positive-definite metric gTvX on TvX and a smooth horizontal distribution THX⊂TX complementary to TvX. A smooth metric gTB exists on B by a smooth partition of unity and is used only as an auxiliary choice. Make THX orthogonal to TvX and give it the pulled-back metric, obtaining gTX=gTvX⊕π∗gTB. If ∇TX is its Levi-Civita connection and Pv:TX→TvX is orthogonal projection, define ∇VTvXW=Pv(∇VTXW) for vector fields V on X and vertical vector fields W. The Koszul formula shows that this connection is independent of gTB and restricts to the Levi-Civita connection on each fiber.

A Spin-c structure s is a principal Spin⁡c(n) lift Pc of the oriented orthonormal frame bundle PSO(TvX). Write Spin⁡c(n)=(Spin⁡(n)×U(1))/⟨(−1,−1)⟩, let ρ:Spin⁡(n)→SO(n) be the vector representation, and let χ([q,z])=z2. Its determinant line is L=Pc×χC. The homomorphism [q,z]↦(ρ(q),z2) to SO(n)×U(1) has invertible derivative. The metric connection ∇TvX and a unitary connection ∇L on L therefore determine a unique principal connection on Pc projecting to their product. The associated spinor representation is [q,z]↦zΔn(q), where Δn is the complex spin representation with Clifford convention c(v)c(w)+c(w)c(v)=−2g(v,w). It gives the induced spinor connection, whose central curvature is F∇L/2 because the determinant character is z2.

In the Freed–Lott geometric model, a differential Spin-c orientation is the tuple (s,gTvX,THX,∇L) with these conventions. On each fiber, the vertical Dirac operator is Db=∑jc(ej)∇ejS 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

Todd⁡(∇TvX,∇L)=A^(∇TvX)∧exp⁡ ⁣(−F∇L4πi).

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.

Remarks

The horizontal distribution identifies TX with TvX⊕THX and therefore specifies the geometric family connection. The Todd normalization uses c1(∇L)=−F∇L/(2πi) and the Spin-c factor ec1/2. This is the convention ch⁡(∇)=tr⁡e−F∇/(2πi); the central Spin-c weight is one, so its spinor curvature contributes F∇L/2 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

Dependency tree · 2 levels

Sources