Spinor bundle - Imported Knowlpedia Content

Definition

Let $(M,g)$ be an oriented Riemannian $n$ -manifold equipped with a spin structure $P_{\mathrm{Spin}}(M)\to M$ , and let $\Delta_n$ be a real or complex spinor module, restricted to its spin representation of $\mathrm{Spin}(n)$ . The corresponding spinor bundle is the associated vector bundle

S=P_{\mathrm{Spin}}(M)\times_{\mathrm{Spin}(n)}\Delta_n.

The compatible Clifford action on $\Delta_n$ makes $S$ a Clifford module bundle: each tangent vector or covector acts fiberwise by Clifford multiplication. A choice of spinor module and scalar field is part of the construction, so “the spinor bundle” is convention-dependent unless these choices are understood.

Construction from frames

The spin structure is a principal $\mathrm{Spin}(n)$ -bundle together with a two-to-one equivariant map to the oriented orthonormal frame bundle. Passing from a spin frame $p$ and a spinor $\psi\in\Delta_n$ to the equivalence class

[p,\psi]=[pg,\rho(g)^{-1}\psi]

produces the fiber of $S$ over the base point of $p$ . Using the alternative associated-bundle convention changes the location of the inverse but gives an isomorphic construction when used consistently.

Chirality in even dimension

For even $n$ , the complex spin representation has a natural chirality decomposition

\Delta_n=\Delta_n^+\oplus\Delta_n^-,

and hence

S=S^+\oplus S^-.

Clifford multiplication by a tangent vector exchanges $S^+$ and $S^-$ . In odd dimension the standard irreducible complex spinor bundle has no analogous intrinsic chiral splitting; imposing an artificial doubling is additional data.

Connection and Dirac operator

The Levi-Civita connection lifts through the spin structure to a covariant derivative

\nabla^S:\Gamma^\infty(S)\to\Gamma^\infty(T^*M\otimes S).

Composing it with Clifford multiplication gives the spin Dirac operator

D=c\circ\nabla^S.

On a closed manifold, $D$ with initial domain $C^\infty(S)\subset L^2(S)$ is symmetric and essentially self-adjoint. Its closure is self-adjoint, with domain the first Sobolev space $H^1(S)$ , and is the operator in the canonical commutative spectral triple.

Variants

A $\mathrm{Spin}^c$ structure produces a complex spinor bundle using a representation of $\mathrm{Spin}^c(n)$ ; it does not require an ordinary spin structure. Depending on dimension and signature, spin representations may also admit real or quaternionic structures. These variants should not be identified with the complex Riemannian spinor bundle without stating the relevant structure group and representation.

References

H. Blaine Lawson Jr. and Marie-Louise Michelsohn, Spin Geometry, Princeton University Press, 1989. DOI record. Relevant: Chapter II, spinor bundles and Dirac operators.
Nicole Berline, Ezra Getzler, and Michèle Vergne, Heat Kernels and Dirac Operators, Springer, 1992. DOI record. Relevant: Chapter 3, Clifford modules and Dirac operators.