arxiv: 2605.14490 · v1 · submitted 2026-05-14 · 🧮 math-ph · math.MP

Recognition: 1 theorem link

· Lean Theorem

Geometric construction of superintegrable Poisson projection chains via Poisson centralizers

Kai Jiang , Guorui Ma , Ian Marquette , Junze Zhang , Yao-Zhong Zhang

Authors on Pith no claims yet

Pith reviewed 2026-05-15 01:47 UTC · model grok-4.3

classification 🧮 math-ph math.MP

keywords superintegrable systemsPoisson centralizersLie-Poisson algebramaximal toriquotient mapssymplectic leavesinvariant subalgebrasreductive subgroups

0 comments

The pith

The inclusions of Poisson invariants under a maximal torus and the full group form a superintegrable projection chain on semisimple Lie algebras.

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

This paper develops a geometric method to build superintegrable systems using Poisson centralizers within the symmetric algebra of a semisimple Lie algebra. Starting from chains of reductive subgroups, it examines invariant subalgebras and their centers to define superintegrability via Poisson projection chains of affine varieties. For a maximal torus T inside the group G, the chain S(g)^G subset S(g)^T subset S(g) is shown to be superintegrable, with associated quotient maps from the Lie algebra to its quotients by T and then G. Rank calculations confirm the proper split between the number of independent Hamiltonians and additional integrals, while examples demonstrate explicit constructions.

Core claim

For a maximal torus T subset G, the inclusions S(g)^G subset S(g)^T subset S(g) determine a superintegrable chain, and the associated quotient maps are identified as g to g//T to g//G. The rank computations yield the expected dimension split, and the symplectic leaves in the intermediate space are described.

What carries the argument

Poisson centralizers in the Lie-Poisson algebra S(g) for chains of reductive subgroups, which generate the invariant subalgebras and define the projection maps between the quotient varieties g//T and g//G.

Load-bearing premise

The Poisson centers of the invariant subalgebras for reductive subgroups behave as expected under the Poisson structure, allowing the inclusions to form a projection chain with the predicted ranks.

What would settle it

A computation showing that the transcendence degree of S(g)^T fails to produce the required dimension split for superintegrability between the quotients g//T and g//G on a specific semisimple Lie algebra would disprove the claim.

read the original abstract

We introduce a geometric framework for constructing superintegrable systems from Poisson centralizers (commutants) in the Lie-Poisson algebra $S(\mathfrak{g})$ of a complex semisimple Lie algebra. Starting from a chain of reductive subgroups, we study the corresponding invariant Poisson subalgebras and their Poisson centers, and formulate superintegrability in terms of a \emph{Poisson projection chain} of affine Poisson varieties. For a maximal torus $T\subset G$, we prove that the inclusions $S(\mathfrak{g})^G\subset S(\mathfrak{g})^T\subset S(\mathfrak{g})$ determine a superintegrable chain and identify the associated quotient maps $\mathfrak{g}\xrightarrow{\chi_T}\mathfrak{g}//T\xrightarrow{\rho}\mathfrak{g}//G$. The rank (transcendence degree) computations yield the expected dimension split between commuting Hamiltonians and first integrals, and we describe the corresponding symplectic leaves in the intermediate space. Several examples illustrate how the centralizer generators organize into explicit superintegrable Poisson chains.

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.

Desk Editor's Note private letter to a colleague

The paper sets up a geometric chain of Poisson quotients from subgroup invariants that delivers the right dimension counts for superintegrability in the torus case, but the proof that the middle Poisson center is exactly the G-invariants rests on rank calculations whose explicit verification is thin.

read the letter

The core contribution is a clean geometric picture: start with a chain of reductive subgroups of a semisimple G, take the corresponding invariant subalgebras of S(g), and show that the inclusions S(g)^G subset S(g)^T subset S(g) give a Poisson projection chain whose symplectic leaves have the dimensions needed for superintegrability. For maximal torus T they identify the maps g to g//T to g//G and compute transcendence degrees that split the commuting Hamiltonians from the first integrals in the expected way. The examples are useful for seeing how the centralizer generators actually produce concrete systems. That part is new enough and cleanly stated to be worth having in the literature on symmetry-based integrable systems. The rank computations are the part that carries the weight; they appear to be done directly from the standard formulas for invariants of semisimple Lie algebras. The soft spot is exactly the one the stress test flags. The paper asserts that the Poisson center of S(g)^T equals S(g)^G, but the argument seems to rest on the dimension count rather than an explicit check that no extra T-invariant functions Poisson-commute with all of S(g)^T. If such extras exist, the intermediate level would have too many Casimirs and the superintegrability count would fail. The abstract and the rank statements do not supply a separate bracket calculation or reference to a theorem that rules this out, so the claim is plausible but not yet airtight. This is for readers already working inside integrable systems and Poisson geometry who want a systematic way to generate examples from group actions. It is not a broad survey and does not claim to solve open classification problems. A serious editor should send it to referees because the framework is coherent, the examples are checkable, and the potential gap is narrow enough that a revision can fix it without rewriting the paper.

Referee Report

1 major / 2 minor

Summary. The paper introduces a geometric framework for superintegrable systems via Poisson centralizers in the Lie-Poisson algebra S(g) of a complex semisimple Lie algebra g. From chains of reductive subgroups of the corresponding group G, it defines Poisson projection chains of affine Poisson varieties and proves that for a maximal torus T ⊂ G the inclusions S(g)^G ⊂ S(g)^T ⊂ S(g) yield a superintegrable chain. The associated quotient maps g → g//T → g//G are identified, transcendence-degree (rank) computations confirm the expected dimension split between commuting Hamiltonians and first integrals, and the symplectic leaves of the intermediate space are described. Several examples illustrate the explicit organization of centralizer generators into superintegrable Poisson chains.

Significance. If the central claims hold, the construction supplies a systematic, group-theoretic method for producing superintegrable Poisson structures directly from invariant subalgebras, together with explicit quotient maps and leaf descriptions. This geometric approach could unify scattered examples in the literature on superintegrable systems and provide a template for further chains beyond maximal tori.

major comments (1)

[Proof for maximal torus T (section containing the rank computations and quotient-map identification)] The superintegrability of the intermediate level S(g)^T ⊂ S(g) requires that the Poisson center of S(g)^T equals exactly S(g)^G. While the manuscript states that rank computations deliver the expected transcendence-degree split and identifies the quotient maps, no separate verification (for instance via the explicit Lie-Poisson bracket on T-invariants or a structure theorem for the centralizer) is supplied to exclude additional T-invariant Casimirs. If such elements exist, the dimension count for the superintegrable chain fails at the intermediate stage.

minor comments (2)

[Introduction and definitions] Notation for the Poisson projection chain and the maps χ_T and ρ should be introduced with a short diagram or explicit commutative square to improve readability.
[Examples] The examples section would benefit from a uniform table listing the generators, their degrees, and the resulting transcendence degrees for each example.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive comment regarding the verification of superintegrability for the maximal torus case. We address the point below, explaining how the existing rank computations and quotient identifications already establish the required property without additional Casimirs.

read point-by-point responses

Referee: [Proof for maximal torus T (section containing the rank computations and quotient-map identification)] The superintegrability of the intermediate level S(g)^T ⊂ S(g) requires that the Poisson center of S(g)^T equals exactly S(g)^G. While the manuscript states that rank computations deliver the expected transcendence-degree split and identifies the quotient maps, no separate verification (for instance via the explicit Lie-Poisson bracket on T-invariants or a structure theorem for the centralizer) is supplied to exclude additional T-invariant Casimirs. If such elements exist, the dimension count for the superintegrable chain fails at the intermediate stage.

Authors: We appreciate the referee drawing attention to this key requirement. The transcendence-degree computations in the manuscript do provide the necessary verification that the Poisson center of S(g)^T coincides exactly with S(g)^G. Let Z denote the Poisson center of S(g)^T. By construction, S(g)^G is contained in Z. The rank calculations establish that the transcendence degree of the fraction field of Z equals the transcendence degree of S(g)^G (equal to the rank of g). Because the two algebras are domains of equal transcendence degree and the quotient maps g → g//T → g//G are identified explicitly, any additional independent element of Z would increase the transcendence degree beyond the computed value, contradicting the dimension split required for superintegrability. The symplectic-leaf description in the intermediate space further confirms that the generic leaf dimension is consistent only with this exact center. The explicit examples illustrate the same organization. We therefore maintain that the existing arguments suffice, though we can insert a short clarifying paragraph on this implication in a revised version if the editor prefers. revision: no

Circularity Check

0 steps flagged

No circularity: derivation uses independent rank computations on standard invariants

full rationale

The paper defines Poisson projection chains from the standard inclusions of invariant subalgebras S(g)^G ⊂ S(g)^T ⊂ S(g) for reductive subgroups of a semisimple Lie group G. It then computes transcendence degrees (ranks) of the Poisson centers to obtain the dimension split required for superintegrability and identifies the quotient maps χ_T and ρ. These rank computations rest on the known structure of the Lie-Poisson bracket and the algebraic independence of Casimir functions and T-invariants; they do not presuppose the superintegrability conclusion or reduce to a fitted parameter or self-referential definition. No self-citation chain, ansatz smuggling, or renaming of known results is used to establish the central claim. The construction therefore remains self-contained against external algebraic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The framework rests on standard Lie algebra theory with a new geometric interpretation; no free parameters are introduced in the abstract.

axioms (2)

standard math The Lie-Poisson algebra structure on the symmetric algebra S(g) for a complex semisimple Lie algebra g
Standard background in Poisson geometry and Lie theory.
domain assumption Invariant subalgebras under reductive subgroup actions form Poisson subalgebras with well-defined centers
Assumed from representation theory of reductive groups.

invented entities (1)

Poisson projection chain no independent evidence
purpose: To encode superintegrability geometrically via successive quotient maps
New concept introduced to formulate the chain of inclusions and projections.

pith-pipeline@v0.9.0 · 5487 in / 1281 out tokens · 49755 ms · 2026-05-15T01:47:09.984239+00:00 · methodology

discussion (0)

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/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

inclusions S(g)^G ⊂ S(g)^T ⊂ S(g) determine a superintegrable chain and identify the associated quotient maps g → g//T → g//G

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

41 extracted references · 41 canonical work pages · 1 internal anchor

[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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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

work page 1981
[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]

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

work page 2005
[16]

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.The European Physical Journal Plus, 141(2):155, 2026

work page 2026
[17]

Marquette, J

I. Marquette, J. Zhang, and Y.-Z. Zhang. Algebraic structures and Hamiltonians from the equivalence classes of 2D conformal algebras.arXiv preprint arXiv:2309.11030, 2023

work page arXiv 2023
[18]

Campoamor-Stursberg, D

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

work page 2023
[19]

Kai J., G. Ma, I. Marquette, J. Zhang, and Y.-Z. Zhang. Poisson centralisers and polynomial superinte- grability for magnetic geodesic flows on reductive homogeneous spaces.arXiv preprint arXiv:2601.01369, 2026

work page internal anchor Pith review Pith/arXiv arXiv 2026
[20]

Laurent-Gengoux, A

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

work page 2013
[21]

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
[22]

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
[23]

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
[24]

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

work page 1966
[25]

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

work page 1924
[26]

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
[27]

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
[28]

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
[29]

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
[30]

Campoamor-Stursberg, D

R. Campoamor-Stursberg, D. Latini, I. Marquette, and Y.-Z. Zhang. Polynomial algebras from Lie algebra reduction chainsg⊃g′.Ann. Physics, 459:(19):169496, 2023

work page 2023
[31]

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
[32]

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
[33]

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

work page 1996
[34]

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

work page 2010
[35]

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
[36]

The stacks project, morphisms of schemes, section 29.34: Smooth morphisms (tag 01v4).https://stacks.math.columbia.edu/tag/01V4, 2026

The Stacks Project Authors. The stacks project, morphisms of schemes, section 29.34: Smooth morphisms (tag 01v4).https://stacks.math.columbia.edu/tag/01V4, 2026. See Definition 29.34.1 and Lemma 29.34.2

work page 2026
[37]

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

work page 1969
[38]

A. S. Mishchenko and A. T. Fomenko. Generalized Liouville method of integration of Hamiltonian systems. Functional Analysis and Its Applications, 12(2):113–121, 1978

work page 1978
[39]

E. B. Vinberg. On certain commutative subalgebras of a universal enveloping algebra.Mathematics of the USSR-Izvestiya, 36(1):1–22, 1991. English translation of: Izv. Akad. Nauk SSSR Ser. Mat. 54 (1990), no. 1, 3–25

work page 1991
[40]

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
[41]

Crooks and M

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

work page 1934
[42]

Sjamaar and E

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

work page 1991