pith. sign in

arxiv: 2507.12051 · v1 · submitted 2025-07-16 · 🧮 math-ph · hep-th· math.MP· math.SG· nlin.SI

Integrable systems from Poisson reductions of generalized Hamiltonian torus actions

Pith reviewed 2026-05-19 04:49 UTC · model grok-4.3

classification 🧮 math-ph hep-thmath.MPmath.SGnlin.SI
keywords integrable systemsPoisson reductiongeneralized Hamiltonian torus actionsquasi-Poisson structuresmoduli spaces of flat connectionssuperintegrabilityLie group doubles
0
0 comments X

The pith

Sufficient conditions let an integrable system with symmetry K descend to an integrable system on the dense open set of the quotient Poisson space M/K.

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

The paper establishes a set of sufficient conditions under which an integrable system equipped with a symmetry group K on a manifold M descends to an integrable system on a dense open subset of the quotient Poisson space M/K. A sympathetic reader would care because this supplies a systematic way to produce new integrable systems from known ones by performing Poisson reductions while preserving the necessary integrals of motion. The construction relies on the existence of action variables in the unreduced system that generate a proper effective action of a group of the form U(1) to some power times R to some power and that descend to action variables on the reduced space. In many cases the reduced systems turn out to be superintegrable because of the large collection of invariants coming from this action. The method is then applied to settle integrability questions for systems obtained from reductions of master systems on doubles of compact Lie groups and to produce examples on moduli spaces of flat connections.

Core claim

We develop a set of sufficient conditions for guaranteeing that an integrable system with a symmetry group K on a manifold M descends to an integrable system on a dense open subset of the quotient Poisson space M/K. The higher dimensional phase space M carries a bivector P_M yielding a bracket on C^∞(M) such that C^∞(M)^K is a Poisson algebra. The unreduced system on M is supposed to possess action variables that generate a proper, effective action of a group of the form U(1)^ℓ1 × R^ℓ2 and descend to action variables of the reduced system. In view of the form of the group and since P_M could be a quasi-Poisson bivector, we say that we work with a generalized Hamiltonian torus action. The red

What carries the argument

generalized Hamiltonian torus action: the proper effective action of U(1)^ℓ1 × R^ℓ2 generated by action variables that descend to the reduced system, which carries the integrability from the unreduced Poisson manifold M down to the quotient M/K

If this is right

  • The reduced systems are in general superintegrable owing to the large set of invariants of the proper Hamiltonian action of U(1)^ℓ1 × R^ℓ2.
  • The construction solves open problems on the integrability of systems obtained by reductions of master systems on the cotangent bundle, the Heisenberg double and the quasi-Poisson double of compact Lie groups.
  • The same conditions yield numerous applications to integrable systems on moduli spaces of flat connections via the quasi-Poisson approach.

Where Pith is reading between the lines

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

  • The same descent conditions could be checked against other known integrable systems with torus symmetries to produce additional reduced examples.
  • Because the reduced systems are often superintegrable, the method may connect to existing classifications of superintegrable systems on low-dimensional Poisson manifolds.
  • One could test whether the conditions continue to hold when the bivector P_M is deformed in a controlled way while keeping the torus action intact.

Load-bearing premise

The unreduced system must possess action variables that generate a proper effective action of a group of the form U(1) to some power times R to some power and these variables must descend to action variables of the reduced system.

What would settle it

Compute the integrals of motion and their Poisson brackets on one of the reduced systems arising from the cotangent bundle or Heisenberg double example; if the conditions on the action variables hold but the reduced system lacks a complete set of independent commuting integrals, the sufficient conditions fail to guarantee integrability.

Figures

Figures reproduced from arXiv: 2507.12051 by L. Feher, M. Fairon.

Figure 1
Figure 1. Figure 1: A system of curves on Σ2,4 where the red, blue and green curves (α1, [α2, β2] and γ[2,3]) induce, respectively, the 3 types of functions (5.76), (5.77) and (5.80) for I = {1}, Ib= {2} and J = {[2, 3]} on M2,3. 42 [PITH_FULL_IMAGE:figures/full_fig_p042_1.png] view at source ↗
read the original abstract

We develop a set of sufficient conditions for guaranteeing that an integrable system with a symmetry group $K$ on a manifold $M$ descends to an integrable system on a dense open subset of the quotient Poisson space $M/K$. The higher dimensional phase space $M$ carries a bivector $P_M$ yielding a bracket on $C^\infty(M)$ such that $C^\infty(M)^K$ is a Poisson algebra. The unreduced system on $M$ is supposed to possess `action variables' that generate a proper, effective action of a group of the form $\mathrm{U}(1)^{\ell_1} \times \mathbb{R}^{\ell_2}$ and descend to action variables of the reduced system. In view of the form of the group and since $P_M$ could be a quasi-Poisson bivector, we say that we work with a generalized Hamiltonian torus action. The reduced systems are in general superintegrable owing to the large set of invariants of the proper Hamiltonian action of $\mathrm{U}(1)^{\ell_1} \times \mathbb{R}^{\ell_2}$. We present several examples and apply our construction for solving open problems regarding the integrability of systems obtained previously by reductions of master systems on doubles of compact Lie groups: the cotangent bundle, the Heisenberg double and the quasi-Poisson double. Furthermore, we offer numerous applications to integrable systems living on moduli spaces of flat connections, using the quasi-Poisson approach.

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 manuscript develops a set of sufficient conditions ensuring that an integrable system on a manifold M with symmetry group K descends to an integrable system on a dense open subset of the quotient Poisson space M/K. The unreduced system is assumed to possess action variables generating a proper, effective generalized Hamiltonian torus action of the form U(1)^ℓ1 × R^ℓ2 (possibly via a quasi-Poisson bivector P_M), with these variables descending to action variables on the reduced space; the reduced systems are typically superintegrable due to the large set of invariants. Applications are given to reductions of master systems on doubles of compact Lie groups (cotangent bundle, Heisenberg double, quasi-Poisson double) and to integrable systems on moduli spaces of flat connections via the quasi-Poisson approach.

Significance. If the sufficient conditions are established with full rigor, the work supplies a systematic framework for obtaining integrable and superintegrable systems through Poisson reduction of generalized torus actions. The concrete applications to open integrability questions in reductions of Lie-group doubles and the quasi-Poisson treatment of moduli spaces constitute tangible progress in the field of integrable systems and Poisson geometry.

major comments (2)
  1. [Main theorem on descent (section containing the sufficient conditions for generalized Hamiltonian torus actions)] The central claim requires that the unreduced action variables remain functionally independent and mutually Poisson-commuting after descent to M/K. While the abstract asserts that properness and effectiveness of the U(1)^ℓ1 × R^ℓ2 action guarantee descent to action variables, no explicit verification is supplied that the induced bivector on the quotient annihilates the brackets among the descended K-invariant functions (particularly when P_M is quasi-Poisson). A dedicated lemma or step in the proof of the main theorem is needed to confirm that {f_i, f_j}_{M/K} = 0 for the descended action variables f_i.
  2. [Applications to doubles of compact Lie groups] In the applications to the Heisenberg double and quasi-Poisson double (the sections treating reductions of master systems), the verification that the descended integrals are independent on a dense open set of the quotient relies on the general sufficient conditions; however, the explicit count of independent integrals and the check that the reduced bivector preserves involution are not carried out in sufficient detail to confirm that the reduced system is indeed integrable.
minor comments (2)
  1. [Introduction and notation] The definition of the generalized Hamiltonian torus action and the precise relation between the unreduced bivector P_M and the reduced structure on M/K would benefit from an additional clarifying sentence or diagram.
  2. [Examples section] A few typographical inconsistencies appear in the indexing of the torus dimensions ℓ1 and ℓ2 across the examples; these should be standardized.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comments. We address each major comment in turn below and indicate the changes we will make to the revised version.

read point-by-point responses
  1. Referee: [Main theorem on descent (section containing the sufficient conditions for generalized Hamiltonian torus actions)] The central claim requires that the unreduced action variables remain functionally independent and mutually Poisson-commuting after descent to M/K. While the abstract asserts that properness and effectiveness of the U(1)^ℓ1 × R^ℓ2 action guarantee descent to action variables, no explicit verification is supplied that the induced bivector on the quotient annihilates the brackets among the descended K-invariant functions (particularly when P_M is quasi-Poisson). A dedicated lemma or step in the proof of the main theorem is needed to confirm that {f_i, f_j}_{M/K} = 0 for the descended action variables f_i.

    Authors: We agree that an explicit verification step would improve clarity, especially in the quasi-Poisson setting. While the general properties of the proper effective generalized Hamiltonian torus action and the fact that C^∞(M)^K is a Poisson algebra already imply that the descended functions remain in involution, we will add a dedicated lemma immediately before the statement of the main theorem. The lemma will directly verify that the induced bivector on the quotient annihilates the brackets {f_i, f_j} for the descended K-invariant action variables, handling both the Poisson and quasi-Poisson cases via the reduction map and the invariance properties. revision: yes

  2. Referee: [Applications to doubles of compact Lie groups] In the applications to the Heisenberg double and quasi-Poisson double (the sections treating reductions of master systems), the verification that the descended integrals are independent on a dense open set of the quotient relies on the general sufficient conditions; however, the explicit count of independent integrals and the check that the reduced bivector preserves involution are not carried out in sufficient detail to confirm that the reduced system is indeed integrable.

    Authors: We accept that the applications sections would benefit from greater explicitness. In the revision we will expand the relevant subsections on the Heisenberg double and quasi-Poisson double to include (i) an explicit dimension count establishing functional independence of the descended integrals on a dense open subset of the quotient and (ii) a direct verification that the reduced bivector preserves involution of these integrals. These additions will apply the general sufficient conditions together with concrete dimension arguments for each double. revision: yes

Circularity Check

0 steps flagged

No circularity: descent conditions derived from independent group action and Poisson reduction properties

full rationale

The paper develops sufficient conditions for an integrable system on M with symmetry K to descend to an integrable system on the quotient Poisson space M/K. The construction relies on the unreduced system possessing action variables generating a proper effective generalized Hamiltonian torus action of U(1)^ℓ1 × R^ℓ2, with these variables descending to the reduced system. This is formulated using standard properties of Poisson algebras, invariants under group actions, and quasi-Poisson bivectors, without any step where the claimed descent or integrability is defined in terms of itself or reduces by construction to a fitted parameter or self-citation chain. The central claim remains independently verifiable from the given assumptions on properness, effectiveness, and functional independence on the quotient, consistent with external benchmarks in Poisson geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Based on the abstract alone, the work rests on standard background facts of Poisson geometry and integrable systems theory; no free parameters or invented entities are visible.

axioms (2)
  • standard math C^∞(M)^K is a Poisson algebra when P_M is a (quasi-)Poisson bivector
    Invoked when stating that the unreduced system carries a Poisson structure compatible with the K-action.
  • domain assumption Action variables of a proper effective U(1)^ℓ1 × R^ℓ2 action descend to the reduced space
    Central hypothesis used to guarantee that the reduced system inherits integrability.

pith-pipeline@v0.9.0 · 5808 in / 1403 out tokens · 19274 ms · 2026-05-19T04:49:35.898427+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

72 extracted references · 72 canonical work pages · 19 internal anchors

  1. [1]

    Quasi-Poisson Manifolds

    A. Alekseev, Y. Kosmann-Schwarzbach and E. Meinrenken, Quasi-Poisson manifolds . Canad. J. Math. 54 (2002) 3-29; arXiv:math/0006168

  2. [2]

    Lie Group Valued Moment Maps

    A. Alekseev, A. Malkin and E. Meinrenken, Lie group valued moment maps . J. Differential Geom. 48 (1998) 445-495; arXiv:dg-ga/9707021

  3. [3]

    Arthamonov and N

    S. Arthamonov and N. Reshetikhin, Superintegrable systems on moduli spaces of flat con- nections. Commun. Math. Phys. 386 (2021) 1337-1381; arXiv:1909.08682

  4. [4]

    Arutyunov, Elements of Classical and Quantum Integrable Systems

    G. Arutyunov, Elements of Classical and Quantum Integrable Systems. Springer, 2019

  5. [5]

    Arutyunov and E

    G. Arutyunov and E. Olivucci, Hyperbolic spin Ruijsenaars–Schneider model from Poisson reduction. Proc. Steklov Inst. Math. 309 (2020) 31-45; arXiv:1906.02619

  6. [6]

    Birman and C

    J.S. Birman and C. Series, An algorithm for simple curves on surfaces . J. London Math. Soc. (2), 29 (1984) 331-342

  7. [7]

    Blasco, I

    A. Blasco, I. Gutierrez-Sagredo and F.J. Herranz, Higher-order superintegrable momentum- dependent Hamiltonians on curved spaces from the classical Zernike system . Nonlinearity 36 (2023), 1143-1167; arXiv:2206.12717

  8. [8]

    Non-commutative Integrability, Moment Map and Geodesic Flows

    A.V. Bolsinov and B. Jovanovi´ c,Noncommutative integrability, moment map and geodesic flows. Ann. Glob. Anal. and Geom. 23 (2003), 305-322; arXiv:math-ph/0109031

  9. [9]

    Chalykh and M

    O. Chalykh and M. Fairon, On the Hamiltonian formulation of the trigonometric spin Ruijsenaars–Schneider system. Lett. Math. Phys.110 (2020) 2893-2940; arXiv:1811.08727

  10. [10]

    Chalykh and B

    O. Chalykh and B. Ryan, DAHAs of Type C∨Cn and character varieties . Preprint; arXiv:2410.23456

  11. [11]

    Z. Chen, K. Jiang, N. Reshetikhin and H. Xiao, Superintegrability of the reduced stratified symplectic space. In preparation

  12. [12]

    Integrability of homogeneous exact magnetic flows on spheres

    V. Dragovi´ c, B. Gaji´ c and B. Jovanovi´ c,Integrability of homogeneous exact magnetic flows on spheres. Preprint; arXiv:2504.20515

  13. [13]

    Dubrovin, A.T

    B.A. Dubrovin, A.T. Fomenko and S.P. Novikov, Modern Geometry–Methods and Appli- cations. Part II. The Geometry and Topology of Manifolds. Springer, 1985

  14. [14]

    Duistermaat and J.A.C

    J.J. Duistermaat and J.A.C. Kolk, Lie Groups. Universitext. Springer, 2000

  15. [15]

    Dwyer and C.W

    W.G. Dwyer and C.W. Wilkerson, Centers and Coxeter elements . pp. 53–75 in: Homotopy methods in algebraic topology. Contemp. Math., Vol. 271, Amer. Math. Soc., 2001

  16. [16]

    Fairon, Integrable systems on multiplicative quiver varieties from cyclic quivers

    M. Fairon, Integrable systems on multiplicative quiver varieties from cyclic quivers . J. Phys. A: Math. Theor. 58 (2025) Article ID 045202; arXiv:2108.02496

  17. [17]

    Fairon and L

    M. Fairon and L. Feh´ er,Integrable multi-Hamiltonian systems from reduction of an extended quasi-Poisson double of U(n). Ann. Henri Poincar´ e24 (2023) 3461-3529; arXiv:2302.14392

  18. [18]

    Fairon, L

    M. Fairon, L. Feh´ er and I. Marshall, Trigonometric real form of the spin RS model of Krichever and Zabrodin. Ann. Henri Poincar´ e22 (2021) 615-675; arXiv:2007.08388

  19. [19]

    Farb and D

    B. Farb and D. Margalit, A Primer on Mapping Class Groups. Princeton University Press, 2012

  20. [20]

    Fass` o,Superintegrable Hamiltonian systems: Geometry and perturbations

    F. Fass` o,Superintegrable Hamiltonian systems: Geometry and perturbations . Acta Appl. Math. 87 (2005) 93-121

  21. [21]

    An application of the reduction method to Sutherland type many-body systems

    L. Feh´ er,An application of the reduction method to Sutherland type many-body systems . pp. 109-117 in: P. Kielanowski (ed.) et al., Geometric Methods in Physics XXXI. Birkh¨ auser, 2013; arXiv:1308.6708

  22. [22]

    Feh´ er,Poisson reductions of master integrable systems on doubles of compact Lie groups

    L. Feh´ er,Poisson reductions of master integrable systems on doubles of compact Lie groups . Ann. Henri Poincar´ e24 (2023) 1823-1876; arXiv:2208.03728

  23. [23]

    Feh´ er, Notes on the degenerate integrability of reduced systems obtained from the master systems of free motion on cotangent bundles of compact Lie groups

    L. Feh´ er, Notes on the degenerate integrability of reduced systems obtained from the master systems of free motion on cotangent bundles of compact Lie groups . pp. 309-330 in: P. Kielanowski (ed.) et al., Geometric Methods in Physics XL. Birkh¨ auser, 2024; arXiv:2309.16245

  24. [24]

    Feh´ er,Poisson-Lie analogues of spin Sutherland models revisited

    L. Feh´ er,Poisson-Lie analogues of spin Sutherland models revisited . J. Phys. A: Math. Theor. 57 (2024) Article ID 205202; arXiv:2402.02990

  25. [25]

    Feh´ er,On the maximal superintegrability of strongly isochronous Hamiltonians

    L. Feh´ er,On the maximal superintegrability of strongly isochronous Hamiltonians. J. Geom. Phys. 209 (2025) Article ID 105409; arXiv:2409.19349 43

  26. [26]

    Trigonometric Sutherland systems and their Ruijsenaars duals from symplectic reduction

    L. Feh´ er and V. Ayadi,Trigonometric Sutherland systems and their Ruijsenaars duals from symplectic reduction. J. Math. Phys. 51 (2010) Paper 103511; arXiv:1005.4531

  27. [27]

    Poisson-Lie interpretation of trigonometric Ruijsenaars duality

    L. Feh´ er and C. Klimˇ c´ ık,Poisson–Lie interpretation of trigonometric Ruijsenaars duality . Commun. Math. Phys. 301 (2011) 55-104; arXiv:0906.4198

  28. [28]

    Self-duality of the compactified Ruijsenaars-Schneider system from quasi-Hamiltonian reduction

    L. Feh´ er and C. Klimˇ c´ ık,Self-duality of the compactified Ruijsenaars–Schneider system from quasi-Hamiltonian reduction. Nucl. Phys. B 860 (2012) 464-515; arXiv:1101.1759

  29. [29]

    New compact forms of the trigonometric Ruijsenaars-Schneider system

    L. Feh´ er and T.J. Kluck, New compact forms of the trigonometric Ruijsenaars-Schneider system. Nucl. Phys. B 882 (2014) 97-127; arXiv:1312.0400

  30. [30]

    Generalized spin Sutherland systems revisited

    L. Feh´ er and B.G. Pusztai, Generalized spin Sutherland systems revisited . Nucl. Phys. B 893 (2015) 236-256; arXiv:1501.03085

  31. [31]

    Noncommutative integrability on noncompact invariant manifolds

    E Fiorani and G. Sardanashvily, Noncommutative integrability on noncompact invariant manifolds. J. Phys. A: Math. Theor. 39 (2006) 14035-14042; arXiv:math/0604104

  32. [32]

    Fock and A

    V. Fock and A. Rosly, Poisson structure on moduli of flat connections on Riemann surfaces and the r-matrix. pp. 67–86 in: Moscow Seminar in Mathematical Physics. Amer. Math. Soc. Transl. Ser. 2, Vol. 191, Amer. Math. Soc., 1999; arXiv:math/9802054

  33. [33]

    Fordy and Q

    A.P. Fordy and Q. Huang,Integrable and superintegrable extensions of the rational Calogero- Moser model in three dimensions . J. Phys. A: Math. Theor. 55 (2022), Paper No. 225203; arXiv:2111.15659

  34. [34]

    Gotˆ o,A theorem on compact semi-simple groups

    M. Gotˆ o,A theorem on compact semi-simple groups . J. Math. Soc. Japan 1 (1949) 270-272

  35. [35]

    Hoque and L

    M.F. Hoque and L. ˇSnobl, Family of nonstandard integrable and superintegrable classical Hamiltonian systems in non-vanishing magnetic fields . J. Phys. A: Math. Theor. 56 (2023) Article ID 165203; arXiv:2212.05338

  36. [36]

    Symmetries and Integrability

    B. Jovanovi´ c, Symmetries and integrability . Publ. Institut Math. 49 (2008) 1-36; arXiv:0812.4398

  37. [37]

    Kazhdan, B

    D. Kazhdan, B. Kostant and S. Sternberg, Hamiltonian group actions and dynamical sys- tems of Calogero type . Comm. Pure Appl. Math. 31 (1978) 481-507

  38. [38]

    Quasi-compact Higgs bundles and Calogero-Sutherland systems with two types spins

    S. Kharchev, A. Levin, M. Olshanetsky and A. Zotov, Quasi-compact Higgs bundles and Calogero–Sutherland systems with two types spins . J. Math. Phys. 59 (2018) Article ID 103509; arXiv:1712.08851

  39. [39]

    On moment maps associated to a twisted Heisenberg double

    C. Klimˇ c´ ık,On moment maps associated to a twisted Heisenberg double . Rev. Math. Phys. 18 (2006) 781-821; arXiv:math-ph/0602048

  40. [40]

    Knapp, Lie Groups Beyond an Introduction

    A.W. Knapp, Lie Groups Beyond an Introduction. Birkh¨ auser, 1996

  41. [41]

    Korogodski and Y.S

    L.I. Korogodski and Y.S. Soibelman, Algebras of Functions on Quantum Groups: Part I. American Mathematical Society, 1998

  42. [42]

    Kostant, The principal three-dimensional subgroup and the Betti numbers of a complex simple Lie group

    B. Kostant, The principal three-dimensional subgroup and the Betti numbers of a complex simple Lie group . Amer. J. Math. 81 (1959) 973–1032

  43. [43]

    Action-angle coordinates for integrable systems on Poisson manifolds

    C. Laurent-Gengoux, E. Miranda and P. Vanhaecke, Action-angle coordinates for in- tegrable systems on Poisson manifolds . Int. Math. Res. Not. IMRN 2011, 1839-1869; arXiv:0805.1679

  44. [44]

    Le Blanc, Quasi-Poisson structures and integrable systems related to the moduli space of flat connections on a punctured Riemann sphere

    A. Le Blanc, Quasi-Poisson structures and integrable systems related to the moduli space of flat connections on a punctured Riemann sphere . J. Geom. Phys. 57 (2007) 1631-1652

  45. [45]

    Liashyk, G

    A. Liashyk, G. Ma, N. Reshetikhin and I. Sechin, Low-dimensional tori in Calogero-Moser- Sutherland systems. Preprint; arXiv:2506.16610

  46. [46]

    Lu, Momentum mappings and reduction of Poisson actions

    J.-H. Lu, Momentum mappings and reduction of Poisson actions. pp. 209-226 in: Symplectic Geometry, Groupoids, and Integrable Systems. Springer, 1991

  47. [47]

    Marquette, D

    I. Marquette, D. McLeod, S. Scapucci and A. Vollmer, On Haantjes tensors for second-order superintegrable systems. Preprint; arXiv:2412.13007

  48. [48]

    Marsden, G

    J. Marsden, G. Misio lek, J.-P. Ortega, M. Perlmutter and T.S. Ratiu, Hamiltonian Reduc- tion by Stages. Springer, 2007

  49. [49]

    Meinrenken, Verlinde formulas for nonsimply connected groups

    E. Meinrenken, Verlinde formulas for nonsimply connected groups. pp. 381-417 in: V.G. Kac (ed.) et al., Lie groups, geometry, and representation theory. Birkh¨ auser, 2018; arXiv:1706.04045

  50. [50]

    Michor, Topics in Differential Geometry

    P.W. Michor, Topics in Differential Geometry. Amer. Math. Soc., 2008 44

  51. [51]

    Classical and Quantum Superintegrability with Applications

    W. Miller Jr, S. Post and P. Winternitz, Classical and quantum superintegrability with applications. J. Phys. A: Math. Theor. 46 (2013) Article ID 423001; arXiv:1309.2694

  52. [52]

    Mischenko and A.T

    A.S. Mischenko and A.T. Fomenko, Generalized Liouville method for integrating Hamilton- ian systems. Funct. Anal. Appl. 12 (1978) 113-125

  53. [53]

    Nekhoroshev, Action-angle variables and their generalizations

    N.N. Nekhoroshev, Action-angle variables and their generalizations . Trans. Moscow Math. Soc. 26 (1972) 180-197

  54. [54]

    Onishchik and E.B

    A.L. Onishchik and E.B. Vinberg, Lie Groups and Algebraic Groups. Springer, 1990

  55. [55]

    Ortega and T

    J.-P. Ortega and T. Ratiu, Momentum Maps and Hamiltonian Reduction. Birkh¨ auser, 2004

  56. [56]

    Perelomov, Integrable Systems of Classical Mechanics and Lie Algebras

    A.A. Perelomov, Integrable Systems of Classical Mechanics and Lie Algebras. Birkh¨ auser, 1990

  57. [57]

    Ragnisco and F

    O. Ragnisco and F. Zullo, The N-species integrable Volterra system as a maximally su- perintegrable Hamiltonian system . Open Comm. Nonlin. Math. Phys. 5 (2025) 36–56; arXiv:2505.09487

  58. [58]

    Degenerate Integrability of Spin Calogero-Moser Systems and the duality with the spin Ruijsenaars systems

    N. Reshetikhin, Degenerate integrability of spin Calogero–Moser systems and the duality with the spin Ruijsenaars systems. Lett. Math. Phys. 63 (2003) 55-71; arXiv:math/0202245

  59. [59]

    Degenerately Integrable Systems

    N. Reshetikhin, Degenerately integrable systems . J. Math. Sci. 213 (2016) 769-785; arXiv:1509.00730

  60. [60]

    Reshetikhin, Spin Calogero–Moser models on symmetric spaces

    N. Reshetikhin, Spin Calogero–Moser models on symmetric spaces. pp. 377-402 in: Integra- bility, Quantization, and Geometry. I. Integrable Systems. Proc. Sympos. Pure Math., Vol. 103.1, Amer. Math. Soc., 2021; arXiv:1903.03685

  61. [61]

    Reshetikhin, Periodic and open classical spin Calogero-Moser chains

    N. Reshetikhin, Periodic and open classical spin Calogero-Moser chains . pp.263-297 in: Surv. Differ. Geom. 26, International Press, 2024; arXiv:2302.14281

  62. [62]

    Superintegrability of Generalized Toda Models on Symmetric Spaces

    N. Reshetikhin and G. Schrader, Superintegrability of generalized Toda models on symmetric spaces. Int. Math. Res. Not. IMRN 2021, 12993-13010; arXiv:1802.00356

  63. [63]

    Ruijsenaars, Action-angle maps and scattering theory for some finite-dimensional inte- grable systems

    S. Ruijsenaars, Action-angle maps and scattering theory for some finite-dimensional inte- grable systems. III. Sutherland type systems and their duals . Publ. RIMS 31 (1995) 247-353

  64. [64]

    Samelson, Notes on Lie Algebras

    H. Samelson, Notes on Lie Algebras. Springer, 1990

  65. [65]

    Semenov-Tian-Shansky, Dressing transformations and Poisson group actions

    M.A. Semenov-Tian-Shansky, Dressing transformations and Poisson group actions . Publ. RIMS 21 (1985) 1237-1260

  66. [66]

    Semenov-Tian-Shansky, Integrable systems: an r-matrix approach

    M.A. Semenov-Tian-Shansky, Integrable systems: an r-matrix approach . Kyoto preprint RIMS-1650, 2008; kurims.kyoto-u.ac.jp/preprint/file/RIMS1650.pdf

  67. [67]

    Sjamaar and E

    R. Sjamaar and E. Lerman, Stratified symplectic spaces and reduction. Ann. of Math. 134 (1991) 375-422

  68. [68]

    Tempesta (ed.) et al., Superintegrability in Classical and Quantum Systems

    P. Tempesta (ed.) et al., Superintegrability in Classical and Quantum Systems. CRM Pro- ceedings and Lecture Notes, Vol. 37, 2004

  69. [69]

    Tsiganov, Rotations and integrability

    A.V. Tsiganov, Rotations and integrability . Regul. Chaotic Dyn. 29 (2024) 913–930; arXiv:2305.12370

  70. [70]

    van Diejen, Commuting difference operators with polynomial eigenfunctions

    J.F. van Diejen, Commuting difference operators with polynomial eigenfunctions. Compos. Math. 95 (1995) 183–233

  71. [71]

    Vollmer, Torsion-free connections of second-order maximally superintegrable systems

    A. Vollmer, Torsion-free connections of second-order maximally superintegrable systems . Bull. London Math. Soc. 57 (2025) 565-581; arXiv:2403.08509

  72. [72]

    Torus Actions and Integrable Systems

    N.T. Zung, Torus actions and integrable systems. pp. 289-328 in: Topological Methods in the Theory of Integrable Systems. Camb. Sci. Publ., 2006; arXiv:math/0407455 45