A new view of the ECSK theory with a Dirac spinor

A formulation of the ECSK (Einstein-Cartan-Sciama-Kibble) theory with a Dirac spinor is given in terms of differential forms with values in exterior vector bundles associated with a fixed principalSL(2, )-bundle over a 4-manifold. In particular, tetrad fields are represented as soldering forms. In this setting, both the scalar curvature (Einstein-Hilbert) action density and the Dirac action density are well-defined polynomial functions of the soldering form and an independentSL(2,)-connection form. Thus, these densities are defined even where the tetrad field is degenerate (e.g. when fluctuations in the gravitational field are large). A careful analysis of the initial-value problem (in terms of an evolving triad field, SU(2)-connection, second-fundamental form and spinor field) reveals a first-order hyperbolic system of 27 evolution equations (not including the 8 evolution equations for the Dirac spinor) and 16 constraints. There are 10 conservation equations (due to local Poincaré invariance) which team up with some of the evolution equations to guarantee that the 16 constraints are preserved under the evolution.