pith. sign in

arxiv: 2604.13250 · v1 · submitted 2026-04-14 · 🧮 math-ph · math.DS· math.MP

Continuation of Hamiltonian dynamics from the plane to constant-curvature surfaces

Cristina Stoica This is my paper

Pith reviewed 2026-05-10 13:34 UTC · model grok-4.3

classification 🧮 math-ph math.DSmath.MP
keywords Hamiltonian systemsrelative equilibriarelative periodic orbitsconstant curvatureInönü-Wigner contractioncotangent bundlesn-body problemsymmetry persistence
0
0 comments X

The pith

Non-degenerate relative equilibria and relative periodic orbits persist from the Euclidean plane to constant-curvature surfaces in cotangent-bundle Hamiltonian systems.

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

The paper shows that symmetric motions in flat-space Hamiltonian systems on the plane continue to equivalent motions on spheres or hyperbolic planes when curvature is introduced. It achieves this by deforming the underlying symmetry through a Lie-algebra contraction and building a local slice near the flat limit using exponential coordinates. A reader cares because this supplies a systematic way to transfer known flat-space solutions, such as those in the n-body problem, into nearby curved geometries without losing the non-degeneracy that guarantees local uniqueness. The result therefore bridges exact flat dynamics with approximate curved descriptions that arise in physical modeling.

Core claim

For general cotangent-bundle Hamiltonian systems, non-degenerate relative equilibria and relative periodic orbits that exist on the Euclidean plane persist to the sphere or the hyperbolic plane under the Inönü-Wigner contraction of the symmetry algebra, via a local slice construction that pulls back the momentum map and symplectic form in Riemannian exponential coordinates centered at the north pole; the construction recovers the flat case in the zero-curvature limit.

What carries the argument

Local slice construction based on the Inönü-Wigner contraction of the symmetry Lie algebra (from so(3) or so(2,1) to se(2)) together with pull-backs of the momentum map and symplectic form in Riemannian exponential coordinates.

If this is right

  • The Newtonian n-body problem on the sphere or hyperbolic plane inherits persistent non-degenerate relative equilibria and periodic orbits from its flat-space version.
  • Local stability and bifurcation behavior near the flat limit can be read off from the flat-space analysis with controlled remainder terms.
  • The same slice technique applies to any cotangent-bundle Hamiltonian system whose symmetry contracts via the Inönü-Wigner procedure.
  • Curved-space solutions can be constructed explicitly from their flat counterparts by solving the slice equations order by order in the curvature parameter.

Where Pith is reading between the lines

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

  • The method supplies a concrete perturbation scheme that treats constant curvature as a small parameter while preserving symmetry, which could be tested numerically by continuing known flat-space choreographies into small-curvature regimes.
  • Because the slice is built locally around a fixed point, the same construction may extend to other Riemannian manifolds whose isometry groups admit analogous contractions, offering a route to persistence results on more general symmetric spaces.
  • The persistence guarantees that any bifurcation diagram computed in the flat case remains topologically unchanged for sufficiently small curvature, suggesting that qualitative changes in dynamics appear only at finite curvature thresholds.

Load-bearing premise

The non-degeneracy of the flat-space relative equilibria and periodic orbits must hold uniformly together with the smoothness of the slice construction in a neighborhood of the flat limit.

What would settle it

A concrete non-degenerate relative equilibrium or relative periodic orbit from the flat plane that fails to continue smoothly or loses non-degeneracy for arbitrarily small nonzero curvature would falsify the persistence result.

read the original abstract

We investigate the deformation of symmetry on cotangent bundles from the Euclidean plane to two-dimensional constant-curvature surfaces and the continuation of local dynamics aspects in Hamiltonian systems. For a fixed curvature sign $\sigma\in\{+1,-1\}$, the curved problem is set up either on the sphere $(\sigma=+1)$ or on the hyperbolic plane $(\sigma=-1)$, both with radius $R=1/\varepsilon$, recovering flat space in the limit $\varepsilon\to 0$. The symmetry of these spaces is taken into account by using the In\"on\"u--Wigner contraction of Lie algebras from $\mathfrak{so}(3)$ or $\mathfrak{so}(2,1)$ to $\mathfrak{se}(2)$. We use Riemannian exponential coordinates centred at the North pole together with the pull-back the associated momentum map and the symplectic form. Within this geometric setting we use a local slice construction and prove the persistence from flat to curved spaces of non-degenerate relative equilibria and relative periodic orbits of general cotangent bundle Hamiltonian systems. We apply the resulting framework to the Newtonian $n$-body problem.

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

2 major / 2 minor

Summary. The paper claims to prove the persistence of non-degenerate relative equilibria and relative periodic orbits for general cotangent-bundle Hamiltonian systems from the Euclidean plane to constant-curvature surfaces (sphere or hyperbolic plane) via a local slice construction that employs Riemannian exponential coordinates and the Inönü-Wigner contraction of the symmetry Lie algebras so(3) or so(2,1) to se(2). The curved spaces are recovered as the ε→0 limit of radius R=1/ε, and the framework is applied to the Newtonian n-body problem.

Significance. If the uniform non-degeneracy of the slice map can be established, the result supplies a concrete geometric mechanism for continuing symmetric Hamiltonian dynamics under curvature deformation. This is potentially useful for celestial mechanics on curved manifolds and for understanding how relative equilibria and periodic orbits deform when the underlying symmetry is contracted.

major comments (2)
  1. [local slice construction and persistence proof] The persistence theorem (abstract and the section containing the local slice construction) asserts that non-degeneracy in the flat (ε=0) case implies persistence for small ε. However, the pulled-back symplectic form and Hamiltonian vector field contain explicit ε-dependent curvature corrections arising from the Riemannian exponential map. No explicit estimate is supplied showing that the linearized slice operator remains invertible with a bound independent of ε in a neighborhood of the flat limit for arbitrary cotangent Hamiltonians; the Inönü-Wigner contraction alone does not automatically guarantee this transversality.
  2. [application to n-body problem] In the application to the Newtonian n-body problem, the manuscript invokes the general persistence result but does not verify that the specific relative equilibria or periodic orbits under consideration satisfy the non-degeneracy hypothesis uniformly near ε=0, nor does it identify which orbits are being continued.
minor comments (2)
  1. The double-dash notation “Inönü--Wigner” should be standardized; a short paragraph recalling the explicit Lie-algebra contraction map would improve readability for readers unfamiliar with the construction.
  2. Notation for the curvature parameter ε and the radius R=1/ε is introduced in the abstract but should be restated once in the main text before the coordinate construction begins.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comments. We respond to the major comments point by point below, indicating the revisions we plan to make.

read point-by-point responses

  1. Referee: The persistence theorem (abstract and the section containing the local slice construction) asserts that non-degeneracy in the flat (ε=0) case implies persistence for small ε. However, the pulled-back symplectic form and Hamiltonian vector field contain explicit ε-dependent curvature corrections arising from the Riemannian exponential map. No explicit estimate is supplied showing that the linearized slice operator remains invertible with a bound independent of ε in a neighborhood of the flat limit for arbitrary cotangent Hamiltonians; the Inönü-Wigner contraction alone does not automatically guarantee this transversality.

    Authors: We appreciate this observation. While the proof in the manuscript uses the local slice construction and the continuity properties from the Inönü-Wigner contraction to apply the implicit function theorem, we agree that an explicit uniform bound on the invertibility of the linearized operator would strengthen the argument and address potential concerns about ε-dependent terms. In the revised manuscript, we will add a new lemma providing such an estimate, derived from the smoothness of the Riemannian exponential map and the contraction of the Lie algebras, ensuring the bound is independent of ε for sufficiently small ε and arbitrary Hamiltonians. revision: yes

  2. Referee: In the application to the Newtonian n-body problem, the manuscript invokes the general persistence result but does not verify that the specific relative equilibria or periodic orbits under consideration satisfy the non-degeneracy hypothesis uniformly near ε=0, nor does it identify which orbits are being continued.

    Authors: The application is meant to demonstrate the utility of the general result for the n-body problem on curved spaces. We identify the continued orbits as the non-degenerate relative equilibria and relative periodic orbits of the Euclidean n-body problem. The uniform non-degeneracy near ε=0 follows directly from the persistence theorem. However, to make this clearer, we will revise the section to explicitly state which classes of orbits (e.g., those with non-vanishing angular momentum and non-degenerate reduced Hamiltonian) are being continued, without providing case-specific verifications, as those would constitute separate studies. revision: partial

Circularity Check

0 steps flagged

Persistence theorem for relative equilibria is self-contained with independent hypotheses

full rationale

The paper establishes a persistence result for non-degenerate relative equilibria and relative periodic orbits of cotangent bundle Hamiltonians under deformation from flat to constant-curvature spaces. It employs a local slice construction together with the standard Inönü-Wigner contraction of Lie algebras and pull-back via Riemannian exponential coordinates. The hypotheses (non-degeneracy in the flat case plus uniform smoothness of the slice near the flat limit) are stated as external inputs rather than derived from the curved-space conclusion. No equation reduces the target persistence statement to a fitted parameter, a self-citation chain, or a renaming of the input data. The central claim therefore remains a genuine theorem whose validity rests on the stated non-degeneracy assumptions rather than on tautological re-expression of those assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The framework rests on standard facts of symplectic geometry, Lie-algebra contractions, and Riemannian geometry; no new free parameters or invented entities are introduced beyond the curvature sign and the small-curvature limit already stated in the setup.

axioms (2)
  • standard math The Inönü-Wigner contraction of so(3) or so(2,1) to se(2) yields a valid symmetry algebra for the curved cotangent bundle
    Invoked to deform the symmetry from curved to flat spaces
  • domain assumption Riemannian exponential coordinates centered at the North pole give a valid local chart in which the momentum map and symplectic form can be pulled back
    Used to set up the curved problem locally

pith-pipeline@v0.9.0 · 5488 in / 1299 out tokens · 25364 ms · 2026-05-10T13:34:14.306306+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

26 extracted references · 26 canonical work pages

  1. [1]

    Bengochea, C

    A. Bengochea, C. Garc\'ia-Azpeitia, E. P\'erez-Chavela, P. Rold\'an, Continuation of relative equilibria in the n -body problem to spaces of constant curvature, J. Differential Equations 307 (2022), 137--158

    work page 2022

  2. [2]

    Bengochea, E

    A. Bengochea, E. P\'erez-Chavela, C. Barrera-Anzaldo, The three-body problem on the sphere and its reversing symmetries, Physica D 477 (2025), Article 134707

    work page 2025

  3. [3]

    Berti, G

    D. Berti, G. M. Canneori, R. Ciccarelli, I. De Blasi, M. Introna, D. Polimeni, Symmetric solutions of the n -body problem: A numerical study of Floquet multipliers and Morse indices, Astron. Comput. 55 (2026), Article 101085

    work page 2026

  4. [4]

    Chenciner, R

    [ChencinerMontgomery2000] A. Chenciner, R. Montgomery, A remarkable periodic solution of the three-body problem in the case of equal masses, Ann. of Math. (2) 152 (2000), no. 3, 881--901

    work page 2000

  5. [5]

    V. A. Chernoivan, I. S. Mamaev The restricted two-body problem and the Kepler problem in the constant curvature spaces, Regular and Chaotic Dynamics, 4, Issue 2, (1999, 112-124)

    work page 1999

  6. [6]

    R. L. Devaney, Triple collision in the planar isosceles three-body problem, Invent. Math. 60 (1980), no. 3, 249--267

    work page 1980

  7. [7]

    Diacu, E

    F. Diacu, E. P\'erez-Chavela, M. Santoprete, The n -body problem in spaces of constant curvature. Part I. Relative equilibria, J. Nonlinear Sci. 22 (2012), 247--266

    work page 2012

  8. [8]

    Diacu, E

    F. Diacu, E. P\'erez-Chavela, M. Santoprete, The n -body problem in spaces of constant curvature. Part II. Singularities, J. Nonlinear Sci. 22 (2012), 267--275

    work page 2012

  9. [9]

    Diacu, The curved N -body problem: Risks and rewards, Math

    F. Diacu, The curved N -body problem: Risks and rewards, Math. Intelligencer 35 (2013), no. 2, 24--33

    work page 2013

  10. [10]

    Polygonal homographic orbits of the curved n-body problem Transactions of the American Mathematical Society 364 (5), (2012) 2783-2802

    work page 2012

  11. [11]

    Diacu, C

    F. Diacu, C. Stoica, S. Zhu Central Configurations of the Curved N-Body Problem, Journal of Nonlinear Science 28 (5), (2005),1999-2046

    work page 2005

  12. [12]

    Hern\'andez-Gardu\ no, E

    A. Hern\'andez-Gardu\ no, E. P\'erez-Chavela, S. Zhu, Stability of regular polygonal relative equilibria on S ^2 , J. Nonlinear Sci. 32 (2022), Article 109

    work page 2022

  13. [13]

    D. D. Holm, T. Schmah, C. Stoica, Geometric Mechanics and Symmetry, Oxford University Press, Oxford, 2009

    work page 2009

  14. [14]

    In\"on\"u, E

    E. In\"on\"u, E. P. Wigner, On the contraction of groups and their representations, Proc. Natl. Acad. Sci. USA 39 (1953), no. 6, 510--524

    work page 1953

  15. [15]

    J. E. Marsden, Lectures on Mechanics, London Math. Soc. Lecture Note Ser. 174, Cambridge University Press, Cambridge, 1992

    work page 1992

  16. [16]

    J. E. Marsden, T. S. Ratiu, Introduction to Mechanics and Symmetry, 2nd ed., Springer, New York, 2007

    work page 2007

  17. [17]

    J. E. Marsden, R. Misiolek, J.-P. Ortega, M. Perlmutter, T. S. Ratiu, Hamiltonian Reduction by Stages, Lecture Notes in Mathematics 1913, Springer, Berlin, 2007

    work page 1913

  18. [18]

    Martínez, C.Sim\'o Relative equilibria of the restricted three-body problem in curved spaces, Celestial Mechanics and Dynamical Astronomy 128, No

    R. Martínez, C.Sim\'o Relative equilibria of the restricted three-body problem in curved spaces, Celestial Mechanics and Dynamical Astronomy 128, No. 2, (2017), 221--259

    work page 2017

  19. [19]

    McGehee, Triple collision in the collinear three-body problem, Invent

    R. McGehee, Triple collision in the collinear three-body problem, Invent. Math. 27 (1974), no. 3, 191--227

    work page 1974

  20. [20]

    Meyer, G

    K. Meyer, G. Hall, D. Offin, Introduction to Hamiltonian Dynamical Systems and the N -Body Problem, 2nd ed., Applied Mathematical Sciences 90, Springer, New York, 2009

    work page 2009

  21. [21]

    Montaldi, T

    J. Montaldi, T. Tokieda, Deformation of geometry and bifurcations of vortex rings, In: Johann, A., Kruse, HP., Rupp, F., Schmitz, S. (eds) Recent Trends in Dynamical Systems. Springer Proceedings in Mathematics & Statistics 35, Springer, 2013

    work page 2013

  22. [22]

    P\'erez-Chavela, J

    E. P\'erez-Chavela, J. M. S\'anchez-Cerritos, Relative equilibria for the positive curved n–body problem, Communications in Nonlinear Science and Numerical Simulation, 82, (2020), 104994

    work page 2020

  23. [23]

    G. E. Roberts, Linear stability analysis of the figure-eight orbit in the three-body problem, Ergodic Theory Dynam. Systems 27 (2007), No.6, 1947--1963

    work page 2007

  24. [24]

    Tibboel, Polygonal rotopulsators of the curved n-body problem, J

    P. Tibboel, Polygonal rotopulsators of the curved n-body problem, J. Math. Phys. 59, (2018), 022901

    work page 2018

  25. [25]

    Wulff, Numerical Bifurcation of Hamiltonian Relative Periodic Orbits, SIAM Journal of Applied Dynamical Systems, 8, No

    C. Wulff, Numerical Bifurcation of Hamiltonian Relative Periodic Orbits, SIAM Journal of Applied Dynamical Systems, 8, No. 3, (2009), 931–966

    work page 2009

  26. [26]

    Zhu, The Schubart orbits in the curved three-body problem with two equal masses, J

    S. Zhu, The Schubart orbits in the curved three-body problem with two equal masses, J. Nonlinear Sci. 34 (2024), Article 109

    work page 2024