Abstract
It is well known that the compatible linear and quadratic Poisson brackets of the full symmetric and of the standard open Toda lattices are restrictions of linear and quadratic r-matrix Poisson brackets on the associative algebra \(\mathrm {gl}(n,{\mathbb {R}})\). We here show that the quadratic bracket on \(\mathrm {gl}(n,{\mathbb {R}})\), corresponding to the r-matrix defined by the splitting of \(\mathrm {gl}(n,{\mathbb {R}})\) into the direct sum of the upper triangular and orthogonal Lie subalgebras, descends by Poisson reduction from a quadratic Poisson structure on the cotangent bundle \(T^* \mathrm {GL}(n,{\mathbb {R}})\). This complements the interpretation of the linear r-matrix bracket as a reduction of the canonical Poisson bracket of the cotangent bundle.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The goal of this brief communication is to illuminate the group theoretic origin of a certain quadratic r-matrix structure on the associative algebra \({{\mathcal {G}}}:= \mathrm {gl}(n,{\mathbb {R}})\). This Poisson structure is associated with the QU factorization and it appeared in the theory of integrable systems [5, 6]. Like the corresponding linear r-matrix bracket, it can be restricted to the Poisson submanifolds consisting of symmetric and of tridiagonal symmetric matrices [6], thereby producing the bi-Hamiltonian structures of the full symmetric and of the usual (open) Toda lattices [1, 10]. It is well known (see e.g., [8]) that the linear r-matrix bracket on \({{\mathcal {G}}}\) is a reduction of the canonical Poisson bracket of the cotangent bundle of the group \(G:= \mathrm {GL}(n,{\mathbb {R}})\). Our observation is that \(T^*G\) carries also a quadratic Poisson bracket that descends to the relevant quadratic bracket on \({{\mathcal {G}}}\) via the same reduction procedure which works in the linear case. The idea arises from [3, 4], where bi-Hamiltonian structures for spin Sutherland models were obtained by reducing bi-Hamiltonian structures on the cotangent bundle of \(\mathrm {GL}(n,{\mathbb {C}})\).
We now recall the necessary background information about linear and quadratic r-matrix Poisson brackets on \({{\mathcal {G}}}\). This is a specialization of general results found in [5, 6] (see also [9]). Let R be a linear operator on \({{\mathcal {G}}}\) that solves the modified classical Yang–Baxter equation.Footnote 1 Decompose R as the sum of its anti-symmetric and symmetric parts, \(R_a\) and \(R_s\), with respect to the non-degenerate bilinear form,
and suppose that \(R_a\) solves the same equation as R. For a smooth real function on \({{\mathcal {G}}}\) let df denote its gradient defined using the trace form (1.1), and introduce the ‘left- and right-derivatives’ \(\nabla f\) and \(\nabla 'f\) by
Then the following formula defines a Poisson bracket on \({{\mathcal {G}}}\):
The Lie derivative of this quadratic r-matrix bracket along the vector field \(V(L):= {{\varvec{1}}}_n\) is the linear r-matrix bracket,
and thus the two Poisson brackets are compatible. The Hamiltonians \(h_k(L) := \frac{1}{k} \mathrm {tr\,}(L^k)\) are in involution with respect to both brackets. They enjoy the relation
and their Hamiltonian vector fields engender bi-Hamiltonian Lax equations:
Turning to the example of our interest, let us decompose any \(X\in {{\mathcal {G}}}\) as
where \(X_>\), \(X_0\) and \(X_<\) are the strictly upper triangular, diagonal and strictly lower triangular parts of the matrix X, respectively. Denote \({{\mathcal {A}}}< {{\mathcal {G}}}\) the Lie subalgebra of skew-symmetric matrices and \({{\mathcal {B}}}< {{\mathcal {G}}}\) the subalgebra of upper triangular matrices. They enter the vector space direct sum
and, using the projections \(\pi _{{\mathcal {A}}}\) onto \({{\mathcal {A}}}\) and \(\pi _{{\mathcal {B}}}\) onto \({{\mathcal {B}}}\), yield the r-matrix
In terms of the triangular decomposition (1.7),
and
This r-matrix R satisfies the conditions stipulated above, and we are going to derive its quadratic bracket (1.3) by reduction of a Poisson structure on \(T^*G\).
Remark 1.1
The matrix space \({\mathrm {mat}}(n\times n, {\mathbb {R}})\) is primarily an associative algebra, and the notation \(\mathrm {gl}(n,{\mathbb {R}})\) is usually reserved for its induced Lie algebra structure. In this paper, \(\mathrm {gl}(n,{\mathbb {R}})\) is understood to carry both algebraic structures, i.e., we identify \(\mathrm {gl}(n,{\mathbb {R}})\) with \({\mathrm {mat}}(n\times n,{\mathbb {R}})\) when using the associative product. This should not lead to any confusion.
2 The r-matrix brackets from Poisson reduction
We start with the manifold
which is to be viewed as a model of \(T^*G\) obtained via right translations and the identification \({{\mathcal {G}}}^* \simeq {{\mathcal {G}}}\) given by the trace form. For smooth real functions \(F, H\in C^\infty ({\mathfrak {M}})\), the following formulae define two compatible Poisson brackets:
and
where
The derivatives are taken at (g, L),
and \(\nabla _2 F(g,L) := L d_2 F(g,L)\), \(\nabla _2' F(g,L) := d_2F(g,L) L\) with \(d_2 F\) denoting the gradient with respect to the second argument. The first bracket is just the canonical one. The second one is obtained by a change of variables from the Heisenberg double [7] of the Poisson–Lie group G equipped with the Sklyanin bracket that appears in the first two terms of (2.3). In the corresponding complex holomorphic case, this is explained in detail in [3]. The compatibility of the two brackets also follows by the same Lie derivative argument that works in the complex case [3].
We are interested in the restriction of the Poisson brackets (2.2) and (2.3) to those functions on \({\mathfrak {M}}\) that are invariant with respect to the group
whose factors correspond to the Lie algebras \({{\mathcal {A}}}\) and \({{\mathcal {B}}}\) in (1.8). That is, B consists of the upper triangular elements of G having positive diagonal entries. The action of S on \({\mathfrak {M}}\) is given by letting any \((a,b)\in A \times B\) act on \((g,L)\in {\mathfrak {M}}\) by the diffeomorphism
Due to the QU factorization,Footnote 2 every S orbit in \({\mathfrak {M}}\) admits a unique representative of the form \(({{\varvec{1}}}_n,L)\). Therefore, we may associate to any smooth, S invariant functions F, H on \({\mathfrak {M}}\) unique smooth functions f, h on \({{\mathcal {G}}}\) according to the rule
Provided that the invariant functions close under the Poisson brackets on \({\mathfrak {M}}\), we may define the reduced Poisson brackets on \(C^\infty ({{\mathcal {G}}})\) by setting
In other words, in this situation the Poisson brackets descend to the quotient space \({\mathfrak {M}}/S \simeq {{\mathcal {G}}}\). The closure is obvious for the first Poisson bracket, and for the second one we prove it below.
Proposition 2.1
If F and H are invariant with respect to the S action (2.7), then their second Poisson bracket (2.3) takes the simplified form
This formula implies that the Poisson bracket of two S invariant functions is again S invariant.
Proof
The invariance of F with respect to the action of one parameter subgroups of A and B leads to the conditions
The first condition means that \(\nabla _1' F(g,L)\) is strictly upper triangular, and since the same holds for H we get
By using the second condition in (2.11), we are going to show that the contributions containing \(R_a\) cancel from all other terms of (2.3) as well. To do this, it proves useful to employ the direct sum decomposition \({{\mathcal {G}}}= {{\mathcal {A}}}+ {{\mathcal {A}}}^\perp \), where \({{\mathcal {A}}}^\perp \) consists of the symmetric matrices in \({{\mathcal {G}}}\). Accordingly, we may decompose any element \(Z\in {{\mathcal {G}}}\) as
Then the second condition in (2.11) means that
By using this together with the anti-symmetry of \(R_a\) and that \(R_a\) maps \({{\mathcal {A}}}\) into \({{\mathcal {A}}}^\perp \) and \({{\mathcal {A}}}^\perp \) into \({{\mathcal {A}}}\), we derive the equalities,
and
By adding up (2.15) and the terms in (2.16) together with (minus one times) their counterparts having F and H exchanged, one precisely cancels \(\langle \nabla _2 F - \nabla _2' F, R_a (\nabla _2' H - \nabla _2 H) \rangle \) in (2.3). Then the formula (2.10) results directly from (2.3). Having derived (2.10), one sees that the right-hand side of this expression is invariant under the action (2.7) of S. Indeed, this is a consequence of the fact that the derivatives of invariant functions are equivariant, meaning for example that we have
This and the conjugation invariance of the trace imply the claim. \(\square \)
The following lemma will be important below.
Lemma 2.2
The S invariant function F on \({\mathfrak {M}}\) and the function f on \({{\mathcal {G}}}\) related by (2.8) satisfy the relations
where \(R_s\) and \(r_+\) are given by (1.11) and (2.4).
Proof
The second relation is obvious, and it implies the identities \(\nabla _2 F({{\varvec{1}}}_n,L) = \nabla f(L)\) and \(\nabla '_2 F({{\varvec{1}}}_n,L) = \nabla ' f(L)\). Since \(\nabla _1 F({{\varvec{1}}}_n,L) = \nabla '_1 F({{\varvec{1}}}_n,L)\) by (2.5), we see from (2.11) that
where we applied the triangular decomposition (1.7). Then, noting that the anti-symmetric part of any \(X\in {{\mathcal {G}}}\) is \(X^+ = \frac{1}{2} ( X - X^T)\), it follows from the equality (2.14) that
Because \(r_+ X = X_> + \frac{1}{2} X_0\) and \(R_s X = \frac{1}{2} X_0 + (X_<)^T\) by (1.11) and (2.4), the statement (2.18) is obtained by combining (2.19) and (2.20). \(\square \)
We now prove our claim about the reduction origin of the quadratic bracket (2.3), which we could not find in the literature. For completeness, we also show that the linear r-matrix bracket (1.4) descends from (2.2), which is a classical result [8].
Theorem 2.3
The reductions (2.9) of the Poisson brackets (2.2) and (2.3) on the cotangent bundle \({\mathfrak {M}}\equiv T^*\mathrm {GL}(n,{\mathbb {R}}) \) (2.1) defined by taking quotient by the action (2.7) of the group S (2.6) give the linear (1.4) and quadratic (1.3) r-matrix brackets on \({{\mathcal {G}}}= \mathrm {gl}(n,{\mathbb {R}})\), respectively.
Proof
We have to evaluate the expressions (2.9) for f and h related to the S invariant functions F and H by (2.8). We start with the second bracket, relying on (2.10). Substitution of the relations (2.18) into (2.10) gives
where \({{\mathcal {E}}}(F,H)\) stands for the terms obtained by exchanging the roles of F and H, and similarly for f and h. Writing \(r_+ = R_a + \frac{1}{2}{\mathrm {id}}\), we find
The terms containing \(R_a\) and \(R_s\) contribute
and
Plugging these identities into (2.10), we obtain the result
which reproduces the quadratic r-matrix bracket (1.3).
To continue, we evaluate (2.9) for \(i=1\). Substitution of (2.18) now gives, at the appropriate arguments,
Here, \(R= R_a + R_s\) and we used the standard invariance properties of the trace form (1.1). Consequently, we get
The right-hand side gives \(\{f,h\}_1^\mathrm {red}\), which coincides with the linear r-matrix bracket (1.4). \(\square \)
Remark 2.4
Let us recall [5, 6] that \({{\mathcal {G}}}\) carries also a cubic r-matrix Poisson bracket which is compatible with the linear and quadratic ones. It can be obtained from the linear bracket by performing the densely defined change of variables \(L \mapsto L^{-1}\), and then extending the result to the full of \({{\mathcal {G}}}\). For completeness, we note that the same change of variables is applicable on \(T^*G\), too, and the so-obtained Poisson bracket then leads to the cubic bracket on \({{\mathcal {G}}}\) by the reduction procedure described in the above.
3 Discussion
We explained that the quadratic r-matrix bracket (1.3) of the ‘generalized Toda hierarchy’ (1.6) on \(\mathrm {gl}(n,{\mathbb {R}})\) is a reduction of a quadratic Poisson bracket on \(T^* \mathrm {GL}(n,{\mathbb {R}})\). This observation escaped previous attention, probably because the convenient form (2.3) of the relevant parent Poisson bracket came to light only recently [3]. The integrability of the system (1.6) was thoroughly studied in [2] (see also [5]), together with two other related hierarchies. These are of the form (1.6), but instead of R (1.11) use either \(R'\) given by \(R'(X) := \frac{1}{2} (X_> + X_0 - X_<)\) or \(R'':= R_a\) (which gives the anti-symmetric part of \(R'\), too). We can show that the quadratic r-matrix brackets obtained from (1.3) by replacing R with \(R'\) or \(R''\) are also reductions of the bracket (2.3) on \({\mathfrak {M}}\), similarly to how the linear r-matrix brackets descend [8] from (2.2). In the case of \(R'\), one may use the group \(S':= A' \times B\), where \(A'\) is the exponential of the strictly lower triangular subalgebra of \({{\mathcal {G}}}\). In the case of \(R''\), the reduction group is \(S''< (G\times G)\) having elements of the form \((a,b) = (e^{X_0} e^{X_<}, e^{-X_0} e^{Y_>})\) which act in the same way as (2.7). (The notation refers to (1.7) with arbitrary \(X,Y\in {{\mathcal {G}}}\).) To be precise, in these cases one needs to restrict the starting system to \(T^* \check{G}\), where the leading principal minors of the elements of \(\check{G}\) are positive, otherwise the reduction procedure is identical to the presented case, even the crucial equations (2.10) and (2.18) keep their form for the corresponding invariant functions. The open Toda phase space is well known [10] to be a Poisson submanifold with respect to the linear r-matrix brackets for any of R, \(R'\) and \(R''\). However, in contrast to the case of R (1.11), it is not a Poisson submanifold with respect to the quadratic brackets associated with \(R'\) and \(R''\). It would be interesting to find the reduction origin of the modified quadratic r-matrix brackets of Suris [9, 10] that are free from this difficulty. Another open problem is to extend our treatment of the quadratic brackets to spectral parameter-dependent r-matrices.
References
Deift, P., Li, L.-C., Nanda, T., Tomei, C.: The Toda flow on a generic orbit is integrable. Commun. Pure Appl. Math. 39, 183–232 (1986)
Deift, P., Li, L.-C., Tomei, C.: Matrix factorizations and integrable systems. Commun. Pure Appl. Math. 42, 443–521 (1989)
Fehér, L.: Bi-Hamiltonian structure of spin Sutherland models: the holomorphic case. Ann. Henri Poincaré 22, 4063–4085 (2021). arXiv:2101.11484 [math-ph]
Fehér, L.: Bi-Hamiltonian structure of Sutherland models coupled to two u(n)*-valued spins from Poisson reduction. arXiv:2109.07391 [math-ph]
Li, L.-C., Parmentier, S.: Nonlinear Poisson structures and \(r\)-matrices. Commun. Math. Phys. 125, 545–563 (1989)
Oevel, W., Ragnisco, O.: \(R\)-matrices and higher Poisson brackets for integrable systems. Physica A 161, 181–220 (1989)
Semenov-Tian-Shansky, M.A.: Dressing transformations and Poisson group actions. Publ. RIMS 21, 1237–1260 (1985)
Semenov-Tian-Shansky, M.A.: Integrable systems: an r-matrix approach. Kyoto preprint, RIMS-1650, 2008. http://www.kurims.kyoto-u.ac.jp/preprint/file/RIMS1650.pdf
Suris, Y.B.: On the bi-Hamiltonian structure of Toda and relativistic Toda lattices. Phys. Lett. A 180, 419–429 (1993)
Suris, Y.B.: The Problem of Integrable Discretization: Hamiltonian Approach. Birkhäuser (2003)
Acknowledgements
We wish to thank Maxime Fairon for useful remarks on the manuscript. This work was supported in part by the NKFIH research Grant K134946.
Funding
Open access funding provided by University of Szeged.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
All authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Fehér, L., Juhász, B. A note on quadratic Poisson brackets on \(\mathrm {gl}(n,{\mathbb {R}})\) related to Toda lattices. Lett Math Phys 112, 45 (2022). https://doi.org/10.1007/s11005-022-01537-y
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-022-01537-y