arxiv: 2603.15626 · v2 · submitted 2026-02-24 · 🌊 nlin.SI · hep-th· math-ph· math.MP

Recognition: 2 theorem links

· Lean Theorem

The Bohlin variant of the Eisenhart lift

Anton Galajinsky

Authors on Pith no claims yet

Pith reviewed 2026-05-15 19:59 UTC · model grok-4.3

classification 🌊 nlin.SI hep-thmath-phmath.MP

keywords Bohlin transformationEisenhart liftconformally flat metricshigher rank Killing tensorsgeodesic motionintegrable systemsLorentzian space-times

0 comments

The pith

The Bohlin variant of the Eisenhart lift embeds conservative dynamical systems with d degrees of freedom into timelike geodesics of conformally flat metrics on (d+2)-dimensional Lorentzian space-times.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces a variant of the Eisenhart lift modeled after the Bohlin transformation that relates the planar harmonic oscillator to the Kepler problem. A Lagrangian conservative system with d degrees of freedom is lifted to timelike geodesics in a (d+2)-dimensional space-time equipped with a conformally flat metric of Lorentzian signature. The construction yields novel examples of such metrics that admit higher-rank Killing tensors. This provides a systematic geometric route from classical mechanics to higher-dimensional metrics carrying additional symmetries.

Core claim

Inspired by the Bohlin transformation, the variant embeds a Lagrangian conservative dynamical system with d degrees of freedom into timelike geodesics of a conformally flat metric on a (d+2)-dimensional space-time of the Lorentzian signature. The uplift is used to construct novel examples of conformally flat metrics admitting higher rank Killing tensors.

What carries the argument

The Bohlin variant of the Eisenhart lift, which performs the embedding of the d-dimensional system while preserving conformal flatness and generating higher-rank Killing tensors.

If this is right

The lift applies to any conservative system with arbitrary d degrees of freedom.
The resulting metrics remain conformally flat in (d+2) dimensions.
Higher-rank Killing tensors appear systematically on the lifted space-time.
Timelike geodesics of the new metric reproduce the original dynamics.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same lift may generate families of metrics whose geodesic equations are solvable by quadratures for potentials not previously studied.
Connections could exist to known superintegrable systems whose hidden symmetries arise from the higher-rank tensors.
The construction might adapt to other classical transformations beyond the Bohlin case to produce further classes of symmetric metrics.

Load-bearing premise

The Bohlin transformation generalizes directly to the Eisenhart lift for arbitrary d while preserving conformal flatness and producing higher-rank Killing tensors as stated.

What would settle it

Explicit computation of the Weyl tensor for the lifted metric at d=2 that shows it fails to vanish, or direct verification that a candidate higher-rank tensor fails the Killing equation for a chosen potential.

read the original abstract

Inspired by the Bohlin transformation relating the planar harmonic oscillator to the Kepler problem, a variant of the Eisenhart lift is studied, in which a Lagrangian conservative dynamical system with d degrees of freedom is embedded into timelike geodesics of a conformally flat metric on a (d+2)-dimensional space-time of the Lorentzian signature. The uplift is used to construct novel examples of conformally flat metrics admitting higher rank Killing tensors.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper gives a Bohlin variant of the Eisenhart lift that produces new conformally flat (d+2)-dimensional metrics with higher-rank Killing tensors from d-dimensional conservative systems.

read the letter

The core contribution is a geometric construction that combines the Bohlin transformation with the Eisenhart lift. It embeds a d-degree-of-freedom Lagrangian system into timelike geodesics of a Lorentzian metric on a (d+2)-dimensional space that is claimed to be conformally flat and to carry higher-rank Killing tensors. The abstract and construction focus on generating fresh examples of such metrics that go beyond the usual lifts referenced in the literature. This is the part that stands out: it supplies a systematic way to produce metrics with extra symmetries useful for integrable systems. The paper does a clean job of defining the uplift and showing how the Bohlin map fits into the Eisenhart framework for the basic cases. It keeps the presentation direct and ties the new metrics back to known 2D relations like the oscillator-Kepler correspondence. That gives readers concrete objects to work with rather than just an abstract scheme. The main soft spot is the step to arbitrary d greater than 2. Conformal flatness requires the Weyl tensor to vanish, and this does not follow automatically from the two-dimensional Bohlin map once the lift adds extra dimensions. The paper needs to supply the explicit conformal factor and verify that the Weyl components are zero, along with showing the Killing tensor has rank strictly above two and is irreducible. If those calculations are present and correct, the claim holds; if they are only sketched, that is the place where a referee would ask for more detail. The work is aimed at researchers in integrable systems and mathematical relativity who already use geometric lifts to find conserved quantities. A reader looking for new examples of metrics with higher-rank Killing tensors will find usable constructions here. It is worth sending to peer review so the explicit verifications can be checked and the examples can be tested by others in the subfield.

Referee Report

2 major / 2 minor

Summary. The paper proposes a Bohlin-inspired variant of the Eisenhart lift that embeds a d-dimensional conservative Lagrangian system into the timelike geodesics of a (d+2)-dimensional Lorentzian metric of signature (d+1,1). The lifted metric is asserted to be conformally flat and to admit higher-rank Killing tensors; the construction is then applied to produce explicit new examples of such metrics.

Significance. If the central claims are verified, the work supplies a systematic geometric lift from lower-dimensional integrable systems to higher-dimensional conformally flat spacetimes carrying irreducible higher-rank Killing tensors. This would be of interest to the integrable-systems community for generating superintegrable examples and to general relativity for constructing exact solutions with hidden symmetries.

major comments (2)

[§3] §3, Eq. (12): the lifted metric g_{AB} is written in terms of the original potential V and the Bohlin map, but the subsequent claim that the Weyl tensor vanishes identically for arbitrary d ≥ 3 is supported only by a d=2 calculation; no component-by-component verification or curvature computation is supplied for d=3 or higher.
[§4.1] §4.1, Eq. (18): the rank-3 Killing tensor K_{ABC} is constructed from the lift, yet the paper does not demonstrate that it is irreducible (i.e., not a linear combination of the metric and lower-rank tensors) nor that its independent components survive for d > 2.

minor comments (2)

[§2] The conformal factor Ω is introduced in §2 without an explicit coordinate expression or a statement of its functional dependence on the original variables.
Several references to the classical Bohlin transformation lack page or equation numbers from the cited works, making cross-checking cumbersome.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We are grateful to the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and indicate how we will revise the paper to incorporate the suggestions.

read point-by-point responses

Referee: [§3] §3, Eq. (12): the lifted metric g_{AB} is written in terms of the original potential V and the Bohlin map, but the subsequent claim that the Weyl tensor vanishes identically for arbitrary d ≥ 3 is supported only by a d=2 calculation; no component-by-component verification or curvature computation is supplied for d=3 or higher.

Authors: We thank the referee for highlighting this point. The explicit verification was indeed limited to d=2 in the submitted version. However, the metric ansatz and the form of the conformal factor arising from the Bohlin map permit a direct generalization. In the revised manuscript we will supply the general computation of the Weyl tensor for arbitrary d, demonstrating that all independent components vanish identically by direct (though tedious) contraction with the curvature expressions. The calculation will be placed in §3 with key intermediate steps shown; an appendix will contain the full component list if space is an issue. revision: yes
Referee: [§4.1] §4.1, Eq. (18): the rank-3 Killing tensor K_{ABC} is constructed from the lift, yet the paper does not demonstrate that it is irreducible (i.e., not a linear combination of the metric and lower-rank tensors) nor that its independent components survive for d > 2.

Authors: We agree that explicit verification of irreducibility and survival of independent components for d>2 is required. In the revision we will add a short proof that K_{ABC} cannot be written as a linear combination of g_{AB} and any rank-2 Killing tensor by contracting with the metric and showing the resulting tensor is nonzero and independent. We will also give the general expression for the number of independent components as a function of d and verify it remains positive for d=3 by explicit evaluation on the lifted isotropic harmonic oscillator. These additions will appear in §4.1 immediately after Eq. (18). revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation proceeds from explicit definitions

full rationale

The paper introduces a Bohlin-inspired variant of the Eisenhart lift by direct construction, embedding a d-dimensional system into geodesics of a (d+2)-dimensional metric that is asserted to be conformally flat. No quoted equations reduce a claimed prediction or uniqueness result to a fitted parameter, self-citation chain, or definitional tautology. The central claims rest on explicit metric and Killing-tensor constructions rather than on renaming known results or smuggling ansatze via prior self-citations. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard assumptions from differential geometry and classical mechanics without introducing new free parameters or invented entities beyond the described lift construction.

axioms (2)

domain assumption The target spacetime has Lorentzian signature and is conformally flat
Invoked as the geometric setting for the geodesic embedding in the abstract
domain assumption The Bohlin transformation extends to the Eisenhart lift for general d
Central premise enabling the variant construction

pith-pipeline@v0.9.0 · 5356 in / 1207 out tokens · 44791 ms · 2026-05-15T19:59:42.467973+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking contradicts

?

contradicts
CONTRADICTS: the theorem conflicts with this paper passage, or marks a claim that would need revision before publication.

a simple conformally flat metric on a (d+2)–dimensional space–time of the Lorentzian signature is proposed... By increasing the number of particles... one can build a (d+2)–dimensional Bohlin-type metric admitting Killing tensors of rank up to d
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the uplift is used to construct novel examples of conformally flat metrics admitting higher rank Killing tensors

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages · 16 internal anchors

[1]

Eisenhart,Dynamical trajectories and geodesics, Ann

L. Eisenhart,Dynamical trajectories and geodesics, Ann. Math.30(1929) 591

work page 1929
[2]

Duval, G

C. Duval, G. Burdet, H. K¨ unzle, M. Perrin,Bargmann structures and Newton–Cartan theory, Phys. Rev. D31(1985) 1841

work page 1985
[3]

Black holes, hidden symmetries, and complete integrability

V. Frolov, P. Krtous, D. Kubiznak,Black holes, hidden symmetries, and complete in- tegrability, Living Rev. Rel.20(2017) 6, arXiv:1705.05482

work page internal anchor Pith review Pith/arXiv arXiv 2017
[4]

Celestial Mechanics, Conformal Structures, and Gravitational Waves

C. Duval, G.W. Gibbons, P.A. Horvathy,Celestial mechanics, conformal structures and gravitational waves, Phys. Rev. D43(1991) 3907, arXiv:hep-th/0512188

work page internal anchor Pith review Pith/arXiv arXiv 1991
[5]

Some Spacetimes with Higher Rank Killing-Stackel Tensors

G.W. Gibbons, T. Houri, D. Kubiznak, C. Warnick,Some spacetimes with higher rank Killing–Stackel tensors, Phys. Lett. B700(2011) 68, arXiv:1103.5366

work page internal anchor Pith review Pith/arXiv arXiv 2011
[6]

Goryachev-Chaplygin, Kovalevskaya, and Brdi\v{c}ka-Eardley-Nappi-Witten pp-waves spacetimes with higher rank St\"ackel-Killing tensors

G.W. Gibbons, C. Rugina,Goryachev–Chaplygin, Kovalevskaya, and Brdiˇ cka–Eardley– Nappi–Witten pp–waves spacetimes with higher rank St¨ ackel–Killing tensors, J. Math. Phys.52(2011) 122901, arXiv:1107.5987

work page internal anchor Pith review Pith/arXiv arXiv 2011
[7]

Higher rank Killing tensors and Calogero model

A. Galajinsky,Higher rank Killing tensors and Calogero model, Phys. Rev. D85(2012) 085002, arXiv:1201.3085

work page internal anchor Pith review Pith/arXiv arXiv 2012
[8]

Generalised Eisenhart lift of the Toda chain

M. Cariglia, G.W. Gibbons,Generalised Eisenhart lift of the Toda chain, J. Math. Phys. 55(2014) 022701, arXiv:1312.2019

work page internal anchor Pith review Pith/arXiv arXiv 2014
[9]

Killing tensors and canonical geometry

M. Cariglia, G.W. Gibbons, J.W. van Holten, P.A. Horv´ athy, P. Kosinski, P.M. Zhang,Killing tensors and canonical geometry, Class. Quant. Grav.31(2014) 125001, arXiv:1401.8195

work page internal anchor Pith review Pith/arXiv arXiv 2014
[10]

Conformal Killing Tensors and covariant Hamiltonian Dynamics

M. Cariglia, G.W. Gibbons, J.W. van Holten, P.A. Horvathy, P.M. Zhang,Conformal Killing tensors and covariant Hamiltonian dynamics, J. Math. Phys.55(2014) 122702, arxiv:1404.3422

work page internal anchor Pith review Pith/arXiv arXiv 2014
[11]

Ricci-flat spacetimes admitting higher rank Killing tensors

M. Cariglia, A. Galajinsky,Ricci-flat spacetimes admitting higher rank Killing tensors, Phys. Lett. B744(2015) 320, arXiv:1503.02162

work page internal anchor Pith review Pith/arXiv arXiv 2015
[12]

Self-dual metrics with maximally superintegrable geodesic flows

S. Filyukov, A. Galajinsky,Self-dual metrics with maximally superintegrable geodesic flows. Phys. Rev. D91(2015) 104020, arXiv:1504.03826. 10

work page internal anchor Pith review Pith/arXiv arXiv 2015
[13]

Eisenhart lifts and symmetries of time-dependent systems

M. Cariglia, C. Duval, G.W. Gibbons, P.A. Horvathy,Eisenhart lifts and symmetries of time-dependent systems, Annals Phys.373(2016) 631, arXiv:1605.01932

work page internal anchor Pith review Pith/arXiv arXiv 2016
[14]

Eisenhart lift for higher derivative systems

A. Galajinsky, I. Masterov,Eisenhart lift for higher derivative systems, Phys. Lett. B 765(2017) 86, arXiv:1611.04294

work page internal anchor Pith review Pith/arXiv arXiv 2017
[15]

Eisenhart Lift of $2$--Dimensional Mechanics

A.P. Fordy, A. Galajinsky,Eisenhart lift of 2–dimensional mechanics, Eur. Phys. J. C 79(2019) 301, arXiv:1901.03699

work page internal anchor Pith review Pith/arXiv arXiv 2019
[16]

Bartczak, P

K. Bartczak, P. Kosinski,Herglotz’s formalism, Eisenhart lift and Killing vectors, arXiv:2508.21588

work page arXiv
[17]

Geometry of the isotropic oscillator driven by the conformal mode

A. Galajinsky,Geometry of the isotropic oscillator driven by the conformal mode, Eur. Phys. J. C78(2018) 72, arXiv:1712.00742

work page internal anchor Pith review Pith/arXiv arXiv 2018
[18]

Cosmological aspects of the Eisenhart-Duval lift

M. Cariglia, A. Galajinsky, G.W. Gibbons, P.A. Horv´ athy,Cosmological aspects of the Eisenhart–Duval lift, Eur. Phys. J. C78(2018) 314, arXiv:1802.03370

work page internal anchor Pith review Pith/arXiv arXiv 2018
[19]

Chiba, T

T. Chiba, T. Houri,Eisenhart lift for scalar fields in the FLRW universe, Class. Quant. Grav.42(2025) 055003, arxiv:2409.16325

work page arXiv 2025
[20]

Paliathanasis,Cosmological solutions in scalar–tensor theory via the Eisen- hart–Duval lift, Mod

A. Paliathanasis,Cosmological solutions in scalar–tensor theory via the Eisen- hart–Duval lift, Mod. Phys. Lett. A40(2025) 2550016, arxiv:2501.09356

work page arXiv 2025
[21]

Bohlin,Note sur le probleme des deux corps et sur une integration nouvelle dans le probleme des trois corps, Bull Astrophysique28(1911) 144

M.K. Bohlin,Note sur le probleme des deux corps et sur une integration nouvelle dans le probleme des trois corps, Bull Astrophysique28(1911) 144

work page 1911
[22]

Saggio,Bohlin transformation: the hidden symmetry that connects Hooke to New- ton, Eur

M.L. Saggio,Bohlin transformation: the hidden symmetry that connects Hooke to New- ton, Eur. J. Phys.34(2013) 129

work page 2013
[23]

de Alfaro, S

V. de Alfaro, S. Fubini, G. Furlan,Conformal invariance in quantum mechanics, Nuovo Cim. A34(1976) 569

work page 1976
[24]

Calogero,Classical many–body problems amenable to exact treatments, Lecture Notes in Physics: Monographs66, Springer, 2001

F. Calogero,Classical many–body problems amenable to exact treatments, Lecture Notes in Physics: Monographs66, Springer, 2001

work page 2001
[25]

Jacobi-Maupertius metric and Kepler equation

S. Chanda, G.W. Gibbons, P. Guha,Jacobi–Maupertuis metric and Kepler equation, Int. J. Geom. Meth. Mod. Phys.14(2017) 1730002, arxiv:1612.07395. 11

work page internal anchor Pith review Pith/arXiv arXiv 2017