Maurer–Cartan form
E542126
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.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Maurer–Cartan form canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T5705529 — 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: Maurer–Cartan form Context triple: [Cartan connection, influencedBy, Maurer–Cartan form]
-
A.
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.
-
B.
Cartan connections
Cartan connections are a geometric framework generalizing affine and Riemannian connections that model curved spaces on homogeneous spaces, developed by Élie Cartan.
-
C.
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.
-
D.
Kähler form
A Kähler form is a closed, positive-definite (1,1)-form that defines the compatible symplectic and Hermitian structure on a Kähler manifold.
-
E.
Poincaré lemma
The Poincaré lemma is a fundamental result in differential geometry and topology stating that every closed differential form on a star-shaped (or more generally, contractible) domain is locally exact.
- 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: Maurer–Cartan form Target entity description: 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.
-
A.
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.
-
B.
Cartan connections
Cartan connections are a geometric framework generalizing affine and Riemannian connections that model curved spaces on homogeneous spaces, developed by Élie Cartan.
-
C.
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.
-
D.
Kähler form
A Kähler form is a closed, positive-definite (1,1)-form that defines the compatible symplectic and Hermitian structure on a Kähler manifold.
-
E.
Poincaré lemma
The Poincaré lemma is a fundamental result in differential geometry and topology stating that every closed differential form on a star-shaped (or more generally, contractible) domain is locally exact.
- F. None of above. chosen
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
Lie algebra-valued 1-form
ⓘ
differential 1-form ⓘ geometric structure ⓘ |
| appearsIn |
BRST formalism
NERFINISHED
ⓘ
L_ ∞-algebra theory ⓘ Wess–Zumino–Witten models NERFINISHED ⓘ definition of Cartan connection ⓘ deformation theory ⓘ integrability conditions for G-structures ⓘ nonlinear sigma models in theoretical physics ⓘ theory of principal bundles ⓘ |
| codomainIncludes | tensor product of cotangent bundle with Lie algebra ⓘ |
| definedAs | g^{-1}dg for matrix Lie groups ⓘ |
| definedOn | Lie group ⓘ |
| determines | Lie bracket on the Lie algebra ⓘ |
| domainIncludes | every point of the Lie group ⓘ |
| encodes | infinitesimal structure of a Lie group ⓘ |
| generalizes | logarithmic derivative on Lie groups ⓘ |
| is |
canonical
ⓘ
flat connection form on a principal bundle over the Lie group ⓘ invariant under right action up to adjoint action ⓘ left-invariant ⓘ |
| isCharacterizedBy |
being identity on the Lie algebra at the identity element
ⓘ
left-translation invariance ⓘ |
| isToolFor |
constructing representations of Lie groups
ⓘ
describing gauge fields as connection 1-forms ⓘ studying local properties of Lie groups ⓘ |
| namedAfter |
Ludwig Maurer
NERFINISHED
ⓘ
Élie Cartan NERFINISHED ⓘ |
| pullbackBy | left translation on the Lie group ⓘ |
| relatedTo |
exponential map of a Lie group
ⓘ
holonomy of flat connections ⓘ structure constants of a Lie algebra ⓘ |
| satisfies | Maurer–Cartan equation NERFINISHED ⓘ |
| takesValuesIn | Lie algebra ⓘ |
| transformsBy | adjoint representation of the Lie group ⓘ |
| usedIn |
Cartan geometry
NERFINISHED
ⓘ
Lie algebra cohomology ⓘ Lie group theory NERFINISHED ⓘ connection theory ⓘ differential geometry ⓘ gauge theory ⓘ |
| usedToDefine |
canonical symplectic form on cotangent bundle of a Lie group
ⓘ
left-invariant vector fields ⓘ right-invariant vector fields ⓘ |
| usedToExpress |
curvature of connections
ⓘ
structure equations of Cartan ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Maurer–Cartan form Description of subject: 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.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject surface form:
Cartan connection