MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In the Euclidean setting, the Dirac operator was constructed so as to give the square of the Laplacian. Now for a K\"{a}hler manifold with a spin$^c$ structure we have the a corresponding Dirac operator $D$. Moreover, we have a Laplacian $(d+d^{\ast})$, where $d^{\ast}$ is the coadjoint $\ast d \ast $, for $\ast$ the Hodge $\ast$-mapping. Now in the case where the manifold is also symmetric we get a relationship between the square of the Dirac and the Laplacian that involves an extra curvature term. Does this extend to all K\"{a}hler manifolds, and if it does, what is the exact relationship?

share|cite|improve this question
I highly suspect you are just talking about the Weitzenbock identities? It extends to any spin manifold and all Riemannian manifolds. – Willie Wong Nov 19 '10 at 20:57
(also, $d + \delta$ is not the Laplacian. THe Hodge Laplacian is the "square" of that.) – Willie Wong Nov 19 '10 at 21:03
As Willie says, I think that you are talking about the Lichnerowicz formula for the Dirac operator. – José Figueroa-O'Farrill Nov 19 '10 at 21:15

This is a very general statement valid for any first order differential operator such that its square has the same principal symbol as a Laplacian. One can then prove that the square of that first order operator differs from the covariant Laplacian $\nabla^*\nabla$ by a zeroth order term. For more details, see the monograph of Berligne, Getzler, Vergne.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.