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.
where Sc denotes the scalar curvature and is the connection Laplacian. More generally, given a complex spin structure on a pseudo-Riemannian manifold M, a spinor bundle W± with section , and a connection A on its determinant line bundle L, the Lichnerowicz formula is
Here, is the Dirac operator and is the covariant derivative associated with the connection A, . is the usual scalar curvature (a contraction of the Ricci tensor) and is the self-dual part of the curvature of A. The asterisks denote the adjoint of the quantity and the brackets denote the Clifford action.
- 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