Lie sphere geometry
E140809
Lie sphere geometry is a branch of differential geometry that studies the properties and transformations of spheres (and related objects like planes and points) using the methods of Lie groups and projective geometry.
All labels observed (3)
| Label | Occurrences |
|---|---|
| Laguerre geometry | 2 |
| Lie quadric | 1 |
| Lie sphere geometry canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T1234897 — 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.
Target entity: Lie sphere geometry Context triple: [Sophus Lie, hasConceptNamedAfter, Lie sphere geometry]
-
A.
Theorema Egregium
Theorema Egregium is Gauss’s celebrated theorem in differential geometry showing that the Gaussian curvature of a surface is an intrinsic property independent of how the surface is embedded in space.
-
B.
Erlangen Program
The Erlangen Program is Felix Klein’s influential 1872 framework that classifies and studies geometries based on their underlying symmetry groups and transformation properties.
-
C.
Cartan connections
Cartan connections are a geometric framework generalizing affine and Riemannian connections that model curved spaces on homogeneous spaces, developed by Élie Cartan.
-
D.
Lorentzian geometry
Lorentzian geometry is the branch of differential geometry that studies manifolds equipped with metrics of Lorentzian signature, providing the mathematical framework for general relativity and spacetime physics.
-
E.
Nash embedding theorem
The Nash embedding theorem is a fundamental result in differential geometry that shows any Riemannian manifold can be isometrically embedded into some Euclidean space, thereby realizing abstract curved spaces as concrete subsets of standard Euclidean space.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Target entity: Lie sphere geometry Target entity description: Lie sphere geometry is a branch of differential geometry that studies the properties and transformations of spheres (and related objects like planes and points) using the methods of Lie groups and projective geometry.
-
A.
Theorema Egregium
Theorema Egregium is Gauss’s celebrated theorem in differential geometry showing that the Gaussian curvature of a surface is an intrinsic property independent of how the surface is embedded in space.
-
B.
Erlangen Program
The Erlangen Program is Felix Klein’s influential 1872 framework that classifies and studies geometries based on their underlying symmetry groups and transformation properties.
-
C.
Cartan connections
Cartan connections are a geometric framework generalizing affine and Riemannian connections that model curved spaces on homogeneous spaces, developed by Élie Cartan.
-
D.
Lorentzian geometry
Lorentzian geometry is the branch of differential geometry that studies manifolds equipped with metrics of Lorentzian signature, providing the mathematical framework for general relativity and spacetime physics.
-
E.
Nash embedding theorem
The Nash embedding theorem is a fundamental result in differential geometry that shows any Riemannian manifold can be isometrically embedded into some Euclidean space, thereby realizing abstract curved spaces as concrete subsets of standard Euclidean space.
- F. None of above. chosen
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
branch of differential geometry
ⓘ
geometric theory ⓘ |
| appliesTo |
Euclidean space
ⓘ
hyperbolic space ⓘ spherical space ⓘ |
| basedOn |
Lie group
ⓘ
surface form:
Lie group actions
projective models of spheres ⓘ |
| concerns |
contact between spheres
ⓘ
envelopes of families of spheres ⓘ invariance under Lie sphere transformations ⓘ |
| describes | oriented contact between hyperspheres ⓘ |
| developedBy | Sophus Lie ⓘ |
| fieldOfStudy |
oriented spheres
ⓘ
planes ⓘ points ⓘ spheres ⓘ |
| formalizedIn | pseudo-Riemannian space of signature (n+1,2) ⓘ |
| generalizes |
classical sphere geometry
ⓘ
inversive geometry ⓘ |
| hasApplicationIn |
integrable systems
ⓘ
surface theory ⓘ theory of Dupin hypersurfaces ⓘ theory of isothermic surfaces ⓘ |
| hasKeyObject |
Lie sphere geometry
self-linksurface differs
ⓘ
surface form:
Lie quadric
space of contact elements ⓘ |
| historicalPeriod | late 19th century ⓘ |
| relatedTo |
Lie sphere geometry
self-linksurface differs
ⓘ
surface form:
Laguerre geometry
Möbius geometry ⓘ conformal geometry ⓘ contact geometry ⓘ differential topology ⓘ projective differential geometry ⓘ |
| studies |
Dupin cyclides
ⓘ
Lie sphere geometry self-linksurface differs ⓘ
surface form:
Laguerre geometry
canal surfaces ⓘ contact elements ⓘ contact transformations ⓘ curvature spheres ⓘ properties of spheres ⓘ sphere congruences ⓘ transformations of spheres ⓘ |
| usesConcept |
contact structure
ⓘ
homogeneous coordinates for spheres ⓘ null cone in pseudo-Euclidean space ⓘ |
| usesGroup |
Lie sphere group
ⓘ
orthogonal group O(n+1,2) ⓘ |
| usesMethod |
Lie group
ⓘ
surface form:
Lie groups
projective geometry ⓘ |
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.
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.
Subject: Lie sphere geometry Description of subject: Lie sphere geometry is a branch of differential geometry that studies the properties and transformations of spheres (and related objects like planes and points) using the methods of Lie groups and projective geometry.
Referenced by (4)
Full triples — surface form annotated when it differs from this entity's canonical label.