Dual moment maps into loop algebras - Springer Link

8 downloads 0 Views 387KB Size Report
Printed in the Netherlands. 299. Dual Moment Maps into Loop Algebras*. M. R. ADAMS. Department of Mathematics, University of Georgia, Athens, GA 30602, ...
Letters in Mathematical Physics 20: 299-308, 1990. 9 1990 Kluwer Academic Publishers. Printed in the Netherlands.

299

Dual Moment Maps into Loop Algebras* M. R. ADAMS Department of Mathematics, University of Georgia, Athens, GA 30602, U.S.A. J. HARNAD Centre de Recherches Math$matiques, Universit$ de Montreal, CP 6128-.4, Montreal, Quebec H3C MT, Canada, and Department of Mathematics, Concordia University, Montreal, Quebec, Canada and

J. HURTUBISE Department of Mathematics, McGill University, Montreal, Quebec H3A 2K6, Canada (Received: 4 January 1990) Abstract. Moment maps are defined from the space of rank-r deformations of a fixed n • n matrix A to the duals ( 9 (r)+)% ( 9 (n)+)* of the positive half of the loop algebras ~ (r), ~ (n). These maps arc shown to give rise to the same invariant manifolds under Hamiltonian flow obtained through the Adler-Kostant-Symes theorem from the rings I( ~ (r)*), I( ~ (n)*) of invariant functions. This gives a dual characterization of integrable Hamiltonian systems as isospectral flow in the two loop algebras.

AMS subject daseiflcation (1980). 58F07.

O. Introduction A key to the understanding of a large number of integrable Hamiltonian systems, both finite- and infinite-dimensional, consists of realizing such systems as isospectral deformations of linear operators. In [2], it was shown how a natural embedding of a large class of finite-dimensional systems via a Poisson map into the dual ( g~ (r)+)* of the loop algebra of matricial polynomials led to such Lax representations through the Adler-Kostant-Symes theorem [3, 5, 13]. In many of the examples treated, e.g. the Neumann and Rosochatius systems, and other examples [4, 7, 8-11] different approaches have led to two alternative Lax representations. The first consisting of r x r matrix polynomials in the loop parameter 2 of fixed low degree (usually one or two) where r increases with the dimension of the phase space; the second involves polynomials of varying degree, with r -- 2. This suggests a 'dual' approach to such systems leading in two alternative ways to the same spectral invariants and essentially the same linearization map. The purpose of this Letter is to describe a simple approach, based on 'dual' moment maps (i.e. Poisson maps into loop algebras) defined on the 'generalized * This research partially funded by NSF grant DMS-8601995, U.S. Army grant DAAL03-87-K-0110, and the Natural Sciences and Engineering Research Council of Canada.

300

M . R . ADAMS El" AL.

Moser space' studied in [2], which explains the theory behind these alternate approaches.

1. Preliminaries Let M.,, denote the space of n x r matrices, with n/> r. The space M = M.., x Mn,, has a natural symplectic structure co(F, G) = tr(dF ^ dGr),

(F, G) e M.

(1.1)

Let A be a fixed n x n matrix. The general rank-r perturbation of A is given by L = A + FG r,

(F, G) ~ M.

(1.2)

In [2], a large class of integrable systems on M were derived by constructing a moment map into the dual of the positive part of a loop algebra. Let ~ (r) denote the semi-infinite formal loop algebra on gl(r, C), i.e. Z ( 2 ) e ~ ( r ) if X(2)= Era= _ ~ Xi2 i with X,- ~ gl(r, C). We use the vector space direct sum splitting ~ ( r ) = g~(r)+ (D g~(r)-,

(1.3)

where g~ (r) + denotes the space of r x r matricial polynomials and ~ (r)- is the space of strictly negative formal power series in g~ (r). Under the pairing

(1.4)

(X(2), Y(2) ) = tr(X(2) Y(2))_ ~,

where the subscript - 1 denotes taking the coefficient of 2 - t , there is a natural identification (~(r)+)

* ~

~(r)-.

(1.5)

Hence, gl(r)- carries a natural Poisson structure given by the Lie-Poisson structure of ( ~ (r)+)*. Let A e gl(n) be a fixed n x n matrix. Define (~l(r) +, to be the group of Gl(r)-valued functions in the complex 2 plane that are holomorphic inside a fixed disc D centered at 2 = 0 containing the spectrum of A. (The lie algebra of El(r) + may be viewed as a completion of ~ (r) +.) There is a symplectic action of (~l(r) + on M for each such A, defined by

g(~): (e, ~) -. (e., G.)

(1.O

where (A - ~,) - l E g - 1(,~) = ( a - - ~ ) - l F g g(~)~

-~- Fhol,

T

~(a - ,~)-' = a [ ( A - ,z) -' + ~ho,,

and Fhol, Ghol are holomorphic in D.

(1.7a) (1.7b)

DUAL MOMENT MAPS INTO LOOP ALGEBRAS

301

T H E O R E M 1.1. The El(r)+-action (1.6)/s Hamiltonian, with equivariant moment map: J / : M - , ( g~ (r)+) * defined by Y~(F, G) = - G r ( A - 2 ) - ' F .

(1.8)

Proof Since the action (1.6) is the cotangent lift of the linear action (1.72) on M,,r it is automatically Hamiltonian. The moment map aY~ must be given by (aY~(F, G), X(2)) = tr((G z)(~xca)(F))), where X(2) ~ g~ (r) + and ~xta)(F) denotes the value at F ~ M,,, of the vector field generating the group flow of exp tX(2). Differentiating (1.7a) yields (A - 2 ) - IExta)(F) = - ( A - 2 ) - IFX(2) + holomorphic. Hence tr(G rExta ) (F)) = tr(G r(A - 2) - ~-~xta)(F)) _ ~ = - tr(G r(A - 2) - IFX(2))_ 1. Since we identify (g] (r)+)* with g~ (r)- via (1.4) we conclude

L (r, G )

= - GT(,4 -- 2)-'F.

[]

Remark. This theorem was proved in [2] under the assumption that A is diagonalizable. Since the examples will use the result for more general A, we have included the general proof here. We now proceed analogously for the loop algebra g~ (n) + and its group (~l(n)+. Introduce a fixed matrix Y ~ gl(r, C) and define an action (~l(n, C) + : M - - ) M g(z) : (V, G) ~ (Fg, Gs),

(1.9)

where now g(z)F(Y - z) -1 = Vg ( Y - z) - ' + Vhol,

(1.10a)

( Y - z) - ' G r g - l ( z ) = ( Y - - z ) - l G r + Gro,

(1.10b)

and Fho~, Gho~ are holomorphic inside a disc centered at the origin of the complex z-plane containing Spec(Y). Then, as in Theorem 1.1, we have T H E O R E M 1.2. The action (1.9) is Hamiltonian with equivariant moment map: aye: M ~ (

g~ (n) +) *

defined by aY,r(F, G) = F ( Y - z) -IGr. Proof The proof is identical to that of Theorem 1.1.

( 1.1 l)

302

M . R . ADAMS ET AL.

We also have natural Hamiltonian actions of Gl(n) and Gl(r) on M defined by Gl(n) : M --. M, (1.12)

g: (F, G) ~ (gF, ( g r ) - ' G ) ,

Gl(r) : M -- M (1.13)

g: (F, G) ~-~ ( F g - ' , Gg r )

Denote by Gl(n)A and Gl(r)r the stabilizer under conjugation of A ~ gl(n) and Y ~ gl(r), respectively. The following lemma may be deduced immediately from the forms (1.8) and (1.11) of the moment maps J'~ and J'r LEMMA 1.3. The fibers for the maps 3ra : M ~ ( ~ ( r ) + ) are the GI(n)A and Gl(r)r orbits, respectively.

* anddTr: M - ~ ( ~ ( n ) + ) *

Let k

A(2) = det(A - 21) = 1-[ (~t~- 2) n,

(1.14)

i=1

be the characteristic polynomial of A. Denote by M A c M the submanifold consisting of pairs (F, G) on which GI(n)A acts freely. Assuming r >i n~, Vi, MA is open and dense in M and invariant under the G'~L(r)+-action. Projection to the quotient spaces MA ~MA/Gl(n)A and MA "-*MA/Gl(r)y determines induced Poisson structures on each. The moment maps J ' / a n d J r pass to the quotient spaces, defining injective equivariant moment maps that generate infinitesimal Hamiltonian actions of (~l(r) + and (~l(n) + on MA/Gl(n)A and MA/Gl(r)r, respectively. 2. Duality Let I( g~ (r)*) and I( ~ (n)*) denote the rings of Ad*-invariant polynomials on (r)* and g~ (n)*, respectively. Let N(2) =- Y + Gr(A - 2) -IF,

(2.1a)

M(z) - A + F ( Y - z) -IG

(2.1b)

be viewed as elements of g~ (r)* and ~I (n)*, respectively, by expanding in power series in 2 - l and z - ! (either formally, or analytically, outside discs centered at the origins of the complex 2 and z planes, containing Spec(A) and Spec(Y), respectively). Define two rings of functions #" r and #-A on M by .9~ r = {~b ~ C~176 [ ~b(F, G) = ~b(N), ~b ~ I( ~ (r)*) }

(2.2a)

~ a _ {~b E C~176 [ ~k(F, G) = ok(N), q~ ~ I( g~ (n)*)}

(2.2b)

THEOREM 2.1. The two rings ~rv and ~ra are equal, their elements Poisson commute and their Hamiltonian flows preserve the spectrum of N(2) and M(z). I f

DUAL MOMENT MAPS INTO LOOP ALGEBRAS

303

~b r ~ r = ~ a is of the form

~(F, G) = ~b,(N) = ~b2(M), with r ~ I( ~ (r)*),

r e I( ~ (n)*),

the integral curves (F(t), G(t)) of the corresponding Hamiltonian flow satisfy ~=

[(d~)+, N],

(2.3a)

dM ~ - -- [(d~b2)+,M]

(2.3b)

where (d~bt)+ and (d~2)+ denote the projections to the nonnegative parts of g~(r)* and g~ (n)*, respectively. Proof. The equality #-,4 = #- r follows from the identity det(A - 2) det(Y + Gr(A - 2)- ~F - z) = det(Y - z) det(A + F(Y - z) -

(2.4)

1 G T __ ~ ) ,

where expansion of the left-hand side in 2 and z provides the generators of ~ r as coefficients, and expansion of the fight-hand side provides the generators of ~A. Since the elementary spectral invariants of N and M are contained in these expansions, it is clear the flows will be isospcctral because the AKS theorem guarantees that the elements of a r r = #-,4 Poisson commute. The Lax form (2.3a,b) also proves isospectrality and follows from the AKS theorem, together with the fact that ]A and ~ r are Poisson maps. [] By Lemma 1.3, ]A is invariant under the action of GL(n)a and j r is invariant under the action of GL(r) r. Furthermore, ,Tffis equivariant for the action of GL(r) r on M and the natural action of GL(r)r on ~ (r)-, and the corresponding statement for ] r and GL(n)A is also true. Thus, we have the following commuting diagram (restricting to dense, open sets, all quotients are manifolds):

(n)-

M

,

-....

, g~(r)-

M/GL(nh

M /GL(r) r

g~ (n) -/GL(nlA ,

Y

M/(GL(r),. x aL(n).,)

, ~ (r) -/CL(r) y

304

M.R. ADAMS ET AL.

The bottom arrows are one to one Poisson maps, thus they give an identification of the symplectic leaves in M/(GL(n)A x GL(r)y) and certain symplcctic leaves in ~ ( r ) - / G l ( r ) y and ~(n)-/GL(n)A. Thus, certain symplectic leaves in ~ ( r ) - / G L ( 0 r , and the AKS flows thereon, are identified to certain symplectic leaves of ~(n)-/GL(n)A, and AKS flows there.

Remark. In [1] it is discussed how the Hamiltonian flows for 3t-r may be linearized on the Jacobi variety of the spectral curve S = {(2, z) [ det(Y + Gr(A - 2 ) - t F - z) = 0},

(2.5)

via the methods of Krichever [6]. Likewise, the flows for ~ A may be linearized on the Jacobi variety of the curve. = {(2, z) I det(A + F(Y - z) -~G r - 2) = 0}.

(2.6)

Equation (2.4) gives a birational equivalence of these curves.

3. Examples 3.1. THE ROSOCHATIUS SYSTEM The Rosochatius system is a Hamiltonian system on T'S"-~ described by constraining the Hamiltonian

H(x, y) = 89E y 2 + E #-~2+ ~, ~ x2

(3.1)

"%/'

on R ~ x R" to ~. x,.2 = 1,

~'. xiy, = 0.

(3.2)

The equations of motion arc thus given by

To explain this in terms of isospectral deformations, we must reduce the loop algebra ~ ( 2 ) to ~(1, 1) = {X(2) ~ g~(2); Xi ~ u ( l , 1))}. This is worked out in [2], the result is to consider W c M~.2 x M~,2, a symplectic subspace given by W = {(F, G); G = Fy}

(3.4)

with

Let A be the diagonal n x n matrix with jj term JY2A: M.,2 x M.,2--' g~(2)- by (1.8). Restricting J~ to W gives

Y~: w-,~(l, I)-.

and

define

(3.5)

DUAL MOMENT MAPS INTO LOOP ALGEBRAS

305

This map is invariant under the action of the group H = U ( 1 ) x ... x U(1) (n times)

(3.6)

contained in GL(n). Performing the Marsden-Weinstein reduction of W by this H-action at the H-moment map value x//-Z-2(/~l. . . . , ~un)

(3.7)

gives an injective Poisson map J : R2~fi(1, 1)- given by J(x, y ) = _ 8 9 ,=,~ ~ l

5Fxiy` [L x2

l+ x / ' ~ P , [ 10 ~]--2/t2x2 [00

-x,y,/-"

10]}

= N(x)

(3.8)

Remark. J(x, y) is given by Gr(A - 2 ) - ~ F , where F and G have columns

F=

5

(x, p),

__l

G=~

( --/~, x)

(3.9)

with p, = - y , + x/-S2(p,/x,). A direct computation yields PROPOSITION 3.1 [2]. The function 9 e ~ r given by

o,x,

'0]))o

(3.10)

where a(2)= det(;t- A), agrees (up to an additive constant) with H(x,y) on the constraint space (3.2).

The proposition describes the Rosoehatius system as a constrained AKS flow in ~( I, 1)-. (The constraints (3.2) may be considered as a realization of the reduction of ~(1, 1) by the stabilizer group of Y.) From Theorem 2.1, we see that this flow is isospectral for 3'r = A + F ( Y - z)-~G r, where F and G are given by (3.9) and

Expanding ( Y - z)- ~ and using y2= 0 we get A + F(Y-z)-lGr=

A +~ ~ + ~ F

(3.12)

with xiyj -- xjy i --

\XiXJ "]- Xi

(3.13)

and F o = 89 xj.

(3.14)

306

M.R. ADAMS ET AL.

To get the n x n AKS flow and Lax pair, we should first work with the space W, since the H action is nontrivial on g~ (n)-. Using Equation (2.4), we have ~x,

_ F 2a(2) y) -

det(V - z + G r(a - ~)

-IF)]_1o.o

2z~ = 1 ~-:-~dct(A -A +F(Y-z)-IG

T]Ao.o

= tr(z2(a + F(Y- z)-'G~)2)o - 1,

(3.15)

where the subscript 0, 0 denotes taking the coefficient of A~ ~ Thus, we see that the 2 x 2 Lax pair given by (3.10) on W, namely

d (GT(A-~)-iF) ~ [ { ~ ( Y - ~ - G T ( A

-

~)-le)}+)Y-~-GT(A~)-Ie] (3.16)

is equivalent to the n x n Lax pair d dt (A + F ( Y - z) - ' G r) = [A + z - ' F G r, A + F ( Y - z) -'GT],

(3.17)

for (F, G) ~ W. The H reduction can be realized by constraining this Lax pair flow to be tangent to the subspace of g~ (n) - spanned by the set of A + ( 1/z)[~ + (1/z2)F with fl and r given by (3.13) and (3.14). This leads to the n x n Lax pair formalism of the Rosochatius system given by Ratiu [11]. 3.2. RIGID BODY MOTION IN n DIMENSIONS The motion of an n-dimensional rigid body is given by the geodesic spray of a left-invariant metric ( , ) on SO(n) which on Te SO(n) = so(n) is given by (X, Y) = - t r ( X r V ) ,

X, Y e so(n),

(3.18)

where r is an n x n diagonal matrix with positive eigenvalucs gl . . . . . gn (scc, e.g., [8, 12]). The Euler equations for this flow are given by d dt (rX + XV) = [FX + XF, X].

(3.19)

In 1976, Manakov [7] wrote this as a Lax pair with parameter d dt

- - L = [S, L]

(3.20)

with L = FX + x r ' +/~F 2,

B = - X +/xF.

(3.21)

Using the spectral invariants of L, this system was shown to be completely integrable by Ratiu [12], (cf. also [9]).

307

DUAL MOMENT MAPS INTO LOOP ALGEBRAS

In 1980, Moser [10], (cf. also [4]) studied a rank-2 subsystem of (3.20) and (3.21) given as follows. Consider the map R 2 n ~ so(n) given by (x, y ) ~ X with

(3.22)

X O. - x i y J - x j y i

gi + gj

Then (3.20) and (3.21) pull back via this map to the Hamiltonian flow on R 2~ with Hamiltonian

H(x, y) = 1 ~, (x,yj - x y , ) 2 i