nLab higher Cartan geometry

Contents

Context

Geometry

\infty-Chern-Weil theory

Differential cohomology

Contents

Idea

Higher Cartan geometry is supposed to be the generalization of Cartan geometry to higher geometry; hence the theory of geometric homotopy types (manifolds, orbifolds, Lie groupoids, geometric stacks, smooth groupoids, smooth infinity-groupoids, …) which are locally modeled on homotopy quotients G/HG/H of geometric infinity-groups – the globalized version of higher Klein geometry (see also the survey table below).

More in detail, this means that given a morphism HGH \to G of suitably geometric ∞-groups then a higher Cartan geometry modeled on the homotopy quotient G/HG/H is a higher geometric space XX such as an orbifold, geometric ∞-stack, derived scheme etc. which, in some suitable sense, has its tangent spaces identified with an infinitesimal neighbourhood in G/HG/H.

Just like traditional Cartan geometry (in particular in the guise of G-structures) captures a plethora of relevant kinds of geometries ((pseudo-)Riemannian geometry (Cartan 23), conformal geometry, … complex geometry, symplectic geometry, …, parabolic geometry) so higher Cartan geometry is supposed to similarly govern types of higher differential geometry.

A class of examples where aspects of higher Cartan geometry may be seen to secretly underlie traditional discussion is the theory of super p-brane sigma-models on supergravity target-super-spacetimes. This we consider in the examples below. See also at super-Cartan geometry.

It is therefore maybe curious to note that while Cartan geometry as originating in (Cartan 23) drew its motivation from the mathematical formulation of the theory of Einstein gravity, higher Cartan geometry is well motivated by higher dimensional supergravity such as 10d type II supergravity and heterotic supergravity as well as 11-dimensional supergravity.

Motivation

Here we informally survey motivation for higher Cartan geometry from phenomena and open problems visible in traditional geometry.

  1. Pre-quantization of symplectic geometry

  2. Higher pre-quantization and Parameterized WZW terms

  3. Higher pre-quantization and Globalized WZW terms

    \,

  4. Interlude: Super Cartan geometry

  5. Higher Cartan connections and stacky Cartan geometry

  6. Definite higher WZW terms on stacky Cartan geometries

\,

Alternatively, higher Cartan geometry may be motivated intrinsically simply as the result of synthetically formulating Cartan geometry in homotopy type theory. This is the way in which the definition below proceeds. In the Examples we discuss how this abstract theory indeed serves to inform the motivating phenomena listed here.

Pre-quantization of symplectic geometry

While a symplectic manifold structure (X,ω)(X,\omega) is an example of an (integrable) G-structure, hence of a Cartan geometry, in many applications symplectic forms ω\omega are to be refined to complex line bundles with connection, equivalently circle-bundles with connection L\mathbf{L} (with curvature F L=ωF_{\mathbf{L}} = \omega), a refinement known as geometric prequantization.

(X,ω)prequantization(X,L) (X,\omega) \stackrel{pre-quantization}{\mapsto} (X,\mathbf{L})

While two differential forms on XX are either equal or not, two principal connections on XX may be different and still equivalent. The connection \nabla may have non-trivial automorphisms, while a differential form ω\omega does not. (Readers may be more familiar with this kind of phenomenon from the discussion of the moduli stack of elliptic curves.)

Hence while there is just a set and hence a homotopy 0-type of symplectic forms on XX, there is a groupoid and hence a homotopy 1-type of principal connections on XX. It is in this sense that the pair (X,)(X,\nabla) involves higher geometry, namely homotopy n-types for n>0n \gt 0.

{ω} {L} 0type 1type \array{ \left\{ \omega \right\} && \left\{ \mathbf{L} \right\} \\ 0-type && 1-type }

This implies notably that where ω\omega has a stabilizer group under the diffeomorphism action on XX – the symplectomorphism group –, L\mathbf{L} instead has a “homotopy stabilizer group”,

Stab Diff(X) h(L)={(ϕ:XX, η:ϕ *LL)} Stab^h_{Diff(X)}(\mathbf{L}) = \left\{ \left( \array{ \phi \colon X \stackrel{\simeq}{\to} X\,, \\ \eta \colon \phi^\ast \mathbf{L} \stackrel{\simeq}{\to} \mathbf{L} } \right) \right\}

consisting of pairs of a diffeomorphism ϕ\phi and an isomorphism ϕ *LL\phi^\ast \mathbf{L} \stackrel{\simeq}{\to} \mathbf{L}. This is called the quantomorphism group.

Stab Diff(X) h(L)=QuantMorph(L) Stab Diff(X)(ω)=SymplMorph(ω) \array{ Stab^h_{Diff(X)}(\mathbf{L}) = QuantMorph(\mathbf{L}) \\ Stab_{Diff(X)}(\omega) = SymplMorph(\omega) }

Hence the prequantum geometry (X,L)(X,\mathbf{L}) is still clearly a geometry of sorts, but not a Cartan geometry. On the other hand, it is still similar enough to be usefully regarded form this perspective:

Just like, by the Darboux theorem, every symplectic manifold (X,ω)(X,\omega) has an atlas by charts isomorphic to a symplectic vector space

(V 2n,ω V=dp idq i), (V \simeq \mathbb{R}^{2n}, \omega_V = \mathbf{d}p_i \wedge \mathbf{d}q^i) \,,

so every prequantum line bundle L\mathbf{L} on XX refining ω\omega is equivalent over this atlas to the U(1)U(1)-principal connection given by the globally defined connection for

L Vp idq i. \mathbf{L}_{V} \coloneqq p_i \wedge \mathbf{d}q^i \,.

Moreover, just like the symplectic group Sp(V,ω V)Sp(V,\omega_V) is the stabilizer group of ω V\omega_V under the canonical general linear group-action on VV, so the homotopy stabilizer group of L V\mathbf{L}_V (the part of the quantomorphism group QuantMorph(L V)QuantMorph(\mathbf{L}_V) covering this) is the Mp^c-group, Mp c(V,ω V)=Mp(V,ω V)×/2U(1)Mp^c(V,\omega_V) = Mp(V,\omega_V)\underset{\mathbb{Z}/2\mathbb{Z}}{\times}U(1), the U(1)U(1)-version of the metaplectic group Mp(V,ω V)Mp(V,\omega_V) ,

Stab GL(V) h(L V) Mp c(V,ω V) QuantMorph(V,L V) Sp(V,ω V) SympMorph(V,ω V) Stab GL(V)(ω V) \array{ && Stab^h_{GL(V)}(\mathbf{L}_V) \\ && \simeq \\ && Mp^c(V,\omega_V) &\hookrightarrow& QuantMorph(V,\mathbf{L}_V) \\ \downarrow && \downarrow && \downarrow \\ && Sp(V,\omega_V) &\hookrightarrow& SympMorph(V,\omega_V) \\ && \simeq \\ && Stab_{GL(V)}(\omega_V) }

In this sense metaplectic quantization is a higher analog of symplectic geometry.

While one may well reason, evidently, about pre-quantization of symplectic manifolds without a general theory of higher Cartan geometry in hand, this class of examples serves as a first blueprint for what higher Cartan geometry should be like, and points the way to its higher-degree generalizations considered below.

In particular, recurring themes are

  1. circle n-bundles with connectionL\mathbf{L} higher prequantizing definite forms ω\omega;

  2. their homotopy stabilizer groups/higher quantomorphism groups and the infinity-group extension they form and the higher G-structures associated with them.

Higher pre-quantization and Parameterized WZW terms

A particularly interesting example of a pre-quantization as above is the Kac-Moody central extension of loop groups of compact semisimple Lie group GG (see here).

Loop groups are naturally symplectic geometries, whose symplectic form is the transgression of the canonical left invariant differential 3-form ω 3=,[,]\omega_3 = \langle-,[-,-]\rangle on GG:

(G,ω 3)transgression(LG,ω 2) (G, \omega_3) \stackrel{transgression}{\mapsto} (L G, \omega_2)

Similarly their central extension is the transgression to loop space of a higher-degree analog of traditional pre-quantization down on GG: the canonical left invariant differential 3-form ω 3=,[,]\omega_3 = \langle-,[-,-]\rangle lifts to a circle 2-bundle with connection L 3\mathbf{L}_3, whose curvature 3-form is F L 3=ω 3F_{\mathbf{L}_3} = \omega_3:

(G,L 3)transgression(LG,L 2) (G, \mathbf{L}_3) \stackrel{transgression}{\mapsto} (L G, \mathbf{L}_2)

This L 3\mathbf{L}_3 is also called the WZW gerbe or WZW term, as its volume holonomy serves as the gauge interaction action functional for the Wess-Zumino-Witten sigma model with target space GG.

Now the 2-connections on GG form a 2-groupoid hence a homotopy 2-type, the pair (G, G)(G,\nabla^G) may be regarded as being an object in yet a bit higher differential geometry.

{ω 3} {L 3} 0type 2type \array{ \left\{ \omega_3 \right\} && \left\{ \mathbf{L}_3 \right\} \\ 0-type && 2-type }

Now given a GG-principal bundle

L 3 L 3 P G P X \array{ \mathbf{L}_3 && \mathbf{L}_3^P \\ G &\stackrel{}{\longrightarrow}& P \\ && \downarrow \\ && X }

then a natural question is whether there is a definite parameterization L 3 P\mathbf{L}_3^P of L 3\mathbf{L}_3 to a 2-form connection on PP which restricts fiberwise to G\nabla^G in a suitable sense up to gauge transformation. Such parameterized WZW terms play a key role in heterotic string theory and equivariant elliptic cohomology.

One finds that such definite parameterizations are equivalent to lifts of structure group of the bundle from GG to the homotopy stabilizer group of L 3\mathbf{L}_3 under the right GG-action on itself, and this turns out to be the string 2-group String(G)String(G), which is itself the homotopy quotient of the group of based paths of GG by the Kac-Moody loop group of GG. By the above we may also think of this as a Heisenberg 2-group:

Heis(L 3)=Stab G h(L 3)String(G)(P *G)//LG^ Heis(\mathbf{L}_3) = Stab^h_{G}(\mathbf{L}_3) \simeq String(G) \simeq (P_\ast G) // \widehat{L G}

Hence a definite parameterization of L 3\mathbf{L}_3 over PP is a string structure on PP. The obstruction to that is

These are the obstructions famous from Green-Schwarz anomaly cancellation in heterotic supergravity.

While this class of examples is not yet Cartan geometry proper (higher or not) since the bundle PP here is not a tangent bundle, it contains in it the key aspect of definite parameterizations of higher pre-quantized forms related to higher G-structures. Such definite parameterizations turn out to be part of genuine examples of higher Cartan geometry, to which we turn below and key ingredients of higher Cartan geometry apply to both cases.

But more generally, one considers this situation for WZW terms on coset spaces G/HG/H, relevant in gauged WZW model.

Goal 1 of higher Cartan geometry

Provide obstruction classes for definite parameterizations of higher WZW terms.

This we consider below

Higher pre-quantization and Globalized WZW terms

Often one wants to consider definite parameterizations as above along the tangent bundle of a VV-manifold XX, such that the parameterization comes from a global L\mathbf{L} on XX, a definite globalization of a WZW term.

Given a vector space VV equipped with a (constant, i.e. translationally left invariant) differential (p+2)-form

ω VΩ p+2(V) \omega_V \in \Omega^{p+2}(V)

a natural question to ask is for a VV-manifold XX (i.e. an nn-dimensional manifold if V nV \simeq \mathbb{R}^n) to carry a differential form

ωΩ 2(X) \omega \in \Omega^2(X)

which is a definite form, definite on ω V\omega_V, in that its restriction to each tangent space is equal, up to a GL(V)GL(V)-transformation, to ω V\omega_V.

Standard theory of G-structures easily shows that such definite forms correspond to Stab GL(V)(ω V)Stab_{GL(V)}(\omega_V)-structures on XX, for Stab GL(V)(ω V)Stab_{GL(V)}(\omega_V) the stabilizer group of ω V\omega_V under the canonical GL(V)GL(V)-action (by pullback of differential forms).

For instance if V= 7V = \mathbb{R}^7 and ω VΩ 3(V)\omega_V \in \Omega^3(V) is the associative 3-form, then Stab GL(V)(ω V)=G 2Stab_{GL(V)}(\omega_V) = G_2 is the exceptional Lie group G2 and this yields G2-structures.

But in view of the above discussion one is led to re-state this question for the case that (V,ω V)(V,\omega_V) is refined to a prequantum (p+1)-bundle (V,L p+2)(V,\mathbf{L}_{p+2}).

Just as a 1-connection is precisely the data needed to define line holonomy, so an (p+1)(p+1)-connection is precisely the data needed to define (p+1)(p+1)-volume holonomy

{ω p+2} {L p+2} 0type (p+1)type \array{ \left\{ \omega_{p+2} \right\} && \left\{ \mathbf{L}_{p+2} \right\} \\ 0-type && (p+1)-type }

A definite globalization of such L p+2\mathbf{L}_{p+2} over a VV-manifold XX should be a circle (p+1)-connection L p+1 X\mathbf{L}_{p+1}^X on XX which suitably, up to the relevant higher gauge transformations, restricts locally to L V\mathbf{L}_V.

For instance for first-order integrable such globalizations one would require that (in particular) for each infinitesimal disk 𝔻\mathbb{D} in a VV-cover UU we have an equivalence

L p+2| |𝔻 L p+2 X| |𝔻 𝔻 U V X L p+2 L p+2 X \array{ & \mathbf{L}_{p+2}|_{|\mathbb{D}} & \simeq & \mathbf{L}_{p+2}^X|_{|\mathbb{D}} \\ && \mathbb{D} \\ && \downarrow \\ && U && && \\ & \swarrow && \searrow \\ V && && X \\ \mathbf{L}_{p+2} && && \mathbf{L}_{p+2}^X }

This problem indeed appears in the formulation of super p-brane sigma models on target super-spacetimes. Here VV is a super Minkowski spacetime, ω V\omega_V is an exceptional super Lie algebra cocycle of degree (p+2)(p+2) and the formulation of the Green-Schwarz sigma model requires that it is refined (higher pre-quantized) to a higher WZW term, a pp-form connection. The supergravity equations of motion imply a definite globalization ω\omega of ω V\omega_V of a super-spacetime, but to globally define the GS-WZW model one hence needs to lift this globalization to a (p+1)(p+1)-connection, too (thereby “canceling the classical anomaly” of the model).

These definite globalizations are in particular definite parameterizations, as above, of the restriction of the higher WZW term to the infinitesimal disk-bundle of spacetime,

L p+2| |𝔻 L p+2 X| T infX 𝔻 T infX X \array{ \mathbf{L}_{p+2}|_{|\mathbb{D}} && \mathbf{L}_{p+2}^X|_{T_{inf}X} \\ \mathbb{D} & \longrightarrow& T_{inf}X \\ && \downarrow \\ && X }

Notice that for the infinitesimal disk every diffeomorphism is a linear transformation, hence

Aut(𝔻)GL(V) Aut(\mathbb{D}) \simeq GL(V)

and therefore by the above a definite globalization determines a G-structure for G=Stab GL(V) h(L p+2)G = Stab^h_{GL(V)}(\mathbf{L}_{p+2}). Conversely, the obstruction to such a structure is an obstruction to a definite globalization.

This construction extends to forgetful functor (an (infinity,1)-functor)

{definiteglobalizationsL p+2 X ofL p+2overX}{Stab GL(V) h(L p+2| 𝔻)structures onX}. \left\{ \array{ definite \; globalizations \; \mathbf{L}_{p+2}^X \\ of\; \mathbf{L}_{p+2} \; over \; X } \right\} \longrightarrow \left\{ \array{ Stab^h_{GL(V)}(\mathbf{L}_{p+2}|_{\mathbb{D}})-structures \\ on \; X } \right\} \,.

(For instance in the case of applications to supergravity that we turn to below, these structures are extensions of strutures given by solutions to the super-Einstein equations.

It is here that developing a theory of higher Cartan geometry has much potential, since, while the globalizations of the forms ω V\omega_V have been extensively studied in the literature, the globalization of their pre-quantized refinement to higher WZW-terms L p+2\mathbf{L}_{p+2} has traditionally received almost no attention yet. A brief mentioning of the necessity of considering appears for instance in (Witten 86, p. 17), but traditional tools do get one very far in this question.

More precisely, this is the situation for all those branes in the old brane scan which have no tensor-multiplets on the worldvolume, equivalently those on which no other branes may end (such as the string or the M2-brane, but not the D-branes and not the M5-brane). For more general branes, it turns out that the target space itself is a higher geometric space. This leads us to higher Cartan geometry proper. This we turn to below.)

Accordingly, now the symmetries of L p+2 X\mathbf{L}_{p+2}^X form an extension of the isometries of the induced Stab GL(V) h(L p+2| 𝔻)Stab^h_{GL(V)}(\mathbf{L}_{p+2}|_{\mathbb{D}})-structure.

(B pU(1))FlatConn(X)Stab Diff(X) h(L p+2 X)Isom(X) (\mathbf{B}^p U(1))FlatConn(X) \longrightarrow Stab^h_{Diff(X)}(\mathbf{L}_{p+2}^X) \longrightarrow Isom(X)

One finds that after Lie differentiation these extensions are of the kind konwn in the phyiscs literature as BPS charge extensions.

Goal 2 of higher Cartan geometry

Classify these refined and generalized BPS states.

This we turn to belowsometryGroups).

So far these examples point to higher Cartan geometry modeled on homomorphisms

Stab GL(V) h(L p+2)VStab GL(V) h(L p+2) Stab^h_{GL(V)}(\mathbf{L}_{p+2}) \longrightarrow V \rtimes Stab^h_{GL(V)}(\mathbf{L}_{p+2})

where the homotopy stabilizer group Stab GL(V) h(L p+2)Stab^h_{GL(V)}(\mathbf{L}_{p+2}) is a infinity-group, but where VV is still an ordinary manifold. We now turn (below) to examples that also turn the local model space VV into an higher geometric homotopy type. But first we need a little interlude.

Interlude: Super-Cartan geometry

Before further motivating ever higher Cartan geometry, it serves to pause and realize that while passing from manifolds to stacks, we are in particular first of all generalizing to sheaves. So even before going higher in homotopy degree, one may ask how much of Cartan geometry may be formulated in sheaf toposes, first over the site of smooth manifolds itself, which leads to Cartan geometry in the generality of smooth spaces, and next over sites other than that of smooth manifoldssuper-Cartan geometry.

One key example for this is supergeometry. Where a major application of traditional Cartan geometry is its restriction to orthogonal structures encoding (pseudo-)Riemannian geometry of particular relevance in the theory of gravity, the analogous orthogonal structures in supergeometry serve to set up the theory of supergravity.

More in detail, after picking a dimension dd\in \mathbb{N} and writing ℑ𝔰𝔬( d1,1)\mathfrak{Iso}(\mathbb{R}^{d-1,1}) for the Poincaré Lie algebra, then a choice of “number of supersymmetries” is a choice of real spin representation NN. Then the direct sum

ℑ𝔰𝔬( d1,1|N)ℑ𝔰𝔬( d1,1) evenN odd \mathfrak{Iso}(\mathbb{R}^{d-1,1|N}) \coloneqq \underbrace{\mathfrak{Iso}(\mathbb{R}^{d-1,1})}_{even} \oplus \underbrace{N}_{odd}

regarded as a super vector space with NN in odd degree becomes a super Lie algebra by letting the [even,odd][even,odd] bracket to be given by the defining action and by letting the [odd,odd][odd,odd] bracket be given by a canonically induced bilinear and 𝔬\mathfrak{o}-equivariant pairing – the super Poincaré Lie algebra. This still canonical contains the Lorentz Lie algebra 𝔬( d1,1)\mathfrak{o}(\mathbb{R}^{d-1,1}) and the quotient

d1,1|Nℑ𝔰𝔬( d1,1|N)/𝔬( d1,1) \mathbb{R}^{d-1,1|N} \coloneqq \mathfrak{Iso}(\mathbb{R}^{d-1,1|N})/\mathfrak{o}(\mathbb{R}^{d-1,1})

is called super Minkowski spacetime (equipped with its super translation Lie algebra structure).

From this, a super-Cartan geometry is defined in direct analogy to the Cartan formulation of Riemannian geometry

Cartan geometry𝔤\mathfrak{g}𝔥\mathfrak{h}𝔤/𝔥\mathfrak{g}/\mathfrak{h}
pseudo-Riemannian geometry/Einstein gravityℑ𝔰𝔬( d1,1)\mathfrak{Iso}(\mathbb{R}^{d-1,1})𝔬(d1,1)\mathfrak{o}(d-1,1) d1,1\mathbb{R}^{d-1,1}
supergravityℑ𝔰𝔬( d1,1|N)\mathfrak{Iso}(\mathbb{R}^{d-1,1\vert N})𝔬(d1,1)\mathfrak{o}(d-1,1) d1,1|N\mathbb{R}^{d-1,1\vert N}

Indeed, all the traditional literature on supergravity (e.g. (Castellani-D’Auria-Fré 91)) is phrased, more or less explicitly, in terms of Cartan connections for the inclusion of the Lorentz group into the super Poincaré group, this being the formalization of what physicists mean when saying that they pass to “local supersymmetry”.

It so happens that from within such super-Cartan geometry there appear some of the most interesting examples of what should be higher Cartan geometry, hence higher super-Cartan geometry. This we turn to below.

Higher Cartan connections and Stacky Cartan geometries

A traditional Cartan connection, being a principal connection satisfying some extra conditions, is locally (on some chart UXU \to X) in particular a Lie algebra valued differential form AΩ 1(U,𝔤)A \in \Omega^1(U,\mathfrak{g}). Following Cartan, this is equivalently a homomorphism of dg-algebras of the form

Ω (U)W(𝔤):A \Omega^\bullet(U) \longleftarrow W(\mathfrak{g}) \colon A

from the Weil algebra of the Lie algebra 𝔤\mathfrak{g} to the de Rham complex of UU, equivalently a homomorphism of just graded algebras

Ω (U)CE(𝔤):A \Omega^\bullet(U) \longleftarrow CE(\mathfrak{g}) \colon A

from the Chevalley-Eilenberg algebra of 𝔤\mathfrak{g}. (Requiring this second morphism to also respect the dg-algebra structure, hence the differential, is equivalent to requiring the curvature form F AF_A to vanish, hence to the connection being a flat connection).

In particular for the description of supergravity superspacetimes one considers this for 𝔤=ℑ𝔰𝔬( d1,1|N)\mathfrak{g} = \mathfrak{Iso}(\mathbb{R}^{d-1,1|N}) the super Poincaré Lie algebra of some super Minkowski spacetime d1|N\mathbb{R}^{d-1|N}. This serves to encode a Levi-Civita connection as for ordinary gravity modeled by ordinary orthogonal structure Cartan geometry, together with the gravitino field.

In detail, the Chevalley-Eilenberg algebra CE(ℑ𝔰𝔬( 10,1|N=1))CE(\mathfrak{Iso}(\mathbb{R}^{10,1|N=1})) for 11-dimensional Minkowski spacetime turned super via the unique irreducible 32-dimensional spin representation (see here) is freely generated as a graded commutative superalgebra on

  • elements {e a} a=1 11\{e^a\}_{a = 1}^{11} and {ω ab}\{\omega^{ a b}\} of degree (1,even)(1,even);

  • and elements {ψ α} α=1 32\{\psi^\alpha\}_{\alpha = 1}^{32} of degree (1,odd)(1,odd)

and as a differential graded algebra its differential d CEd_{CE} is determined by the equations

d CEω ab=ω a bω bc d_{CE} \, \omega^{a b} = \omega^a{}_b \wedge \omega^{b c}
d CEe a=ω a be b+i2ψ¯Γ aψ. d_{CE} \, e^{a } = \omega^a{}_b \wedge e^b + \frac{i}{2}\bar \psi \Gamma^a \psi \,.

An algebra homomorphism as above sends these generators to differential forms of the corresponding degree, the vielbein

E aA(e a)Ω (1,even)(U), E^a \coloneqq A(e^a) \in \Omega^{(1,even)}(U) \,,

whe spin connection

Ω a bA(ω a b)Ω (1,even)(U) \Omega^{a}{}_{b} \coloneqq A(\omega^a{}_b) \in \Omega^{(1,even)}(U)

and the gravitino

Ψ αA(ψ α)Ω (1,odd)(U). \Psi^\alpha \coloneqq A(\psi^\alpha) \in \Omega^{(1,odd)}(U) \,.

But a key aspect of higher dimensional supergravity theories is that their field content necessarily includes, in addition to the graviton and the gravitino, higher differential n-form fields, notably the 2-fom B-field of 10-dimensional type II supergravity and heterotic supergravity as well as the 3-form C-field of 11-dimensional supergravity.

This means that these higher dimensional supergravity theories are not in fact entirely described by super-Cartan geometry. This is to be contrasted with the fact that the very motivation for Cartan geometry, in the original article (Cartan 23), was the mathematical formulation of the theory of gravity (general relativity).

Now a key insight due to (D’Auria-Fré-Regge 80, D’Auria-Fré 82) was that the “tensor multiplet” fields of higher dimensional supergravity theories as above are naturally brought into the previous perspective if only one allows more general Chevalley-Eilenberg algebras.

Namely, we may add to the above CE-algabra

  • a single generator c 3c_3 of degree (3,even)(3,even)

and extend the differential to that by the formula

d CEc 3=12ψ¯Γ abψe ae b. d_{CE} \, c_3 = \frac{1}{2}\bar \psi \Gamma^{a b} \wedge \psi \wedge e_a \wedge e_b \,.

This still squares to zero due to the remarkable property of 11d super Minkowski spacetime by which 12ψ¯Γ abψe ae bCE 4(ℑ𝔰𝔬(10,1|N=1))\frac{1}{2}\bar \psi \Gamma^{a b} \wedge \psi \wedge e_a \wedge e_b \in CE^4(\mathfrak{Iso}(10,1|N=1)) is a representative of an exception super-Lie algebra cohomology class. (The collection of all these exceptional classes constitutes what is known as the brane scan).

In the textbook (Castellani-D’Auria-Fré 91) a beautiful algorithm for constructing and handling higher supergravity theories based on such generalized CE-algebras is presented, but it seems fair to say that the authors struggle a bit with the right mathematical perspective to describe what is really happening here.

But from a modern perspective this becomes crystal clear: these generalized CE algebras are CE-algebras not of Lie algebras but of strong homotopy Lie algebra, hence of L-infinity algebras, in fact of Lie (p+1)-algebras for (p+1)(p+1) the degree of the relevant differential form field.

Specifically, we may write the above generalized CE-algebra with the extra degree-3 generator c 3c_3 as the CE-algebra CE(𝔪2𝔟𝔯𝔞𝔫𝔢)CE(\mathfrak{m}2\mathfrak{brane})

of the supergravity Lie 3-algebra 𝔪2𝔟𝔯𝔞𝔫𝔢\mathfrak{m}2\mathfrak{brane}.

Now a morphism

Ω (U)CE(𝔪2𝔟𝔯𝔞𝔫𝔢):A \Omega^\bullet(U) \stackrel{}{\longleftarrow} CE(\mathfrak{m}2\mathfrak{brane}) \;\colon\; A

encodes graviton and gravitino fields as above, but in addition it encodes a 3-form

C 3A(c 3)Ω (3,even)(U) C_3 \coloneqq A(c_3) \in \Omega^{(3,even)}(U)

whose curvature

G 4=dC 3+12Ψ¯Γ abΨE aE b G_4 = \mathbf{d}C_3 + \frac{1}{2}\bar \Psi \Gamma^{a b} \wedge \Psi \wedge E_a \wedge E_b

satisfies a modified Bianchi identity, crucial for the theory of 11-dimensional supergravity (D’Auria-Fré 82).

So this collection of differential form data is no longer a Lie algebra valued differential form, it is an L-infinity algebra valued differential form, with values in the supergravity Lie 3-algebra.

The quotient

^ 10,1|N=1𝔤/𝔥=𝔪2𝔟𝔯𝔞𝔫𝔢/𝔬( 10,1|N=1) \widehat{\mathbb{R}}^{10,1|N=1} \coloneqq \mathfrak{g}/\mathfrak{h} = \mathfrak{m}2\mathfrak{brane} / \mathfrak{o}(\mathbb{R}^{10,1|N=1})

is known as extended super Minkowski spacetime.

The Lie integration of this is a smooth 3-group GG which receives a map from the Lorentz group.

This means that a global description of the geometry which (Castellani-D’Auria-Fré 91) discuss locally on charts has to be a higher kind of Cartan geometry which is locally modeled not just on cosets, but on the homotopy quotients of (smooth, supergeometric, …) infinity-groups.

Definite higher WZW terms on stacky Cartan geometries

Once such a higher Cartan super-spacetime XX as above has been obtained, then we are back to the above question of constructing definite globalizations of WZW terms over it.

Indeed, the super p-brane sigma-models of the D-branes and the M5-brane have WZW terms defined not on plain super Minkowski spacetimes, but on the above extended super Minkowski spacetimes. For instance the WZW term of the M5-brane sigma model is a higher prequantization of the following 7-form (D’Auria-Fré 82)

ω 712ψ¯Γ a 1a 5ψe a 1e a 5+132ψ¯Γ a 1a 2ψe a 1e a 2c 3CE 7(^ 10,1|N=1) \omega_7 \;\coloneqq\; \frac{1}{2} \bar \psi \wedge \Gamma^{a_1 \cdots a_5} \psi \wedge e_{a_1} \wedge \cdots \wedge e_{a_5} + \frac{13}{2} \bar \psi \Gamma^{a_1 a_2} \psi \wedge e_{a_1} \wedge e_{a_2} \wedge c_3 \;\;\; \in CE^7(\widehat{\mathbb{R}}^{10,1|N=1})

on the above extended super Minkowski spacetime, where c 3c_3 is the extra degree-3 generator discussed above.

Under Lie integration this becomes (FSS 13) a degree-7 WZW term defined on a supergeometric 3-group G/HG/H and defining the M5-brane sigma model on a curved supergravity target space means to construct definite globalizations of this over higher Cartan geometries XX modeled on this homotopy quotient G/HG/H.

The result (X,L 7 X)(X,\mathbf{L}^X_7) is a pair which is still analogous to the symplectic geometries that we started with, but is now in higher geometric homotopy theory in every possible sense.

Computing for this case the higher extensions of isometries as above, one finds (dcct, sections 1.2.11.3 and 1.2.15.3.3) the quantomorphism n-group for the supergeometric 7-group with is the Lie integration of the M-theory Lie algebra of XX, witnessing the degree of XX being a “BPS state” of 11d supergravity. These BPS states are known to be an immensely rich mathematical topic (e.g. via their “wall crossing phenomena”), but one sees here that it is but the local and infinitesimal shadow of a much richer structure: higher isometries in higher super-Cartan geometry.

In terms of the physics this refinement corresponds to classical anomaly-cancellation of super p-brane sigma models, a problem that is by and large open.

Goal 3 of higher Cartan geometry

Provide classical anomaly cancellation for super p-brane sigma-models such as the M5-brane.

Definition

(…)

see at differential cohesion the section structures.

(…)

Properties

Obstruction theorems

(…)

Higher extended isometry groups (BPS)

(…)

Examples

Survey

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

Super-Poincaré-geometry, Super pp-brane geometry

Notice that ordinary gravity can be understood as the theory of (O(d,1)Iso(d,1))(O(d,1) \hookrightarrow Iso(d,1))-Cartan geometry, where Iso(d,1)Iso(d,1) is the Poincare group and O(d,1)O(d,1) the orthogonal group of Minkowski space. This is called the first order formulation of gravity.

One can read the D'Auria-Fre formulation of supergravity as saying that higher dimensional supergravity is analogously given by higher Cartan supergeometry. See there and see the examples at higher Klein geometry for more on this.

References

Traditional Cartan geometry goes back to

  • Élie CartanSur les variétés à connexion affine et la théorie de la relativité généralisée (première partie). Annales scientifiques de l’École Normale Supérieure, Sér. 3, 40 (1923), p. 325-412 (NUMDAM)

There is secretly a good bit of higher super-Cartan geometry in the supergravity textbook

based on results and observations due to

Mentioning of the need for definite globalizations of WZW terms is (ever so briefly) in

  • Edward Witten, p. 17 of Twistor - Like Transform in Ten-Dimensions, Nucl. Phys. B266 (1986) 245 (spire)

That there ought to be a systematic study of higher Klein geometry and higher Cartan geometry has been amplified by David Corfield since 2006.

Construction of the higher WZW terms on homotopy quotients G/HG/H of higher super-groups is due to

with more details in (dcct).

A formalization of higher Cartan geometry via differential cohesion is in

Formalization of this in homotopy type theory is in

Last revised on February 21, 2023 at 16:21:55. See the history of this page for a list of all contributions to it.