Poisson-Lie interpretation of trigonometric Ruijsenaars duality

A geometric interpretation of the duality between two real forms of the complex trigonometric Ruijsenaars-Schneider system is presented. The phase spaces of the systems in duality are viewed as two different models of the same reduced phase space arising from a suitable symplectic reduction of the standard Heisenberg double of U(n). The collections of commuting Hamiltonians of the systems in duality are shown to descend from two families of `free’ Hamiltonians on the double which are dual to each other in a Poisson-Lie sense. Our results give rise to a major simplification of Ruijsenaars’ proof of the crucial symplectomorphism property of the duality map.

💡 Research Summary

The paper provides a geometric and Poisson‑Lie theoretic interpretation of the duality between two real forms of the complex trigonometric Ruijsenaars‑Schneider (RS) system. The authors start by recalling the classical Ruijsenaars duality, which states that two seemingly different integrable many‑body systems share the same reduced phase space and that their action‑angle variables are interchanged under a symplectomorphism. Historically, the proof of this symplectic property relied on cumbersome coordinate calculations.

To replace these calculations, the authors turn to the Poisson‑Lie framework. They consider the standard Heisenberg double of the unitary group U(n), a manifold that can be identified with the product of two copies of U(n) equipped with a natural Poisson‑Lie bracket. This double carries a moment map for the diagonal action of U(n)×U(n). Imposing the zero‑level set of this moment map and quotienting by the diagonal U(n) action yields the first stage of symplectic reduction, reducing the dimension from 2n² to n² while preserving the Poisson‑Lie structure.

The second reduction selects a submanifold corresponding to the trigonometric RS models. Concretely, one fixes the diagonal part of the left copy to be a real vector (the particle positions) and the off‑diagonal part of the right copy to be a real vector (the momenta). This yields two distinct models of the same reduced phase space, denoted M_A and M_B, each of which is identified with one of the two real forms of the trigonometric RS system.

A central innovation of the paper is the introduction of two families of “free” Hamiltonians on the Heisenberg double. The first family, H⁽¹⁾_k, consists of symmetric functions of the eigenvalues of the left copy; these descend to the commuting Hamiltonians of the A‑type RS system. The second family, H⁽²⁾_k, is obtained by applying the Poisson‑Lie duality map that exchanges the left and right copies; these descend to the commuting Hamiltonians of the B‑type RS system. The two families are Poisson‑commuting with respect to the double’s Poisson‑Lie bracket and are mutually dual in the sense that the Poisson bracket of any H⁽¹⁾_k with any H⁽²⁾_ℓ vanishes.

The duality map Φ: M_A → M_B is then constructed explicitly as the composition of the two reduction procedures followed by the Poisson‑Lie exchange of the left and right factors. Because the exchange is a Poisson‑Lie isomorphism on the double, Φ automatically preserves the symplectic form on the reduced space. The authors verify that Φ sends the A‑type Hamiltonians to the B‑type ones and vice versa, thereby establishing the Ruijsenaars duality as a genuine symplectomorphism without recourse to lengthy coordinate checks.

Beyond reproducing the known duality, the paper highlights several conceptual advantages. First, the duality is seen as a manifestation of a deeper Poisson‑Lie self‑duality of the Heisenberg double rather than an accidental coordinate coincidence. Second, the method is highly modular: any integrable system that can be realized as a reduction of a Poisson‑Lie group (or its double) admits an analogous dual description. This opens the door to systematic extensions to other trigonometric or elliptic models, to Calogero‑Moser type systems, and potentially to quantum deformations where quantum groups replace classical Poisson‑Lie groups.

In conclusion, the authors succeed in simplifying Ruijsenaars’ original proof, providing a transparent geometric picture, and establishing a framework that may be applied to a broad class of integrable models. Their work underscores the power of Poisson‑Lie theory in revealing hidden symmetries and dualities in many‑body integrable dynamics.