Definition

Let (M,g)(M,g) be an oriented with Φ:PSpinPSO\Phi:P_{\mathrm{Spin}}\to P_{\mathrm{SO}}, and let λ:Spin(n)SO(n)\lambda:\mathrm{Spin}(n)\to\mathrm{SO}(n) be the double covering. The spin connection is the unique ω~\widetilde\omega on PSpinP_{\mathrm{Spin}} satisfying

dλω~=ΦωLC,d\lambda\circ\widetilde\omega=\Phi^*\omega_{\mathrm{LC}},

where ωLC\omega_{\mathrm{LC}} is the on PSOP_{\mathrm{SO}}. Since dλ:spin(n)so(n)d\lambda:\mathfrak{spin}(n)\to\mathfrak{so}(n) is an isomorphism, this equation both defines the lift and proves its uniqueness. Thus the spin connection depends on the metric and the chosen spin structure.

Associated covariant derivative

For a complex spin representation Δn\Delta_n, the spin connection induces a S\nabla^S on the associated S=PSpin×Spin(n)ΔnS=P_{\mathrm{Spin}}\times_{\mathrm{Spin}(n)}\Delta_n. It is compatible with the spinor metric and :

XS(Yψ)=(XY)ψ+YXSψ.\nabla^S_X(Y\mathbin{\cdot}\psi) =(\nabla_XY)\mathbin{\cdot}\psi+Y\mathbin{\cdot}\nabla^S_X\psi.

This compatibility is the bridge from Riemannian parallel transport to the ; see Lawson–Michelsohn, Chapter II, §§4–5.

Curvature and local form

The curvature of ω~\widetilde\omega maps under dλd\lambda to the pullback of the Riemannian curvature form. In a local oriented orthonormal frame, if ωij\omega_{ij} are the Levi–Civita connection one-forms, then the induced spinor derivative has the familiar form

S=d+14i,jωijeiej.\nabla^S=d+\frac14\sum_{i,j}\omega_{ij}\,e_i\mathbin{\cdot}e_j.

The factor depends on summation conventions, but the invariant lifting equation in the core does not Friedrich, Chapters 2–3.

Examples and conventions

On with its standard spin structure and constant orthonormal frame, the spin connection form vanishes and S\nabla^S is ordinary differentiation. An arbitrary principal connection on PSpinP_{\mathrm{Spin}} is not the Riemannian spin connection unless it projects to ωLC\omega_{\mathrm{LC}}. In some physics texts “spin connection” denotes a connection built from a more general metric connection, possibly with torsion; the present knowl uses the canonical Levi–Civita convention.

References
  1. H. Blaine Lawson Jr. and Marie-Louise Michelsohn, Spin Geometry, Princeton University Press, 1989. Publisher record. Relevant: Chapter II, especially §§4–5 on spinors, connections, and Dirac operators.
  2. Thomas Friedrich, Dirac Operators in Riemannian Geometry, Graduate Studies in Mathematics 25, American Mathematical Society, 2000. Publisher record. Relevant: Chapters 2–3 and Appendix B.