This entry is about the article
Here is the quintessence of the article.
The article considers super fields valued in a βsingle, arbitrary, large enoughβ Grassmann algebra in the sense exposed in the book
In the following we shall not quite follow this, but make use of the observation that this really means that we are working over the sheaf topos on the site of superpoints, as described at super β-groupoid. This changes nothing about the actual computations and formulas, but somewhat strenghtens the conceptual background.
Let $\mathfrak{siso}(d,1)$ be the super Poincare Lie algebra in some dimension. The field configuration space of supergravity is the groupoid of Lie-algebra valued forms $\Omega^1(X, \mathfrak{siso})$ on a given spacetime manifold $X$. This is the super-groupoid that assigns to a given superpoint $\mathbb{R}^{0|q}$ with function algebra the Grassmann algebra $\Lambda_q$ the ordinary groupoid of Lie-algebra valued forms of the ordinary Lie algebra $(\mathfrak{g} \otimes \Lambda_q)_{even}$:
Its objects are the field configurations, its morphisms the gauge transformations. The collection of objects over $\mathbb{R}^{0|q}$ is the collection of dg-algebras homomorphims
where on the left we have the Weil algebra of $(\mathfrak{g} \otimes \Lambda_q)_{even}$. The Weil algebra is a free dg-algebra on the generators
$\{e^a \otimes (\Lamba_q^*)_{even} \}$
$\{\omega^{a b} \otimes (\Lamba_q^*)_{even} \}$
$\{\psi^{\alpha} \otimes (\Lamba_q^*)_{odd} \}$ .
Accordingly a field configuration over $\mathbb{R}^{0|q}$ is
the graviton given by
the vielbein $\{E^a_\mu : X \to (\Lambda_q)_{even}\}$;
the spin connection $\{\Omega_\mu{}^{a b} : X \to (\Lambda_q)_{even}\}$;
the gravitino given by $\Psi_\mu^\alpha : X \to (\Lambda_q)_{odd}$.
The Euler-Lagrange equations for these fields are schematically of the form
These are over each $\mathbb{R}^{0|q}$ equations in $C^\infty(X, \Lambda_q)$. In degree 0 in the Grassmann generators this is just the ordinary Einstein equaitons of gravity for the 0-Grassmann degree component of the fields. This is a well defined and causal Cauchy problem.
The observation now is: the equations can be solved by induction over the total number of Grassmann generators. In each step, the problem is a well-defined causal Cauchy problem in a version of ordinary gravity coupled to a bunch of extra fields.