Compact harmonic-spinor rigidity under nonnegative scalar curvature ($/\nabla \psi =0⟹\nabla \psi =0$)

On a compact boundaryless Riemannian spin manifold with $R\ge 0$, integrating the Lichnerowicz spinor-square formula against a harmonic spinor gives $\int (|\nabla \psi {|}^2+R|\psi {|}^2/4)=0$. Positivity forces the spinor to be parallel. Its norm is constant on each connected component, so a nontrivial solution is nowhere zero there. Strictly positive scalar curvature at any point on such a component excludes nonzero harmonic spinors.

A parallel spinor has zero spin curvature. Contracting the spinorial Ricci identity with a gamma matrix gives $R_{\mu \nu }{\gamma }^{\nu }\psi =0$. For each fixed $\mu$, squaring Clifford multiplication by that Ricci row gives $|R_{\mu \cdot }{|}^2\psi =0$. Riemannian positivity and a nonzero spinor force every row to vanish. This implication is local and does not itself require compactness; the compact hypothesis is used to obtain parallelism from harmonicity.