pith. sign in

arxiv: 2601.01369 · v2 · pith:NGWEPPSTnew · submitted 2026-01-04 · 🧮 math-ph · math.MP

Poisson Centralisers and Polynomial Superintegrability for Magnetic Geodesic Flows on Reductive Homogeneous Spaces

Kai Jiang , Guorui Ma , Ian Marquette , Junze Zhang , Yao-Zhong Zhang This is my paper

Pith reviewed 2026-05-16 18:21 UTC · model grok-4.3

classification 🧮 math-ph math.MP
keywords superintegrable systemsmagnetic geodesic flowsreductive homogeneous spacesPoisson algebrapolynomial integralsmoment mapKirillov-Kostant-Souriau form
0
0 comments X

The pith

Magnetic geodesic flows on reductive homogeneous spaces admit superintegrability through polynomial integrals from the Lie algebra and an invariant slice.

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

The paper provides a method for constructing superintegrable magnetic geodesic flows on reductive homogeneous spaces M = G/A. Two families of polynomial first integrals are built in the twisted cotangent bundle: one pulled back from the Lie algebra via the magnetic moment map and the other from an Ad(A)-invariant affine slice. These families generate a reduced Poisson algebra from a fiber tensor product, and the multiplication map to polynomial functions on T^*M is Poisson and injective. In a dense regular locus, the projection chain gives a superintegrable system, with examples on SU(3) quotients providing action-angle coordinates. This approach systematizes the search for polynomial superintegrability in magnetic settings.

Core claim

We provide a method for formulating superintegrable magnetic geodesic flows on reductive homogeneous spaces M=G/A, with G a compact semisimple Lie group and A a closed subgroup of G. In the twisted cotangent bundle (T^*M,ω_ε), with ω_ε=ω_can + ε π^* ω_KKS, two canonical and commuting families of polynomial first integrals are built: one pulled back from g via the magnetic moment map P, and one from a Ad(A)-invariant affine slice of m ≅ T_eA M. Their common image generates a reduced Poisson algebra from a fiber tensor product, and the natural multiplication map into O(T^*M) is Poisson and injective. The center of this fiber tensor product is contained in the Poisson center of the symmetric tr

What carries the argument

Magnetic moment map P pulling back integrals from g combined with the Ad(A)-invariant affine slice of m, whose common image generates the reduced Poisson algebra via fiber tensor product.

If this is right

  • The common image generates a reduced Poisson algebra obtained from a fiber tensor product.
  • The natural multiplication map into a Poisson subalgebra of polynomial functions O(T^*M) is Poisson and injective.
  • The center of the fiber tensor product is contained in the Poisson center of the symmetric algebra of g.
  • In a dense regular locus the projection chain realises a superintegrable system.
  • Explicit examples on SU(3) quotients produce action-angle coordinates.

Where Pith is reading between the lines

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

  • The method could extend to other magnetic terms or homogeneous spaces if invariant slices can be found.
  • Quantization of the Poisson algebra might yield corresponding quantum superintegrable systems.
  • The construction may link to particle dynamics in magnetic fields on curved symmetric spaces.

Load-bearing premise

The construction assumes the existence of an Ad(A)-invariant affine slice of m congruent to the tangent space at the identity coset and that the magnetic moment map pulls back commuting polynomial integrals from the Lie algebra g.

What would settle it

Finding a reductive homogeneous space where the multiplication map from the fiber tensor product into the polynomial functions on T^*M fails to be injective would falsify the central injectivity claim.

read the original abstract

We provide a method for formulating superintegrable magnetic geodesic flows on reductive homogeneous spaces $M=G/A$, with $G$ a compact semisimple Lie group and $A$ a closed subgroup of $G$. In the twisted cotangent bundle $(T^*M,\omega_\varepsilon)$, with $\omega_\varepsilon=\omega_{\mathrm{can}}+\varepsilon\,\pi^*\omega_{\mathrm{KKS}}$ being the canonical plus Kirillov-Kostant-Souriau (KKS) forms, we build two canonical and commuting families of polynomial first integrals: one pulled back from the Lie algebra $\mathfrak{g}$ of $G$ via the magnetic moment map $P$, and one pulled back from a $\mathrm{Ad}(A)$-invariant affine slice of $\mathfrak{m} \cong T_{eA}M$, where $eA$ is the identity of $G/A$. Their common image generates a reduced Poisson algebra obtained from a fiber tensor product, and the natural multiplication map into a Poisson subalgebra of polynomial functions $\mathcal{O}(T^*M) \subset C^\infty(T^*M)$ is Poisson and injective. The center of this fiber tensor product is contained in the Poisson center of the symmetric algebra of $\mathfrak{g}$. In a dense regular locus, the resulting projection chain realises a superintegrable system. As examples, two $\mathrm{SU}(3)$ cases are studied (regular torus and irregular $\mathrm{S}(\mathrm{U}(2)\times \mathrm{U}(1))$ quotients), which illustrate the construction and produce explicit action-angle coordinates.

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 develops a general construction for polynomial superintegrable magnetic geodesic flows on reductive homogeneous spaces M = G/A, with G compact semisimple. Two commuting families of polynomial integrals are built: one obtained by pullback via the magnetic moment map P from the Lie algebra g, and the second obtained by pullback from an Ad(A)-invariant affine slice of the complement m ≅ T_{eA}M. Their common image generates a reduced Poisson algebra via fiber tensor product; the natural multiplication map into the Poisson subalgebra of polynomial functions on T^*M is shown to be a Poisson homomorphism and injective. The center of the fiber tensor product lies in the Poisson center of Sym(g). On a dense regular locus the resulting system is superintegrable. The construction is illustrated by explicit action-angle coordinates in two SU(3) quotients (regular torus and irregular S(U(2)×U(1))).

Significance. If the central claims hold, the work supplies a systematic, Lie-algebraic method for producing superintegrable magnetic flows on homogeneous spaces, extending classical results on geodesic integrability to the twisted cotangent setting. The use of an Ad(A)-invariant slice and the fiber-tensor-product reduction are technically novel; the explicit SU(3) examples furnish concrete, verifiable instances that can serve as benchmarks for further study.

major comments (2)
  1. [§3.2] §3.2, Definition 3.4 and Proposition 3.7: the Ad(A)-invariance of the chosen affine slice of m is asserted but the explicit verification that the slice is transverse to the coadjoint orbits and that the pulled-back functions Poisson-commute with the image of P is only sketched; a direct computation of the Poisson bracket on generators would strengthen the claim that the two families commute globally.
  2. [§4.1] §4.1, Theorem 4.3: the injectivity of the multiplication map φ: A ⊗ B → O(T^*M) is proved by showing algebraic independence on the dense regular locus; however, the dimension count that guarantees the map is an embedding relies on the rank of the moment map P being constant, which is verified only for the SU(3) examples and not shown to hold for general reductive pairs (G,A).
minor comments (2)
  1. [§2] Notation: the symbol ω_ε is introduced in the abstract and §2 but the precise decomposition ω_can + ε π^*ω_KKS is not restated when the magnetic moment map P is defined; a single sentence reminding the reader of the decomposition would improve readability.
  2. [§5] In the SU(3) examples (§5), the explicit action-angle coordinates are given but the transition functions between the two coordinate charts on the regular locus are omitted; adding one sentence on the overlap would clarify how the projection chain is globally defined.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive assessment and the detailed, constructive comments. We address each major comment below.

read point-by-point responses

  1. Referee: [§3.2] §3.2, Definition 3.4 and Proposition 3.7: the Ad(A)-invariance of the chosen affine slice of m is asserted but the explicit verification that the slice is transverse to the coadjoint orbits and that the pulled-back functions Poisson-commute with the image of P is only sketched; a direct computation of the Poisson bracket on generators would strengthen the claim that the two families commute globally.

    Authors: We agree that an explicit computation strengthens the argument. In the revised manuscript we will add a direct verification of the Poisson brackets on the generators of the two families, together with an explicit check that the chosen affine slice is transverse to the coadjoint orbits. This will confirm global commutation without relying on the sketch. revision: yes

  2. Referee: [§4.1] §4.1, Theorem 4.3: the injectivity of the multiplication map φ: A ⊗ B → O(T^*M) is proved by showing algebraic independence on the dense regular locus; however, the dimension count that guarantees the map is an embedding relies on the rank of the moment map P being constant, which is verified only for the SU(3) examples and not shown to hold for general reductive pairs (G,A).

    Authors: We thank the referee for highlighting this point. The constancy of the rank of P on the dense regular locus follows from the reductive decomposition and the structure of the coadjoint action; we will insert a short general lemma establishing this fact for arbitrary reductive pairs (G,A). With the lemma in place the dimension count holds in full generality and the injectivity proof is completed. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The derivation constructs commuting polynomial integrals via standard magnetic moment map pullbacks from g and from an Ad(A)-invariant affine slice of m on reductive homogeneous spaces. The fiber tensor product, Poisson homomorphism property of the multiplication map, and injectivity on the dense regular locus are verified directly on generators using the KKS form and coadjoint action; these steps do not reduce to fitted inputs, self-definitions, or load-bearing self-citations. The center containment in the Poisson center of Sym(g) follows immediately from the coadjoint representation without additional assumptions. The SU(3) examples supply explicit algebraic independence checks, rendering the chain self-contained against external Lie-algebraic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract only; no explicit free parameters, invented entities, or detailed axioms beyond the stated geometric setting are visible.

axioms (2)
  • domain assumption G is a compact semisimple Lie group and A a closed subgroup so that M = G/A is reductive homogeneous
    Stated directly in the abstract as the ambient space for the construction.
  • domain assumption The twisted form omega_epsilon = omega_can + epsilon pi^* omega_KKS is well-defined on T^*M
    Used as the symplectic structure without further justification in the abstract.

pith-pipeline@v0.9.0 · 5604 in / 1389 out tokens · 27961 ms · 2026-05-16T18:21:02.858470+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.

  • IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    Their common image generates a reduced Poisson algebra obtained from a fiber tensor product, and the natural multiplication map into a Poisson subalgebra of polynomial functions O(T^*M) subset C^infty(T^*M) is Poisson and injective. In a dense regular locus, the resulting projection chain realises a superintegrable system.

  • IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    We build two canonical and commuting families of polynomial first integrals: one pulled back from the Lie algebra g of G via the magnetic moment map P, and one pulled back from a Ad(A)-invariant affine slice of m ≅ T_eA M

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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Geometric construction of superintegrable Poisson projection chains via Poisson centralizers

    math-ph 2026-05 unverdicted novelty 7.0

    Inclusions of invariant subalgebras S(g)^G subset S(g)^T subset S(g) for a maximal torus T in a semisimple Lie group G form a superintegrable Poisson projection chain with matching dimension splits between Hamiltonian...

Reference graph

Works this paper leans on

44 extracted references · 44 canonical work pages · cited by 1 Pith paper

  1. [1]

    Miller Jr, S

    W. Miller Jr, S. Post, and P. Winternitz. Classical and quantum superintegrability with applications.J. Phys. A: Math. Theor., 46(42):423001, 97, 2013

    work page 2013

  2. [2]

    Reshetikhin

    N. Reshetikhin. Degenerately integrable systems.Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI), 433(Voprosy Kvantovo˘ ı Teorii Polya i Statistichesko˘ ı Fiziki. 23):224–245, 2015

    work page 2015

  3. [3]

    Friˇ s, V

    J. Friˇ s, V. Mandrosov, Ya. A. Smorodinsky, M. Uhl´ ıˇ r, and P. Winternitz. On higher symmetries in quantum mechanics.Phys. Lett., 16:354–356, 1965

    work page 1965

  4. [4]

    Action-angle variables and their generalizations.Trans

    NN Nehoroˇ sev. Action-angle variables and their generalizations.Trans. Moscow Math. Soc., 26:180, 1968

    work page 1968

  5. [5]

    E. G. Kalnins, J. M. Kress, and W. Miller, Jr.Separation of variables and superintegrability. IOP Expanding Physics. IOP Publishing, Bristol, 2018. The symmetry of solvable systems

    work page 2018

  6. [6]

    Fournier, L

    F. Fournier, L. ˇSnobl, and P. Winternitz. Cylindrical type integrable classical systems in a magnetic field.J. Phys. A, 53(8):085203, 31, 2020

    work page 2020

  7. [7]

    Yurducsen, O

    I. Yurducsen, O. O. Tuncer, and P. Winternitz. Superintegrable systems with spin and second-order tensor and pseudo-tensor integrals of motion.J. Phys. A, 54(30):Paper No. 305201, 32, 2021

    work page 2021

  8. [8]

    A. G. Nikitin. Superintegrable quantum mechanical systems with position dependent masses invariant with respect to two parametric Lie groups.J. Phys. A, 56(39):Paper No. 395203, 19, 2023

    work page 2023

  9. [9]

    E. G. Kalnins, J. M. Kress, W. Miller Jr, and P. Winternitz. Superintegrable systems in Darboux spaces.J. Math. Phys., 44(12):5811–5848, 2003

    work page 2003

  10. [10]

    V. I. Arnold.Mathematical Methods of Classical Mechanics, volume 60 ofGraduate Texts in Mathematics. Springer- Verlag, New York, second edition, 1989. Translated from the Russian by K. Vogtmann and A. Weinstein

    work page 1989

  11. [11]

    A. S. Mishchenko and A. T. Fomenko. Euler equations on finite-dimensional Lie groups.Izv. Akad. Nauk SSSR Ser. Mat., 42(2):396–415, 1978. in Russian

    work page 1978

  12. [12]

    A. Thimm. Integrable geodesic flows on homogeneous spaces.Ergodic Theory Dynam. Systems, 1(4):495–517, 1981

    work page 1981

  13. [13]

    Guillemin and S

    V. Guillemin and S. Sternberg. The gelfand-cetlin system and quantization of the complex flag manifolds.J. Funct. Anal., 52(1):106–128, 1983

    work page 1983

  14. [14]

    D. I. Efimov. The magnetic geodesic flow on a homogeneous symplectic manifold.Sibirsk. Mat. Zh., 46(1):106–118, 2005

    work page 2005

  15. [15]

    Arthamonov and N

    S. Arthamonov and N. Reshetikhin. Superintegrable systems on moduli spaces of flat connections.Comm. Math. Phys., 386(3):1337–1381, 2021

    work page 2021

  16. [16]

    Bolsinov and B

    V. Bolsinov and B. Jovanovi´ c. Magnetic flows on homogeneous spaces.Comment. Math. Helv., 83(3):679–700, 2008

    work page 2008

  17. [17]

    Laurent-Gengoux, A

    C. Laurent-Gengoux, A. Pichereau, and P. Vanhaecke.Poisson structures, volume 347 ofGrundlehren der mathe- matischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer, Heidelberg, 2013

    work page 2013

  18. [18]

    N. N. Nehoroˇ sev. Action-angle variables, and their generalizations.Trudy Moskov. Mat. Obˇ sˇ c., 26:181–198, 1972. 55 SUPERINTEGRABILITY IN HOMOGENEOUS SPACES

    work page 1972

  19. [19]

    Campoamor-Stursberg, D

    R. Campoamor-Stursberg, D. Latini, I. Marquette, and Y.-Z. Zhang. Algebraic (super-) integrability from commu- tants of subalgebras in universal enveloping algebras.J. Phys. A: Math. Theor., 56(4):045202, 2023

    work page 2023

  20. [20]

    Campoamor-Stursberg and I

    R. Campoamor-Stursberg and I. Marquette. Quadratic algebras as commutants of algebraic Hamiltonians in the enveloping algebra of Schr¨ odinger algebras.Ann. Phys., 437:168694, 16, 2022

    work page 2022

  21. [21]

    Dixmier.Alg` ebres enveloppantes

    J. Dixmier.Alg` ebres enveloppantes. Les Grands Classiques Gauthier-Villars. [Gauthier-Villars Great Classics]. ´Editions Jacques Gabay, Paris, 1977

    work page 1977

  22. [22]

    Dolgachev.Lectures on Invariant Theory, volume 296 ofLondon Mathematical Society Lecture Note Series

    Igor V. Dolgachev.Lectures on Invariant Theory, volume 296 ofLondon Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 2003

    work page 2003

  23. [23]

    E. G. Beltrametti and A. Blasi. On the number of Casimir operators associated with any Lie group.Phys. Lett., 20:62–64, 1966

    work page 1966

  24. [24]

    L. E. Dickson. Recent Publications: Reviews: Vorlesungen uber die Theorie der Algebraischen Zahlen.Amer. Math. Monthly, 31(1):45–46, 1924

    work page 1924

  25. [25]

    Marquette, J

    I. Marquette, J. Zhang, and Y.-Z. Zhang. Algebraic structures and Hamiltonians from the equivalence classes of 2D conformal algebras.Annals of Physics, 447:169998, 1–26, 2025

    work page 2025

  26. [26]

    Peccia and R

    A. Peccia and R. T. Sharp. Number of independent missing label operators.J. Math. Phys., 17(7):1313–1314, 1976

    work page 1976

  27. [27]

    Pauri and G

    M. Pauri and G. M. Prosperi. Canonical realizations of Lie symmetry groups.J. Math. Phys., 7:366–375, 1966

    work page 1966

  28. [28]

    Campoamor-Stursberg

    R. Campoamor-Stursberg. Number of missing label operators and upper bounds for dimensions of maximal Lie subalgebras.Acta Phys. Polon. B, 37(10):2745–2760, 2006

    work page 2006

  29. [29]

    L. J. Boya and R. Campoamor-Stursberg. Commutativity of missing label operators in terms of Berezin brackets. J. Phys. A: Math. Theor., 42(23):235203, 12, 2009

    work page 2009

  30. [30]

    Campoamor-Stursberg and M

    R. Campoamor-Stursberg and M. R. de Traubenberg. Group theory in physics: A practitioner’s guide.Journal of Mathematical Physics, 2018

    work page 2018

  31. [31]

    P. Michor. Isometric actions of Lie groups and invariants.Lecture course at the university of Vienna, 97, 1996

    work page 1996

  32. [32]

    M. Brion. Introduction to actions of algebraic groups.Les cours du CIRM, 1(1):1–22, 2010

    work page 2010

  33. [33]

    Hartshorne.Algebraic Geometry, volume 52 ofGraduate Texts in Mathematics

    R. Hartshorne.Algebraic Geometry, volume 52 ofGraduate Texts in Mathematics. Springer, New York, 1977

    work page 1977

  34. [34]

    Campoamor-Stursberg, D

    R. Campoamor-Stursberg, D. Latini, I. Marquette, J. Zhang, and Y.-Z. Zhang. On the construction of polynomial poisson algebras: a novel grading approach.arXiv preprint arXiv:2503.03490, 2025

    work page arXiv 2025

  35. [35]

    Crooks and M

    P. Crooks and M. Mayrand. Symplectic reduction along a submanifold.Compos. Math., 158(9):1878–1934, 2022

    work page 1934

  36. [36]

    Sjamaar and E

    R. Sjamaar and E. Lerman. Stratified symplectic spaces and reduction.Ann. Math., pages 375–422, 1991

    work page 1991

  37. [37]

    Knapp.Lie groups Beyond an Introduction, volume 140 ofProgress in Mathematics

    Anthony W. Knapp.Lie groups Beyond an Introduction, volume 140 ofProgress in Mathematics. Birkh¨ auser Boston, Inc., Boston, MA, second edition, 2002

    work page 2002

  38. [38]

    Lang.Algebra

    S. Lang.Algebra. Springer, New York, 3rd edition, 2002

    work page 2002

  39. [39]

    M. F. Atiyah and I. G. Macdonald.Introduction to Commutative Algebra. Addison-Wesley, Reading, MA, 1969

    work page 1969

  40. [40]

    Gaboriaud, L

    J. Gaboriaud, L. Vinet, S. Vinet, and A. Zhedanov. The Racah algebra as a commutant and Howe duality.J. Phys. A: Math. Theor., 51(50):50LT01, 8, 2018

    work page 2018

  41. [41]

    Campoamor-Stursberg, D

    R. Campoamor-Stursberg, D. Latini, I. Marquette, J. Zhang, and Y.-Z. Zhang. Polynomial poisson algebras and superintegrable systems from cartan centralisers of typesB 3,C 3 andD 3.arXiv preprint arXiv:2406.01958, 2024

    work page arXiv 2024

  42. [42]

    Campoamor-Stursberg, D

    R. Campoamor-Stursberg, D. Latini, I. Marquette, J. Zhang, and Y.-Z. Zhang. Explicit formula of Weyl invariant generators in Cartan centralizers of enveloping algebras.In preparation, 2026

    work page 2026

  43. [43]

    Jiang, G

    K. Jiang, G. Ma, I. Marquette, J. Zhang, and Y.-Z. Zhang. Double spin calogero-moser systems from superintegrable systems in generalised flag manifolds.In preparation, 2026

    work page 2026

  44. [44]

    R. N. Cahn.Semi-Simple Lie Algebras and Their Representations. The Benjamin/Cummings Publishing Company, Menlo Park, CA, 1984. 56

    work page 1984