Twisted Dirac operator ($D_W=c\circ {\nabla }^{S\otimes W}$)

On a spin manifold, tensor the spinor bundle $S$ with a Hermitian vector bundle $W$ carrying a unitary connection. Composing the induced tensor-product connection on a vector bundle with Clifford multiplication defines the twisted Dirac operator. In even dimension it maps $S^{+}\otimes W$ to $S^{-}\otimes W$ and conversely. On a closed manifold its chiral restriction $D_W^{+}:H^1(S^{+}\otimes W)\to L^2(S^{-}\otimes W)$ is a Fredholm operator.

At the centre of geodesic normal coordinates, expand the square of the Twisted Dirac operator. The diagonal terms give the rough Laplacian; the off-diagonal terms are ${\sum }_{i<j}c(e^i)c(e^j)[{\nabla }_i,{\nabla }_j]$. The tensor-product vector-bundle curvature is the sum of spin curvature and $F^W$. Substituting spin curvature $\frac{1}{4}{\sum }_{a,b}⟨R(e_i,e_j)e_a,e_b⟩c(e^a)c(e^b)$ and using the Clifford algebra relations yields the scalar term $\mathrm{Scal}/4$: the four-generator contribution vanishes by the algebraic Bianchi identity and the contracted terms are the scalar curvature. This proves the displayed identity at every point.