The Lichnerowicz formula (also known as the Lichnerowicz–Weitzenböck formula) is a fundamental equation in the analysis of spinors on pseudo-Riemannian manifolds. In dimension 4, it forms a piece of Seiberg–Witten theory and other aspects of gauge theory. It is named after noted mathematicians André Lichnerowicz who proved it in 1963, and Roland Weitzenböck. The formula gives a relationship between the Dirac operator and the Laplace–Beltrami operator acting on spinors, in which the scalar curvature appears in a natural way. The result is significant because it provides an interface between results from the study of elliptic partial differential equations, results concerning the scalar curvature, and results on spinors and spin structures. Given a spin structure on a pseudo-Riemannian manifold M and a spinor bundle S, the Lichnerowicz formula states that on a section ψ of S,
D 2 ψ = ∇ ∗ ∇ ψ + 1 4 Sc ψ {\displaystyle D^{2}\psi =\nabla ^{*}\nabla \psi +{\frac {1}{4}}\operatorname {Sc} \psi }
where Sc denotes the scalar curvature and ∇ ∗ ∇ {\displaystyle \nabla ^{*}\nabla } is the connection Laplacian. More generally, given a complex spin structure on a pseudo-Riemannian manifold M, a spinor bundle W± with section ϕ {\displaystyle \phi } , and a connection A on its determinant line bundle L, the Lichnerowicz formula is
D A ∗ D A ϕ = ∇ A ∗ ∇ A ϕ + 1 4 R ϕ + 1 2 ⟨ F A + , ϕ ⟩ . {\displaystyle D_{A}^{*}D_{A}\phi =\nabla _{A}^{*}\nabla _{A}\phi +{\frac {1}{4}}R\phi +{\frac {1}{2}}\langle F_{A}^{+},\phi \rangle .}
Here, D A {\displaystyle D_{A}} is the Dirac operator D A : Γ ( W + ) → Γ ( W − ) , {\displaystyle D_{A}:\Gamma (W^{+})\to \Gamma (W^{-}),} and ∇ A {\displaystyle \nabla _{A}} is the covariant derivative associated with the connection A, ∇ A : Γ ( W + ) → Γ ( W + ⊗ T M ∗ ) {\displaystyle \nabla _{A}:\Gamma (W^{+})\to \Gamma (W^{+}\otimes T_{M}^{*})} . R {\displaystyle R} is the usual scalar curvature (a contraction of the Ricci tensor) and F A + {\displaystyle F_{A}^{+}} is the self-dual part of the curvature of A. The asterisks denote the adjoint of the quantity and the brackets ⟨ , ⟩ {\displaystyle \langle ,\rangle } denote the Clifford action.
See also Weitzenböck formula
References Lichnerowicz, A. (1963), "Spineurs harmoniques", C. R. Acad. Sci. Paris, 257: 7–9 Lawson, H. Blaine; Michelsohn, Marie-Louise (1989), Spin Geometry, Princeton University Press, ISBN 978-0-691-08542-5 LeBrun, Claude (2002), Einstein Metrics, 4-Manifolds & Differential Topology Scorpan, Alexandru (2005), The Wild World of 4-Manifolds, Providence, Rhode Island: American Mathematical Society
