Lichnerowicz formula
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,
- [math]\displaystyle{ D^2\psi = \nabla^*\nabla\psi + \frac{1}{4}\operatorname{Sc}\psi }[/math]
where Sc denotes the scalar curvature and [math]\displaystyle{ \nabla^*\nabla }[/math] is the connection Laplacian. More generally, given a complex spin structure on a pseudo-Riemannian manifold M, a spinor bundle W± with section [math]\displaystyle{ \phi }[/math], and a connection A on its determinant line bundle L, the Lichnerowicz formula is
- [math]\displaystyle{ D_{A}^{*}D_{A}\phi=\nabla _A^{*}\nabla_{A}\phi+\frac{1}{4}R\phi+\frac{1}{2}\langle F_{A}^{+},\phi\rangle. }[/math]
Here, [math]\displaystyle{ D_A }[/math] is the Dirac operator [math]\displaystyle{ D_A:\Gamma (W^+)\to \Gamma (W^-), }[/math] and [math]\displaystyle{ \nabla _A }[/math] is the covariant derivative associated with the connection A, [math]\displaystyle{ \nabla _A: \Gamma (W^+)\to \Gamma(W^+\otimes T_M^*) }[/math]. [math]\displaystyle{ R }[/math] is the usual scalar curvature (a contraction of the Ricci tensor) and [math]\displaystyle{ F_A^+ }[/math] is the self-dual part of the curvature of A. The asterisks denote the adjoint of the quantity and the brackets [math]\displaystyle{ \langle , \rangle }[/math] denote the Clifford action.
See also
- Weitzenböck formula
References
- Lichnerowicz, A. (1963), "Spineurs harmoniques", C. R. Acad. Sci. Paris 257: 7-9, https://gallica.bnf.fr/ark:/12148/bpt6k4007z/f7.item
- 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
 |  |
