Ehresmann connection
E542125
An Ehresmann connection is a geometric structure on a fiber bundle that specifies a way to consistently split tangent spaces into vertical and horizontal parts, enabling the definition of parallel transport.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Ehresmann connection canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T5705494 — 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: Ehresmann connection Context triple: [Cartan connection, generalizes, Ehresmann connection]
-
A.
Cartan connections
Cartan connections are a geometric framework generalizing affine and Riemannian connections that model curved spaces on homogeneous spaces, developed by Élie Cartan.
-
B.
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.
-
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.
Lie bracket
The Lie bracket is a bilinear, antisymmetric operation on a Lie algebra that measures the noncommutativity of its elements and encodes its infinitesimal structure.
-
E.
theory of G-structures
The theory of G-structures is a framework in differential geometry that studies geometric structures on manifolds defined by reductions of the frame bundle to a Lie group G, encompassing and unifying many classical geometries such as Riemannian, symplectic, and complex structures.
- 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: Ehresmann connection Target entity description: An Ehresmann connection is a geometric structure on a fiber bundle that specifies a way to consistently split tangent spaces into vertical and horizontal parts, enabling the definition of parallel transport.
-
A.
Cartan connections
Cartan connections are a geometric framework generalizing affine and Riemannian connections that model curved spaces on homogeneous spaces, developed by Élie Cartan.
-
B.
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.
-
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.
Lie bracket
The Lie bracket is a bilinear, antisymmetric operation on a Lie algebra that measures the noncommutativity of its elements and encodes its infinitesimal structure.
-
E.
theory of G-structures
The theory of G-structures is a framework in differential geometry that studies geometric structures on manifolds defined by reductions of the frame bundle to a Lie group G, encompassing and unifying many classical geometries such as Riemannian, symplectic, and complex structures.
- F. None of above. chosen
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
connection on a fiber bundle
ⓘ
geometric structure ⓘ |
| appearsIn |
geometric theory of ordinary differential equations
ⓘ
modern formulations of gauge fields ⓘ submersion theory ⓘ |
| appliesTo |
general smooth fiber bundles
ⓘ
principal bundles ⓘ vector bundles ⓘ |
| characterizedBy |
choice of horizontal subspace at each point of the total space
ⓘ
smooth variation of horizontal subspaces ⓘ |
| contrastsWith |
Levi-Civita connection
NERFINISHED
ⓘ
linear connection defined via covariant derivative on sections ⓘ |
| curvatureMeasures | non-integrability of the horizontal distribution ⓘ |
| definedOn | fiber bundle ⓘ |
| defines |
horizontal lift of curves
ⓘ
horizontal lift of vector fields ⓘ |
| enables | parallel transport along curves in the base space ⓘ |
| formalizedAs | smooth horizontal distribution complementary to the vertical distribution ⓘ |
| generalizes |
affine connection on a manifold
ⓘ
linear connection on a vector bundle ⓘ |
| hasComponent |
horizontal distribution
ⓘ
vertical distribution ⓘ |
| hasCurvature | Ehresmann curvature NERFINISHED ⓘ |
| hasProperty |
horizontal subspaces are complementary to vertical subspaces
ⓘ
vertical subspaces are kernels of the differential of the bundle projection ⓘ |
| integrableIf | horizontal distribution is tangent to a foliation by local sections ⓘ |
| is | connection concept independent of linear structure on fibers ⓘ |
| namedAfter | Charles Ehresmann NERFINISHED ⓘ |
| relatedTo |
connection 1-form
ⓘ
curvature of a connection ⓘ principal connection ⓘ |
| requires |
smooth bundle projection
ⓘ
smooth structure on base space ⓘ smooth structure on total space ⓘ |
| splits | tangent bundle of the total space of a fiber bundle ⓘ |
| splitsInto |
horizontal subbundle
ⓘ
vertical subbundle ⓘ |
| studiedIn | Ehresmann’s theory of connections and fiber spaces ⓘ |
| usedFor |
defining geodesic-like curves in fiber bundles
ⓘ
lifting symmetries from base to total space ⓘ |
| usedIn |
category theory inspired geometry
ⓘ
differential geometry ⓘ gauge theory ⓘ global analysis ⓘ theory of foliations ⓘ |
| usedToDefine |
covariant derivative along curves
ⓘ
holonomy of a fiber bundle ⓘ |
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: Ehresmann connection Description of subject: An Ehresmann connection is a geometric structure on a fiber bundle that specifies a way to consistently split tangent spaces into vertical and horizontal parts, enabling the definition of parallel transport.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject surface form:
Cartan connection