Lie sphere geometry

E140809

branch of differential geometry geometric theory

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.

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

All labels observed (4)

Label	Occurrences
Laguerre geometry	3
Lie sphere geometry canonical	2
Lie quadric	1
Lie sphere transformations	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.

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

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.

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

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 actions ⓘ linked to: Lie group 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 quadric ⓘ linked to: Lie sphere geometry space of contact elements ⓘ
historicalPeriod	late 19th century ⓘ
relatedTo	Laguerre geometry ⓘ linked to: Lie sphere geometry Möbius geometry ⓘ conformal geometry ⓘ contact geometry ⓘ differential topology ⓘ projective differential geometry ⓘ
studies	Dupin cyclides ⓘ Laguerre geometry ⓘ linked to: Lie sphere 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 groups ⓘ linked to: Lie group projective geometry ⓘ

How these facts were elicited