Liouville surface
E898516
A Liouville surface is a type of Riemannian surface on which the geodesic flow is integrable, typically characterized by a metric that can be written in separable (Liouville) form in suitable coordinates.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Liouville metrics | 1 |
| Liouville surface canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T10992185 — 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: Liouville surface Context triple: [Joseph Liouville, hasEponym, Liouville surface]
-
A.
Riemann ellipsoid
A Riemann ellipsoid is a rotating, self-gravitating fluid mass in ellipsoidal equilibrium whose internal motion and figure are analyzed in Riemann’s extension of classical ellipsoidal models in celestial mechanics.
-
B.
Convex Surfaces
"Convex Surfaces" is a foundational mathematical monograph by Herbert Busemann that systematically develops the theory and geometry of convex surfaces.
-
C.
Riemann surfaces
Riemann surfaces are one-dimensional complex manifolds that provide the natural geometric setting for studying complex analytic functions and their multi-valued behavior.
-
D.
Fermat surface
A Fermat surface is an algebraic surface in projective space defined by a homogeneous equation where each variable appears with the same exponent, generalizing the notion of Fermat curves to higher dimensions.
-
E.
Clebsch diagonal surfaces
Clebsch diagonal surfaces are classical 19th-century algebraic surfaces in projective three-space, famous as the first explicit smooth cubic surface with all 27 lines defined over the real numbers.
- 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: Liouville surface Target entity description: A Liouville surface is a type of Riemannian surface on which the geodesic flow is integrable, typically characterized by a metric that can be written in separable (Liouville) form in suitable coordinates.
-
A.
Riemann ellipsoid
A Riemann ellipsoid is a rotating, self-gravitating fluid mass in ellipsoidal equilibrium whose internal motion and figure are analyzed in Riemann’s extension of classical ellipsoidal models in celestial mechanics.
-
B.
Convex Surfaces
"Convex Surfaces" is a foundational mathematical monograph by Herbert Busemann that systematically develops the theory and geometry of convex surfaces.
-
C.
Riemann surfaces
Riemann surfaces are one-dimensional complex manifolds that provide the natural geometric setting for studying complex analytic functions and their multi-valued behavior.
-
D.
Fermat surface
A Fermat surface is an algebraic surface in projective space defined by a homogeneous equation where each variable appears with the same exponent, generalizing the notion of Fermat curves to higher dimensions.
-
E.
Clebsch diagonal surfaces
Clebsch diagonal surfaces are classical 19th-century algebraic surfaces in projective three-space, famous as the first explicit smooth cubic surface with all 27 lines defined over the real numbers.
- F. None of above. chosen
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
Riemannian surface
ⓘ
geometric object ⓘ mathematical concept ⓘ |
| admits |
orthogonal separable coordinates for the geodesic flow
ⓘ
two independent first integrals in involution for the geodesic flow ⓘ |
| appearsIn |
study of quadratic integrals of motion on surfaces
ⓘ
theory of orthogonal coordinate systems on surfaces ⓘ |
| belongsToClass | Liouville manifolds (in dimension 2) ⓘ |
| characterizedBy | Riemannian metric expressible as sum of functions of single variables times squared differentials ⓘ |
| contrastedWith | generic Riemannian surfaces with nonintegrable geodesic flow ⓘ |
| definedBy | existence of local coordinates in which the metric is in Liouville form ⓘ |
| dimension | 2 ⓘ |
| field |
Hamiltonian dynamics
ⓘ
Riemannian geometry ⓘ
linked to:
Riemannian manifolds
differential geometry ⓘ integrable systems ⓘ |
| generalizes | surfaces of revolution with integrable geodesic flow ⓘ |
| geodesicFlow | integrable in the Liouville sense ⓘ |
| hasAlternativeName | surface with Liouville metric ⓘ |
| hasCoordinateCondition | metric diagonal in separable coordinates ⓘ |
| hasDefinition |
Riemannian surface whose geodesic flow is Liouville integrable
ⓘ
Riemannian surface with metric allowing separation of variables in the Hamilton–Jacobi equation for geodesics ⓘ |
| hasEquationType | separable Hamilton–Jacobi equation for geodesics ⓘ |
| hasHistoricalContext | introduced in the 19th century in connection with separation of variables ⓘ |
| hasInvariant |
additional independent first integral in involution with the energy
ⓘ
energy integral of the geodesic flow ⓘ |
| hasLocalCoordinates | (u,v) such that metric coefficients separate ⓘ |
| hasMetricForm |
g = (A(u)+B(v))(du^2 + dv^2) in suitable coordinates
ⓘ
metric coefficients depending on single coordinates in an additive way ⓘ |
| hasProperty |
complete set of commuting first integrals for geodesic flow (locally)
ⓘ
existence of a nontrivial quadratic first integral of the geodesic flow ⓘ integrability expressed via action–angle variables (locally) ⓘ integrable geodesic flow ⓘ separable geodesic equations ⓘ |
| hasStructure | Riemannian metric with separable coordinates ⓘ |
| namedAfter | Joseph Liouville ⓘ |
| relatedTo |
Hamilton–Jacobi equation
ⓘ
Killing tensor ⓘ Liouville integrability ⓘ
linked to:
Liouville–Arnold theorem
Liouville metrics ⓘ
linked to:
Liouville surface
separation of variables ⓘ |
| studiedIn |
classical mechanics
ⓘ
global analysis ⓘ |
| topology | can occur on various 2-dimensional manifolds such as the sphere or torus ⓘ |
| usedIn |
classification of integrable geodesic flows on 2-dimensional manifolds
ⓘ
study of integrable Riemannian metrics on surfaces ⓘ |
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: Liouville surface Description of subject: A Liouville surface is a type of Riemannian surface on which the geodesic flow is integrable, typically characterized by a metric that can be written in separable (Liouville) form in suitable coordinates.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.
linked to: Liouville surface