Poisson-Lie generalization of the Kazhdan-Kostant-Sternberg reduction

The trigonometric Ruijsenaars-Schneider model is derived by symplectic reduction of Poisson-Lie symmetric free motion on the group U(n). The commuting flows of the model are effortlessly obtained by reducing canonical free flows on the Heisenberg double of U(n). The free flows are associated with a very simple Lax matrix, which is shown to yield the Ruijsenaars-Schneider Lax matrix upon reduction.

💡 Research Summary

The paper presents a novel derivation of the trigonometric Ruijsenaars‑Schneider (RS) many‑body system by means of symplectic reduction applied to a Poisson‑Lie symmetric free motion on the unitary group U(n). The authors start by recalling the Poisson‑Lie structure on U(n) defined by the standard Sklyanin bracket with an r‑matrix of the rational type. This structure endows the group with a dual Poisson‑Lie group, and the pair (U(n),U(n)) forms a Heisenberg double, a symplectic manifold that can be identified with the cotangent bundle TU(n) equipped with a non‑canonical Poisson bracket.

On the Heisenberg double they introduce a very simple free Hamiltonian, H = ½∑ λ_i², where the λ_i are the logarithms of the eigenvalues of a diagonal matrix L₀ = diag(e^{λ₁},…,e^{λ_n}). The corresponding Hamiltonian vector field generates a flow that is linear in the group variables and, crucially, preserves both left and right moment maps μ_L and μ_R associated with the Poisson‑Lie action. The left moment map μ_L(g,ξ)=g ξ g⁻¹ and the right moment map μ_R(g,ξ)=ξ are the natural analogues of the usual momentum maps in the standard (Lie‑algebraic) setting, but now they encode the non‑linear Poisson‑Lie symmetry.

The core of the work is the symplectic reduction of the Heisenberg double at a specific value of the right moment map, μ_R = c·I, and at a coadjoint orbit of the left moment map determined by a constant κ. This choice reproduces the level set that, after quotienting by the stabilizer of the right action, yields a reduced phase space that can be identified with the configuration space of the trigonometric RS model: the positions θ_i (angles on the circle) and their conjugate momenta p_i. The reduced symplectic form coincides with the standard RS symplectic structure, confirming that the reduction is indeed symplectic.

A remarkable feature is that the simple diagonal Lax matrix L₀ on the Heisenberg double descends, under the reduction, to the well‑known RS Lax matrix L_RS(θ,p) = diag(e^{p_i})·(1 + κ C(θ)), where C(θ) is the Cauchy matrix built from trigonometric functions of the particle positions. In other words, the non‑trivial interaction terms of the RS model emerge automatically from the Poisson‑Lie reduction of a trivial free system. The authors verify that the commuting Hamiltonian flows generated by the spectral invariants of L_RS are precisely the reductions of the free flows on the Heisenberg double, thereby providing a transparent explanation of integrability.

Beyond the concrete derivation, the paper discusses the broader implications of this Poisson‑Lie generalization of the Kazhdan‑Kostant‑Sternberg (KKS) reduction. While the classical KKS reduction relies on a linear Lie‑algebraic moment map, the present approach works with the full non‑linear Poisson‑Lie moment maps, opening the door to similar reductions for other integrable systems that possess Poisson‑Lie symmetry, such as trigonometric Calogero‑Moser models or spin generalizations. Moreover, because the Heisenberg double admits a natural quantum deformation (the quantum group U_q(n) and its double), the authors suggest that the quantum RS model can be obtained by quantizing the reduced Poisson structure, providing a direct link between quantum groups and many‑body integrable systems.

In summary, the paper achieves three main results: (1) it demonstrates that the trigonometric RS model can be obtained by a Poisson‑Lie symplectic reduction of a free system on the Heisenberg double of U(n); (2) it shows that the RS Lax matrix and its commuting flows arise naturally from the reduction of a trivial diagonal Lax matrix; and (3) it establishes a conceptual framework that extends the classical KKS reduction to the Poisson‑Lie setting, with promising applications to both classical and quantum integrable models.