arxiv: 2604.18023 · v2 · submitted 2026-04-20 · 🧮 math-ph · hep-th· math.MP· math.SG· nlin.SI

Recognition: unknown

Spherical singularities in compactified Ruijsenaars--Schneider systems

L. Feher , H.R. Dullin

Authors on Pith no claims yet

Pith reviewed 2026-05-10 03:47 UTC · model grok-4.3

classification 🧮 math-ph hep-thmath.MPmath.SGnlin.SI

keywords Ruijsenaars-Schneider systemsLiouville integrabilityspherical singularitiescompact symplectic manifoldstorus actionsmomentum mapsquasi-Hamiltonian reductionSU(n)

0 comments

The pith

In type (ii) compactified Ruijsenaars-Schneider systems the singular fibers of the momentum map are smooth connected isotropic submanifolds, some of them diffeomorphic to S^3.

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

The paper studies Liouville integrable systems obtained by reducing the quasi-Hamiltonian double of SU(n). These systems live on compact connected symplectic manifolds of dimension 2(n-1) and appear in two forms depending on a parameter y between 0 and pi. Type (i) systems are toric while type (ii) systems have a Hamiltonian torus action defined only on a dense open set. The central task is to describe the fibers of the T^{n-1} action map that lie outside that dense set. The paper proves all such fibers are smooth connected isotropic submanifolds, gives a model for them as quotients of subgroups of SU(n), and shows that in the simplest type (ii) cases the fibers over the vertices of the action polytope are three-spheres equivalent to SU(2).

Core claim

All singular fibers of the T^{n-1} momentum map in the type (ii) cases are smooth connected isotropic submanifolds. These fibers admit a model as quotient spaces of certain subgroups of SU(n) by the action of another subgroup. In the simplest type (ii) cases that occur for any n at least 4 when pi over (n-1) is less than y less than pi over (n-2), the fibers over the singular vertices of the polytope are diffeomorphic to S^3 congruent to SU(2).

What carries the argument

The T^{n-1} momentum map (action map) whose fibers outside the dense domain of the torus action are shown to be smooth isotropic submanifolds and modeled as quotients of SU(n) subgroups.

If this is right

The singular fibers provide concrete new examples of spherical singularities in Liouville integrable systems on compact manifolds.
The quotient model of the fibers supplies an algebraic description of their topology and geometry.
For any n at least 4 the vertices of the action polytope in the relevant y-interval can be located explicitly.
The distinction between global toric structure in type (i) and dense torus action in type (ii) is reflected in the location and structure of the singular fibers.

Where Pith is reading between the lines

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

The same reduction technique might produce spherical singularities in other integrable systems built from higher-rank Lie groups.
Near these S^3 fibers the local dynamics could exhibit monodromy that differs from the toric case.
One could test whether the isotropy of the fibers persists under small deformations of the parameter y.
The explicit diffeomorphism to SU(2) suggests that the fibers carry a natural group structure that might be used to construct additional integrals or symmetries.

Load-bearing premise

The systems arise from reduction of the quasi-Hamiltonian double of SU(n) and live on compact connected symplectic manifolds of dimension 2(n-1) whose type depends on the value of the parameter y.

What would settle it

An explicit computation or topological invariant showing that the fiber over a singular vertex in one of the n greater than or equal to 4 cases is not diffeomorphic to S^3, or that any singular fiber fails to be smooth or isotropic.

Figures

Figures reproduced from arXiv: 2604.18023 by H.R. Dullin, L. Feher.

**Figure 1.** Figure 1: Intervals in the parameter y/π of type (i) (red) and type (ii) (green) for n = 3, . . . , 7. The black dots mark excluded values of y/π. The numbers over the type (ii) intervals list the ‘face vector’ (# vertices, # edges, ..., # facets) of the corresponding polytope Ay, with more details contained in Appendix D. ‘singular points’ that form ∂Ay ∩ ∂A. With full details contained in the text, our main result… view at source ↗

**Figure 2.** Figure 2: The type (ii) polytope for n = 4 at y/π = 7/20, 5/12 and 7/15, from left to right. The red dots denote the ‘irregular’ vertices. At the excluded values y/π = 1/3 and 1/2 the polytope becomes a simplex and a line segment, respectively, with all vertices on ∂A, as seen from (4.2) and (4.3). meaning that Q(1) is the convex hull of the 4 listed vertices, which are listed in the order of positive orientation as… view at source ↗

read the original abstract

We investigate certain Liouville integrable systems constructed earlier via reduction of the quasi-Hamiltonian double of $\mathrm{SU}(n)$. These systems live on compact connected symplectic manifolds of dimension $2(n-1)$ and can be interpreted as compactified trigonometric Ruijsenaars--Schneider systems. Depending on the value of a parameter $0<y< \pi$, they arise in two drastically different forms: in type (i) these are toric systems, while in the type (ii) cases they possess globally continuous action variables that generate a Hamiltonian torus action (only) on a dense open subset of the phase space. The principal goal of the paper is to study those fibers of the action map (alias the $\mathbb{T}^{n-1}$ momentum map) which are contained in the complement of the domain of the densely defined torus action occurring in the type (ii) cases. We demonstrate that all such `singular fibers' are smooth connected isotropic submanifolds. We also work out a model of the fibers as quotient spaces of certain subgroups of $\mathrm{SU}(n)$ with respect to an action of another subgroup. The general results are exemplified by determining the vertices of the polytope filled by the action variables in the simplest type (ii) cases that appear for any $n\geq 4$ with $\pi/(n-1) <y < \pi/(n-2)$, and proving that the fibers over the `singular vertices' are diffeomorphic to $S^3 \simeq \mathrm{SU}(2)$ in these cases. In this way, our findings enrich the set of examples of Liouville integrable systems with spherical singularities.

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 gives concrete quotient models for the singular fibers in these type (ii) compactified RS systems and proves they are smooth isotropic submanifolds, with explicit S^3 diffeomorphisms over the singular vertices in the simplest cases.

read the letter

The new material is the treatment of the singular fibers of the momentum map in the type (ii) regime. They model these fibers as quotients of subgroups of SU(n) and show the fibers are smooth, connected, and isotropic. For n at least 4 and y between pi over n-1 and pi over n-2 they also prove the fibers at the singular vertices are diffeomorphic to S^3. That adds a handful of explicit examples to the list of Liouville integrable systems that have spherical singularities. The earlier construction via quasi-Hamiltonian reduction is taken as given, so the work here is mainly the geometric analysis of the fibers that sit outside the dense torus action domain. The quotient description looks workable and the S^3 cases are checked directly, which is the part that actually delivers new information. The general smoothness claim for every singular fiber rests on the relevant subgroup action being free and proper. The paper works this out for the vertices they study, but a uniform argument across all fibers would make the result tighter; if any stabilizers appear outside those vertices the smoothness would fail before isotropy or connectedness can be discussed. The abstract states the claims clearly and the stress-test concern about freeness is the main place where a referee would want to see the details written out. This is for people who already know the Ruijsenaars-Schneider literature and want concrete models of singularities in compact integrable systems. A reader looking for new examples rather than a broad classification will find the quotient models and the S^3 cases useful. The paper is focused enough and the claims are specific enough that it deserves a serious referee rather than a desk reject.

Referee Report

1 major / 0 minor

Summary. The paper examines Liouville integrable systems obtained by reduction from the quasi-Hamiltonian double of SU(n), realized as compactified trigonometric Ruijsenaars-Schneider systems on compact connected symplectic manifolds of dimension 2(n-1). For parameter values 0 < y < π these systems appear in toric (type i) or non-toric (type ii) forms; the latter possess a densely defined Hamiltonian torus action. The central results concern the singular fibers of the T^{n-1} momentum map lying outside the dense regular domain in type (ii) cases: these fibers are shown to be smooth connected isotropic submanifolds, realized explicitly as quotients of subgroups of SU(n) by a further subgroup action. For the simplest type (ii) range π/(n-1) < y < π/(n-2) with n ≥ 4 the vertices of the action polytope are determined and the fibers over the singular vertices are proved diffeomorphic to S^3 ≃ SU(2).

Significance. If the claims are substantiated, the work supplies a new family of concrete examples of integrable systems whose singular fibers are spherical (in particular diffeomorphic to S^3). This enlarges the known catalogue of Liouville systems with spherical singularities and furnishes explicit quotient models that may be useful for further study of the geometry and topology of singular tori in integrable systems.

major comments (1)

The demonstration that all singular fibers are smooth connected isotropic submanifolds rests on modeling them as quotients of subgroups of SU(n) by another subgroup action. Smoothness requires this action to be free and proper. While the paper works out the model and proves diffeomorphism to S^3 for the specific vertices in the range π/(n-1) < y < π/(n-2), the general claim for all singular fibers depends on freeness holding uniformly; any non-trivial stabilizers would produce orbifold singularities, undermining the smoothness assertion before isotropy or connectedness can be addressed.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive feedback on our manuscript. The major comment identifies a point where additional explicit verification would strengthen the presentation of our general results on singular fibers. We address this below and will revise the manuscript to incorporate the requested details.

read point-by-point responses

Referee: The demonstration that all singular fibers are smooth connected isotropic submanifolds rests on modeling them as quotients of subgroups of SU(n) by another subgroup action. Smoothness requires this action to be free and proper. While the paper works out the model and proves diffeomorphism to S^3 for the specific vertices in the range π/(n-1) < y < π/(n-2), the general claim for all singular fibers depends on freeness holding uniformly; any non-trivial stabilizers would produce orbifold singularities, undermining the smoothness assertion before isotropy or connectedness can be addressed.

Authors: We thank the referee for this observation, which correctly identifies that smoothness of the quotient model requires a uniform proof of freeness and properness of the subgroup action. In the manuscript we derive the model from the quasi-Hamiltonian reduction and establish the S^3 diffeomorphism (hence freeness) explicitly for the vertices in the range π/(n-1) < y < π/(n-2). For the general type (ii) singular fibers we rely on the same reduction data to conclude that stabilizers are trivial, but we acknowledge that a self-contained argument for arbitrary y in the type (ii) regime is not spelled out in full detail. We will therefore add a new lemma in the revised version that proves the action is free and proper for all such fibers, using the explicit form of the subgroups and the fact that a non-trivial stabilizer would violate the dimension of the fiber or the isotropy condition already established via the momentum map. With this addition the general claims on smoothness, connectedness and isotropy will rest on a complete foundation. revision: yes

Circularity Check

0 steps flagged

No circularity: new fiber analysis independent of prior construction

full rationale

The paper takes as given Liouville integrable systems previously obtained by reduction of the quasi-Hamiltonian double of SU(n) and then applies standard symplectic geometry to study the singular fibers of the momentum map in the type-(ii) regime. The central claims—that all such fibers are smooth connected isotropic submanifolds and that the fibers over the singular vertices are diffeomorphic to S^3—are established by constructing explicit quotient models of subgroups of SU(n) and verifying freeness/properness of the residual action directly for the relevant parameter ranges. No equation or definition in the present work reduces to a fitted parameter, a self-referential renaming, or an unverified self-citation; the derivation therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

The results rely on the prior construction of the integrable systems via reduction and on standard facts from symplectic geometry and Lie group theory; no new free parameters beyond the given y are introduced in the abstract.

free parameters (1)

y
Parameter 0 < y < π that determines whether the system is toric (type i) or has a densely defined torus action (type ii).

axioms (2)

domain assumption The systems are Liouville integrable on compact connected symplectic manifolds of dimension 2(n-1).
Invoked from the earlier construction via reduction of the quasi-Hamiltonian double of SU(n).
standard math Standard properties of Hamiltonian torus actions, momentum maps, and isotropic submanifolds hold in symplectic geometry.
Used to analyze the fibers and their smoothness.

pith-pipeline@v0.9.0 · 5618 in / 1481 out tokens · 46965 ms · 2026-05-10T03:47:53.610881+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

48 extracted references · 23 canonical work pages

[1]

Alamiddine, G´ eom´ etrie de syst` emes Hamiltoniens int´ egrables: le cas du syst` eme de Gelfand–Ceitlin, PhD thesis, Universit´ e Toulouse III – Paul Sabatier, 2009

I. Alamiddine, G´ eom´ etrie de syst` emes Hamiltoniens int´ egrables: le cas du syst` eme de Gelfand–Ceitlin, PhD thesis, Universit´ e Toulouse III – Paul Sabatier, 2009

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

work page Pith review arXiv 1998
[3]

Arnold, Mathematical Methods of Classical Mechanics, Second Edition, Springer, 1989

V.I. Arnold, Mathematical Methods of Classical Mechanics, Second Edition, Springer, 1989

1989
[4]

Audin, Torus Actions on Symplectic Manifolds, second revised edition, Birkh¨ auser, 2004

M. Audin, Torus Actions on Symplectic Manifolds, second revised edition, Birkh¨ auser, 2004

2004
[5]

Bolsinov and A.A

A.V. Bolsinov and A.A. Oshemkov,Singularities of integrable Hamiltonian systems, pp. 1-67 in: Topological Methods in the Theory of Integrable Systems, Cambridge Sci. Publ., 2006

2006
[6]

Bouloc,Singular fibers of the bending flows on the moduli space of 3D polygons, J

D. Bouloc,Singular fibers of the bending flows on the moduli space of 3D polygons, J. Sym- plectic Geom.16(2018) 585–629;arXiv:1504.04748

work page arXiv 2018
[7]

Bouloc, E

D. Bouloc, E. Miranda and N.T. Zung,Singular fibers of the Gelfand–Cetlin system on u(n)∗, Philos. Trans. Roy. Soc. A376, no. 2131 (2018) 20170423;arXiv:1803.08332

work page arXiv 2018
[8]

Bourbaki, Lie Groups and Lie Algebras, Chapters 7-9, Springer, 2008

N. Bourbaki, Lie Groups and Lie Algebras, Chapters 7-9, Springer, 2008

2008
[9]

Brøndsted, An Introduction to Convex, Polytopes, Springer, 1983

A. Brøndsted, An Introduction to Convex, Polytopes, Springer, 1983

1983
[10]

Carlson and J

J.D. Carlson and J. Lane,The topology of Gelfand–Zeitlin fibers, preprint arXiv:2107.02721

work page arXiv
[11]

Cho and Y

Y. Cho and Y. Kim,Lagrangian fibers of Gelfand–Cetlin systems ofSO(n)-type, Transfor- mation Group25(2020) 1063–1102; arXiv:1806.01529

work page arXiv 2020
[12]

Y. Cho, Y. Kim and Y.G. Oh,Lagrangian fibers of Gelfand–Cetlin systems, Adv. Math. 372(2020) 107304;arXiv:1911.04132(see alsoarXiv:1704.07213)

work page arXiv 2020
[13]

Delzant,Hamiltoniens p´ eriodiques et images convexes de l’application moment, Bull

T. Delzant,Hamiltoniens p´ eriodiques et images convexes de l’application moment, Bull. Soc. Math. France116(1988) 315-339

1988
[14]

van Diejen and L

J.F. van Diejen and L. Vinet,The quantum dynamics of the compactified trigono- metric Ruijsenaars–Schneider model, Commun. Math. Phys.197(1998) 33–74; arXiv:math/9709221 33

work page arXiv 1998
[15]

van Diejen and L

J.F. van Diejen and L. Vinet (Editors), Calogero–Moser–Sutherland Models, Springer, 2000

2000
[16]

Duistermaat and J.A.C

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

2000
[17]

Feh´ er and T.F

L. Feh´ er and T.F. G¨ orbe,Trigonometric and elliptic Ruijsenaars–Schneider systems on the complex projective space, Lett. Math. Phys.106(2016) 1429-1449;arXiv:1605.09736

work page arXiv 2016
[18]

Feh´ er and C

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

work page arXiv 2012
[19]

Feh´ er and C

L. Feh´ er and C. Klimˇ c´ ık,On the spectra of the quantized action variables of the compactified Ruijsenaars–Schneider system, Theor. Math. Phys.171(2012) 704-714;arXiv:1203.2864

work page arXiv 2012
[20]

Feh´ er and T.J

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

work page arXiv 2014
[21]

Fock and A.A

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

work page arXiv 1999
[22]

Gawrilow and M

E. Gawrilow and M. Joswig,Polymake: a framework for analyzing convex polytopes, in: Polytopes - Combinatorics and Computation (Oberwolfach, 1997), 43–73, DMV Sem., 29, Birkh¨ auser, 2000; see alsopolymake wiki

1997
[23]

G¨ orbe and M

T.F. G¨ orbe and M. Halln¨ as,Quantization and explicit diagonalization of new com- pactified trigonometric Ruijsenaars–Schneider systems, J. Int. Sys. 3 (2018) xyy015; arXiv:1707.08483

work page arXiv 2018
[24]

Guillemin and S

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

1983
[25]

Hamilton,The quantization of a toric manifold is given by the integer lattice points in the moment polytope, Contemp

M.D. Hamilton,The quantization of a toric manifold is given by the integer lattice points in the moment polytope, Contemp. Math.460(2008) 131-140;arXiv:arXiv:0708.2710

work page arXiv 2008
[26]

Harada and K

M. Harada and K. Kaveh,Integrable systems, toric degenerations and Okounkov bodies, Invent. math.202(2015) 927–985arXiv:1205.5249

work page arXiv 2015
[27]

Hardy and E.M

G.H. Hardy and E.M. Wright, An Introduction to the Theory of Numbers (5th edn.), Clarendon Press, 1979

1979
[28]

Hoek,Howzat: User-friendly Python bindings for the Rust crates howzat, pypi.org/project/howzat,crates.io/crates/howzat

K. Hoek,Howzat: User-friendly Python bindings for the Rust crates howzat, pypi.org/project/howzat,crates.io/crates/howzat
[29]

Karshon and E

Y. Karshon and E. Lerman,Non-compact symplectic toric manifolds, SIGMA11(2015), 055, 37 pages; arXiv:0907.2891

work page arXiv 2015
[30]

Kato, Perturbation Theory for Linear Operators, Classics in Mathematics, Springer, 1995

T. Kato, Perturbation Theory for Linear Operators, Classics in Mathematics, Springer, 1995

1995
[31]

Kerr, On Spherical Type Singularities in Integrable Systems, PhD thesis, Loughborough University, 2021, doi.org/10.26174/thesis.lboro.17695391

R. Kerr, On Spherical Type Singularities in Integrable Systems, PhD thesis, Loughborough University, 2021, doi.org/10.26174/thesis.lboro.17695391

work page doi:10.26174/thesis.lboro.17695391 2021
[32]

Lee, Introduction to Smooth Manifolds, second edition, Sringer, 2003

J.M. Lee, Introduction to Smooth Manifolds, second edition, Sringer, 2003

2003
[33]

Liashyk, G

A. Liashyk, G. Ma, N. Reshetikhin and I. Sechin,Low-dimensional tori in Calogero–Moser– Sutherland systems, Lett. Math. Phys.116(2026) art. no. 44;arXiv:2506.16610

work page arXiv 2026
[34]

McLeod and H.R

D. McLeod and H.R. Dullin,Momentum polyhedra of geodesic flows onS 3 andSO(3), in preparation
[35]

Moser,Geometry of quadrics and spectral Theory, pp

J. Moser,Geometry of quadrics and spectral Theory, pp. 147-188 in: The Chern Symposium 1979, Springer, 1980

1979
[36]

Nishinou, Y

T. Nishinou, Y. Nohara and K. Ueda,Toric degenerations of Gelfand–Cetlin systems and potential functions, Adv. Math.224(2010) 648-706;arXiv:0810.3470

work page arXiv 2010
[37]

Nohara and K

Y. Nohara and K. Ueda,Toric degenerations of integrable systems on Grassmannians and polygon spaces, Nagoya Math. J.214(2014) 125-168;arXiv:1111.4809

work page arXiv 2014
[38]

Nohara and K

Y. Nohara and K. Ueda,Floer cohomologies of non-torus fibers of the Gelfand–Cetlin system, J. Symplectic Geom.14(2016) 1251-1293;arXiv:1409.4049

work page arXiv 2016
[39]

Ortega and T

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

2004
[40]

Pineda-Villavicencio, Polytopes and Graphs, Cambridge University Press, 2024

G. Pineda-Villavicencio, Polytopes and Graphs, Cambridge University Press, 2024

2024
[41]

Richards,Continued fractions without tears, Mathematics Magazine54(1981) 163-171

I. Richards,Continued fractions without tears, Mathematics Magazine54(1981) 163-171

1981
[42]

Ruijsenaars,Action-angle maps and scattering theory for some finite-dimensional integrable systems III

S.N.M. Ruijsenaars,Action-angle maps and scattering theory for some finite-dimensional integrable systems III. Sutherland type systems and their duals, Publ. RIMS31(1995) 247- 353 34

1995
[43]

Ruijsenaars,Systems of Calogero–Moser type, pp

S.N.M. Ruijsenaars,Systems of Calogero–Moser type, pp. 251-352; in: Proceedings of the 1994 CRM-Banff Summer School: Particles and Fields, Springer, 1999

1994
[44]

Ruijsenaars and H

S.N.M. Ruijsenaars and H. Schneider,A new class of integrable models and their relation to solitons, Ann. Phys. (N.Y.)170(1986) 370-405

1986
[45]

Seidel,Graded Lagrangian submanifolds, Bull

P. Seidel,Graded Lagrangian submanifolds, Bull. Soc. Math. France128(2000) 103-149; arXiv:math/9903049

work page arXiv 2000
[46]

Weinstein,Symplectic manifolds and their Lagrangian submanifolds, Advances in Math

A. Weinstein,Symplectic manifolds and their Lagrangian submanifolds, Advances in Math. 6(1971) 329–346

1971
[47]

Ziegler, Lectures on Polytopes, Springer, 1995

G.M. Ziegler, Lectures on Polytopes, Springer, 1995

1995
[48]

N. T. Zung,Symplectic topology of integrable Hamiltonian systems. I: Arnold–Liouville with singularities, Compos. Math.101(1996), 179–215arXiv:math/0106013 [math.DS] 35

work page arXiv 1996