Dirac operator

The Dirac operator differentiates spinor fields while encoding the metric through Clifford multiplication. On a Riemannian spin manifold, it is commonly written D = Σ c(e_j)∇_ej, where the e_j form a local orthonormal frame, c denotes Clifford multiplication, and ∇ is a compatible spin connection. Although the formula uses a frame, the resulting operator is intrinsic. In the flat case, its form reduces to the spatial part of the relativistic Dirac equation, while on a curved manifold the connection records how spinors change from point to point.

The operator acts on sections of a spinor bundle, not ordinarily on scalar functions. Its principal symbol is Clifford multiplication by a cotangent vector, and this symbol is invertible away from the zero section; consequently, the Dirac operator is elliptic in the Riemannian setting.¹

The square of a Dirac operator is a Laplace-type operator corrected by scalar curvature and, when present, twisting curvature. The basic identity, often called the Lichnerowicz formula, is D² = ∇*∇ + R/4 for the untwisted operator, with R the scalar curvature.² This relation connects spectral information to geometry: estimates on D can constrain harmonic spinors, and positivity of scalar curvature can force vanishing results.

On a compact manifold, ellipticity gives the Dirac operator a discrete spectrum under standard self-adjoint conditions. In even dimensions the spinor bundle splits into positive and negative chirality parts, and D exchanges them. The resulting chiral operator D⁺ has an integer index, defined as the dimension of its kernel minus that of its cokernel. On noncompact spaces, boundary conditions and behavior at infinity become essential, and the spectrum may acquire continuous parts.

The index of a chiral Dirac operator is a topological quantity calculated by characteristic classes, not merely by solving the differential equation. The Atiyah–Singer index theorem identifies the analytic index with a topological expression involving the A-hat genus of the tangent bundle and the Chern character of an auxiliary bundle.³ This was one of the landmark links between elliptic analysis, differential geometry, and topology.

In mathematical physics, Dirac operators describe relativistic fermions and enter the formulation of anomalies, supersymmetry, and gauge theory. Coupling the operator to a gauge connection produces a twisted Dirac operator; its index counts chiral zero modes and can remain stable under continuous changes of the metric or connection. On manifolds with boundary, the Atiyah–Patodi–Singer framework adds a spectral boundary correction, including the eta invariant, to the index formula.

Several important variants arise from changing the underlying geometric data rather than the differential order. A spin^c structure permits Dirac operators when an ordinary spin structure does not exist; the associated operator is fundamental in Seiberg–Witten theory. Twisting by a vector bundle introduces gauge fields, while real or quaternionic structures impose additional symmetry on the spectrum.

Dirac operators also appear beyond ordinary smooth manifolds. On a foliation, an orbifold, or a noncommutative space, an appropriately defined operator can retain a symbol, a Fredholm index, and spectral information about the underlying geometry.⁴ In noncommutative geometry, the operator is part of a spectral triple, where an algebra, a Hilbert space, and a self-adjoint operator jointly encode geometric distance and differential structure. These extensions preserve the central idea: first-order Clifford-compatible differentiation can serve as a bridge between local geometry and global invariants.

Clifford multiplication

The action of a tangent or cotangent vector on a spinor subject to the Clifford algebra relations.

Spinor bundle

A vector bundle whose fibers carry a representation of the Clifford algebra associated with a Riemannian or pseudo-Riemannian manifold.

Elliptic operator

A differential operator whose principal symbol is invertible away from the zero cotangent vector.

Lichnerowicz formula

The identity expressing the square of the untwisted Dirac operator as a connection Laplacian plus one quarter of scalar curvature.

Eta invariant

A spectral asymmetry invariant used in index formulas for manifolds with boundary.