Cartan structure equations

E121356

concept in differential geometry system of equations tool in Riemannian geometry

Cartan structure equations are fundamental differential geometric relations that express curvature and torsion in terms of connection 1-forms on a manifold.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (3)

Label	Occurrences
Cartan structure equations canonical	1
Cartan’s method of moving frames	1
equivalence method of Élie Cartan	1

How this entity was disambiguated

This entity first appeared as the object of triple T1057079 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: Cartan structure equations
Context triple: [Riemann curvature tensor, appearsIn, Cartan structure equations]

A. Christoffel symbols
Christoffel symbols are mathematical objects in differential geometry that represent how coordinate bases change from point to point on a curved space or spacetime, and are used to define covariant derivatives and geodesics.
B. Riemann curvature tensor
The Riemann curvature tensor is a fundamental geometric object in differential geometry that measures how much a Riemannian manifold deviates from being flat by encoding the intrinsic curvature of the space.
C. Levi-Civita connection
The Levi-Civita connection is the unique torsion-free affine connection on a Riemannian manifold that is compatible with its metric, enabling the definition of parallel transport and covariant differentiation.
D. Bianchi identities
The Bianchi identities are geometric relations in differential geometry and general relativity that express the vanishing covariant divergence of the Riemann curvature tensor, leading to conservation laws such as energy-momentum conservation via the Einstein tensor.
E. Janet–Cartan theorem
The Janet–Cartan theorem is a fundamental result in differential geometry stating that any real-analytic Riemannian manifold can be locally isometrically embedded into a Euclidean space of sufficiently high dimension.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: Cartan structure equations
Target entity description: Cartan structure equations are fundamental differential geometric relations that express curvature and torsion in terms of connection 1-forms on a manifold.

A. Christoffel symbols
Christoffel symbols are mathematical objects in differential geometry that represent how coordinate bases change from point to point on a curved space or spacetime, and are used to define covariant derivatives and geodesics.
B. Riemann curvature tensor
The Riemann curvature tensor is a fundamental geometric object in differential geometry that measures how much a Riemannian manifold deviates from being flat by encoding the intrinsic curvature of the space.
C. Levi-Civita connection
The Levi-Civita connection is the unique torsion-free affine connection on a Riemannian manifold that is compatible with its metric, enabling the definition of parallel transport and covariant differentiation.
D. Bianchi identities
The Bianchi identities are geometric relations in differential geometry and general relativity that express the vanishing covariant divergence of the Riemann curvature tensor, leading to conservation laws such as energy-momentum conservation via the Einstein tensor.
E. Janet–Cartan theorem
The Janet–Cartan theorem is a fundamental result in differential geometry stating that any real-analytic Riemannian manifold can be locally isometrically embedded into a Euclidean space of sufficiently high dimension.
F. None of above. chosen

Statements (46)

Predicate	Object
instanceOf	concept in differential geometry ⓘ system of equations ⓘ tool in Riemannian geometry ⓘ
appliesTo	Riemannian manifolds ⓘ principal bundles ⓘ pseudo-Riemannian manifolds ⓘ smooth manifolds ⓘ vector bundles with connection ⓘ
assumes	choice of local frame ⓘ existence of a linear connection ⓘ
describes	curvature ⓘ torsion ⓘ
expresses	curvature 2-forms in terms of connection 1-forms ⓘ torsion 2-forms in terms of connection 1-forms ⓘ
field	Cartan geometry ⓘ Riemannian geometry ⓘ linked to: Riemannian manifolds differential geometry ⓘ theory of connections ⓘ
formalism	expressed in an orthonormal frame ⓘ expressed using differential forms ⓘ
generalizationOf	classical formulas for curvature in coordinates ⓘ
hasPart	first Cartan structure equation ⓘ second Cartan structure equation ⓘ
implies	coordinate expressions for curvature ⓘ coordinate expressions for torsion ⓘ
mathematicalDomain	exterior calculus on manifolds ⓘ global differential geometry ⓘ
namedAfter	Élie Cartan ⓘ
relatedTo	Bianchi identities ⓘ Cartan connection ⓘ Cartan’s method of moving frames ⓘ linked to: Cartan connections Christoffel symbols ⓘ Levi-Civita connection ⓘ Riemann curvature tensor ⓘ torsion tensor ⓘ
usedIn	Cartan’s equivalence method ⓘ gauge theory ⓘ general relativity ⓘ spin geometry ⓘ theory of G-structures ⓘ
usesConcept	Lie algebra-valued differential forms ⓘ coframe fields ⓘ connection 1-forms ⓘ exterior algebra ⓘ exterior derivative ⓘ moving frames ⓘ

How these facts were elicited

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

Riemann curvature tensor → appearsIn → Cartan structure equations ⓘ

Élie Cartan → knownFor → Cartan’s method of moving frames ⓘ

linked to: Cartan structure equations

Vessiot theory of differential equations → relatedTo → equivalence method of Élie Cartan ⓘ