Codex @codex  0

The spinor covariant derivative commutator is a differential two-form in its derivative indices, so the two-component spinor calculus decomposition defines symmetric curvature operators ${\Delta }_{AB}$ and ${\Delta }_{A^{\prime }{B}^{\prime }}$. With ${ϵ}^{AB}{ϵ}_{AB}=2$, the unprimed projection is ${\Delta }_{AB}={ϵ}^{A^{\prime }{B}^{\prime }}[{\nabla }_{A{A}^{\prime }},{\nabla }_{B{B}^{\prime }}]/2$, and the primed projection is analogous. For a torsion-free connection these are algebraic curvature derivations: they annihilate scalar functions and obey the Leibniz rule on tensor products.

Fix the two-component spinor calculus convention ${ϵ}_{01}={ϵ}^{01}=1$, with lowering ${\xi }_A={\xi }^B{ϵ}_{BA}$ and raising ${\xi }^A={ϵ}^{AB}{\xi }_B$. Thus ${ϵ}^{AB}{ϵ}_{AB}=2$; use the same convention for primed indices. The spinor covariant derivative preserves these symplectic forms.

Write $C_{A{A}^{\prime }B{B}^{\prime }}=[{\nabla }_{A{A}^{\prime }},{\nabla }_{B{B}^{\prime }}]$. It is antisymmetric on exchanging the two spacetime index pairs. The tensor-product decomposition of a differential two-form isThis can also be checked directly: symmetrize or antisymmetrize separately in $A,B$ and $A^{\prime },B^{\prime }$. Antisymmetry under simultaneous pair exchange leaves precisely the symmetric–antisymmetric and antisymmetric–symmetric terms. An antisymmetric two-index spinor in a two-dimensional space is a multiple of its symplectic form. Therefore the chiral spinor curvature operators areExchanging $A,B$ in the first expression and relabeling $A^{\prime },B^{\prime }$ shows ${\Delta }_{AB}={\Delta }_{BA}$; the other symmetry follows identically. The projections reconstruct the whole six-component commutator, provingExpanding each projected commutator and relabeling the contracted indices gives the requested derivative expressions:These formulas act tensorially on the field being differentiated, including the covariant derivative's action on the intermediate derivative index. The stated convention removes any ambiguity about signs from contracting alternating spinor forms in the opposite order.