pith. sign in

arxiv: 2506.23312 · v1 · submitted 2025-06-29 · 🧮 math.DG · math-ph· math.DS· math.MP· nlin.SI

Integrability of the magnetic geodesic flow on the sphere with a constant 2-form

Alexey V. Bolsinov , Andrey Yu. Konyaev , Vladimir S. Matveev This is my paper

Pith reviewed 2026-05-19 07:36 UTC · model grok-4.3

classification 🧮 math.DG math-phmath.DSmath.MPnlin.SI
keywords magnetic geodesic flowLiouville integrabilitysphereconstant 2-formquadratic integralslinear integrals in momenta
0
0 comments X

The pith

Magnetic geodesic flow on the sphere induced by a constant 2-form is Liouville integrable

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

The paper proves that the magnetic geodesic flow on the standard sphere S^n inside R^{n+1} is Liouville integrable when the magnetic 2-form is the restriction of a constant 2-form from the ambient Euclidean space. It constructs a complete set of integrals that are quadratic and linear in the momenta. A sympathetic reader would care because this settles a recent conjecture and shows that the flow possesses enough conserved quantities to make its motion on the cotangent bundle completely integrable, so the dynamics reduce to motion on tori.

Core claim

The magnetic geodesic flow on the standard sphere S^n subset R^{n+1} whose magnetic 2-form is the restriction of a constant 2-form from R^{n+1} is Liouville integrable. The integrals are quadratic and linear in momenta.

What carries the argument

A complete collection of integrals quadratic and linear in momenta that are in involution and independent

Load-bearing premise

The magnetic 2-form on the sphere must be obtained exactly by restricting a constant 2-form defined on the ambient Euclidean space R^{n+1}.

What would settle it

An explicit calculation on S^2 or S^3 that produces a trajectory violating conservation of one of the proposed quadratic or linear integrals would disprove the integrability statement.

read the original abstract

We prove a recent conjecture of Dragovic et al arXiv2504.20515 stating that the magnetic geodesic flow on the standard sphere $S^n\subset \mathbb R^{n+1}$ whose magnetic 2-form is the restriction of a constant 2-form from $\mathbb{R}^{n+1}$ is Liouville integrable. The integrals are quadratic and linear in momenta.

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 / 3 minor

Summary. The manuscript proves the conjecture of Dragović et al. that the magnetic geodesic flow on the standard sphere S^n ⊂ R^{n+1}, with magnetic 2-form obtained by restricting a constant 2-form from the ambient Euclidean space, is Liouville integrable. Explicit integrals that are quadratic and linear in the momenta are constructed; conservation follows from direct Poisson-bracket computation with the kinetic Hamiltonian, while involution follows from the linear-algebraic properties of the constant skew form and the orthogonal-group action.

Significance. If the result holds, the paper supplies an explicit, parameter-free family of integrable magnetic systems on spheres, resolving a recent conjecture and furnishing concrete examples that can be used to test broader questions in magnetic Hamiltonian dynamics and symplectic geometry. The ambient-space construction and the origin of the integrals in the orthogonal representation are genuine strengths that make the derivation reproducible and geometrically transparent.

minor comments (3)
  1. [Theorem 1.1] In the statement of the main theorem, the precise range of the constant 2-form (e.g., its rank or degeneracy) should be stated explicitly so that the reader sees at once for which magnetic strengths the integrals remain independent.
  2. [Section 3] The verification that the quadratic integrals Poisson-commute with one another is only sketched; adding one or two intermediate bracket calculations would improve readability without lengthening the paper.
  3. [Introduction] A short remark comparing the new integrals with the known integrals for the non-magnetic geodesic flow on S^n would help situate the result for readers familiar with the classical case.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of our manuscript, including the accurate summary of the proof of the Dragović et al. conjecture and the recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained via explicit integrals

full rationale

The paper proves Liouville integrability by constructing explicit linear and quadratic integrals in momenta from the ambient constant 2-form restricted to the sphere, then verifies conservation via direct Poisson bracket computation with the kinetic Hamiltonian and mutual involution via the linear algebra of the skew form and O(n+1) action. These steps rely on standard symplectic geometry and do not reduce to fitted parameters, self-definitions, or load-bearing self-citations. The cited conjecture (Dragovic et al.) is external and the proof is independent of it. No step equates a prediction to its input by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The proof relies on background results from symplectic geometry and integrable systems theory; no free parameters or new entities are introduced in the abstract statement.

axioms (1)
  • standard math Standard properties of the symplectic structure on the cotangent bundle of the sphere.
    Invoked implicitly when discussing the magnetic geodesic flow and Liouville integrability.

pith-pipeline@v0.9.0 · 5606 in / 1123 out tokens · 23750 ms · 2026-05-19T07:36:54.812703+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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

17 extracted references · 17 canonical work pages

  1. [1]

    Separation of variables for the classical and quantum Neumann model

    O. Babelon and M. Talon. “Separation of variables for the classical and quantum Neumann model”. In: Nuclear Phys. B 379.1-2 (1992), pp. 321–339. issn: 0550-3213,1873-1562. url: https://doi.org/10. 1016/0550-3213(92)90599-7

    work page 1992

  2. [2]

    Orthogonal separation of variables for spaces of constant curvature

    Alexey V. Bolsinov, Andrey Yu. Konyaev, and Vladimir S. Matveev. “Orthogonal separation of variables for spaces of constant curvature”. In: Forum Math. 37.1 (2025), pp. 13–41. issn: 0933-7741,1435-5337. url: https://doi.org/10.1515/forum-2023-0300

    work page doi:10.1515/forum-2023-0300 2025

  3. [3]

    Integrability of homogeneous exact magnetic flows on spheres

    Vladimir Dragovic, Borislav Gajic, and Bozidar Jovanovic. Integrability of homogeneous exact magnetic flows on spheres . 2025. arXiv: 2504. 20515 [math.DG]. url: https://arxiv.org/abs/2504.20515. 14

    work page arXiv 2025

  4. [4]

    A Lax rep- resentation and integrability of homogeneous exact magnetic flows on spheres in all dimensions

    Vladimir Dragovi´ c, Borislav Gaji´ c, and Boˇ zidar Jovanovi´ c. “A Lax rep- resentation and integrability of homogeneous exact magnetic flows on spheres in all dimensions”. In: private communication followed by arXiv (2025). To appear

    work page 2025

  5. [5]

    Gyroscopic Chaplygin systems and integrable magnetic flows on spheres

    Vladimir Dragovi´ c, Borislav Gaji´ c, and Boˇ zidar Jovanovi´ c. “Gyroscopic Chaplygin systems and integrable magnetic flows on spheres”. In: J. Nonlinear Sci. 33.3 (2023), Paper No. 43, 51. issn: 0938-8974,1432-

    work page 2023

  6. [6]

    url: https://doi.org/10.1007/s00332-023-09901-5

    work page doi:10.1007/s00332-023-09901-5

  7. [7]

    The degenerate C. Neumann system I: symmetry reduction and convexity

    Holger R. Dullin and Heinz Hanßmann. “The degenerate C. Neumann system I: symmetry reduction and convexity”. In: Cent. Eur. J. Math. 10.5 (2012), pp. 1627–1654. issn: 1895-1074,1644-3616. url: https: //doi.org/10.2478/s11533-012-0085-8

    work page doi:10.2478/s11533-012-0085-8 2012

  8. [8]

    F. R. Gantmacher. The theory of matrices. Vols. 1, 2 . Translated by K. A. Hirsch. Chelsea Publishing Co., New York, 1959, Vol. 1, x+374 pp. Vol. 2, ix+276

    work page 1959

  9. [9]

    A note on the C. Neumann problem

    Zhang Ju Liu. “A note on the C. Neumann problem”. In: Acta Math. Appl. Sinica (English Ser.) 8.1 (1992), pp. 1–5. issn: 0168-9673,1618-

    work page 1992

  10. [10]

    url: https://doi.org/10.1007/BF02006067

    work page doi:10.1007/bf02006067

  11. [11]

    Killing tensors as irreducible representations of the general linear group

    Raymond G. McLenaghan, Robert Milson, and Roman G. Smirnov. “Killing tensors as irreducible representations of the general linear group”. In: C. R. Math. Acad. Sci. Paris 339.9 (2004), pp. 621–624. issn: 1631-073X,1778-3569. url: https : / / doi . org / 10 . 1016 / j . crma.2004.07.017

    work page 2004

  12. [12]

    J. Moser. Integrable Hamiltonian systems and spectral theory . Lezioni Fermiane. [Fermi Lectures]. Scuola Normale Superiore, Pisa, 1983, pp. iv+85

    work page 1983

  13. [13]

    Various aspects of integrable Hamiltonian systems

    J. Moser. “Various aspects of integrable Hamiltonian systems”. In: Dy- namical systems (C.I.M.E. Summer School, Bressanone, 1978) . Vol. 8. Progr. Math. Birkh¨ auser, Boston, MA, 1980, pp. 233–289.isbn: 3-7643- 3024-4

    work page 1978

  14. [14]

    Separation coordinates, moduli spaces and Stasheff polytopes

    K. Sch¨ obel and A. P. Veselov. “Separation coordinates, moduli spaces and Stasheff polytopes”. In:Comm. Math. Phys. 337.3 (2015), pp. 1255–

    work page 2015

  15. [15]

    url: https://doi.org/10.1007/ s00220-015-2332-x

    issn: 0010-3616,1432-0916. url: https://doi.org/10.1007/ s00220-015-2332-x. 15

    work page

  16. [16]

    An algebraic geometric approach to separation of vari- ables

    Konrad Sch¨ obel. An algebraic geometric approach to separation of vari- ables. Dissertation, Friedrich-Schiller-Universit¨ at, Jena, 2014. Springer Spektrum, Wiesbaden, 2015, pp. xii+138. url: https://doi.org/10. 1007/978-3-658-11408-4

    work page 2014

  17. [17]

    Are orthogonal separable coordinates really clas- sified?

    Konrad Sch¨ obel. “Are orthogonal separable coordinates really clas- sified?” In: SIGMA Symmetry Integrability Geom. Methods Appl. 12 (2016), Paper No. 041, 16. issn: 1815-0659. url: https://doi.org/ 10.3842/SIGMA.2016.041. 16

    work page doi:10.3842/sigma.2016.041 2016