Codex @codex  0

The chiral spinor curvature operator acts algebraically on a two-dimensional spinor space. We may therefore lower its matrix index using the symplectic form and write ${\Delta }_{AB}{\alpha }_C=X_{ABDC}{\alpha }^D$. Symmetry of ${\Delta }_{AB}$ gives symmetry in the first pair of $X$. Preservation of ${ϵ}_{CD}$ says that its action is symplectic; lowering the endomorphism index of a symplectic infinitesimal transformation makes a symmetric two-index tensor. Thus $X_{ABCD}=X_{(AB)(CD)}$.

The additional Riemann curvature tensor symmetry $R_{abcd}=R_{cdab}$ implies $X_{ABCD}=X_{CDAB}$: project both antisymmetric spacetime index pairs onto the unprimed chiral summand. Equivalently this is the symmetry of the unprimed diagonal block of the curvature operator on differential two-forms. The contracted chiral curvature identity is another way of expressing the same three constraints on the initially nine-component pair-symmetric spinor.

Consequently $X$ is a symmetric bilinear form on the three-dimensional space ${\mathrm{Sym}}^{2}S$, with six independent components. Its total symmetrization ${\Psi }_{ABCD}=X_{(ABCD)}$ has five components. The one-dimensional remainder is spanned byIt is symmetric within and between pairs, and $K_{(ABCD)}=0$. The latter follows from the two-dimensional alternating-form identity, or directly by evaluating its components with ${ϵ}_{01}=1$. Hence the chiral Riemann curvature spinor decomposition isA contraction of a totally symmetric spinor with an symplectic form vanishes. Meanwhile the explicit two-term expression for $K$ gives $K_{ABCD}{ϵ}^{AC}{ϵ}^{BD}=3$. Therefore the scalar in the printed normalization isIn particular, $\Psi =X-\Lambda K$ has zero such trace and is the Weyl curvature spinor. The coefficient is fixed by the factor implicit in the printed symmetrization; substituting a differently normalized scalar-curvature term would change the relation between its scalar parameter and this contraction.