Cartan magic formula

E582441

formula in differential geometry identity in differential geometry

The Cartan magic formula is a fundamental identity in differential geometry that expresses the Lie derivative of a differential form in terms of the exterior derivative and interior product.

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

All labels observed (6)

Label	Occurrences
Cartan magic formula canonical	2
Cartan calculus	1
Cartan formula for the Lie derivative	1
Cartan homotopy formula	1
Cartan identity for the Lie derivative	1
Cartan magic formula for Lie derivative	1

How this entity was disambiguated

This entity first appeared as the object of triple T6295525 — 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 magic formula
Context triple: [Lie derivative, expressedBy, Cartan magic formula]

A. Maurer–Cartan form
The Maurer–Cartan form is a canonical Lie algebra-valued 1-form on a Lie group that encodes its infinitesimal structure and underlies many constructions in differential geometry and gauge theory.
B. Chern–Weil theory
Chern–Weil theory is a framework in differential geometry that constructs characteristic classes of vector bundles from curvature forms, linking topology and geometry through invariant polynomials.
C. Cartan structure equations
Cartan structure equations are fundamental differential geometric relations that express curvature and torsion in terms of connection 1-forms on a manifold.
D. Cartan theorems A and B
Cartan theorems A and B are fundamental results in complex analytic geometry that characterize coherent analytic sheaves on Stein spaces by guaranteeing the existence of enough global sections and the vanishing of higher cohomology.
E. Cartan connections
Cartan connections are a geometric framework generalizing affine and Riemannian connections that model curved spaces on homogeneous spaces, developed by Élie Cartan.
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 magic formula
Target entity description: The Cartan magic formula is a fundamental identity in differential geometry that expresses the Lie derivative of a differential form in terms of the exterior derivative and interior product.

A. Maurer–Cartan form
The Maurer–Cartan form is a canonical Lie algebra-valued 1-form on a Lie group that encodes its infinitesimal structure and underlies many constructions in differential geometry and gauge theory.
B. Chern–Weil theory
Chern–Weil theory is a framework in differential geometry that constructs characteristic classes of vector bundles from curvature forms, linking topology and geometry through invariant polynomials.
C. Cartan structure equations
Cartan structure equations are fundamental differential geometric relations that express curvature and torsion in terms of connection 1-forms on a manifold.
D. Cartan theorems A and B
Cartan theorems A and B are fundamental results in complex analytic geometry that characterize coherent analytic sheaves on Stein spaces by guaranteeing the existence of enough global sections and the vanishing of higher cohomology.
E. Cartan connections
Cartan connections are a geometric framework generalizing affine and Riemannian connections that model curved spaces on homogeneous spaces, developed by Élie Cartan.
F. None of above. chosen

Statements (46)

Predicate	Object
instanceOf	formula in differential geometry ⓘ identity in differential geometry ⓘ
appliesTo	differential k-form ⓘ smooth manifold ⓘ vector field ⓘ
assumes	smooth structure on the underlying manifold ⓘ
characterizes	Lie derivative as graded derivation of the exterior algebra ⓘ
clarifies	relationship between flow of a vector field and differential forms ⓘ
componentOf	Cartan calculus on differential forms ⓘ
domainOfDefinition	smooth differential forms on a manifold ⓘ
expresses	Lie derivative of a differential form ⓘ
hasAlternativeName	Cartan formula for the Lie derivative ⓘ linked to: Cartan magic formula Cartan identity for the Lie derivative ⓘ linked to: Cartan magic formula
hasStandardNotation	L_X ω = i_X dω + d i_X ω ⓘ
holdsFor	any smooth differential form ω ⓘ any smooth vector field X ⓘ
implies	Lie derivative is determined by flow of the vector field and exterior derivative ⓘ Lie derivative preserves degree of differential forms ⓘ
involvesOperator	Lie derivative L_X ⓘ exterior derivative d ⓘ interior product i_X ⓘ
logicalForm	L_X = i_X d + d i_X as operators on differential forms ⓘ
mathematicalField	geometry ⓘ
mathematicalSubfield	differential geometry ⓘ exterior calculus ⓘ tensor calculus ⓘ
namedAfter	Élie Cartan ⓘ
property	shows that Lie derivative commutes with pullback along flows up to homotopy ⓘ
relatedTo	Cartan homotopy formula ⓘ linked to: Cartan magic formula Cartan’s identity for Lie derivative ⓘ
relatesConcept	Lie derivative ⓘ differential forms ⓘ exterior derivative ⓘ interior product ⓘ
usedFor	computing Lie derivatives of differential forms ⓘ deriving conservation laws in differential form language ⓘ proving Cartan homotopy formula ⓘ
usedIn	Riemannian geometry ⓘ linked to: Riemannian manifolds classical field theory ⓘ differential geometry ⓘ gauge theory ⓘ symplectic geometry ⓘ theory of Lie algebras ⓘ theory of Lie groups ⓘ
usedToShow	Lie derivative commutes with exterior derivative on functions ⓘ naturality of exterior derivative under flows ⓘ

How these facts were elicited