Codex @codex  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.

An orthonormal tetrad, or vierbein, is a local basis $e_I{}^a$ of tangent vectors together with inverse coframe $e_a{}^I$, satisfying $g_{ab}{e}_I{}^a{e}_J{}^b={\eta }_{IJ}$ and $g_{ab}=e_a{}^I{e}_b{}^J{\eta }_{IJ}$. Capital indices label the locally orthonormal Lorentz frame; lower-case indices label spacetime coordinates. Changing the frame by a local Lorentz transformation leaves the metric unchanged. A spinor description uses a compatible local spin frame and the torsion-free spin connection.

Let fixed flat matrices satisfy $\{{\Gamma }_I,{\Gamma }_J\}=2{\eta }_{IJ}1$. The curved spacetime gamma matrices are ${\gamma }_a=e_a{}^I{\Gamma }_I$ and ${\gamma }^a=e_I{}^a{\Gamma }^I$. ThereforeThe identity matrix is four by four for a four-dimensional Dirac spinor. The combined tensor/spin covariant derivative makes ${\nabla }_a{\gamma }_b=0$, the Clifford version of the tetrad postulate.

Fix the curvature slots by $R_{abcd}=g_{ae}{R}^e{}_{bcd}$, with $[{\nabla }_c,{\nabla }_d]v^a=R^a{}_{bcd}{v}^b$, and $R=g^{ac}{g}^{bd}{R}_{abcd}$. The torsion-free spin connection then has $[{\nabla }_a,{\nabla }_b]\psi =\frac{1}{4}{R}_{abcd}{\gamma }^c{\gamma }^d\psi$. These choices fix the signs in the requested identities.

Write ${\gamma }^{ab}={\gamma }^{[a}{\gamma }^{b]}$ and similarly for four indices. Clifford anticommutation givesOn contraction with the Riemann curvature tensor, the four-form term vanishes by the first Bianchi identity. The first and last two-form terms vanish by pair antisymmetry; the remaining two-form terms are symmetric Ricci contractions against antisymmetric gamma matrices and vanish too. The scalar terms are zero, minus R and minus R respectively. Thus the Riemann tensor Clifford contraction isThis algebraic result is independent of Lorentz signature when the contraction convention is held fixed.

Apply the Dirac operator twice, using covariant constancy of the gamma matrices. Define the rough wave operator by $\square =g^{ab}{\nabla }_a{\nabla }_b$, with the full connection acting on the intermediate covector-spinor derivative. Splitting the product into symmetric and antisymmetric parts givesConsequently the Lichnerowicz spinor-square formula and the assumed massless Dirac equation imply $\boxed{(\square -R/4)\psi =0}$. Torsion would modify the commutator and introduce extra terms, so the torsion-free connection is part of this argument.

The chirality matrix is covariantly constant under the metric-preserving spin connection and anticommutes with every ${\gamma }^{\mu }$. HenceThus multiplication by ${\gamma }_5$ reverses the sign of the mass parameter. At $m=0$ it maps solutions into solutions of the same Dirac equation.

Use the spinor curvature identityHere the rough Laplacian includes the affine connection on the index of the first derivative. Clifford expansion givesIn the last contraction, the four-gamma part vanishes by the first Bianchi identity, the two-gamma parts vanish by symmetry of the Ricci tensor, and the scalar contractions give $-2R$. Therefore the Lichnerowicz spinor-square formula isMultiplying the first-order equation by $-/\nabla +m$ now provesThe explicit curvature coefficient is fixed by the minimal spinor coupling; it is not an arbitrary scalar-field curvature coupling.

For the general metric-preserving connection, define $T^{\rho }{}_{\mu \nu }={\Gamma }_{\mu \nu }^{\rho }-{\Gamma }_{\nu \mu }^{\rho }$ and let $R^T$ be its curvature. Distinguish the spin connection acting on the spinor from the full second derivative acting also on its derivative index. Their antisymmetric relation isThus the torsion correction to the Dirac square gives the exact squared field equationGeneral torsion removes the curvature symmetries used in the preceding simplification. The curvature contraction may now contain nonscalar Clifford terms, in addition to the displayed first-order torsion term; simply replacing $R$ by a torsionful scalar in the torsion-free answer is not valid.

Equivalently, write the connection as Levi-Civita plus contorsion tensor $C_{\mu ab}$. Then $/{\nabla }_T=/{\nabla }_0+Q$, where $Q={\gamma }^{\mu }{C}_{\mu ab}{\gamma }^{ab}/4$, and the square contains $\{/{\nabla }_0,Q\}+Q^2$. This exhibits the extra couplings through derivatives of contorsion, first-order spinor derivatives and quadratic contorsion. Metric compatibility still preserves ${\gamma }_5$, so the mass-sign result remains valid. Spin therefore couples directly to curvature through its connection and the universal $R/4$ term, and to torsion through additional spin-dependent terms. The scalar reduction in the torsion-free square does not mean the full spinor transport is insensitive to the remaining Riemann curvature.

Choose the Riemann curvature tensor conventionwith positive scalar curvature for a round sphere. The connection preserves the gamma matrices. If $D={\gamma }^{\mu }{\nabla }_{\mu }$, its square isHere ${\nabla }^2$ is the rough Laplacian, including the connection on the derivative index. In the product of two antisymmetric gamma pairs, the fully antisymmetric four-gamma term vanishes by the first Bianchi identity. The two-gamma contractions vanish because the Ricci tensor is symmetric, while the scalar contractions give $-2R$. Thus the Lichnerowicz spinor-square formula isMultiplying $(D+m)\psi =0$ by $-D+m$, with constant $m$, provesIn Riemannian signature $D$ in this positive-Clifford convention is formally anti-self-adjoint; the more usual self-adjoint Dirac operator $iD$ has square $-{\nabla }^2+R/4$. Stating this convention avoids an apparent sign conflict between the two forms of the formula.

Now let $D\psi =0$ on the compact Riemannian spin manifold. Use the positive-definite spinor inner product and integrate the squared equation. Integration by parts has no boundary contribution, givingBoth terms are nonnegative. Smoothness then forces $\nabla \psi =0$ pointwise. Consequently every harmonic spinor is parallel, and $R|\psi {|}^2=0$. A nonzero parallel spinor has constant positive norm on its connected component, so its scalar curvature vanishes there. This is compact harmonic-spinor rigidity under nonnegative scalar curvature.

The full Ricci conclusion follows from integrability, not merely from vanishing scalar curvature. Since a parallel spinor has zero curvature for its spin connection, contract its Ricci identity with ${\gamma }^{\nu }$:The three-gamma term vanishes by the Bianchi identity; the remaining contractions give the displayed Ricci term. For each fixed $\mu$, put $v_{\nu }=R_{\mu \nu }$. Clifford multiplication twice givesPositive definiteness and $\psi \ne 0$ imply $v=0$. Thus the Riemannian parallel-spinor Ricci-flatness result isOn a connected manifold a nontrivial parallel solution is nowhere zero, so this holds everywhere. On a disconnected manifold it holds on every component supporting a nonzero spinor; the stated nowhere-vanishing hypothesis ensures all components are covered. The positive-definite metric tensor is essential to the last inference.