A Cartan connection is a principal connection on a smooth manifold equipped with a certain compatibility condition with the tangent bundle of the manifold. It combines the concept of G-structure with that of soldering form. This combination allows us to express various types of geometric structures on – such as notably (pseudo-)Riemannian geometry, conformal geometry and many more (see below) – in terms of connection data, i.e. in terms of nonabelian differential cohomology-data. In particular the first order formulation of gravity in terms of Cartan connections has been one of the historical motivations (Cartan 23).
In a little bit more detail, a Cartan connection on a manifold for a given subgroup inclusion is data that identifies all the tangent spaces of with the tangent space of the coset space Klein geometry , such that the choice of these identifications is transported along compatibly.
Therefore a manifold equipped with a Cartan connection is also called a Cartan geometry (see also there), a generalization (globalization) of the concept of Klein geometry.
In yet a little bit more detail, an -Cartan connection on is a -principal connection on equipped with a reduction of its structure group along and such that the connection 1-form linearly identifies each tangent space of with the tangent space of the coset space.
The concept essentially originates around (Cartan 23), but the formulation in terms of principal connections and in fact the terminology “Cartan connection” is due to Charles Ehresmann who formulated principal connections as what, in turn, today are called Ehresmann connections (Ehresmann 50).
In (Ehresmann 50) Cartan’s ideas are formalized (see Marle 14, page 9, 10 for review) by saying that an -Cartan connection is a -Ehresmann connection on a -principal bundle equipped with an -principal subbundle , such that the restriction of the connection form along this inclusion yields a form that determines an isomorphism of each tangent space of with .
Let be a Lie group and a sub-Lie group. (So that we may think of the coset space as a Klein geometry.) Write for the corresponding Lie algebras.
There are various equivalent forms of the definition of Cartan connections. The following one characterizes it as a -principal connection equipped with extra structure and property.
A -Cartan connection over a smooth manifold is;
a -principal connection on ;
such that
there is a reduction of structure groups along ;
for each point the canonical composite (for any local trivialization)
is an isomorphism.
More explicitly for various component-realizations of principal connections, this means the following:
In terms of Ehresmann connection-data def. says that an -Cartan connection is an Ehresmann connection form on a -principal bundle together with an -principal bundle and an -equivariant map such that yields an isomorphism .
In this form the definition is due to (Ehresmann 50), recalled in (Marle 14, def. 4). Often this definition is stated by describing directly without mentioning of , e.g. (Sharpe 97, section 5.3, def. 3.1, Cap-Slovák 09, 1.5.1). Beware that is a principal connection but is not.
In terms of Cech cocycle data, def. says that an -Cartan connection is a cover equipped with 1-forms and with transition functions such that
on ;
on ;
.
In this form, the definition appears in (Sharpe 97, section 5.1 def. 1.3 together with section 5.2, Cap-Slovák 09, 1.5.4).
See also Wikipedia – Cartan connection – As principal connections.
Given a Cartan connection , def. , its torsion of a Cartan connection is the image of its curvature under the projection .
(Sharpe, section 5.3, below def. 3.1, Cap-Slovák 09, section 1.5.7, p. 85, Lott 01, section 3).
In the case of vanishing torsion, the resulting flat parallel transport with values in identifies an open neighbourhood of each point of with an open neighbourhood in .
The last clause in def. says that the tangent space of at any point is being identified with the tangent space of the homogeneous space at the base point . This may be visualized by imagining that “tangentially touches” at and .
But by homogeneity, all the tangent spaces of are isomorphic, and canonically so by left translation. Hence by the path-lifting property of principal connections, one may (at least for vanishing torsion, def. ) visualize the Cartan connection as describing how the touching at “rolls” along paths (infinitesimal paths, vectors) through . This picture of “rolling” is particularly vivid for the case that is the inclusion of orthogonal groups, which gives that is the n-sphere (for more on this see at conformal connection).
This picture of model spaces rolling along was influential in the historical development of the concept of Cartan geometry in the spirit of Klein geometry.
We discuss a synthetic formulation of Cartan connections in terms of differential cohesion.
under construction
Write
for the sheaf (on the site of formal smooth manifolds) of Lie algebra valued differential forms, regarded as the smooth moduli space of -differential forms (as explained at geometry of physics in the chapter on differential forms)
for the universal moduli stack of connections, which is equivalently the homotopy quotient of by the action of (regarded as a smooth group) by gauge transformations;
for the homotopy quotient by just the subgroup ;
for the canonical morphism.
There is a homotopy fiber sequence of smooth groupoids
where is the -Maurer-Cartan form modulo .
A detailed proof for the statement as given is spelled out at this proposition.
But this statement holds generally in cohesive (∞,1)-toposes and an argument at this generality proceeds as follows: via the discussion at ∞-action the action of on is exhibited by the forgetful map and since the action of on is the restricted action, the square on the right of
is a homotopy pullback. From this the pasting law implies that in the top left corner we have indeed , this being the homotopy fiber of . Similar considerations show that the top left map is the abstractly defined Maurer-Cartan form.
For a semisimple compact Lie group and a maximal torus, then prop. plays a central role in the stacky formulation of the orbit method. See there at this proposition.
We need this and one more ingredient for synthetically formalizing Cartan connections:
Let be the first-oder infinitesimal neighbourhood of a point in a manifold . This being first order means that every differential p-form for vanishes on . In particular therefore every principal connection restricted to becomes a flat connection and hence is indeed gauge equivalent to the trivial connection. In particular every map
has a null-homotopy, hence fits into a square of the form
It follows by prop. that here factors through the Maurer-Cartan form
The following is a synthetic formulation of Cartan connections, def. .
Let be a smooth set. Then an -Cartan connection on is
equipped with a reduction of structure groups given by a lift through in prop.
such that over each first-order infinitesimal neighbourhood any induced factorization, via remark ,
is formally étale.
We discuss here some weakining of the above definition of Cartan connection that have their uses.
…(Kuranishi 95)…
Let be the Poincare group and the orthogonal group . Then the quotient
is Lorentzian spacetime. Therefore an -Cartan connection is equivalently an -connection on a manifold whose tangent spaces look like Minkowski spacetime: this is equivalently a pseudo-Riemannian manifold from the perspective discussed at first-order formulation of gravity:
the -valued part of the connection is the vielbein.
More generally, G-structures equipped with compatible principal connections are given by Cartan connections. (We will speak of “-structure” here, since the reduced structure will correspond to the group denoted above, while what is denoted above will be the semidirect product of with the translation group).
Let be a Lie group homomorphism, so that reduction of the structure group of the frame bundle of a manifold of dimension along this map is an H-structure on the manifold. Then write
for the semidirect product of with the translation group , given via the induced action of on via the canonical action of the general linear group .
With this an -Cartan connection is equivalently an H-structure equipped with a vielbein field and with an -principal connection.
(CapSlovak 09, section 1.3.6 and 1.6.1)
With this identification the torsion of a Cartan connection maps into the torsion of a G-structure.
The idea originates in Élie Cartan‘s “method of moving frames” (cf. Cartan geometry)L
Historical review:
The formalization in terms of principal connections (in their incarnation as Ehresmann connections) is due to
reviewed in
see also
Introduction:
Monographs:
Richard W. Sharpe, Differential geometry – Cartan’s generalization of Klein’s Erlagen program, Graduade Texts in Mathematics 166, Springer (1997) [ISBN:9780387947327]
Andreas Čap, Jan Slovák, chapter 1 of: Parabolic Geometries I – Background and General Theory, AMS (2009) [ISBN:978-1-4704-1381-1]
Discussion with an eye towards first-order formulation of gravity:
Gabriel Catren, Geometrical Foundations of Cartan Gauge Gravity, Int. J. Geom. Methods in Modern Physics 12 04 (2015) 1530002 [arXiv:1407.7814, doi:10.1142/S0219887815300020]
Kirill Krasnov, §3 in: Formulations of General Relativity, Cambridge Monographs on Mathematical Physics, Cambridge University Press (2020) [doi:10.1017/9781108674652, taster:pdf]
Discussion with an eye towards torsion constraints in supergravity:
John Lott, Torsion Constraints in Supergravity, Comm. Math. Phys. 133 (1990) 563-615
John Lott, The Geometry of Supergravity Torsion Constraints [arXiv:0108125]
See also
Masatake Kuranishi, CR geometry and Cartan geometry, Forum mathematicum (1995) Volume: 7, Issue: 2, page 147-206 (EuDML page, page with link to pdf)
Dmiti Alekseevesky, Peter Michor, Differential geometry of Cartan connections Publ. Math. Debrecen 47/3-4 (1995), 349-375 (pdf)
Further discussion of Cartan connections as models for the first order formulation of gravity is in
Derek Wise, MacDowell-Mansouri gravity and Cartan geometry, Class.Quant.Grav.27:155010,2010 (arXiv:gr-qc/0611154)
Gabriel Catren, Geometrical Foundations of Cartan Gauge Gravity (arXiv:1407.7814)
See also
On Cartan structural equations and their Bianchi identities for curvature and torsion of Cartan moving frames and (Cartan-)connections on tangent bundles (especially in first-order formulation of gravity):
The original account:
Historical review:
Further discussion:
Shiing-Shen Chern, p. 748 of: A Simple Intrinsic Proof of the Gauss-Bonnet Formula for Closed Riemannian Manifolds, Annals of Mathematics, Second Series, 45 4 (1944) 747-752 [doi:10.2307/1969302]
Leonardo Castellani, Riccardo D'Auria, Pietro Fré, §I.2 in: Supergravity and Superstrings - A Geometric Perspective, World Scientific (1991) [doi:10.1142/0224, toc: pdf, ch I.2: pdf]
Sigurdur Helgason, §I.8 in: Differential geometry, Lie groups and symmetric spaces, Graduate Studies in Mathematics 34 (2001) [ams:gsm-34]
C. C. Briggs, A Sequence of Generalizations of Cartan’s Conservation of Torsion Theorem [arXiv:gr-qc/9908034]
Loring Tu, §22 in: Differential Geometry – Connections, Curvature, and Characteristic Classes, Springer (2017) [ISBN:978-3-319-55082-4]
Thoan Do, Geoff Prince, An intrinsic and exterior form of the Bianchi identities, International Journal of Geometric Methods in Modern Physics 14 01 (2017) 1750001 [doi:10.1142/S0219887817500013, arXiv:1501.01123]
Ivo Terek Couto, Cartan Formalism and some computations [pdf, pdf]
Generalization to supergeometry (motivated by supergravity):
Julius Wess, Bruno Zumino, p. 362 of: Superspace formulation of supergravity, Phys. Lett. B 66 (1977) 361-364 [doi:10.1016/0370-2693(77)90015-6]
Richard Grimm, Julius Wess, Bruno Zumino, §2 in: A complete solution of the Bianchi identities in superspace with supergravity constraints, Nuclear Phys. B 152 (1979) 255-265 [doi:10.1016/0550-3213(79)90102-0]
Leonardo Castellani, Riccardo D'Auria, Pietro Fré, §III.3.2 in: Supergravity and Superstrings - A Geometric Perspective, World Scientific (1991) [doi:10.1142/0224, toc: pdf, ch III.3: pdf]
Last revised on April 10, 2024 at 07:43:20. See the history of this page for a list of all contributions to it.