pith. sign in

arxiv: 2403.14319 · v1 · submitted 2024-03-21 · 🧮 math.DG · math-ph· math.DS· math.MP· nlin.SI

Integrable geodesic flows with simultaneously diagonalisable quadratic integrals

Sergey I. Agafonov , Vladimir S. Matveev This is my paper

Pith reviewed 2026-05-24 03:17 UTC · model grok-4.3

classification 🧮 math.DG math-phmath.DSmath.MPnlin.SI
keywords geodesic flowsquadratic integralsStäckel constructionseparation of variablesintegrable systemsRiemannian metricspseudo-Riemannian metricscommuting integrals
0
0 comments X

The pith

If n commutative quadratic integrals of a geodesic flow are simultaneously diagonalisable at every point, they must come from the Stäckel construction.

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

The paper shows that for any Riemannian or pseudo-Riemannian metric on an n-dimensional manifold, the existence of n functionally independent, pairwise commuting quadratic integrals that are simultaneously diagonalisable in the tangent space at each point forces those integrals to arise from the Stäckel construction. This in turn means the metric admits orthogonal separation of variables. A sympathetic reader cares because the result converts a local linear-algebra condition on the integrals into a global statement about the form of the metric and the solvability of the geodesic equations.

Core claim

If n functionally independent commutative quadratic in momenta integrals for the geodesic flow of a Riemannian or pseudo-Riemannian metric on an n-dimensional manifold are simultaneously diagonalisable at the tangent space to every point, then they come from the Stäckel construction, so the metric admits orthogonal separation of variables.

What carries the argument

Simultaneous diagonalisability of the n quadratic integrals at every tangent space, which produces a common orthogonal frame in which the integrals take a diagonal form that matches the Stäckel ansatz.

If this is right

  • The geodesic flow is completely integrable by separation of variables in orthogonal coordinates.
  • The metric must locally take the Stäckel form determined by a Stäckel matrix.
  • Any set of integrals satisfying the hypotheses can be used to construct the separated coordinates explicitly.
  • The result applies equally to Riemannian and pseudo-Riemannian signatures.

Where Pith is reading between the lines

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

  • Integrable geodesic flows whose quadratic integrals fail to be simultaneously diagonalisable at some points may exist outside the Stäckel class.
  • The same linear-algebra test could be applied to classify integrable systems with higher-degree polynomial integrals.
  • On compact manifolds the global topology might restrict which Stäckel metrics admit such diagonalising integrals.

Load-bearing premise

The n quadratic integrals remain functionally independent and pairwise commute everywhere on the cotangent bundle while the simultaneous diagonalisability condition holds at every point of the base manifold.

What would settle it

An explicit n-dimensional metric possessing n commuting functionally independent quadratic integrals that are simultaneously diagonalisable at every point yet whose Hamilton-Jacobi equation does not separate in any orthogonal coordinate system.

read the original abstract

We show that if $n$ functionally independent commutative quadratic in momenta integrals for the geodesic flow of a Riemannian or pseudo-Riemannian metric on an $n$-dimensional manifold are simultaneously diagonalisable at the tangent space to every point, then they come from the St\"ackel construction, so the metric admits orthogonal separation of variables.

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.

Referee Report

0 major / 2 minor

Summary. The paper proves that if the geodesic flow of a Riemannian or pseudo-Riemannian metric on an n-dimensional manifold admits n functionally independent, pairwise Poisson-commuting quadratic integrals (including the Hamiltonian) that are simultaneously diagonalisable at every tangent space, then these integrals arise from the Stäckel construction and the metric admits orthogonal separation of variables.

Significance. If the derivation holds, the result supplies a clean characterization theorem that closes the loop between pointwise algebraic conditions on quadratic integrals and the existence of Stäckel coordinates. It strengthens the geometric theory of integrable geodesic flows by showing that simultaneous diagonalisability plus commutativity and independence are sufficient to recover the orthogonal frame in which the metric and all integrals are diagonal, without additional assumptions on eigenvalue multiplicities or signature.

minor comments (2)
  1. [§1] §1, paragraph following the statement of the main theorem: the precise meaning of 'simultaneously diagonalisable at the tangent space to every point' should be spelled out with an explicit reference to the common eigenbasis of the n quadratic forms on T_xM.
  2. The manuscript would benefit from a short remark clarifying how the pseudo-Riemannian signature is handled in the construction of the orthogonal frame, especially when some eigenvalues change sign.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation to accept the manuscript. No revisions are required.

Circularity Check

0 steps flagged

No significant circularity; theorem is a direct characterization

full rationale

The paper states a characterization theorem: n functionally independent, pairwise commuting quadratic integrals that are simultaneously diagonalisable at every point imply the metric admits orthogonal separation of variables via the Stäckel construction. No equations reduce a prediction to a fitted input by construction, no self-citation is load-bearing for the central implication, and the hypotheses (independence, commutativity, pointwise diagonalisability) are exactly the stated premises used to construct the orthogonal frame. The derivation is self-contained against external benchmarks in differential geometry and does not rename known results or smuggle ansatzes via prior work.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review performed on abstract only; no explicit free parameters, ad-hoc axioms, or invented entities are stated. Standard differential-geometric background (smooth manifold, cotangent bundle, quadratic forms on tangent spaces) is presupposed but not introduced by the paper.

axioms (1)
  • standard math The manifold is smooth and the cotangent bundle carries the standard symplectic structure.
    Implicit in any discussion of geodesic flows and quadratic integrals on manifolds.

pith-pipeline@v0.9.0 · 5584 in / 1334 out tokens · 29439 ms · 2026-05-24T03:17:11.511071+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages · 1 internal anchor

  1. [1]

    Integrable geodesic flow in 3D and webs of maximal rank

    S. I. Agafonov. “Integrable geodesic flow in 3D and webs of maximal rank”. In: arXiv:2403.01459 (2024)

    work page arXiv 2024

  2. [2]

    Inertia tensors and St¨ ackel systems in the Euclidean spaces

    S. Benenti. “Inertia tensors and St¨ ackel systems in the Euclidean spaces”. In: vol. 50. 4. Differential geometry (Turin, 1992). 1992, 315– 341 (1993)

    work page 1992

  3. [3]

    Benenti, C

    S. Benenti, C. Chanu, and G. Rastelli. “Remarks on the con nection between the additive separation of the Hamilton-Jacobi equ ation and the multiplicative separation of the Schr¨ odinger equation. I. The com- pleteness and Robertson conditions”. In: J. Math. Phys. 43.11 (2002), pp. 5183–5222. issn: 0022-2488,1089-7658. doi: 10.1063/1.1506180. url: https:/...

    work page doi:10.1063/1.1506180 2002

  4. [4]

    A. V. Bolsinov, A. Yu. Konyaev, and V. S. Matveev. In: Forum Mathe- maticum (2024). doi: doi:10.1515/forum-2023-0300. url: https://arxiv.org/abs/2212.01605v

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1515/forum-2023-0300 2024

  5. [5]

    Separable systems of Stackel

    L. P. Eisenhart. “Separable systems of Stackel”. In: Ann. of Math. (2) 35.2 (1934), pp. 284–305. issn: 0003-486X. doi: 10.2307/1968433. url: https://doi.org/10.2307/1968433

    work page doi:10.2307/1968433 1934

  6. [6]

    E. G. Kalnins, J. M. Kress, and W. jun. Miller. Separation of variables and superintegrability. The symmetry of solvable systems . English. IOP Expand. Phys. Bristol: IOP Publishing, 2018. doi: 10.1088/978-0-7503-1314-8

    work page doi:10.1088/978-0-7503-1314-8 2018

  7. [7]

    Killing tensors and var iable sep- aration for Hamilton-Jacobi and Helmholtz equations

    E. G. Kalnins and W. jun. Miller. “Killing tensors and var iable sep- aration for Hamilton-Jacobi and Helmholtz equations”. In: SIAM J. Math. Anal. 11.6 (1980), pp. 1011–1026. issn: 0036-1410. doi: 10.1137/0511089. url: https://doi.org/10.1137/0511089

    work page doi:10.1137/0511089 1980

  8. [8]

    Two classes of Riemannian manifolds whose geodesic flows are integrable

    K. Kiyohara. “Two classes of Riemannian manifolds whose geodesic flows are integrable”. In: Memoirs of the American Mathematical Soci- ety 130 (1997). url: https://api.semanticscholar.org/CorpusID:122681058. 6

    work page 1997

  9. [9]

    Klingenberg

    W. Klingenberg. Lectures on closed geodesics . Vol. 230. Grundlehren der Mathematischen Wissenschaften. Springer-Verlag, Berlin-New York, 1978, pp. x+227. isbn: 3-540-08393-6

    work page 1978

  10. [10]

    When a (1, 1)-tensor generates separation of variables of a certain metric

    A. Yu. Konyaev, J. M. Kress, and V. S. Matveev. “When a (1, 1)-tensor generates separation of variables of a certain metric”. In: Journal of Geometry and Physics 195 (2024), p. 105031. issn: 0393-0440. doi: https://doi.org/10.1016/j.geomphys.2023.105031. url: https://www.sciencedirect.com

    work page doi:10.1016/j.geomphys.2023.105031 2024

  11. [11]

    The geodesic flow of a g eneric metric does not admit nontrivial integrals polynomial in mo menta

    B. S. Kruglikov and V. S. Matveev. “The geodesic flow of a g eneric metric does not admit nontrivial integrals polynomial in mo menta”. In: Nonlinearity 29.6 (2016), pp. 1755–1768. url: https://dx.doi.org/10.1088/0951-7715/29/6/1

    work page doi:10.1088/0951-7715/29/6/1 2016

  12. [12]

    M´ emoire sur l’int´ egration des ´ equations diff´ erentielles du mouvement d’un nombre quelconque de points mat´ eriels

    J. Liouville. “M´ emoire sur l’int´ egration des ´ equations diff´ erentielles du mouvement d’un nombre quelconque de points mat´ eriels”. fr. In: Jour- nal de Math´ ematiques Pures et Appliqu´ ees1e s´ erie, 14 (1849), pp. 257–

    work page

  13. [13]

    url: http://www.numdam.org/item/JMPA_1849_1_14__257_0/

    work page

  14. [14]

    L¨ utzen

    J. L¨ utzen. Joseph Liouville 1809–1882: master of pure and applied mathematics. Vol. 15. Studies in the History of Mathematics and Phys- ical Sciences. Springer-Verlag, New York, 1990, pp. xx+884 . isbn: 0- 387-97180-7. doi: 10.1007/978-1-4612-0989-8 . url: https://doi.org/10.1007/978-1-4612-

    work page doi:10.1007/978-1-4612-0989-8 1990

  15. [15]

    Die Integration der Hamilton-Jacobisch en Differential- gleichung mittelst Separation der Variablen

    P. St¨ ackel. “Die Integration der Hamilton-Jacobisch en Differential- gleichung mittelst Separation der Variablen”. In: Habilitationsschrift, Universit¨ at Halle(1891). 7

    work page