We develop a spinor calculus, by means of which we encode the geometric properties of Nξ corresponding to the algebraic properties of the intrinsic torsion of the P-structure. This is the failure of the Levi-Civita connection ∇ of g to be compatible with the P-structure. In a similar way, we examine the algebraic properties of the curvature of ∇.
Applications to spinorial differential equations are given. In particular, we give necessary and sufficient conditions for the almost null structure associated to a pure conformal Killing spinor to be integrable. We also conjecture a Goldberg–Sachs-type theorem on the existence of a certain class of almost null structures when (M,g) has prescribed curvature.
We discuss applications of this work to the study of real pseudo-Riemannian manifolds.