This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
= cox(S' w a*(x)(c*S, Q*n) =
174
A. T. FOMENKO AND V. V. TROFIMOV
15.4. Let us prove assertion (b). Let N be the manifold of fixed points.
From (3) it follows that in the neighborhood of x, N is given by equations Exp(ad '-t(9))(x) = Exp(ad*)(x),
a E E.
(7)
From (7) we obtain ad: (x) E T. , N .
adB (x) = ad* )(x),
a c- 1.
(8)
Let Ann(x) _ u e G ad, (x) = 0}, g c- G, g = g' + g", g' a G. + Ann(x), g" E W, W being a E-invariant complement to G. + Ann(x) in G. Then, ad*, ,(x) = ad*., (x). Hence g" = 0. Indeed, if g" # 0, there exists a E E such that g" # ag", therefore, 0 # g" - ag" E W which contradicts the fact that g" - ag" E Ann(x). Hence we can strengthen (8): ad*(x) e TxN ca g" = 0. This means that TxN = TXOG,(x).
(9)
Since evidently OG,(x) c N, assertion (b) follows from (9). Assertion (c)
of Proposition 15.2 follows from the definition of the Kirillov form trivially. Thus Proposition 15.2 is proved. 15.2. Contractions of 7L2-graded Lie algebras
Let G be a Lie algebra. Let us suppose that G = H ® V, [H, H] c H, [H, V] c V, [V, V] c H. Then G is called a 712-graded Lie algebra. Let
H*(V*) be the subspace of all co-vectors which annihilate V (respectively H) in G*. Then G* = H* Q V*. Below, for any x e G* and g c- G, xH and xv stand for the H* and V* components of x; gE, and gv stand for the H and V components of g. Let us define a new commutator [x, y];, on G:
[9,9']x = 19H, 9A + 19v,9v] + [9H, 9v] + )19v.9'v]
(10)
The commutator [x, y],, satisfies the Jacobi identity. We denote the Lie algebra obtained by GA. DEFINITION 15.1
Let G be a 712-graded Lie algebra, G,. be the series of
Lie algebras constructed above corresponding to the commutators [x, y] A. We shall call the Lie algebra Go a contraction of the 712graded Lie algebra G. DEFINITION 15.2
Let G be a 712-graded Lie algebra. Let us denote the
175
INTEGRABLE SYSTEMS ON LIE ALGEBRA
Poisson bracket for the contraction of G by {x, y}o and the annihilator of x by Anno(x). Let G be a semi-simple 7L2-graded Lie algebra, Go the
THEOREM 15.1
corresponding contraction. Then the index of Go is equal to the rank of the Lie algebra G (= index of G).
Let G be a 1L2-graded Lie algebra, x e G*, g e G, G = Hp V, then LEMMA 15.5
{x,g}o = {xH,gH} + {xv,gv} + {xv,g1}.
(11)
Proof If g' e G, then <{x,9}A,9'> = <x,[9,9lA>
= <x, [9H, 9H] + [9v, 9H] + [9H, 9v] + /Z[9v, 9v]> = <XH, [9H, 9H]> + <xv, [9v, 9H] + [9H, 9v]> + "<xH, [9v, 9v]>
= <{x., 9H} + {xv,9v} + {xv,9H} + ){xH,9v},9') Assuming A. = 0, we obtain (11).
Let G be a semi-simple Lie algebra, B(X, Y) be the Cartan-Killing form on G, g e G. Let us denote the covector dual to the vector g with respect to B(X, Y) by g*. DEFINITION 15.3
If g E GA, then g* a G* is defined by the formula
g*(u) = B(g, u), u e GA, the form B(X, Y) being on GA the same as on G (remember that G and GA are identical as vector spaces). If W c G is a subspace, then W* = {g* I g c- W}.
We know that in G we can choose a Cartan subalgebra T such that the
following conditions are satisfied: (a) T = TH p Tv, TH = T n H, Tv = T n V; (b) if g E V and [g, Tv] = 0, then g e Tv; (c) TH is a Cartan subalgebra in K, K being the centralizer of Tv in H; (d) Tv is a reductive subalgebra in G.
Proof This can be found in e.g. [26]. LEMMA 15.6
Let G be a semi-simple Lie algebra, T be a Cartan
subalgebra in G such that conditions (a)-(d) are satisfied; let T* c G* be the subspace of Go dual to T in the sense of Definition 15.3.
Then, for x c- T* (in general position) Anno(x) = T
Proof Let
x = xH + xv,
xH EH*,
xv E V*
and
u e Anno(x),
176
A. T. FOMENKO AND V. V. TROFIMOV
u = uH + uv, uH EH, uv E V. From (11) it follows that ({xH,uf} + {xv,uv} = 0 (12)
1{xv,uH} = 0.
By definition, x = g* for some g E T, g = gH + 9v, gH E H, gv E V. Since H is orthogonal to V. gH = xH, g*, = xv. Therefore the equations (12) can
be rewritten as 51911, UH] + 19v, uv] = 0
(13)
[9v,uH] = 0. For gv (in general position) from the second equation (13) it follows that
UH c K since 9H E TH c K and [g,, uH] E K. Therefore, taking the bracket of the first equality (13) with gv, we obtain (14)
[9v, [9v, uv]] = 0;
because Tv is reductive in G, from (14) it follows that [gv, uv] = 0. From
this equation and the first equation of (13) we obtain [gH, uH] = 0. Hence, using the relationship [gv, uv] = 0 we deduce for gH and g, (in general position) that uv E Tv, uH E TH. As a result, u E T. Thus we have
proved that Anno(x) c T. The inverse inclusion can be easily obtained from (13). If G is an arbitrary 7L2-graded Lie algebra, and Go is its contraction, then ind(G) < ind(G0). LEMMA 15.7
Proof Let Gx denote one of the Lie algebras introduced in the definition of contraction. The correspondence a.,,
9H+9v -' 9H+
9v
is an isomorphism Gx., -> GA if 2', 2" 0. Therefore, ind(G,i) = const(2) if 2 0. Let us prove that if 2 = 0, then the index can only increase. Indeed, the index is equal to the rank of the matrix l c (A)xk 11, c;`;(2) being the structure tensor of the Lie algebra GA; xk being the coordinates of a
covector in general position. If 2 varies slightly, then the rank of the matrix Ilci;(A)xk11 can only increase. Therefore, the index of GA can only
decrease. Hence, ind Go > ind Gx,
Proof of Theorem 15.1
A -A 0.
From Lemma 15.6 we obtain
INTEGRABLE SYSTEMS ON LIE ALGEBRA
177
ind(G°) < dim Ann(t*) = dim T = rank(G) = ind(G); t e T being an element in general position in a Cartan subalgebra T On the other hand, from Lemma 15.7 it follows that ind(G°) >, ind(G1) _ ind(G). Therefore ind(G°) = ind(G). This completes the proof. Let G = H ® V be as before a 712-graded Lie algebra. Similarly to the
above definition of the contraction of the commutator [x, y] -, [x, y]0 we can define an analog of the contraction for certain functions F on G*.
Let us suppose that the expansion of F in exterior powers on V terminates DEFINITION 15.4
F°(xH) + F'(xH, xV) + ... + F"(xH, xV);
Fk(xH,xv) being a k-form xV for fixed xH. Let us define FA(x) = 2n12F(xH, 2-'I2xv). Note that FA(x) is defined for A = 0: F0(x) = F"(xH, xV) as well.
Let G = H Q V be a 7L2-graded Lie algebra, F, F' be functions on G* such that (a) {F, F'} = 0; (b)F,1 and Fx are defined (see Definition 15.4; e.g. if F and F' are polynomials). Then, we assert that {F,1, F'} = 0 in particular, {F", F" 1 0 = 0; F", F'm being the terms of highest degree of the expansion into homogeneous components on V. PROPOSITION 15.3
1129v is a homoProof The correspondence gH + gV - gH + _ morphism of Lie algebras G - G,, if A 0. Under this F maps into
2"JZFA. Therefore IF,, F' }z = 0 if A : 0. This equation holds for A = 0 as well because both the commutator and the functions depend on A continuously. Proposition 15.3 can be used to construct involutive sets of functions
on G. Let us show how we can use the proposition to determine the invariants of the contracted Lie algebra G0. Let G = H Q V be a 7L2-graded Lie algebra, F be a polynomial on G*, invariant under the coadjoint representation; let F0 be the contraction of F (see Definition 15.4), G0 be the contraction of G. Then F is an invariant of the coadjoint representation of G0. PROPOSITION 15.4
Proof Let u E G0, then u can be regarded as a linear function on G. Evidently, here the contraction u - u0 is equal to uV if u V # 0 and equal to uH in the opposite case. We can express the fact that F is Ginvariant as follows
178
A. T. FOMENKO AND V. V. TROFIMOV
{F, uH} - 0
{F, u,,} -0,
uHEH,
u,,E V.
(15)
From the remark made above it follows that {F0, uH} - 0, {F0, u,,}0 - 0. These equations imply that the contraction FO is Goinvariant. EXAMPLE The algebra so(4) is defined by the equations [eij, efk] = eik, i, j, k taking values from 1 to 4; e,j = - ej,. The subalgebra H = so(3) is
generated by the vectors ell, e13, e23; let V be the linear subspace (e14, e24, e34). It is easy to check that the decomposition so(4) = H $ V gives a 1L2-grading, the corresponding contraction Go being a semidirect sum so(3) $ i83 (in other words, the Lie algebra of the group of
motions of the Euclidean space R3). We know that the functions F= xi, and F' = x12x34 - x13x24 + x23x14 are invariants of so(4). Contracting F and F' we obtain the invariants of the Lie algebra
so (3)$l :Fo=x14+x24+x34,Fo= F'.
5
Complete integrability of Hamiltonian systems on orbits of Lie algebras
16. COMPLETE INTEGRABILITY OF THE EQUATIONS OF MOTION OF A MULTI-DIMENSIONAL RIGID BODY WITH A FIXED POINT IN THE ABSENCE OF GRAVITY 16.1. Integrals of Euler equations on semi-simple Lie algebras
The Hamiltonian systems given in Section 7 allow embedding in Lie algebras and, in addition, are completely Liouville-integrable (in the commutative sense); the semi-simple case is given in [89, 90, 92]. In particular, for these cases we obtain positive answer to Hypothesis (a) (see Section 5) because we have complete commutative sets of functions
on the orbits in general position for the semi-simple and compact Lie algebras. The integrals of these Hamiltonian systems are very simple. To construct them, it is enough to know the invariants of the Lie algebra, i.e. a set of functions which are constant on orbits in general position. In outline, the construction of the integrals can be described as follows. Let f be some invariant of the algebra which is a function on G* (or on G for the compact and semi-simple case). Let a E G* be a covector in general position. Let us translate the argument of the function f (x), i.e. consider the function f (x + Aa), A e C or R. Since in our cases the functions f are
polynomials, we can expand the function f (x + Aa) in powers of the formal variable A and obtain an expansion of the form f (x + Aa) = Y-k Pk(x, a)Ak. Note that in all the above-mentioned cases it is these resulting polynomials Pk(x, a) (or, which is the same, the functions
f (x + Aa)) which form complete commutative sets of functions (integrals). We call this technique of the construction of integrals the
method of argument translation. It is a development of the idea suggested in [74] for the case of the algebra so(n). We already know that 179
180
A. T. FOMENKO AND V. V. TROFIMOV
translates of invariants are in involution. Therefore here we shall mainly prove the functional independence of the translates of invariants.
The method of argument translation gives a positive answer to Hypothesis (a) for many non-compact Lie algebras as well. We can obtain complete commutative sets of functions on orbits in general position by applying this method not only to the invariants of an algebra (sometimes those are not enough for obtaining the sets needed) but also to so-called semi-invariants (i.e. functions which are multiplied by the character of the representation under the (co)adjoint action of the group
on the orbit). Naturally, invariants are examples of semi-invariants because the former are fixed points of the action on the space of functions. Examples of semi-invariants can be found in [10], [127], [126]. Let us consider construction of commutative sets of integrals on the orbits in general position in semi-simple Lie algebras. We shall prove that these sets are complete in other sections. We shall mainly consider the complex semi-simple Lie algebras together with the Euler equations of the form i = [x, px]; the operators cp = TP.,D define the Hamiltonians of the complex series (see Section 7). Let us consider the coadjoint action
of the complex semi-simple Lie group (! on the corresponding Lie algebra G (we assume G = G*). The group partitions the algebra G into orbits. We set
Adgx=gxg-1,
gE6.
LEMMA 16.1 Any smooth function f (x), x c G which is invariant under the coadjoint action of the group (i.e. it is constant on the orbits) is an integral of the Euler equation i = [x, p x]; gyp: G - G being an arbitrary self-conjugate operator.
The proof follows directly from Tx0 = {[x, y] }, they vector running over the whole algebra G. Note that in the complex case there exist the elements which do not belong to the orbit 0(t), t e H; H being a fixed Cartan subalgebra. Let us consider the set of all complex vectors grad f(x), f e IG, IG standing for the ring of invariant polynomials on the algebra G. Let H(X) be a subspace of G which consists of all elements commuting with x. If x e Reg G, then H(x) is a Cartan subalgebra, and in a semi-simple
algebra any two Cartan subalgebras are conjugate. In particular, if x c- Reg G, then H(x) = g0H(a, b)go 1 for some go e 6, H(a, b) being the
Cartan subalgebra containing a, b. Evidently, H(x) belongs to the subspace generated by grad f (x), f e IG and if x e Reg G, then H(x) =
INTEGRABLE SYSTEMS ON LIE ALGEBRA
181
{grad f(x), f eIG}. This follows from the fact that the Killing form is non-degenerate and the space H(x) is orthogonal to the orbit's tangent space (see Figure 29). LEMMA 16.2
A smooth function f is constant on the orbits of an
algebra if and only if [x, grad f (x)] = 0 for any x c- G. We denote by grad f (x) the value of the field grad fat the point x c- G.
Proof Remembering that Tx0 = {[x,f]},
running over the Lie
algebra G, we obtain (grad f(x), [x, f]) = 0 for any
because [x, f] f (x) = 0. Since the operator adx is skew-symmetric, <[grad f(x), x], > = 0 and because the Killing form is non-degenerate
this means that [grad f (x), x] = 0. The converse assertion can be checked similarly. REMARK The equation [x, grad f (x)] = 0 is obtained from c;`ixk of/8x; = 0 (see 2.3) by using the isomorphism G* = G given by the
Cartan-Killing form. PROPOSITION 16.1
Let f E IG, i.e. the function is invariant and
constant on the orbits. Then the complex functions h,A(x) = f (x + .la) are (for any ),) integrals of the equation z = [x, q bp(x)], W.,, being the
operator of the complex series. The function F(x) = <x, cpx> is an integral as well.
Proof Let us check the identity 0 = (d/dT)hx(x), T being the parameter along the trajectories of the flow z. This is equivalent to checking that= 0. We have
Fig. 29.
182
A. T. FOMENKO AND V. V. TROFIMOV
=
=- A
= <[grad f (x + 1a), x + 2a], cpx> - A= < [grad f (x + ;a), x + 2 a], cpx>
- 2- 7 . We have used the definition of cp from Section 7; t e H(a, b), x' e V. The first summand is equal to zero because of Lemma 16.2 (applied to the point x + Aa). The third summand is equal to zero because D(t) E H(a, b). The second summand we compute as follows
A= . = - A,< [grad f (x + .la), x + Aa], b> = 0
taking into account Lemma 16.2 and the identity [b, t + ,.a] = 0. Thus (d/dt)h,A(x) = 0 along z. Further d F(x) dt
(px> + <x, cpz> = 2<[x, cpx], cpx> = 0
because
cp
is
symmetric and the operator ad is skew-symmetric. Let us consider the model example sl(n, C). Evidently, the standard symmetric polynomials on the eigenvalues of the matrix x are integrals constant on the orbits of the algebra. We manipulate the equation as follows (x + 2a)' = [x + 2a, apx + ).b]. Indeed, expanding the
commutator and making trivial calculations, we obtain the initial
equation z = [x, px]. We have used the fact that [a, b] = 0 and [x, b] + [a, px] = 0 because of the definition of cp,bp. Thus the equation has not changed but we notice a new series of integrals: the symmetric polynomials of the eigenvalues of the matrix x + via. These integrals can be presented in two ways: (1) Given the expansion of the polynomial det(x + Aa -,uE) = E,,O P,,,A",uO in powers of 2 and u, all polynomials
P,O(x, a) are integrals of the equation; (2) Using the functions Sk = trac(x + Aa)" and their expansions in powers of A: Sk = Ya Qak'(x, a).l°. The link between the Newton polynomials and the symmetric polynomials a' also interrelates the Qakl and P.
INTEGRABLE SYSTEMS ON LIE ALGEBRA
183
Let us construct the integrals of the compact series. Let Gu be a compact form of the Lie algebra G. Let X E G,,, a, b c- H,,, x - ,la c- G if .l
is real. Let us consider the action of 6 on G.. Unlike the complex
case, the union of the orbits defined by a Cartan subalgebra H. = H (a, b) coincides with G.. Let tp : G - G,, be an operator of the complex series.
Any smooth function f invariant under the coadjoint action of (5 (i.e. constant on the orbits) is an integral of the Euler [x, cpx], 'p: G. - G. being an arbitrary self-adjoint equation LEMMA 16.3
operator. The proof is trivial. Let IG. be a ring of invariant polynomials on G. Let us present explicitly the multiplicative structure of the ring 1G.. Let N be the normalizer of H. in G.; then, N/S = 0 is the Weyl group. Let
t E H., then the orbit 0(t) is orthogonal to the algebra H.. This orbit returns to H. intersecting H in a finite number of points which are the images of the element t under the action of the Weyl group. The ring IG,,
is identical with a ring of polynomials in H which are invariant with respect to the action of the Weyl group. This ring can be described
simply: if 6. is connected then the ring IG is a free algebra on r generators where r = the rank of G. among which it is possible to choose
homogeneous, algebraically independent polynomials Pk1'
, Pk,
where k. = deg Pk. For simple Lie algebras of number k., the degrees of the polynomials Pk; are as follows: A,:2,3,4..... n,n+ 1;
B,,:2,4,6,...,2n; C,,:2,4,6,...,2n; D,, : 2, 4, 6,
... , 2n - 2,n;
G2:2,6;
F,:2,6,8,12; E6: 2, 5, 6, 8, 9, 12; E7: 2, 6, 8, 10, 12, 14, 18;
E8:2,8, 12, 14, 18, 20, 24, 30.
The polynomials Pk, can be given explicitly. Consider the linear representation of the algebra G. of minimal dimension with matrices of
184
A. T. FOMENKO AND V. V. TROFIMOV
the size (m x m), let A,,.
.
.
,
A,,, be the weights of the representation, i.e.
the linear functionals in H. corresponding to the eigenvectors of the operators in H. on the representation space. The coordinates A1,... , A, in H. can be linearly dependent. The polynomials Pk have the form: n+1
An: I A;'; j=1
Bn: Y j=1 n
Cn: Yj=1 n
D. : > j=1
k;=2,4,6,...,2n-2; P;,=A1A2...An A;'. It is clear If G. is a particularly simple algebra then Pk, 1 that all the rings IG are subrings of the ring of symmetric polynomials S(A...... A,,,). All of the indicated functions are of the form Trace xki = A;'; except for the series D. in which a further polynomial D-et x is added. PROPOSITION 16.2
Let f c IG,,, i.e. the function is constant on the
orbits of the algebra Gn. Then the functions hx(x) = f (x + )a) are (for any A) integrals of the equation x = [x, cpx] where cp is the operator of the compact series x + .la E G,,, a. E R. The function F(x) = <x, (px> is also an integral. The proof proceeds in the same way as the proof of Proposition 16.1. See [90] for details.
Now consider the integrals of the normal series. Consider the embedding of G. to Gn. The operators cpab: G. --> G. are generated by the vectors a, b c H,,, in particular a, b 0 G. and hence x + .la 0 G,,, if
xEG.,AcD. Let f e IG,,, i.e. the function f is constant on the orbits of the algebra Gn. Consider the functions gjx) where A E f8, PROPOSITION 16.3
INTEGRABLE SYSTEMS ON LIE ALGEBRA
185
x c- G. c G. which are the restriction of the functions h1(x) = f (x + Aa)
to G. c G. Then the functions gz are integrals of the equation z = [x, (pabx] where gpob is the operator of the normal series. The function F(x) = <x, cpx> is also an integral.
16.2. Examples for Lie algebras so(3) and so(4)
For a clear illustration of this consider some examples of the series of integrals constructed above for very simple Lie algebras. In particular, we find that there are well-known classical integrals contained among these integrals. Let G. = so(3), we can consider so(3) as su(2), by making
use of the well-known isomorphism. Let us include the algebra su(2) into the compact real form G. of the algebra G = sl(n, C); then su(2) coincides with the stationary points of the involution ox = It is
clear that G. decomposes into the sum of three one-dimensional subspaces generated by vectors of the following form:
E- = i(E2 - E-s), Eo
E+ = Ex + E-_, where E0 E H. = iHo,
Eo=(i
Oil,
E+=I-0 O),
E__(0 O).
The operator of the compact series q : su(2)l- su(2) acts in the following way: a(b)
coE+ =
a(a)
a(b)
E- = a(a) E_
E+
,
coEo = ) 0Eo,
0 is an arbitrary real number, b = A+a, A.+ j4 0, a(a) : 0, i.e. A+ = a(b)/a(a). Finally, cpE+ = ),+E+, cpE_ _ A+E_, cpEo = )LoEo and differs from zero. For cp in general position A+ A0. In the case where G. = su(2) the operators cp of the compact series form a twoparameter family (A+, 2o). If where A0
x=
(-
iz
x+iy
x + iyl
E su(2) -iz )
then
V(x) _
i)lo
+(x + iy)
2+(-x + iy)
-iAoz
)
186
A. T. FOMENKO AND V. V. TROFIMOV
It is clear that <x, i> = 0, i.e. the velocity vector x is tangent to an orbit of the adjoint action of SU(2) on su(2). The orbits are two-dimensional spheres centered on the point 0 together with the point 0 itself. All the orbits apart from the point 0 are orbits in general position. Let us fix an arbitrary orbit in general position, then the integral trajectories of the flow x on the sphere coincide with the trajectories of the points of the
sphere during its rotation around the axis E0, see Figure 30. The following functions should be the integrals of the flow: Trace(x + Aa)k. We have
i(z+qA)
x+iy
-x+iy -i(z+qA))' where a = qEo, q 96 0. Hence S1 = 0, S2 = -2(x2 + y2 + z2 + 2zqA + q2 .2). The integrals are the coefficients of each power of A,, i.e. Q1(x,a) = x2 + y2 + z2,
Q2(x,a) = zq,
Q3(x,a) = q2,
i.e. in reality the functions z = const, x2 + y2 = const. The integral trajectories are the intersection of the spheres with the planes z = const. We have obtained one of the simplest classical cases of the movement of a solid: the integral Q1(x,a) = Q1(x) is the integral of kinetic moment,
the integral z = const is equivalent to the integral of energy in the common case in which the invariants 11,12, I3 are connected by the relationship 11 = 12 (ellipsoid of rotation). Let us consider once more the algebra so(3) and let us write it now in the usual form, i.e. let us study the integrals of the normal series for so(3).
Let G = sl(3, C), G. = su(3), G. = so(3), ax = _T, TX = z, G is the manifold of stationary points of the involutions a and T. The subalgebra
G. = so(3) is generated by the three vectors E,j = E,, + E,
Fig. 30.
187
INTEGRABLE SYSTEMS ON LIE ALGEBRA
0
E12=
1
0
- 0 0.
E13=
1
0
0
-
0
0
0
0
0 0,
1
0
1
0
Let a, b e H. = (diagonal purely imaginary matrices 3 x 3 with zero trace). Then the operators cpab: G. - G take the form: gE12 =
bl - b2 E12, a1 - a2
pE13 =
bl - b3
E13
pE23 =
a1 - a3
b2 - b3 E23 a2 - a3
The manifold {cpab} for the normal series forms a three-parameter family
compared with the two-parameter one for the compact series. Not one of the compact operators is normal. Let us put Aij = (bi - bj)/(ai - aj) then x - vP(213 - )23)E12 + ay(A23 - A12)E13 + a$(212 - )13)E23
where x = aE12 + YE13 + yE23. It is clear that <x,. > = 0, i.e. the vectors z are tangent to the spheres with centers at point 0. Let us recall that for so(3) = su(2) the Killing form coincides with a Euclidean scalar product. We have
fi .a1
x+2a=
a
fl
-a
i2a2
y
-fl
-y
iAa3
The integrals are defined by the functions Trace(x + ).a)", 1 < k < 3.
Fig. 31.
188
A. T. FOMENKO AND V. V. TROFIMOV
Computation gives P(x) = a2 + Q2 + y2, Q(x, a) = a2(a, + a2) + #2(a, + a3) + y2(a2 + a3). These integrals coincide with the classical
P = M2-the integral of kinetic moment and Q = E-energy. The integral trajectories are depicted in diagram 31. As opposed to the previous case, this depicts the level-energy ellipsoid E = const and its intersection with the spheres M2 = const. The Euler equation is fully integrable for any a, b e H. The flow .x of the compact series is obtained by passage to the limit from the flow of the normal series. In this classical case the Liouville tori permit a differential-geometric description. This can be confirmed as follows: Consider the curve of intersection of an ellipsoid and a sphere Ax2 + B y2 + Cz2 = 1
I x2+y2+z2=a2 then it can be proved that at all points on this curve 4
(ABC)3/4
PIP2 PI + P2
ABCa2 - BC - CA - AB -
const,
where p, , P2 are the principal radii of curvature of the ellipsoid. This can be verified by direct calculation. It would be interesting to obtain a similar description of Liouville tori in higher dimensions also. For our next example let us analyse the flows of the normal series for
G,, = so(4) c G c su(4) c G = sl(4, C).
The algebra so(4) can be represented in G as the skew-symmetric matrices spanned by the vectors in standard form E;3 = E, + E_,. Let us write x c so(4) in the form x = aEI2 + PEI3 + yEI4 + SE23 + pE24 + EE34 where all the coefficients are real. We recall that the rank of so(4) = 2
and the four dimensional manifolds S2 x S2 are orbits in general position. Let a, b e H4 c su(4) then = a b, (panx
b2
EI2 + fi b, - b3
a, - a2 +S
b2 - b3
a2 - a3
a, - a3 E23 + p
+ y b,
EI3
b2 - b4
a2 - a4
b4 EI4 a, -- a4
E24 + E
b3 - b4
a3 - a4
E34.
INTEGRABLE SYSTEMS ON LIE ALGEBRA
189
For every pair a, b in general position we obtain a flow .z on S2 X S2. The integrals will be the functions Trace(x + 2a)", 1 S k < 4 where
x+2a=
Aa 1
a
fi
-at
.ia 2
6
-Ii -6 Aa3 -y
-p
-E
y
E
Aa
Computations give four integrals: h1 = Trace x2, h2 = Trace x4, h3 = Trace x2a, h4 = 2 Trace x2a2 + trace xaxa. The integrals h1 and h2 are constant on the orbits and have the form h1 = a2 + #2 + y2 + 62 + p2 + E2 , h2 = h; + 4(Jibyp - a&ye + aple) - 2(a2E2 + $2p2 + y262).
In fact h2 is the square of the second degree integral q (after computing
the function hi from h2) where q = aE - fip + O. Thus, the two quadratic integrals h1 and q are the generators of the ring I so(4), i.e. any polynomial which is constant on the orbits can be decomposed in terms
of h1 and q. It is easy to prove that h1 and q are independent. The equations h1 = p, q = t where p, t are constants define orbits in general position. These integrals, in particular q, were discussed in [65]. The integrals h3 and h4 are no longer constant on the orbits and have the form :
h3 = a2(a1 + a2) + #2(a1 + a3) + y2(a1 + a4) + 62(a2 + a3) + p2(a2 + a4) + E2(a3 + a4),
h4 = a2(a2 + ata2 + a2) + $2(ai + a1a3 + a3) + y2(al + ala4 + a4) + O2(a2 + a2a3 + a3) + p2(a2 + a2a4 + a4) + E2(a3 + a3a4 + a4). It is easy to prove that the integrals hl, q, h3, h4 are functionally
independent and that the integrals h3 and h4 are in involution on all orbits. 16.3. Cases of complete integrability of Euler's equations on semi-simple Lie algebras
Here we shall give a short sketch of the proof while the technical details
can be found in [89] and [90].
190
A. T. FOMENKO AND V. V. TROFIMOV
THEOREM 16.1 (A. T. Fomenko, A. S. Mishchenko)
(1) Let G be a complex semi-simple Lie algebra and let z = [x, rp.,,(x)] be Euler's equations with an operator of the complex series. Then this system is fully integrable (by Liouville) on orbits in general position. Let f be any
invariant function in the algebra. Then all the functions hx(x, a) = f (x + .la) are integrals of the flow x for any Z. Any two integrals hA(x, a)
and gµ(x, a) arising from the functions f, g E IG are in involution in orbits. The Hamiltonian F = <x, Tx> of the flow x also commutes with all integrals of the form hx(x, a). From the set of these integrals one can choose integrals, functionally independent on orbits in general position equal in number to half the dimension of the orbit. The integral F may be expressed as a function of integrals of the form hx(x, a). (2) Let
G. be a compact real form of a semi-simple Lie algebra and let z = [x, Tx] be a Hamiltonian system determined by a compact series
operator gyp. Then the set of the functions of the form f (x + .la) where f EIG forms a complete commutative set on orbits in general
position in the Lie algebra G, (3) Let G be a compact normal subalgebra in the compact algebra G. and let z = [x, cpx] be a Hamiltonian system of the normal series. Then the set of functions of the form f (x + %a) where f e I G,, forms a complete commutative set of functions on orbits in general position.
The involutivity of the translation of the invariants stems from the results of Section 11. Let us reproduce this proof for the case of a semisimple Lie algebra. We can calculate in its explicit form s grad f for any smooth function f of G, expressing s grad f in terms of grad f. LEMMA 16.4
Any smooth function f of G satisfies the identity
s grad f (x) _ [grad f (x), x].
Proof Let
be a vector in TO, then w(s grad f,
f f (x) _
; on determining the form co we obtain w(s grad f, ) _ = [x, y], and hence _ <s grad f, y> where <s grad f, y>, i.e. <[grad f, x], y> = <s grad f, y>. As this identity is true
for any y then s grad f = [grad f, x]. If F = <x, (px> then cpx = grad f (x) and hence - )i = [qpx, x] _ s grad f which proves that is Hamiltonian. Thus, if f and g are two functions of G then { f, g} _ <[x, grad f], grad g). Finally, (f, g} _ <x, [grad f, grad g]>. We have proved the following assertion. Any smooth functions f and g on G fulfil the identity If, g} = (x, [grad f, grad g] >.
LEMMA 16.5
INTEGRABLE SYSTEMS ON LIE ALGEBRA
LEMMA 16.6
191
Let f and g be smooth functions on G which are constant
on each orbit. Then [grad f, grad g] = 0. Proof Let x c- Reg G initially. As f and g are constants on each orbit their gradients are orthogonal to the orbit, i.e. they both lie in H(x) and, consequently, commute. As regular elements are everywhere dense the lemma is proved. This lemma can also be obtained from the results of Proposition 2.3. PROPOSITION 16.4 Let f and g be smooth functions of G which are constant on each orbit. Let us consider the functions hA(x, a) =
f (x + .1a), dx(x, a) = g(x + µa) where a c- H(a, b). Then the integrals hx and dN commute. Moreover, {F, hA, } = 0 for any f c IG.
Proof Let us recall that the functions hx and dµ by Proposition 16.1 are integrals of the flow [x, cpx]. By Lemma 16.5 it is sufficient to prove that <x, [grad hz, grad d'] > = 0,
<x, [grad f (x + 1a), grad g(x + µa)]) = 0.
Let us put Y = x + %a then x= Y - .1a, x + pa = Y + va where v = p - .1. Let us suppose initially that v
0.
z == <[Y, grad f (Y)], grad g(Y + va)> - <[Aa, grad g(Y + Aa), grad f (Y)]> . As f e I G then [Y, grad f (Y )] = 0 by Lemma 16.2. As g e I G then by the same lemma
[Y + va, grad g(Y + va)] = 0. Hence [Y, grad g(Y + va)]
v[a, grad g(Y + va)].
Substituting in z we obtain z= - < [Y, grad g (Y + va )] , grad f (Y) V
_= 0 V
as f EIG. The assertion is proved for A 0- p. If A = p then
192
A. T. FOMENKO AND V. V. TROFIMOV
0 = <x, grad f (x + .la), grad g(x + .la)] > by Lemma 16.6. It remains to be proved that IF, hx} = 0, i.e. to compute L = <x, [(px, grad f (x + tia)] >
as grad F(x) = (px. Let us put Y = x + )a then L = <[Y - 2a, q,Y - Acpa], grad f (Y)> _ <[Y, cpY], grad f(Y)> - )<[Y, cpa], grad f (Y)> - )<[a, qpY], grad f (Y)> + X1.2<[a, cpa], grad f (Y)> = 0
as in the first term [Y, grad f (Y)] = 0, similarly in the second, in the fourth cpa = Da e H(a, b), i.e. [a, 9a] = 0, in the third [a, pY] = adb Y = [b, Y] and again [Y, grad f(Y)] = 0. The involutivity of the integrals of the compact series can be proved in the same way. PROPOSITION 16.5
Let f; g e IG., let us put h,(x, a) = f (x + da),
dµ(x, a) = g(x + µa) where a, b E H (a, b). Then the integrals h,, and d,, commute and IF, h2 } = 0 for any f e IG,,.
The same line of reasoning gives the proof of the involutivity of the
integrals of the normal series. Let us move on to the proof of the completeness of the commutative sets of functions which have been presented. This final part of the proof is technically more subtle and, therefore, we shall restrict ourselves to setting out only the plan of the constructions. Let G be a complex semi-simple algebra, x e Reg G. Let fl , ... _f, e I G
be the complete set of invariants of the algebra. At the point x there arises a set of complex vectors grad h2,k where hA,k(x, a) = fk(x + .la). Let V(x, a) be the subspace of G generated by vectors grad hx.k(x, a). We
must find a lower bound for dim V(x, a). Let us consider the p'2` where qk + 1 = deg fk. Let fk increase with increasing degree. Let N + 1 = q, + 1= deg f, be the highest degree among the generators fk. All the polynomials hx,k can be considered as polynomials of degree N + 1 and of these certain coefficients in high degrees in A are equal to zero. We have grad h.,,k = El,, o U'1' where Uk(x, a) = grad pk(x, a) are polynomials of degree i in x and a. It is clear that UZk(a) does not depend on x as plk is linear in x. The vectors UZk generate the Cartan subalgebra H independent of the choice of x. It is decomposition h.,,k
clear that V(x,a) is generated by the vectors U.
INTEGRABLE SYSTEMS ON LIE ALGEBRA
193
For each k the following recurrence relationships on the vectors Uk are satisfied: LEMMA 16.7
[ Uk , x] = 0
[Uk,x] + [Uko,a] = 0
[Uk,x] + [Uk I,a] = 0
[Uk,x] + [U'-', a] = 0 [Uk,a] = 0. Proof By Lemma 16.2 [x, grad fk(x)] = 0. Applying this identity to the functions hx.k we obtain [x + Aa, grad hA,k(x, a)] = 0, i.e. N
x+1a, I U.l' =0. =o
Our assertion follows from this. As H(x) is a Cartan subalgebra, it is possible to construct the root decomposition G relative to H(x) and to select a Weyl basis. LEMMA 16.8
If a EH(x) O+ V(x) then
grad hk,k(x,a)EH(x)Q V+(x), i.e. Uk EH(x) $ V+(x).
Further, let us consider that a e H(x) $ V+(x). Let us consider the simple roots al, ... , a, then every positive root can be given in the form
a = Yi-l m;a; where m; > 0 and m; are whole numbers. The whole number k = k(a) = Y = 1 m; is called the order or the height of the root a. We shall denote the subspace of V+(x) generated by the vectors xa for which k(a) = k by Vk+(x). Then, it is evident that V '(x) = VI+ $ . $ V , + and V I+ is generated by x,,, ... , xa,, i.e. by simple roots. Let us specify a choice of a a c- H(x) $ V + (x). Let a E VI+ and a = Y; = I v; xa, where all v; A 0, 1 < i < r. Then [ Vk+, a] c Vk+1, [H(x), a] c VI+ LEMMA 16.9
Let x, a be chosen as shown above. Then VI+ = [H(x), a]
and ada: H(x) - VI+ is an isomorphism.
194
A. T. FOMENKO AND V. V. TROFIMOV
LEMMA 16.10
[l
,
Let x, a be the vectors shown above. Then V k' i =
a] i.a. ado: 1 k+ --* V +I is an epimorphism.
The following relations: U,° E H(x), Y+ Q ... (D Vi+ are valid for 1 < k <, r.
LEMMA 16.11 LEMMA 16.12
U k E H(x) @
Vectors U, j < k generate the entire subspace H(x) O+ Vi+ @ ... ® v+ .
LEMMA 16.13
Let a be an element in general position. Then
dim, V(x, a) >, dim H(x) ® V '(x) = 2(dim G + rank G), where V(x) is a complex subspace generated by all the vectors grad hz,k
for all points x e G from an open subset everywhere dense in the Lie algebra G. In order to complete the proof it is enough to note that the elements x and a have been used symmetrically in all the previous statements, as
f
a polynomial of degree q. The proof of the completeness of the commutative sets, constructed above, in the cases of compact and normal series can be obtained from the mentioned scheme, taking into account the involutions defining those two series. For details see [89], [90]. 17. CASES OF COMPLETE INTEGRABILITY OF THE EQUATIONS OF INERTIAL MOTION OF A MULTI-DIMENSIONAL RIGID BODY IN AN IDEAL FLUID
Let us consider the embedding of the type of system mentioned in the
title, in the non-compact Lie algebra of the group of motions of Euclidean space (this has been done in the authors' works [123], [124],
[125]). It turns out that in this case too the method of argument translation makes it possible to construct a complete commutative set of integrals on the orbits in general position.
Let f be an invariant of the coadjoint representation of the group of motions of the Euclidean space Vi". Then the functions LEMMA 17.1
INTEGRABLE SYSTEMS ON LIE ALGEBRA
195
f(x + Aa) for any real A are the integrals of the Euler equations z = adQx x, where Q(a, b, D) is the family of sectional operators Q: E(n)* -+ E(n), constructed above.
Proof It is sufficient to check the equality (a(x, Qx)>, df (x + Aa)> = 0 where <x, > is the value of the functional x on the vector . Obviously: A =
_ -- A.
As f is invariant, the first term is zero. Using the definition of the sectional operator Q(a, b, D) we obtain
-AA =
1 ad*, x1,a),df(x +)ia)> + ,
where x1 E K*I, x2 E K*. The second term is zero, as Dx2 E K, a E K*. The first term is equal to . As x2, b c- Ann(a), we have = = 0
because f is invariant. This concludes the proof of the lemma. THEOREM 17.1 (A. T. Fomenko, V. V. Trofimov) (1) The differential equations x = adQx x where Q = Q(a, b, D) on E(n)* is completely integrable on the orbits in general position. (2) Let f be an invariant
function on E(n)*. Then the functions hx(x) = fix + Aa) are motion integrals any number A. Any two integrals hx and gu are in involution on all the orbits of the representation Ad* of the Lie group '(n), while the
number of independent integrals of this type is equal to half the dimension of the orbit in general position. Also, if 0 is the maximal dimension of an orbit in general position of the coadjoint representation, then codim 0 = [(n + 1)/2]. Proof The fact that the given functions are integrals has been checked in Lemma 17.1. Their involutivity was, in fact, shown in Chapter 11. The
only thing to check now is that the shifts of the invariants f (x + .la) comprise a complete commutative set on the orbits in general position.
The statement codim 0 = [(n + 1)/2] can be checked by standard means (see 2.3). We shall give the complete set of invariants of the algebra. For this, we write E(n)* in the matrix form:
196
A. T. FOMENKO AND V. V. TROFIMOV
0
E(n)* =
I
SO(n) 0
\yl...y.
0
Let us call the minor of a matrix x at the intersection of rows i1,...
, i,
and the columns 11, where 1 < i1 < ... < is ,j: M'1 1 < jl < < js 5 n. Then the functions
n,
t
are the invariants of the algebra. The functions with even numbers are
equal to zero and the functions with odd numbers represent the complete set of invariants, as can be found from direct calculations. Let (f) be the full set of polynomial invariants, then N,
f (x + Aa) _
pis(x, a)A', s=0
df e E(n)** = E(n). Suppose df (x + ;.a) =
ui,(x, a)A', s=0
where ui, a E(n). LEMMA 17.2
The following recurrence relations hold: a(x, uio) = 0 a(x, ui1) + a(a, uio) = 0;
a(x, uiN) + a(a, ui,N,-1) = 0 a(a, ui,N) = 0.
Let n = 2s + 1. Consider the complexifcation CE(n). The Lie algebra so(n, C) is simple. Let
so(n,(C)=H®YG; ®EG; i;1
i31
where the subspaces Gt are spanned the root vectors ea with the weight
197
INTEGRABLE SYSTEMS ON LIE ALGEBRA
of the root a equal to ± i and H = graded subspace of E(n).
Q
E(n) + = (H (D Ce") $ (Gi $ B1)
I CE 2k + l,zk+ z Consider the
Q... $ (G; $ B3) $ E Gk k3s+1
= Iao QH where Bs+1 -j = C(ez j_ I + ie2j) c C", j = 1, ... , s. The subspace E(n) +
with this grading may be considered to lie in E(n)*. We choose x, a e CE(n)* in the following way : x E K* in general position, a e G; + B1 such that all the components in decomposition upon the root basis in G' and the component of the base vector e" _ z + ie" _ I E C" are nontrivial. LEMMA 17.3
Let a E Gi ED B1 c E(n)* be the element mentioned E(n) we have a(a, Hj) c Hi+1 c E(n)* for i > 0.
above. Then, for H;
LEMMA 17.4 Let x, a c- E(n)* be chosen as indicated above, then the mapping H. - Hi,, c CE(n)* defined by y - a(a, y), y c- Hi c CE(n) is an epimorphism. LEMMA 17.5
The relations (a) ujo E Ho, (b) ujk E Hk hold for any j.
LEMMA 17.6
The vectors ujk generate the entire subspace Hk. We
conclude that the dimension of the subspace, generated by df(x + .la) is at least dim E(n)' = sz + 2s + 1; but for complete integrability we need
codim 0 + z(dim E(n)* - codim 0) = s2 + 2s + 1 functionally independent integrals on G*. The theorem, therefore, has been proved in the case n = 2s + 1. The case n = 2s could be examined in a similar way. We shall not dwell here on the technical details.
198
A. T. FOMENKO AND V. V. TROFIMOV
18. THE CASE OF COMPLETE INTEGRABILITY OF THE EQUATIONS OF INERTIAL MOTION OF A MULTIDIMENSIONAL RIGID BODY IN AN INCOMPRESSIBLE, IDEALLY CONDUCTIVE FLUID 18.1. Complete integrability of the Euler equations on extensions fl(G) of semi-simple Lie algebras
The results given here have been obtained by V. V. Trofimov. Consider the embedding of the equations of magnetic hydrodynamics into the Lie
algebra Q(so(n)) described in 7.4. It turns out that in this case the method of tensor extensions of Lie algebras makes it possible to construct a complete commutative set of integrals on the orbits in general position. We shall study first the Euler equations on KI(G)* with the "complex" series' sectional operators, constructed earlier.
Let G be a complex semi-simple Lie algebra and R(G) the set of functions on G* representing shifts of invariants F of the coadjoint representation G, i.e. it consists of the functions h(x) = F(x + .la), A E C, a E G* fixed covector. Applying algorithm (91) from Theorem 13.1 to the functions h(x) ER(G), we can construct functions h(y), h(x, y) on f )(G)* and obtain a set of functions R(f2(G)) on space fl(G)*. We remind the
reader that the construction of Section 13, applied to the Lie algebra Q(G) = G + EG, EZ = 0 enables us to construct functions F1(x, y), ... , F,(x, y) E Coo(S1(G*)), with F;(x, y) = (8F;(y)/8yj)xj (x, coordinates in G*
and y; in EG*), using functions F1(x), ... , F,(x) E C'(G)*. If F; is in involution on all the orbits of the coadjoint representation of the Lie group (! associated with Lie algebra G, then the functions (y), F,(y), P, (x, y)..... F,(x, y) are in involution on all the orbits F1(y), of the coadjoint representation of the Lie group D (O) associated with Lie algebra K )(G). If F; are functionally independent on fl(G)*, then Fl(y), Fj(x, y) are functionally independent on f)(G)* too. (See Section 13, Theorem 13.2).
Let a function h be functionally dependent on the family of functions a(f (G)), then the Euler equations z = a(x, dhx), x e Q(G)* are a completely integrable Hamiltonian system on all the THEOREM 18.1
orbits in general position of the coadjoint representation Ad* of the Lie group KI(T)) associated with Q (G).
INTEGRABLE SYSTEMS ON LIE ALGEBRA
199
Proof The involutivity of the given functions follows from Theorem 13.2. Let FI (x), ... , FN(x) be a complete set of involutive functions on G* (constructed above), then FI (y), ... , FN(y), FI (x, y), ... , FN(x, y) are functionally independent. In order to achieve complete integrability it is necessary to have s integrals, where s = Z(dim S2(G) + ind S2(G)) = Z(2 dim G + 2 ind G)
= 2['I(dim G + ind G)] = 2N according to Theorem 13.3. This concludes the proof. THEOREM 18.2
Let G be a complex semi-simple Lie algebra, x =
a(x, C(a, b, D)(x)) the Euler equations on KI(G)* for x e O(G)* with the complex series operator, then this system is completely integrable in the
Liouville sense on all the orbits in general position of the coadjoint representation of the Lie group 0((1i), associated with fl(G). Or, more precisely, let F(x) be any smooth function on i2(G)*, invariant with respect to the coadjoint representation of the group f)(65 ), then all the functions F(x + .la), A e C are first integrals of the Euler equations for any A e C. Any two of those integrals F(x + 2a), H(x + pa), A, p c- C are
in involution on all the orbits with respect to the Kirillov form. It is possible to choose from the given set of integrals a set of functionally independent integrals equal in number to half the dimension of a general
position orbit of the coadjoint representation of the Lie group S2(6).
Proof The involutivity of the shifts of the invariants is a well-known fact (see Section 11). We shall prove that the shifts of the invariants are first integrals of the Euler equations . = a(x, C(a, b, D)(x)), x e S2(G)*. To do that it is enough to check that= 0, where <J, x> is the value of the functional x on the vector f We have:
= (dF(x + .la), a(x + .la, C(x))> -= - .
The first term is equal to zero, as F is an invariant, thus
2
_ -1,
as DheKer4a, where x=x'+h, x'eV+eV, heH+eH, H is a
200
A. T. FOMENKO AND V. V. TROFIMOV
Cartan subalgebra in G and V is an orthogonal complement with respect
to the Cartan-Killing form, therefore
A
A = 0. We used here the facts that h, 2a e Ker p(b) and that, as F is an invariant, the expression a(x + Aa, dF(x + Ad)) = 0 is zero. We have, thus, proved that the shifts of the invariants are integrals of the Euler equations. We
shall prove now the functional independence of the shifts of the invariants. Let F1(x + Ad), ... , FN(x + Ad) be a complete set of functions in involution for G. Then, using these, a complete set of functions in involution on (2(G)* can be constructed: OF, (y + Ad) Ad),
.
x;, ...
ClYr
(y
x; . (1)
Let us examine now the invariants Ad* for S2(G): F1(Y), ... , FN(Y),
ay,Y)
x;, ... , ay Y) x;
(2)
we should take shifts of these invariants along a vector a where a is taken
from eG*, then after shifting functions (2) along the vector a, we,
obviously, obtain functions (1) and the latter, as we know, are functionally independent. The theorem has been proved in full. In the same way as for the complex operators the following theorems can be proved. THEOREM 18.3
Let function h be a function which is functionally
dependent on the family of functions R(S2(G,,)), than the Euler equations
x = a(x, dhs), x E )(G )* are a completely integrable Hamiltonian
system on all the orbits
in
general position of the coadjoint
representation of the Lie group f2(6.), associated with S2(Gu). Let G,, be a compact form of a complex semi-simple Lie with f2(Gu). Then this system compact series operators C(a, b, D): S2(G )* is completely integrable in the Liouville sense on all the orbits in general THEOREM 18.4
algebra, z = a(x, C(a, b, D)(x)) the Euler equations on
position of the coadjoint representation Ad* of the Lie group S2(0 ),
201
INTEGRABLE SYSTEMS ON LIE ALGEBRA
associated with the Lie algebra SZ(GJ. Or, more precisely, let F(x) be any then smooth function on SQ(G.)* invariant with respect to
all the functions F(x + Aa) are integrals of the Euler equation for any 2 E R. Any two such integrals F(x + Aa) and H(x + µa) are in involution on all the orbits with respect to the Kirillov forms. From the mentioned set of integrals one can choose functionally independent integrals equal
in number to half the dimension of an orbit in general position of We shall examine now the construction of integrals of the Euler equation with the "normal" operator series. Let f (x) be a function, invariant with respect to the Consider functions hs(x) = f (x + 2a)I Then the functions h2 are, for any A E U8, first integrals of the Euler equation z = a(x, C(a, b)(x)) on where C(a, h) is a "normal" series operator, a e iHo, h e iHo + EiH'. PROPOSITION 18.1
coadjoint representation of the Lie group
Proof Suppose that we have a differential df(x + Aa) in G,,, then df I G.(x + .la) is an orthogonal projection df (x + Aa) on G In the case
G + eG we obtain df (x + a ,a) = vl + Eve, vi e G (i = 1, 2) and df I n(,.)(x + Aa) = n(vI) + eir(v2)
where n
is
an orthogonal
projection on G. with respect to the Cartan-Killing form. Then= (df I II(G.)(x + .la), [Cx, x])
= (7C(vI) + En(v2), [Cx, x])
= (v1 + eve, [Cx,x]); as [Cx, x] e G it is possible, therefore, to add any term to the first factor, orthogonal to G. We have thus:= (df(x + via), [Cx, x])
== 0,
as has been proved already in the case of the "compact" series operators. Proposition 18.1 has been proved. PROPOSITION 18.2
Any two integrals of Proposition 18.1 "normal"
series type are in involution on all the orbits Ad* of the Lie group with respect to the Kirillov form. Moreover, the number of functionally
independent integrals, given by Proposition 18.1 is equal to half the
202
A. T. FOMENKO AND V. V. TROFIMOV
dimension of an orbit in general position of the coadjoint representation Ad* of the Lie group associated with Lie algebra S2(G.).
Proof We reduce all cases to that of a semi-simple "normal" series of operators. We have G. c G. Let f (x) be an invariant of G,,, then on G.
the complete set of functions in involution (see [89], [90]) can be obtained as the restriction to G. of functions f(x + .la). Applying to these functions the (21) algorithm, one finds a complete set of functions in involution on These functions have the form fl Y + ).a)/G (as
the operations of restriction and substitution are commutative) and W G. (Y + .la)/?yj)x;. Let us check that those functions are identical to the functions mentioned in the proposition. According to Theorem 13.1 the S2(Gu) invariants have the form f (y) and (Of (y)/8y;)x;. It is clear that the shifts of these functions along a suitable a after restriction to S2(G.) will give the necessary results. Thus, the algorithm (91) leads to the necessary set of functions, which proves the proposition.
The results are summarized in the following theorem.
Let G be a normal compact subalgebra in a complex semi-simple Lie algebra G; z = a(x, C(a, b)(c)). The Euler equations on with the operators of the "normal" series C(a, b):
THEOREM 18.5
S2(G,,)* --
are a completely integrable system in the Liouville
sense on all the orbits in general position of the coadjoint representation Or, more of the Lie group S2(6j, associated with the Lie algebra f precisely, let F(x) be any smooth function on Q (G.)*, invariant with respect to Ad*(S2((6.)), then all the functions F(x + Aa)I ((;,) are integrals of the Euler equations for any a. E R. Any two such integrals F(x + .la), H(x + µa) are in involution on all the orbits Ad* One can choose
from the indicated set of integrals a set of functionally independent integrals equal in number to half the dimension of an orbit in general position of the representation Ad* In a way similar to the complex case the following theorem can be proved.
Let function h be functionally dependent on the functions of the family, then the Euler equations )i= a(x, dhx), x e f2(G.)* are a completely integrable Hamiltonian THEOREM 18.6
system on all orbits in general position of the coadjoint representation Ad* of the Lie group C)(6 ), associated with Lie algebra S2(G ).
203
INTEGRABLE SYSTEMS ON LIE ALGEBRA
18.2. Complete integrability of a geodesic flow on T*f2(6)
Let G be a complex semi-simple Lie algebra, with compact form, G. and
G a normal compact subalgebra in G. Let f2(6), f2(6 ), f2((%) be Lie groups corresponding to the Lie algebras f2(G), f2(Gu), f2(G ). Consider
the cotangent bundles T*f)(6),
Let quadratic
forms <, x e T* be given on the spaces T* = T*f2(6), T*f2((5.), T*f1(6.) (e is the group identity element), cp being an operator of the "complex," "compact" or the "normal" series correspondingly. Extend
these quadratic forms in a left-invariant way to the entire cotangent bundle space to obtain a function H. On the cotangent bundle T*971 there is a canonical symplectic structure w E f2Z(T*m) (see Section 1) given any smooth manifold SDt. THEOREM 18.7
Let f2(6), f2(6u) and f)((%) be the Lie groups as
defined above and let H be a left-invariant form defined on T*fl((6), which corresponds to the operators of the T*f2(0 ), "complex," "compact" or "normal" series; then the Hamiltonian flow
on T*0(6), T*f2(6.), T*f ((h) corresponding to H is completely Liouville-integrable in the classical sense.
Proof Let us use the non-commutative form of Liouville's theorem (see 3.2). First we need a lemma. LEMMA 18.1
The Hamiltonian flow on T*1((5), T*0((6.),
corresponding to a quadratic form H, is completely Liouville-integrable in the non-commutative sense.
or f2(6 ). Then, since S acts Proof Let Sj be 0(6), symplectically on T? = T*Sj, a finite-dimensional Lie algebra of integrals V, exists on T*Sj which is isomorphic to T¢5. Above we pointed out that the commutative Lie algebra of integrals Vo (dim Vo = 2(dim T, !b - ind T,5) exists for the operators C(a, b, D) on the orbits of Ad*(,). Extending these functions to left-invariant functions on T*S in
a manner similar to 3.2 we obtain a commutative Lie algebra of functions Vo on T *5, which commutes with V, . The proof of the lemma
can now be obtained by verifying that dim T* 6 = dim(Vo + V,) + ind(Vo + VI).
As we proved in 3.6, the commutative Liouville theorem follows from
the non-commutative one, provided that a complete involutive set of functions exists on (Vo + Y,)*. Above we have constructed a complete
204
A. T. FOMENKO AND V. V. TROFIMOV
involutive set of functions on V*; hence, such a set exists on (V0 + V1)* as well. Since Vo is an Abelian Lie algebra, we can select any basis in Vo as a complete involutive set of functions on V* (any element of Vo is a linear function on Vo ).
18.3. Extensions of 1(G) for low-dimensional Lie algebras
In this section we shall consider Lie algebras over the field J with dim G < 5, as well as nilpotent Lie algebras with dim G < 6. We call these Lie algebras low-dimensional Lie algebras. Our aim is to show that on f20(G)* it is possible to construct a complete involutive set of functions. The full classification of such Lie algebras is known and the list of them, together with the invariants of their coadjoint
representations is given in [106] (we shall use the notation given in [106]).
Let G be a low-dimensional Lie algebra; then the orbits of G are separated by invariants in the sense of Definition 13.1. PROPOSITION 18.3
The proof can be obtained by a calculation of the rank of the matrix IlC.xk1l with the use of the tables given in [106]. PROPOSITION 18.4
Let G be a low-dimensional Lie algebra; then it
satisfies Condition (FJ) from 3.6.
Proof We can construct a complete involutive set of functions on G* using one of the following methods: (a) as shifts of the invariants of the representation Ad* (see Section 11); (b) as semi-invariants of Ad* (see Section 11); (c) through chains of subalgebras of the Lie algebra under consideration (see Section 12). Shifts of the invariants give the complete set of functions in involution for the following Lie algebras: A3,4, A3,6, A3,8, A3.9, A4.1, A4,8, A4,10, A5.1, A5,2, A5,4, A5,10, A5,40, A6,1, A6,2, A6,3, A6,16, A6,20, A6,22
We do not have enough shifts of invariants for the rest of Lie algebras. For those Lie algebras A6,r (1 < i < 22) which are affected by this lack of
the invariants, we can use the chain of subalgebras H c G (H is an Abelian subalgebra). For the rest of the Lie algebras we need to use semi-
invariants. We omit minor details of the calculations because of their complexity. This completes the proof.
INTEGRABLE SYSTEMS ON LIE ALGEBRA
THEOREM 18.8
205
Let G be a low-dimensional Lie algebra and let f be
any function which is functionally dependent on the functions constructed by applying the algorithm (21) of Theorem 13.2 to the functions on G* which were given in Proposition 18.4. Then on the space
S2a(G)* there exists a complete involutive set of functions, giving 83 infinite series of Lie algebras for which the Euler equations x = a(x, dfx), x E (1.(G)* are completely integrable in the classical sense on all orbits in
general position of the representation Ad* Qa(6). The proof follows directly from Theorem 13.2 and Proposition 18.3.
19. SOME INTEGRABLE HAMILTONIAN FLOWS WITH SEMISIMPLE GROUP OF SYMMETRIES 19.1. Integrable systems in the "compact" case
Let us take a canonical H-invariant (or a linear combination of such functions) as the Hamiltonian V: G* - R, see Section 14. Then, any linear function on H* is an integral. Besides, functions similar to V are integrals, if they satisfy the conditions of Theorem 14.1. These integrals may be enough for-complete integrability. THEOREM 19.1
If we take A": (su(n), su(n - 2));
B,,: (so(2n + 1), so(2n - 1));
C":(sp(2n),sp(2n - 2)) D": (so(2n), so(2n - 2))
as a pair (G, H), together with the Cartan-Killing form as the invariant 2-forms, then the corresponding Hamiltonian systems z = s grad V, V = Y_ aij(W"X(i), X(j))kk are completely integrable.
For pairs of Lie algebras (so(n) p Ili;, so(n - 1), (so(n + 1), so(n - 1)), (su(n) Q C", su(n - 1)), (su(n + 1), su(n - 1)), the following more general result holds, namely the functions REMARK
Y_
[a..(W2pX(i) X(i)) + p..(W2p-IX(i),X(j')]
i,j=1,2
form an involute set.
206
A. T. FOMENKO AND V. V. TROFIMOV
REMARK A similar statement holds for the pairs (su(n), su(n - 1)), (so(2n), so(2n - 1)), (so(2n + 1), so(2n)). However, these examples are of minor interest because, first, there is a "redundancy" of the integrals, i.e.
the first integrals which are independent in Theorem 19.1, are now functionally dependent and, second, the resulting Hamiltonian systems are linear ones. REMARK The results of this section were obtained by A. V. Belyayev.
The series D", B. We consider a pair (so(n), so(n - 2)). The adjoint action of the algebra so(n - 2) on the algebra so(n) splits as a direct sum of invariant subspaces: so(n - 2), Rn-2, 68"-2, R1, bases of the latter we denote by X, X', Z. Taking the restriction of the Cartan-Killing form as
an invariant 2-form, we obtain four kinds of canonical invariants, in X'W2e+1Xt (the same matrix notation XW2eXt, X'W2eX't, invariants can be obtained using the form P = L; {xi,x;}; in what follows it will become clear why it is necessary to use this form). Note XW2eXt,
that matrix W is skew-symmetric. In these expressions for the canonical
invariants the parity of the exponent of the matrix W is essential because, in the expansion of W" in lower powers, only powers of W with
the same parity as n are present. In any case, Theorem 14.1 proves involutivity only for the kinds of invariant described above. It can be verified that the Poisson bracket of canonical invariants which are not similar (for example, X'W2eXt and X'W2e+1 Xt) is not equal to zero. Thus, the following set of functions is an involutive one:
Vo=a1YXr +0(2EXj2+a3YX,x,+a4Y{x;,x.}, V2p = a1XW2pXt + a2X'W2pX't + a3X'W2pXt + a4X'W2p-1Xt
(similarly with Y_ {x;, xt}, the functions are of the form X'W'P -'X' because Fo = E {x;, x;} = X'PXr and hence, F2p = X'W2pPXt =
XW2v-1
{W*t,x,})
The number of similar invariants which are functionally independent on the orbit (so(n)) (as well as of the invariants which are independent, with linear integrals co;3, 1 < i, j < n - 2) is [(n - 1)/2]. The proof of the f(lnctional independence is given below in Theorem 19.4. The dimension of the orbit of the general position of the algebra so(n) is dim so(n) [n/2]; the rank of the algebra of first integrals which is isomorphic to the
-
207
INTEGRABLE SYSTEMS ON LIE ALGEBRA
RI(n-1)12] is n - 2. According to Section 3, direct sum of so(n - 2) and we have an integrabler case of a Hamiltonian system since
dim so(n) -_ L2] = dim so(n - 2) +
Cn
2
11
+n-2
(the right-hand side is the sum of dimension and index of the algebra of integrals).
Series A", C". The expansion of the algebra su(n) as an su(n - 2)module to submodules in an appropriate basis is given by the following expression: x1
1
W Xn_2
-X1
-xn-2
-x1
... -Xn-2
xn_2 Iesu(n).
(1)
z
--
Provided that (1) holds, the irreducible invariant subspaces (apart from su(n - 2)) are V= {x1, ... , Xn-2}, V' = {X1, ... , xn-2}, {Z}, {Z }, {z"} plus their complex-conjugates. Canonical invariants are of the following
form: XWeX, X,WeX,, X,WeX, XWeX,. Since in the expansion W" = >; a1 W', a.-, = 0 (from which it follows that a priori it is unknown whether, for example, {X W"X, X X n -1 X } = 0), the involutive character of the invariants differing from each other only by a power of the matrix W, does not follow directly from Theorem 14.1. To
prove this, we need to use a non-standard expansion a" W" _
w"-2 -
a; W'. From similar integrals which are functionally
independent on the orbit, we can select n - 1 (see Theorem 19.4) which, in turn, are functionally independent with integrals w,j (1
i,j
We can easily get an integral z + z" considering that Tr(W) = 0 and the whole matrix (1) has a trace equal to zero. PROPOSITION 19.1
Let
F
be
a
canonical
invariant,
then
{z+z",F} = 0. Let us show that for integrability to be complete, the first integrals already available are enough. The dimension of an orbit of the algebra su(n) is
n2 - n; the dimension of the algebra of integrals is
208
A. T. FOMENKO AND V. V. TROFIMOV
dim su(n - 2) + (n - 1) + 1 and the index of the algebra of integrals is
rk su(n - 2) + n = 2n - 3. Thus, we have a complete integrability following from the non-commutative Liouville theorem. REMARK
Since the dimension of orbits in general position for
the coadjoint representation of the algebras su(n) and u(n) coincide, we
have constructed above the integrable set for the pair of algebras (u(n), su(n - 2)). In the case C we have similar arguments, though we should add that the dimension of the orbit of the general position of the algebra sp(2n) is dim sp(2n) - n; (dimension) + (index of algebra of
integrals)=dim sp(2n-2)+3n-1 and dim sp(2n)=dim sp(2n-2)+ 4n - 1. According to 3.6, for Liouville integrability to be attained, it is enough to show that the algebra of integrals satisfies Condition (FJ). REMARK
If from the algebra of integrals we can split off a commutative direct summand, it is enough to prove the fulfillment of Condition (FJ) for the
non-trivial summand. For all completely integrable sets (in the noncommutative sense) which have been considered in this section, the algebra H of the pair (G, H) is semi-simple and hence satisfies (FJ) (see
Section 16 where the entire involutive family of functions on H* is constructed) and is a non-trivial summand. 19.2. Integrable systems in a non-compact case. Multi-dimensional Lagrange's case Theorem on isomorphism of algebra pairs
For non-compact algebras H, the volume form and the symplectic form for the Lie algebra sp(2n, D) are natural invariant forms. To be able to apply the previous constructions to non-compact Lie algebras we need the following statement to be valid: Let (G1, H1) and (G2, H2) be pairs of real Lie algebras, such that G1 ® C and G2 ® C are isomorphic and that the isomorphism THEOREM 19.2
induces an isomorphism H1 ® C = H2 ® C. Then, a complete involutive set of one pair (G;, H.) maps into a complete involutive set of
the other pair.
Proof We might consider the problem of involutive and functional dependence of polynomial functions on (G)* in terms of the Lie algebra
209
INTEGRABLE SYSTEMS ON LIE ALGEBRA
G. ® C but from this point of view G1 ® C and G2 ® C would be indistinguishable. Let us consider as an example the pair (sl(n, R), sl(n - 2, l)) together with the pair (su(n), su(n - 2)) it satisfies the condition of Theorem 19.2. The splitting of the Lie algebra sl(n, J) into sl(n - 2, l )-submodules can be expressed by the following matrix: xl
x'
xn-2
x;,-2
W Y1
yl
...
Y,.-2
(2)
Z Z r"
yn-2
Comparing (1) and (2) we obtain involutive sets YWeX, Y'WeX', YWQX', Y'WeX. If we did not consider the "compact" case, it would be difficult to get these, because the bilinear transformation
B: (X, Y) --+ YX is not a bilinear form on the invariant subspace generated by the vectors x1,... , x" _ 2, y , , . .. , yn _ 2. Note incidentally, that the complex involutive sets are quite useful because they allow us to obtain the real ones; for example in this case Y'WCX, YWeX' follows from X'WeX, XWeX'. Volume form
Let H = sl(n,1l ), V, V', ... , V("') be H-submodules; isomorphic
to each other and corresponding to a minimal representation of sl(n, 68) in 68", G = sl(n, R) ®(V + V' + + V(m)). Then, the functions det(X Wil, ... , X'Wi., ... , X"W',) are H-invariants. det(X W`l, ... , X'W'-, ... , X"W',, . . ) . Let us write W W (k times) .
instead of the matrices K' in the expression for the function F1, enumerating all the resulting copies of W. We then enumerate all row vectors X('") in the expression for F2. Let F1 be XWY(a); X = X(k)W',
k and r being dependent on a; W being the matrix with the number a; Y(a) = det(X, X', ... ,X,..., W) is a column; F2 = X(m)Z(fl), X(m) being the row vector with the number fi; Z(fl) = det(X, X', ... , X(k) , .. , W) is a column. Then
{Fl, F2} _
XtYi(a)A,,jjXsm)Zi6).
a.B
a.0
210
A. T. FOMENKO AND V. V. TROFIMOV
Direct computation gives A811J = B,Ai. Thus, {F,, Fz} _ > XZ(fl)X(m)Y(a). a,p
Now it is easy to verify that Statements 19.2, 19.3 and 19.4 are valid. The functions det(X, X W, ... , X W;,, X', X'W,... , X'We1) and det(X, X W,... , X W'`2, X', ... , X'We2) are in involution on PROPOSITION 19.2
H ® (V + V') provided that k, < k2 <(n - 1)/s]. A similar statement can be easily obtained for H ® (V + V' + V"). PROPOSITION 19.3
Functions FP = det(X, XW, ..., XWP, X', X'W,
... , X W" - P - 2), p = 0, ... , [(n - 2)/2] together with linear functions wig, x;, 1 < i, j <, n form a complete non-commutative set on
HQ(V+V'). Functions det(X, ..., XW'°, ..., X', ..., X'W'1, ... , X(')W'-) are invariants of the algebra H Q (V + + V(m)) PROPOSITION 19.4
_.rovided that i, = [n/(m + 1)] + (1 ± 1)/2, Y, i, + m + 1 = n. The proof is a trivial one and thus can be omitted. Multi-dimensional Lagrange case
The equations of the motion of multi-dimensional rigid body can be written in Hamiltonian form in the dual space of the algebra so(n) + l". Let us take as coordinates on (so(n) + R n)* linear forms w;,, x; which are bases of so(n) and I?' respectively. Let us choose these linear forms so
that {wi;, w;i} = wii, {w1 , xj} = xj. Then the Hamiltonian in terms of these variables is V= 1E
w`' + > rixi 4i,j (ai+I)
(3)
i
The vector field s grad V is then given by
uiij_(ai-aj)
waw:J
(ai + ai)(ai +
+x;r.-xri
wii xi
If + Ml
The Lagrange case follows from (3) provided that r; = 0, If = C,
INTEGRABLE SYSTEMS ON LIE ALGEBRA
211
1 < i < n - 1, a" = kc, r" 0. The corresponding Hamiltonian system involves a set of linear integrals co;,, 1 < i, j < n - 1, the latter form a Lie algebra which is isomorphic to so(n - 1). The Hamiltonian for a symmetric body is V = Al Tr(W2) + A2 Y x? + A3z, where x, = co,,, x', = z and the factors A, depend on C, k and r". Evidently, the Hamiltonian is a linear combination of canonical so(n - 1)-invariants (z = 1/(n - 1) Ei {x;, x,}), and hence we can write down an involutive series of the first integrals FP = AI Tr(W2p+2) + A2XW2pX' + A3X'W2p-1X'.
The proof of the conclusion that the integrals obtained form a completely integrable set is given in [13]. The motion of a multi-dimensional rigid body in an ideal fluid
As we know already, the equations of such motion are given on (so(n) Q R")* as a quadratic Hamiltonian. The following canonical invariants are available: XW2eX1, X'W2eX", X'W2eX', X'W2e+1X`
and hence, for the family of Hamiltonians V4,1 = AI Tr(W2) + A2 >2 x? + A3 > x;2 + A4
x,x; we can obtain involutive sets of first
integrals. Formally we can extend this family
Vxp=2 Tr(W2)+12
x?+A3>x;2+A4Yxix;+25z2
since Yl-1 X,2 + z2 is an invariant of the coadjoint representation. The proof of the completeness of this set is the same as in the previous case.
REMARK We can obtain the integrable case for the series given in [103] assuming A4 = 0. Theorem of integrability for non-semi-simple Lie algebras
We recognize a similarity between the examples of integrating the pairs (so(n + 1), so(n - 1)) and (so(n) (D l8", so(n - 1)); and this is no surprise: the "contraction" construction (see Section 15) transforms the algebra so(n) into a direct sum and "commutes" with the
construction of involutive sets according to the given algorithm. Therefore, a transformation like
212
A. T. FOMENKO AND V. V. TROFIMOV
(so(n + 1), so(n - 1)) -> (so(n) ® 1fi", so(n - 1))
is practicable for other Lie algebras as well, e.g. (su(n + 1), su(n - 1)) - (su(n) (D C", su(n - 1)) (u(n + 1), su(n - 1)) -, (u(n) (D C", su(n - 1))
(sl(n + 1, li), sl(n - 1, R) - (sl(n, li) (@ i", sl(n - 1, R)).
For all right-hand pairs we can construct entire involutive sets of functions. Let us formulate this in a way similar to Theorem 19.1. THEOREM 19.3 Let 0: G -+ G. be the contraction of the algebra G. If we take (so(n) ® R", so(n - 1)), (su(n) ® C", su(n - 1)),
(u(n) (9 C", su(n - 1)), or (sl(n, R) ® li", sl(n - 1, 118)) as a pair (GB, H),
then the Hamiltonian systems are given by z = s grad B* V, the Hamiltonian
V = E (a;,(X(`)W", X1 )kk + fl;;P(X11)W(P , XU)
being
constructed for the pairs of the algebras (so(n + 1), so(n - 1)), (su(n + 1), su(n - 1)), (u(n + 1), su(n - 1)), (sl(n + 1, l8), sl(n - 1, li)).
We can prove this theorem following the standard technique given above and using as well the dimension of the orbits in general position of coadjoint representation of semi-direct sums, in connection with this see [118].
19.3. Functional independence of integrals
Note that the functions in the set ¢ = {F;, i = 1, ... , rk W, f e (H*)*, 1 < i < dim H}, where the Ft are similar functions are functionally
independent on the space G* dual to the algebra G. Functional independence can be proved in two ways: either (a) by showing that the
invariants defining the orbits are functionally independent of the functions in the set 0; or (b) if this cannot be done, for obvious reasons, by proving that the skew gradients of the set of functions 0 are linearly independent almost everywhere. The semi-simple case
In 19.2 examples of Hamiltonian systems on semi-simple algebras are
INTEGRABLE SYSTEMS ON LIE ALGEBRA
213
considered. As is known, in this case the orbits of the (co)adjoint representation of the group Exp G are given by traces of powers of the (co)adjoint representation of Lie algebra G. It is enough, then, to show functional independence within the set 0, when the F; are canonical H-
invariants. It is clear that then the similar linear combinations of invariants included in the set 0 as the functions Fi will comprise a functionally independent set. THEOREM 19.4
The following sets of functions 0 are functionally
independent on orbits in general
position of the
coadjoint
representation of the corresponding Lie algebras: (1) so(2n): 0 = {elements so(n - 2) viewed as linear forms on so(n - 2)* and either (a) XW2pX`, or (b) X'W2pX", (c) X'W2pX" or (d) 0 5 p <, n - 1}; (2) so(2n + 1): 0 = {elements of so(2n - 1) viewed as linear forms on so(2n - 1)* and either (a) XWPX' or (b) X'W2pX", (c) X'W2pX`, 0 <, p < n or (d) Z,X'W2p-1X`, 0 < p < n - 1}; (3) su(n): 0 = {elements of su(n - 2) viewed as linear forms on su(n - 2)* and either (a) Z, XWPX or (b) Z",X'W"X', (c) Z' + Z', XWPX' + X'WPX, 0 < p < n - 3}; (4) sp(2n): 0 = {elements of sp(2n - 2) viewed as linear forms on sp(2n - 2)* and either (a) XW2X or (b) XW2i+1X}. X'W2P-1
Let U;: H* -> I (1 < i < rkH) be functionally independent invariants of the coadjoint representation of the group Exp H. Then the projections of the gradients grad U;, I <, i < rk H = r on the subspace W = {w1,. .. , w, j} c H are linearly independent at points in general position. LEMMA 19.1
In order to prove (1)(a-d), (2)(a-d) and (3)(a-c) it is enough to apply Lemma 19.1 to enveloping algebras of pairs (G, H). Statement 3 of Theorem 19.4 can be proved by direct calculation of skew gradients of functions from set 0. The non-semi-simple case
As an example we shall consider the non-commutative set of functions,
corresponding to the volume form. Direct calculation leads to s grad Fp = {Fp, X} = Ei=O(P+2) f X'W, 0 <, p 5 [(n - 4)/2]. Vectors X, X W, ... , X W` are, in general, linearly independent, therefore the s grad FP are linearly independent too. It is not difficult to see also that the FP are functionally independent on an orbit in general position in
214
A. T. FOMENKO AND V. V. TROFIMOV
sl(n, R) Q (68" p If8") with linear integrals o , x;, 1 S i, j < n. And, finally,
dim(sl(n, R) p (68" + R n)) -
C1
r + n - 2[ ]) =dim(sl(n,68)QR1)+rn
2
21 + 1+Ln 2 21
(the left-hand side of teh equation is the dimension of an orbit in general position in sl(n, U8) (@ (118" + R") and the right-hand side is the sum of the
dimension and the index of the algebra of integrals). Note that the number of linearly independent skew gradients gives a lower bound the dimension of an orbit of the coadjoint representation of the algebra sl(n, V8) ® (118" + - + If8") and Proposition 19.4 gives an upper bound for this dimension. 20. THE INTEGRABILITY OF CERTAIN HANIILTONIAN SYSTEMS ON LIE ALGEBRAS Let G be a Lie algebra, G* its dual space, l(G*) the set of functions on G*
invariant under Ad* (invariants of Lie algebra G). For any element a c- G* we shall define a set of functions I. = Ia(G*) _ { fx, fA(x) = f(x + ,ia), f e I(G*)}. As we know, I. is an involutive set with respect to the standard bracket { f, g} on G* (see Section 11): { f, g}(x) = <x, [dx f, dx g]>. In the case of a reductive Lie algebra there is
an invariant identification of G with G*. Thus the notation Ia = Ia(G)
makes sense for a c- G as well. Let 0 c G* be an orbit of the representation Ad* of the group 6 associated with G. We shall call an involutive set of functions on completely involutive if after restriction to
an orbit 0 in general position it gives i dim 0 independent functions. It was proved in [89], [90] that for the compact form G. of a complex semi-simple Lie algebra G the set Ia is completely involutive when a c- G. is an element in general position. In addition, if G. is a normal compact
subalgebra in Ga, the set T. for an element a c- G" with a 1 G. is completely involutive for an element a in general position, where I. = I. I G. The sets I. and Ia are called the compact and normal series integrals. The Euler equations x = add f(x)
(1)
215
INTEGRABLE SYSTEMS ON LIE ALGEBRA
are completely Liouville integrable for Hamiltonians f functionally dependent on the sets Ia or T. as these sets are completely involutive. It will be shown below (Theorem 20.2) that, in the case of G. = su(m)
for any element a the sets la and L. can be extended to complete involutive sets. Therefore the system (1) is integrable for singular elements a too. It is interesting to note that for many affine Lie algebras complete involutive sets on G* may be constructed using translates of singular
invariants (Theorem 20.4), whereas for elements a e G* in general position it is impossible to extend the involutive sets Ia(G*) to complete involutive sets. We prove, as an auxiliary result, that the restriction of the set Ia(su(m)) to any singular orbit 0 gives 1 dim 0 independent functions for a certain fixed element a e su(m) (independent of the orbit). This result is similar to the result of Dao Chong Thi [21] in whose proof, however, there are some inaccuracies. The results of this section are due to A. V. Brailov. 20.1. Completely involutive sets of functions on singular orbits in su(m)
Let (Tj) = 6,bj,, be homogeneous polynomial functions, defined uniquely by the following identity: (
)5 Tr(x + R)s =
(- 1)nPa.q(x), n+q=s
deg Pa.q = n. Let su(m) = {x Egl(m, C), x = -x`, tr x = 0}; u(m) _ {x E gl(m, C), x = -z`}; so(m) = {x E gl(m, C), x = z = -x`}. THEOREM 20.1
Let a e so(m),
a = E'-I' a(71+1 - T + I,i),
(1 < i < m - 1). Then the restrictions of polynomials in su(m) give i dim 0 independent functions on it.
a;
0
to any orbit 0
Proof It is possible to select x E 0 for any orbit 0 in such a way that x1 s x = diag( x1,..., where Let xm. xm), G9 c gl(m, C) be the subspace, generated by the vectors
Ei.i+q -
()4+1(T
i+q ± (-
1)qT +q.i),
Gq
G+
G9 .
For any real or complex subspace W c gl(m, C) we define the following
linear subspaces in gl(m, C): Wq = W n Gq, WW = W r G. Let also
G± = $q,o Gt, Gq = Q+ o
216
A. T. FOMENKO AND V. V. TROFIMOV
W.' = W n G9 . Let T= Tx TO be the tangent space to the orbit 0. The direct calculation of the differential of the polynomial at a point x as a function of (su(m))* leads to: m-q
d., Pa" = X CI(a) U^ - l,j dx j 9,j
+ RQ,9
j=1
where xj is the linear function on (su(m))* arising from the element E E u(m); C9 (a) = (q + 1)aj ... aj+q+1; UQ = Eko+ . +k4=, x.o ... xJq, R" ,q e G. _ 1. We shall show that dxP",9 e su(m)q . First let x be a point in
general position. Then by considering the sequence of identities [dxPa 9 + 1, x] _ [dxPa q, x] we obtain d,, 9 E su(m)q . For singular x we obtain dxPa q e su(m)' from continuity. As a consequence
9
be the projection of dxPa,9 on T. We shall generate T+ for q >, 1. Taking into account show below that the the projection of the E su(m)9 we obtain that d,c that onto T, generates T +. As dim T + = i dim 0, the differentials theorem is proved. R" ,q Esu(m)7+_1. Let
generate Tq
Let us prove in addition that the differentials (q >, 1). As
E su(m)q 1, m-q dz pa.9 =
CJI(a)Un
C, 9(a)
0.
j=1
It is enough therefore to show that the matrix Vq, l' = U7 is nonsingular, where n(1) < n(2) < < n(mq) is a maximal sequence of q (it follows from the definition of the indices such that xn(j) < sequence n(j) that mq = dim Ti). LEMMA 20.1 Let y1, ... , yN be indeterminates, for 1 <j, p < N, j + p < N, let W?(y) be the homogeneous component of i in the formal series Wp: W"(y) = (1 - y)-' - (1 - yj+p)-1. Let WP be the
(N - p) x (N - p) matrix of these polynomials 0
i < N - p - 1,
1<j
det W"(y) = (Yp+2 - Yi)(Yp+3 - Y2) . . (YN - YN-p-1)det WP +'(y). .
Proof We carry out on the matrix WP the following elementary transformations: we subtract the second column on the right from the rightmost one, then the third on the right from the second on the right, etc. As a result we obtain a matrix WP in which-with the exception of the first column-all the columns consist of terms (from top to bottom)
217
INTEGRABLE SYSTEMS ON LIE ALGEBRA
of the series W +1 - Wp, WP.,, = {term of degree i of the series W + 1 - Wp},j> 1. As(W01, Wo2,..., WO,N-p-1)= (1,0,0,..., 0) and we have Wj+1 - Wp = (Y;+p+l det Wp=detWp= (yp+2 Yj)Wjp+l,
-YN-p-1)detWp+1.
Let x1 < xm; 1 < q < m; n(1) < maximal sequence of indices, such that Xn(j) < LEMMA 20.2
.
< n(mq) be a
and r(1) < ... < r(m4) be a maximal sequence of subscripts amongst sequences satisfying the condition x,(j-) = x,u+1) _ = x,(j+s) s <, q. Then x,,(j)+s = x,u+s) where j = 1, ... , mq, s = 0,... , q.
Proof Let k(0) = 0, x1 = Xk(1)+1 = ... = Xk(2) _
= Xk(1) = A1,
2,
.
, xk(,-1)+1 = .. = Xk(t)=m =
i = 1,... , t;
!C(i) = min(q, k(i) - k(i - 1)),
k(0) = 0,
k(i) _ Y_ K(i) S=1
where the subscript p has been determined from the inequality k(p - 1) < j + s <, k(p). On the other hand if 0 <, s < q, X,(j+s). The lemma is tip. Whence We can check directly that X,u+s)
proved. Now everything is ready for calculating the determinant of the matrix V9. Let yj = x,(j), then V,? = Ug (j) = {the component of degree i of the
formal series (1 -
(1 - X"U) +q)-'I = {the component of
(1 - x,(j+q)) -' degree i of the formal series (1 - x,(j)) -' Wj (y). As det Wm 1 = 1, applying induction, we obtain det V9 = det W4 # 0. The theorem is proved. (i) For any element x c su(m) the set Ix(su(m)) can be extended to a completely involutive set. (ii) For any element x E su(m) THEOREM 20.2
orthogonal to so(m) the set Ix(so(m)) can also be extended to a completely involutive one.
Proof (i) Let G. = su(m), G. = so(m), Gx
g c G,,; [g, x] = 01 the
centralizer of x in G,,, in the same way let G; be the centralizer of x in G,,. As x is a semi-simple element, Gv is a reductive subalgebra in G. and the
rank of Gx is equal to the rank of G. We may take x = diag(
x1,...,
xm),
X1 < ... <' Xm.
218
A. T. FOMENKO AND V. V. TROFIMOV
As G' is a reductive Lie algebra, there can be found on Gw an involutive f1,. .. , fk comprising k ='(dim GU + rank Gu) independent functions. Extend the functions f on G,, by taking them to be constant set
along vectors orthogonal to G'. These extended functions we shall denote by f too. LEMMA 20.3
The set Ix is in involution with the set {fi, ... , fk}.
Proof Let f (y) = J(y +' x), J E I(G j). Then {f,1;}(y) =
= -A<x,[df,dyf]> =2<[x,d,..T],dyf>=0 as dyf eGu.
It is known that dxI4 = d,lx (for any set of functions a, by definition dx a = {linear span dx f, f e tR}). Let 0 be an orbit passing through x, as follows from Theorem 20.1 it is possible to select an element a in such a way that dim xT(dXI4) = i dim 0 and therefore
dim nT(d,I,) _' dim 0 ='(dim G. - dim G;) too. Therefore we can choose from the set Ix functions fk + i , , fk +s where s ='(dim G,, - dim Gx), so that TT(da f) (i = k + 1, ... , k + s) generate T +. As T + c T = Ts01 Gv and d, f E Gv (i = 1, ... , k) all the functions fi , ... , fk +, are also independent. Their number is equal to Therefore this is a completely involutive set on G. Statement (i) of the theorem is proved. (ii) Wodd = O G2n+1 Wed = W o G+ d.
For
any
subspace
WcG
let
It has been proved in Theorem 20.1 that a vector a e su(m) can be chosen
from so(n) such that the projection of the differential dxla on T is nT(dxl,) = T+. As dxl, = dalx nT(dalx) = T. As dalx = nT
(dalx) = nTpdd ° nc,(dalx) = nc. ° nTo(daIx) = n,q(T+dd) =
Todd
219
INTEGRABLE SYSTEMS ON LIE ALGEBRA
LEMMA 20.4 We claim that !(dim G' + rg
dim(Gx)o+da
Proof As Gx = so(k1) ®... (D so (k,), GU = s(u(kI) (G4)
odd
®... (D u(kt)),
= (su(kl) ®... ® Su(kt))
dl
it is enough to show that z(dim so(k) + rg so(k)) = dim(su(k))'d but this was proved in [90]. The lemma is proved. It is possible to construct on Gx an involutive set
consisting
of k = !(dim G' + rg Q independent functions. In the same way as in (i) we shall extend the functions f to G. taking them to be constant along vectors orthogonal to G. As in (i) we have {Ix, j } = 0. And indeed,
{f,}(y) ==
_ -A<x, [!(d, - dyf-z),dyfi]> _= 0 as
dyjEG'. It has been shown above that it is possible to select from set 1
functions fk+I,
.
, fk+s
in such a way that fk+s}) = T+odd.
fk+, are independent. Their dd. But, as was number is k + s = dim T+dd + dim(Gx)odd = noted above, dim(G) °+dd = !(dim G + rank G.). Therefore the set 11, ,fk+S} form a ,fk+s together with the set Ix u {jk+I,
As T+dd 1 G all the functions A
,
completely involutive set. The theorem is proved. 20.2. Completely involutive sets of functions on affine Lie algebras
Let G be a Lie algebra and let G = H ® V where H is a subalgebra and V is a commutative ideal. Let p = ad,, H be the adjoint representation of H on V. G in fact is the split extension of Lie algebra H determined by the representation p. Such Lie algebras are called affine Lie algebras.
220
A. T. FOMENKO AND V. V. TROFIMOV
For any representation p of a Lie algebra H in a vector space V the number ind p = {the codimension of an orbit in general position} (i.e. of an orbit of the action of the group , corresponding to the Lie algebra H)
is called the index of the representation. The index of the coadjoint representation ind G = ind ad* is called the index of the Lie algebra G. Let G be a Lie algebra, W c G a vector subspace, x e G* an element of the space dual to G. We define the vector subspace Wx = Ann(W, x) =
{g a W, adg x = 0} c W. If W is a subalgebra in G, then Wx is a subalgebra too. We shall need, when calculating the index of an affine Lie algebra. Let G be an affine Lie algebra which is the split extension of Lie algebra H determined by a representation p of the
THEOREM 20.3 (see [118])
algebra H on V. Then for an element x e G* in general position the equality ind G = ind Hx + ind p* holds, where p* is the representation of H on V*, dual to p. Proof Let x e G*, x = xH + xv, xH e H*, xv e V be an element such that the following conditions are satisfied: (a) ind p* = dim H dim Hx; (b) ind Hxv = inf find HY, y e V*); (c) dim Ann(Hxv, xIH=,,) =
ind Hxv. All such elements x constitute a non-empty Zariski-open
set in G*. Thus, the general position elements in G* satisfy the conditions (a)-(c). Therefore, in order to prove the theorem it is enough
to check that the equation dim Gx = ind Hx + ind p* follows from (a)-(c). Let g = gH + gv a Gx, then ada (xH) + ad* (xv) = 0
(2)
ad* (xv) = 0.
(3)
It follows from (3) that gH a Hx°. Consider the restriction of equation (2)
to H'v:= - = 0;
Hxv> = <xH, ad* (Hxv)) = <XHI H=v, ad9H(Hxv)>
=;
so, restricting (2) to Hxv we find (ada*H)(xIH=v) = 0. Let nH be the projection from G onto H along V. We have proved that 7CH(Gx) c Ann(Hxv, xIH=,,). On the other hand, let gH c Ann(Hxv, xIH=, ). Then
INTEGRABLE SYSTEMS ON LIE ALGEBRA
221
equation (3) holds automatically. We shall show that it is possible to choose g,, e V in such a way that equation (2) holds too. LEMMA 20.5
If y e H* and yl H=y = 0, then there is g,, e V such that
y = adg,,(x,,).
Proof We have shown above that (ad,,)* xvl H=v = 0, therefore it is sufficient to check that dim(ad,,)* x,, = dim{y EH*, yIH= = 0}. Clearly = 0} = dim H/HXV. On the other hand,
dim{y E H*, yIH'v.
dim(adv)* x,, = dim V/Vxv. Let L(x, y) = <x,,, [x, y]) be a bilinear skew-symmetric form on G. It is easy to check that H and V are isotropic
subspaces under the form L and HXV $ V'v = Ker L, from which it follows that dim V/Vxv. The lemma is proved. As xH)I H=v = 0 we can choose, on the strength of the lemma, g,, in such a way that (ad,,,)* XH + (ad9,,)* x,, = 0. Hence it follows that
gHE7CH(Gs) and nH(Gx) = Ann(Hxf,xIH=). We now evaluate the dimension of a fiber of the projection nH: Gx - nH(Gx). It follows from equation (2) that dim(nH)-'(gH) = dim Vxv. From which dim Gx = dim Ann(Hxv, xiH-) + dim Vxv.
Note now that dim Vxv = dim V - dim V/Vxv. It was proved above that dim V/VXI = dim H/Hxv, therefore
dim Vv = dim V - dim H + dim H''' = ind p* . Now from the condition (c) we obtain dim Gx = ind Hxv + ind p*. The theorem is proved.
Let a E G* and al v = 0. As V is an ideal, V c Ga. As V is a commutative ideal, it follows from Lemma 20.3 that Ia(G*) u V is an involutive set on G*. The following theorem gives conditions sufficient for this set to be a completely involutive set of functions. THEOREM 20.4
Let G be an extension of Lie algebra H determined by a
representation p of H on V. Suppose that the following conditions are satisfied : (a) the number of independent polynomial invariants of the Lie algebra G is equal to its index ind G; (b) for an element y E V* in general position Lie algebra Hy also has a number of independent polynomial invariants in I (Hy*) equal to its index ind Hy and for an element a' E Hy* is completely involutive. Then for an in general position the set
element a e Hx in general position the set 10(G*) u V is completely involutive.
222
A. T. FOMENKO AND V. V. TROFIMOV
Proof We
shall show further that dim(dxla(G*) + V) = '(dim G + ind G) from which it follows, of course, that Ia(G*) u V is a completely involutive set of functions. We shall need the following algebraic redefinition of the differential dxla(G*).
Let G be any Lie algebra satisfying condition (a) of the theorem. Let I = I (G*), x, a e G*, I. = Ia(G*) and (Px,a: G --' G be the partial many-valued operator (px a = (bx ' 0a, where ca(x) = ad* a. Then for a sufficiently large N and for x e G* in general position, LEMMA 20.6
dxla = ((Px.a)N(G" )
Proof Let f be a polynomial invariant. We shall define a polynomial
.f by equation acg f
f q(x + a) = E fq(x),
degfq=degf - q.
q =0
For the polynomials f q = f .q the identity (ad d x f q +')* x = (ad dx f q)*a holds and, therefore, dx fq+' e Tx,a(dx fq). Whence dxfq E ((Px,a)q(Gx) and dxla c ((Px a)N(Gx) for N > max{deg fl, ... , deg f2}, where
fl . ... . f, is any complete set of polynomial invariants. The reverse dxla follows from the fact that for x E G* in general position, dxl = Gx and that the ambiguity of the operator (Px,a coincides with Gx and, consequently, with dxl too. The lemma is proved. inclusion (cpx a)"'(Gx)
LEMMA 20.7
Let x E G*, a E H*, x' = XI,.,, a' = al,.,. Then 7rH(dxla(G*)) = dx,la,((Hxv)*).
It is Proof Let I. = la(G*), IQ. = 1a,((Hx'')*), (P = (Px.a, (P' = enough to show, on the strength of Lemma 20.6, that for k > 0: nH((Pk(Gx)) = ((P')k(Ann(Hxv, x')).
(4)
By virtue of Lemma 20.6 it is enough to show that for k > 0: nH((Pk(Gx)) = ((,')k(Ann(Hxv, x')).
(5)
It has been shown above that nH(Gx) = Ann(Hxv, x'), hence the equation (5) is true for k = 0. Let us suppose that we have proved (5) already for
some k>0and gk E (Pk(Gx) _ ((P')k(Ann(Hx'', x')) O V,
gk = gH + gv, g' E (9')k(Ann(Hxv, x')), g,, E V. We want to prove that
INTEGRABLE SYSTEMS ON LIE ALGEBRA
223
nH((p(g)) = cp'(gH) a consequence of which is the equation (5) fork + 1. According to the definition of the operators cp and (p' we obtain pp(gk) = {gk+1, (ad
(p'(gH) =
g+1)* x = (ad gk)* a} ,
{gH+l, (adH gH+1)* x' = (adH gk)* a'}.
Let gk+' E cp(gk), which means that the following equations hold:
(adgH+l)*xH + (adgV+l)*xv = (adgH)*a,
(6)
(ad gH+')* xv = 0.
(7)
We obtain from
(7) gH+ 1 E Hxv, from which it follows that ((ad gH+ )* xH) I H=v = (ad gk,+' )* x'. As for gH, gH E H"' so that ((ad gH)* a)I H=v = (ad gk )* a'. In addition, ((ad gV+')* xv)I H=v = 0,
therefore restricting elements of G*, which appears in (6) to Hxv, we get gk+ 1 E gp(gk) if (ad gk,+' )* x' = (ad g1)* a'. Thus, then nH(gk+1) = gH+1 E rp(g'). On the other hand, let gH+' a (p'(gk), then it is possible to choose gk + 1 E (p(gk) in such a way that 7CH(gk + 1) = gH+' And indeed, it follows from gH+I e gp'(gk) that
((ad g')* a - (ad
gH+ 1)*
xH) I H=v = 0.
Therefore (Lemma 20.5) there is an element gkv+' such that (ad g ,+ l) * x v = (ad gH)* a - (ad gH+' )* xH . k+1 and n1(gk+1)=g'+'. Thus E co(gk) + nH((p(gk)) = 4'(gH) and equation (5) has been proved for k + 1. The
Hence
gk+1 =
gH+1
lemma is proved.
We obtain from Lemma 20.7 dxI,(G*) + V = dx,Ia,((Hxv)*) O V,
therefore
dim(d., I, + V) = dim dx,I', + dim V = '(dim Hxv + ind Hxv) + dim V
='(ind Hxv + dim G + dim Hxv + dim V - dim H). Note now that ind p* = dim V - dim H/Hxv, therefore
dim(dxI, + V) ='(ind Hxv + dim G + ind p*) ='(ind G + dim G)
224
A. T. FOMENKO AND V. V. TROFIMOV
in accordance with Theorem 20.3. That means that I. + V is a completely involutive set on G*. The theorem is proved. COROLLARY
Let G be the extension of a compact Lie algebra H
determined by a representation p: H -p gl(V), Then for an element a e H* in general position the set 1,(G*) u V is a completely involutive set.
Proof For any y E V* the subalgebra HY is reductive. Therefore, Ia.(H'')
is a completely involutive set for an element a' c- (HY)* in general position. That polynomial invariants exist follows from the fact that [G, G] = G. REMARK The stabilizers Hy of elements yin general position have been studied, for example, in the work [31]. This makes it possible to build
completely involutive sets on extensions of some non-compact semisimple Lie algebras too. The possibilities of using Theorem 20.4 are not restricted to extensions of semi-simple Lie algebras only. It gives the existence of completely involutive sets on some Lie algebras with noncommutative radicals too. 21. COMPLETELY INVOLUTIVE SETS OF FUNCTIONS ON EXTENSIONS OF ABELIAN LIE ALGEBRAS 21.1. The main construction
In this section we give the results of Le Ngok Tyeuyen. We will use here the method of constructing involutive sets given in Section 13. Let % be a connected Lie group, G its Lie algebra and G* the dual space G. We shall
use, for the sake of simplicity, the notations Ad* f = g x f, g e (fi, fEG*, ad* f = x f, E G, fEG*. The number r = ind G = dim G* - sup fEG* dim 0(f) is called the index of Lie algebra, where 0(f) is the orbit of the coadjoint representation passing through f E G*,
r= ind G = inf dim G(f) where G(f) = { E G ad* f =c x f =01. The point f e G* is called a point in general position if dim 0(f) = dim G* - r or, equivalently, dim G(f) = r. Let the Lie algebra G be
decomposable as the direct sum of an ideal Go and an Abelian subalgebra H: G = Go + H, let 6o and .5 be the connected Lie subgroups of (fi corresponding to Go and H. We obviously have (for a
given decomposition) that G* is isomorphic to the subspace G*
INTEGRABLE SYSTEMS ON LIE ALGEBRA
225
of G*, Go = { f E G* I f I H ° 0} and H* is isomorphic to H* _ {h E G* I hlGo = 0} c G*. We can therefore consider G0* and H* as subspaces of G*. The representations Ad*:60 - GL(G0*) and ad*: Go End(Go*) are defined. We introduce the notations Ada f =
g Of if g e 60, f c -Go* and ad* f = ®f if E Go, f c G0*. Thus, if
fEG**cG*, ge60c6, EGo CG then x fEG*, ®fEGo*, g x f E G*, g® f c- Go and, generally, x f and ® f as well as g x f and g ® f do not coincide in G*. Let n0 be the projection of G* onto Go along H* (n1 the projection of G* onto H* along Go), then we obtain the following simple relations
no( x f) = Of, EGo, LEMMA 21.1
na(g x f) = g Ox .f,
.fEGo,
gE60.
(1)
Let h e H*, fEG*, then O(f + h) = 0(f) + h, i.e. the
orbit of the coadjoint representation passing through the point f + h can be obtained by a translation of the orbit passing through f along the vector h.
Proof We have g x (f +h)= g x f+ g x h, g E 6, f E G*, h E H. As H is a commutative subalgebra and Go an ideal in G, g x h = h for all
g c 6, i.e. 0(h) = {h}. It follows from that fact that g x (f + h) _ g x f + h which was to be proved. COROLLARY 1
Let the space H* in G* be obtained by translating space
H* along the vector f, i.e. f' E H* if and only if no(f') = f. Then 0(f) n H* is a subgroup with respect to addition in H* . Indeed, if f + h; E Off ), h; E H*, i = 1, 2 then it follows from the
lemma that f + hI + h2 and f - hl belong to 0(f). COROLLARY 2 It follows from the lemma that f c- G* is a point in general position if and only if n0(f) is a point in general position for G*. Because the set of all points in general position for any Lie algebra is open and everywhere dense, it is not difficult to deduce, using this fact, that there is an open and everywhere dense set Wo in G*o such that for any f e Wo, f is, at the same time, a point in general position both in G* and G*o. Let f c- W0 c Go, i.e. f is a point in general position both for G* and
Go, and let 00(f) be an orbit of the coadjoint representation of 60 on Go, i.e. 00(f) = {6 ® f I g e 60} = 60 ® f. Then the tangent space to ®f I E G0} = Go ®f. 00(f) at the point f is the space Tf 0(f) On the strength of equation (1) we have
226
A. T. FOMENKO AND V. V. TROFIMOV
00(f) = no(u(f)),
(2)
where
u(f)={gx Go ®f = Tf00(f) = 7C0({c x f,
E GO})
LEMMA 21.2 Let f c- W0 c G**, h e H*. Then if x f = f + th. for all the t e E8: (Exp
7ro(Go x f).
x f = h, e G0 then
Proof If h = 0, then our assertion follows from the definition; we can thus assume h 0.{ In addition, it is enough to prove the lemma for the case when dim H = 1, as the general case can be reduced to this by supposing G* = Gi + R h (i.e. by considering a new decomposition of G as the direct sum of an ideal G1 and a one-dimensional subalgebra). Let T(t) = Exp(tf) x f be a curve in G*. We have to prove that y(t) = f + th. It follows from the condition x f = h, e G0 and equation (2) that ® f = ic0(h) = 0, therefore (Exp t t a 60. But n0[(Ex0 x f ] _ (Exp ®f, therefore y(t) _ (Exp x f E H f. The latter means that y(t) = f + a(t)h, a(t) E R. Let t1, t2 e ER, then
y(t1 + t2) = [Exp(t1 + t2) ] x f = (Exp t1) x [(Exp i2) x f] = (Exp t1) x If + a(t2)h] = f + a(t1)h + a(t2)h because
(Exp t1) x h = h. Therefore a(t1 + t2) = a(r1) + a(t2). 0 = h or i(t)j, 1, therefore a(t) = t, which was to be
Moreover y(t)1
proved. COROLLARY
Let f c- W 0 c Go, then 60 x f
{ f+ (G0 x f n H*)}
where (j0 is the Lie group corresponding to G0. There is a subspace Vo c H* such that Vo = G0 x f n H*, f e W1 where W1 is open and everywhere dense in G. In particular, Vo c O(f) n H f for any f E W1. LEMMA 21.3
Proof We shall prove the lemma using the method of induction. Let G
be decomposable as a direct sum of an ideal G0 and an Abelian subalgebra H, dim H = 1: G = G0 + H. Consider the restriction of the coadjoint representation on G* to 60, then G* is partitioned into the orbits of this action60 x f, f e G*. Similarly to Corollary 2 of Lemma
21.2 we have: f E G* is in general position (60 x f has maximal dimension) if and only if 7r0(f) is in general position for this action. This means that there is in Go an open everywhere dense set W' of points in
INTEGRABLE SYSTEMS ON LIE ALGEBRA
227
general position for the action of 60 on G*. Let Wl = Wo n W'. It is obvious that W1 is open and everywhere dense in Go also. Let us take any two vectors fl, fl e W, then fl, f2 are in general position both for G* and G*, i.e. dim(G0 x fl) = dim(G0 (9 f2) and dim(G0 x fl) = dim(G0 x f2). Suppose that G0 x f1 n H* A 0 thus G1 x fl n H* = H* as dim H* = 1. According to (2) we have: implying n0(Go x fl) = G0 ® f dim G0 0 f1 = dim G0 x f - 1, therefore
dim G0 ®f2 = dim G0 ®f1 = dim G0 x f1 - 1 = dim G0 x f2 - 1, but G0 ® f2 = n0(G0 x f2), thus G0 x f2 n H* = G0 x fl n H* = H*, which means that there is a subspace Vo c H* (here either Vo = 0, or Vo =H*) such that G0x fnH*= l' for all the feW1. Suppose we have proved the lemma for the case dim H = m. Consider the decomposition G = G0 + H, G0 an ideal, H an Abelian subalgebra, dim H = m + 1 . Let us choose in G a basis ell e2, ... , ejo,
e0+1..... ejo+m+I for H. We denote the conjugate basis by G* as eI , ejo+m+I where e'(ej) = 5 , i, j = I.... , j0 + m + 1. Consider G1 = Go + <ejo+I, .. , ejo+m) = G0 + H1 where <ejo+1, ...., e,,+,> is the subspace of H with basis ejo+I, ... , ejo+m It is obvious that G1 is a Lie algebra which can be decomposed as the direct sum of an ideal G0
and an Abelian subalgebra H1, dim H1 = m. In accordance with the
inductive hypothesis, there is V0* in H* = <ejo+I, .... ejo+m> such that of/the G0 x (1) f n Hi = V0* where i; x (1) f denotes the action vector e Go on the vector f c- Wl c Go under the representation of G1 in Gi, where Wl is an open and everywhere dense set in G. According to the construction, we have a decomposition
G=G1+<en>=G1+Re,, =G1+H2, where G1 is an ideal in G, H2 an Abelian subalgebra, dim H2 = 1. In the same way as when dim H = 1, we find in Go an open and everywhere dense subset W' such that dim(G0 ® fl) = dim(Go ®f2),
dim(G0 x fl) = dim(G0 x f2) for all the fl, f2 E W', but G0 ®f = n0(G0 x fl), i=1,2, therefore dim(G0 x f1 nH*)=dim(G0 x f2 r) H*) for all fl, f2 e W c G*0. Write W1 = W' n W1, then W1 is the open and everywhere dense set in G. Let TII be a projection of G* on Gi along H2, then from relation (2) we obtain :
228
A. T. FOMENKO AND V. V. TROFIMOV
Go x(1)f = nt(Go x f),
(Go x(1)f)nHip=n1[(Go x f)nH*],
i= 1,2, f1,f2EW1.
We have the following equations:
dim[(Go x fl) n H*] = dim[(Go x f2) n H*]
[(Go x(1)f) nHi] = n1[(Go x f) r) H*],
i = 1, 2;
dim[Go x (1) fl) n Hi] = dim[(Go x (1) f2 n Hi] = dim Vo for any f1, f2 E W1. But H* = Hi + H2* and dim HZ = 1, therefore it follows from these equations that there is a subspace Vo of H* such that Go x f n H* = Vo for all f E W1, which was what we had to prove. We introduce the notation k = dim Vo , where Vo = Go x f n H*, f e W1. It follows from Lemma 21.3 and Corollary 1 of Lemma 21.1 that for f e W1 there is a basis e1, ... , ego, ego+1, . . . , e,, of G such that Go = <e1, e2, ... , e,0>, H = <eio+1, ... , e.) and REMARK
k
60 x f n H* = f + > Re* +1 + i=1
s(f)
7Le*+k+s
s=1
where k = dim V* does not depend on f and Ek= 1 Re*+ 1 = V*. Let, as before, G be expanded as the direct sum of an ideal Go and an Abelian
subalgebra H: G = Go + H, let 6, 60,.5 be the connected Lie groups corresponding to these Lie algebras. Consider the restriction of the coadjoint representation 6 to G0*, so that 6 acts naturally on G0*. We denote by 6 ® f for f E Go the orbit of the point f under this action.
Obviously, 60 ®f contains the orbit 0,(f)=000f of the coadjoint representation of 60 on G. According to equation (2) we have 6 (& f = no(6 ® f). There is in G*0 an open and everywhere dense set W2 of points in general position for the action of (5 on G. We denote its intersection with W1 by W: W = W1 n W2. Then W is also an open and
everywhere dense set in G. In a way similar to Lemma 21.3, the following lemma can be proved. LEMMA 21.4
There is in the space H* a subspace V*(V*
Vo ),
dim V* = k + I such that for all f E W we have:
6x fnH*=V*.
(3)
It follows, obviously, from Lemma 21.4 that V* may be written as a direct sum of two subspaces V* = Vo + Vl*, where Vo is as constructed
229
INTEGRABLE SYSTEMS ON LIE ALGEBRA
in Lemma 21.3, dim V1* = 1.
Let G be any Lie algebra, n = dim G, r = ind G. Let m smooth functions be defined on G*:F1(f),...,Fm(f), F.(f)eC°°(G*), 1 < i < m. We remind the reader that such a set of functions is called a completely involutive set for G, if the functions F1, . . , F. are mutually in involution on all orbits, i.e. (Fi(f ), F1(f )} - 0, 1 <, i, j 5 m, rk(dF1 (f), . . . , dFm(f) 3 (n + 2)/2 on all orbits in general position. Let G = Go + H, and let functions F(f) be defined on Go* c G*, then F(f) .
can be extended to functions F(f) on G* by setting F(f + h) = F(f), where f e Go, h e H* (see Section 12). The following theorem is the main theorem of this Section.
Let G be a Lie algebra decomposable as a direct sum of
THEOREM 21.1
an ideal
Go and an Abelian subalgebra H: G = Go + H. Let
Fl (f ), ... F.(f) be a completely involutive set of functions on Go. These functions Fl , ... , Fm can be naturally extended to functions F1, ... , Fm on G* (see Section 12). Then we claim that the class of functions F,,. . , F. is a completely involutive set for the Lie algebra G. .
Proof According to Lemma 21.4 there are in H* subspaces V* and Vo such that V * VV,dim VV =k, dimV*=k+1=s(V*= Vo +V*,
dimV*=1), Gx fnH*=V*, Gox fnH*=V* for any feW, where W is an open and everywhere dense subset in G. As the functions
Fl, ... , Fm are mutually in involution, their extensions F1, ... , F. to G*, as proved in [127] (see also Section 12) are in involution on G*, i.e. 0 = {F;(f ), F;(f )} for all i,j. Obviously, df;(f) = dF;(f) E Go for any f e Go, 1 , (jo + ro)/2 = Mo, where jo = dim Go and ro = ind Go. In order to prove the theorem it is necessary to check the inequality
rk(dF1(f),... ,dF.(f)) = q %
n
2
2
- (n -jo - s)
n + r - 2n + 2jo + 2s 2
-
2jo+2s+r-n 2
for which it is enough to show that Mo
=Lo
+ro 2
2jo+2s+r-n 2
(4)
We shall prove the inequality (4) using induction. Let us prove it first for
230
A. T. FOMENKO AND V. V. TROFIMOV
s=Oands= I. Lets=0,i.e.G x fnH*=0 foranyfeW.AsfcW, f is in general position both for G*o and G*. For linear subspaces Go ® f and Go x f we obtain from equation (2): Go ® f = 7ro(Go x f) (Go ® f is the tangent space to the orbit 00(f) of the coadjoint representation of
(50 in G*o). As Go x f n H* = 0, we have dim Go ® f = dim Go x f and dim Go ® f = dim Go x f < dim G x f = n - r. Therefore
jo+r 2j0-dim Go®f 2jo+r-n Mo
2
-
2
2
and the inequality (4) is proved. Let s = k + 1 = 1; consider the two cases: (a) k = 1, 1 = 0 and (b) 1 = 1, k = 0. In the first case dim(G0 x f n H*) = 1, but Go Of = 7r0(Go x f), therefore
dim(G0 ®f) = dim Go x f - 1 < n - r - 1. In the second case dim(G x f n H*) = 1, dim(Go x f n H*) = 0, therefore dim Go x f < dim G x f - 1. And, as a consequence, dim Go ® f = dim Go x f
Mo = z(2jo - dim Go ®f) >(2jo + r + 1 - n), but Z(n + r) is an integer, therefore, z(n - r) is an integer too, hence
M0> (2jo+r+2-n)=z(2jo+r+2s-n) and in this case the inequality (4) is proved also. Suppose that the inequality (4) has been proved for all s < so (so 3 2) and let us prove it now for s = so. Let so = k0 + l0; consider the two cases: (a) k0 0, (b)
k0=0,10=s0
0.
The first case. We choose for G a basis e,, e2, ... , ejo, ejo+, , ... , e Go = <e1, ... , ejo>. Let
such that G = Go + H, H = (ejo+I, ... ,
H'=(eo+i, -e.>, e,*eGox f r) H*. Write G°(el,...,ejo,ejo+ H, = G = G1 + H1 then G1 may be decomposed as a direct sum of an ideal Go and an Abelian subalgebra H2 = G1=Go+Hz. Let G1x(1) f be the coadjoint representation of Lie group 6, in G'. In accordance with equation (2): Go x (l) f* = 7rG,(G0 x f), where ire, is the projection of G* on G' along H' and Go x(1) f nHz = n6l(Go x f n H*). The construction is such
that Hi =
c Go x f n H*, therefore
dim(Go x (1) f n HZ) = dim(G0 x fnH*) - 1 = k0 - 1.
INTEGRABLE SYSTEMS ON LIE ALGEBRA
231
Similarly, from the fact that G1 x (1) f = it,,(G1 x f) it follows that dim[(G1 x (1) f) n H*] = 1o + ko - 1 = so - 1. Therefore, according to the inductive assumption, we have Mo Z(2j0 + 2(s0 - 1) + r1 - n1), n1 = dim G1, r1 = ind G1 but -dim(G1 x(1) f) 3 -dim(G x f) + 1, therefore nl = n - 1;
r1 = nl - dim G1 x(1) f > r. Thus, Mo%i(2jo+2(so- 1)+r-n)+Z.
i(2j0 + 2(so - 1) + r - n) are integers we Having noticed that M0 and obtain Mo ?(2j0 + 2s + r - n). Likewise, for the second case, when ko = 0, l0 = so: Hi = <e*> = G x f n H*, dim(G0 x(l) f n HZ) _ k0 = 0 and dim(G1 x (1) f n HZ) = 10 - 1 = so - 1. The inequality (4) is proved. COROLLARY
Let G be a Lie algebra of the "radical" type, i.e. G may
be decomposed as the direct sum of a nilpotent ideal Go and an Abelian subalgebra H : G = G0 + H, then there is a complete commutative set of functions on G.
Proof It has been shown in [134] that for any nilpotent Lie algebra
there is a completely involutive set of functions F1(f ), ... , Fm(f ) (m = '(n0 + r0)); the corollary follows from this assertion and from our theorem.
Let G be any Lie algebra of dimension n, r = ind G, and let I1, ... J, be a complete set of invariants for G (i.e. I. is invariant under the coadjoint representation). It is obvious that for any F(f) E C`°(G*):
{F(f),1;(f } - 0, i = 1, ... , r. This means that if a set of smooth functions F,(f ), ... , F(f) on G* is complete and commutative, then the set F1,... , Fm, Ii,. .. ,1, is commutative. From Theorem 21.1 immediately follows the theorem:
Let the Lie algebra G be decomposable as the direct sum of an ideal Go and an Abelian subalgebra H: G = Go + H and let I1(f),. . . , I,(f) be a complete set of invariants for G(r = ind G). Let F1(f ), ... , Fr(f) be a completely involutive set of smooth functions on THEOREM 21.2
G. Then the set F1(f ), ... , Fm(f ), 11(f),. .. , I,(f) is a completely involutive set on G, where F1(f ), ... , Fm(f) are the liftings of functions F1 , ... , Fm to G*. COROLLARY 1
Let G be decomposable as the direct sum of a nilpotent
232
A. T. FOMENKO AND V. V. TROFIMOV
ideal and an Abelian subalgebra : G = Go + H. If there is a complete set of invariants for G, then a completely involutive set of functions on it exists.
Let G = Go + H, Go a nilpotent ideal, H an Abelian subalgebra and r = ind G = 0, then a completely involutive set of
COROLLARY 2
functions on G exists. COROLLARY 3
Let BG be a Borel subalgebra in a semi-simple complex
Lie algebra G. It is obvious that BG = Go + H is the direct sum of a
nilpotent ideal Go and an Abelian subalgebra H. It follows from Corollary 2 that there always is a completely involutive set of functions on G for Borel subalgebras BG.
Let G be the semisimple complex Lie algebra, BG = Q+; Rh; ED Y,,,, Re. be a Bore] subalgebra in G, coo be the element of the group Weyl of the maximal height (see [11]). If 0 be the orbit of the maximal dimension of the representation, coadjoint then codim 0 = i card A, where A = {a EA I (-coo)a a}; A be the set of the simple roots of the Lie THEOREM 21.3 (Trofimov, V. V., [126], [127]).
algebra G.
Remark The completely involutive set of functions for Borel subalgebras of semi-simple Lie algebras is given explicitly in [126], [127]. The set of functions constructed here differs from the set of functions given in those papers. 21.2. Lie algebras of triangular matrices
Let F be a smooth function on the dual space Lie algebra G. We recall that F is called semi-invariant if F(AdB f) = X(g)F(f) for any g E 05, f E G* where X(g) is a character of the group 05 and Ad* is the coadjoint representation of the group (5 in G*. Recall also the main properties of
semi-invariants from [10]. If F is a semi-invariant for G, then s grad F(f) = -F(f) dX for any f e G*, dX E G* (see Section 11). Therefore, any function 0(f) is in involution with a semi-invariant F(f) if and only if= 0 for all f c- G* (doff) E G). Let the semiinvariants F(f) and t(f) of the algebra G be in involution
{F(f ), 0(f)) = 0, f e G*, then for any h c- G* and any 2, p e R the functions Fz,,,(f) = F(f + Ah), 0,,,ti(f) = Off + ph) involution {FA,h(f ), 4,,,h(f )}
0.
are also in
233
INTEGRABLE SYSTEMS ON LIE ALGEBRA
Let {el , ... , en } be a basis in G; let G - be the structure tensor of the Lie algebra G with respect to this basis. Denote by (f1 ,f2, ... , fn) the system
of -coordinates in G* relative to
(e1, e2, . . , e") where e'(ej) = S;, i , j = 1 , ... , n (el, ... , e") is the conjugate basis in G*. Then for any .
vector f c- G* we have dim O(f) = rk Ckj fk II , where 0(f) is the orbit of the coadjoint representation passing through f, and f = Y_h- 1 fie' gives f with respect to the basis (e1, e2, ... , e"). Let M(n, l) be the space of all matrices with n rows and n columns. Define the matrices Toj, by Tjo = (olio bjj.), i, j = 1, 2, ... , n. Then the T j, i, j = 1, 2, ... , n form a basis for the space M(n, 68):
M(n, R) _ Y7 J_1 RTij. Let T. be the space of all upper-triangular matrices T. = [_1,i,j," RTij. T. is a Lie algebra. Using the scalar product (x, y) = T,(x, y), x, y c M(n, l) it is possible to identify the space T,* with the space of all lower-triangular matrices Y_ 1 <j
11
i2'
-
,i'
(il'j2.....)p/
be the minor at the intersection of the rows
numbered i1,. .. , ip and the columns numbered jl, ... , jp in the matrix X. Consider the following functions on Tn* SP,k(x) =
XIl'...,ip,n-k+ 1,...,n 1' 2'...' k, ll,.
k
.
.
, lp
p36,k_>0,p+2k_
s0,0(x) = 1, x e T,* then SP.k(x), p = 0, 1, 0 < k
[(n - p)/2] are semi-
invariants of the coadjoint representation and are mutually in involution (see [10]). Moreover, if A E T"* is a point in general position (in particular A = x0 = T",1 + Tn_1,2 + + T--E,/21-1J./21) then the coefficients of the terms in ) of the polynomials Sp,k(X + AA), p = 0, 1,
0 < k < [(n - p)/2] form completely involutive set of functions (see [10]).
Consider Lie algebras of the following form: L = V + Y-1,i<j,n lTj, where V is any subspace of the n-dimensional space of diagonal matrices V c_ 1 RTi. It is obvious that L is a Lie subalgebra of T. and L* = V + E1 sj
j
n be a system of coordinates on the space T"* with respect to the basis T j (1 < j < i < n). Then there is a set of polynomials P = { pi(x,,#), i = 1, 2,... , Z(dim T" + ind Tn), 1 jl S a < n) on T"* such that (a) P is a completely involutive set of LEMMA 21.5
Let (x1 ), 1
i
234
A. T. FOMENKO AND V. V. TROFIMOV
functions; (b) p;(x,p) = x,, + x;j, i = 1, 2,... , [(n - 1)12],j = n + 1 - i, pk(x,0), k > [(n + 1)/2] does not depend on the variables x,,,
a= 1,2,...n.
Proof By properties of the Poisson bracket, we have {F1, F2F3} = {F,, F2}F3 + {F,, F3}F2 for any three functions F,, F2, F3. It follows from this that if F1, F2, ... , F. is a completely involutive set of functions
on Tn* then the set of functions F,......
m where Fi = F. for any i # io, i = 1,... , m and either Fia = F,0 + f (,)-(1.2.....m) F, or
Fi0 = F10 - f](,}-{1, 2,....m) F. will satisfy the same condition. Let us take xo = T,,,, + + T. _(n,'2]+ 1,[n/2] The coefficients of terms in A of the polynomials Sp,k(x + Axo), p = 0, 1, 0 < k S [(n - p)/2] have the desired properties. The lemma is proved.
THEOREM 21.4
Let L be a Lie algebra of the form L = V +
L < <.,n 68T j, where V is a subspace of the space of diagonal matrices V c + _ , RT,,. Then there is on L * a set of polynomials q, , q2, ... , q,, m = Z(dim L + ind L) which are mutually in involution on all the orbits of the coadjoint representation of the Lie group belonging to the Lie algebra and they are independent at points in general position in L*.
Proof According to Lemma 21.5 we have a set of polynomials P = { p;(x,,,)} on Tn* , such that p; = x,, + x11, i = 1, 2, ... , [(n + 1)/2],
j = n + 1 - i and pk(x,fl), k > [(n + 1)/2] does not depend on the variables x,,, a = 1, 2, ... , n. In addition, {p;, pj} - 0 for all i, j = 1, 2, ... , M = J(dim T. + ind Tn). Consider in the subalgebra L of the algebra T. the element xo = Tn, I + + T. _ [,,/21+1,[./2] E L*. As this element xo E Tn* is in general position in this space, ind Tn = are the structure constants of T,, with where respect to (Tj), 1 < i < j < n; letting (x° V) denote the coordinates of xo in Tn* we have the following formulas: C30V,19 = (SeyS,& - S,BSySfl)(1 - 60,6,)
C)(1 - aflybz9 uv
0
n+1
Cae,rexno = (bflya2+e -
(5)
6,06n+1 n+1
We shall prove the theorem for an even n = 2m, say the case of odd n can be proved in the same way. Let L = V + Y-,
T..
I ,;Ti,a= 1, 2,... , k form a basis in V. As xoeL* one may
235
INTEGRABLE SYSTEMS ON LIE ALGEBRA
consider the matrix II C"v,,,ex° II , where C"'.,,9 are the structure constants
of L with respect to the basis (Tj, 1 < i < j < n, T,,, a = 1, ... , k), dim 0(xo), where O(xo) is an orbit of the coadjoint representation of the Lie algebra L. It follows from (5) that cork 11 Caa,ve xuV 11 = cork I I C,p,ye II = cork A,
where the matrix A has the form (n = 2m): 1-1
T1,r
1-1
T.,.
0
0
T2,2
0
T.,.
A=T.+iA.+1 T2.,i
1-1 1-1
0
0
0
It is obvious that cork A= ind T = m. In addition cork 1 Cie,rex°V II = cork 11C,R,eII = cork B where the matrix B has the form:
Ti.I /0
C
T.,%
B=
Tm+I.m -C C
0
andC=(C,,6y),1
each row 0, of the matrix C is a linear combination of rows
of the matrix D, where A = set { , ; } ,
( fro) with coefficients taken from the
1 < a< k, 1 < i < n. Let B, , ... , 0, (1= rk C) be the l linearly
236
A. T. FOMENKO AND V. V. TROFIMOV
independent rows of this matrix (1 < s1,... , si <
k). Let ((z,o),
1 < ft < a n, (z°a), a = 1, 2, ... , k) be a system of coordinates in L* and for 1 s < k, s # si, 1 i l suppose 0, = =1 ai 0,,. By dint of the construction of the matrices D and C we have:
ji
i i
jo) = bsio - l;,Jo,
i=1
io + ja = n + 1.
(6)
For each 0, consider on L* the first degree polynomial qe, = Yi=1 aiz,;, - z then it follows from (6) that q0, _
i=1
fi(xii + xn+1
+1
Yi E R
(7)
As the polynomials pk(x°,5) fork > [(n + 1)/2] = m on Tn* do not depend on the variables x,a, 1 a n, one may take these polynomials to be defined on L*: pk(x°p) = qk(i ). Thus we have defined on L* a set of {g9,(x11' .. xnn), polynomials s # si, i = 1, 2, .. , 1; q&4),
k > [(n + 1)/2] = m}. It follows from (7) that these polynomials are mutually in involution on L*, that they are independent at all points in general position and that there are Z(dim L + codim O(xo)) of them. But ?(dim L + codim O(x0)) , 2(dim L + ind L).
Thus the theorem is proved.
22. INTEGRABILITY OF EULER'S EQUATIONS ON SINGULAR ORBITS OF SENII-SIMPLE LIE ALGEBRAS
This section is devoted to some more precise results and extensions to those of Section 16. These results are due to A. V. Brailov (see [199], [201] ).
22.1. Integrability of Euler's equations on orbits 0 intersecting the set
tHR, teC
Let G be a semi-simple Lie algebra. An element a E G is called semisimple if the endomorphism ad° is semi-simple. In this case G = [G, G] Q G°, where G° is the centralizer of a in G. The restriction ad°I Ic,c] is invertible. Thus the mapping ada 1: [a, G] - [a, G] is well
INTEGRABLE SYSTEMS ON LIE ALGEBRA
237
defined. Let b e G°, then (adb)([a, G]) [a, G] and therefore the mapping ada 1 adb: [a, G] - [a, G] is defined. Let D: G° - G' be an operator symmetric with respect to a non-singular Ad-invariant form Q. We define operators PabD by the matrix
/,
_
`YabD -
ada 1 adb
0
0
D)
(see Section 7) with respect to the decomposition G = [a, G] ® Ga. PROPOSITION 22.1
The decomposition G = [a, G] @ G° is orthogonal.
PROPOSITION 22.2
Let Q be a non-singular symmetric bilinear
invariant on the Lie algebra G, a e G being a semi-simple element. Then the restriction of Q to the centralizer G° of a is also a non-singular form. PROPOSITION 22.3
Suppose that the hypotheses of Proposition 22.2
are satisfied, and that b E G° and D : G° -> G° is an operator symmetric with respect to Q, then the operator cpahD: G -> G is symmetric with respect to Q also. Let G be a Lie algebra, a e G a semi-simple element, Q an invariant symmetric bilinear form on G, G° the centralizer of a, Cent G° its center, D: Ga --+ G° an operator symmetric with respect to Q, Q the restriction of Q to G°, and f1(Y),... , f,(Y) integrals (in involution) of the equation of motion Y = [Y, D(Y )], Y E Ga. Then (a) if b c- Ga, Euler's equations of motion x = [x, PabD(x)], x c- G have integrals J(x + .la) f (Y), where J e I(G), A e R; (b) if b E Cent G°, the functions where Y is the projection of x onto G° along [a, G], are integrals of the LEMMA 22.1
equation of motion; (c) all the above-mentioned integrals of the equation of motion x = [x, (pabD(x)], x c G are in involution with respect to the Kirillov bracket transferred to the Lie algebra G using Q. Let a be an involutive automorphism of the Lie algebra G, G* the space dual to G, a* the automorphism of G and G* arising from a and a* (see Section 11). Let <X, Y> be a non-singular Aut(G)-invariant symmetric bilinear form on G. Then <X, Y> is invariant, in particular with respect to a and, using <X, Y> to identify G with G*, G** is identified with Go, Gi
with G1, where G1 is the orthogonal complement of Go. LEMMA 22.2
Let G be a Lie algebra, <X, Y> a non-singular symmetric
bilinear form on G invariant under Aut(G), a an involutive automorphism of G, G = Go p G1 the decomposition of G arising from
238
A. T. FOMENKO AND V. V. TROFIMOV
a; let f , g be invariants of G, a E GI, A, µ e ll ; let fa(x) = f (x + .la), g,,,a(x) = g(x + µa) be their translates, fx a, g a the restrictions of fl,a, g,,,a to Go, Ga the centralizer of a, Cent Ga its center, Go = Ga n Go,
D : Ga - G a, an operator symmetric with respect to the restriction <X, Y> of (X, Y> to Go, f1(Y),... , fk(Y) integrals in involution (under the Kirillov form transferred to Go by <X, Y>) of the equation of motion
3' = [Y, D(Y)], Y E G. Then we claim that (a) if b e Ga n GI, then functions J(x + Aa), J E 1(G), 2 E l are integrals of the equations of motion z = [x, (pabD(x)], x c Go; (b) if b c- Ga n G1, the functions f(x) = f,(Y), where Y is the projection of x onto G a along [a, G1] are also integrals of x = [x, (pabD(x)], x e Go; (c) all the above-mentioned integrals of the equation x = [x, (pabD(x)] : J(x + Aa) and f(x) (for b c (Cent(Ga) n G1)) are in involution on Go under the Poisson bracket, which corresponds to the restriction of <X, Y> to Go.
The proof of these statements is standard and we omit it. We note a further property of the center of the centralizer Ga. Let G be a real or complex semi-simple Lie algebra, a c G semi-simple element, Ga the centralizer of a, Cent Ga its center, <X, Y> LEMMA 22.3
an invariant non-singular symmetric bilinear form which we use to
identify G with G*, fl, ... , fk generators of I(G), the algebra of invariants. Then the differentials dfl(a), ... , dfk(a) generate Cent Ga.
Proof (1) The complex case. Let H be a Cartan subalgebra of G. Then, as is well known, the restriction mapping j: 1(G) - S(H) where S(H) is the algebra of polynomial functions on H, is an embedding j(I(G)) = S(H)W where S(H)W is the subalgebra of S(H) comprising the elements invariant under the Weyl group W. Let b c- Cent Ga, Wa the stabilizer of a in W, Wb the stabilizer of b in W. We have then Wa c Wb. Let {a1, a2, ... , aa} be an orbit of a under the Weyl group. We choose a positive function g on H in such a way that dg(a) = b and dg(a;) = 0 for a;
a. Let g = n ZW E W g - co. Then d4(a) = b and g c- S(H) W. Therefore,
f = j -1(g) is an invariant of G such that df(a) = b. Thus we have shown
that if fl, , f are generators of the invariants of the algebra G, f = P(f1, ... , fk) for a suitable polynomial P. Therefore, . . .
b = E;`= I OP/8f d f (a), which was what we had to prove.
(2) The real case. Let G be a real Lie algebra. Consider the complexification G, of G. Then G is a real form of Gc; let a be the
conjugation on G. Let r = rk G and fl, ... , f, be generators of
INTEGRABLE SYSTEMS ON LIE ALGEBRA
algebra
I(G).
Let
239
9,+I=
( , / -l ) _'(fi - J ° Q),
92, = (.,/- l)-'(f2 - f, ° u), where the line
denotes complex conjugation. Then g, , ... , 92r c- I (G,) and all of these are real on G, therefore their restrictions to G, which we also denote by 91, ... 1 92,, are invariants of G. Let g be an invariant of G. Let gc be the complex extension of g to Gc. Then gc is an invariant of Gc and gc = f2) for a suitable polynomial P. As f, = g, + 9r+I,
f, = 9, + 1/ -192x, gc and g are polynomials in g,,... 1 92,. Let G' be the centralizer of a in Gc and Cent Go its center. Then Cent GaC _ Cent G° + /_-1 Cent G° and any element b e Cent G° is a linear combinations of differentials df, (a), ... , df,(a) with complex coefficients
by dint of (1), therefore, b is a linear combination of differentials dg, (a), ... , dg2r(a) with real coefficients which was what we had to prove.
Let G be a semi-simple Lie algebra over the field k = l or C; H a splitting Cartan subalgebra of G; R = R(G, H) a root system of the split Lie algebra (G, H). For any root a c- R let G° = {x c- G: [h, x] = a(h)x for all the h e H}; the dimension of each of the vector spaces G', [G', G-'] is equal to one. For any root a c- R the space [G', G -'] is contained in H an element H° E [G1, G-'] is uniquely defined by the condition a(H2) = 2. We define the real subspace HR in H in the following way HR = LER RH°. Note that in case of k = R we have H;, = H. Let (G, H) be a split semi-simple Lie algebra over the field k = l or C; 0 an orbit of G, intersecting the set tHR where t c- k; let a c G be a semi-simple element, G° its centralizer, b c- G°, Q a nonTHEOREM 22.1
singular invariant symmetric bilinear form on G, D: G° -* G° a symmetric operator with respect to Q. Then Euler.s equation of motion X = [X, (pObp(X)] ,
XE0
(1)
has integrals in involution J(x + Ia), J E I(G), 2 E R, from which it is possible to choose independent functions on the orbit 0 equal in number to half of its dimension for any general position element a in G. We need, further, the following result, due to B. Kostant (see [26]). LEMMA 22.4
Let G be a semi-simple Lie algebra with rank r, H a
splitting Cartan subalgebra, R = R(G, H) the root system, B a basis of R, h an element of H such that a(h) = 2 for any at c- B. Suppose h = E°ER a2H°. For any root a e B denote by b,, and c° scalars such that
240
A. T. FOMENKO AND V. V. TROFIMOV
b,c, = a, and let x, a G", x _, e G where [x x _,] = H8, U = Y_,EB b,x, v = Y_8EB cax_s, S = ku + kh + kv. We claim that (a) [h, u] = 2u, [h, v] = -2v, [u, v] = h, with dim G" = dim G" = r; (b) consider G as an S-module under the adjoint representation. Let G = Al Q . p A. be some decomposition of this module as a direct sum of simple S-modules of dimensions v1 + 1, ... , v" + 1, where v1 < < v". Then n = r; (c) let J1, ... , J, be homogeneous algebraically independent generators of the algebra of invariants 1(G) of degrees
m1 + 1, ... , m, + 1, where m1 < < m,. Then vi = 2m, for any 1 < i 5 r; (d) differentials of functions J1, . . , J, are linearly independent at any point in the set u + G For the element h of this lemma all the eigenvalues of the .
endomorphism ad,, are even. For an integer n let G" be an eigenspace of ad,, for the eigenvalue 2n. This subspace is called the n-th diagonal of the Lie algebra G (with respect to basis B). We have [G`, G']
G'+'
(2)
Let R+(B) (and, respectively R_(B)) be the set of positive (negative) roots in the basis B. Let a e B; the height of the root a in basis B is the number lal = Y-eEB mfl, where mp are integers such that a = E,,, ma - P. From the definition of the diagonals of the Lie algebra G it follows that for any integer n : 0 we have G" = " G8. For any element x of the Cartan subalgebra H of G and basis B of the root system R we define the following subsets of R:
R°(x) = {a a R: a(x) = 0} ,
B°(x)=BnR°(x), R° (x, B) = R + (B) n R°(x),
R'(x) = R - R°(x), B'(x) = B n R'(x), R' (x, B) = R+(B) n R'(x).
Let C = {x e HR: a(x) 3 0 for all a E B}, the closure of positive Weyl
chamber, t e k and x e tC. Then any root a in R° = R° (x, B) is an integer linear combination of roots in B° = B°(x) R'+ = R'+ (x, B) we have an embedding
(R'++B)nRuR'+.
and for (3)
Let (G, H) be a split Lie algebra over k, R the root system, B a basis of R, t E k, C the closure of the positive Weyl chamber, x e tC, 0 LEMMA 22.5
an orbit in G passing through x, T = Ts0 the tangent space, T" = T n G" the intersection of T with G", the n-th diagonal of Lie
INTEGRABLE SYSTEMS ON LIE ALGEBRA
241
algebra G. Then: (a) T = 0"E, T"; (b) ads: T" -+ T" is an isomorphism; (c) (ada)(T") c Tn+1 for a = LE, xa and elements xa as in Lemma 22.4.
Proof (a) The equality T = ED. c, T" follows from the fact that T = [x, G], x e H = G° and from formula (2). (b) ads(T") c T" as a consequence of formula (2). As the endomorphism ads is semi-simple, ads: T -+ T is an isomorphism. It follows from this that ads: T" -+ T" is also an isomorphism. (c) This follows from formula (3). The lemma is proved.
Let J1, ... , J, be algebraically independent generators of the algebra of invariants I(G), m1 + 1, ... , m, + 1 their degrees, m1 < . < m,. The numbers m1, . . , m, are called the indices of Lie algebra G. Let a be an .
element of G. We define polynomial functions J;,a (i = 1, ... , r;
j = 0,...,mt + 1): m" 1
Jt(x + .la) = Y A'J,a(x).
(4)
1=0
As J1, ... , Jr are invariants
[x + 2a, grad Jt(x + 2a)] = 0.
(5)
We obtain from (4) and (5) m;+1
Y t'([x, uf] + [a, u; -']) = 0,
(6)
where u = grad Jj,a(x) (i = 1 , ... , r; j = 1, ... , mt + 1), u; 1 = 0 (1 < i < r). As J"'Q+ 1(x) does not depend on x, u;"; + 1 = 0 and we obtain,
as a result, the following chain of equalities (see [89], [90]):
[x, u°] = 0 [x, us] + [a, u,°] = 0 (7)
[x,
[a, um; -1 ]
=0
[a, u""] = 0. LEMMA 22.6 Let (G, H) be a split semi-simple Lie algebra, R its root system, B a basis for R, G' the first diagonal of the Lie algebra G, x E H, a e G1; J1,.. . , J, homogeneous algebraically independent generators of the algebra of invariants 1(G) of degrees m1 + 1,. . ,m, + 1, where .
242
A. T. FOMENKO AND V. V. TROFIMOV
<, m,. are the indices of the Lie algebra G, J,° homogeneous
m1
polynomials from the decomposition Ji(x + .la) _ ! of 'J a(x) r); u = grad their gradients, Vp = Vp(x, a) the linear span of the u such that i = 1, ... , r, j = 0,... , p. Then Vp c G° + + G".
Proof Suppose, first, that x e H is a regular element of G. In this case the centralizer Gx of the element x is equal to H. As u° = grad Ji(x) E Gx,
V° c Gx = H = G° and for p = 0 the lemma is proved. We proceed by induction. Suppose that VP -I G° + + GP-'. As a consequence of + GP, consequence of formulas (7) Lemma 22.5(c) [V,- 1, a] c G1 + and Lemma 22.5(b) we obtain -
As x is regular, by hypothesis, Vp c G° + + G". Thus for regular x the lemma is proved. For arbitrary x e H the lemma follows from the continuous dependence of the gradients grad J,a(x) on x. The lemma is proved. Note that Dao Chong Thi proves (and then uses) the assertion that Vp c G" which is not, in general, true (see [21]). LEMMA 22.7
Under the hypotheses of Lemma 22.6 suppose that
a = Y-aEB x° where for any a E B the element xa 0 0 and xa e G. Let + GP, G° be the centralizer of a, Gp = Gp n G°. Then Gp = G° + Gp
Vp.
Proof Note that u" = grad Jmo(x) = grad Ji(a). Let Wp be the linear span of those ui for which m; < p. As a consequence of Lemma 22.4(a)(d) we have dim G° = r and the gradients grad Ji(x) generate G°, therefore
the gradients u"" = grad Ji(a) (1 < i < r) are linearly independent. Therefore dim Wp/Wp _ 1 = m(p) where m(p) is the number of indices mt
of the Lie algebra G equal to p. Let A,_., A, be simple modules as in Lemma 22.4, where S = ku + kh + kv and u = a, AP = Al n GP, ...,
A; = A, n G". As GP is an eigenspace of the endomorphism ad,,, (AF n G°). Note that GP = AP p ... Q A; and GP n G° 1 i A,° n G° 76 0 only if m, = p and then dim(A? n G°) = 1. Hence dim(G' n G°) = m(p). Therefore, dim Wp = dim G. By dint of Lemma 22.6 Wp c G ,, whence Wp = G. Finally, Gp = Wp c Vp. The lemma is proved. LEMMA 22.8
Let us assume the notations and hypotheses of the
previous Lemmas 22.5, 22.6, 22.7. Then T" c Vp.
INTEGRABLE SYSTEMS ON LIE ALGEBRA
243
Proof If p is greater than all the indices ml, ... , m, then Tp = 0 and the
lemma is proved. Let at be a root of height p and a(x) 0 0. As a consequence of Lemma 22.5(a) for any xa E G° we have [x°, a] e
Tp+1.
As a consequence of Lemma 22.5(b) there is a u e Tpsuch that [u, x] + [x°, a] = 0. Suppose, by induction that Tp+' Vp+1, then u = Y; =1 Y°+i c; u , where c are scalars depending on u. Using formulas (7) we obtain r
p+1
[u, X]+LY_ Y_ Ciu;-',a =0. rr
i=1 j=1
Therefore, x° - Y; y +1 c u -' e G. As x° E Tp and u/' e G. for all the i = 1,... , r and j = 1,... , p + 1 (by dint of Lemma 22.6) then also
-Y!=, y_=1 j + u -'i E G. As a consequence of Lemma 22.7: Gc c Vp. Hence x° E Vp. Therefore Tp c Vp. The lemma is proved. xa
Proof of Theorem 22.1 Let B be a basis of the root system R = R(G, H), (xz)ZEB a set of non-zero elements x,, e G°, a = E°EB x2, x e tHR n 0. As the Weyl group acts transitively on the Weyl chambers, we can assume, without loss of generality, that x E tC where C is the closure of the positive (with respect to B) Weyl chamber. Let J1, ... , Jr be homogeneous algebraically independent generators of the algebra of
invariants of G of degrees m1 + 1, ... , m2 + 1, J,°(x) the functions found in the decomposition J.(x + Aa) = Y; _o' 2jJ °(x) for i = 1.... , r and j = 0, ... , m;; let V(x, a) be the linear span of their gradients grad J,°(x) (1 i < r, 0 < j m;), T = TX TO the tangent space; for any integer p: Tp = T n GP, T+ = Qp,o T". As a consequence of Lemma 22.8 we have T+ c V(x, a). As dim T+ = ' dim 0, it is possible to choose
independent functions on the orbits 0 equal in number to half its dimension among the functions J(x + a), where J is any invariant of G, A E R. The assertion about the independence of a sufficient number of these integrals for a general position element a in G follows from the algebraic dependence of the functions J(x + Aa) on the parameter a. The rest of the theorem follows from Lemma 22.5(a). The theorem is proved. Let G. be a compact semi-simple Lie algebra, Q a nonsingular bilinear symmetric invariant form on G°, element a e G°, Ga its centralizer, b c- G', D: Ga -+ Gy an operator symmetric with respect to Q, THEOREM 22.2
0 an orbit in G. Then Euler's equations X = [X, co ,,a(X)],
XE0
(8)
244
A. T. FOMENKO AND V. V. TROFIMOV
are Hamiltonian on the orbit 0 under the Kirillov symplectic structure, given by form Q and have the motion integrals in involution J(x + .la),
where J E I(G ), A e R. For a general position element a in G. it is possible to choose among these integrals independent functions, equal in number to half the dimension of the orbit 0. Proof Let G, be the complexification of the Lie algebra G., H a Cartan subalgebra of G,, R = R(G,, H) the root system, (x,),ER a Weyl basis for
G, modulo H. As all the compact real forms G, are isomorphic, we assume, without loss of generality, that
G. = v - iHR O I
¢ER,
R(xa + x -z)) O (
¢ER,
68(x, - x _ 2)) .
The space H. = V -1H, is a Cartan subalgebra of G. Therefore, the orbit 0 intersects H. Let O, be the orbit of Int(G,), containing 0. As 0
intersects H. Or intersects H. =HR. According to Lemma 22.1 we can choose z dim, 0, = i dim, 0 independent functions among the complex-value polynomial functions J(x + Aa), where J E 1(G), 2 e C for any element a E G, from a Zariski-open non-empty subset of G. Since
manifold 0 x G. is a real form of the manifold O, x G, (more exactly: 0 x G. is a connected component of the set of fixed points in O, x G, under conjugation, defined by the real form G,, of G,) it is also possible to choose among the functions J(x + .la), where J e I (G ), A e 18, i dimR 0
independent on 0 functions for any element a e G. in a non-empty subset of G. open in the Zariski topology. The assertions that J(x + Ia) where J E I(G ), 2 E R are motion integrals of equation (8) and that they are in involution follow from Lemma 22.1. The theorem is proved. REMARK
Equations (1) and (8) are Hamiltonian with the Hamilton
function equal to habD(x) = Q(x, (pabD(x)). The quadratic form habD(x) in
Theorem 22.1 in the case of the field I is neither positive nor negative definite if b 0, and for regular semi-simple b there are always at least Z(dim G - rg G) "minuses" and as many "pluses." In Theorem 22.2 the form habD(x) may be positive definite. 22.2. Integrability of Eider's equations x = [x, q abD(x)] for singular a
Let G be any Lie algebra, Q a non-singular invariant symmetric bilinear form on G. The integer rk G equal to the codimension in G of an orbit 0
INTEGRABLE SYSTEMS ON LIE ALGEBRA
245
in G of maximal dimension is called the rank of the Lie algebra G. An involutive set of functions (relative to Q) on G is called complete if it contains independent functions, equal in number to '(dim G + rk G). THEOREM 22.3
Let G be a compact semi-simple Lie algebra, Q a non-
singular invariant symmetric bilinear form on G; a e G, G° the centralizer of a in G, Cent G° its center; D: Ga - G' an operator symmetric with respect to Q, f, (y), ... , fk(y) an involutive (under the restriction of Q to G°) set of motion integrals of the equation Y = [y, D(y)],
yEG
(9)
a) For any b e G° the functions J(x + .la), where J E I (G), A E 9 are motion integrals of Euler's equation z = [x,(P.bD(x)],
x e G.
(10)
b) For any b E Cent G°, 1 < i < k the functions g;(x) = f (y), where y is the projection of x onto G° along [a, G] are motion integrals of the equations (10). c) The above-mentioned integrals of the equations of motion (10) form an involutive set (in relation to Q) and, d) this set is complete, if the set f,, . . , fk is complete. .
Proof The assertions (a), (b) and (c) follow from the statements (a), (b) and (c) of Lemma 22.1. In order to prove statement (d) let us consider the orbit 0 passing through the element a. Let T = T.0 be the tangent space
to the orbit. As T = [a, G], we have a Q-orthogonal splitting G = T p G° (because of Proposition 22.1). LEMMA 22.9 (see [89], [90])
Let x c G; let V(x, a) be the linear span of
gradients grad J(x + La), where J is any invariant of G, A E R an arbitrary number. We have then V(x, a) = V(a, x). Proof As the algebra of invariants 1(G) is generated by homogeneous invariants, we may assume that J is a homogeneous invariant of degree n. We have
grad, J(x + La) _ s grad. J(x + aa) = A" grade J(a + .? -'x),
where for the function 4(x, a) in two variables x and a (x, a c- G), grad, O(x, a) (respectively grad. O(x, a)) is the gradient of the function
246
A. T. FOMENKO AND V. V. TROFIMOV
t(x, a) viewed as a function of x (respectively a) alone. Hence V(x, a) = V(a, x). The lemma is proved. As a consequence of Theorem 22.2 (the role of element a in Theorem 22.2 being played here by the element x) for a general position element x e G the projection VT(a, x) of the space V(a, x) onto T along G° has dimension dim YT(a, x) =' dim T. By Lemma 22.9 V(a, x) = V(x, a), therefore, for a general position point x E G in G it is possible to select
' dim T independent functions on the set x + T among the functions J E I(G), 2 E R. Let these be the functions 9k + where s =' dim T. As the gradients of functions
9k + 1,
g1,
- -
, gk
at any point G belong to G° and G° is Q-orthogonal to T, the
functions g1,.. ,gk+, are functionally independent on G. Let us compute their total number k + s. As f1, ... , fk are independent on G° we have, according to the definition of a completely involutive set,
k ='(dim G° + rk G°), As any Cartan subalgebra H, containing the element a is a Cartan subalgebra of G°, rk G° = dim H = rk G. Therefore
k+s='(dimG°+rkG°) +' dimT='(dimG°+rkG) +'dimT ='(dim G° + dim T + rk G) =' (dim G + rk G). We have therefore proved that g1,. .. on G. The theorem is proved.
, 9k +, is
a completely involutive set
Let G be a reductive Lie algebra, G = Cent(G) $ S, where Cent(G) is the center of G, S = [G, G] a semi-simple ideal. Suppose that the ideal S is a compact semi-simple Lie algebra. Then COROLLARY 1
there is a completely involutive set of polynomial functions on G.
Proof Let Q bean invariant form on G, x1 , .. , xk a basis for Cent(G), y) (i = 1, ... , k). Let f1,. .. , ff linear forms on G, /(y) = involutive set on S, a completely be fk + 1, . , fk +, s ='(rk S + dim S). As rkG = rk S +k and dim G = dim S + k, then '(rkG + dim G) = k + s. Therefore f1,. .. , fk +, is a completely involutive set on G. -
247
INTEGRABLE SYSTEMS ON LIE ALGEBRA
22.3. Integrability of Euler's equations x = [z, (PabD(x)] on the subalgebra G. fixed under the canonical involutive automorphism a: G -, G for singular elements a e G
Let G be a complex semi-simple Lie algebra, H a Cartan subalgebra in G; let R be the root system; Ga, H H. as in 22.1. Let (x,),ER be a Weyl basis for G modulo H. We shall define Go = HR E
G = HR O O+
68(x, + x
( zR 68x, _.))C
o (O+
x
2ER, OR, where R+ is a set of positive roots in some basis B of the system R, Ga. We have Go = G Q V the Cartan G = Go n G,,, V = Go n c V, [a, V] c G. and for the decomposition. Let a E V. Then [a, centralizer Go of a in Go we have Go = G Q Va, where G,, = Go n G, V. = V n G. Whence we obtain the following decompositions
Go =GnO[G,,,a]ED VaO[ V,a], G. = [a,
(11)
O Ga .
Let Q be a non-singular symmetric bilinear form on Go, invariant under all automorphisms of Go. Then V is the Q-orthogonal complement of G
in Go and Go is the Q-orthogonal complement of [a, Go] in Go (Proposition 22.1). Whence it follows that all the subspaces involved in
expansion (11) are mutually Q-orthogonal and the restriction of the form Q to them is non-singular. In the following theorem the restriction of the form Q to G,, and Ga is used to determine the involutivity of the functions on G,, and Ga.
Let Go be the above-mentioned real semi-simple Lie algebra, H, a Cartan subalgebra, Q an invariant form on Go, a E H, Go THEOREM 22.4
the centralizer of a in Go, Cent(Go) its center, b e Cent(Go) n V, D: Ga - C' an operator symmetric with respect to Q, fl(Y), ... , ;(Y) a completely involutive set of independent motion integrals of Euler.s equation
Y= [y,D(y)], Then Euler's equations on G
yEGn.
(12)
248
A. T. FOMENKO AND V. V. TROFIMOV
xeG,,
(13)
have motion integrals J(x + Aa), where J E 1(G), A E Q8 and motion integrals gi(x) = fi(y) where y is the projection of x onto G' along [a, V]. These integrals comprise a completely involutive set.
Let B be a basis of the root system R = R(G°, HR), a E HR; x± = 1LEB X+ a, x = x + + x _ ; y, = x, ± (-1)H"Hx _,, for any root a E R of height Jai. For any integer p >,O we define Fp Rys , FO=O, F°_ = HR, FP = Ft p... Q Fr . I et J...... J, be homogeneous algebraically independent generators of the algebra of invariants of G° of degrees m, + 1, ... , m, + 1, m, LEMMA 22.10
+_+_=
m2; functions J j,,, (1 < i < r and 0 < j ` mi) are defined by the expansion J,(a + Ax) = Y, , AjJ{x(a) for any integer p > 0; let VP = Vp(a, x) be the linear span of the gradients grad J ,x(a) such that
I
Proof Suppose, first, that a e H, is a regular element of the Lie algebra G°. For such a we have V° c: Go = HR = Fo F. We proceed by induction. Suppose that Vp _, FP _ 1. As x e F1 it follows that [x, VP _ ,] c Fp . As
a EHR = F°_, we obtain Y. c FP using formulas (7) from 22.1. For regular a the lemma is proved. For singular elements a c HR the lemma follows from the continuous dependence of gradients grad J x(a) on a. The lemma is proved.
Let (G, H) be a split Lie algebra, R = R(G, H) the root system, B a basis of R, for any integer n let G" be the n-th diagonal of G. yi, where y, e G` is called the diagonal component of Let y c- G, v = E y of degree i. If yi : 0 and yj = 0 for all j > i (respectively < i), then y, is called the maximal (respectively minimal) diagonal component of y and the number i the maximal (respectively minimal) diagonal degree of y. We suppose further that all the hypotheses of Lemma 22.10 are satisfied. Let DP = grad J°, (a) - grad J?xt(a). Then either the maximal LEMMA 22.11
(respectively minimal) diagonal degree of D+ (respectively D?) is no
more (respectively no less) than p - 1 (respectively - (p - 1)) or DP = 0. Proof Let us prove the lemma for D. The proof for D°_ is the same as for D+ after changing at appropriate places (+) for (-) and vice versa. By formulas (7) from 22.1 we have [grad JP, +1(a), a] + [grad JX(a), x] = 0,
INTEGRABLE SYSTEMS ON LIE ALGEBRA
249
[grad JP+ 1(a), a] + [grad Js (a), x+] = 0. Subtracting one equation from the other we obtain [D++ +1,a]
= -[D°+,x+] - [grad Jx(a),x-]
(14)
Suppose, by induction, that the maximal diagonal degree of D° does not
exceed p - 1 (for p = 0: D+ = 0 and the lemma is proved). As a consequence of Lemma 22.10 the maximal diagonal degree of grad JP(a)
does not exceed p, therefore the maximal diagonal degree of [grad Jx(a), x _] does not exceed p - 1. By induction the maximal diagonal degree of D+ does not exceed p - 1, the maximal diagonal degree of [D+, x+] does not exceed p. Thus, the right-hand side of the equation (14) consists of two terms, each of maximal diagonal degree not exceeding p. Therefore, this is also true of the left-hand side of (14) which
is [D++', a]. Suppose that aeHR is a regular element of Go, then Ker ad, = HR and ado(G') = G' (for j # 0), therefore, D++' has maximal diagonal degree no greater than p. By continuity, we deduce that the same is true for any a E H. By induction, we see that the lemma is true
for anyp>0. LEMMA 22.12 We keep the notations of Lemmas 22.10 and 22.11. Let
T = [a, bo], for any integer p ,>O let Vp be the projection of VP = VD(a, x) onto T along G. We have then T n FP = VDT.
Proof For p = 0 we have T n FP = 0 and VDT = 0 and the lemma is proved. Suppose, inductively, that FP -I n T = 1'T 1. By Lemma 22.8 T n GP c VP(a, x +). Therefore, the maximal diagonal components (of degree p) of the gradients grad J°, (a), where 1 < i < r generate T n GP. By Lemma 22.11 the same is also true of the gradients J?s(a), where 1 <, i < r. Therefore, for any root a of height jai = p with a(a) # 0 we have x, = E'= 1 C; grad J?x(a) + M., where M. has maximal diagonal
degree no greater than p - 1. As a consequence of Lemma 22.10
therefore the minimal diagonal degree of the sum C grad J°x(a) is equal to (- p) and the minimal diagonal Y; component of this sum (of degree (-p)) is equal to -(-1)"x_. J?s(a) e FP ,
Therefore the minimal diagonal degree of M, is also equal to - p and the
minimal diagonal component of M, (of degree -p) is equal to (-1)Px_,. Recall that ya = x, - (-1)Px_,. It follows from the above that yS = i= C; grad Jps(a) + N, where N. e Fp_ 1. Projecting all the components of this equation onto T along Go, we obtain yz = Y-1 -1 CQ gradT J?x(a) + Na , where grad T J?x(a) (respectively N=) is the
250
A. T. FOMENKO AND V. V. TROFIMOV
projection of grad Jf (a) (respectively of N2) on T along Go. As F_1 = (Fp_1 nT)$(F;_1 nGo) and N2eFp_1, NQ eFp_1 nT By induction T n Fp_ 1 = VpT 1(a, x), therefore NT E VpT 1(a, x) and yQ E VPT(a, x). As we supposed at the beginning that a was any root of height p such that a(a) 0 0, it follows that T n FP 1 c VVT(a, x). As a consequence of Lemma 22.10 Vp(a, x) c FP 1 therefore T n FP = VPT (a, x). By induction the lemma is proved for any integer p > 0. LEMMA 22.13
Let Go and G. be Lie algebras as in Theorem 22.4,
r = rk G0, rk G be the rank of let m1, ... , m, be the indices of the Lie algebra Go. Then the rank of G is equal to the number of odd indices among m1, ... , m,. Proof It is enough to prove the lemma for simple Lie algebras Go only. Suppose, first, that Go is a simple Lie algebra with the root system of type A1, B, (r 3 2), C, (r > 2), D, (r is even and r 3 4), E.,, E8, F4 or G2.
Then all the indices m1, ... , m, are odd (see [11]). Therefore an automorphism of Hs equal to (-1) belongs to the Weyl group [11]. Therefore the canonical automorphism a: Go -. Go equal to (- 1) on HR and mapping xa into x for any root a is an inner automorphism. As G coincides with the set of fixed points of a, it follows that rk G = rk Go = r. As all the indices ml,. . . , m, are odd, for these Lie algebras Go the lemma is proved. Let us consider the remaining simple Lie algebras Go case by case.
The series of roots of A, (r 3 2). Indices: 1, 2, ... , r; G. = so(r + 1).
For even r the number of odd indices is equal to r/2 and rk so(r + 1) = r/2. For odd r the number of odd indices is equal to (r + 1)/2 and rk so(r + 1) = 2(r + 1). The series of roots of D, (r is odd, r 3 3). Indices: 1,3,5,.. . , 2r - 3 and r - 1. The number of odd indices is equal to r - 1,
G = so(r) p so(r) and rk G = r - 1. The series of roots E6. Indices: 1, 4, 5, 7, 8, 11; G. = sp(4) number of odd indices is equal to 4 and rk G. = 4. The lemma is proved.
The following lemma supersedes the argument in [90]. LEMMA 22.14
Under the hypotheses of Theorem 22.4, assume
(Go, HR) is a real split semi-simple Lie algebra. Let R = R(G0, HR) be the
root system, B its basis, R+ the system of positive roots, R°dd the set of
INTEGRABLE SYSTEMS ON LIE ALGEBRA
251
roots of odd height, Rodd = R n R°dd. For any finite set M let Card M be the number of its elements. Then
J(rk G. + dim G") = Card(R'd).
Proof We have G = Q+.,R, R(xa + x_8) and dim G. = Card R+. Therefore it is enough to prove that
rk G = 2 Card(R°dd) - dim G = 2 Card(R°+dd) - Card(R+)
= Card(R°dd) - Card(R+°)
_
m(2i + 1), i30
where R+ is the set of roots of even height and m(2i - 1) the number of indices of the Lie algebra G° equal to 2i + 1. This is exactly what was proved in Lemma 22.13. The lemma is proved. Again under the hypotheses of Theorem 22.4 we remind the reader that a is an element of HR, G0 its centralizer, G" = G" n G. Let R = R(G°, HR) be the root system of the split Lie algebra (G0, HR) and B a basis such that for any root a c- B we have a(a) > 0. Then LEMMA 22.15
i(rk GQ + dim
Card(R° r) Rod +d),
where R° is the set of roots a e R, equal to zero on a and R°+dd the set of roots at e R positive (with respect to B) and of odd height.
Proof As the element a is semi-simple in G° (see [26]) Ga is a reductive Lie algebra. Let Cent Go be its center, S = [Go, Go] is a semi-simple
ideal in G. Then Go = (Cent Ga) Q S. We have HR c Go and the normalizer of HR in Ga coincides with H. Therefore Cent G0 c HR and HS = HR n S is a split Cartan subalgebra in S. Let R = R(S, Hs) be the
root system of the split Lie algebra (S, Hs), R' the set of roots a e R
not equal to zero on a. We have Go = HR ® ($ ER° Ga) and Ga). Hence it follows that associating with each root S = Hs ® a c R° its restriction to Hs we obtain a one-to-one mapping of the set R°
onto R. Let B° = B n R° _ (a°, ... , ak), a e R°. Then for suitable integers n l , ... , nk we have a = D-1 ni a°. Let y c -A and y = a/Hs. Then y = Y+=1 ni fiiQ where fii = a°/Hs for every 1 < i < k. Therefore
B = (f1, . .
.
, Yk) is a
basis of R and the height of root a e R° with respect
252
A. T. FOMENKO AND V. V. TROFIMOV
to B is equal to the height of the root y = a/HS e R with respect to B. Let
°+, where S. = S n G. By Lemma 22.14 z(rk S + dim S,) = Card R°d R+d is the set of roots fi e R of odd height and positive with respect to B. It follows from these considerations that Card(R°+dd) = Card(R° n R°+dd).
Note that S. = QaERo R(xa + x _a) = G., where R° is the set of positive The roots a in R°. Therefore J(rk G.' + dim G.a) = Card(R° n lemma is proved. R°+dd).
Proof of Theorem 22.4 The functions specified in the theorem are integrals in involution for equation (13) as a consequence of Lemma 22.2. Let V(x, a) be the linear span of the gradients grad J(x + .la) where J E 1(G°), .? e R and the functions J(x + la) are viewed as functions of
the variable x E G°, let V(x, a) be the linear span of the gradients grad, J(x + Ia) where J e 1(G°), 1 e B and the functions J(x + la) are viewed as functions of the variable x e G. Then for any x c- G,: V(x, a) is the projection of V(x, a) onto G, along V. As a consequence of Lemma
22.9 V(x, a) = V(a, x). Let VT (a, x) be the projection of V(a, x) onto T = [a, G°] along Go and VT (a, x) = VT (x, a) the projection of V(x, a) = V(a, x) onto T n G. = [a, V] along G', F = Fp , where the space FD is defined in Lemma 22.10 and p is greater than all the indices of the Lie algebra G°. As a consequence of Lemma 22.12 we have VT (a, x) = T n F - for x = Y-1EB (xa + x -J, given the basis B such that
for any a e B the value a(a) > 0. Therefore, VT(x, a) = VT(a, x) _ T n F°dd, where F°dd = JaER.dd ICY: (for the definition of ya see Lemma 22.10, here R+d is the set of positive roots of odd height). We have, further, dim F°dd = Card(R' n Rod +d) where R' is the set of roots a e R such that a(a) # 0. As (fl_ .. , fk) is a completely involutive set on then k = Z(rk Ga + dim G"). Since grad g;(x) E G: (1 <, i < k) we have
dim( V(x, a) Q I Q B grad g;(x) J \i-1 = Card(R' n R+d) +'(rk Ga + dim
=Card(R'nRodd) +Card(R°nR odd) = Card(R+d) = Z(dim R , + rk G,).
Here we use Lemmas 22.14, 22.15. The set of integrals, therefore, is complete. The theorem is proved.
253
INTEGRABLE SYSTEMS ON LIE ALGEBRA
22.4. Integrability of Euler's equations for an n-dimensional rigid body
Consider an n-dimensional rigid body with fixed point outside the zone
of any forces. Let x1, ... , x" be the coordinates in a rigid system of coordinates connected with it rigidly; let Tj denote the elementary n x n matrix with zeros everywhere except for a one at the intersection of the ith row and j-th column; let E, denote the elementary skew-symmetric matrix E, = T j - T;. Let us suppose that a rigid body revolves with an
angular velocity S2 in a moving system of coordinates which has a corresponding elementary skew-symmetric matrix E.3. In this case the kinetic energy T is given by the formula T = J . . . I p(x)(x? + xj )d"x, z where p(x) is the density function of the distribution of the mass in the body, and d"x is the n-dimensional volume element. We introduce the constants a, = J . J p(x)x?d"x (1 < i <, n) which depend only on the distribution of mass in the body. Then the kinetic energy of our rigid
body revolving with an arbitrary velocity f2 = y_;<; a)ijE;j equals 1 Y w j(ai + a). Hence we find an expression for the kinetic moment M = A(Q), A(0) = IS2 + QI, where I = diag(a,,... , a"). The Euler equations have the following form, M = [M, f2], where M = A(S2). The
matrix I is called the inertia tensor of the rigid body. Let Q be an invariant symmetric bilinear form on so(n) with respect to which the basis (Eij)1,i<;,n has been made orthonormal, THEOREM 22.5
let I = diag(a...... a") be the inertia tensor of the rigid body, and M = A(S2) be the kinetic moment of the body in a moving system of
coordinates where A(S2) = I0 + SDI, a = I2, b = I, so(n)" is the centralizer of a in so(n). Then,
a) for an appropriate operator symmetric with respect to Q, D: so(n)s -+ so(n)s we have A-'(M) = cpabo(M) b) the functions tr(M + AI2)k (k = 2, ... , n, A E 68) are the integrals of
motion of the Euler equation M = [M, A-'(M)]
c) the set of these functions can be extended into a complete involutive (with respect to Q) set of integrals of motion of the equation
M = [M, A-'(M)] by including polynomial functions which depend only on the Q-orthogonal projection of M onto so(n)a.
Proof Without loss of generality, we assume that a, > a2 a" > 0. Let 7 1, ... , y, be numbers such that
254
A. T. FOMENKO AND V. V. TROFIMOV
al = ... = aqi = YI > aq,+1 = ' = a4, = Y2 > ... =aq.=Y >aqi_1+I =
Yl >...>Y3
Then so(n)° = so(P1) O ®so(P,) where pl =9j, P2=q2 - ql, ..., p, = q3 - R,- 1. Let the operator D: so(n)° _+ so(n)" be multiplication by y; on so(p;) (i = 1, ... , s). Then it is easily verified that A-l(S2) = W°bD(Q) Let G = sl(n, Vi), G = so(n) in Theorem 22.4. The functions tr M'` (2 < k <, n) are algebraically independent homogeneous generators of the algebra of invariants of sl(n, 68). Thus, if we give a completely involutive set of integrals of the equation
Y = [Y,D(Y)],
Yeso(n)°,
(15)
Theorem 22.5 is proved as a corollary of Theorem 22.4. Since [Y, D(Y)] = 0 for any Y E so(n)°, any set of functions on so(n)' is a set of
integrals of motion of equation (15). Therefore we can take any completely involutive set on so(n)" as a completely involutive set of integrals of motion of equation (15). Such sets exist, in view of Corollary 1 of Lemma 22.9. The theorem is proved.
23. COMPLETELY INTEGRABLE HAMILTONIAN SYSTEMS ON SYMMETRIC SPACES
The first part of this section gives the constructions of some completely
integrable geodesic flows on symmetric spaces, flows which are generated by sectional operators cP°b (see Sections 6 and 8). The second
part is devoted to a generalization of non-commutative complete integrability (see Sections 4 and 3). All the results set out here are the work of A. V. Brailov (see [198], [199]). 23.1. Integrable metrics dsabD on symmetric spaces
Let the Lie group 6 with the Lie algebra G act smoothly on a manifold M. In this case to each element g e G corresponds vector field g on M. The action of G on M induces a symplectic action of 6 on the cotangent
bundle T*M of M. This symplectic action corresponds a moment mapping P: T*M -+ G* (see [1]), which in the given special case is defined as follows:
INTEGRABLE SYSTEMS ON LIE ALGEBRA
255
on the left-hand side denotes the pairing of
G* and G, while on the right-hand side it denotes the pairing of
and TM. As was noted in [88] every moment mapping P has the following property which is very important to us: for any two smooth functions f and g on G* we have the equality
{f°P,g°P}={f,g}°P
(1)
where the braces {X, Y} on the left-hand side of the equation denote the
standard Poisson bracket on T*M and those on the right-hand side denote the standard Poisson bracket on G* corresponding to the Kirillov form on the orbits of the coadjoint representation of (i in G*. Lete there be on G a non-degenerate invariant symmetric bilinear form Q. By identifying G* with G with the help of Q we shall examine the moment mapping
P = PQ: T*M - G,
Q(P(x),g) =
where g c G, x e T. *M. It is clear that for the moment mapping P = PQ
the property (1) also holds if we use the Poisson bracket {X, Y} corresponding to the form Q, on the right-hand side of the equation. Given the fixed point m e M the moment mapping P is linear along x c- T*M. Therefore, if the operator cp,,,p has been defined on G (a and b
may be elements of the Lie algebra which contains G), then HabD(x) = Q(P(x), cpabD(P(x))) is a quadratic function on T *M. If a quadratic function HabD(x) is a positive definite non-degenerate quadratic form, then it induces a corresponding Riemannian metric dsobD on M (this correspondence is defined in the general case and is called the Legendre transformation (see for example [1])). The metrics ds;bD are called the metrics of the moment mapping P. Let M be a globally symmetric Riemannian manifold, rk M its rank, (5 the connected component of the unit in the isometries of M, G its Lie algebra, where Q is an Aut(G)-invariant symmetric nondegenerate bilinear form on G. We shall assume that TD is a compact semi-simple Lie group. THEOREM 23.1
a) If rk M = rk G, cpabD, is an arbitrary positive operator on G (a and b may be elements of a larger Lie algebra), and if fI (x),. . . , fk(x) is the completely involutive set of independent integrals of Euler's equation
256
A. T. FOMENKO AND V. V. TROFIMOV
[x, cp°bD(x)] (x e G), k = Z(rk G + dim G) then k = dim M and the functions Ji (P(x)), ... , fk(P(x)) are independent integrals in involution
of the geodesic flow on T*M of the Riemannian metric ds;bD of the moment mapping P: T*M G b) If rk M < rk G, a, b c G, cpabD is a positive operator, then the geodesic flow on T*M of the Riemannian metric dsobD of the moment mapping PQ: T*M -+ G has an involutive set of integrals of motion J(P(x) + Aa), J E I(G), A e R and for an element a e G in general position
in G we may choose from this set functions that are independent on T*M equal in number to the dimension of M. Proof (a) We fix any point m e M. An isometry of M which leaves point m fixed and which moves the geodesics passing through m, defines an involutive automorphism of (si (see [48]). This automorphism of (fi defines an automorphism of the Lie algebra G, which we denote by a. Let G = H Q V be the decomposition of G such that the automorphism a equals 1 on H and (- 1) on V. For the point m we have P(T*(M)) = V. Since rk M = rk G, we can choose a Cartan subalgebra K in G so that K c V. In view of the compactness of the Lie algebra G it follows that every orbit of 6 in G intersects V. As is well known, the action of i on
T*M under the moment mapping corresponds to the coadjoint action on G (see for example [1]); therefore G = P(T*M). Consequently, the functions fl (P(x)), ... , fk(P(x)) are independent on T*M. Their involutivity is implied by formula (1). Thus all that remains to be proved is that dim M = z(dim G + rk G). Let a be an arbitrary element of V, where G° is the centralizer of a in G, H° = H n G°, V° = V n G. Since
[H,H] cH, [VV] cH, [H,V] (-- V and aEV, G°=H°+V°. We define on G a skew-symmetric form L°(X,Y)=Q(a,[X,Y]). Since Q is invariant with respect to Aut(G), it is also invariant, in particular, with respect to a. Therefore H and V are Q-orthogonal complements of each other in G. It follows from this that H' = V + H°, V' = H + V° where H1 and V' are skew-orthogonal complements to H and V in G with respect to L°. Consequently the quotient L. on G/G° = H/H° Q V/V° is non-degenerate and realizes a pairing of the spaces H/H° and V/V°. Consequently, dim H/H° = dim V/V°. Let K be a Cartan subalgebra in
G such that K c V and a E K is an element regular in G. Then G°= V°=K, H°=0. We have:
257
INTEGRABLE SYSTEMS ON LIE ALGEBRA
z(dim G + rk G) = Z(dim G + dim G°)
= z(dim H + dim V + dim V) = J(dim H - dim H° + dim V - dim V°) + dim V° = dim V/Va + dim Va = dim V = dim M.
b) Let K be a Cartan subalgebra in G such that K,, = K n V is the maximal commutative subspace in V. In this case dim K,, = rk M. For an element a E K,, in general position in K. we have Va = K, therefore for the orbit 0 of the group Oti in G which passes through point a, we have
1 dim O =
i dim G/Ga = Z(dim H/H° + dim V/V°) = dim V/Va
.
It follows from Theorem 22.1 that the set of functions (J(x + 1a)), J E I (G), A e R contains # dim 0 functions independent on 0. Since the
invariants of G are constant on 0 but are not constant on K, then by using Lemma 22.3 on the image of the mapping P, i.e. on P(T*M), we shall get i dim 0 + dim Kv independent functions in the set J;, a, J e 1(G), 2 E R. Consequently, there are at least z dim 0 + dim K,, functions independent on T*M among the functions J(P(x) + 2a). Further: j dim 0 + dim K,, = dim V/ Va + dim Va = dim V= dim M
.
The functions J 1,a(x) are integrals of motion in involution of the Euler equation z = [x, cp°,,D(x)], which is Hamiltonian on the orbits of (ci in G with the Hamiltonian habD(x) = ZQ(x,(pabD(x)). In view of formula (1) we find that the functions J(P(x) + Aa) are integrals of motion in involution of the Hamiltonian system on T*M with the Hamiltonian HabD(x) = habD(P(x)). Since the Hamiltonian HabD is a Hamiltonian of
the geodesic flow on T*M of the metric dso D, and since the set of integrals of motion J(P(x) + 2a) contains functions independent on T*M equal in number to the dimension of M, the theorem is proved.
23.2. The metrics ds;,, on a sphere S"
Let S"
y e 118i+1: Y2
+
2 + yn+1 = 1} be a sphere; let SO(n + 1) be
the special orthogonal Lie group consisting of (n + 1) x (n + 1) matrices g such that gg` = E and det g = 1 where g' denotes the transposed matrix, E = diag(1, ... , 1); let so(n + 1) be the Lie algebra of
258
A. T. FOMENKO AND V. V. TROFIMOV
the group SO(n + 1), consisting of (n + 1) x (n + 1) matrices x, such
that x = -x`. In the standard way the group SO(n + 1) acts on the sphere S": the element g c- SO(n + 1) sends the point y E S" to the point (g)t)', where gy` is the matrix product of matrix g and of the matrix y` which is the transpose of the row matrix y = (y,, .. , y"+1). THEOREM 23.2
Let
a, b Egl(n + 1, B ),
a = diag(a1, ... an+1),
b=diag(bl,...,b"+1), a1>...>an+1>0, b1>...>b"+1; where Q(X, Y) = - tr(XY) is the invariant symmetric non-degenerate bi-
linear form oni gl(n + 1, R), positive definite on so(n + 1) c gl(n + 1); let Pab = ado ' adb be symmetric with respect to Q; the group SO(n + 1) acts in a standard way on the sphere S" = {yi + + yz,+1 = 1}, P = PQ: T*S" - so(n + 1) is the corresponding moment mapping; dsab is the Riemannian metric on S" that corresponds (under the Legendre
transofrmation) to the quadratic Hamiltonian Hab, where Hab(q) _ ZQ(P(q),1Pab(P(q))) for q c- T*S Then:
a) the geodesic flow on T*S" of the Riemannian metric ds;b has n
independent quadratic integrals in involution H1, ... , H", where Hk(q) = iQ(P(q),1Pa.at(P(q))), a' = diag(al, ... , an+l) and q E T*S"; b) if -b = diag(a1 ' , ... , a-+ 1), then with the substitution y; = x,/ aj (i = 1,... , n + 1) the metric dsab becomes a metric z
z
[+...+i]'(dx+...+dx+1) n+I
1
that is conformally equivalent to the standard metric dxi + of the ellipsoid
xlz + ... +
x"+1
a1
an+1
+ dxn+1
z
(pac(X)) for Proof (a) Let c = diag(c1, ... , cn+1), ha<(X) = X egl(n + 1, 01). As follows from the results of [89], the quadratic 1Q(x,
function ha,(X) is a linear combination of the functions J(X + .i.a) where J is the invariant of gl(n + 1, R), .l e R. As a corollary of Lemma 11.3, the
259
INTEGRABLE SYSTEMS ON LIE ALGEBRA
quadratic functions h, where h,, is the restriction of h,, to so(n + 1) c
gl(n + 1, l) are pairwise in involution for any diagonal matrix c e gl(n + 1, R). As an involutive automorphism Q, whose set of fixed points is so(n + 1), we may take the automorphism Q(X) = -X`. As a corollary of the fundamental property of the moment mapping (formula (1) from 23.1), the functions H,,. . . , H. are pairwise in involution on T*S". In order to prove the independence of these functions we shall need to
have their explicit calculation in local coordinates. Let S+ be the hemisphere given by the inequality yn+1 > 0. The functions y1,
are local coordinates on S+, while yn+l = ' +
, Y"
+ y,2. Let
z1,. .. , zn be the corresponding impulse variables on T*S+. Then , y") is a system of coordinates on T*S"+ and the (z1, , zn, Y l, standard symplectic structure is co=y"=1 dz, A dy,. The matrix X = I x. j II E so (n + 1) has a corresponding vector field on S" which in the
local coordinates yl, ... , yn equals n-1
(
"
a
a
)+
11
y E xr,ly;a-Y;Yja+ Y,E x,.n+lY"+1 aY, . ,=1 j i+1 i=1 Thus, P(z, y) = 11 P,j(z, y) II , where P,j(z, y) = z, yj - Zj Y, provided that i, j < n, and P,," + 1(z, Y) = zi Yn + 1 provided that 1 <, i < n. Hence we
find that
1 [nil Hac(z, Y) = 2
if
E
c -C
j (z, yj - zj Yd'
i=l j=,+l a, - aj
+
'.
Let yo = (0, ... , 0, 1). Then n
Hk(z,Yo) _
From this we find the Jacobian
1
,
k
an +l
2,=1 a, - an+1
C,-Cn+1
,=l ai - an+l
z,z.
z
2
z,Yn+l
A. T. FOMENKO AND V. V. TROFIMOV
260
aHk(z, yo) 3zi
+ an+1
a2 z
z
2
al + alan+l + an+1
ai-1an+1
al +
2
a2 + a2an+1 + an+l
+ ... + a"+1
az +
a"+1 1
n nn an + an + 1
z
2 an + anon+l + an+
... an + a"-'a,+,
-}- an+1
-i-
To calculate the determinant of this matrix we make the following (n - 1) elementary transformations. The first transform. tion consists of subtracting the (n - 1)-th row, multiplied by from the n-th row. The second transformation consists of subtracting the (n - 2)-th row,
multiplied by an+l, from the (n - 1)-th row, and so on. The last transformation consists of subtracting the first row, multiplied by an+1, from the second row. We carry out all these transformations in the order shown. The result is the matrix: 1
1
al
a2
a
alft
a2n
1
...
u,.
whose determinant, the well-known Vandermond determinant, is nonzero, in view of the fact that a1 > > an. Thus, the involutivity and
independence of the functions H1, ... , H has been proved. These functions are integrals of the geodesic flow of the metric dsan, since the
Hamiltonian Hnl, which corresponds to this metric
a linear
is
combination of H1, ... , H for any diagonal matrix b. b) Let -b = diag(a1 1, ... , an +l). Then l
H0n(z, l')
2
n-1 i=1 J=i+1
a-1 - a '
ai - aj
1
(zi y. - z;1'i)2 n
+ [_, i=1
a, + 1 - ai
ai - an+1
1
2
2
Zi yn + 1
INTEGRABLE SYSTEMS ON LIE ALGEBRA
-
1 r n-1 2
261
n
i=1j=i+1
(aiaj)-1(z y, + zz y? - 2zizjyiy;) n
122 1 zi yn+1 J
+y
i=1
= 2[ini a lz?(y =
j#i
1
ifj
J
(aiaj) 1ziz;yiYj
-1
n
z
i=1 1
=2
n
i=1
n
a, 1z
ai 1 zi2
a-1yj2 - ` a; lz2a` 'y2
'=1
i=1 n
Vin`
(aia;)-1Zi
[r (
i=1j=1 1
2
'
+an+l yn+l y- ai
n
zj yi yj +
i=1
(aiai)-lziziyiyi
2j
1
Zi
i=1
2
[Ct
a1z); 1ajlyj)
-
n
ai 1Ziyi)C;
n
aj 1zJyj
i
= ZZ(A - Y)Z`,
where Z = (z1, ... , is a row matrix, A = diag(al 'c, ... , a 'c), C = ;+I 11, Yi; _ (aia;) 'yi y,. Whence we obtain the a; 1 y; , Y Y Y; expression for the Lagrangian '(y, y) corresponding to the Hamiltonian Hab: 2'(y, y) = Zy(A - Y) 'y` where y = (yl, ... , But this is, obviously, the Lagrangian of a free particle on a sphere with metric dsab = (dy)(A - Y)-'(dy)`, where (dy) _ (dy1,... , The only
expression left to calculate is (A - Y)-'. We have
(A -
- A -'Y))-' = (E - A lY) lA = A-' + A 'YA-' + A-'(YA ')YA '
Y)-1 = (A(E
+ A 'YA 'YA 'YA ' + Note that
.
1
A. T. FOMENKO AND V. V. TROFIMOV
262
(YA-1Y)ij =
(atak)-lytykakc 1(akaj)-lYkY; k=1
a,-lyic-la, lyjak lykakak lYk
k=1
_
(aiaj)-1Yiyjc-1
ak 1yk = LYij, k=0
where L = c 1 yk =1 ak lyk . From which we obtain
(A - Y)-1 = A-1 + A-1YA-1 + LA-1YA-1 + L2A-1YA-1 + = A-1 +
1
1
L A-1YA-1.
Proceeding further: n+1
1
1
1 -L
1-
-1 2
j=1 aj Yj
nk=1ak-1Yk2 =
-1 2 a+1Yn+1
n+l -1 2 j=1 aj Yj
Hence we obtain n
+az+l
ds b = c-1
ai(dyi)2
n
Yn+l i.j=1
=1
YtYj dYi dYj
As
(dyn+1) = d
=Yldy1+...+yndyn
yi+...+yn
2 +...+
Yl
2
yn
we obtain an+1(dyn+1)
2 = an+l
E Yiyjdyidyj.
2
Yn+1 i,;=1
Therefore 1 n+1
n+1
dsab = c-1 i=1
ai(dyf)2 = r a. 1Yi j=1
The change of variables xi =
ai yi
(i = 1, ... , n + 1) leads to the
metric ds;b taking the form n+1
1 n+1
j=1
i=1
a-2x2 Y - i
af(dy1)2.
i=1
INTEGRABLE SYSTEMS ON LIE ALGEBRA
conformally equivalent to the metric (dx1)z +
+
263
on an
ellipsoid X' {+...+ -=i}. a1 an xz
+1
23.3. Applications to non-commutative integrability
Let (M, w) be a symplectic manifold, 6 a Lie group with a Poissonian action on M (see, for instance [1]); let P: M -+ G* be the corresponding moment mapping. Let E G*, and let t i stabilizer of under the coadjoint representation; denote by M4 = level surface. As the moment mapping P maps the Poissonian action of 6 on M onto the coadjoint action on G*, and the stabilizer 64 leaves the level surface M4 invariant. If the level's surface MS is a smooth manifold and the factor set
N4 = M4/64 has the structure of a smooth manifold such that the canonical projection n: M4 - N4 is a smooth fiber bundle (such a smooth structure is uniquely defined), then the symplectic structure w induces a symplectic structure w{ on the manifold N4. The symplectic manifold (N4, w4) is called a reduced symplectic manifold. Let H be a Hamiltonian on M, invariant, under 6, and let G be the algebra of the Hamiltonian system (M, w, H). Let X, be a Hamiltonian vector field, related to the Hamiltonian H, i.e. X = s grad H; let X /M, denote the restriction of this vector field to M4 (note that X is tangent to W. As the vector field is invariant with respect to 6V, it is projected onto a uniquely defined vector field X on N4 which, as one can easily check, is Hamiltonian on N4 with Hamiltonian H4(y) = H(x), where y c- N4 is the projection of x. Let 640 be the subgroup 6' leaving each point x c- M4 fixed. (f is, obviously, a normal subgroup in W. Let 64R = 64164 be the effective stabilizer of . It can be shown that for a general position point E P(M) in P(M) the connected component of the unit of the group 6 is commutative (for compact Lie algebras G the entire stabilizer 64 and, therefore, (5 also are connected Lie groups). From which it follows that the reduced Hamiltonian system (N4, w4, H4) is quadrature equivalent to the initial Hamiltonian system (M, (0, H) for
any point
e P(M) in general position in P(M) (the mapping it is
considered to be given by known functions). Suppose that the stabilizer 64 acts locally transitively on a surface M4 in general position in M. Then for a general position point E P(M) in
264
A. T. FOMENKO AND V. V. TROFIMOV
P(M) we have dim N, = 0 and the reduced Hamiltonian system (N4,104, H,) is trivially integrable. The initial system, therefore, (M, co, H) is integrable in quadratures for general position initial conditions in M. It is said in this case that the system (M, w, H) is noncommutatively integrable with integral algebra G. If the integral Lie algebra G is commutative, then the non-commutative integrability with integral algebra G is the normal full integrability in the Liouville sense. REMARK This definition of non-commutative integrability coincides with the definition in [84] and is somewhat weaker than that used earlier
in this book (see Chapter 3 and also [88]) where it was required in addition that the linear generators of integral algebra G be functionally independent. This non-commutative integrability with a Lie algebra of
functionally independent integrals we shall call non-commutative integrability in the strong sense. One special case of non-commutative
integrability in the weak sense
(i.e.
with functionally dependent
integrals) was examined in Section 3. In Section 3 we discussed in detail
the connection between non-commutative integrability in the strong sense and full integrability in the Liouville sense. THEOREM 23.3
Let the Hamiltonian system (M, w, H) be non-
commutatively integrable (in the weak sense) with compact integral Lie algebra G; let P: M - G be the corresponding moment mapping. Then the Hamiltonian system (M, co, H) has motion integrals in involution of the form J(P(x) + Aa), J E I (G), A E 18 and it is possible to select among
these functions independent functions equal in number to half the dimension of M for a general position element a c G.
Proof We shall show that the codimension of a general position orbit 0 in P(M) is equal to the dimension of M,, c e 0. Let TT(P(M))1 be the intersection of the kernels of all functionals rl e TT(P(M)); let TT 01 be the intersection of the kernels of all functionals rl E TT 0. The codimension of
0 in P(M) is equal to dim TT01/TT(P(M))1. On the other hand, TT0' is the Lie algebra of 64, and T,(P(M))1 is the Lie algebra of 60. Since 64 acts locally transitively on M, we have
r = dim TT01/TT(P(M))1 = dim 64 = dim M. By Theorem 22.2 the set of functions J(x + .1a), J e 1(G), A E 1 for a
general position element a e G in G contains 1 dim 0 independent
functions on 0. Adding r more invariants G (the existence of r independent invariants on P(M) follows from Lemma 22.3) we obtain
INTEGRABLE SYSTEMS ON LIE ALGEBRA
265
r + dim 0 independent functions in the set J(x + .la), J e I (G), A, a 18 z on P(M). Hence we have the same number of independent functions in
the set J(P(x) + 2a), J e I (G), A E R. We have only to count their number. We have
' dim 0 + r ='(dim P(M) - r) + r = '(dim P(M) + r) ='(dim P(M) + dim M,)
dim M.
The theorem is proved.
In conclusion we give now a simple and-from the physical point of
view-natural condition for the Lie algebra of integrals of a Hamiltonian system (M, c), H) to be compact. Note that this condition
is somewhat weaker than the Lichnerowicz condition, where the compactness of the entire manifold M is the condition for compactness of integral algebra (the proof is based on invariance of a positive definite certain scalar product= f M fgcok, where k =' dim M). THEOREM 23.4
Let (M, co, H) be a Hamiltonian system, G an integral
Lie algebra. Suppose that for any h the iso-energetic surface M,, _ {x c- M: H(x) = h} is compact. Then G is a compact Lie algebra. Proof Let g e G, and let x9 be the corresponding Hamiltonian vector field on M. The vector field xa is tangent to M,, for any h and is, therefore, complete on M (i.e. the integral trajectories of the field can be extended indefinitely). Therefore an action of the connected simple-connected Lie
group 6 belonging to the Lie algebra G on the manifold M is defined. This action is Poissonian as, by the definition of vector field x9, it is a Hamiltonian vector field with Hamiltonian g. Let P: M -' G* be the corresponding moment mapping, P(x)(g) = g(x). As G is the integral Lie algebra of the Hamiltonian system (M, w, H), the iso-energetic surfaces are invariant under the action of 6 and their images P(Mh) are invariant
under Ad* for any h. As, by hypothesis, Mh is compact, P(Mh) is compact too. Let g e G be a nilpotent element in the Lie algebra G. Then ad9 is a nilpotent endomorphism of G* and the mapping t - Exp(a4,,) x is polynomial for any x e G*. Since P(Mh) is invariant for x e P(M,,) this mapping is a mapping from R to P(Mh). As P(M,,) is compact and the mapping t - Exp(ad a) x polynomial, it is constant, Exp(ad to*) x = x for
all t. Therefore, for any x e P(M) we have ada* x = 0. Therefore any nilpotent element g lies in Z the center of G. Let R be the solvable radical
of G. Then [R, R] consists of nilpotent elements and, therefore,
266
A. T. FOMENKO AND V. V. TROFIMOV
[R, R] c Z. As a consequence the entire radical R consists of nilpotent elements and, therefore, R = Z. Thus, G is a reductive Lie algebra. Let S = [G, G] be its semi-simple ideal. As S o Z = 0, there are no non-zero
nilpotent elements in S. Therefore, S is a compact semi-simple Lie algebra. Therefore, G is a compact Lie algebra. The theorem is proved.
Theorem 3.3 is a consequence of Theorem 23.4.
24. MORSE'S THEORY OF COMPLETELY INTEGRABLE HAMILTONIAN SYSTEMS. TOPOLOGY OF THE SURFACES OF CONSTANT ENERGY LEVEL OF HAMILTONIAN SYSTEMS, OBSTACLES TO INTEGRABILITY AND CLASSIFICATION OF THE REARRANGEMENTS OF THE GENERAL POSITION OF LIOUVILLE TORI IN THE NEIGHBORHOOD OF A BIFURCATION DIAGRAM
In this section we briefly discuss the elements of the new "Morse-type theory" of integrable Hamiltonian systems, which has recently been constructed by A. T. Fomenko. (See details in [149], [150].) 24.1. The four-dimensional case
Recently many new cases of the Liouville integrability of important
Hamiltonian systems in the symplectic manifolds M2 have been discovered. In this connection the problem of detecting stable periodic solutions of integrable systems is particularly urgent. It is found that when n = 2, on the basis of, at most, the data on the group H1(Q, 7L) of one-dimensional integral homologies (or the data on the fundamental group), using the fixed three-dimensional surface Q 3 of constant energy in which this system is integrable, we can sometimes guarantee the existence of at least two stable periodic solutions of the
system on this surface Q3 c W. These solutions can be effectively obtained by examining the minima and maxima of the additional (second) integral, defined on a separate constant-energy surface. Thus, this result not only gives the existence of two stable solutions, but also enables them (in principle) to be obtained. This statement follows from A. T. Fomenko's more general classification statement on the canonical representation of the surface Q in the form of an amalgamation of the
INTEGRABLE SYSTEMS ON LIE ALGEBRA
267
elementary manifolds of the four simplest types. At the same time it is assumed that the system v has a second smooth "Morse-type" integral in Q, i.e. such that its critical points on the surface Q3 are organized into
non-degenerate smooth critical submanifolds. In this connection Fomenko develops Morse's specific theory of integrable systems, which differs from Morse's usual theory and which uses the well-known Bott theory of functions with degenerate critical points (these functions could
be called "Bottian" or Bott functions, see R. Bott, Non-degenerate critical manifolds, Ann. of Math., 60 (1954), 248-26 1). At the same time
there is also a natural development of some of the important ideas of
S. P. Novikov [96], V. V. Kozlov [59], R. Bott (R. Bott, Nondegenerate critical manifolds, Ann. of Math., 60 (1954), 248-261), D. V. Anosov (D. V. Anosov, Typical problems of closed geodesics, Izv. AN SSSR, Ser. Mat., 46, no. 4 (1982)) and S. Smale (S. Smale, Topology and mechanics, Invent. Math., 10, no. 4 (1970), 305-331; The planar n-body problem, Invent. Math., 11, no. 1 (1970), 45-64). It appears later than the non-singular surfaces of constant energy of integrable Hamiltonian systems have specific properties which isolate them from all the threedimensional manifolds. Hence we obtain new topological barriers to the integrability of Hamiltonian systems in a class of Morse-type functions. Thus, suppose the Hamiltonian system v = s grad H is specified in M4,
where H is a smooth Hamiltonian. Consider the fixed non-critical surface Q3 of constant energy, i.e. Q = {H = const} and grad H : 0 in Q. Suppose the system v is integrable on Q using the second independent smooth integral f, which commutes with H on Q, but generally does not necessarily commute with H outside Q. In other words, if Q = {H = 0},
then {H, f } = AH, where A = const. This equation is more common than {H, f } = 0. The integral f is called Morse-type (or Bottian) in Q if its critical points form non-degenerate critical submanifolds in Q, i.e. the Hessian d zf is non-degenerate in the subspaces that are normal to these submanifolds. DEFINITION 24.1
The class of these integrals is wider than the class of analytic integrals. Accumulated experience of investigating specific mechanical systems shows that most of the integrals which have already been discovered are Morse-type. Suppose y is a closed integral trajectory of the system v on Q3 (i.e. a periodic solution). We will say that y is stable if some of its DEFINITION 24.2
268
A. T. FOMENKO AND V. V. TROFIMOV
tubular neighborhood in Q as a whole is stratified into two-dimensional tori which are invariant with respect to the system v.
The integrable system cannot have stable periodic solutions. Example: the geodesic flow of a Euclidean two-dimensional torus. It appears that a simple connection exists between the following three items: (a) the Morse-type integral f on Q, (b) the stable periodic solutions of the system v on Q, and (c) the group of integral homologies H1(Q,7L) or the fundamental group 7r1(Q). T. Fomenko) Suppose v = s grad H is a Hamiltonian field in the smooth symplectic four-dimensional manifold M4 (compact or non-compact), where H is a smooth Hamiltonian. We will assume that the system v is integrable on some kind of single nonTHEOREM 24.1 (A.
singular compact three-dimensional surface of the level Q of the Hamiltonian H using the Morse-type integral f on Q. Then, if the group
of homologies H1(Q,1) is finite cyclic, v has no less than one stable periodic solution on Q; and if H1(Q,7L) is finite and integral f is orientable (see below), v has no less than two stable periodic solutions. At the same time f reaches a local minimum or maximum in each of these trajectories.
This criterion is effective, since a verification of the Morse-type character of the integral f and a calculation of the rank H1(Q,7L) is usually easy. In specific examples the surfaces Q of constant energy (or
their reduction) are often diffeomorphic either to the sphere S3, the projective space RP3, or S1 X S2. For example, after appropriate factorization, for the equations of motion of a heavy solid in a zone of large velocities we can assume that Q = S' x S2. In the problem of the motion of a four-dimensional solid with respect to inertia with a fixed point we have Q = S1 X S2. In the integrable (three-dimensional)
Kovalevskii case, we can assume that some Q = S' x S2. If the Hamiltonian H has an isolated minimum or maximum point in M°, all the rather close surfaces of level Q are spheres S3. PROPOSITION 24.1
Suppose the system v = s grad H is integrable using
the Morse integral f on some single surface of constant energy Q, homeomorphic either to S3 or 18P3, or to S' X Sz. Then the system v has
at least two stable periodic solutions on S3 and at least one stable periodic solution on l8P3, S' x SZ. In the case orientable integral we have at least two such solutions in all three cases.
INTEGRABLE SYSTEMS ON LIE ALGEBRA
269
In particular, as we shall see, the integrable system has two stable
periodic solutions on not only the small spheres surrounding the minimum or maximum point H, but also on all the "remote" expanding surfaces of the level, while they are geomorphic to S3. The criterion of Theorem 24.1 is accurate in the sense that examples are known when the
system has exactly two (and no more) stable periodic solutions on 3 Q= Suppose R = rank 7C1(Q), that is the least possible number of generatrices of the fundamental group of the surface Q. THEOREM 24.2 (A. T. Fomenko) Suppose the system v is integrable
on some non-singular compact surface Q3 of constant energy in M4 using the Morse integral f. If R = 1, then v has no fewer than one stable
periodic solution on Q, on which f reaches a local minimum or maximum. If the rank of the group H1(Q,7L) > 3, then v can generally not have stable periodic solutions in Q. In the case of the integrable geodesic flow of a plane torus T2 we have:
Q = T3, the rank H1(Q, 7L) = 3 and all the periodic solutions of this
system are unstable. From the well-known results of Anosov, Klingenberg and Takens (see D. V. Anosov, The typical properties of closed geodesics, Izv. AN SSSR, Ser. Mat., 46, no. 4 (1982), and W. Klingenberg, Lectures on Closed Geodesics, Springer-Verlag, 1978, Grundlehren des Mathematischen, Wissenschaften, 230) it follows that an open and everywhere dense subset of flows without stable periodic
trajectories exists in the set of all the geodesic flows in smooth Riemannian manifolds. Thus, the property of the flow does not have stable trajectories-a property of the general position. Consider a two-dimensional manifold which is diffeomorphic to a sphere with a Riemannian metric of the common location, i.e. without stable closed geodesics. Then the corresponding COROLLARY 1
geodesic flow is non-integrable in the class of smooth Morse integrals on each separate surface of constant energy.
QUESTION Can any three-dimensional manifold be a surface of constant energy of an integrable system?
Not every three-dimensional smooth compact closed orientable manifold can play the role of a surface of constant energy of COROLLARY 2
a Hamiltonian system, integrable using the Morse integral (on this surface).
270
A. T. FOMENKO AND V. V. TROFIMOV
We can give a clear meaning to the words "not every." We shall not
discuss this here. Thus, the topology of the surface Q serves as an obstacle to integrability. All the results follow from the general Theorem
24.3 (see below). If f is a Morse integral on Q, then the separatrix diagram P(T) is connected to each of its critical submanifolds T, i.e. the set of integral trajectories of the field grad f, which enter Torleave T. We
will call the integral f orientable if all its separatrix diagrams are orientable. Otherwise we will call the integral non-orientable. Consider the following simplest three-dimensional manifolds, whose boundaries
are the two-dimensional tori V. (1) The complete torus S' x D2. (2) The cylinders T2 x D'. (3) The direct product (we shall call it the
oriented saddle) N2 x S', where N2 is a disk with two holes. (4) Consider the non-trivial fibration A3 -. N2 S' with the base S' and the fiber N2. The boundary of the manifold A3 is the two tori T2. It is clear that A3 (we will call it a non-oriented saddle) is implemented in l3 in the form of a complete torus, from which the second (thin) complete torus, which twice passes around the axis of the large complete torus (dual winding), is drilled. (5) Consider the non-trivial fibration K3 -°' K2 with the base K2 = Klein bottle and the fiber D' = interval. The boundary of K3 is the torus T2. THEOREM 24.3 (A. T. Fomenko) (Fundamental classification theorem
in dimension 4) Suppose v = s grad H is a Hamiltonian system which is integrable on some single non-singular compact threedimensional surface of constant energy Q3 c M4 using the Morse integral f. Suppose m is the number of periodic solutions of the system v on the surface Q, on which the integral f reaches a local minimum or maximum (then they are stable). Then Q = m(S' x D2) + p(T 2 x D') + q(N2 x S') + s(A3) + r(K3), i.e. Q is obtained by splicing
m complete tori, p cylinders, q orientable saddles, s non-orientable saddles and r non-orientable cylinders using some diffeomorphisms from the boundary tori. If the integral f is orientable, then s = r = 0, i.e. there are no non-orientable saddles and cylinders. 24.2. The general case
Suppose v = s grad H is a smooth integrable system in Men and F: Men -+ l is a mapping of the moment, i.e. F(x) = (fl (x),. . . , f"(x), where f are commuting smooth integrals and fl = H. The point x c- M
is regular if the rank dF(x) = n and it is critical otherwise. Suppose
INTEGRABLE SYSTEMS ON LIE ALGEBRA
271
N c M is a set of critical points and E = F(N) is a set of critical values
(bifurcation diagram). If a e R"\E, then the compact fiber B. = F-1(a) c Men consists of Liouville tori. For the deformation a outside E, the fiber B. is transformed by means of the diffeomorphisms. If the curve y, along which a moves, meets E, then the fiber BQ undergoes topological rearrangement. Problem: describe these rearrangements. It appears that a complete solution of the problem exists in the case of the
common location. If dim E < n - 1, then all the fibers B where a e R"\E are diffeomorphic. The basic problem is when dim E = n - 1. Consider five types of (n + 1)-dimensional manifolds. (1) We shall call the direct product D2 x T" -1 a dissipative complete torus. Its boundary is the torus Tn. (2) We will call the product T" x D1 a cylinder. Its boundary is the two tori T". (3) Suppose N2 is a two-dimensional disk with two holes. We shall call the direct product N2 x T" -1 an oriented torus saddle. Its boundary is the three tori Tn. (4) Consider all the nonequivalent fibration A,, _ N2 T" -1 with base the torus Tn-1, with a fiber
N2. They are classified by the elements aeH1(Tn-1,7L2) = 7L2-1 N2 x T" -1 when a = 0 is a special case. If a # 0, the fibration A. is nontrivial and all manifolds A,, are diffeomorphic. The manifolds Aa when
a # 0 will be called non-orientable torus saddles. They have a boundary-the two tori T". (5) Let us consider the manifolds K" = T"/Gs, where T" is the torus, a = 0, 1, and G. is the group of the transformations defined as follows (this action was introduced by A. V. Brailov and V. T. Fomenko): R (a) =
i
(-Q1, Qz + 2, a3, (a2,a1,a3 +2 ,a4,...,a.),
a = 0, a = 1,
where a = (a1,.. . , an) e 118"/7L" = T. Here n > 2 in case a = 0 and n > 3 in case a = 1. Then Ka = Ko x Tn-2, K1 = Ki x Tn-3 and Ki = K2 x S'. Let us consider the two-fold covering p: T" - K" and let Kn+1 = Kp1 is the cylinder of the map p. It is clear that 8K,+1 = T° We will describe five types of rearrangement of the torus T. (1) The torus T", implemented like the boundary of the dissipative complete torus D2 x Tn-1, contracts to its "axis," the torus Tn-1 (we will put T" -> T" - 1 -+ 0). (2) The two tori Ti" and T20--the boundaries of the cylinder T" x D1 moves in opposite directions and merge into one torus T" (i.e. 2Tn - Tn - 0). (3) The torus T"-the lower boundary or the oriented torus saddle N2 x T" -1 rises upward and, in accordance with the topology N2 x T"', splits into two tori Ti and Tz (i.e. T" -+ 2T").
272
A. T. FOMENKO AND V. V. TROFIMOV
(4) The torus T"-one of the boundaries A,, rises with respect to A. and is rearranged in its "middle," becoming once more a single (twice wound) torus (i.e. T" - T"). These rearrangements are parametrized by the nonzero elements a e H1 (T"-1,1L2) = 7L2-1 (5) Let us realize the torus T" as the boundary of Kr I . Let us deform T" in K" + 1 and collapse T" on K.". We obtain p: T" -+ K. We shall fix the values of the last n - 1 integrals
f2,. .. , f" and shall consider the resulting (n + 1)-dimensional surface Xn+1 Limiting in it f1 = H, we obtain the smooth function fin X"'. We will say that the rearrangement of the Liouville tori, which generate the non-singular fiber B. (assumed compact), is a rearrangement of the common location if, in the neighborhood of the rearrangement the torus T", the surface X" +I is compact, non-singular and the restriction f of the energy f1 = H on Xn+1 is a Morse function in the sense of Section 1 in this neighborhood. In terms of the diagram E, this means that the path y along which a moves, transversally intersects E at the point C, whose neighborhood in E is a smooth (n - 1)-dimensional submanifold in IR", and the last n - 1 integrals f2,. . ., f" are independent on Xn+1 in the neighborhood of the torus T". THEOREM 24.4 (A. T. Fomenko) (Theorem of the classification of the rearrangements of Liouville tori) (1) If dim E < n - 1, then all the non-singular fibers B. are diffeomorphic. (2) Suppose dim E = n - 1.
Suppose the non-degenerate Liouville torus T" moves along the common non-singular (n + 1)-dimensional surface of the level of the integrals f2,... , f", which is entrapped by the change in value of the energy integral f1 = H. This is equivalent to the fact that the point a = F(T") E li" moves along the path yin the direction of E. Suppose the torus T" undergoes rearrangement. This occurs when and only when T" meets the critical points N of the mapping of the moment F (i.e. the path y at the point C transversally pierces the (n - 1)-dimensional sheet E). Then all the possible types of rearrangement of the common location are
exhausted by the compositions of the above five canonical rearrangements 1, 2, 3, 4, 5. In case 1 (the rearrangement T" - T" -1 -+ 0) as the energy H increases the torus T" becomes a degenerate torus T" -1,
after which it disappears from the surface of the constant energy H = const (the limiting degeneration). In case 2 (the rearrangement 2T" -+ T" - 0) as the energy H increases the two tori T1 and Ti" merge
into one torus T", after which they disappear from the surface H = const. In case 3 (i.e. T" -+a 2T") as H increases the torus "penetrates" the critical energy level and splits into two tori T, and T2"
INTEGRABLE SYSTEMS ON LIE ALGEBRA
273
on the surface H = const. In case 4 (i.e. T" -a T") as H increases the torus T" "penetrates" the critical energy level and once more becomes the torus T" (a non-trivial transformation of a double coil). In case 5 the torus T" merge into the manifold K; and disappears from the surface H = const. Changing the direction of the motion of the torus T", we obtain five inverse processes: (1) the production of the torus T" from the torus T", (2) the trivial production of the two tori Tl and Tz from one torus T", (3) the non-trivial merging of the two tori Ti" and Tz into one torus T", (4) the non-trivial transformation of the torus T" into the torus T" (double coil), (5) the transformation of Ka into the torus T. The previously known rearrangements of two-dimensional tori in the
Kovalevskii case and in the Goryachev-Chaplygin case (see M. P. Kharlamov, A topological analysis of classical integrable systems in solid body dynamics, DAN SSSR, 273, no. 6 (1983), 1322-1325) are special cases (and compositions) of the rearrangements described in Theorem 4. When changing H, the torus T" drifts along the surface X"" of the level of the integrals f2,. . , f". It can happen that T" contracts to 1
-
the torus T" -1. These limiting degenerations emerge in mechanical
systems with dissipation. If we introduce small friction into the integrable system, we can assume, to a first approximation, that the energy dissipation is modelled using a decrease in the value H and causes, consequently, a slow evolution (drift) of the Liouville tori along
Xn+1. An answer to the question-What kind of topology is the topology of the surfaces Xn+1?-is given by the following theorem. THEOREM 24.5
Suppose M2 is a smooth symplectic manifold and the
system v = s grad H is integrable using the smooth independent f2,.. ., f ". Suppose Xn+1 is any fixed noncommuting integrals H = singular compact common surface of the level of the last n - 1 integrals. Suppose the restriction H on X"+1 is a Morse function. Then
X"+i
m(D2 x
T"-1) +
p(T" x D1) + q(N2 x
T"-1)
+ Y sa(A j) +
raK" 1,
a#o
i.e. a splice of boundary tori (using some diffeomorphisms) of the following "elementary bricks" is obtained: m dissipative complete tori, p
cylinders, q torus oriented saddles, s = aeo sa torus non-oriented saddles and r = ro + r1 non-oriented cylinders. The number m equals
274
A. T. FOMENKO AND V. V. TROFIMOV
the number of limiting degenerations of the system v in X"', in which H
reaches a local minimum or maximum. Theorem 24.3 follows from Theorem 24.5 when n = 2. All the above results also hold for Hamiltonian systems permitting "noncommutative
integration." In these cases the Hamiltonian H is included in the noncommutative Lie algebra of G functions on Men, such that the rank G + dim G = dim Men. Then the trajectories of the system move with respect to the tori T', where r = rank G. When proving the above results we use the following statements.
Suppose in the singular fiber B, there is exactly one critical saddle torus Tn-1. (1) Suppose the integral f is orientable in Xn+1 and a < c < b, where a and b are close to c. Then Cb = (f < b) is LEMMA 24.1
homotopically equivalent to C. = (f < a), to which the manifold P-1 x D1 is attracted with respect to the two non-intersecting tori T;,- I and T2a 1. (2) Suppose the integral f is non-orientable. Then Cb is homotopically equivalent to Ca, to the boundary B. of which, using the
torus T"', is attracted the n-dimensional manifold Y" which has the
a fibration y",, 'D' Tn- 1, which corresponds to the nonzero element aE71z-1 =H,(Tn-1,7L2). (3)
boundary P-1 and which
is
Further, each of the tori Tl a 1, T2, a 1, T" 1 always realizes one of the generatrices in the group of homologies Hn
(T.", Z) = 7L" -1. If any of
these (n - 1)-dimensional tori are attached to one and the same Liouville torus T", they do not intersect and they realize one and the same generatrix of the group of homologies H. -I (Ta , 71), and therefore
they are always isotopic in the torus T".
We will provide one more description of the three-dimensional surfaces Q of constant energy of the integrable (using an oriented Morse
integral) systems on W. Let us suppose that all critical manifolds of integral f are orientable. Suppose m is the number of stable periodic solutions of the system in Q, on which f reaches the minimum or maximum. Consider the two-dimensional connected closed compact orientable manifold Ma of the genus g, where g > 1 (i.e. a sphere with g handles) and take the product Mg x S'. We shall separate an arbitrary finite set of non-intersecting and self-non-intersecting smooth circles a;
in Ma , among which there are exactly m contractible circles (the remainder are non-contractible in MB ). In Mp X S2 the circles 01i determine the tori Ti' = at x S1. We will cut out Ma x S' with respect to all these tori, after which we will inversely identify these tori using
INTEGRABLE SYSTEMS ON LIE ALGEBRA
275
some diffeomorphisms. As a result we obtain a new three-dimensional manifold. It appears that the surface Q has precisely this form.
Find an explicit convenient corepresentation of the group ir1(Q), where Q' is the surface from Theorem 24.3. Give an explicit PROBLEM
classification of the surfaces of constant energy of the integrable systems
of arbitrary dimension. How can we make an upper estimate of the number of complete tori (i.e. stable periodic solutions) in Q', in terms of the topological invariants Q (homologies, homotopies) in the general
case. Discuss the complex analytical analog of the Morse theory of integrable systems constructed above. Does an integrable foliation to the two-dimensional (in a real sense) complex tori exist in the analytical manifold M4? Probably, we can obtain these obstacles in explicit form in examples of surfaces of the K3 type. 243. New topological invariant of integrable Hamiltonians
In this section we describe the topological invariant, which was introduced by A. T. Fomenko on the basis of his Morse-type theory of Bottian integrals. Let M4 be a symplectic manifold, v be a Hamiltonian system with
Hamiltonian H; v is completely integrable on the compact regular surface Q' = (H = const); f : Q - R is a second independent Bottian integral on Q. The critical submanifolds of f are isoenergetic
non-degenerate in Q. The Hamiltonian H will be called non-resonance if the set of Liouville's tori with irrational trajectories of v is dense in Q. The set f -'(a) is the set of tori in the case when a e R is regular.
THEOREM 24.6 (A. T. Fomenko) There exists a one-dimensional graph Z(Q, f), two-dimensional closed compact surface P(Q, f) and the
embedding h : Z(Q, f) -- P(Q, f ), which are naturally and uniquely defined by the integrable non-resonance Hamiltonian H with the Bottian integral f on Q. The triple (Z, P, h) does not depend on the choice of the second integral f This means that if f and f are two arbitrary Bottian integrals of a given system, the graphs Z and Z' are homeomorphic, the surfaces P and P' are homeomorphic, and the diagram
h:ZP h':Z'-P'
276
A. T. FOMENKO AND V. V. TROFIMOV
is commutative. Consequently, the graph Z(Q), surface P(Q) and the embedding h(Q): Z(Q) - P(Q) are the topological invariants of the integrable case (of Hamiltonian H) proper.
The triple Z(Q), P(Q), h(Q) allow us to classify the integrable Hamiltonians corresponding to their topological types. In particular, we can now demonstrate the visual difference between the invariant topological structure of the Kovalevskaya case, Goryachev-Chaplygin case and so on. The subdivison of the surface P(Q) into the sum of the domains is also the topological invariant of the Hamiltonian H and describes its topological complexity. The graph which is dual to the graph Z on the surface P, has the vertices of the
multiplicity no more than four. The collection of the graphs Z(Q), surfaces P(Q) and embeddings h(Q) is the total topological invariant (topological portrait) of integrable Hamiltonian H. Let us construct the graph Z(Q, f). If a is a non-critical regular value for f, then fQ is a union of a finite number of Liouville's tori. Let us represent these tori by the points in R3 lying on the level a. Changing the value of a (in the domain of regular values), we force the points to move along the vertical in R3. Consequently, we obtain some intervals, viz. the
part of the edges of our graph Z. Let us suppose that the axis R is oriented vertically in R3. If the value a becomes critical (we denote such values by c), the critical (singular) level of the integral f becomes more complicated. Let f, be a connected component of a critical level surface of the integral. We denote by N, the set of critical points of the integral f on f c.
Let us consider two cases: (a) N, = f, (b) Nc c f c. In Section 24.2 A. T. Fomenko gives the complete description of all cases and the topological structure of f,. (See [149], [150].) Let us consider case (a). Here only three types of critical sets are possible.
The "minimax circle" type. Here Nc = f and this set is homeomorphic to a circle S'. The integral f has a minimum or maximum on S'. The circle S' is the axis of the filled torus which foliated
into non-singular two-dimensional Liouville's tori. We represent this minimax circle by the black point (a vertex of the graph) with one edge (interval) entering the point or emerging from it. The "torus" type. Here N, = fc. This set is homeomorphic to a two-
dimensional critical torus. The integral f has a local minimum or maximum on this torus. The tubular neighborhood of this torus in Q is
INTEGRABLE SYSTEMS ON LIE ALGEBRA
277
homeomorphic to the direct product T2 x D1. We represent this minimax torus by the white point (the vertex of the graph). Two edges of
the graph Z enter this vertex or emerge from it. The "Klein bottle" type. Here N, = f . This set is homeomorphic to a two-dimensional Klein bottle K2. The integral f has the local minimum or maximum on this manifold. The tubular neighborhood of KZ is homeomorphic to the skew product of K2 and the interval D'. We represent this minimax Klein bottle by a white disc with a black point at the centre (the vertex of graph Z). One edge of the graph Z enters this vertex or emerges from it. Let us consider case (b). Here N, c f and N, # f. Here N, is a union of non-intersecting critical circles in f,. Each of these circles is a saddle circle for f. We shall call the corresponding connected component f a saddle component. Each saddle component f, is represented by a flat horizontal square in R' on the level c. Some edges of the graph Z enter the square from below (when a -+ c and a < c). Some other edges of graph Z emerge upwards from the square (when a > c). Finally we define some of graph A which consists of the regular edges described above. Some edges enter the vertices like the three types described above. Graph A is a subgraph in graph Z. Graph A was obtained from the union of the edges which are the traces of the points representing the regular Liouville tori. Let us define the graphs T. We consider a vector field w = grad f on Q. Let us call by separatrices the integral trajectories of w which enter the critical points on critical submanifolds (or emerge from them) and call
their union the separatrix diagram of a critical submanifold. Then we consider the local separatrix diagram of each saddle critical circle S'. Let us consider two regular values c - e and c + e which are close to c. They
define the regular Liouville tori above and below fc. The separatrix diagrams of critical circles meet these tori and intersect them along some smooth circles. These curves of intersection divide each torus into the sum of two-dimensional domains which will be referred to as regular. Each inner point of a regular domain belongs to the integral trajectory of the field w, which is not a separatrix. The trajectory goes upwards and leaves aside the critical circles on the level f . Then the trajectory meets
some torus on the upper non-singular level fc+,. We obtain a certain correspondence (homeomorphism) between regular domains on the
levels f _ and f,+,. Let us consider the orientable case, when all separatrix diagrams are orientable. Since each regular torus is
278
A. T. FOMENKO AND V. V. TROFIMOV
represented by a point on graph A, we can join the corresponding points
by arcs which represent the bundle of parallel integral trajectories. Consequently we obtain some of graph T . All edges of the graph T represent the trajectories of single regular domains of Liouville's tori. The tori break down into the sum of single pieces, then these pieces are transposed and joined into new tori again. Each upper torus is formed from the pieces of lower tori (and conversely). The ends of the edges of the graph T, are identified with some ends of the edges of the graph A. Graph T demonstrates the process of transformation of lower tori into
upper tori after their intersection with a saddle critical level of the integral.
Let us consider the non-orientable case when we have the critical circles with non-orientable separatrix diagrams. Let us consider all Liouville's tori which are in contact with the level surface f, with a nonorientable separatrix diagram of some critical circles on f. Let us mark by asterisks all regular domains on these tori which are in contact with non-orientable separatrix diagrams. We mark by asterisks the corresponding edges of the graph. Finally we double all edges of the graph (preserving the number of its vertices) and denote the resulting
graph as T. Finally, we define the graph Z as the union Z = A + E, T, where {c} are the critical values of f Let us construct the surface P(Q, f ). This surface is obtained as the union P(A) + E, P(T) (here {c} are the critical values off) where P(A) and P(T) are two-dimensional surfaces with boundary. Here P(A) = (A x S') + > D2 + Y U2 + Z S1 x V. Here A = Int A, > D2 denotes the non-intersecting 2-discs corresponding to the vertices of the graph A, which have a "minimax circle" type; 2]p2 denotes the non-intersecting MObius bands, corresponding to the vertices of the graph A, which have a "Klein bottle" type; Y S' x D1 denotes the non-intersecting cylinders, corresponding to the vertices of the graph A, which have a "torus type".
The corresponding boundary circles of A x S' are identified with the boundary circles of D2, t2, S' x D' by some homeomorphisms. Let us construct the surfaces P(T,). Let us consider the orientable case. Fomenko proves (see Section 24.2 and [149], [150]) that in this case the surface f is homeomorphic to direct product K, x S1, where K, is some
graph. The graph K, is constructed from several circles, which are tangent in some points. Such circles can be realized as a cycle on the
INTEGRABLE SYSTEMS ON LIE ALGEBRA
279
torus contained in f.. This cycle intersects with a critical circle on f only in one point. The surface f is obtained as a two-dimensional cell-complex by the union of several species of two-dimensional tori along some circles. The tori stick together along the critical circles realizing a non-trivial cycle on the tori. The critical circles do not intersect and they are homologous
in f,. They cut f into the sum of flat rings. Consequently, the circle y (non-homologous to zero) is uniquely defined on a critical level surface
f. We can choose the circle a which is a generator on the torus contained
in f. The circle a is complementary to y. We obtain the set of circles a which are tangent to one another at points on critical circles. Each circle a will be called oval. The ovals can be tangent to one another at several points. The graph K, is the union of all ovals. The surface P(TA) can be realized as "normal section" of a small neighborhood of a critical level surface f in Q. The intersection of P(T)
with f is the graph K,. To realize the surface P(T,) in Q, we must consider the small intervals on the integral trajectories of the field w = grad f, which intersect the graph K, This definition is correct in all non-critical points on K, Let us consider the vertices of the graph K, i.e. the critical points of the integral f on f . Then we consider the small squares orthogonal to the critical circles on f. The surface P(T) is the union of these squares and the bands, which are formed from the small intervals defined above. Finally, we identify the boundary circles of the surface P(A) with the boundary circles of the surfaces P(7 ). The graph K, is embedded in the surface P(T). We obtain some graph K as the union of all graphs K, and all boundary circles, described above.
THEOREM 24.7 (A. T. Fomenko) The graph Z(Q, f) is conjugate to
the graph K(Q,f) in the surface P(Q, f ). Consequently, the graph Z(Q, f) is embedded in the surface P(Q, f ). The surface P(Q, f) does not embed (in general case) in the surface Q. The construction of the triple Z, P, h is finished. Theorem 24.6 states that this triple does not depend from the choice of the Bottian integral f PROPOSITION
Let f and f be two arbitrary Bottian integrals of a
system v. Then the homeomorphism h : Z(Q, f) -+Z(Q, f') (see
Theorem 24.6) transforms the subgraphs TT into the subgraphs T,'. The asterisks of the graph Z(Q, f) are mapped into the asterisks of the graph
280
A. T. FOMENKO AND V. V. TROFIMOV
Z(Q, f'). The vertices of the types "minimax circle" and "Klein bottle" on the graph Z(Q, f) are mapped into the vertices of the same type on the graph Z(Q, f '). The vertices of the "torus type" on the graph Z(Q, f) may change their type and be mapped into the usual inner points of some edge on the graph Z(Q, f'). Conversely, some usual inner points of the edges on the graph Z(Q, f) can be mapped into the vertices of the "torus type" on the graph Z(Q, f'). This event corresponds (from the analytical point of view) to the operation f -+ f 2 (square of function) or, conversely, to the operation f (square root). If a non-resonance Hamiltonian H is fixed, we can consider all its nonsingular isoenergetic surfaces Q. This set consists (in concrete cases) usually of a finite number of triples (Z, P, h). We formulate the new definition based on Theorem 24.6.
DEFINITION We shall call the triple Z(Q), P(Q), h(Q) an invariant topological portrait of a non-resonance integrable Hamiltonian H on a fixed isoenergetic surface Q. The discrete set of all triples {Z, P, h} will be
called the total topological invariant portrait of the integrable Hamiltonian. We shall obtain the following corollary from Theorem 24.6. If two integrable systems have non-homeomorphic topological portraits, then there exists no transformation of coordinates which would realize the equivalence of these systems. So, the systems with non-homeomorphic
topological portraits are non-equivalent. On the other hand, nonequivalent systems with homeomorphic topological portraits do exist. Practically all the results listed above are also valid in the multidimensional case. These results will be described in a separate paper by Fomenko.
Bibliography
[1] Arnol'd V. I., Mathematical Methods in Classical Mechanics, Nauka, Moscow, 1974 (English translation, Springer-Verlag, Berlin and New York, 1978). [2] Adler M., van Moerbeke P., Completely integrable systems, Euclidean Lie algebras and curves, Adv. in Math., 38, no. 3 (1980), 267-313.
[3] Adler M., van Moerbeke P., Linearization of Hamiltonian systems, Jacobi varieties and representation theory, Adv. in Math., 38, no. 3 (1980), 318-379. [4] Avez A., Lichnerowich A., Diaz-Miranda A., Sur l'algi bre des automorphises infinitesimaux d'une varii ti symplectique, J. Differential Geometry, 9, no. 1(1974), 1-40.
[5] Adler M., On a trace functional for formal pseudo-differential operators and the symplectic structure for Korteweg-de Vries type equations, Invent. Math., 50 (1979),219-248. [6] Adler M., Some finite dimensional systems and their scattering behaviour, Comm. Math. Phys., 55 (1977). [7] Adler M., On a trace functional for formal pseudo-differential operators and the Hamiltonian structure of Korteweg-de Vries type equations, Lecture Notes in Math., no. 755 (1979), 1-16. [8] Adler M., Moser J., On a class of polynomials connected with the Kortewegde Vries equation, Comm. Math. Phys. (1978), 1-30.
[9] Airault H., McKean H. P., Moser J., Rational and elliptic solutions of the Korteweg-de Vries equation and related many body problem, Comm. Pure Appl. Math., 30 (1977), 95-148. [10] Arkhangel'sky A. A., Completely integrable Hamiltonian systems on a group of triangular matrices, Mat. Sb., 108, no. 1 (1979), 134-142 (in Russian). [11] Hourbaki N., Groupes et Algebres de Lie, Chapters IV-VI, Hermann, Paris VI, 1968.
[12] Borho W., Gabriel P., Rentschler R., Primideal in Einhiillenden Auflbsbaren LieAlgebren, Lecture Notes in Math., no. 357 (1973), Springer-Verlag, Berlin. [13] Belyayev A. V., On the motion of a multi-dimensional body with a fixed point in a gravitational field, Mat. Sb., 114, no. 3 (1981), 465-470 (in Russian). [14] Bogoyavlensky O. J., New algebraic constructions of integrable Euler equations, Reports USSR Acad. Sci., 268, no. 2 (1983), 277-280 (in Russian). [15] Bogoyavlensky O. J., On perturbation of the periodic Toda lattice, Comm. Math. Phys., 51 (1976), 201-209. 281
282
A. T. FOMENKO AND V. V. TROFIMOV
[16] Burchnall J. L., Chaundy T. W., Commutative ordinary differential operators, Proc. London Math. Soc., 81 (1922), 420-440; Proc. Royal Soc. London (A), 118 (1928), 557-593; Proc. Royal Soc. London (A), 134 (1931), 471-485.
[17] Berezin F. A., Perelomov A. M., Group-theoretical interpretation of the Korteweg-de Vries type equation, Comm. Math. Phys. [18] Brailov A. V., Some cases of complete integrability of Euler equations and their applications, Dokl. Akad. Nauk SSSR, 268, no. 5 (1983), 1043-1046 (in Russian). [19] Brailov A. V., Involutive sets on Lie algebras and expansion of the ring of scalars, Moscow Univ. Yestnik, Ser. 1, Math. Mech., no. 1 (1983), 47-51 (in Russian). [20] Calogero F., Solutions of the one-dimensional n-body problems with quadratic and/or inversely quadratic pair potentials, J. Math. Phys., 12 (1971), 419-436. [21] Dao Chong Thi, The integrability of Euler equations on homogenous symplectic manifolds, Mat. Sb., 106, no. 2 (1978), 154-161 (in Russian). [22] Dubrovin B. A., Theta functions and non-linear equations, UMN, 35, pt. 2 (1981), 11-80 (in Russian). [23] Dubrovin B. A., Completely integrable Hamiltonian systems, which are connected with matrix operators, and Abelian manifolds, Functional Anal. Appl., 11, pt. 4 (1977), 28-41 (in Russian). [24] Dubrovin B. A., Novikov S. P., Fomenko A. T., Modern Geometry-Methods and Applications, Nauka, Moscow, 1979 (in Russian), (English translation, SpringerVerlag, Berlin and New York, 1984). [25] Dikiy L. A., A note on Hamiltonian systems connected with a rotations group, Functional Anal. Appl., 6, pt. 4 (1972), 83-84 (in Russian). [26] Dixmier J., Algebres Enveloppantes, Gauthier-Villars, Paris, Brussels, Montreal, 1974.
[27] Dixmier J., Duflo M., Vergne M., Sur la representation coadjointe d'une algebre de Lie, Compositio Math. 25 (1974), 309-323.
[28] Dubrovin B. A., Matveyev V. B., Novikov S. P., Non-linear equations of the Korteweg-de Vries type, finite-zone linear operators and Abelian manifolds, UMN, 31, pt. 1 (1976), 55-136 (in Russian). [29] Eisenhart L. P., Continuous Groups of Transformations, Princeton University, 1933.
[30] Elashvili A. G., The canonical form and stationary subalgebras of general position points for simple linear Lie groups, Functional Anal. Appl., 6, pt. 1(1972), 51-62 (in Russian). [31] Elashvili A. G., Stationary subalgebras of general position points for irreducible linear Lie groups, Functional Anal. Appl., 6, pt. 2 (1972), 65-78 (in Russian). [32] Fomenko A. T., On symplectic structures and integrable systems on symmetric spaces, Mat. Sb., 115, no. 2 (1981), 263-280 (in Russian). [33] Fomenko A. T., Group symplectic structures on homogeneous spaces, Dokl. Akad. Nauk SSSR, 253, no. 5 (1980), 1062-1067 (in Russian). [34] Fomenko A. T., The algebraic structure of certain classes of completely integrable systems on Lie algebras, in collection of scientific works, Geometrical Theory of Functions and Topology, Kiev 1981, Institute of Mathematics of Ukrainian SSR Academy of Sciences, pp. 85-126 (in Russian). [35] Fomenko A. T., The complete integrability of certain classic Hamiltonian systems, in collection of scientific works, One-valued Functions and Mappings, Kiev 1982,
INTEGRABLE SYSTEMS ON LIE ALGEBRA
283
Institute of Mathematics of Ukrainian SSR Academy of Sciences, pp. 3-19 (in Russian). [36] (a) Fomenko A. T., Algebraic properties of some integrable Hamiltonian systems. Topology, Proceedings, Leningrad 1982, Lecture Notes in Math., No. 1060 (1984), 246-257, Springer-Verlag, Berlin. (b) Fomenko A. T., Algebraic structure of certain integrable Hamiltonian systems. Global analysis-Studies and applications. I, Lecture Notes in Math. no. 1108 (1984), 103-127, Springer-Verlag, Berlin. (c) Fomenko A. T., The integrability of some Hamiltonian systems, Annals Global Anal. Geometry, 1, no. 2 (1983), 1-10. (d) Fomenko A. T., Topological Variational Problems, Moscow State University Press, Moscow, 1984. [37] Flaschka H., On the Toda lattice I, Phys. Rev. B, 9 (1974), 1924-1926. [38] Flaschka H., Toda lattice II, Progr. Theor. Phys., 51 (1974), 703-716. [39] Gorr G. V., Kudryashova L. V., Stepanova L. A., Classical Problems of Rigid Body Dynamics. Development and Contemporary State, Scientific Thought, Kiev, 1978 (in Russian).
[40] Gel'fand I. M., Dikiy L. A., Fractional degrees of operators and Hamiltonian systems, Functional Anal. Appl., 10, no. 4 (1976), 13-19 (in Russian).
[41] Gel'fand I. M., Dorfman I. Ya., Hamiltonian operators and the algebraic structures connected with them, Functional Anal. Appl., 13, pt. 4 (1979), 13-30 (in Russian). [42] Gardner C., Korteweg-de Vries equation and generalization IV. The Korteweg-
de Vries equation as a Hamiltonian system, J. Math. Phys., 13, no. 8 (1971), 1548-1551. [43] Guillemin V., Quillen D., Sternberg S., The integrability of characteristics, CPAM, 23 (1970), 39-77. [44] Guillemin V., Sternberg S., Geometric asymptotics, Math. Surveys, no. 14 (1977), American Mathematical Society, Providence, RI.
[45] Gardner C. S., Geen J. M., Kruskall M. D., Miura R. M., Korteweg-de Vries equation and generalization VI. Methods for exact solutions, Comm. Pure Appl. Math., 27 (1974), 97-133.
[46] Godbillon C., Geombtrie differentielle et mecanique analytique, Collection Methodes, Hermann, Paris, 1969. [47] Goto M., Grosshans F. D., Semisimple Lie algebras, Lecture Notes in Pure and Appl. Math., 38 (1978), Marcel Dekker, New York and Basel. [48] Helgason S., Differential Geometry and Symmetric Spaces, Academic Press, New York and London, 1962. [49] Jacob A., Stemberg S., Coadjoint structures, solutions and integrability, Lecture Notes in Physics, 120 (1980), Springer-Verlag, Berlin. [50] Jacobson N., Lie Algebras, Interscience (John Wiley and Sons), New York and London.
[51] Kochin N. E., Kibel' I. A., Roze N. V., Theoretical Hydromechanics, pt.
1,
Fizmatgiz, Moscow, 1963 (in Russian).
[52] Krichiver I. M., Methods of algebraic geometry in the theory of non-linear equations, UMN, 33, pt. 6 (1977), 183-208. [53] Kostant B., Quantization and unitary representations: Part 1, Prequantization.
284
A. T. FOMENKO AND V. V. TROFIMOV
Lectures in Modem Analysis and Applications, Lecture Notes in Math., no. 170 (1970), Springer-Verlag, Berlin. [54] Kostant B., The solution to a generalized Toda lattice and representation theory, Adv. in Math., 34, no. 3 (1980), 195-338. [55] Kulish P. P., Reymann A. G., The hierarchy of symplectic forms for Schriidinger and Dirac equations on a straight line, Records Sci. Seminars LOMI, 77 (1978), 134-147 (in Russian).
[56] Kazhdan D., Kostant B., Sternberg S., Hamiltonian groups: actions and dynamical systems of Calogero type, Comm. Pure Appl. Math., 31, no. 4 (1978), 481-507.
[57] Krasil'shchik I. S., Hamiltonian cohomologies of canonical systems, Reports USSR Acad. Sci., 251, no. 6 (1980), 1306-1309 (in Russian). [58] Knorrer H., Geodesics on the ellipsoid, Invent. Math., 59, no. 2 (1980), 119-144. [59] Kozlov V. V., Qualitative Analysis Methods in Rigid Body Dynamics, MGU, Moscow, 1980 (in Russian). [60] Kozlov V. V., Onishcherlko D. A., The non-integrability of the Kirchoff equations, Reports USSR Acad. Sci., 266, no. 6 (1982), 1298-1300 (in Russian). [61] Kupershmidt B. A., Wilson G., Conservation laws and symmetries of generalized Sine-Gordon equations, Comm. Math. Phys., 81 (1981), 189-202.
[62] Kupershmidt B. A., Wilson G., Modifying Lax equations and the second Hamiltonian structure, Invent. Math., 62 (1981), 403-436. [63] Kirillov A. A., Unitary representations of nilpotent Lie groups, UMN, 17, pt. 4 (1962), 57-110 (in Russian). [64] Landau L. D., Lifshits E. M., Continuous Medium Electrodynamics, Fizmatgiz, Moscow, 1959 (in Russian). [65] Langlois M., Contribution a 1'etude du mouvement du corps rigide a N dimensions autour d'un point fixe, in These presentee d la faculte des sciences de l'universite de Besancon, Besangon, 1971. [66] Lax P. D., Integrals of nonlinear equations of evolution and solitary waves, Comm. Pure Appl. Math., 21, no. 5 (1968), 467-490.
[67] Lebedev D. R., Manin Yu. I., The Gel'fand-Dikiy Hamiltonian operator and the coadjoint representation of a Volterra group, Functional Anal. Appl., 13, pt. 4 (1980), 40-46 (in Russian). [68] Loos 0., Symmetric Spaces, vol. 1, 2, Benjamin, New York and Amsterdam, 1969. [69] Milnor J., Stasheff J., Characteristic Classes, Princeton University Press, NJ, 1974. [70] McKean H., Integrable systems and algebraic curves, in Global Analysis, Lecture Notes in Math., no. 755 (1979), 83-200, Springer-Verlag, Berlin. [71] McKean H., Trubowitz E., Hill's operator and hyperelliptic function theory in the presence of infinitely many branch points, Comm. Pure Appl. Math., 29 (1976), 143-226. [72] van Moerbeke P., Mumford D., The spectrum of difference operators and algebraic curves, Acta Math., 143 (1979), 93-154.
[73] Meshcheryakov, M. V., The integration of equations of geodesic left-invariant metrics on simple Lie groups with the help of special functions, Mat. Sb., 117, no. 4 (1982), 481-493 (in Russian). [74] Manakov S. V., Note on the integration of Euler equations of the dynamics of a ndimensional rigid body, Functional Anal. App!., 10, pt. 4 (1976),93-94 (in Russian).
INTEGRABLE SYSTEMS ON LIE ALGEBRA
285
[75] Marsden J., Weinstein A., Reduction of symplectic manifolds with symmetry, Reports Math. Phys., 5, no. 1 (1974), 121-130. [76] Mozer J., Various aspects of integrable Hamiltonian systems, in Proc. CIME Conf., Bressanone, Italy (June 1978).
[77] Mozer J., Three integrable Hamiltonian systems connected with isospectral deformations, Adv. Math., 16, no. 2 (1975), 197-220. [78] Mozer, J., Geometry of quadrics and spectral theory, in The Chern Symposium 1979, pp. 147-188, Springer-Verlag, Berlin, 1980.
[79] Mozer J., Finitely many mass points on the line under the influence of an exponential potential: an integrable system, Lecture Notes in Physics-Dynamical Systems, Theory and Application, ed. J. Mozer, 28 (1975), 467-498. [80] van Moerbeke P., The spectrum of Jacobi matrices, Invent. Math., 37 (1976), 45-81. [81] van Moerbeke P., The Floquet theory for periodic Jacobi matrices, Invent. Math., 37 (1976), 1.
[82] Moody B., A new class of Lie algebras, J. Algebra, 10 (1968), 211-230. [83] Mishchenko A. S., Integrals of geodesic flows on Lie groups, Functional Anal. Appl., 4, pt. 3 (1970), 73-77 (in Russian). [84] Mishchenko A. S., The integration of geodesic flows on symmetric spaces, Math. Notes ("Zametki"), 31, no. 2 (1982), 257-262 (in Russian). [85] Magri F., A simple model of the integrable Hamiltonian equation, J. Math. Phys., 19 (1978), 1156-1162.
[86] Mumford D., An algebra-geometric construction of commuting operators and of solution to the Toda lattice equation and related nonlinear equations, Proc. Int. Symp. on Algebraic Geometry, Kyoto, 1977, pp. 115-153.
[87] Mishchenko A. S., Fomenko A. T., A Course of Differential Geometry and Topology, MGU, Moscow, 1980 (in Russian). [88] Mishchenko A. S., Fomenko A. T., A generalized method for Liouville integration
of Hamiltonian systems, Functional Anal. App!., 12, pt. 2 (1978), 46-56 (in Russian).
[89] Mishchenko A. S., Fomenko A. T., Euler equations on finite-dimensional Lie groups, Izv. Akad. Nauk SSSR (Math. Ser.), 42, no. 2 (1978), 396-415 (in Russian).
[90] Mishchenko A. S., Fomenko A. T., The integrability of Euler equations on semisimple Lie algebras, Works of the Seminar on Vector and Tensor Analysis, pt. 19
(1979), 3-94 (in Russian). [91] Mishchenko A. S., Fomenko A. T., The integration of Hamiltonian systems with
non-commutative symmetries, Works of the Seminar on Vector and Tensor Analysis, pt. 20 (1981), 5-54 (in Russian).
[92] Mishchenko A. S., Fomenko A. T., On the integration of Euler equations on semisimple Lie algebras, Reports USSR Acad. Sci., 231, no. 3 (1976), 536-538 (in Russian). [93] Mishchenko A. S., Fomenko A. T., Symplectic Lie group actions, Lecture Notes in Math. Algebraic Topology, Aarhus, 1978, no. 763, 1979, pp. 504-538. [94] Novikov S.P., The Korteweg-de Vries periodic problem 1, Functional Anal. App!., 8, no. 3 (1974), 54-66 (in Russian). [95] Novikov S. P., Hamiltonian formalism and the many-valued analogue of Morse's theory, UMN, 37, no. 5 (1982), 3-49 (in Russian).
286
A. T. FOMENKO AND V. V. TROFIMOV
[96] Novikov S. P., Shmel'tser I., Periodic solutions of Kirchoff equations of free
movement of a rigid body in an ideal fluid and the expanded LustemikSchnirelman-Morse (LSM) theory. I, Functional Anal. Appl., 15, pt. 3 (1981, 54-66; 11, Functional Anal. App!., 15, pt. 4 (1982), 3-49 (in Russian). [97] Nekhoroshev N. N., Action-angle variables and their generalization, Works of MMO, vol. 26, 1972, pp. 181-198, MGU, Moscow (in Russian). [98] Olshanetsky M. A., Perelomov A. M., Explicit solutions of certain completely integrable Hamiltonian systems, Functional Anal. App!., 11, pt. 1 (1977),75-76 (in Russian) [99] Olshanetsky M. A., Perelomov A. M., Geodesic flows on zero curvature symmetric spaces and explicit solutions of the generalized Calogero model, Functional Anal. Appl., 10, pt. 3 (1976), 86-87 (in Russian). [100] Olshanetsky M. A., Perelomov A. M., Explicit solutions of the classical generalized Toda models, Invent. Math., 56 (1976), 261-269. [101] Olshanetsky M. A., Perelomov A. M., Completely integrable Hamiltonian systems connected with semisimple Lie algebras, Invent. Math., 37 (1976), 93-109. [102] Poincarb H., Methodes Nouvelles, 1, Chapter 5, 1892. [103] Perelomov A. M., Some observations on the integration of the equations of motion of a rigid body in an ideal fluid, Functional Anal. Appl.,15, pt. 2 (1981) (in Russian). [104] Perelomov A. M., The simple relation between certain dynamical systems, Comm. Math. Phys., 63 (1978), 9-11. [105] Pevtsova T. A., The symplectic structure of orbits of the coadjoint representation of Lie algebras of the type Exp G, UMN, 37, no. 2 (1982), 225-226 (in Russian).
[106] Patera J., Sharp R. T., Winternitz P., Zassenhaus H., Invariants of real lowdimension Lie algebras, J. Math. Phys., 17, no. 6 (1976), 986-994.
[107] Reyman A. G., Semyonov-Tyan-Shansky M. A., Reduction of Hamiltonian systems, affine Lie algebras and Lax equations, Invent. Math., 54, no. 1 (1979), 81-100.
[108] Reyman A. G., Semyonov-Tyan-Shansky M. A., Reduction of Hamiltonian systems, affine Lie algebras and Lax equations II, Invent. Math., 63, no. 3 (1981), 423-432.
[109] Reyman A. G., Semyonov-Tyan-Shansky M. A., Flow algebras and nonlinear equations in partial derivatives, Reports USSR Acad Sci., 251, no. 6 (1980), 1310-1314 (in Russian).
[110] Reyman A. G., Semyonov-Tyan-Shansky M. A., Frenkel' I. 1., Graduated Lie algebras and completely integrable dynamic systems, Reports USSR Acad. Sci., 247, no. 4 (1979), 802-805 (in Russian).
[111] Reyman A. G., Integrable Hamiltonian systems connected with graduated Lie algebras. Differential geometry, Lie groups and mechanics III, Notes LOMI Sci. Sem., 95 (1980), 3-54 (in Russian).
[112] Ratiu T., The C. Neumann problem as a completely integrable system on an adjoint orbit, Trans. Amer. Math. Soc., 264, no. 2 (1981), 321-329. [113] Ratiu T., The motion of the free n-dimensional rigid body, Indiana Univ. Math. J., 29, no. 4 (1980), 609-629.
[114] Ratiu T., On the smoothness of the time t-map of the K dV equation and the bifurcation of the eigenvalues of Hill's operators, Lecture Notes in Math., no. 755 (1979),248-294.
INTEGRABLE SYSTEMS ON LIE ALGEBRA
287
[115] Ratiu T., Euler-Poisson equation on Lie algebras and N-dimensional heavy rigid body, Proc. Nat. Acad. Sci. USA Phys. Sci., 78, no. 3 (1981), 1327-1328. [116] Rentschler R., Vergne M., Sur le semi-centre du corps enveloppant d'une algebre de Lie, Ann. Sci. Ecole Norm. Sup., 6 (1973), 380-405. [117] Rashchevsky P. K., Geometrical Theory of Equations with Partial Derivatives, Ogiz, Gostekhizdat, 1947 (in Russian). [118] Rals M., Indices of semi-direct product Exp (5, C. R. Acad. Sci. Paris, 287, no. 4 (1978), Ser. A, 195-197. [119] Symes W., Systems of Toda type, inverse spectral problems and representation theory, Invent. Math., 59, no. 1 (1980), 13-53. [120] Sternberg S., Lecture on Differential Geometry, Prentice-Hall, Englewood Cliffs, NJ, 1964. [121] Souriau J. M., Structure des systemes dynamiques, in Maitrises de Mathematique, Dunod, Paris, 1970. [122] Tits J., Sur les constantes de structure et le theorime d'existence des algebres de Lie semi-simples, Publ. Math. Paris, 31 (1966), 21-58. [123] Trofimov V. V., Fomenko A. T., Methods for constructing Hamiltonian flows on symmetric spaces and the integrability of some hydrodynamic systems, Dokl. Akad. Nauk SSSR, 254, no. 6 (198Q), 1349-1353 (in Russian).
[124] Trofimov V. V., Fomenko A. T., Group non-invariant symplectic structures and Hamiltonian flows on symmetric spaces, Works of the Seminar on Vector and Tensor Analysis, pt. 21 (1983), 23-83 (in Russian).
[125] Trofimov V. V., Fomenko A. T., Dynamic systems on orbits of linear representations of Lie groups and the complete integrability of some hydrodynamic systems, Functional Anal. Appl., 17, no. 1(1983), 31-39 (in Russian). [126] Trofunov V. V., Finite-dimensional representations of Lie algebras and completely integrable systems, Mat. Sb., 3, pt. 4 (1980), 610-621 (in Russian). [127] Trofimov V. V., Euler equations on Borel subalgebras of semisimple Lie algebras, Izv. Akad. Nauk SSSR (Math. Ser.), 43, no. 3 (1979), 714-732 (in Russian). [128] Trofunov V. V., Euler equations on finite-dimensional soluble Lie groups, Izv. Akad. Nauk SSSR (Math. Ser.), 44, no. 5 (1980), 1191-1199 (in Russian). [129] Trofunov, V. V., Completely integrable geodesic flows of left-invariant metrics on
Lie groups, connected with commutative graduated algebras with Poincar% duality, Dokl. Akad. Nauk SSSR, 263, no. 4 (1982), 812-816 (in Russian). [130] Trofimov V. V., Methods for constructing S-representations, MGU "Vestnik" Ser. Math. Mekhanika, no. 1 (1984), 3-9 (in Russian). [131] Trofimov V. V., Expansions of Lie algebras and Hamiltonian systems, Izv. Akad. Nauk SSSR (Math. Ser.) (1983) (in Russian). [132] Takiff S. J., Rings of invariant polynomials for a class of Lie algebras, Trans. Amer. Math. Soc., 160 (1971), 249-262. [133] Vinogradov A. M., Kupershmidt B. A., The structure of Hamiltonian mechanics, UMN, 32, pt. 4 (1977), 175-236 (in Russian). [134] Vergne M., La structure de Poisson sur 1'algebre symmbtrique d'une algebre de Lie nilpotente, Bull. Soc. Math. France, 100 (1972), 301-335.
[135] Vesclov A. P., Finite zone potentials and integrable systems on a sphere with quadratic potential, Functional Anal. Appl., 14, pt. 1 (1980), 48-50 (in Russian). [136] Vinogradov A. M., Krasil'shchik I. S., What is Hamiltonian formalism?, UMN,
288
A. T. FOMENKO AND V. V. TROFIMOV
30, pt. 1 (1975), 173-198 (in Russian).
[137] Vishchik S. V., Dolzhansky F. V., Analogues of Euler-Poisson and magnetic hydrodynamics equations, connected with Lie groups, Reports USSR Acad. Sci., 238, no. 5 (1978), 1032-1035 (in Russian). [138] Wilson G., Commuting flow and conservation laws for Lax equations, Math. Proc. Cambridge Philos. Soc., 86 (1979), 131. [139] Wilson G., On two constructions of conservation laws for Lax equations, Quart. J. Math., 32, no. 128 (1981). [140] Whittaker E. T., Analytical Dynamics, Cambridge University Press, Cambridge, UK, 1960. [141] Wintner A., Celestial Mechanics, Princeton University Press, Princeton, 1947. [142] Zakharov V. E., Faddeyev L. D., The Korteweg-de Vries equation-a completely integrable Hamiltonian system, Functional Anal. Appl., 5, pt. 4 (1971), 18-27 (in Russian). [143] Atiyah M. F., Convexity and commuting Hamiltonian, Bull. London Math. Soc., 14 (1982), 1-5. [144] Atkin C. J., A note on the algebra of Poisson brackets, Math. Proc. Camb. Phil. Soc., % (1984), 45-60. [145] Bogoyavlensky O. I., Integrable Euler equations on and their physical applications, Comm. Math. Phys., 93 (1984), 417-436. [146] Conley C., Zehnder E., Morse-type index theory for flows and periodic solutions for Hamiltonian equations, Comm. Pure Appl. Math., 37, no. 2 (1984), 207-255.
[147] Date E., Jimbo M., Kashiwara M., Miwa T., Landau-Lifshitz equation quasiperiodic solutions and finite dimensional Lie algebras, J. Phys. A.: Math. gen., 16 (1983),221-236. [148] Dhooghe P. F., Backlund equations on Kac-Moody-Lie algebras and integrable systems, J. of Geometry and Physics, 1, no. 2 (1984), 9-38. [149] Fomenko A. T., Morse theory of integrable Hamiltonian systems, Dokl. Akad. Nauk SSSR, 287, no. 5 (1986), 1071-1075 (in Russian).
[150] Fomenko A. T., Topology of the constant energy of integrable Hamiltonian systems and obstacles to the integrability, Izv. Akad. Nauk SSSR, no. 6 (1986) (in Russian).
[151] Fomenko A. T., Topology of three-dimensional manifolds and integrable mechanical Hamiltonian systems. Tiraspol's V. Symposium on general topology and applications. Kischinew (1985), 235-237 (in Russian). [152] Fordy A., Wojcechowski S., Marshall I., A family of integrable quartic potentials related to symmetric spaces, Physics Letters, 113A, no. 8 (1986), 395-400.
[153] Gibbons J., Holm D., Kupershmidt B., Gauge-invariant Poisson brackets for chromohydrodynamics, Physics Letters, 90A, no. 6 (1982), 281-283. [154] Golo V. L., Nonlinear regimes in spin dynamics of superfluid 3He, Letters in Math. Phys., 5 (1981), 155-159.
[155] Godman R., Wallach N., Classical and quantum mechanical systems of Todda lattice type. II, Comm. Math. Phys., 94 (1984), 177-217. [156] Guillemin V., Sternberg S., Symplectic Techniques in Physics, Cambridge University Press, Cambridge, London, Melbourne, Sydney, 1984, 468 pp. [157] Guillemin V., Sternberg S., Convexity properties of the moment mapping, Invent. Math., 67 (1982), 491-513.
INTEGRABLE SYSTEMS ON LIE ALGEBRA
289
[158] Guillemin V., Sternberg S., Multiplicity fry space, J. of Diff. Geom. (1983). [159] Haine L., Geodesic flow on SO(4) and abelian surfaces, Math. Ann., 263, no. 4 (1984), 435-472. [160] Haine L., The algebraic completely integrability of geodesic flow on SO(4), Comm. Math. Phys., 94, no. 2 (1984), 271-282. [161] Holm D., Marsden J., Ratiu T., Nonlinear stability of the Kelvin-Stuart cat's eyes flow, Proc. AMS. SIAM Summer Seminar, Santa Fe, July, 1984, 1-16.
[162] Holm D., Kupershmidt B., Levermore D., Hamiltonian differencing of fluid dynamics, Adv. in Appl. Math., 6 (1985), 52-84.
[163] Holm D., Kupershmidt B., Noncanonical Hamiltonian formulation of ideal magnetohydrodynamics, Physica, 7D (1983), 330-333.
[164] Holm D., Kupershmidt B., Poisson brackets and Clebsch representations for magnetohydrodynamics, multifluid plasmas, and elasticity, Physica, 6D (1983), 347-363. [165] Kac V. G., Infinite Dimensional Lie Algebras, Birkhiiuser, Boston, Basel, Stuttgart, 1983.
[166] Klingenberg W., Riemannian Geometry, Walter de Gruyter, Berlin, New York, 1982.
[167] Kupershmidt B. A., Discrete Lax equations and differential-difference calculus, Asterisque, no. 123 (1985).
[168] Kupershmidt B. A., Deformations of integrable systems, Proc. Royal Irish Academy, 83A, no. 1 (1983), 45-74. [169] Kupershmidt B. A., On dual spaces of differential Lie algebras, Physica, 7D (1983), 334-337. [170] Kupershmidt B. A., Supersymmetric fluid in a fry one-dimensional motion, Lettere at Nuovo Cimento, 40, no. 15 (1984), 476-480. [171] Kupershmidt B. A., Odd and even Poisson brackets in dynamical systems, Letters in Math. Phys., no. 9 (1985), 323-330. [172] Kupershmidt B. A., Mathematical aspects of quantum fluids I. Generalized twococycles of 4He type, J. Math. Phys., 26, no. 11 (1985), 2754-2758.
[173] Kupershmidt B. A., Super Korteweg-de Vries equations associated to super extensions of the Virasoro algebra, Physics Letters, 109A, no. 9 (1985), 417-423. [174] Kupershmidt B. A., Mathematics of dispersive water waves, Commun. Math. Phys., 99 (1985), 51-73.
[175] Kupershmidt B. A., Odd variables in classical mechanics and Yang-Mills fluid. Dynamics, Physics Letters, 112A, no. 6, 7 (1985), 271-272. [176] Kupershmidt B. A., Ratiu T., Canonical maps between semidirect products with applications to elasticity and superfluids, Commun. Math. Phys., 90 (1983), 235-250.
[177] Marsden J. E., Weinstein A., The Hamiltonian structure of the Maxwell-Vlasov equations, Physica, 4D (1982), 394-406.
[178] Marsden J. E., Morrison P. J., Noncanonical Hamiltonian field theory and reduced MHD, Contemporary Mathematics, 28 (1984), 133-150. [179] Marsden J. E., Ratiu T., Weinstein A., Reduction and Hamiltonian structures on duals of semidirect product Lie algebras, Contemporary Mathematics, 28 (1984), 55-99. [180] Marsden J. E., Weinstein A., Coadjoint orbits, vortices, and Clebsch variables for
290
A. T. FOMENKO AND V. V. TROFIMOV
incompressible fluids, Physica, 7D (1983), 305-323. [181] Marsden J. E., Weinstein A., Ratiu T., Schmidt R., Spencer R. G., Hamiltonian systems with symmetry, coadjoint orbits and plasma physics. Proc. IUAMISIMM Symposium on "Modem Developments in Analytical Mechanics," Turin (June 7-11,1982), Atti delta Accademia della Scienza di Torino, 117 (1983),289-340. [182] McDuff D., Examples of simply-connected symplectic non-Kiihlerian manifolds, J. Di/j Geom., 20, no. 1 (1984), 267-277.
[183] Medina A., Structure orthogonale sur une algebre de Lie at structure de Lie-Poisson associee. Seminar de Geometrie diJerentielle, 1983-1984, Universite des sciences et techniques du Languedoc, 113-121. [184] Montgomery R., Marsden J., Ratiu T., Gauged Lie-Poisson structures, Contemporary Math., 28 (1984), 101-114. [185] Mulase M., Cohomology structure in soliton equations and Jacobian varieties, J. D(fl Geom., 19, no. 2 (1984), 403-430. [186] Ness L., A stratification of the null cone via the moment map, Amer. J. Math., 106, no. 6 (1984), 1281-1325. [187] Ratiu T., van Moerbeke P., The Lagrange rigid body motion, Ann. de l'Institute Fourier, 32, no. 1 (1982), 211-234. [188] Thurston W., Some simple examples of symplectic manifolds, Proc. Amer. Math. Soc., 55 (1976), 467-468. [189] Trofimov V. V., The symplectic structures on the groups of automorphisms of the symmetric spaces, MGU "Vestnik" Ser. Math. Mekhanika, no. 6 (1984), 31-33 (in Russian). [190] Trofimov V. V., Deformations of the integrable systems, Analysis on Manifolds and Differential Equations, Voronez, VGU (1986), 156-164 (in Russian). [191] Trofimov V. V., Fomenko A. T., The Liouville integrability of the Hamiltonian systems on the Lie algebras, UMN, 39, no. 2 (1984), 3-56 (in Russian). [192] Trofimov V. V., Fomenko A. T., The geometry of the Poisson brackets and the
methods of the Liouville integration of the systems on the symmetric spaces, Sovremen. Probl. Math. VINITI, 29 (1986), (in Russian). [193] Weinstein A., Symplectic manifolds and their Lagrangian submanifolds, Adv. in Math., 6 (1971), 329-346. [194] Weinstein A., Symplectic geometry, Bull. Amer. Math. Soc., 5 (1981), 1-13. [195] Weinstein A., The local structure of Poisson manifolds, J. of Diff. Geom., 18, no. 3 (1983), 523-557. [196] Le Hong Van, Fomenko A. T., Lagrangian manifolds and Maslov's index in the theory of minimal surfaces, Dokl. Akad. Nauk SSSR (1987) (in print).
[197] Brailov A. V., Some constructions of the complete sets of the functions in involution, Works of the Seminar on Vector and Tensor Analysis, pt. 22 (1985), 17-24 (in Russian). [198] Brailov A. V., Construction of the completely integrable geodesic flows on compact symmetric spaces, Izv. Akad, Nauk SSSR (Math. Ser.), 50, no. 4 (1986),661-674 (in Russian). [199] Brailov A. V., Some cases of the complete integrability of the Euler equations and applications, Dokl. Akad. Nauk SSSR, 268, no. 5 (1983), 1043-1046 (in Russian). [200] Brailov A. V., The complete integrability of some geodesic flows and complete systems with non-commutative integrals, Dokl. Akad. Nauk SSSR, 271, no. 2
INTEGRABLE SYSTEMS ON LIE ALGEBRA
291
(1983), 273-276 (in Russian). [201] Brailov A. V., The complete integrability of some Euler's integrals. Applications of the topology in modern analysis, Voronez VGU (1985), 22-41 (in Russian).
Selective key to the notation used
l8-the set of all real numbers. C-the set of all complex numbers. 7L-the set of all integers. Q---the set of all rational numbers. l8"-n-dimensional real linear space. Cmt A (02 -the exterior product of differential forms co, and W2.
X`, X'-the matrix transpose of a matrix X. T; the elementary matrix: (Tj)Pq = (Sjp 5Jq).
t
E1 = T1 - T; the elementary skew-symmetric matrix. Ii, j I = Tj + T the elementary symmetric matrix, ad, (x) _ (ad )* x = a(x, ) where e G, x E G* is the coadjoint representation of the Lie algebra G in the space G* dual to the Lie algebra G. B(X, Y)--the Cartan-Killing form. <X, Y>-pairing between the space V and the space V* that is dual to it. C°°(M)-the space of all smooth functions on smooth manifold M.
H(M)-the space of all Hamiltonian vector fields. A(W)-the space of analytical functions on space W V(M)-the Lie algebra of all vector fields on a smooth manifold M under the commutator of vector fields. Exp-the exponential mapping Exp: G -+ 6 of the Lie algebra G into the Lie group 6. F(M)-the full commutative set of functions on a symplectic manifold M. Reg(G)-regular elements of Lie algebra G. Exp G-the Lie group corresponding to the Lie algebra G. W(M)-the space of the differential k-forms on the manifold M.
Index
Adjoint representation, 18 Affine Lie algebras, 219 Algebra with Poincarb duality, 162 Algebraic variety, 8 Argument translation, 137
Functions in involution, 30
Bifurcation diagram, 271 Bounded domain, 8
Index of the Lie algebra, 33 Integral, 12 Invariant, 27
Canonical H-invariants, 168 Cartan-Killing form, 20 Cartan subalgebra, 20 Case of Steklov, 85 Chain subalgebras, 144 Coadjoint representation, 18 Compact series, 75 Complete torus, 270 Complex semi-simple series, 71 Condition (FJ), 48 Configuration space, 5 f-connective vector fields, 52 Contraction of the Lie algebra, 174 Cylinders, 270 Dissipative complete torus, 271 Dynamic tensor, 56
Embedding of the dynamic system into a Lie algebra, 55 Equations of magnetic hydrodynamics, 89 Euler's equation, 55 First case of Clebsch, 84 Fubini-Studi metric, 7
Geodesic flow, 10
Hamiltonian field, 8
Kahler manifold, 7 Kirchhoff integrals, 83 Lagrange case, 210 Lie algebra, 17 Lie group, 17 Locally Hamiltonian vector field, 9
M-condition, 169 Morphism of symplectic manifolds, 53 Morse-type integral, 267 n-dimensional rigid body, 61 Non-oriented saddle, 270 Non-resonance Hamiltonian, 275 Normal nilpotent series, 75 Normal series, 75 Normal solvable series, 75
One-parameter subgroup, 17 Oriented saddle, 270 Poisson bracket, 11 293
294
A. T. FOMENKO AND V. V. TROFIMOV
Realization in a symplectic manifold, 54 Reduction of a Hamiltonian system, 37 Regular element, 20 Root, 21 Second case of Clebsch, 84 Sectional operator, 68 Sectional operators on symmetric spaces, 104 Semi-invariant, 27 Similar functions, 168
Simple root, 21 Skew-symmetric gradient, 2 S-representation, 142 Stable trajectory, 267 Submersion, 52 Symplectic atlas, 4 Symplectic coordinates, 3 Symplectic manifold, 1 Symplectic structure, 1
Toda chain, 62