FROM THE TODA LATTICE TO THE VOLTERRA LATTICE AND BACK arxiv:math-ph/0202037v1 25 Feb 2002 (1) PANTELIS A DAMIANOU AND RUI LOJA FERNANDES Abstract We discuss the relationship between the multiple Hamiltonian structures of the generalized Toda lattices and that of the generalized Volterra lattices Contents 1 Introduction 1 2 Fixed point sets of Poisson actions 3 3 The Toda lattices 4 31 The A n -Toda system 4 32 The B n -Toda system 5 4 The Volterra Lattices 8 41 The A n -Volterra system 8 42 Generalized Volterra systems 9 43 The B n -Volterra system 10 5 Epilogue: From Toda to Volterra and back 12 References 14 1 Introduction The Volterra lattice is the system of ode s ȧ i = a i (a i 1 a i+1 ) (i = 1,,n), where a n+1 = a 0 = 0 This system was first studied by Kac, van-moerbeke and Moser in two foundational papers ([15, 17]) for the modern theory of integrable systems They showed, for example, that this system arises as a finite dimensional approximation of the famous KdV equation In this paper we shall refer to system (1) as the A n -Volterra system Another well known discretization of the KdV equation is the Toda lattice [22] The Toda system can be written in the form: ȧ i = a i (b i b i+1 ), (2) (i = 1,,n) ḃ i = a i 1 a i, 2000 Mathematics Subject Classification 35Q58, 37J35, 58J72, 70H06 Key words and phrases Integrable Systems, Toda lattices, Volterra lattices The second author was supported in part by FCT-Portugal through program POCTI and grant POCTI/1999/MAT/33081 1
2 PANTELIS A DAMIANOU AND RUI LOJA FERNANDES with a 0 = b n+1 = 0 We shall refer to this system as the A n 1 -Toda lattice Generalizations of both equations to root systems other than A n were obtained by Bogoyavlenskij in [3, 4] Multiple Hamiltonian structures for the A n -Toda lattice were constructed in [7] in Flaschka coordinates and in [12] in natural (q, p) coordinates The analogous results for B n -Toda were computed in [9] in Flaschka coordinates, and in [6] in (q, p) coordinates The C n case is in [10] in Flaschka coordinates, and [6] in natural (q, p) coordinates The D n case is in [11] which appears elsewhere in this volume The construction of these multiple Hamiltonian structures for the exceptional root systems is an open problem For the Volterra system, multiple Hamiltonian structures were constructed recently by Kouzaris ([16]) for B n, C n and D n systems, which generalize the A n -case For the A n case it was proved in [13] that the (periodic) Volterra lattice is an algebraic completely integrable (aci) system In [14], the hyperelliptic systems were introduced similar to the even and odd Mumford systems (see [18, 19]), and the following link was established: there is a commutative diagram T Φ M K Φ in which M, P, T, K are (in that order) the phase spaces of the (even) Mumford system, the hyperelliptic Prym system (odd or even), the periodic A n -Toda lattice and the periodic A n -Volterra system The vertical arrows are natural inclusion maps exhibiting for both spaces the subspace as fixed points varieties and the horizontal arrows are injective maps that map every fiber of the momentum map on the left injectively into (but not onto) a fiber of the momentum map on the right In addition, Poisson structures were constructed so that this diagram has a meaning in the Poisson category These gives a precise geometric description, in the A n case, of the well known connection between the Toda and Volterra systems (see also [20, 21]) In this paper we initiate the study of the relationship between the Toda and Volterra systems, for root systems other than A n Here we shall restrict our attention mainly to the B n case, for which we give a complete description The analysis for this case is simplified since we can view this system as a subsystem of the A 2n - system We exhibit the phase space of the B n -system as a fixed point set of a finite group action by Poisson automorphisms We prove a general result which allow us to reduce the Poisson structures in such situations, and hence we can relate the multiple Hamiltonian structures of the Volterra and Toda systems The plan of this paper is as follows: In Section 2, we discuss several conditions under which the fixed point set of a Poisson action inherits a Poisson bracket, generalizing the Poisson involution theorem (see [14, 24]) In Section 3, we recall the definition of the Toda systems, and give the multiple Hamiltonian structure for the B n system This were discovered in [9], [6] and we use here a new approach based on the Poisson involution theorem to deduce them In Section 4, we first recall the construction of the Volterra system, and its generalizations for any root system associated with a simple Lie algebra Then we give the multiple Hamiltonian structure for the B n (and C n ) cases, and explain the relation between the Poisson structures for Volterra and Toda lattices, by applying a symmetry approach In P
FROM TODA TO VOLTERRA 3 the final section, we give the connections we have been able to find between the different systems, including a generalization of Moser s recipe (see [17]) to pass from the Volterra to the Toda lattices 2 Fixed point sets of Poisson actions We shall see that the relation between the Toda and Volterra systems relies on special symmetries of the phase spaces In this section, we study conditions under which the fixed point set of a Poisson action inherits a Poisson bracket Although we will be interested mainly in finite symmetries, we give the following general result: Theorem 21 Suppose that (M, {, }) is a Poisson manifold, and G a compact group acting on M by Poisson automorphisms Let N = M G be the submanifold of M consisting of the fixed points of the action and let ι : N M be the inclusion Then N carries a (unique) Poisson structure {, } N such that (3) ı {F 1, F 2 } = {ı F 1, ı F 2 } N for all G-invariant functions F 1, F 2 C (M) Proof For f 1, f 2 C (N) we choose F 1, F 2 C (M) such that f i = ı F i We may assume that F 1 and F 2 are G-invariant by replacing F i by F i = F i dµ, where µ is the Haar measure on G, so that 1dµ = 1 We set G {f 1, f 2 } N ı {F 1, F 2 } G and show that this definition is independent of the choice of F i For this we observe that, since the action of G is Poisson, the Hamiltonian vector field X F associated with a G-invariant function F : M R is tangent to N It follows that the Poisson bracket {F 1, F 2 } N, where F 1 and F 2 are G-invariant functions, depends only on the restrictions F i N It is obvious from its definition that {, } N is bilinear, and satisfies the Jacobi and Leibniz identities, for these identities hold for {, } Hence, we obtain a Poisson bracket on N, and it is the only Poisson bracket satisfying (3) Remark 22 The previous result can be seen as a particular case of Dirac reduction (for the general theorem on Dirac reduction, see Weinstein ([23], Prop 14) and Courant ([5], Thm 321) The case where G is a reductive algebraic group is discussed in [19] using a different method Since this result applies in particular when G is a finite group, we have: Corollary 23 Suppose that (M, {, }) is a Poisson manifold, and G is a finite group acting on M by Poisson automorphisms Then the fixed point set N = M G carries a (unique) Poisson structure {, } N satisfying equation (3) Let us consider the special case G = Z 2 Then G = {I, φ}, where φ : M M is a Poisson involution We conclude that N = M G = {x : φ(x) = x} has a unique Poisson bracket satisfying equation (3) So we see that Theorem 21 contains as a special case the following result, which is known as the Poisson involution theorem (see [14, 24])
4 PANTELIS A DAMIANOU AND RUI LOJA FERNANDES Corollary 24 Suppose that (M, {, }) is a Poisson manifold, and φ : M M is a Poisson involution Then the fixed point set N = {x M : φ(x) = x} carries a (unique) Poisson structure {, } N such that ı {F 1, F 2 } = {ı F 1, ı F 2 } N for all functions F 1, F 2 C (M) invariant under φ One should note that, in general, the fixed point set M G is not a Poisson submanifold of M, since it is not a union of symplectic leaves of M In other words, underlying Theorem 21 there is a true Dirac type reduction, rather than a restriction or Poisson reduction 3 The Toda lattices 31 The A n -Toda system The phase space T n of the (non-periodic) A n 1 -Toda lattice is the affine variety of all Lax operators in sl n of the form (4) L = b 1 a 1 0 0 0 1 b 2 a 2 0 0 1 0 b n 1 a n 1 0 0 1 b n The reader will notice that we adopt a set of variables (due to Kostant) that differ slightly from the usual Flaschka variables (see [2], Chp V) This Lax pair has an obvious Lie algebraic interpretation which leads to the generalized Toda Lattices (see next paragraph) The Hamiltonians H k, (k = 1,, n), defined by H k = 1 k tr(lk ) are in involution with respect to the linear Poisson bracket {, } 1 T, defined by {a i, a j } 1 T = {b i, b j } 1 T = 0 (5) {a i, b j } 1 T = a i(δ ij δ i+1,j ) The commuting vector fields X k = {, H k } 1 T (6) X k (L) = [L, (L k+1 ) + ], admit the Lax representation where the subscript + denotes projection into the Lie subalgebra of sl n generated by the positive roots In [17], it was proved that the non-periodic Toda lattice is a completely integrable system, by applying a finite dimensional analogue of the inverse scattering method For the periodic case, the flows are linear on the generic fibers of the momentum map K : T n C[x], and since these fibers are affine parts of hyperelliptic Jacobians, the periodic Toda lattice is an aci system (see [1] for details)
FROM TODA TO VOLTERRA 5 The Toda lattice is also Hamiltonian with respect to a quadratic Poisson bracket {, } 2 T, defined by (7) {a i, a j } 2 T = a ia j (δ i,j+1 δ i+1,j ), {a i, b j } 2 T = a ib j (δ i,j δ i+1,j ), {b i, b j } 2 T = a i(δ i,j+1 δ i+1,j ) The brackets {, } 1 T and {, }2 T are compatible, and are in fact part of a full hierarchy of higher order Poisson brackets [7, 12] Denote by π 1 and π 2 the Poisson tensors associated with the linear and quadratic brackets Also, let Z 0 be the Euler vector field n n (8) Z 0 = a i + b i a i b i i=1 The following result is proved in [12]: Proposition 31 There exists a sequence of Poisson tensors π k and master symmetries Z k, k = 0, 1, 2, such that (i) The π k are compatible Poisson tensors and the functions H k are in involution with respect to all of the π k ; (ii) The vector fields X k admit the multiple Hamiltonian formulation i=1 X k+l 1 = π k dh l = π k 1 dh l+1 ; (iii) The Poisson tensors, the integrals and the Hamiltonian vector fields, satisfy the deformation relations: (9) L Zk π l = (l k 2)π k+l, Z k (H l ) = (k + l)h k+l, L Zk X l = (l 1)X k+l, [Z k, Z l ] = (k l)z k+l These relations will be important later to deduce some properties of the Volterra lattices Using these relations we can find explicit formulas for the higher order Poisson brackets For example, we have that n 1 (10) Z 1 = a i (b i (1 2i) + b i+1 (1 + 2i)) a i=1 i n ( + ai 1 (2 2i) + a i (2 + 2i) + b 2 i) b i so we find that the cubic bracket π 3 = L Z1 π 2 is given by (see [9]): (11) {a i, a i+1 } 3 T = 2a ia i+1 b i+1, {a i, b i } 3 T = a ib 2 i a2 i, i=1 {a i, b i+1 } 3 T = a ib 2 i+1 + a2 i, {a i, b i+2 } 3 T = a ia i+1, {a i+1, b i } 3 T = a ia i+1, {b i, b i+1 } 3 T = a i(b i + b i+1 ) Similarly, one can compute any higher order Poisson bracket 32 The B n -Toda system Generalizations of the Toda lattice for other root systems are well known and were first given in [3] We consider here only the case of B n
6 PANTELIS A DAMIANOU AND RUI LOJA FERNANDES The phase space for the B n -Toda lattice is the affine variety of all Lax operators in sl 2n+1 of the form: b 1 a 1 0 0 0 1 b 2 a 2 0 b n 1 a n 1 1 b n a n (12) L = 1 0 a n 1 b n a n 1 1 b n 1 0 1 b 2 a 1 0 0 0 1 b 1 This matrix actually lies in the real simple Lie algebra g = so(n, n + 1) We would like to have a multiple Hamiltonian formulation for the B n -Toda systems dl (13) dt = [L, (Lk+1 ) + ] Note that, in this case, only the even powers of L give non-trivial integrals H 2k = 1 2k tr(l2k ), (k = 1, 2, ) In order to write down a Hamiltonian formulation for these systems we recall that the B n -Toda is a subsystem of the A 2n -system This is well known and in fact, more is true: we can find a symmetry such that the B n -Toda is obtained through a symmetry reduction from the A 2n -Toda To see this, observe that conjugation by a diagonal matrix takes the Lax matrix (12) to the Lax matrix: b 1 a 1 0 0 0 1 b 2 a 2 0 b n 1 a n 1 1 b n a n (14) L = 1 0 a n 1 b n a n 1 1 b n 1 0 1 b 2 a 1 0 0 0 1 b 1 and this is just a matrix in T 2n+1 satisfying a 2n+1 i = a i and b 2n+2 i = b i Therefore, if we consider the involution φ : T 2n+1 T 2n+1 defined by φ(a i, b i ) = (a 2n+1 i, b 2n+2 i ), then the phase space of the B n -Toda can be identified with the fixed point set of this involution On the other hand the Z 2 -action generated by this involution is a Poisson action for the odd Poisson brackets More precisely, we have:
FROM TODA TO VOLTERRA 7 Proposition 32 The map φ : T 2n+1 T 2n+1 satisfies φ π k = ( 1) k+1 π k Proof For lower order Poisson brackets one can check this relation by direct computation For higher Poisson brackets, we note that expression (10) for the master symmetry Z 1, shows after some tedious computation that φ Z 1 = Z 1 + X, where X is a multiple of the first Hamiltonian vector field X 1 Now relation (9) gives L Z1 π k = (k 3)π k+1, so it follows by induction that φ π k+1 = 1 k 3 φ L Z1 π k = 1 k 3 L φ Z 1 φ π k = 1 k 3 L Z 1 ( 1) k+1 π k = ( 1) k+2 π k+1 Using Corollary 24, we conclude that the odd Poisson brackets for the A 2n - Toda induce Poisson brackets for the B n -Toda lattices, which therefore possesses a multiple Hamiltonian formulation In this way we have deduced the following result of [9]: Corollary 33 There exists a sequence of Poisson tensors π 1, π 3, π 5, such that the B n -Toda lattices (13) possess a multiple Hamiltonian formulation: π k+2 dh 2l = π k dh 2l+2 It should be noted that Theorem 21 gives an effective procedure to compute the Poisson brackets, as is illustrated by the following example Example 34 In this example we compute the cubic B n -bracket We denote by (a i, b j ), where i, j = 1,,n, the coordinates on the phase space of the B n -Toda lattice, and by (ã i, b j ), where i = 1,,2n, j = 1,,2n + 1, the coordinates on the phase space of the A 2n -Toda lattice Suppose we would like to compute the cubic B n -bracket {a i, b i } 3 T First we extend the function a i and b i to invariant functions â i and b i on the phase space of the A 2n -Toda lattice For example, we can take the functions â i = ãi + ã 2n+1 i, bi = b i b 2n+2 i 2 2 Then we compute the A 2n -cubic bracket of these functions: we find using (11) that for i < n, we have { } 3 ( ) â i, b i = 1 ã i b2 T 4 i + ã 2 i + ã 2n+1 i b 2 2n+2 i + ã2 2n+1 i, while for i = n we obtain { } 3 ) â n, b n (ã = 1 n b2 T 4 n + ã 2 n + ã n+1 b2 n+2 + ã 2 n+1 + 2ã n ã n+1
8 PANTELIS A DAMIANOU AND RUI LOJA FERNANDES Finally, we restrict the brackets to the B n -phase space, to obtain the cubic B n - bracket (15) {a i, b i } 3 T = 1 ( ai b 2 i + a 2 ) i, 2 (i < n) (16) {a n, b n } 3 T = 1 ( an b 2 n 2 ) 2a2 n The other brackets are computed in a similar fashion and they give the following expressions {a i, a i+1 } 3 T = a ia i+1 b i+1, {b i, b i+1 } 3 T = a i(b i + b i+1 ), (17) {a i, b i+1 } 3 T = 1 2 ( ai b 2 i+1 + ) a2 i, {ai, b i+2 } 3 T = 1 2 a ia i+1, {a i+1, b i } 3 T = 1 2 a ia i+1 Remark 35 It is not hard to check that the (non-periodic) C n -Toda system is a subsystem of the A 2n 1 -Toda system The reader can check that the multiple Hamiltonian structure for the C n -Toda lattices found in [10], [6] can be obtained from the multiple Hamiltonian structure for the A 2n 1 -Toda systems, as in the B n -case In fact, the involution φ : T 2n T 2n defined by φ(a i, b i ) = (a 2n+1 i, b 2n+2 i ) satisfies φ π k = ( 1) k π k, so the same method applies 4 The Volterra Lattices 41 The A n -Volterra system We now turn to the (non-periodic) A n -Volterra system Its phase space K n is the subspace of T n consisting of all Lax operators (4) with zeros on the diagonal: (18) L = 0 1 0 a 1 0 0 0 1 0 a 2 0 0 0 a n 1 0 0 1 0 with n i=1 a i = 1 Note that K n is not a Poisson subspace of T n However, K n is the fixed manifold of the involution ψ : T n T n defined by, ((a 1, a 2, a n ), (b 1, b 2, b n )) ((a 1, a 2,a n ), ( b 1, b 2, b n )), and we have (see [14]): Proposition 41 ψ : T n T n is a Poisson automorphism of (T n, {, } k T ), if k even Proof Again, one checks by direct computation for k < 4 that ψ π k = ( 1) k π k
FROM TODA TO VOLTERRA 9 On the other hand, we have that ψ Z 1 = Z 1, so by induction we see that ψ π k+1 = 1 k 3 ψ L Z1 π k = 1 k 3 L ψ Z 1 ψ π k = 1 k 3 L Z 1 ( 1) k π k = ( 1) k+1 π k+1 and the result follows Therefore, by Corollary 24, K n inherits a family of Poisson brackets π 2, π 4, For example, the quadratic bracket can be computed from formulas (7), in a form entirely analogous to Example 34, and is given by (19) {a i, a j } 2 K = a ia j (δ i,j+1 δ i+1,j ), while the Poisson bracket π 4 is found to be given by the formulas (20) {a i, a i+1 } 4 K = a ia i+1 (a i + a i+1 ), (i = 1,,n 1) {a i, a i+2 } 4 K = a ia i+1 a i+2, (i = 1,,n 2) The formulas for the brackets π 2 and π 4 appeared in [8], and the existence of this hierarchy of Poisson brackets is proved in [14] It follows that the restriction of the integrals H 2k to K n gives a set of commuting integrals, with respect to these Poisson brackets Also, for i odd, the Lax equations (6) lead to Lax equations for the corresponding flows, merely by putting all b i equal to zero Taking i = 1, we recover the system (21) ȧ i = a i (a i 1 a i+1 ), i = 1,,n, which we called the A n -Volterra lattice in the introduction More generally, taking i odd we find a family of commuting Hamiltonian vector fields on K n which are restrictions of the Toda vector fields, while for i even the Toda vector fields X i are not tangent to K n Hence, we obtain a family of integrable systems admitting a multiple Hamiltonian formulation: X 2(k+l) 1 = π 2k+2 dh 2l = π 2k dh 2l+2, (k = 1, 2, ) This system was shown to be a completely integrable system in [17], while the periodic version of this system was proved to be an aci system in [13, 14] 42 Generalized Volterra systems We now describe the construction of the generalized Volterra systems of Bogoyavlensky (see [4]) Let g be a simple Lie algebra, with dimg = n, and let Π = {ω 1, ω 2,, ω n } be a Cartan-Weyl basis for the simple roots in g There exist unique positive integers k i such that k 0 ω 0 + k 1 ω 1 + + k n ω n = 0, where k 0 = 1 and ω 0 is the minimal negative root We consider the Lax pair: L = [B, L],
10 PANTELIS A DAMIANOU AND RUI LOJA FERNANDES where L(t) = B(t) = n b i (t)e ωi + e ω0 + i=1 n i=1 k i b i (t) e ω i + e ω0 1 i<j n [e ωi, e ωj ], Let h g be the Cartan subalgebra For every root ω a h there is a unique H ωa h such that ω(h) = β (H ωa, h), for all h h, where β denotes the Killing form Also, β induces an inner product on h by setting ω a, ω b = β (H ωa, H ωb ), and we define c ij = 1 if ω i, ω j 0 and i < j 0 if ω i, ω j = 0 or i = j 1 if ω i, ω j 0 and i > j With these choices, the Lax pair above is equivalent to the system of ode s n k j c ij (22) ḃ i = b j j=1 To obtain a Lotka-Volterra type system one introduces a new set of variables by x ij = c ij b 1 i b 1 j, x ji = x ij, x jj = 0 Note that x ij 0 iff there exists an edge in the Dynkin diagram for the Lie algebra g connecting the vertices ω i and ω j System (22), in the variables x ij, takes the form (23) ẋ ij = x ij n s=1 k s (x is + x js ), which is a Lotka-Volterra type system We call (23) the Bogoyavlensky-Volterra system associated with g (or the g-volterra system for short) Example 42 Let us take g = A n then we have the Dynkin diagram with k i = 1, i = 0,,n If we label the edges of this diagram by a 1,,a n, then system (23) takes precisely the form of the A n -Volterra lattice We now will turn our attention to the B n -case 43 The B n -Volterra system For g = B n, the Dynkin diagram has the form and for the obvious labeling (and after a linear change of variables) we obtain the B n -Volterra system (24) ȧ 1 = a 1 a 2 ȧ i = a i (a i 1 a i+1 ), (i = 2,,n 1) ȧ n = a n (a n 1 + a n )
FROM TODA TO VOLTERRA 11 The multiple Hamiltonian structure for the B n -Volterra system can be obtained from the A 2n -Volterra system in the same fashion as the multiple Hamiltonian formulation for the B n -Toda system was obtained from the A 2n -Toda system (cf Section 32) In fact, we notice that equations (24) for the B n -Volterra system can be obtained from equations (21) for the A 2n -Volterra system by setting a 2n+i i = a i (this defines an invariant submanifold) Hence, we take as phase space of the B n -Volterra system the Lax operators of the form (18) satisfying these additional restrictions: 0 a 1 0 0 0 1 0 a 2 0 0 a n 1 1 0 a n (25) L = 1 0 a n, 1 0 a n 1 1 0 0 1 0 a 1 0 0 0 1 0 Notice that this subspace appears as the fixed point set of the involution ϕ : K 2n K 2n defined by ϕ(a i ) = a 2n+1 i We will see below that this involution can be used to obtain the multiple Hamiltonian structure of the B n -Volterra system Remark 43 There is a diagonal matrix D which conjugates the Lax matrix given above for the B n system, to the following Lax matrix 0 a 1 0 0 0 1 0 a 2 0 0 a n 1 1 0 a n (26) L = 1 0 a n 1 0 a n 1 1 0 0 1 0 a 1 0 0 0 1 0 Notice that these Lax matrices are not obtained as Lax matrices for the B n -Volterra system (matrices of the form (12)) with zeros on the diagonal We now have the following proposition analogous to Propositions 32 and 41 The proof is similar and will be omitted
12 PANTELIS A DAMIANOU AND RUI LOJA FERNANDES Proposition 44 Let π k (k = 2, 4, ) be the Poisson tensors of the A 2n -Volterra system Then ϕ π k = ( 1) k/2 π k In this way, by Corollary 24, the phase space of the B n -Volterra system carries Poisson brackets π 4, π 8, For example, from (20) we can compute, using the same technique as in Example 34, the following explicit formulas for the bracket π 4 : {a i, a i+1 } 4 K = 1 2 a ia i+1 (a i + a i+1 ), (27) {a n 1, a n } 4 K = 1 2 a n 1a n (a n 1 + 2a n ), (i = 1,,n 2) {a i, a i+2 } 4 K = 1 2 a ia i+1 a i+2 The restriction of the invariant functions H 4k = 1 4k tr(l4k ) to this space, defines a hierarchy of systems, possessing a multiple Hamiltonian formulation: X 4(k+l) 1 = π 4k+4 dh 4l = π 4k dh 4l+4, (k = 1, 2, ) The function I 4 = 1 n 1 4 i=1 (2a2 i + a ia i+1 ) gives the B n -Volterra system (24) The brackets above, as well as the master symmetries for these systems (including the C n and D n cases) appear in a recent preprint of Kouzaris ([16]) However, the Lax matrices above lead to Lax pairs which are different from the Lax pairs given by Kouzaris Finally we remark that the C n -Volterra system can be identified with the B n - Volterra systems (see [4]), and hence admits the same description 5 Epilogue: From Toda to Volterra and back In this concluding section we would like to explain what we know so far about the connection between the Toda and Volterra systems, including the results obtained above The relation between the two systems relies on special symmetries of the phase spaces We have shown above that the phase space of the A n -Volterra system appears as the fixed point set of a Poisson involution of the A n -Toda phase space On the other hand, we have also shown that the multiple Hamiltonian structure of the B n -Toda system can be obtained from the A 2n -Toda system Hence, to get to the B n -Volterra system, there are a priori two distinct ways to proceed, as explained by the following diagram: A 2n Toda Z 2 Z 2 A 2n Volterra Z 4 B n Toda Z 2? B n Volterra
FROM TODA TO VOLTERRA 13 We have seen that the correct way to proceed is to choose the left side of this diagram In fact, we saw above that we can get from A 2n -Toda to A 2n -Volterra by a Poisson involution ψ : T 2n T 2n (ie, a Z 2 -symmetry) Also, we can get from A 2n -Volterra to B n -Volterra using another Poisson involution ϕ : K 2n K 2n (and, hence, again a Z 2 -symmetry) Note also that we can go straight from A 2n -Toda to B n -Volterra using a Z 4 -symmetry: if one defines the map ϕ : T 2n T 2n by then one checks that the group ϕ(a i, b i ) = ( a 2n+1 i, 1 b 2n+2 i ), G = { I, ϕ, ϕ 2, ϕ 3} acts by Poisson automorphisms on (T 2n, π 4k ), k = 1, 2, The fixed point set (ie, the phase space for B n -Volterra) inherits Poisson structures π 4k and the even flows reduce to this space Notice also that ϕ K2n = ϕ and ϕ 2 = ψ, so this reduction in one stage (the middle line in the diagram) coincides with the reduction in two stages (the left part of the diagram) On the other hand, there seems to be no such symmetry reduction from the B n -Toda lattice to the B n -Volterra lattice: the various Poisson structures and Hamiltonian functions we have for the B n -Toda systems do not restrict to the phase space of the B n -Volterra systems We could however still find a connection between these two systems, which goes in the opposite direction To explain this connection, we perform the change of variable, a i = x 2 i, and we consider the following equivalent (ie, conjugate) form of the Lax matrix (25) (or, equivalently, (26)): 0 x 1 0 0 0 x1 0 x 2 0 0 x n L = x n 0 1xn 1xn 0 0 0 1x1 0 0 0 1x1 0 In these new variables the equations for the B n -Volterra lattice (24) become: x 1 = x 1 x 2 2, x i = x i (x 2 i 1 x2 i+1 ), (i = 2,,n 1) x n = x n (x 2 n + x2 n 1 ), The relation between the B n -Volterra system and the corresponding Toda system of types B n and C n is similar to the relation observed by Moser (see [17]) between the A n -Volterra and the A n -Toda lattices One starts by taking the square of the Lax matrix above and notices that L 2 leaves certain subspaces invariant Moreover, L 2 reduces on each of these invariant spaces to a symmetric Jacobi matrix More precisely, assume that L 2 is a N N matrix Then there are two distinct cases: N = 4n + 1 : Removing all odd columns and all odd rows we end up with an 2n 2n matrix and a Toda system of type C n On the other hand, removing
14 PANTELIS A DAMIANOU AND RUI LOJA FERNANDES all even columns and all even rows we end up with an 2n+1 2n+1 matrix and a Toda system of type B n N = 4n + 3 : Removing all odd columns and all odd rows we end up with an 2n + 1 2n + 1 matrix and a Toda system of type B n On the other hand, removing all even columns and all even rows we end up with an 2(n + 1) 2(n + 1) matrix and a Toda system of type C n+1 In this way, we have a procedure which takes us from a Volterra systems of type B n (or C n ) to either a Toda system of type B n or a Toda system of type C n Example 51 Take N = 9 and n = 2 Omitting all even rows and all even columns of L 2 we obtain the 5 5 matrix x 2 1 x 1 x 2 0 0 0 x 1 x 2 x 2 2 + x 2 3 x 3 x 4 0 0 0 x 3 x 4 0 x 3 x 4 0, a i > 0 0 0 x 3 x 4 x 2 2 x 2 3 x 1 x 2 0 0 0 x 1 x 2 x 2 1 We identify this matrix with a symmetric Jacobi matrix of type B 2, ie we let B 1 = x 2 1, B 2 = x 2 2 + x 2 3, A 1 = x 1 x 2, A 2 = x 3 x 4, and the equations satisfied by A 1, A 2, B 1, and B 2 are A 1 = A 1 (B 2 B 1 ), A 2 = A 2 B 2, Ḃ 1 = 2A 2 1, Ḃ 2 = 2A 2 2 2A 2 1 These are precisely the Toda equations of type B 2 References 1 M Adler and P van Moerbeke, The Toda lattice, Dynkin diagrams, singularities and Abelian varieties, Invent Math 103 (1991), 223 278 2 M Audin, Spinning Tops, Cambridge University Press, Cambridge, 1996 3 O Bogoyavlenskij, On perturbations of the periodic Toda lattice, Comm Math Phys 51 (1976), 201 209 4, Integrable Discretizations of the KdV equation, Phys Lett A 134 (1988), 34 38 5 T Courant, Dirac manifolds, Trans Amer Math Soc 319 (1990), 631 661 6 J N da Costa, P A Damianou, Toda systems and exponents of simple Lie groups, Bull Sci Math 125 (2001), 49 69 7 P A Damianou, Master symmetries and R-matrices for the Toda lattice, Lett Math Phys 20 (1990), 101 112 8, The Volterra Model and its relation to the Toda lattice, Phys Lett A155 (1991), 126 132 9, Multiple Hamiltonian Structures for Toda-type systems, J Math Phys 35 (1994), 5511 5541 10, Multiple Hamiltonian structures for Toda systems of type A-B-C, Regul Chaotic Dyn 5 (2000), 17 32 11 P A Damianou and S P Kouzaris, Multiple Hamiltonian Structures of Bogoyavlensky Toda systmems of type D N, in this volume 12 R L Fernandes, On the master symmetries and bi-hamiltonian structure of the Toda lattice, J Phys A: Math Gen 26 (1993), 3797 3803 13 R L Fernandes and J P Santos, Integrability of the periodic KM system, Rep Math Phys 40 (1997), 475 484 14 R L Fernandes and P Vanhaecke, Hyperelliptic Prym varieties and integrable systems, Comm Math Phys 221 (2001), 169 196
FROM TODA TO VOLTERRA 15 15 M Kac and P van Moerbeke, On an explicitly soluble system of nonlinear differential equations related to certain Toda lattices, Advances in Math 3 (1975), 160 169 16 S P Kouzaris, Multiple Hamiltonian Structures for Bogoyavlensky-Volterra systems, University of Cyprus preprint TR/03/2001 17 J Moser, Three integrable Hamiltonian systems connected with isospectral deformations, Advances in Math 16 (1975), 197 220 18 D Mumford, Tata lectures on theta, II, Birkhäuser Boston Inc, 1984 19 P Vanhaecke, Integrable systems in the realm of algebraic geometry, 2 nd Edition, Springer- Verlag, Berlin, 2001 20 A P Veselov and A V Penskoï, On algebro-geometric Poisson brackets for the Volterra lattice, Regul Chaotic Dyn 3 (1998), 3 9 21 A Volkov, Hamiltonian interpretation of the Volterra model, J Soviet Math 46 (1989), (1576 1581) 22 M Toda, Theory of nonlinear lattices, Springer Series in Solid-State Sciences, 20, Springer- Verlag, Berlin, 1989 23 A Weinstein, The local structure of Poisson manifolds, J Differential Geometry, 18 (1983), 523 557 24 P Xu, Dirac submanifolds and Poisson involutions, preprint mathsg/0110326 Department of Mathematics and Statistics, The University of Cyprus, PO Box 537, Nicosia, Cyprus E-mail address: damianou@ucyaccy Departamento de Matemática, Instituto Superior Técnico, 1049-001 Lisboa, Portugal E-mail address: rfern@mathistutlpt