nLab D'Auria-Fré-Regge formulation of supergravity

Contents

Context

Gravity

String theory

Physics

physics, mathematical physics, philosophy of physics

Surveys, textbooks and lecture notes


theory (physics), model (physics)

experiment, measurement, computable physics

\infty-Chern-Weil theory

Super-Geometry

Contents

Idea

The D’Auria-Fré-Regge formalism (due to Ne’eman & Regge 1978; D’Auria, Fré & Regge 1979, 80a, 80b, extensively developed by Castellani, D’Auria & Fré 1991) is a natural formulation of supergravity on “superspace” (with some hindsight: in higher super Cartan geometry) in general dimensions, including besides D=4 supergravity also type II supergravity and heterotic supergravity in dimension 10 as well as notably 11-dimensional supergravity.

This proceeds in generalization of how Einstein gravity in first order formulation of gravity is equivalently the Cartan geometry for the inclusion of the Lorentz group inside the Poincare group: a field configuration of the field of gravity is equivalently a Cartan connection for this subgroup inclusion.

Accordingly, low dimensional supergravity without extended supersymmetry is equivalently the super-Cartan geometry of the inclusion of the spin group into the super Poincaré group.

What D’Auria-Fré implicitly observe (not in this homotopy theoretic language though, that was developed in Sati, Schreiber & Stasheff 09; Fiorenza, Schreiber & Stasheff 10, 13) is that for higher supergravity with extended supersymmetry such as 11-dimensional supergravity with its M-theory super Lie algebra symmetry, the description of the fields is in the higher differential geometry version of Cartan geometry, namely higher Cartan geometry, where the super Poincare Lie algebra is replaced by one of its exceptional super Lie n-algebra extensions (those that also control the brane scan), such as notably the supergravity Lie 3-algebra and the supergravity Lie 6-algebra. This is the refinement of super-Cartan geometry to higher Cartan geometry.

This higher super Cartan geometry-description of supergravity is what D’Auria-Fré called the geometric approach to supergravity or geometric supergravity (e.g. D’Auria 20).

geometric contextgauge groupstabilizer subgrouplocal model spacelocal geometryglobal geometrydifferential cohomologyfirst order formulation of gravity
differential geometryLie group/algebraic group GGsubgroup (monomorphism) HGH \hookrightarrow Gquotient (“coset space”) G/HG/HKlein geometryCartan geometryCartan connection
examplesEuclidean group Iso(d)Iso(d)rotation group O(d)O(d)Cartesian space d\mathbb{R}^dEuclidean geometryRiemannian geometryaffine connectionEuclidean gravity
Poincaré group Iso(d1,1)Iso(d-1,1)Lorentz group O(d1,1)O(d-1,1)Minkowski spacetime d1,1\mathbb{R}^{d-1,1}Lorentzian geometrypseudo-Riemannian geometryspin connectionEinstein gravity
anti de Sitter group O(d1,2)O(d-1,2)O(d1,1)O(d-1,1)anti de Sitter spacetime AdS dAdS^dAdS gravity
de Sitter group O(d,1)O(d,1)O(d1,1)O(d-1,1)de Sitter spacetime dS ddS^ddeSitter gravity
linear algebraic groupparabolic subgroup/Borel subgroupflag varietyparabolic geometry
conformal group O(d,t+1)O(d,t+1)conformal parabolic subgroupMöbius space S d,tS^{d,t}conformal geometryconformal connectionconformal gravity
supergeometrysuper Lie group GGsubgroup (monomorphism) HGH \hookrightarrow Gquotient (“coset space”) G/HG/Hsuper Klein geometrysuper Cartan geometryCartan superconnection
examplessuper Poincaré groupspin groupsuper Minkowski spacetime d1,1|N\mathbb{R}^{d-1,1\vert N}Lorentzian supergeometrysupergeometrysuperconnectionsupergravity
super anti de Sitter groupsuper anti de Sitter spacetime
higher differential geometrysmooth 2-group GG2-monomorphism HGH \to Ghomotopy quotient G//HG//HKlein 2-geometryCartan 2-geometry
cohesive ∞-group∞-monomorphism (i.e. any homomorphism) HGH \to Ghomotopy quotient G//HG//H of ∞-actionhigher Klein geometryhigher Cartan geometryhigher Cartan connection
examplesextended super Minkowski spacetimeextended supergeometryhigher supergravity: type II, heterotic, 11d

For more background on principal ∞-connections see also at ∞-Chern-Weil theory introduction.

History

Around 1981 D’Auria and Fré noticed, in GeSuGra, that the intricacies of various supergravity classical field theories have a strikingly powerful reformulation in terms of super semifree differential graded-commutative algebras.

They defined various such super dg-algebras W(𝔤)W(\mathfrak{g}) and showed (paraphrasing somewhat) that

  • the field content, field strengths, covariant derivatives and Bianchi identities are all neatly encoded in terms of dg-algebra homomorphism Ω (X)W(𝔤):ϕ\Omega^\bullet(X) \leftarrow W(\mathfrak{g}) : \phi;

  • the action functionals of supergravity theories on such ϕ\phi may be constructed as images under ϕ\phi of certain elements in W(𝔤)W(\mathfrak{g}) subject to natural conditions.

Their algorithm was considerably more powerful than earlier more pedestrian methods for construction such action functionals. The textbook CastellaniDAuriaFre on supergravity and string theory from the perspective of this formalism gives a comprehensive description of this approach.

We observe here that the D’Auria-Fre-formalism is ∞-Chern-Simons theory for ∞-Lie algebra-valued forms with values in super ∞-Lie algebras such as the supergravity Lie 3-algebra and the supergravity Lie 6-algebra.

The pivotal concept that allows to pass between this interpretation and the original formulation is the concept of ∞-Lie algebroid with its various incarnations:

Remark

(Incarnations of \infty-Lie algebroids)

A (super) ∞-Lie algebroid

Notably the semifree dga upon which D’Auria-Fré base their description is the Chevalley-Eilenberg algebra of the supergravity Lie 3-algebra, which is an ∞-Lie algebra that is a higher central extension

0b 2𝔲(1)𝔰𝔲𝔤𝔯𝔞(10,1)𝔰𝔦𝔰𝔬(10,1)0 0 \to b^2 \mathfrak{u}(1) \to \mathfrak{sugra}(10,1) \to \mathfrak{siso}(10,1) \to 0

of a super Poincare Lie algebra 𝔰𝔦𝔰𝔬(10,1)\mathfrak{siso}(10,1) in the way the String Lie 2-algebra 𝔰𝔱𝔯𝔦𝔫𝔤(n)\mathfrak{string}(n) is a higher central extension of the special orthogonal Lie algebra 𝔰𝔬(n)\mathfrak{so}(n).

A super connection on an ∞-bundle with values in 𝔰𝔲𝔤𝔯𝔞(10,1)\mathfrak{sugra}(10,1) on a supermanifold XX is locally given by ∞-Lie algebroid valued differential forms consisting of

  • a 11\mathbb{R}^{11}-valued 1-form ee – the vielbein

  • a 𝔰𝔬(10,1)\mathfrak{so}(10,1)-valued 1-form ω\omega – the spin connection

  • a spin-representation valued 1-form ψ\psi – the spinor

  • a 3-form CC .

These are identified with the fields of 11-dimensional supergravity, respectively:

By realizing this data as components of a Lie 3-algebra valued connection (more or less explicitly), the D’Auria-Fré-formalism achieves some conceptual simplication of

Higher gauge theory reinterpretation

Originally D’Auria and Fré referred to commutative semifree dgas as Cartan integrable systems. Later the term free differential algebra, abbreviated FDA was used instead and became popular. Nowadays much of the literature that studies commutative semifree dgas in supergravity refers to them as “FDA”s. One speaks of the FDA approach to supergravity .

But strictly speaking “free differential algebra” is a misnomer: genuinely free differential algebras are pretty boring objects. Crucially it is only the underlying graded commutative algebra which is required to be free as a graded commutative algebra in that it is a Grassmann algebra 𝔤 *\wedge^\bullet \mathfrak{g}^* on a graded vector space 𝔤 *\mathfrak{g}^*. The differential on that is in general not free, hence the more precise term semifree dga .

In fact, when 𝔤\mathfrak{g} is concentrated in non-positive degree (so that 𝔤 *\wedge^\bullet \mathfrak{g}^* is concentrated in non-negative degree) the differential on 𝔤 *\wedge^\bullet \mathfrak{g}^{*} encodes all the structure of an ∞-Lie algebroid on 𝔤\mathfrak{g}. If 𝔤\mathfrak{g} is concentrated in negative degree the differential encodes the structure of an ∞-Lie algebra on 𝔤\mathfrak{g}. This interpretation of semifree dgas in Lie theory is the key to our general abstract reformulation of the D’Auria-Fré-formalism.

Already D’Auria and Fré themselves, and afterwards other authors, have tried to better understand the intrinsic conceptual meaning of their dg-algebra formalism that happened to be so useful in supergravity:

The idea arose and then became popular in the “FDA”-literature that the D’Auria-Fré-formalism should be about a concept called soft group manifolds. This is motivated by the observation that by means of the dg-algebra formulation the fields in supergravity arrange themselves into systems of differential forms that satisfy equations structurally similar to the Maurer-Cartan forms of left-invariant differential forms on a Lie groupexcept that where the ordinary Maurer-Cartan form has vanishing curvature (= field strength) these equations for supergravity fields have a possibly non-vanishing field strength. It is proposed in the “FDA”-literature that these generalized Maurer-Cartan equations describe generalized or “softened” group manifolds.

However, even when the field strengths do vanish, the remaining collection of differential forms does not constrain the base manifold to be a group. Rather, if the field strengths vanish we have a natural interpretation of the remaining differential form data as being flat ∞-Lie algebroid valued differential forms, given by a morphism

A:TX𝔤 A : T X \to \mathfrak{g}

from the tangent Lie algebroid of the base manifold XX to the ∞-Lie algebra 𝔤\mathfrak{g} encoded by the semifree dga in question. In fact, applying the functor from ∞-Lie algebroids to dg-algebras given by forming Chevalley-Eilenberg algebras, the above morphism turns into a dg-algebra morphism

Ω (X)CE(𝔤):A \Omega^\bullet(X) \leftarrow CE(\mathfrak{g}) : A

to the deRham dg-algebra of XX (which we denote by the same letter, AA, in a convenient abuse of notation).

Since CE(𝔤)CE(\mathfrak{g}) is semifree, this is a map of graded vector spaces

Ω (X)𝔤 *:A \Omega^\bullet(X) \leftarrow \mathfrak{g}^* : A

together with a constraint that the morphism respects the differentials on CE(𝔤)CE(\mathfrak{g}) and on Ω (X)\Omega^\bullet(X). Such a morphism of graded vector spaces in canonically identified with a 𝔤\mathfrak{g}-valued differential form (recall that 𝔤\mathfrak{g} is a graded vector space)

ωΩ (X,𝔤) \omega \in \Omega^\bullet(X,\mathfrak{g})

and the aforementioned constraint is precisely the Maurer-Cartan-like equation that is known from left-invariant 1-forms on a Lie group. In fact, for GG a Lie group with Lie algebra 𝔤\mathfrak{g} there is a canonical morphism

Ω (G)CE(𝔤) \Omega^\bullet(G) \leftarrow CE(\mathfrak{g})

whose image is precisely the left-invariant 1-forms on the Lie group GG and whose respect for the differentials is precisely the ordinary Maurer-Cartan equation.

To see the role of group manifolds for more general morphisms

Ω (X)CE(𝔤):A \Omega^\bullet(X) \leftarrow CE(\mathfrak{g}) : A

one has to apply Lie integration of the ∞-Lie algebroid morphism TX𝔤T X \to \mathfrak{g} to a morphism of ∞-Lie groupoids

Π(X)BG \Pi(X) \to \mathbf{B}G

where Π(X)\Pi(X) is the path ∞-groupoid and where BG\mathbf{B}G is the delooping of Lie in-group GG that integrates the Lie n-algebra 𝔤\mathfrak{g}. Such morphisms are the integrated version of flat ∞-Lie algebroid valued differential forms.

The ∞-Chern-Weil theory of connections on ∞-bundles is about

  1. the generalization of such flat form data to ∞-Lie algebroid valued differential forms with curvature.

  2. the generalization from globally defined differential form data – which are connections on trivial principal ∞-bundles – to connections on arbitrary principal ∞-bundles.

The D’Auria-Fré-formalism – after this re-interpretation – is about the first of these points. So as an immediate gain of our reformulation of D’Auria-Fré-formalism in terms of connections on ∞-bundles we obtain, using the second of these points, a natural proposal for a formulation of supergravity field configurations that are possibly globally topologically nontrivial. Physicists speak of instanton solutions.

In fact, the ∞-Lie theory-reformulation exhibits the D’Auria-Fré-formalism as being secretly the realization of supergravity as a higher gauge theory.

It realizes supergravity as an example for a nonabelian higher gauge theory in that a supergravity field configuration is not realizable as a cocycle in ordinary differential cohomology as in ordinary abelian higher gauge theory (see there) but as a nonabelian connection on an ∞-bundle.

Kinematics

The supergravity Lie nn-algebras

We have a sequence of ∞-Lie algebra extensions

supergravity Lie 6-algebra\to supergravity Lie 3-algebra \to super Poincare Lie algebra

𝔰𝔲𝔤𝔯𝔞 6𝔰𝔲𝔤𝔯𝔞 3𝔰𝔦𝔰𝔬(10,1). \mathfrak{sugra}_6 \to \mathfrak{sugra}_3 \to \mathfrak{siso}(10,1) \,.

Super Lorentzian spacetime manifolds

The base space XX on which a supergravity field is a super Lie nn-algebra valued connection on an ∞-bundle is a supermanifold.

In particular, for constructing the action functional of supergravity we want XX to locally look like super Minkowski space.

Field configuration and field strength

A local field configuration on a supermanifold XX in the classical field theory is a morphism

TX(A,F A)inn(𝔰𝔲𝔤𝔯𝔞(𝔤)) T X \stackrel{(A, F_A)}{\to} inn(\mathfrak{sugra}(\mathfrak{g}))

from the tangent Lie algebroid to the inner-derivation Lie 4-algebra inn(𝔰𝔲𝔤𝔯𝔞(10,1))inn(\mathfrak{sugra}(10,1)), defined as the formal dual of the Weil algebra of 𝔰𝔲𝔤𝔯𝔞\mathfrak{sugra}). So dually this is a morhism of dg-algebras from the Weil algebra W(𝔰𝔲𝔤𝔯𝔞(10,1))W(\mathfrak{sugra}(10,1)) to the deRham dg-algebra Ω (X)\Omega^\bullet(X) of XX:

Ω (X)W(𝔰𝔲𝔤𝔯𝔞(10,1)):(A,F A). \Omega^\bullet(X) \leftarrow W(\mathfrak{sugra}(10,1)) : (A,F_A) \,.

This is ∞-Lie algebroid valued differential form data with ∞-Lie algebroid valued curvature that is explicitly given by:

  • connection forms / field configuration

  • curvature forms / field strengths

    • T=dE+ΩE+Γ(Ψ¯Ψ)Ω 2(X, 10,1)T = d E + \Omega \cdot E + \Gamma(\bar \Psi \wedge \Psi) \in \Omega^2(X,\mathbb{R}^{10,1}) - the torsion

    • R=dΩ+[ΩΩ]Ω 2(X,𝔰𝔬(10,1))R = d \Omega + [\Omega \wedge \Omega] \in \Omega^2(X, \mathfrak{so}(10,1)) - the Riemann curvature

    • ρ=dΨ+(ΩΨ)Ω 2(X,S)\rho = d \Psi + (\Omega \wedge \Psi) \in \Omega^2(X, S) – the covariant derivative of the spinor

    • G=dC+μ 4(ψ,E)Ω 4(X)G = d C + \mu_4(\psi, E) \in \Omega^4(X) – the 4-form field strength

Gauge transformations

A gauge transformation of a field configuration

ϕ:TXinn(𝔤) \phi : T X \to inn(\mathfrak{g})

is a diagram

Ω (X×Δ 1) vert A vert CE(𝔞) gaugetransformation Ω (X×Δ 1) A W(𝔞) field Ω (X) F A inv(𝔤) gaugeinvariantobservable \array{ \Omega^\bullet(X \times \Delta^{1})_{vert} &\stackrel{A_{vert}}{\leftarrow}& CE(\mathfrak{a}) &&& gauge\;transformation \\ \uparrow && \uparrow \\ \Omega^\bullet(X \times \Delta^{1}) &\stackrel{A}{\leftarrow}& W(\mathfrak{a}) &&& field \\ \uparrow && \uparrow \\ \Omega^\bullet(X) &\stackrel{\langle F_A\rangle}{\leftarrow}& inv(\mathfrak{g}) &&& gauge\;invariant\;observable }
Definition

Given a 1-morphism in exp(𝔤)(X)\exp(\mathfrak{g})(X), represented by 𝔤\mathfrak{g}-valued forms

Ω (U×Δ 1)W(𝔤):A \Omega^\bullet(U \times \Delta^1) \leftarrow W(\mathfrak{g}) : A

consider the unique decomposition

A=A U+(A vertλdt), A = A_U + ( A_{vert} \coloneqq \lambda \wedge d t) \; \; \,,

with A UA_U the horizontal differential form component and t:Δ 1=[0,1]t : \Delta^1 = [0,1] \to \mathbb{R} the canonical coordinate.

We call λ\lambda the gauge parameter . This is a function on Δ 1\Delta^1 with values in 0-forms on UU for 𝔤\mathfrak{g} an ordinary Lie algebra, plus 1-forms on UU for 𝔤\mathfrak{g} a Lie 2-algebra, plus 2-forms for a Lie 3-algebra, and so forth.

We describe now how this enccodes a gauge transformation

A 0(s=1)λA U(s=1). A_0(s=1) \stackrel{\lambda}{\to} A_U(s = 1) \,.
Proposition

The condition that all curvature characteristic forms descend to UU in that AA completes to a diagram

Ω (U×Δ k) A W(𝔞) Ω (U) F A inv(𝔤) \array{ \Omega^\bullet(U \times \Delta^k) &\stackrel{A}{\leftarrow}& W(\mathfrak{a}) \\ \uparrow && \uparrow \\ \Omega^\bullet(U) &\stackrel{\langle F_A\rangle}{\leftarrow}& inv(\mathfrak{g}) }

is solved by requiring all components

Ω (U×Δ 1)AW(𝔤)r a 1𝔤 *F A a \Omega^\bullet(U \times \Delta^1) \stackrel{A}{\leftarrow} W(\mathfrak{g}) \stackrel{r^a}{\leftarrow} \wedge^1 \mathfrak{g}^* F_A^a

of the curvature forms to vanish when evaluated on the vector field s\partial_s along s\partial_s.

By the nature of the Weil algebra we have

ddsA U=d Uλ+[λA]+[λAA]++(F A)( s,), \frac{d}{d s} A_U = d_U \lambda + [\lambda \wedge A] + [\lambda \wedge A \wedge A] + \cdots + (F_A)(\partial_s, \cdots) \,,

so that this condition is a system of ordinary differential equations of the form

ddsA U=d Uλ+[λA]+[λAA]+, \frac{d}{d s} A_U = d_U \lambda + [\lambda \wedge A] + [\lambda \wedge A \wedge A] + \cdots \,,

where the sum is over all higher brackets of the ∞-Lie algebra 𝔤\mathfrak{g}.

Definition

Define the covariant derivative of the gauge parameter to be

λdλ+[Aλ]+[AAλ]+. \nabla \lambda \coloneqq d \lambda + [A \wedge \lambda] + [A \wedge A \wedge \lambda] + \cdots \,.

In this notation we have

  • the general identity

    (1)ddsA U=λ+(F A) s \frac{d}{d s} A_U = \nabla \lambda + (F_A)_s
  • the horizontality constraint or second Ehresmann condition

    (2)ddsA U=λ. \frac{d}{d s} A_U = \nabla \lambda \,.

This is known as the equation for infinitesimal gauge transformations of an \infty-Lie algebra valued form.

Proposition

By Lie integration we have that A vertA_{vert} – and hence λ\lambda – defines an element exp(λ)\exp(\lambda) in the ∞-Lie group that integrates 𝔤\mathfrak{g}.

The unique solution A U(s=1)A_U(s = 1) of the above differential equation at s=1s = 1 for the initial values A U(s=0)A_U(s = 0) we may think of as the result of acting on A U(0)A_U(0) with the gauge transformation exp(λ)\exp(\lambda).

Rheonomy

Idea

In the formulation here the fields of supergravity are modeled by super differential forms on a supermanifold X˜\tilde X, and this very fact serves to make local supersymmetry manifest, i.e., serves to model geometry by higher supergeometric higher Cartan geometry.

But the actual fields of supergravity are supposed to be fields on actual spacetime XX (an ordinary smooth manifold) XX˜X \hookrightarrow \tilde X. Hence one is to impose a constraint that ensures that the super differential forms used on X˜\tilde X are uniquely determined by their restriction to ordinary differential forms on XX. This constraint is called rheonomy (Castellani-D’Auria-Fré 91, vol 2, section III.3.3), alluding to the idea that the constraints allow the field data to “flow” from spacetime XX to the super spacetime X˜\tilde X.

The idea here is analogous (Castellani-D’Auria-Fré 91, vol 2, p. 660, Fré-Grassi 08, p. 4) to how the Cauchy-Riemann equations impose the constraint for a function on the complex plane \mathbb{C} to be a holomorphic function and hence to be already fixed by its values on the real line \mathbb{R} \hookrightarrow \mathbb{C}.

In (Castellani-D’Auria-Fré, vol 2, section III.3.3) this idea is formalized by the constraint that for the given super-L L_\infty-algebra connection as above, those components of the curvature forms which carry fermionic indices must be linear combinations of the components carrying no fermionic indices. (See also at L-∞ algebra valued differential forms – integration of transformation.)

This rheonomy constraint is equivalent to what elsewhere is called “superspace constraints”, see (AFFFTT 98, below (3.12)).

See also at rheonomy modality.

Details

under construction

Let H=\mathbf{H} = SuperFormalSmooth∞Groupoids.

Definition

(super-L-∞ algebra valued super differential forms)

Let 𝔤\mathfrak{g} be an super L-∞ algebra and let XX be a super ∞-groupoid (for instance a supermanifold or an extended super Minkowski spacetime).

Write

(3)Ω(X,𝔤)Hom dgcSuperAlg(W(𝔤),Ω (X))Set \Omega(X,\mathfrak{g}) \coloneqq Hom_{dgcSuperAlg}\big( W(\mathfrak{g}), \Omega^\bullet(X) \big) \;\in\; Set

for the set of super-L-∞ algebra valued super differential forms on XX, hence of homomorphisms of differential graded-commutative superalgebras from the Weil algebra of 𝔤\mathfrak{g}

W(𝔤)( (𝔤 *𝔤 *[1]d𝔤 *),d W(𝔤)=d CE(𝔤)+d) W(\mathfrak{g}) \;\coloneqq\; \Big( \wedge^\bullet\big( \mathfrak{g}^\ast \oplus \underset{ \mathbf{d}\mathfrak{g}^\ast }{\underbrace{\mathfrak{g}^\ast[1]}} \big) , \mathbf{d}_{W(\mathfrak{g})} = \mathbf{d}_{CE(\mathfrak{g})} + \mathbf{d} \Big)

to the de Rham algebra of super differential forms on XX, which is given (see at geometry of physics – supergeometry this example) by

Ω (X)H̲(H̲( 0|1,X),) \Omega^\bullet(X) \;\coloneqq\; \flat \underline{\mathbf{H}} \Big( \underline{\mathbf{H}}\big( \mathbb{R}^{0\vert 1}, X \big), \mathbb{R} \Big)

equipped with the differential graded-commutative superalgebra-structure induced by the action of Aut( 0|1)\mathbf{Aut}(\mathbb{R}^{0\vert 1}) (see at odd line there)

The restriction, as a linear map, of such a homomorphism

Ω (X)ωW(𝔤) \Omega^\bullet(X) \overset{ \omega }{\longleftarrow} W(\mathfrak{g})

along the canonical inclusion of 1𝔤 *[1]=𝔤 *[2]\wedge^1 \mathfrak{g}^\ast[1] = \mathfrak{g}^\ast[2] into the Weil algebra yields the curvature forms F ωF_\omega of ω\omega.

(4)Ω(X) F ω 𝔤 *[2] ω W(𝔤) \array{ \Omega(X) && \overset{F_\omega}{\longleftarrow} && \mathfrak{g}^\ast[2] \\ & {}_{\mathllap{\omega}}\nwarrow && \swarrow_{\mathrlap{}} \\ && W(\mathfrak{g}) }
Definition

(restriction of super-L-∞ algebra valued super differential forms to bosonic subspace)

Given XX \in SuperFormalSmooth∞Groupoids, write

(5)X ϵ X X X^{\rightsquigarrow} \overset{ \epsilon_X^{\rightsquigarrow} }{\longrightarrow} X

for the inclusion of the underlying bosonic space (the counit morphism of the bosonic modality applied to XX).

The pullback of the super differential forms in Def. along (5), is a function of the form

(6)Ω(X,𝔤) (ϵ X ) * Ω(X ,𝔤) \array{ \Omega(X, \mathfrak{g}) &\overset{ \left( \epsilon^{\rightsquigarrow}_{X} \right)^\ast }{\longrightarrow}& \Omega(X^{\rightsquigarrow}, \mathfrak{g}) }
Example

If XX is a supermanifold and UXU \subset X is a coordinate chart with coordinates (x a,θ α)(x^a, \theta^\alpha) then restricted to this coordinate chart the pullback map (6) is given by evaluating super-differential forms at θ α=0\theta^\alpha = 0 and dθ α=0\mathbf{d}\theta^\alpha = 0

(ϵ X ) *ω |U=ω |U| θ α=0dθ α=0 \left( \epsilon_X^{\rightsquigarrow} \right)^\ast \omega_{\vert U} \;=\; \left. \omega_{\vert U}\right|_{ {\theta^\alpha = 0} \atop {\mathbf{d}\theta^\alpha = 0} }

In this form this operation appears in Castellani-D’Auria-Fré 91, vol 2 (III.3.25).

Definition

(rheonomic set of super differential forms)

We may say that a subset

Ω˜(X,𝔤)Ω(X,𝔤) \widetilde \Omega(X, \mathfrak{g}) \subset \Omega(X, \mathfrak{g})

of super-Lie algebra valued super differential forms (Def. ) is rheonomic if on this subset the restriction to the bosonic subspace from Def. (hence the pullback of differential forms along ϵ X \epsilon_X^{\rightsquigarrow}) is injective

Ω˜(X,𝔤)(ϵ X ) *Ω(X ,𝔤) \array{ \widetilde \Omega(X,\mathfrak{g}) \overset{ \left( \epsilon_X^{\rightsquigarrow} \right)^\ast }{\hookrightarrow} \Omega\big( X^{\rightsquigarrow}, \mathfrak{g}\big) }

hence if every super differential form

μΩ˜(X,𝔤) \mu \;\in\; \widetilde \Omega(X,\mathfrak{g})

is, as an element of this subset, uniquely determined by its restriction to the bosonic submanifold X X^{\rightsquigarrow}.

More specifically, let now VV be an extended super Minkowski spacetime, with 𝔤=iso(V)\mathfrak{g} = \mathrm{iso}(V) its super L L_\infty-extension of the corresponding super Poincare Lie algebra let XX be a V-manifold, and consider the subset

(7)Ω˜(X,𝔤)Ω Cartan(X,𝔤)Ω(X,𝔤) \widetilde\Omega(X,\mathfrak{g}) \;\coloneqq\; \Omega_{Cartan}(X,\mathfrak{g}) \subset \Omega(X,\mathfrak{g})

of globally defined Cartan connection-forms, meaning that their super vielbein component is constrained to be non-degenerate, establishing at each global point a linear isomorphism between its super tangent space and VV.

Proposition

A sufficient condition for the subset (7) to be rheonomic(Def. ) is that the components of the curvature-forms with any odd-graded indices are linear combinations of the components of the curvature forms without odd-graded indices.

(Castellani, D’Auria &Fré 1991, vol 2, (III.3.30))

Proof

Let

Ω (X)μW(𝔤) \Omega^\bullet(X) \overset{\mu}{\longleftarrow} W(\mathfrak{g})

be a given form. Choosing any basis {P a,Q α}\{P_a, Q_\alpha\} of 𝔤\mathfrak{g}, μ\mu has components

μ =μ((x a),(θ α)) =μ a((x a),(θ α))dx a+μ α((x a),(θ α))dθ α. \begin{aligned} \mu & = \mu\big( (x^a), (\theta^\alpha) \big) \\ & = \mu_a\big( (x^a), (\theta^\alpha) \big) d x^a + \mu_\alpha\big( (x^a), (\theta^\alpha) \big) d \theta^\alpha \end{aligned} \,.

We have to show, under the assumption that there exist linear maps

(ϕ αa bc:𝔤𝔤) a,b,c,α \Big( \phi_{\alpha a}^{b c} \;\colon\; \mathfrak{g} \to \mathfrak{g} \Big)_{a,b,c, \alpha}

with

(F μ) αa=ϕ αa bc((F μ) bc), \big( F_{\mu}\big)_{\alpha a} \;=\; \phi_{\alpha a}^{b c} \left( \big(F_\mu\big)_{b c} \right) \,,

that μ\mu is uniquely determined already by the component μ a((x a),(θ α=0))\mu_a\big( (x^a), (\theta^\alpha = 0) \big). For this it is sufficent to show that all component functions

μ a((x a),(θ α))\mu_a\big( (x^a), (\theta^\alpha) \big)

and

μ α((x a),(θ α))\mu_\alpha\big( (x^a), (\theta^\alpha) \big)

may be expressed as functions of the μ a((x a),(θ α=0))\mu_a\big( (x^a), (\theta^\alpha = 0) \big).

We now first prove something weaker, namely that these functions are uniquely determined once we know not just μ a((x a),(θ α=0))\mu_a\big( (x^a), (\theta^\alpha = 0) \big) but also μ α((x a),(θ α=0))\mu_\alpha\big( (x^a), (\theta^\alpha = 0) \big).

It seems to me that this weaker statement is all that Castellani-D’Auria-Fré 91, vol 2, III.3.3 really provide, for notice that the last line of their (III.3.29) still depends on μ α((x a),(θ α=0))\mu_\alpha\big( (x^a), (\theta^\alpha = 0) \big).

By the nilpotency of the odd-graded coordinates θ α\theta^\alpha, we have that μ\mu is a multilinear map in the θ α\theta^\alpha.

Hence, by induction, assume that the kk-linear part μ((x a),(θ α) klin)\mu\big( (x^a), (\theta^\alpha)_{k lin} \big) in the θ α\theta^\alpha of μ((x a),(θ α))\mu\big( (x^a), (\theta^\alpha) \big) is fixed by μ((x a),(θ α=0))\mu\big( (x^a), (\theta^\alpha = 0) \big). It is then sufficient to show that also the (k+1)(k+1)-linear term μ a((x a),(θ α) (k+1)lin)\mu_a\big( (x^a), (\theta^\alpha)_{(k+1) lin} \big) is fixed.

This is evidently equivalent to the statement that all the derivatives of μ((x a),(θ α) (k+1)lin)\mu\big( (x^a), (\theta^\alpha)_{(k+1) lin} \big) by any θ α k+1\theta^{\alpha_{k+1}} evaluated at θ α k+1=0\theta^{\alpha_{k+1}} = 0 are fixed.

The key point is that by the assumption that we have a Cartan connection, these derivatives are proportional to a sum of (F ω) α k+1a\big( F_\omega\big)_{\alpha_{k+1} a} with a linear combination of the μ\mu. But by assumption, (F ω) α k+1a\big( F_\omega\big)_{\alpha_{k+1} a} (which a priori depends on data at dθ α0\mathbf{d}\theta^\alpha \neq 0) is a linear combination of the curvatures with bosonic indices, and these are determined from the data at dθ α=0d \theta^\alpha = 0.

This is essentially the argument in Castellani-D’Auria-Fré 91, vol 2, (III.3.29)-(III.3.31), except that I have added the inductive argument, which seems necessary to really conclude beyond first order in the odd coordinates.

This shows that μ((x a),(θ α))\mu\big( (x^a), (\theta^\alpha) \big) satisfies well-formed differential equations in the θ α\theta^\alpha.

To conclude, we hence need to see that we have sufficient boundary data on μ((x a),(θ α))\mu\big( (x^a), (\theta^\alpha) \big) fixed to have the solution to this differential equation be unique.

Now the boundary data for μ a((x a),(θ α))\mu_a\big( (x^a), (\theta^\alpha) \big) is clearly μ a((x a),(θ α=0))\mu_a\big( (x^a), (\theta^\alpha = 0) \big), and if the differential equations did not also depend on μ α((x a),(θ α))\mu_\alpha\big( (x^a), (\theta^\alpha) \big) this would be the end of the story.

We do not know the analogous boundary data μ α((x a),(θ α=0))\mu_\alpha\big( (x^a), (\theta^\alpha = 0) \big), since all of μ α\mu_\alpha is forgotten when restricting to dθ α=0\mathbf{d}\theta^\alpha = 0.

I think this is a real gap in the general argument for rheonomy. It is not a real problem in special situations, though…

(…)

11d-SuGra from Super C-Field Flux Quantization

We discuss (Thm. below, following GSS24) how the equations of motion of D=11 supergravity — on an 11|3211\vert\mathbf{32}-dimensional super-torsion-free super spacetime XX with super vielbein (e,ψ)(e,\psi) (the graviton/gravitino-fields) — follow from just the requirement that the duality-symmetric super-C-field flux densities (G 4 s,G 7 s)Ω dR 4(X)×Ω dR 7(X)(G_4^s, G_7^s) \,\in\, \Omega^4_{dR}(X) \times \Omega^7_{dR}(X):

  1. satisfy their Bianchi identities

    (8)dG 4 s=0 dG 7 s=12G 4 sG 4 s \begin{array}{l} \mathrm{d} \, G_4^s \;=\; 0 \\ \mathrm{d} \, G_7^s \;=\; \tfrac{1}{2} G_4^s \, G_4^s \end{array}
  2. are on any super-chart UXU \hookrightarrow X of the locally supersymmetric form

    (9)G 4 s=14!(G 4) a 1a 4e a 1e a 412(ψ¯Γ a 1a 2ψ)e a 1e a 2 G 7 s=17!(G 7) a 1a 7e a 1e a 715!(ψ¯Γ a 1a 5ψ)e a 1e a 5. \begin{array}{l} G_4^s \;=\; \tfrac{1}{4!} (G_4)_{a_1 \cdots a_4} e^{a_1} \cdots e^{a_4} \,-\, \tfrac{1}{2} \big(\overline{\psi}\Gamma_{a_1 a_2} \psi\big) e^{a_1} \, e^{a_2} \\ G_7^s \;=\; \tfrac{1}{7!} (G_7)_{a_1 \cdots a_7} e^{a_1} \cdots e^{a_7} \,-\, \tfrac{1}{5!} \big(\overline{\psi}\Gamma_{a_1 \cdots a_5} \psi\big) e^{a_1} \cdots e^{a_5} \mathrlap{\,.} \end{array}

Up to some mild (but suggestive, see below) re-arrangement, the computation is essentially that indicated in CDF91, §III.8.5 (and apparently nowhere else), and the following may be understood as an exposition of this result, which seems to stand out as the only account that is (i) fully first-order and (ii) duality-symmetric (in that G 7G_7 enters the EoMs as an independent field, whose Hodge duality to G 4G_4 is imposed by the Bianchi identity for G 7 sG_7^s, remarkably).

Notice that the discussion in CDF91, §III.8 amplifies the superspace-rheonomy principle as a constraint that makes the Bianchi identities on (in our paraphrase) a supergravity Lie 6-algebra-valued higher vielbein be equivalent to the equations of motion of D=11 SuGra. But we may observe that the only rheonomic constraint necessary is that (9) on the C-field flux density — and this is the one not strictly given by rules in CDF91, p. 874, cf. around CDF91, (III.8.41) —; while the remaining rheonomy condition on the gravitino field strength ρ\rho is implied (Lem. below), and the all-important torsion constraint (10) (which is also outside the rules of rheonomy constraints, cf. CDF91, (III.8.33)) is naturally regarded as part of the definition of a super-spacetime in the first place (Def. below).

In thus recasting the formulation of the theorem somewhat, we also:

  1. re-define the super-flux densities as above (9), highlighting that it is (only) in this combination that the algebraic form of the expected Bianchi identity (8) extends to superspace;

  2. disregard the gauge potentials C 3C_3 and C 6C_6, whose role in CDF91, §III.8.2-4 is really just to motivate the form of the Bianchi identities equivalent to (8), but whose global nature is more subtle than acknowledged there, while being irrelevant for just the equations of motion.

Indeed, the point is that, in consequence of our second item above, the following formulation shows that one may apply flux quantization of the supergravity C-field on superspace in formally the same way as bosonically (for instance in Cohomotopy as per Hypothesis H, or in any other nonabelian cohomology theory whose classifying space has the \mathbb{Q}-Whitehead L L_\infty -algebra of the 4-sphere), and in fact that the ability to do so implies the EoMs of 11d SuGra. Any such choice of flux quantization is then what defines, conversely, the gauge potentials, globally. Moreover, by the fact brought out here, that the super-flux Bianchi identity already implies the full equations of motion, this flux quantization is thereby seen to be compatible with the equations of motion on all of super spacetime.


For the present formulation, we find it suggestive to regard the all-important torsion constraint (10) as part of the definition of the super-gravity field itself (since it ties the auxiliary spin-connection to the super-vielbein field which embodies the actual super-metric structure):

Definition

(super-spacetime)
For

by a super-spacetime of super-dimension D|ND\vert \mathbf{N} we here mean:

  1. a supermanifold

  2. which admits an open cover by super-Minkowski supermanifolds 1,D1|N\mathbb{R}^{1,D-1\vert \mathbf{N}},

  3. equipped with a super Cartan connection with respect to the canonical subgroup inclusion Spin(1,D1)Iso( 1,D1|N)Spin(1,D-1) \hookrightarrow Iso(\mathbb{R}^{1,D-1\vert\mathbf{N}}) of the spin group into the super Poincaré group, namely:

    1. equipped with a super-vielbein (e,ψ)(e, \psi), hence on each super-chart UXU \hookrightarrow X

      ((e a) a=0 D=1,(ψ α) α=1 N)Ω dR 1(U; 1,D1|N) \big( (e^a)_{a=0}^{D=1} ,\, (\psi^\alpha)_{\alpha=1}^N \big) \;\in\; \Omega^1_{dR}\big( U ;\, \mathbb{R}^{1,D-1\vert \mathbf{N}} \big)

      such that at every point xXx \in \overset{\rightsquigarrow}{X} the induced map on tangent spaces is an isomorphism

      (e,ψ) x:T xX 1,10|N. (e,\psi)_x \;\colon\; T_x X \overset{\sim}{\longrightarrow} \mathbb{R}^{1,10\vert \mathbf{N}} \,.
    2. and with a spin-connection ω\omega (…),

  4. such that the super-torsion vanishes, in that on each chart:

    (10)de aω a be b=(ψ¯Γ aψ), \mathrm{d} \, e^a - \omega^a{}_b \, e^b \;=\; \big( \overline{\psi} \,\Gamma^a\, \psi \big) \,,

    where Γ (): 1,D1End (N)\Gamma^{(-)} \,\colon\, \mathbb{R}^{1,D-1} \longrightarrow End_{\mathbb{R}}(\mathbf{N}) is a representation of Pin + ( 1 , 10 ) Pin^+(1,10) , hence

    Γ aΓ b+Γ bΓ a=+2diag(,+,+,,+) ab. \Gamma_{a} \Gamma_b + \Gamma_{b} \Gamma_a \;=\; + 2\, diag(-, +, +, \cdots, +)_{a b} \,.

Definition

(the gravitational field strength)
Given a super-spacetime (Def. ), we say that (super chart-wise):

  1. its super-torsion is:

    T ade aω a be b(ψ¯Γ aψ) T^a \;\coloneqq\; \mathrm{d}\, e^a \,-\, \omega^a{}_b \, e^b \,-\, \big( \overline{\psi}\Gamma^a\psi \big)
  2. its gravitino field strength is

    ρdψ+14ω abΓ abψ, \rho \;\coloneqq\; \mathrm{d}\, \psi + \tfrac{1}{4} \omega_{a b}\Gamma^{a b}\psi \,,
  3. its curvature is

    R a bdω a bω a cω c b. R^{a}{}_b \;\coloneqq\; \mathrm{d}\, \omega^{a}{}_b \,-\, \omega^a{}_c \, \omega^c{}_b \,.

Lemma

(super-gravitational Bianchi identities)
By exterior calculus the gravitational field strength tensors (Def. ) satisfy the following identities:

(11)dR a b = ω a aR a bR a bω b b dT a = R a be b+2(ψ¯Γ aρ) dρ = 14R abΓ abψ \begin{array}{ccl} \mathrm{d} \, R^{a}{}_b &=& \omega^a{}_{a'} \, R^{a'}{}_b - R^{a}{}_{b'} \, \omega^{b'}{}_{b} \\ \mathrm{d} \, T^a &=& - R^{a}{}_b \ e^b + 2 \big( \overline{\psi} \,\Gamma^a\, \rho \big) \\ \mathrm{d} \, \rho &=& \tfrac{1}{4} R^{a b} \Gamma_{a b} \psi \end{array}

Remark

(role of the gravitational Bianchi identities)
Notice that the equations (11) are not conditions but identities satisfied by any super-spacetime (in the sense of Def. , hence even such that T a=0T^a = 0.) But conversely this means that when constructing a super-spacetime (say subject to further contraints, such as Bianchi identities for flux densities), the equations (11) are a necessary condition to be satisfied by any candidate super-vielbein-field, and as such they may play the role of equations of motion for the super-gravitational field, as we will see.


Write now 32Rep (Spin(1,10))\mathbf{32} \in Rep_{\mathbb{R}}\big(Spin(1,10)\big) for the unique non-trivial irreducible real Spin ( 1 , 10 ) Spin(1,10) -representation.

Theorem

(11d SuGra EoM from super-flux Bianchi identity) Given

  1. (super-gravity field:) an 11|3211\vert\mathbf{32}-dimensional super-spacetime XX (Def. ),

  2. (super-C-field flux densities:) (G 4 s,G 7 s)(G^s_4,\, G^s_7) as in (9)

then the super-flux Bianchi identity (8) (the super-higher Maxwell equation for the C-field)

dG 4 s=0 dG 7 s=12G 4 sG 4 s \begin{array}{l} \mathrm{d} \, G_4^s \;=\; 0 \\ \mathrm{d} \, G_7^s \;=\; \tfrac{1}{2} G_4^s \, G_4^s \end{array}

is equivalent to the joint solution by (e,ψ,ω,G 4 s,G 7 s)\big(e, \psi, \omega, G_4^s,\, G_7^s\big) of the equations of motion of D=11 supergravity.

This is, in some paraphrase, the result of CDF91, §III.8.5, We indicate the proof broken up in the following Lemmas , , and .

In all of the following lemmas one expands the Bianchi identoties in their super-vielbein form components.

Remark

(Normalization conventions)
Our choice of prefactors and normalization follows CDF91 except for the following changes:

  • our Clifford generators absorb a factor of i \mathrm{i} : Γ a=iΓ a DF\;\;\;\Gamma_a \;=\; \mathrm{i}\, \Gamma_a^{^{DF}}

  • our gravitinos absorb a factor of 2\sqrt{2}: ψ=2ψ DF\;\;\;\psi \;=\; \sqrt{2}\psi^{^{DF}}

  • our 4-flux density absorbs a combinatorial factor of 1/21/2: G 4=12R \;\;\;G_4 = \tfrac{1}{2} R^{\Box}

  • our 7-flux density absorbs a combinatoiral factor of 1/5!1/5!: G 7=15!R \;\;\;G_7 = \tfrac{1}{5!} R^{\otimes}

Here:

  • The first rescaling reflects that Γ DF\Gamma^{{}^{\mathrm{DF}}} is not actually a Majorana representation of Pin +(1,10)\mathrm{Pin}^+(1,10), but iΓ DF\mathrm{i}\Gamma^{{}^{\mathrm{DF}}} is.

    This rescaling removes all occurrences of imaginary units in the Bianchi identities, as it should be for algebra over the real numbers with real fermion representations.

  • The second rescaling has the effect that de a=(ψ¯Γ aψ)+\mathrm{d} e^a = \big(\overline{\psi} \Gamma^a \psi\big) + \cdots instead of de a=12(ψ¯Γ aψ)+\mathrm{d}\, e^a = \tfrac{1}{2} \big(\overline{\psi} \Gamma^a \psi\big) + \cdots.

Lemma

The Bianchi identity for G 4 sG^s_4 (8) is equivalent to

  1. the closure of the ordinary 4-flux density G 4G_4

  2. the following dependence of ρ\rho on G 4G_4

shown in any super-chart:

(12)dG 4 s=0 {( a(G 4) a 1a 4)e ae a 1e a 4=0 ρ=ρ abe ae b+(1613!(G 4) ab 1b 2b 3Γ ab 1b 2b 3+11214!(G 4) b 1b 4Γ ab 1b 4)ψe a (14!ψ α α(G 4) a 1a 4+(ψ¯Γ a 1a 2ρ a 3a 4))e a 1e a 4=0. \begin{array}{l} \mathrm{d}\, G^s_4 \;=\; 0 \\ \;\Leftrightarrow\; \left\{ \begin{array}{l} \big( \nabla_{a} (G_4)_{a_1 \cdots a_4} \big) e^{a} \, e^{a_1} \cdots e^{a_4} \;=\; 0 \\ \rho \;=\; \rho_{a b} \, e^{a} \, e^b \,+\, \Big( -\tfrac{1}{6} \, \tfrac{1}{3!} (G_4)_{a b_1 b_2 b_3} \,\Gamma^{a b_1 b_2 b_3}\, \, + \tfrac{1}{12} \, \tfrac{1}{4!} (G_4)_{b_1 \cdots b_4} \,\Gamma^{a b_1 \cdots b_4}\, \Big) \psi \, e^a \\ \Big( \tfrac{1}{4!} \psi^\alpha \nabla_\alpha (G_4)_{a_1 \cdots a_4} \;+\; \big( \overline{\psi} \Gamma_{a_1 a_2} \rho_{a_3 a_4} \big) \Big) e^{a_1} \cdots e^{a_4} \;=\; 0 \,. \end{array} \right. \end{array}

This is essentially CDF91, (III.8.44-49 & 60b).
Proof

The general expansion of ρ\rho in the super-vielbein basis is of the form

ρ:=ρ abe ae b+H aψe a+ψ¯κψ=0, \rho \;:=\; \rho_{a b} \, e^a\, e^b + H_a \psi \, e^a + \underset{ = 0 }{ \underbrace{ \overline{\psi} \,\kappa\, \psi } } \,,

where the last term is taken to vanish.l (…).

Therefore, the Bianchi identity has the following components,

(13)d(14!(G 4) a 1a 4e a 1e a 412(ψ¯Γ a 1a 2ψ)e a 1e a 2)=0 {( a(G 4) a 1a 4)e ae a 1e a 4=0 (14!ψ α( α(G 4) a 1a 4)+(ψ¯Γ a 1a 2ρ a 3a 4))e a 1e a 4=0 13!(G 4) ab 1b 2b 3(ψ¯Γ aψ)e b 1b 2b 3+(ψ¯Γ a 1a 2H bψ)e a 1e a 2e b=0, \begin{array}{l} \mathrm{d} \Big( \, \tfrac{1}{4!} (G_4)_{a_1 \cdots a_4} \, e^{a_1} \cdots e^{a_4} - \tfrac{1}{2} \big( \overline{\psi} \Gamma_{a_1 a_2} \psi \big) \, e^{a_1}\, e^{a_2} \Big) \;=\; 0 \\ \;\Leftrightarrow\; \left\{ \begin{array}{l} \big( \nabla_{a} (G_4)_{a_1 \cdots a_4} \big) e^{a}\, e^{a_1} \cdots e^{a_4} \;=\; 0 \\ \Big( \tfrac{1}{4!} \psi^\alpha \big( \nabla_\alpha (G_4)_{a_1 \cdots a_4} \big) \;+\; \big( \overline{\psi} \Gamma_{a_1 a_2} \rho_{a_3 a_4} \big) \Big) e^{a_1} \cdots e^{a_4} \;=\; 0 \\ \tfrac{1}{3!} (G_4)_{a b_1 b_2 b_3} \big( \overline{\psi} \,\Gamma^a\, \psi \big) \, e^{b_1 b_2 b_3} + \big( \overline{\psi} \,\Gamma_{a_1 a_2}\, H_b \psi \big) e^{a_1} \, e^{a_2} \, e^b \;=\; 0 \,, \end{array} \right. \end{array}

where we used that the quartic spinorial component vanishes identically, due to a Fierz identity (here):

12(ψ¯Γ a 1a 2ψ)(ψ¯Γ a 1ψ)e a 2=0. - \tfrac{1}{2} \big( \overline{\psi} \Gamma_{a_1 a_2} \psi \big) \big( \overline{\psi} \Gamma^{a_1} \psi \big) e^{a_2} \;=\; 0 \,.

To solve the second line in (13) for H aH_a (this is CDF91 (III.8.43-49)) we expand H aH_a in the Clifford algebra (according to this Prop.), observing that for Γ a 1a 2H a 3\Gamma_{a_1 a_2} H_{a_3} to be a linear combination of the Γ a\Gamma_a the matrix H aH_a needs to have a Γ a 1\Gamma_{a_1}-summand or a Γ a 1a 2a 3\Gamma_{a_1 a_2 a_3}-summand. The former does not admit a Spin-equivariant linear combination with coefficients (G 4) a 1a 4(G_4)_{a_1 \cdots a_4}, hence it must be the latter. But then we may also need a component Γ a 1a 5\Gamma_{a_1 \cdots a_5} in order to absorb the skew-symmetric product in Γ a 1a 2H a\Gamma_{a_1 a_2} H_a. Hence H aH_a must be of this form:

(14)H a=const 113!(G 4) ab 1b 2b 3Γ b 1b 2b 3+const 214!(G 4) b 1b 4Γ ab 1b 4. H_a \;=\; \mathrm{const}_1 \, \tfrac{1}{3!} (G_4)_{a b_1 b_2 b_3} \Gamma^{b_1 b_2 b_3} + \mathrm{const}_2 \, \tfrac{1}{4!} (G_4)^{b_1 \cdots b_4} \Gamma_{a b_1 \cdots b_4} \,.

With this, we compute:

(15)(ψ¯Γ a 1a 2H a 3ψ)e a 1e a 2e a 3 =const 113!(G 4) a 3b 1b 2b 3(ψ¯Γ a 1a 2Γ b 1b 2b 3ψ)e a 1e a 2e a 3 +const 214!(G 4) b 1b 4(ψ¯Γ a 1a 2Γ a 3b 1b 4ψ)e a 1e a 2e a 3 =1const 113!(G 4) a 3b 1b 2b 3(ψ¯Γ a 1a 2 b 1b 2b 3ψ)e a 1e a 2e a 3 +6const 113!(G 4) b 3a 1a 2a 3(ψ¯Γ b 3ψ)e a 1e a 2e a 3 +8const 214!(G 4) b 1b 3a 3(ψ¯Γ a 1a 2 b 1b 3ψ)e a 1e a 2e a 3. \begin{array}{ll} \big( \overline{\psi} \Gamma_{a_1 a_2} H_{a_3} \psi \big) e^{a_1} \, e^{a_2} \, e^{a_3} & =\; \mathrm{const}_1 \, \tfrac{1}{3!} (G_4)_{a_3 b_1 b_2 b_3} \, \big( \overline{\psi} \Gamma_{a_1 a_2} \Gamma^{b_1 b_2 b_3} \psi \big) e^{a_1} \, e^{a_2} \, e^{a_3} \\ & \;\;\;+\, \mathrm{const}_2 \, \tfrac{1}{4!} \, (G_4)^{b_1 \cdots b_4} \, \big( \overline{\psi} \Gamma_{a_1 a_2} \Gamma_{a_3 b_1 \cdots b_4} \psi \big) e^{a_1} \, e^{a_2} \, e^{a_3} \\ & \;=\; 1 \, \mathrm{const}_1 \, \tfrac{1}{3!} \, (G_4)_{a_3 b_1 b_2 b_3} \big( \overline{\psi} \,\Gamma_{a_1 a_2}{}^{b_1 b_ 2 b_3}\, \psi \big) e^{a_1} \, e^{a_2} \, e^{a_3} \\ & \;\;\;+\, 6 \, \mathrm{const}_1 \, \tfrac{1}{3!} \, (G_4)_{b_3 a_1 a_2 a_3} \big( \overline{\psi} \,\Gamma^{b_3}\, \psi \big) e^{a_1} \, e^{a_2} \, e^{a_3} \\ & \;\;\;+\, 8 \, \mathrm{const}_2 \, \tfrac{1}{4!} \, (G_4)^{b_1 \cdots b_3 a_3} \, \big( \overline{\psi} \Gamma^{a_1 a_2}{}_{b_1 \cdots b_3} \psi \big) e^{a_1} \, e^{a_2} \, e^{a_3} \,. \end{array}

Here the multiplicities of the nonvanishing Clifford-contractions arise via this Lemma:

1=0!(20)(30) 6=2!(22)(32) 8=1!(21)(41), \begin{array}{l} 1 \;=\; 0! \Big( {2 \atop 0} \Big) \Big( {3 \atop 0} \Big) \\ 6 \;=\; 2! \Big( {2 \atop 2} \Big) \Big( {3 \atop 2} \Big) \\ 8 \;=\; 1! \Big( {2 \atop 1} \Big) \Big( {4 \atop 1} \Big) \,, \end{array}

and all remaining contractions vanish inside the spinor pairing by this lemma.

Now using (15) in (13) yields:

const 1=1/6, const 2=4!/3!const 1/8=+1/12, \begin{array}{l} \mathrm{const}_1 = -1/6 \,, \\ \mathrm{const}_2 = - 4!/3! \, \mathrm{const}_1 / 8 = + 1/12 \,, \end{array}

as claimed.

Lemma

Given the Bianchi identity for G 4 sG^s_4 (12), then the Bianchi identity for G 7 sG^s_7 (8) is equivalent to

  1. the Bianchi identity for the ordinary flux density G 7G_7

  2. its Hodge duality to G 4G_4

  3. another condition on the gravitino field strength

(16)dG 7 s=12G 4 sG 4 s {( a 117!(G 7) a 2a 8)e a 1e a 8=12(14!(G 4) a 1a 414!(G 4) a 5a 8)e a 1e a 8 (G 7) a 1a 7=14!ϵ a 1a bb 1b 4(G 4) b 1b 4 (17!ψ α α(G 7) a 1a 7ψ α+25!(ψ¯Γ a 1a 5ρ a 6a 7))e a 1e a 7=0 \begin{array}{l} \mathrm{d} \, G^s_7 \;=\; \tfrac{1}{2} G^s_4 \, G^s_4 \\ \;\Leftrightarrow\; \left\{ \begin{array}{l} \big( \nabla_{a_1} \tfrac{1}{7!} (G_7)_{a_2 \cdots a_8} \big) e^{a_1} \cdots e^{a_8} \;=\; \tfrac{1}{2} \big( \tfrac{1}{4!} (G_4)_{a_1 \cdots a_4} \, \tfrac{1}{4!} (G_4)_{a_5 \cdots a_8} \big) e^{a_1} \cdots e^{a_8} \\ (G_7)_{a_1 \cdots a_7} \;=\; \tfrac{1}{4!} \epsilon_{a_1 \cdots a_b b_1 \cdots b_4} (G_4)^{b_1 \cdots b_4} \\ \Big( \tfrac{1}{7!} \psi^\alpha \nabla_\alpha (G_7)_{a_1 \cdots a_7} \psi^\alpha \;+\; \frac{2}{5!} \big( \overline{\psi} \Gamma_{a_1 \cdots a_5} \rho_{a_6 a_7} \big) \Big) e^{a_1} \cdots e^{a_7} \;=\; 0 \end{array} \right. \end{array}

This is essentially CDF91, (III.8.50-53).
Proof

The components of the Bianchi identity are

dG 4 s=0 {d(17!(G 7) a 1a 7e a 1e a 715!(ψ¯Γ a 1a 5ψ)e a 1e a 5) =12(14!(G 4) a 1a 4e a 1e a 412(ψ¯Γ a 1a 2ψ))(14!(G 4) a 1a 4e a 1e a 412(ψ¯Γ a 1a 2ψ)) {( a 117!(G 7) a 2a 8=1214!(G 4) a 1a 414!(G 4) a 5a 8)e a 1e a 8 (17!ψ α α(G 7) a 1a 7+25!(ψ¯Γ a 1a 5ρ a 6a 7))e a 1e a 7=0 16!(G 7) a 1a 6b(ψ¯Γ bψ)e a 1e a 6 +21215!14!(G 4) b 1b 4(ψ¯Γ a 1a 5Γ ab 1b 4ψ)e ae a 1e a 5 2615!13!(G 4) ab 1b 2b 3(ψ¯Γ a 1a 5Γ b 1b 2b 3ψ)e ae a 1e a 5 (12(ψ¯Γ a 1a 2ψ)e a 1e a 2)14!(G 4) b 1b 4e b 1e b 4=0,}(G 7) a 1a 6b=14!ϵ a 1a 6bb 1b 4(G 4) b 1b 4 \begin{array}{l} \mathrm{d} \, G_4^s \;=\; 0 \\ \Rightarrow \left\{ \begin{array}{l} \mathrm{d} \Big( \tfrac{1}{7!} (G_7)_{a_1 \cdots a_7} \, e^{a_1} \cdots e^{a_7} - \tfrac{1}{5!} \big( \overline{\psi} \Gamma_{a_1 \cdots a_5} \psi \big) e^{a_1} \cdots e^{a_5} \Big) \\ \;=\; \tfrac{1}{2} \Big( \tfrac{1}{4!} (G_4)_{a_1 \cdots a_4} e^{a_1} \cdots e^{a_4} - \tfrac{1}{2} \big( \overline{\psi} \Gamma_{a_1 a_2} \psi \big) \Big) \Big( \tfrac{1}{4!} (G_4)_{a_1 \cdots a_4} e^{a_1} \cdots e^{a_4} - \tfrac{1}{2} \big( \overline{\psi} \Gamma_{a_1 a_2} \psi \big) \Big) \\ \;\Leftrightarrow\; \left\{ \begin{array}{l} \Big( \nabla_{a_1} \tfrac{1}{7!} (G_7)_{a_2 \cdots a_8} \;=\; \;\tfrac{1}{2}\; \tfrac{1}{4!} (G_4)_{a_1 \cdots a_4} \, \tfrac{1}{4!} (G_4)_{a_5 \cdots a_8} \Big) e^{a_1} \cdots e^{a_8} \\ \Big( \tfrac{1}{7!} \psi^\alpha \nabla_\alpha (G_7)_{a_1 \cdots a_7} + \frac{2}{5!} \big( \overline{\psi} \Gamma_{a_1 \cdots a_5} \rho_{a_6 a_7} \big) \Big) e^{a_1} \cdots e^{a_7} \;=\; 0 \\ \left. \begin{array}{l} \tfrac{1}{6!} (G_7)_{a_1 \cdots a_6 b} \big( \overline{\psi} \,\Gamma^b\, \psi \big) e^{a_1} \cdots e^{a_6} \\ \;\;\;+\, \tfrac{2}{12} \, \tfrac{1}{5!} \, \tfrac{1}{4!} \, (G_4)^{b_1 \cdots b_4} \big( \overline{\psi} \, \Gamma_{a_1 \cdots a_5} \, \Gamma_{a b_1 \cdots b_4}\, \psi \big) e^a \, e^{a_1} \cdots e^{a_5} \\ \;\;-\; \tfrac{2}{6} \tfrac{1}{5!} \tfrac{1}{3!} (G_4)_{a b_1 b_2 b_3} \big( \overline{\psi} \,\Gamma_{a_1 \cdots a_5}\, \Gamma^{b_1 b_2 b_3} \psi \big) e^{a} \, e^{a_1} \cdots e^{a_5} \\ \;\;\;-\, \Big( \tfrac{1}{2} \big( \overline{\psi} \Gamma_{a_1 a_2} \psi \big) e^{a_1} \, e^{a_2} \Big) \tfrac{1}{4!} (G_4)_{b_1 \cdots b_4} \, e^{b_1} \cdots e^{b_4} \;\;=\;\; 0 \,, \end{array} \right\} \Leftrightarrow (G_7)_{a_1 \cdots a_6 b} \;=\; \tfrac{1}{4!} \epsilon_{a_1 \cdots a_6 b b_1 \cdots b_4} (G_4)^{b_1 \cdots b_4} \end{array} \right. \end{array} \right. \end{array}

where:

(i) in the quadratic spinorial component we inserted the expression for ρ\rho from (12), then contracted Γ\Gamma-factors using again this Lemma, and finally observed that of the three spinorial quadratic forms (see there) the coefficients of (ψ¯Γ a 1a 2ψ)\big(\overline{\psi}\Gamma_{a_1 a_2} \psi\big) and of (ψ¯Γ a 1a 6ψ)\big(\overline{\psi}\Gamma_{a_1 \cdots a_6} \psi\big) vanish identically, by a remarkable cancellation of combinatorial prefactors:

  • (21215!14!4!(54)(44)+2615!13!3!(53)(33)1214!)=0(G 4) a 2a 5(ψ¯Γ aa 1ψ)e ae a 1e a 6\underset{= 0 }{\underbrace{\bigg(- \frac{2}{12} \frac{1}{5!} \frac{1}{4!} 4! \Big( { 5 \atop 4 } \Big) \Big( { 4 \atop 4 } \Big) \;+\; \frac{2}{6} \frac{1}{5!} \frac{1}{3!} 3! \Big( { 5 \atop 3 } \Big) \Big( { 3 \atop 3 } \Big) \;-\; \frac{1}{2} \frac{1}{4!} \bigg) } } \; (G_4)_{a_2 \cdots a_5} \big( \overline{\psi} \,\Gamma_{a a_1}\, \psi \big) e^{a} \, e^{a_1} \cdots e^{a_6} \;\;\; (check)

  • (21215!14!2(52)(42)2615!13!3!(51)(31))=0(G 4) a 1a 2b 1b 2(ψ¯Γ a 3a 6 b 1b 2ψ)e a 1e a 6\underset{ = 0 }{ \underbrace{ \bigg( \frac{2}{12} \frac{1}{5!} \frac{1}{4!} 2 \Big( { 5 \atop 2 } \Big) \Big( { 4 \atop 2 } \Big) \;-\; \frac{2}{6} \frac{1}{5!} \frac{1}{3!} 3! \Big( { 5 \atop 1 } \Big) \Big( { 3 \atop 1 } \Big) \bigg) } } \; (G_4)_{a_1 a_2 b_1 b_2} \big( \overline{\psi} \,\Gamma_{a_3 \cdots a_6}{}^{b_1 b_2}\, \psi \big) e^{a_1} \cdots e^{a_6} \;\;\; (check)

(ii) the quartic spinorial component holds identitically, due to the Fierz identity here:

14!(ψ¯Γ a 1a 5ψ)(ψ¯Γ a 1)e a 2e a 5=18((ψ¯Γ a 1a 2ψ)e a 1e a 2)((ψ¯Γ a 1a 2ψ)e a 1e a 2). -\tfrac{1}{4!} \big( \overline{\psi} \,\Gamma_{a_1 \cdots a_5}\, \psi \big) \big( \overline{\psi} \Gamma^{a_1} \big) e^{a_2} \cdots e^{a_5} \;=\; \tfrac{1}{8} \Big( \big( \overline{\psi} \,\Gamma_{a_1 a_2}\, \psi \big) e^{a_1} e^{a_2} \Big) \Big( \big( \overline{\psi} \,\Gamma_{a_1 a_2}\, \psi \big) e^{a_1} e^{a_2} \Big) \,.

Therefore the only spinorial component of the Bianchi identity which is not automatically satisfied is (with Γ 012=ϵ 012\Gamma_{0 1 2 \cdots} = \epsilon_{0 1 2 \cdots}, see there) the vanishing of

16!((G 7) a 1a 6b14!(G 4) b 1b 4ϵ b 1b 4a 1a 6b)(ψ¯Γ bψ), \tfrac{1}{6!} \Big( (G_7)_{a_1 \cdots a_6 b} - \tfrac{1}{4!} (G_4)^{b_1 \cdots b_4} \epsilon_{b_1 \cdots b_4 a_1 \cdots a_6 b} \Big) \big( \overline{\psi} \,\Gamma^b\, \psi \big) \,,

which is manifestly the claimed Hodge duality relation.

Lemma

Given the Bianchi identities for G 4 sG_4^s (12) and G 7 sG_7^s (16), the supergravity fields satisfy their Einstein equations with these source terms:

dG 4 s=0,dG 7 s=12G 4 sG 4 2 {R bm am12δ b aR mn mn=const(G 4) ac 1c 3(G 4) bc 1c 3+constδ b a(G 4) c 1c 4(G 4) c 1c 4(Einstein equation) Γ ba 1a 2ρ a 1a 2=0(Rarita-Schwinger equation) \begin{array}{l} \mathrm{d}\, G_4^s \;=\;0 \,, \;\;\; \mathrm{d}\, G_7^s \;=\; \tfrac{1}{2} G_4^s \, G_4^2 \\ \;\Rightarrow\; \left\{ \begin{array}{l} R^{a m}_{b m} - \tfrac{1}{2} \delta^a_b\, R^{m n}_{m n} \;=\; const\, (G_4)^a{c_1 \cdots c_3} (G_4)_{b c_1 \cdots c_3} + const\, \delta^a_b \, (G_4)^{c_1 \cdots c_4} (G_4)_{c_1 \cdots c_4} \;\;\;\; ({\color{darkblue}\text{Einstein equation}}) \\ \Gamma^{b a_1 a_2} \rho_{a_1 a_2} \;=\; 0 \;\;\;\; ({\color{darkblue}\text{Rarita-Schwinger equation}}) \end{array} \right. \end{array}

This is indicated in CDF91, (III.8.54-60). It follows by solving the super-gravitational Bianchi identities (11), using from the previous lemmas only the form of the gravitino field strength (12).

In conlcusion, the above lemmas give Thm. .

Lagrangian densities

Cosmo-cocycle equations

We discuss how actional functionals for supergravity theories are special cases of this.

In first-order formulation of gravity where the field of gravity is encoded in a vielbein EE and a spin connection Ω\Omega, the Einstein-Hilbert action takes the Palatini form

:(e,ω) XR a 1a 2E a 3E a dϵ a 1a d+, \mathcal{L} : (e,\omega) \mapsto \int_X R^{a_1 a_2} \wedge E^{a_3} \wedge \cdots \wedge E^{a_d} \epsilon_{a_1 \cdots a_d} + \cdots \,,

where R ab=dΩ ab+Ω acΩ c bR^{a b} = \mathbf{d} \Omega^{a b} + \Omega^{a c}\wedge \Omega_c{}^b are the components of the curvature of Ω\Omega and

ϵ a 1a n=sgn(a 1,,a n) \epsilon_{a_1 \cdots a_n} = sgn(a_1, \cdots, a_n)

is the signature of the index-permutation.

If EE and Ω\Omega are components of an ∞-Lie algebroid-valued form Ω (X)W(𝔤):A\Omega^\bullet(X) \leftarrow W(\mathfrak{g}) : A then such a Palatini term is of the form as may appear in a Chern-Simons element

Ω (X)AW(𝔤)csW(b n1):cs(A) \Omega^\bullet(X) \stackrel{A}{\leftarrow} W(\mathfrak{g}) \stackrel{cs}{\leftarrow} W(b^{n-1}\mathbb{R}) : cs(A)

on W(𝔤)W(\mathfrak{g}). We now discuss, following D’Auria-Fré, how the action functionals of supergravity are related to ∞-Chern-Simons theory for Chern-Simons elements on certain super \infty-Lie algebroids.

We discuss a system of equations that characterizes a necessary condition on Chern-Simons elements in the Weil algebra W(𝔤)W(\mathfrak{g}). This condition is called the cosmo-cocycle condition in (DAuriaFre).

To do so, we work in a basis {t a}\{t^a\} of 𝔤 *\mathfrak{g}^*. Let {r a}\{r^a\} be the corresponding shifted basis of 𝔤 *[1]\mathfrak{g}^*[1]. Write {1nC a b 0b n}\{\frac{1}{n}C^a{}_{b_0 \cdots b_n}\} for the structure constants in this basis, so that the differential in the Weil algebra acts as

d W:t a n1nC a b 0b nt b 0t b n+r a. d_W : t^a \mapsto \sum_{n \in \mathbb{N}} \frac{1}{n} C^a{}_{b_0 \cdots b_n} t^{b_0} \wedge \cdots \wedge t^{b_n} + r^a \,.

Write a general element in W(𝔤)W(\mathfrak{g}) as

csλ+r aν a+r ar bν ab++r a 1r a dν a 1a 2, cs \coloneqq \lambda + r^a \wedge \nu_a + r^a \wedge r^b \wedge \nu_{a b} + \cdots + r^{a_1} \wedge \cdots \wedge r^{a_d} \nu_{a_1 \cdots a_2} \,,

where λ,ν a,ν ab,CE(𝔤)\lambda, \nu_a, \nu_{a b}, \cdots \in CE(\mathfrak{g}).

Proposition

The condition that d W(𝔤)(cs)d_{W(\mathfrak{g})} (cs) has no terms linear in the curvatures r ar^a is equivalent to the system of equations

ι t aλ+ν a ι t aλ+d Wν a+(1) |t a|C c ab 1b nt b 1t b nν c =0, \begin{aligned} \iota_{t_a} \lambda + \nabla \nu_a & \coloneqq \iota_{t_a} \lambda + d_W \nu_a + (-1)^{|t_a|} C^c{}_{a b_1 \cdots b_n} t^{b^1} \wedge \cdots t^{b^n} \wedge \nu_c \\ & = 0 \end{aligned} \,,

for all t a𝔤t_a \in \mathfrak{g}.

In DAuriaFre p. 9 this system of equations is called the cosmo-cocycle condition .

Proof

This follows straightforwardly from the definition of the Weil algebra-differential d W(𝔤)d_{W(\mathfrak{g})}:

We have d W(𝔤)=d CE(𝔤)+dd_{W(\mathfrak{g})} = d_{CE(\mathfrak{g})} + \mathbf{d}, where d:t ar a\mathbf{d} : t^a \mapsto r^a. So

d W(𝔤)λ=d CE(𝔤)λ+dλ=d CE(𝔤)λ+ ar aι t aλ. d_{W(\mathfrak{g})} \lambda = d_{CE(\mathfrak{g})} \lambda + \mathbf{d} \lambda = d_{CE(\mathfrak{g})} \lambda + \sum_a r^a \wedge \iota_{t_a} \lambda \,.

Here the first term contains no curvatures, while the second is precisely linear in the curvatures.

Moreover, by the Bianchi identity we have

d W(𝔤)r a= nC a b 0b nr b 0t b 1t b n. d_{W(\mathfrak{g})} r^a = \sum_n C^a{}_{b_0 \cdots b_n} r^{b_0} \wedge t^{b_1} \wedge \cdots \wedge t^{b_n} \,.

Therefore the condition that all terms in d Wcsd_{W} cs that are linear in r ar^a in vanish is

r aι t aλ+(1) |t a|r ad CE(𝔤)ν a+r a nC c ab 1b nt b 1t b nν c =r a(ι t aλ+d CE(𝔤)ν a+(1) |t a| nC c ab 1b nt b 1t b nν c) =0. \begin{aligned} & r^a \wedge \iota_{t_a} \lambda + (-1)^{|t_a|} r^a d_{CE(\mathfrak{g})}\nu_a + r^a \wedge \sum_n C^c{}_{a b_1 \cdots b_n} t^{b_1} \wedge t^{b_n} \wedge \nu_c \\ & = r^a( \iota_{t_a} \lambda + d_{CE(\mathfrak{g})}\nu_a + (-1)^{|t_a|} \sum_n C^c{}_{a b_1 \cdots b_n} t^{b_1}\wedge \cdots \wedge t^{b_n} \wedge \nu_c ) \\ & = 0 \end{aligned} \,.
Remark

For comparison with DAuriaFre notice the following:

  • there all elements t at_a happen to be in even degree. Therefore the extra sign (1) |t a|(-1)^{|t_a|} that we display does not appear.

  • the term that we write d CE(𝔤)ν ad_{CE(\mathfrak{g})} \nu_a is there equivalently expressed as

    d W(𝔤)ν a,atr a=0 d_{W(\mathfrak{g})} \nu_a \;,\;\;\; at\; r^a = 0

    (equation (2.21)).

Examples

Minimal 4-dimensional N=2N=2 supergravity

(…)

5-Dimensional Supergravity

(…)

1111-Dimensional Supergravity

Let 𝔤=𝔰𝔲𝔤𝔯𝔞 6\mathfrak{g} = \mathfrak{sugra}_6 be the supergravity Lie 6-algebra.

The Weil algebra:

d Wc=12ψ¯Γ abψe ae b+r c d_{W} c = \frac{1}{2} \bar \psi \wedge \Gamma^{a b} \psi \wedge e_a \wedge e_b + r^c

(…)

The Bianchi identity

d Wr c=ψ¯Γ abρe ae bψ¯Γ abψθ ae b d_W r^c = \bar \psi \wedge \Gamma^{a b} \rho \wedge e_a \wedge e_b - \bar \psi \wedge \Gamma^{a b} \psi \wedge \theta_a \wedge e_b

The element that gives the action is

11 =19R a 1a 2e a 3e a 11ϵ a 1a 11 + + + + + +840r cψ¯Γ abψe ae bc + +14ψ¯Γ a 1a 2ψψ¯Γ a 3a 4ψe a 5e a 11ϵ a 1a 11 +1415ψ¯Γ a 1a 2ψψ¯Γ a 3a 4ψe a 1e a 4C 840r cr cc \begin{aligned} \ell_{11} &= -\frac{1}{9} R^{a_1 a_2} \wedge e^{a_3} \wedge \cdots \wedge e^{a_{11}} \epsilon_{a_1 \cdots a_{11}} \\ & + \cdots \\ & + \cdots \\ & + \cdots \\ & + \cdots \\ & + \cdots \\ & + 840 r^c \wedge \bar \psi \Gamma^{a b} \psi \wedge e_a \wedge e_b \wedge c \\ & + \cdots \\ & + \frac{1}{4}\bar \psi\wedge \Gamma^{a_1 a_2} \psi \wedge \bar \psi \Gamma^{a_3 a_4} \psi \wedge e^{a_5} \wedge \cdots \wedge e^{a_{11}} \epsilon_{a_1 \cdots a_{11}} \\ & + - 14 \cdot 15 \bar \psi \wedge \Gamma^{a_1 a_2} \psi \wedge \bar \psi \Gamma^{a_3 a_4} \psi \wedge e_{a_1} \wedge \cdots \wedge e_{a_4} \wedge C \\ & -840 r^c \wedge r^c \wedge c \end{aligned}

This is DAuriaFre, page 26.

The first term gives the Palatini action for gravity.

The last terms is the Chern-Simons term for the the supergravity C-field.

The second but last two terms are the cocycle Λ\Lambda.

Remark

The term λ\lambda appearing here (the two terms containing no curvature) are d CEd_{CE}-exact: there is a modification of this element by a d Wd_W-exact term for which the cocycles vanish, λ=0\lambda = 0 (DAuriaFre, page 27 and CastellaniDAuriaFre (III.8.136)). It follows that in particular λ\lambda is d CEd_{CE}-closed. So with the above discussion of the “cosmo-cocycle”-condition the results given in DAuriaFre imply that d W 11d_{W} \ell_{11} has no 0-ary and no unary terms in the curvatures.

We find that the d Wd_W-differential of this Lagrangian term is

d W 11 =r cr cr c R a 1a 2θ a 3e a 11ϵ a 1a 11 + +840{σ(r cψ¯Γ abψe ae bc)+(d W(r cr c))c=0} +840r cr cψ¯Γ abψe ae bi48r cσ(ψ¯Γ a 1a 5ψe a 1e a 5) +. \begin{aligned} d_{W} \ell_{11} & = r^c \wedge r^c \wedge r^c \\ & - R^{a_1 a_2} \wedge \theta^{a_3} \wedge \cdots \wedge e^{a_{11}} \epsilon_{a_1 \cdots a_{11}} \\ & + \cdots \\ & + 840 \{ \sigma(r^c \wedge \bar \psi \Gamma^{a b} \psi \wedge e_a \wedge e_b \wedge c ) + (d_{W}(r^c \wedge r^c)) \wedge c = 0 \} \\ & + 840 r^c \wedge r^c \wedge \bar \psi \Gamma_{a b} \psi\wedge e_a \wedge e_b - i 48 r^c \wedge \sigma(\bar \psi \wedge \Gamma^{a_1 \cdots a_5} \psi \wedge e_{a_1} \wedge \cdots \wedge e_{a_5}) \\ & + \cdots \end{aligned} \,.

This fails to sit in the shifted generators by the terms coming from the translation algebra. For the degree-3 element cc however it does produce the expected term r cr cr cr^c \wedge r^c \wedge r^c.

References

The formulation of supergravity on super spacetime supermanifolds (“superspace”) and the relevance of the Bianchi identities originates with:

The use in this context of super L-∞ algebras in their formal dual incarnation as semifree super-graded commutative dg-algebras was suggested originally in

The original articles that introduced specifically the D’Auria-Fré-formalism for discussion of supergravity in this fashion (“geometric supergravity”):

Monographs:

Review:

See also:

Discussion of gauged supergravity in this way:

Independent dicussion of rheonomy in the guise of “superspace constraints”:

The interpretation of the D’Auria-Fré-formulation as identifying supergravity fields as ∞-Lie algebra valued differential forms is in

The Lie integration of that to genuine principal ∞-connections is in

The super L-∞ algebras that govern the construction are interpreted in the higher gauge theory of an ∞-Wess-Zumino-Witten theory description of the Green-Schwarz sigma-model-type pp-branes in

Apart from that the first vague mention of the observation that the “FDA”-formalism for supergravity is about higher categorical Lie algebras (as far as I am aware, would be grateful for further references) is page 2 of

An attempt at a comprehensive discussion of the formalism in the context of cohesive (∞,1)-topos-theory for smooth super ∞-groupoids is in the last section of

To compare D’Auria-Fre with our language here, notice the following points in their book

  • The statement that a supergravity field is a morphisms ϕ:TXinn(𝔤)\phi : T X \to inn(\mathfrak{g}) or dually a morphism Ω (X)W(𝔤):ϕ\Omega^\bullet(X) \leftarrow W(\mathfrak{g}) : \phi out of the Weil algebra of the supergravity Lie 3-algebra or similar is implicit in (I.3.122)(I.3.122) (but it is evident, comparing with the formulas at Weil algebra) – notice that these authors call ϕ\phi here a “soft form”.

  • What we identify as gauge transformations and shifts by the characterization of curvature forms on the cylinder object U×Δ 1|pU \times \Delta^{1|p} is their equation (I.3.36).

Some more references:

Discussion in this formalism of the Green-Schwarz action functional for the M2-brane sigma-model with a target space 11-dimensional supergravity background is in

Relation to pure spinor-formalism:

See also:

  • S. Salgado, Non-linear realizations and invariant action principles in higher gauge theory [arXiv:2312.08285]

Last revised on March 17, 2024 at 15:53:05. See the history of this page for a list of all contributions to it.