Global description of action-angle duality for a Poisson-Lie deformation of the trigonometric \(\mathrm {BC}_n\) Sutherland system (Q1735504): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s00023-019-00782-7 / rank
Normal rank
 
Property / OpenAlex ID
 
Property / OpenAlex ID: W3026292367 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1710.08760 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Symplectic structures associated to Lie-Poisson groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Erratum: Solution of the one-dimensional <i>N</i>-body problems with quadratic and/or inversely quadratic pair potentials [J. Math. Phys. <b>12</b>, 419–436 (1971)] / rank
 
Normal rank
Property / cites work
 
Property / cites work: Differential equations in the spectral parameter / rank
 
Normal rank
Property / cites work
 
Property / cites work: Calogero-Moser systems and representation theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Action-angle map and duality for the open Toda lattice in the perspective of Hamiltonian reduction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Trigonometric Sutherland systems and their Ruijsenaars duals from symplectic reduction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Duality between the trigonometric<b><i>BC</i></b><sub><b><i>n</i></b></sub>Sutherland system and a completed rational Ruijsenaars–Schneider–van Diejen system / rank
 
Normal rank
Property / cites work
 
Property / cites work: On a Poisson-Lie deformation of the \(\mathrm{BC}_{n}\) Sutherland system / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the duality between the hyperbolic Sutherland and the rational Ruijsenaars–Schneider models / rank
 
Normal rank
Property / cites work
 
Property / cites work: Poisson-Lie interpretation of trigonometric Ruijsenaars duality / rank
 
Normal rank
Property / cites work
 
Property / cites work: Self-duality of the compactified Ruijsenaars-Schneider system from quasi-Hamiltonian reduction / rank
 
Normal rank
Property / cites work
 
Property / cites work: New compact forms of the trigonometric Ruijsenaars-Schneider system / rank
 
Normal rank
Property / cites work
 
Property / cites work: The action–angle dual of an integrable Hamiltonian system of Ruijsenaars–Schneider–van Diejen type / rank
 
Normal rank
Property / cites work
 
Property / cites work: Duality in integrable systems and gauge theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Integrable many-body systems in the field theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hamiltonian group actions and dynamical systems of calogero type / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5731354 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3973390 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A new model in the Calogero-Ruijsenaars family / rank
 
Normal rank
Property / cites work
 
Property / cites work: Spectral parameter dependent Lax pairs for systems of Calogero-Moser type / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4263551 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The physics and mathematics of Calogero particles / rank
 
Normal rank
Property / cites work
 
Property / cites work: Action-angle duality between the \(C_n\)-type hyperbolic Sutherland and the rational Ruijsenaars-Schneider-van Diejen models / rank
 
Normal rank
Property / cites work
 
Property / cites work: The hyperbolic \(BC_n\) Sutherland and the rational \(BC_n\) Ruijsenaars-Schneider-Van Diejen models: Lax matrices and duality / rank
 
Normal rank
Property / cites work
 
Property / cites work: Self-duality and scattering map for the hyperbolic van Diejen systems with two coupling parameters (with an Appendix by S. Ruijsenaars) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lax representation of the hyperbolic van Diejen dynamics with two coupling parameters / rank
 
Normal rank
Property / cites work
 
Property / cites work: Degenerate integrability of the spin Calogero-Moser systems and the duality with the spin Ruijsenaars systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Degenerately integrable systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Action-angle maps and scattering theory for some finite-dimensional integrable systems. I: The pure soliton case / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relativistic Toda systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Action-angle maps and scattering theory for some finite-dimensional integrable systems. III: Sutherland type systems and their duals / rank
 
Normal rank
Property / cites work
 
Property / cites work: A new class of integrable systems and its relation to solitons / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dressing transformations and Poisson group actions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4820341 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deformations of Calogero-Moser systems and finite Toda chains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Spectrum and eigenfunctions of the lattice hyperbolic Ruijsenaars-Schneider system with exponential Morse term / rank
 
Normal rank
Property / cites work
 
Property / cites work: Calogero-Moser-Sutherland models. Workshop, Centre de Recherches Mathématique, Montréal, Canada, March 10--15, 1997 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S00023-019-00782-7 / rank
 
Normal rank

Latest revision as of 06:40, 11 December 2024

scientific article
Language Label Description Also known as
English
Global description of action-angle duality for a Poisson-Lie deformation of the trigonometric \(\mathrm {BC}_n\) Sutherland system
scientific article

    Statements

    Global description of action-angle duality for a Poisson-Lie deformation of the trigonometric \(\mathrm {BC}_n\) Sutherland system (English)
    0 references
    28 March 2019
    0 references
    The authors are concerned with integrable many-body systems of Ruijsenaars-Schneider-van Diejen type that display a curious action-angle duality. Basically, there are pairs of $2n$-dimensional symplectic manifolds $(M,\omega)$, $(\hat{M},\hat{\omega})$ with Darboux coordinates $\lambda_i,\theta_j$, $\hat{\lambda}_i,\hat{\theta}_j$, and Hamiltonians $H$, $\hat{H}$, that can be interpreted as many-body Hamiltonians describing the dynamics of $n$ interacting particles on a line, with positions $\lambda_i$, $\hat{\lambda}_i$, respectively. These two systems are said to be in \textit{action-angle duality} if there exists a global symplectomorphism $\mathcal{R}:(M,\omega)\to ({\hat M},\hat{\omega})$ such that under this correspondence the position coordinates $\hat{\lambda}_i$ are action-angle variables for $M$ and the position coordinates $\lambda_i$ are action-angle variables for $\hat{M}$. This means that $\mathcal{R}$ and $\mathcal{R}^{-1}$ can be interpreted as global action-angle maps for the Liouville integrable systems $(M, \omega,H)$ and $(\hat{M},\hat{\omega},\hat{H})$ and the solution of one system automatically leads to solution of the other system. In all known examples of this phenomena the Hamiltonian flows can be written down explicitly and globally. \par For some, but not all, of the examples it has been recognized that these dual pairs of integrable many-body systems can be derived by Hamiltonian reduction from a higher-dimensional `master phase space' $\mathcal{M}$ that admits a symmetry group $G$, and two distinguished independent abelian Poisson algebras $\mathcal{H}^1$ and $\mathcal{H}^2$ formed by $G$-invariant, smooth functions on $\mathcal{M}$. Then one can apply Hamiltonian reduction to $\mathcal{M}$ to obtain a reduced phase space $\mathcal{M}_{\mathrm{red}}$ equipped with two Abelian Poisson algebras $\mathcal{H}^1_{\mathrm{red}}$, $\mathcal{H}^2_{\mathrm{red}}$ that descend from $\mathcal{H}^1,\mathcal{H}^2$ respectively. Then one needs to construct two distinct models $M$ and $\hat{M}$ of $\mathcal{M}_{\mathrm{red}}$ yielding $(M,H,\lambda_i)$,$(\hat{M},\hat{H},\hat{\lambda}_i)$ in such a way that the reduction of $\mathcal{H}^1$ is represented by $\mathcal{H}$, the reduction of $\mathcal{H}^2$ is represented by $\hat{\mathcal{H}}^2$, and there are many-body Hamiltonians $H\in \mathcal{H},\hat{H}\in \hat{\mathcal{H}}^2$ with associated position variables $\{\lambda_i\},\{\hat{\lambda}_i\}$, respectively. If this is achieved, then there is a natural map $R: M \to \hat{M}$ that corresponds to the identity map on $\mathcal{M}_{\mathrm{red}}$ and relates the Abelian Poisson algebras on $M$ to those on $\hat{M}$ in the desired way. \par The authors refer to several papers in which this construction is successful. However, the standard application of Hamiltonian reduction does not provide globally valid descriptions of the reduced system. The authors study a single example and show that global validity can be achieved: reduction of the Heisenberg double of the standard Poisson Lie group $\mathrm{SU}(2n)$. Locally, the Hamiltonians $\hat H$, $H$ can be written as \[ H(\hat{\lambda}, \hat{\theta}) = U(\hat{\lambda}) - \sum_{j=1}^n \cos(\hat{\theta}_j)U_1(\hat{\lambda}_j)^{1/2}\prod_{k\ne j}^n\left[ 1-\frac{\sinh^2\mu}{\sinh^2(\hat{\lambda}_j-\hat{\lambda}_k)}\right]^{1/2}, \] with \[ U(\hat{\lambda}) =\frac{ e^{-2u} + e^{2v}}{2}\sum_{j=1}^n\exp(-2\hat{\lambda}_j), \] \[ U_1(\hat{\lambda}_j)=[1 - (1 + e^{2(v-u)}) \exp(-2\hat{\lambda}_j) + e^{2(v-u)} \exp(-4\hat{\lambda}_j). \] \[\begin{multlined} H(\lambda, \theta) = V (\lambda) + e^{v-u}\sum_{j=1}^n \frac{\cos(\theta_j)}{\cosh^2(\lambda_j)}[ 1-\frac{\sinh^2(v)}{\sinh^2(\lambda_j)}]^{1/2}[ 1-\frac{\sinh^2(u)}{\sinh^2(\lambda_j)}]^{1/2}\\ \times \prod_{k\ne j}^n [ 1 - \frac{\sinh^2 \mu}{\sinh^2(\lambda_j-\lambda_k)}]^{1/2} [ 1 - \frac{\sinh^2 \mu}{\sinh^2(\lambda_j+\lambda_k)}]^{1/2}, \end{multlined}\] \[\begin{multlined} V (\lambda) = e^{v-u}\left(\frac{\sinh(v)\sinh(u)}{\sinh^2 \mu}\prod_{j=1}^n[1-\frac{\sinh^2\mu}{\sinh^2\lambda_j}]\right.\\ -\left. \frac{\cos(v) \cosh(u)}{\sinh^2 \mu}\prod_{j=1}^n[1+\frac{\sinh^2 \mu}{\cosh^2\lambda_j}]+n e^{u-v} +\frac{\cosh(v - u)}{\sinh^2 \mu}\right). \end{multlined}\] Here $\mu,u,v$ are parameters. \par The master phase space is $\mathcal{M} = {\mathrm{SL}}(2n,\mathbb{C})$ viewed as a real Lie group. The construction uses its subgroups $K = {\mathrm{SU}}(2n)$, and $B= {\mathrm{SB}}(2n)$ (formed by upper triangular complex matrices with positive entries along the diagonal). Every $g \in \mathcal{M}$ admits the alternative Iwasawa decompositions $g = kb = b_Lk_R$, $k,k_R \in K$, $b, b_L \in B$. The Alekseev-Malkin symplectic form on $\mathcal{M}$ is \[ \omega_{\mathcal{M}}= \frac12 \ \text{Im tr}(db_Lb_L^{-1}\wedge dkk^{-1})+\frac12\ \text{Im tr}(b^{-1}db\wedge k_R^{-1}dk_R). \] The Poisson bracket on $\mathcal{M}$ determined by the symplectic form is known as the Heisenberg double of the standard Poisson Lie group ${\mathrm{SU}}(2n)$. Note that $\mathrm{sl}(2n,C) = \mathcal{K} + \mathcal{B}$ where $\mathcal K$ and $\mathcal{B}$ are the Lie algebras of $K$ and $B$. The linear mapping $R$ is defined as $R =\frac12 (\pi_\mathcal{K}- \pi_\mathcal{B})$ where $\pi_{\mathcal{K}},\pi_{\mathcal{B}}$ are the projectors on $\mathcal{K}$, $\mathcal{B}$. The space $\hat{\mathcal{H}}^2$ is spanned by the functions $\hat{\mathcal{H}}_j(g)=\frac12\ \text{tr}((bb^\dag)^j)$ for $j=1,\dots ,2n-1$. The space $\mathcal{H}^1$ is generated by the functions $\mathcal{H}_j(g)=\frac12\ \text{tr}((k^\dag IkI)^j)$ for $j=1,\dots,n$, where $I = \text{diag}(\mathbf{1}_n,-\mathbf{1}_n)$ and $\mathbf{I}_n$ is the $n\times n$ unit matrix. We introduce the subgroup $K_+ =\{ k \in K \mid k^\dag I k=I\}$. \par The symmetry group for the reduction is $K_+\times K_+$ acting by \[ K_+ \times K_+\times \mathcal{M}\to \mathcal{M}, \quad (\eta_L, \eta_R, g) \to \eta_L g\eta^{-1}_R. \] The momentum map generating this action sends $g$ to the pair of matrices given by block-diagonal parts of $b_L$ and $b$, and is accomplished in two steps, first by requiring $b$ and $b_L$ be of a certain explicit form and demanding that $\mathcal{M}_0$ be the subspace consisting of all $g\in \mathcal{M}$ such that $b$, $b_L$ take that form. This space is stable under the action of the gauge group $K_+(\sigma)\times K_+$ where $K_+(\sigma)$ is a subgroup of $K_+$ defined by an $n\times n$ upper triangular matrix $\sigma$ taken from the restriction of $b_L$ Then $\mathcal{M}_{\mathrm{red}}= \mathcal{M}_0/K_+(\sigma)\times K_+=K_+(\sigma)\backslash \mathcal{M}_0/K_+$. The model $\hat M$ for the reduction is adapted from [\textit{L. Fehér} and \textit{T. F. Görbe}, Nucl. Phys., B 901, 85--114 (2015; Zbl 1332.81082)]. It is obtained by explicitly constructing a global cross section of the gauge orbits in $\mathcal{M}_0$. There it is shown that $\mathcal{H}_j, \hat{\mathcal{H}}_j$ reduce to $\mathcal{H}_j^{\mathrm{red}},\hat{\mathcal{H}}^{\mathrm{red}}_j$ for $j=1,\dots n$, and $\omega_{\mathcal{M}}$ reduces to a symplectic form $\omega_{\mathrm{red}}$. In the model, $\hat{M}=\mathbb{C}^n$ in the variables $\mathbb{Z}_j$ with symplectic form $d\omega_{\mathrm{can}}=i\sum_{j=1}^n d\mathbb{Z}_j\wedge d\mathbb{Z}_j^*$. The ${\hat \lambda}_j$ generate the action of the torus $\mathbb{T}^n$ on $\hat M: (\mathbb{Z}_1, \dots ,\mathbb{Z}_n) \to (\mathbb{Z}_1 e^{it_1},\dots,\mathbb{Z}_ne^{it_n})$. The action has a single fixed point $\mathbb{Z}_1=\dots=\mathbb{Z}_n=0$ and the reduced Hamiltonian ${\hat H} ={\hat H}_1$ has the desired many-body form. \par The construction of the global model $M$ is much more complicated and constitutes the main new contribution of the authors. In [J. Phys. A, Math. Theor. 50, No. 31, Article ID 314004, 20 p. (2017; Zbl 1371.81158)], they have partial results for this description of $M$, but they must introduce new ideas and very lengthy technical computations for the global construction in this paper. The authors construct a space $\mathcal{N}$ acted upon by the $n$-torus $\mathbb{T}_n$ such that $\mathcal{M}_{\mathrm{red}}=\mathcal{N}/\mathbb{T}_n$. $M$ is constructed as a global cross section for this action. In the final construction the action-angle phase spaces $(M,\omega)$ and $(\hat{M}, \hat{\omega})$ are the same, both are equal to $(\mathbb{C}_n, \omega_{\mathrm{can}})$, although the coordinate identifications are, of course, different. The duality map $R$ is just the identity map on $M_{\mathrm{red}}$ written in terms of two distinct models. Another conclusion of the global models is that the particle positions evaluated along any fixed phase space trajectories of the Hamiltonians stay in a compact set and that both systems have a unique equilibrium point, \par In an appendix the authors show how the Hamiltonian $H$ is recovered as a scaling limit of van Diejen's 5-parametric integrable Hamiltonians.
    0 references
    action-angle duality
    0 references
    Poisson-Lie bracket
    0 references
    Heisenberg double
    0 references
    trigonometric Sutherland system
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references