Pith. sign in

REVIEW 2 major objections 4 minor 21 references

Collective superintegrable systems from the Guillemin--Sternberg torus action

T0 review · 2 major / 4 minor · reviewed 2026-08-04 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves that for every Hamiltonian action of a connected compact Lie group with simple Lie algebra, the collective Hamiltonians form a superintegrable system, and the Guillemin–Sternberg torus action supplies the action variables.

desk verdict A competent new proof that collective Hamiltonians are superintegrable via the Guillemin–Sternberg torus action, honestly building on Bolsinov–Jovanović, with a few fillable gaps. read the letter →

arxiv 2608.01878 v1 pith:Z5QFAHDD submitted 2026-08-03 math-ph math.MPnlin.SI

L. Feher This is my paper · ORCID
classification math-phmath.MPnlin.SI MSC 70H0653D2037J35
keywords collectivesuperintegrabilityGuillemin–SternbergtorusactionHamiltoniangroupmomentummapaction-anglecoordinatessymplecticmanifoldcoadjointinvariantsfunctionaldimension
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper seeks to establish that collective Hamiltonians—functions pulled back from coadjoint invariants through the momentum map of a Hamiltonian group action—are always superintegrable, not merely integrable. It proves that the Abelian Poisson algebra of these collective Hamiltonians together with its centralizer satisfies the functional-dimension equality that defines superintegrability. The proof runs through the Guillemin–Sternberg torus action, a Hamiltonian torus action on a dense open submanifold that commutes with the original group action and whose momentum map components are exactly the collective Hamiltonians' differentials. This torus action also makes the action variables explicitly computable, which is usually the hardest part of a superintegrable system. If correct, the result gives a uniform explanation of collective superintegrability and opens a direct route to action variables for reduced systems such as spin many-body models.

What carries the argument

The key object is the Guillemin–Sternberg (GS) torus action. On a dense open G-invariant submanifold M_σ, the sweeping map Ψσ—which sends each coadjoint orbit to its representative in the principal open face σ of the fundamental Weyl chamber—composed with the momentum map J defines a momentum map μσ for a Hamiltonian T_σ action. The principal open face is the unique face of the Weyl chamber whose G-orbit stratum contains a dense open part of the momentum image. Smoothness of the sweeping map on that stratum is what makes μσ smooth, and the components of μσ generate the collective Hamiltonians' differentials on a dense open set. The dimension count ddim(H) + ddim(F) = dim(M) is then a direct

What would settle it

Exhibit a Hamiltonian action of a connected compact simple Lie group on a compact symplectic manifold satisfying the non-triviality condition for which direct computation gives ddim(H) + ddim(F) > dim(M), or for which the GS torus momentum map fails to be smooth on a dense open subset. The paper predicts neither can happen; for instance, one could compute the explicit functional dimensions for the cotangent bundle of a sphere with the standard orthogonal-group action and check the equality.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.2: for a Hamiltonian action of a connected compact Lie group G with simple Lie algebra on a connected symplectic manifold (M, ω), the Abelian Poisson algebra H generated by J*(C∞(g*)^G) and its centralizer F satisfy ddim(H) + ddim(F) = dim(M). Under a non-triviality condition excluding coadjoint orbits, this constitutes a superintegrable system in the sense of Definition 1.1. Theorem 3.7 then shows that the momentum map of the Guillemin–Sternberg torus action, after passing to a factor torus acting freely, provides generalized action-angle coordinates: the action variables are components of this momentum map, while the transversal coordinates come from the cent

Load-bearing premise

The argument depends on a structural fact, quoted from the literature, that the momentum image has a unique principal open face of the Weyl chamber whose stratum is dense open and on which the sweeping map is smooth; if that fact failed, the dimension count would not go through.

Editorial extensions

If this is right

  • Every Hamiltonian G-manifold with simple compact G, excluding coadjoint orbits, carries a superintegrable system of collective Hamiltonians; the rank equals the difference between the typical isotropy dimensions for the action on M and on the momentum image.
  • Action variables for these systems are given explicitly by the momentum map of the GS torus action; they are continuous on the whole phase space and smooth on a dense open submanifold.
  • The proof extends to reductive compact groups with minor modifications, and to chains of subgroup actions, where the combined invariant Hamiltonians are again either Liouville or superintegrable.
  • Because the action variables come from a momentum map, they survive Hamiltonian reduction, so reduced many-body systems inherit explicit action variables.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial inference: the same GS-torus machinery should provide action variables for Thimm-style chains of subgroups without additional work, making the superintegrable-versus-Liouville dichotomy for such chains effective rather than merely existential.
  • Editorial inference: since the proof only needs the sweeping map to be smooth on the principal stratum, the functional-dimension equality might hold under weaker smoothness hypotheses; a natural test is whether continuous or piecewise-smooth extensions of the sweeping map still yield the dimension count.
  • Editorial inference: the explicit action variables suggest a direct route to semiclassical quantization, with Bohr–Sommerfeld conditions for collective superintegrable systems read off from the GS momentum map.
  • Editorial inference: the reliance on the principal open face structure implies that, outside the compact setting or when that face degenerates, collective superintegrability could fail; this is a testable boundary of the theorem.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper proves that for a Hamiltonian action of a connected compact Lie group G with simple Lie algebra on a symplectic manifold (M,ω), the Abelian Poisson algebra H=J^*(C^∞(g*)^G) of collective Hamiltonians and its centralizer F satisfy ddim(H)+ddim(F)=dim(M). Under a non-triviality condition, this yields a superintegrable system in the sense of Definition 1.1. The proof uses the Guillemin–Sternberg torus action associated with the principal open face σ of the momentum map: the components of the GS momentum map μ_σ=Ψ_σ∘J_σ provide the independent collective Hamiltonians on a dense open submanifold, while the quotient M*_σ/T_σ supplies the independent centralizer functions. The paper further shows that μ_σ gives action variables in generalized action-angle coordinates, and compares the result with the earlier complete-algebra approach of Bolsinov and Jovanović.

Significance. If the result stands, it gives a clean geometric explanation of collective superintegrability: the equality of functional dimensions is derived from the geometry of the GS torus action rather than imposed. The paper also contributes a useful new ingredient by identifying the action variables explicitly as the momentum map of the GS torus, which is nontrivial and potentially useful for quantization and reduction. The Lie-theoretic preparation in Section 2 is careful and the cited structural input (Theorem 2.9 from Lane and Hilgert–Neeb–Plank) is appropriate: the standing compactness of G makes the action proper, so the stress-test concern about the imported principal-face theorem does not land. The proof is not machine-checked, but the logical chain is transparent and the missing steps identified below are local and fixable.

major comments (2)
  1. [§3.1, Lemma 3.5] The proof of Lemma 3.5 establishes only the lower bound ddim(F) ≥ D by constructing D independent centralizer functions. The upper bound is not stated. It is needed for the equality ddim(F)=D and can be supplied by a short argument: for any F∈F and x∈M*_σ, dF(x) must annihilate the span of the Hamiltonian vector fields of H, whose dimension is dim(M)-D by Lemma 3.3 and Corollary 3.4; hence ddim(F) ≤ D. In addition, the smooth extension by zero outside M*_σ needs a brief justification: since M*_σ/T_σ is open in M/T_σ, the functions f_i can be chosen with compact support in the quotient coordinate chart, so their preimages are closed in M; the Poisson bracket {F_i,H} then vanishes on the dense open M*_σ and, being continuous, vanishes identically.
  2. [§3.1, Eq. (3.1)–(3.2)] The proof that the non-triviality condition (3.1) implies the strict inequality ddim(H)<dim(M)/2 in (1.1) is too telegraphic. The statement 'ddim(H)≤rank(G) and 2 rank(G) is smaller than the minimal dimension ... except for minimal coadjoint orbits of SU(n)' needs to be formulated precisely: one should show that (3.1) excludes not only coadjoint orbits of G but also any Hamiltonian G-space whose principal T_σ orbits would be trivial, and then argue that dim(M)>2rank(G) in the remaining cases. As written, this is a plausible sketch but not a complete derivation; since (1.1) is part of the definition of superintegrability, the gap should be filled.
minor comments (4)
  1. [§3.2, Theorem 3.7] In Eq. (3.12), the last sum uses 'dp_k ∧ dq_k' with the summation index k, which clashes with the fixed integer k=1/2(dim(M)-2ℓ). Rename either the index or the constant.
  2. [§3.3, Eq. (3.18)] The inclusion H⊂A⊂F is correct, but it may be worth a sentence explaining why J^*(C^∞(g*)^G) is contained in the centralizer of C^∞(M)^G; this is not obvious to all readers and follows from the G-equivariance of the momentum map.
  3. [§2.3, Theorem 2.13] In the proof of Theorem 2.13, the statement that μ_σ is a Poisson map because it is a composition of two Poisson maps is correct, but the second factor Ψ_σ:Σ_σ→t_σ is not literally a Poisson map unless t_σ is identified with its dual; the authors may want to spell out the identification to avoid a minor confusion.
  4. [§1, Introduction] The phrase 'ddim(H) + ddim(F) = dim(M)' is stated as the crucial equality; it may help to note explicitly that Definition 1.1 requires both ddim(H) and ddim(F) to be well-defined on a common dense set, which is established later in the proofs of Lemmas 3.3 and 3.5.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central equality is derived from external geometric structure, not from its own conclusion.

full rationale

The paper's main result (Theorem 3.2) is not circular. ddim(H) is computed in Lemma 3.3 by showing that, on the dense open subset M*_sigma, the differentials of H coincide with those of the Guillemin–Sternberg torus momentum map mu_sigma = Psi_sigma ∘ J_sigma; the functional rank dim(M)-D is the orbit dimension of that Hamiltonian torus action, an independent geometric quantity. The lower bound uses invariant extension of Psi_Z to C^∞(g)^G, citing Ortega–Ratiu, not the authors. ddim(F) is obtained in Lemma 3.5 by explicitly constructing D independent centralizer functions from coordinates on the quotient M*_sigma/T_sigma; this is a construction, not a fit. The only self-reference is [3], used in the secondary action-angle Theorem 3.7 and in remarks; even there the paper also invokes Nekhoroshev's standard theorem, so [3] is not load-bearing for the central equality. The structural input Theorem 2.9 is quoted from Lane and Hilgert–Neeb–Plank, not from the authors. No fitted parameter, no renamed conclusion, and no definitional identity make the derivation equivalent to its inputs.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

Pure mathematics: no fitted parameters and no new physical entities are introduced. The central identity (Theorem 3.2) is derived against the geometrically defined quantity D = dim(M*_σ/T_σ); the proof consumes external structure theorems (principal open face theorem, extension of G-invariant functions, Nekhoroshev action-angle theory) rather than postulating new input. Two unstated elementary inputs are flagged: the upper bound ddim(F) ≤ D for centralizers, and global completeness of collective Hamiltonian flows from compactness of G.

assumptions (5)
  • domain assumption Existence of a Hamiltonian action of a connected compact Lie group G (simple Lie algebra) on a connected symplectic manifold (M, ω) with equivariant momentum map J: M → g*, with G compact so that collective Hamiltonians have complete flows.
    The paper's setting, Section 1 and Definition 1.1. Completeness of flows is required by Definition 1.1; it follows from the standard formula p(t) = exp(t∇h(J(p0)))·p0 with G compact, but the paper only proves it for torus momentum map components (Corollary 2.12), not for general elements of H.
  • standard math Principal open face theorem (Theorem 2.9, after Lane [10], Hilgert-Neeb-Plank [8], Lerman-Meinrenken-Tolman-Woodward [11]): a unique open face σ exists with J(M) ∩ t_+ ⊂ F_S, J(M) ∩ F_S^o ≠ ∅, and M_σ = J^{-1}(Σ_σ) = G·J^{-1}(σ) is dense, open, and connected.
    Load-bearing external input quoted in Section 2.3; all functional dimension computations happen on the dense open M*_σ ⊂ M_σ, so if this stratification or density failed, Lemma 3.3 would break.
  • standard math Extension property for G-invariant functions under proper actions (Ortega-Ratiu [16], Props. 2.5.6, 2.5.7): each component Ψ_Z|Σ_σ extends locally to a global G-invariant function on g, used to obtain ddim(H) ≥ dim(M) - D in Lemma 3.3.
    This is the step that connects the torus momentum map back to the algebra H; without it, ddim(H) could be strictly smaller than dim(M) - D and the equality (1.2) would fail.
  • standard math Nekhoroshev's generalized action-angle theorem [15] and Feher-Fairon [3, Thm. 2.15, Corr. 2.17] (published, same author), imported to prove Theorem 3.7 once μ_σ is identified as the action map.
    Theorem 3.7 is a direct application of these external theorems; [3] is a self-citation to a peer-reviewed result, not circular.
  • standard math Linear-algebra bound for centralizers: if an Abelian Poisson subalgebra has functional dimension ℓ at generic points, its centralizer has functional dimension at most dim(M) - ℓ.
    This elementary bound turns the lower bound ddim(F) ≥ D from Lemma 3.5 into the equality ddim(F) = D; the paper omits stating it.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Collective superintegrable systems from the Guillemin--Sternberg torus action." pith.science (2026). https://pith.science/paper/Z5QFAHDD

@misc{pith2026260801878,
  author       = {Pith},
  title        = {Pith review of: Collective superintegrable systems from the Guillemin--Sternberg torus action},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Z5QFAHDD}},
  note         = {Machine review of arXiv:2608.01878}
}
abstract

We present a novel approach to the superintegrability of collective Hamiltonians invariant under a Hamiltonian action of a connected semisimple compact Lie group, $G$, on a symplectic manifold, $M$. By exploiting a Hamiltonian torus action that goes back to Guillemin and Sternberg [GS,1983], we demonstrate that the functional dimensions of $\mathfrak{H} := \mathcal{J}^*(C^\infty(\mathfrak{g}^*)^G)$, where $\mathcal{J}: M \to \mathfrak{g}^*$ is the momentum map of the $G$ action, and its centralizer $\mathfrak{F}$ in $C^\infty(M)$ satisfy the equality $\mathrm{ddim}(\mathfrak{H}) + \mathrm{ddim}(\mathfrak{F}) = \mathrm{dim}(M)$. Together with a non-triviality condition, this ensures that the Abelian Poisson algebra $\mathfrak{H}\subset C^\infty(M)$ represents a superintegrable system, and it also follows that the momentum map of the GS torus action yields action variables for the system. Our work provides a new insight into collective superintegrability complementing earlier results of Bolsinov and Jovanovi\'{c}.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

21 extracted references · 10 linked inside Pith

  1. [1]

    Bolsinov and B

    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

    arXiv 2003

  2. [2]

    Duistermaat and J.A.C

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

    2000

  3. [3]

    Feh´ er and M

    L. Feh´ er and M. Fairon,Integrable systems from Poisson reductions of generalized Hamil- tonian torus actions.Nonlinearity39(2026) Article ID 075021;arXiv:2507.12051 11

    arXiv 2026

  4. [4]

    Feh´ er and B.G

    L. Feh´ er and B.G. Pusztai,Spin Calogero models associated with Riemannian symmetric spaces of negative curvature.Nucl. Phys. B751(2006) 436-458; arXiv:math-ph/0604073

    arXiv 2006

  5. [5]

    Guillemin and S

    V. Guillemin and S. Sternberg,The moment map and collective motion.Ann. of Phys.127 (1980) 220-253

    1980

  6. [6]

    Guillemin and S

    V. Guillemin and S. Sternberg,On collective complete integrability according to the method of Thimm.Ergod. Th. and Dynam. Syst.3(1983) 219-230

    1983

  7. [7]

    Guillemin and S

    V. Guillemin and S. Sternberg,The Gelfand-Cetlin system and quantization of complex flag manifolds.J. Funct. Anal.52(1983) 106-128

    1983

  8. [8]

    Hilgert, K.-H

    J. Hilgert, K.-H. Neeb and W. Plank,Symplectic convexity theorems and coadjoint orbits. Compositio Math.94(1994) 129–180

    1994

Show all 21 references
  1. [9]

    Jovanovi´ c,Symmetries and integrability

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

    2008 arXiv

  2. [10]

    Lane,Convexity and Thimm’s trick.Transform

    J. Lane,Convexity and Thimm’s trick.Transform. Groups23(2018) 963-987; arXiv:1509.07356

    2018 arXiv

  3. [11]

    Lerman, E

    E. Lerman, E. Meinrenkren, S. Tolman and C. Woodward,Non-Abelian convexity by sym- plectic cuts.Topology37(1998) 245-259; arXiv: dg-ga/9603015

    1998 arXiv

  4. [12]

    Michor, Topics in Differential Geometry

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

    2008

  5. [13]

    Miller Jr, S

    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

    2013 arXiv

  6. [14]

    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

    1978

  7. [15]

    Nekhoroshev,Action-angle variables and their generalizations

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

    1972

  8. [16]

    Ortega and T

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

    2004

  9. [17]

    Reshetikhin,Degenerately integrable systems

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

    2016 arXiv

  10. [18]

    Samelson

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

    1990

  11. [19]

    Thimm,Integrable geodesic flows on homogeneous spaces.Ergod

    A. Thimm,Integrable geodesic flows on homogeneous spaces.Ergod. Th. and Dynam. Syst. 1(1981) 495-517

    1981

  12. [20]

    Woodward,Multiplicity free Hamiltonian actions need not be K¨ ahler.Invent

    C. Woodward,Multiplicity free Hamiltonian actions need not be K¨ ahler.Invent. Math.131 (1998) 311–319; arXiv: dg-ga/9506009

    1998 arXiv

  13. [21]

    Zung,Torus actions and integrable systems.pp

    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 12

    2006 arXiv

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.