derived smooth geometry
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 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 of suitably geometric ∞-groups then a higher Cartan geometry modeled on the homotopy quotient is a higher geometric space such as an orbifold, geometric ∞-stack, derived scheme etc. which, in some suitable sense, has its tangent spaces identified with an infinitesimal neighbourhood in .
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.
Here we informally survey motivation for higher Cartan geometry from phenomena and open problems visible in traditional geometry.
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.
While a symplectic manifold structure is an example of an (integrable) G-structure, hence of a Cartan geometry, in many applications symplectic forms are to be refined to complex line bundles with connection, equivalently circle-bundles with connection (with curvature ), a refinement known as geometric prequantization.
While two differential forms on are either equal or not, two principal connections on may be different and still equivalent. The connection may have non-trivial automorphisms, while a differential form 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 , there is a groupoid and hence a homotopy 1-type of principal connections on . It is in this sense that the pair involves higher geometry, namely homotopy n-types for .
Hence the prequantum geometry 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:
Moreover, just like the symplectic group is the stabilizer group of under the canonical general linear group-action on , so the homotopy stabilizer group of (the part of the quantomorphism group covering this) is the Mp^c-group, , the -version of the metaplectic group ,
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
Similarly their central extension is the transgression to loop space of a higher-degree analog of traditional pre-quantization down on : the canonical left invariant differential 3-form lifts to a circle 2-bundle with connection , whose curvature 3-form is :
Now given a -principal bundle
then a natural question is whether there is a definite parameterization of to a 2-form connection on which restricts fiberwise to 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 to the homotopy stabilizer group of under the right -action on itself, and this turns out to be the string 2-group , which is itself the homotopy quotient of the group of based paths of by the Kac-Moody loop group of . By the above we may also think of this as a Heisenberg 2-group:
While this class of examples is not yet Cartan geometry proper (higher or not) since the bundle 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.
This we consider below
Often one wants to consider definite parameterizations as above along the tangent bundle of a -manifold , such that the parameterization comes from a global on , a definite globalization of a WZW term.
a natural question to ask is for a -manifold (i.e. an -dimensional manifold if ) to carry a differential form
This problem indeed appears in the formulation of super p-brane sigma models on target super-spacetimes. Here is a super Minkowski spacetime, is an exceptional super Lie algebra cocycle of degree and the formulation of the Green-Schwarz sigma model requires that it is refined (higher pre-quantized) to a higher WZW term, a -form connection. The supergravity equations of motion imply a definite globalization of of a super-spacetime, but to globally define the GS-WZW model one hence needs to lift this globalization to a -connection, too (thereby “canceling the classical anomaly” of the model).
It is here that developing a theory of higher Cartan geometry has much potential, since, while the globalizations of the forms have been extensively studied in the literature, the globalization of their pre-quantized refinement to higher WZW-terms 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 form an extension of the isometries of the induced -structure.
This we turn to belowsometryGroups).
So far these examples point to higher Cartan geometry modeled on homomorphisms
where the homotopy stabilizer group is a infinity-group, but where is still an ordinary manifold. We now turn (below) to examples that also turn the local model space into an higher geometric homotopy type. But first we need a little interlude.
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 manifolds – super-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.
regarded as a super vector space with in odd degree becomes a super Lie algebra by letting the bracket to be given by the defining action and by letting the bracket be given by a canonically induced bilinear and -equivariant pairing – the super Poincaré Lie algebra. This still canonical contains the Lorentz Lie algebra and the quotient
From this, a super-Cartan geometry is defined in direct analogy to the Cartan formulation of Riemannian geometry
|pseudo-Riemannian geometry/Einstein gravity|
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.
A traditional Cartan connection, being a principal connection satisfying some extra conditions, is locally (on some chart ) in particular a Lie algebra valued differential form . Following Cartan, this is equivalently a homomorphism of dg-algebras of the form
from the Chevalley-Eilenberg algebra of . (Requiring this second morphism to also respect the dg-algebra structure, hence the differential, is equivalent to requiring the curvature form to vanish, hence to the connection being a flat connection).
In particular for the description of supergravity superspacetimes one considers this for the super Poincaré Lie algebra of some super Minkowski spacetime . 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 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 and of degree ;
and elements of degree
An algebra homomorphism as above sends these generators to differential forms of the corresponding degree, the vielbein
whe spin connection
and the gravitino
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
and extend the differential to that by the formula
This still squares to zero due to the remarkable property of 11d super Minkowski spacetime by which 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 the degree of the relevant differential form field.
Specifically, we may write the above generalized CE-algebra with the extra degree-3 generator as the CE-algebra
of the supergravity Lie 3-algebra .
Now a morphism
is known as extended super Minkowski spacetime.
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.
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)
on the above extended super Minkowski spacetime, where 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 and defining the M5-brane sigma model on a curved supergravity target space means to construct definite globalizations of this over higher Cartan geometries modeled on this homotopy quotient .
The result 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 220.127.116.11 and 18.104.22.168.3) the quantomorphism n-group for the supergeometric 7-group with is the Lie integration of the M-theory Lie algebra of , witnessing the degree of 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.
|geometric context||gauge group||stabilizer subgroup||local model space||local geometry||global geometry||differential cohomology||first order formulation of gravity|
|differential geometry||Lie group/algebraic group||subgroup (monomorphism)||quotient (“coset space”)||Klein geometry||Cartan geometry||Cartan connection|
|examples||Euclidean group||rotation group||Cartesian space||Euclidean geometry||Riemannian geometry||affine connection||Euclidean gravity|
|Poincaré group||Lorentz group||Minkowski spacetime||Lorentzian geometry||pseudo-Riemannian geometry||spin connection||Einstein gravity|
|anti de Sitter group||anti de Sitter spacetime||AdS gravity|
|de Sitter group||de Sitter spacetime||deSitter gravity|
|linear algebraic group||parabolic subgroup/Borel subgroup||flag variety||parabolic geometry|
|conformal group||conformal parabolic subgroup||Möbius space||conformal geometry||conformal connection||conformal gravity|
|supergeometry||super Lie group||subgroup (monomorphism)||quotient (“coset space”)||super Klein geometry||super Cartan geometry||Cartan superconnection|
|examples||super Poincaré group||spin group||super Minkowski spacetime||Lorentzian supergeometry||supergeometry||superconnection||supergravity|
|super anti de Sitter group||super anti de Sitter spacetime|
|higher differential geometry||smooth 2-group||2-monomorphism||homotopy quotient||Klein 2-geometry||Cartan 2-geometry|
|cohesive ∞-group||∞-monomorphism (i.e. any homomorphism)||homotopy quotient of ∞-action||higher Klein geometry||higher Cartan geometry||higher Cartan connection|
|examples||extended super Minkowski spacetime||extended supergeometry||higher supergravity: type II, heterotic, 11d|
Notice that ordinary gravity can be understood as the theory of -Cartan geometry, where is the Poincare group and 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.
Traditional Cartan geometry goes back to
There is secretly a good bit of higher super-Cartan geometry in the supergravity textbook
based on results and observations due to
Riccardo D'Auria, Pietro Fré Geometric Supergravity in D=11 and its hidden supergroup, Nuclear Physics B201 (1982) 101-140
Mentioning of the need for definite globalizations of WZW terms is (ever so briefly) in
Construction of the higher WZW terms on homotopy quotients of higher super-gorups is due to
with more details in (dcct).
A formalization of higher Cartan geometry via differential cohesion is in