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!
x / 2 - 1 for Isl < 1. These conditions are satisfied by f ( s ) - Alsl ~ if p > 1 + X/2. 2) Case n > 3 Blow up of solutions with Cauchy data of compact support has been proved when some weighted means of these data is positive and 1 < p < Po(n), po(n) the positive root of the polynomial (n - 1)x 2 - (n + 1)x - 2 = 0 by T. Sideris, J. Diff. Equations 52 (1984) 378-406; For earlier related work see W. Strauss, J. Funct'. Analysis 41 (1981) 110-133; R. Glassey, Math. 2 178 (1981) 233-261. Global existence for small Cauchy data with fast fall off at infinity has been proved for any n > 3 and equations
Flu = f(u, au, a2u) with f a smooth function such that f(0, 0, 0) = 0,
f ' ( 0 , 0, 0) = 0.
(2)
S. Klainerman, "Global existence for nonlinear wave equations", Comm. pure and app. Maths 33 (1980) 43-101. D. Christodoulou, "Global solution of nonlinear hyperbolic equations for small initial data", Comm. pure and app. Maths XXXIX (1986) 267-282. This last article also contains a proof of the same theorem in the case n - 3 when f satisfies the further condition that it vanishes when its arguments 8u and a2u are replaced respectively by a null (for the Minkowski metric) covector y and its tensor product y | y. 3) The global existence on R n§ 1, n-> 3, for small data in Co, under the general hypothesis
11. HARMONIC COORDINATES IN GENERAL RELATIVITY
405
(2) on f, for the equation
Du + u = f(u, Ou, 02u) has been given in: S. Klainerman, "Global existence of small amplitude solutions to nonlinear Klein-Gordon equations in four space time dimensions", Comm. pure and app. Maths. XXXVIII (1985) 631-641. See also L. Hormander, Institute Mittag-Lefler reports Lund (1985) 86, 87.
11. H A R M O N I C
COORDINATES
IN GENERAL
RELATIVITY
1) Let g be a riemannian metric, of arbitrary signature on a d-dimensional manifold M. Show that in a coordinate system where the metric satisfies the h a r m o n i c i t y conditions _a~ r, h
FX--g
~,~ t3 = 0 ,
h=O,...,d-1
(1)
the Einstein equations in vacuum, R i c c ( g ) = O, reduce to a quasi-diagonal, 2 quasi-linear system, with principal operator g~r 2) Show that the conditions (1) express that the mapping f" U---~ f ( U ) by x ~ (x ~) (U domain o f the coordinate chart) is a harmonic map f r o m the riemannian manifold (U, g) onto ( f ( U ) , e) where e is the standard euclidean metric o f Nd. 3) Generalize to the case where (1) is replaced by an harmonicity condi-
tion with respect to an arbitrary given metric e on M. Answer 1" By the definition of the R i e m a n n and Ricci t e n s o r w e h a v e , in an arbitrary c o o r d i n a t e system (cf. p. 306) V~,Vt3g(,~) _ Vt3V~'g(~) _= R~'t3 ~g(') = R~t3 , = ~ ~, are c o n s i d e r e d as the c o m p o n e n t s of a c o v a r i a n t vector, w h e r e ..(a) for fixed a ( d u m b index). With this notation
-g
~ ~
-g~'~F~ ~.
Thus R ~ ~_V~'V~g(~)+ g~O~F'~; since R ~ is s y m m e t r i c we have also R ~t3= 89
(~) + V"V'~g (t3) + g~OAF ~ + g ~ 0 hF r )
(2)
harmonicity conditions
406
VI. DISTRIBUTIONS
We remark that
= _(gl~XgaV + gaXg/SV)[v, X/z] with [v, X/z] =_ gv~ Fx~u the Christoffel symbols (p. 308), hence V/~g(~) + VUg(u/~) --= _ •2 (g[SXgOtV + gUXgl~V)Ougxv _ Oug~ . We deduce from (2), after computation
~l~) + 89 R al~ =-- R(h
F ~ + g~X Vx F [3),
where R(h ) is the second-order, quasidiagonal operator et~
R(h)
_
n2 6,,~/3 _ gXU gpV Fx~pFu/Sv. I gXU,XU
The system is hyperbolic in the sense of Leray (p. 520) if g is hyperbolic, since it is quasi-diagonal with principal part I gXU OZug~l~" By lowering the indices we find that R,~/~ is also of the form Ru/~ ---- ~(h) "'u/~ - 1 (gux V/~ F x + g/~xVu F x ) p(h) with "'a/~ a quasi-diagonal second-order hyperbolic operator with principal part - 89gXU 02u ga/J .
Answer 2" The mapping f is represented in local coordinates (x x) on U and f (U) by the identity map
f x (x u) = x x" The equations for harmonic maps [Problem V 1 1, Harmonic] reduce to (1) if f ( U ) is endowed with a flat metric for which the x x are canonical coord i n a t e s - where its Christoffel symbols are zero.
Answer 3" Suppose the identity map M ~ M is a harmonic map from (M, g) onto (M, e). Then, in local coordinates
[:X_ g ~ # ( _ F X + l~ Z ) _ 0 , where the/~'ax# are the Christoffel symbols of e. The previous computations show that we have identities of the type R~# = gXUCTxfugal~ + 89
+ gaXOxFl~ ) + H~
Vg),
(3)
where ~' is the covariant derivative in e. Decomposition (3) is tensorial since F is a vector and is valid on the whole manifold. ^
12. LERAY THEORY OF HYPERBOLIC SYSTEMS
407
12. L E R A Y T H E O R Y OF H Y P E R B O L I C SYSTEMS. T E M P O R A L G A U G E IN G E N E R A L R E L A T I V I T Y
Let (M, g) be a smooth riemannian manifold of hyperbolic signature with M = S x ff~. The lines {x} x ff~, x ~ S are supposed time-like and orthogonal to the space-like submanifolds S t = S x {t}. In adapted coordinates, (x i) coordinates in S and x~ E R, the metric g reads ds 2
= -a2(dx~
2
+ gij dxi dxJ
i,j=l,...,d-1,
(1)
= (gq) is the metric induced on S, by g, when x ~ t. a is a function called the lapse. Denote by K - ( K q ) the second fundamental form (p. 315) of a submanifold S,. 1) Express the Ricci tensor of M, at each point (x, x ~ t) in terms of the metric ~,, second fundamental form K and lapse a of S t, their covariant derivatives in the metric ~,, and "time" derivatives (i.e., partial derivatives with respect to x~
2) Show that if S ~ ---R~ - ~ g~t~R is the Einstein tensor then OL
2
--~-(R _ K ij K ij + (KI)2),
Soo
S,o=- a(-fTjK[ + ViKt) . -
l
(2a) (2b)
Express these identities in an intrinsic (i.e., coordinate-free) manner.
3) Show that the quantity OoRij- a2(V, Sjo + VjS/o) contains no third derivatives of g or a. Show that it contains second derivatives of K only through the operator 2 _ ~i~i F - l = ~12 aoo t~
if a is chosen such that
a 2 trK+a
,
=0,
af=
Oo
a.
Give a relation between a and d e t ( ~ ) equivalent to the above equation.
4) Using the previous results, deduce from the Einstein equations in vacuum R ~ = O, in an appropriate gauge, a Leray hyperbolic system.
lapse
408
VI. DISTRIBUTIONS
5) E x a m i n e w h e t h e r a s o l u t i o n o f the L e r a y s y s t e m thus obtained satisfies the original Einstein equations.
St, whose equation is x ~ t.
A n s w e r 1" Let n be the unit normal t o We have g ( n , n ) = - 1 , n~ = 0, thus
no
( gOO)-1/2
and (cf. p. 315) Kij=aFo
=
1 2 a '9~176
All the Christoffel symbols of g are then easily computed (overlined quantities are relative to the space metric g)
Foij
=
-oLK
10ia I -'00i ~ Ol
,j
i~i j =
,
Foio
a1
a o ia
Ki, ,
Fo~
1 ~
~ ~00t , Ot
We deduce from these formulas and the definition of Ricc(g), after some simplifications" -
h
Rq =-- R# - a-lOoKi/ - 2 K i h K /
+
h
K i / K h - ot
-1
~it~jol ,
Ro,---a(-VhK, h + 0,Khh),
Roo-- Ot2(Og
-
1vitriol 4;" Ol
-1
h
Oog h -
1
gigj
i
) ,
and using aog '~ = 2 a K ~i ,
the scalar curvature R = g~176 + g 'JR 6 =- R + ( K h ) 2 + K / K / -
2 a -1 OoKhh -- 2 a
- 1 Vit~ ia .
A n s w e r 2: We deduce from the identities in answer 1) the following ones 1
So ~ = Ro ~ - 2 g~176 R_
2
-2- ( ~ - K ij Kj, + ( K h) 2
So,-= R o , - a ( - - ~ h K i h + a, Khh)
(2a')
(2b')
which depends only on ~ and K on S t, and a. We remark t h a t o~-25o0 is the expression in the chosen coordinates 2 0 - 1 i (g0;=0, g00=-a thusn =a , n = 0 ) of the scalar function : S j_l -- S" (n | n) - S,~t3n"n t3 ,
12. L E R A Y T H E O R Y
OF HYPERBOLIC
SYSTEMS
409
while a - l S o i are the components in the chosen coordinates of the covariant vector S~ on St, S• = i*(S . (n | 7r)) ,
where 7r is the projection operator on S t, i the inclusion map of S t into M. In arbitrary coordinates (S . (n | 7r))~ = S,,13n~n~Tr~ ,
7r~ = g~ + n~n~ .
R e m a r k : In arbitrary coordinates (x i, x~ we have
S• L -'(S_l_)
with x ~
t the equation of S t,
( n 0 ) 2 S 00 '
_ n o S~ "
i ---
The identities (2a'), (2b') read, intrinsically 2S•177= / ~ -
K - K + (tr K) 2 ,
S• = - V . K + Vtr K . The right-hand side depends only, for x ~ forms of S t as a submanifold of (M, g).
t, on the two fundamental
A n s w e r 3" From the definitions of the connection and the Ricci tensor one deduces the formulae [Lichnerowicz], setting V0~ij = if;j, l
0o ['k = 89
--
--I
--t
(3)
gjh + Vjgih --Vhgij) ,
(4)
0o~i j = 89~kh ( ~ k ( ~ i ~ ; h + Vjgi'h) -- V~Vjghk) "
Using these relations, the Ricci identity and the identities (2) we obtain
~
--
~
01~ r
~-~
t
+ --~ K i j - ~ ot
--
-
h
1
+ f i j - - ViVj~ ot
t
a ' ViVja - F~j - k ' ~ k a + KijK~ , h + K ij K h'h -- 2K~mKj , m - 2K~mKj,m + --~ Ol
(5)
with f/j
-
+
-
-
-(Vi~r h a)K/h + (~r(/a)Vj)K h + ( V i % a ) K h k
h
h
(6)
+ a(Rih j K k - Rh(iKj) ) , r
t
-2
2
-
-h
a =Ooa, K i j = O o K i j ; [-]=-a 0 o - V h V . 2-9 We see on (5) that OoR~j- a V(iSj)o contains no third derivatives of the
410
vI. DISTRIBUTIONS
~'s. The expression (5) will contain second derivatives of the K's only through the operator El, and no third derivatives of a, if we choose a such that a 2 trK+a since we have o l -V-i ~ j K hh = ot
!
=0
(7)
-l~i~](ot2Khh) + m i j
with mij
-- 2(Via)VjK
~ - 2 ( V j a)ViK - hh - 2 a - x ( V i a ) ( ~ j a ) K
hh _ 2 ( ~ , ~ ) a ) K hh 9
With the choice (7) expression (5) reduces to OoR,j- ~
~-~
fiy + hi.i,
(8)
where f~j is given by (6) and n~j by 7/~ij = - - m i i + g i j g h h - K h V i v j O l -- FiiktVkOl t
m
tm
- 2 K i m K j - 2KimK j
9
We remark that we have (det g)' = -2aK I det g the relation (7) is therefore (det g)' - - 2 a ' det
=0
and its general solution for the scalar a is a = (det
g)l/2a-1/2
(9)
with a an arbitrary, positive, scalar density on S (independent of x~ Remark: The equation a t q-
a 2 tr K = 0
expresses that the submanifolds S t satisfy the harmonicity condition V~V~x~
~ ' r-'~o,
= 0.
A n s w e r 4: Identity (8) shows that, with the choice (9) for a, and goi = 0 , the equations in vacuum R ~ = 0 imply aoRii- a2V(iSi)o--alqKii
+ fii + nii = O,
(10a)
12. LERAY THEORY OF HYPERBOLIC SYSTEMS aog i]
(10b)
2 a K ij
=
411
These equations are equivalent if a ~ 0 to a quasidiagonal third-order system for if, with principal operator D&0. The operator I--l&0 is hyperbolic if a ~ 0 and ~ is properly riemannian: the dual characteristic cone in the tangent space is
X~ 12 (X~ 2 g i l X X ) = 0 ot __
-
i
j
it is cut in three distinct points by every straight line passing through a point where 1
--~ (X~
a
-
i
gijX X
2-
j
> O.
The dual of the above cone, that is the light cone of the metric, determines the dependence domain of the solution, in a g r e e m e n t w i t h physical expectation. A n s w e r 5: We shall prove: L e m m a Let ~ and K verify the hyperbolic system (10a,b), and a be given by (9), then the Einstein tensor S ~ corresponding to the metric
-aZ(dx~ 2 + gi] dXi dxJ,
a = (det g,)1/Za-1/2
(11)
verifies a linear, homogeneous hyperbolic system. P r o o f : By the Bianchi identities we have
V.S ~ - 0 which can be written, modulo linear terms in S "a -
iO
= O,
(12a)
&0S j0 + ~,S,j _- 0.
(12b)
&oS~176 + ViS
Eqs. (10) say that the metric (11) verifies the equations 8 o R i j - aZ(viSjo + VjSio ) = O.
We have, in the case of gio = 0 ROo _ 2S00
1
2 ghk R Ol
hk
thus Sq- R q -
g'(ghkRhk
--
ot2S00)
412
VI. DISTRIBUTIONS
and eqs. (10) imply, modulo linear terms in S "a
aOSij ,~ _ot2(~isi~ + vJs iO) + 20t2gqVhShO + c~2g'&0S~176 from which we deduce, modulo linear terms in S ~a, by the Bianchi identity (12b)
OoSij = -a2(~7'S j~ + ~rJS'~ + cz2gij VhshO 9
(13)
We deduce from which eq. (13) modulo linear terms in S ~, and Vi S ~
ViaoS' = -a2V~V~S j~ 9 The Bianchi identities (12b) imply therefore, modulo linear terms in S "~ and V~S~ lqS j~ = 0 .
(14)
The system (12a, 13, 14) is a linear homogeneous system for the S ~a which can be shown to be hyperbolic by derivating equation (14) with respect to x ~ We then obtain a third-order equation 7"l&oS/~ = 0 , where the symbol =0 means modulo linear terms in S ~, their first derivatives and the second derivatives of only S j~ (we use (12) and (13) to eliminate second derivatives of S ~176 and S~J). By the uniqueness theorem for a solution of the Cauchy problem for hyperbolic systems we shall have S ~a = 0 (in appropriate functional spaces of tensor fields on M) if S "a is zero on S O together with its derivatives of order -<2. This is checked to be satisfied, for solutions of the hyperbolic system (10a, 10b) if the Cauchy data ~ and K on SOsatisfy the "constraints", S ~1760, S O= 0, that is /~ - K . K + (tr K ) 2 = 0 , V.K-VtrK=0, (one uses also the Bianchi identities).
REFERENCES A. Lichnerowicz, Pub. I.H.E.S., No. 10 (1961). Y. Choquet-Bruhat and T. Ruggeri, Comm. Maths. Phys. 89 (1983) 269-275.
13. EINSTEIN EQUATIONS WITH SOURCES
413
13. EINSTEIN E Q U A T I O N S WITH SOURCES AS A H Y P E R B O L I C SYSTEM
Consider the Einstein equations with sources where the u n k n o w n are a hyperbolic metric g on a d-dimensional manifold M , and a symmetric 2-tensor field p"
R~,, = p~,~ ,
(la)
V~,T"~= 0 ,
(lb)
with T~t3 = P~t3 - 89g~t3 P, P = Px~, gX~" Show that in the gauge used in [Problem V I 12, Leray systems] and if p ~ is given on M then a solution gij, pO~ o f (la), ( l b ) satisfies a Leray hyperbolic system. Answer: We choose coordinates such that g o / = 0 , goo __2 c(det ~)1/2 and use the second fundamental form K = - ( 2 a ) - 1 0 o f f write the equations deduced from the Einstein ones" aogij - fTigoj
to
Vjgoi = aoPij - ViPoj - VjPoi
under the form El0og/j = (2 in g, 1 in Poh),
(1)
(where the notation "k in f " means that the quantity depends on f only through its derivatives of order - k ) . Since p - - a 2p oo + g/j P ij, the equation V~ T ~~ = 0 gives -2.. Vo( 89176176189 s/j i j +v/p Oi ) o,
that is (i)
89
~176 + (Tip~ = (1 in g, 0in pO~);
and the equation V~ T ~ gives t~opOi "~ V j ( p ji - l gij(--Ot2p ~ -t- ghkphk)) ----0 , m
that is (note that an index 0 is scalar for V) (ii)
Oop ~ + 89
~176 = (1 in g, Oin pO~).
We deduce from (i) and (ii) 1(0oop
oo
-a
9
)=(2ing,
lin
),
414
VI. DISTRIBUTIONS
thus r-qp~176 = (2 in g, 1 in pO~)
(2)
and then 7qa0p ~
(3 in g, 1 in pO,).
(3)
We choose as follows the Leray weights [Problem V 7, Conformal] for the unknowns: m(p~ ) = 2, m(g) = 3 and for the equations n(1)=0,
n(2)=0,
n(3)=-l.
In eqs. (1) the principal part for the unknown gij, of order 3, is U]a0g/j, while it is zero for ghk if (h, k ) ~ (i, j) and for pO,, since (1) contains no second derivatives of po, and m(p~ _ n(1) = 2. The only nonzero principal parts in (2) is r-lp~176 and in (3) it is Da0p ~ The system is therefore quasi-diagonal. The operator [la o is hyperbolic, since the cone H determined by its characteristic polynomial is, as in the vacuum case: ~X j ) X H" h(X) ~ ( - ( - ot2)(X~ i + g,jX
o
: O.
It is cut in 3 distinct points by any straight line through the inferior of the light cone of the hyperbolic metric g. Remark: For a solution of the hyperbolic system (1)-(3) and g0~ = 0, g0o = - c2 det ~, the same arguments as in Problem VI 12 show that the quantities S ~ - T~a satisfy a linear, homogeneous hyperbolic system, with zero Cauchy data if the initial data for ~, K, p satisfy the constraints. REFERENCE F. Cagnac, Y. Choquet-Bruhat and N. Noutchegueme, in "General Relativity and Gravitational Physics", eds. U. Bruzzo, R. Cianci and E. Massa (World Scientific, Singapore, 1987).
14. DISTRIBUTIONS AND ANALYTICITY" W I G H T M A N DISTRIBUTIONS AND S C H W I N G E R FUNCTIONS* The vacuum expectation values of quantum fields are known as Wightman distributions ~//'n" formally *(Extracted from lectures by K. Osterwalder). Contributed by Charles Rogers Doering.
14. W I G H T M A N
DISTRIBUTIONS
O~n(Xl,...,
Xn ) __
AND SCHWlNGER
( ~r~, ~ ( X l )
. . .
r
FUNCTIONS
415
a ).
They are tempered distributions based on spacetime V 4 (for a complete discussion see Streater and Wightman (1964), Reed and Simon (1975), or Glimm and Jaffe (1981)). The Schwinger functions of euclidean field theory are the "analytic continuation" of the Wightman distributions to imaginary time values; they are tempered distributions given by analytic functions based on euclidean space R 4. The physical basis for the ability to perform this analytic continuation is the positivity of the Hamiltonian (the generator of time translations) and the mass operator M 2 = H 2 - p2 (where Pi is the generator of translations in the ith space direction). These conditions on the translation generators imply that the Fourier transform of 74/"n has support in a restricted part of V 4., the dual of the spacetime V 4. Just as the Paley-Wiener theorem ensures that the Fourier transform of a distribution with compact support can be extended to an entire analytic function, the connection between the Schwinger functions and the Wightman distributions is established by the generalization to higher dimension of the following theorem. Problem: Let W E 6P'(R) with supp ~ W C [0, oo). Prove that there is a function W(z), analytic in the upper-half z-plane, so that for every f ~ ST
W(f) = lim f dx W(x + iy)f(x) . y~0
Remark: If W is given by a function in 6e, then W(z) is given by the formula
W(z)=
f ~dke i zf dx , -ei k x ' w ( x ) '
'
the natural analytic extension. The work in this problem is to generalize the result to W E ~'. The distinctions among distributions, distributions given by functions and functions is critical here. Hence the notation in this problem will be the following: functions will have their arguments (x, y, z, k, p) explicitly displayed while distributions will have no argument. For example, we may say f ( x ) E Sr while the distribution defined by this function is f E 6e'. This problem and its solution is a shorter version of the general case treated in Streater and Wightman (1964) (note correction to the proof in revised edition) and Reed and Simon (1975). Solution" The solution is divided into five main sections. 1. Let fz(k) = (27r)-1x(k) e ikz, z E C, x ( k ) E C~(R) and x(k) o, <_ - 1
,(
1,
k>_O.
VI. DISTRIBUTIONS
416
Show that {L(k)[Im z > O} c 5r 2. Show that for Im z > 0 , the function W(z) . - ~ W ( L )
is analytic. 3. For y > 0 let Wy(x)= W(x + iy) and show that there are integers n and m and a polynomial C(y) so that
y.(a 9y t(l The polynomial bound on Wy(x) for each y ensures that for fixed y this function defines a distribution Wy E 5e'. 4. Show that lim Wy ~ 6e' y~O
and sup ~ W r ~ [0, oo). 5. Show that lim Wy = W . y~0
This establishes that W is the "boundary value" of an analytic function. To proceed: 1. F o r y = I m z > 0 , f~(k) = (2~r)-lx(k) e ikx-kr is C ~176 supported in [ - 1 , oo) and decays exponentially as k ~ +oo. To show the fz ~- ~, choose integers m and n. Then sup (1 + k2) m d" k -d~ L(k) = (2"tr) -1 sup ( 1 +
k2)m i-0 ~ (n)i X (i)(k)(iz)n-'
eikZ
_< (2~r) -1 sup [(1 + k2) m e-kY[ k>-I
..[_(2,,lr)-Ii=1 ~ (n)2m y n i e Izl-*
s u p IX (k)[ . ~'~ - l
14. WlGHTMAN DISTRIBUTIONS AND SCHWlNGER FUNCTIONS
417
The first term about is finite since the exponential decays faster than the polynomial diverges, and the second term is finite since X is C ~. 2. Since f z ( k ) E ~ ( R ) for each y = I m z > 0 , W ( z ) : = ~ W ( f ~ ) is welldefined for each y > 0. To establish analyticity it is sufficient to show that W(z) is once (and thus infinitely) differentiable in this complex sense for Im z > 0 . This means that we must show that
W(z))
lim ~ - X ( w ( z q- ~ ) I~l--,0 exists. By linearity, ~ - I ( W ( z + ~z)_
W(z))-- ~:-I(~'W(L+~r ) -- ~ ; W ( L ) ) = ~ W ( ~ : - l ( f z + e - fz)).
Hence the limit exists if ~: - l(fz +e - fz) converges in 5e(R) as I r ---~0. Since we expect that
dfz(k) dz =ikfz(k) ' we will show that ow - lim ~:-l(fz+~(k ) - f~(k)) = ikfz(k ) . I~l--,0 (Note that ikfz(k ) E 5t'(R) by a proof like that in 1. above). To begin, we first r e m a r k that le ik' -- 11 = ~ 1 (ik~:)n
n!
-
oo
~o 'k'ln =
(n + 1)!
n
---ikll~l Z Ik~l ,,=0 n!
--- Ikll~l e I~ej . and similarly, le ik~ -
1 - ik~:[ =
.=2
n!
_
=
Ik~l"
(n+2)t
~lklZl~l 2 ~ -
.=o
[k~In n!
= Ikl=l~l z e Ikel .
Without loss of generality we may take [~:l < Y. Then for any positive
418
VI. DISTRIBUTIONS
integers m and n,
Each f"'(k) is supported on [ - l , m ) and decays like e-kyas k + m . As 161 < y, we conclude that the first two terms in brackets above are finite for any rn and n. The sum above is a polynomial in 161 with finite coefficients (they are just multiples of 9'-space seminorms of fz). Thus,
3. Since 9 W is a tempered distribution it is continuous in some seminorm, i.e., there are integers rn and n and a constant A such that for any gEY 19Wdl5L A s + + P')" dp" d" d P ) l P
Thus,
I w y (XI I = I s W ( L+iy 1I = I W ( s L +iy )I
14. W I G H T M A N
DISTRIBUTIONS AND SCHWINGER FUNCTIONS
419
The seminorm of ~fx+ay is bounded as follows" (l+pE)m
d" ( -ikpf alp" (~fx+iy)(P) = (1 + pE)m ---~d" dP J Ok e Jx + i y ( k ) -ikp] (-ik)~fx +iy(k)
=
dk e -ikp 1 -
" (-ik)nfx+iy(k)
m()f
= (-i)" 7o 9__ m i
(-1
)m
dke
=(-i)" -=0 mi -1
)m
.= 2ij
• f dk e-ikp(- d1 ~
d2i-j
m
min(2i,n)
E
i
/=o
(2i)
m
= 9
n! ~J
J
x f dk e-ikpk"-J(2,n-)-xX(l)(k)(ix and thus
d 2i
dk2i k~fx+iy(k)
k n ) ( d k 2 i - j fx+iy(k))
= (-i)" ~ (--1)m( m ) ~=o
-ikp
-j)!
t=o
(2i_j) l
eikx-ky
- y)2i-j-i
min(2i,n)
i
j=o
-j)!
l=O
1
oo
• sup[x(,)(k)l(1 + x 2 + yZ)2g-j-, f dk k "-j e -ky k
-1 For y -> 1 the k-integral above is bounded uniformly in j -< n so there is a constant B and a polynomial B(y) with
]Wy(x)[- B(1 + y2 + X2)2m
<- B(y)(1
+ X2) 2m .
For y < 1, oo
0
oo
f dk k "-j e -ky = f dk k"-Je -ky .+. f dk k k-j e -ky -1
-1
<--e+
0
(n -j)! Y
n-j+1
-< en!(l+
1+1 )
Y
420
VI. DISTRIBUTIONS
and there is a constant C such that
IW,(x)I<-C(X+
1+i)(1 + X2)2m . Y Combining the bounds for y < 1 and y-> 1, we conclude that there is a polynomial C(y) such that for all y > 0
IWy(x)[<-C(y)(1 Hence, for each y > 0,
+ ~+~)(1
Wy(x) defines
"~" X 2 ) 2m .
a tempered distribution.
4. To show that limy~0 Wr E 6e' we must establish that for each g ~ 6e,
( g) = f dx
(x) g(x)
converges as y $0 and that the limit is bounded by a seminorm of g. Since for every y > 0 Wr(g ) is given by an absolutely convergent integral, we may differentiate with respect to y under the integral. Recalling that Wr(x ) = W(z) is analytic so that Cauchy's theorem applies, we find dl
f
dt
dY ~Wy(g) = dx ~dy~W(x + iy)g(x) dl
= f dx[(i)l-d-2xtW(x+ iy)] g(x)= (-i)' f dx W(x+ iy)g(t)(x). As y+0, the derivations of Wr(g) are bounded by the as Wr (g): dl
dyt Wy(g) -
Y
1+ '
1
same power of y-
) f dx(l+x2)2mlg,l)(x) I
1 + ~-~
supl(1 +
§ ~/)(x)l.
This means that even though the a priori bounds on Wy(x) and diverge as y $0, they may be improved to convergent bounds. Let us denote I(y) = Wy(g). Then for y ~ (0, 1) each derivative of
I(y)
[l
is bounded as
We(g)
14. WlGHTMAN DISTRIBUTIONS AND SCHWlNGER FUNCTIONS
421
where C z is proportional to a seminorm of g. The point is that I(y) cannot possibly diverge as y,l,O if its derivatives do not diverge in a worse manner. We can use the fundamental theorem of calculus to show this" 1
I(y) = - f
dy I i(1) (Yl) + I(1)
Y 1
1
= f dy I f dy 2 I(2)(y2)+ Y - ~
(1 - y)I(1)(1) + I(1)
.
Yl ~
o
1
1
1
=(-1)k f dYl f dY2""f dYk+lI(k+"(Yk+l)+PI,(Y), Y
Pk(Y)
Yl
Yk
where is a polynomial of degree k - 1 made up of linear combinations of I ( 1 ) , . . . , Choose k = n + 1. Then
in y with coefficients
I(k)(1).
1
II(y)l---c,+,
1
;f
dy I
Y
1
f
dy2.-Yl
1
1
dy,+2 (y,,+2),,+1 +
Ie.(y)[
Yn+l 1
1
=c.+ f dYl f dYz"'f dy. l ,., 1)n--l) +[Pu(y)[ 1
+1
Y
Yl 1
(Vn+ 1
Yn 1
1
=C,,+lfdylfdy2"'" f dY,,{n(n_l) (y,, Y
Yl
Yn-1
1 (1 - y , ) } + [P,(Y)I n
= Const, +i[fdyllny,+Q y,] + 1
y
where Q(y) is a polynomial in y. Since the integral on the last line above is bounded as is given by a convergent integral. Hence converges as y$0 and, since C,+ 1 and p , ( 0 ) are bounded by seminorms of g, we conclude that limy~0 To see that ~Wy (and thus also limy~0 is supported on [0, oo), choose a function g E ~ supported on ( - ~ , 0). These functions are dense
y,[,O,I(y)
IVy(g)
Wy~ 5t".
~Wy)
422
VI. DISTRIBUTIONS
in ( g ~ 6elsupp g C ( - ~ , 0 ) } so it is sufficient to show that ~Wy(g) vanishes for this restricted set. If g ~ 5e has compact support, then its Fourier transform is an entire analytic function defined by the absolutely convergent integral
(~g)(z) = J dk e-ikZg(k) . It is left as an exercise to the reader to show that this function is complex differentiable. If the compact support of such a function is contained in the open set ( - ~ , 0), then its Fourier transform vanishes exponentially in the upper half plane. To see this, note that there is an e > 0 so that k > - e ~ k ~ ' supp g. Then for any integer l >-0 sup[(1 + x2)l(..~;g)(x + iy)l
X
i
=sup~
d k g ( k ) e ky 1 - ~
dE l
e -ik~
< - f dk ~
oo
<---~ (j
i
]=o
-.~
(k)l
eky
<_e-~YRt(y) , where R l is a polynomial of degree 21 in y. Then, for any t~ > y-X
,~Wr( g) = Wy(~g) = f dx W(x + iy)(~g)(x) r
= J dx W(x + iay)(~g)(x + i(a - 1)y) since the contour of integration may be shifted in the upper-half complex plane due to analyticity. Recalling the bounds on W(z) we find
I~W~(g)l-
1 ) f d x ( l + x 2 ) 2 m (~;gl(x + i(a - 1)y) 1 + (ay).+l
1 ) ,~ sup~ (1 + x~ym*~(~g)(x + i(~
<- C(ay)(1 + (~y)~+~
<-2"rrC(ay)Rzm+l((a - 1)y) e - ~ - I ) y
-- 1))
14. WlGHTMAN DISTRIBUTIONS AND SCHWlNGER FUNCTIONS
423
This estimate holds for any a > y -1 so we may take a ~ ~ and conclude that Wy(g)=O. 5. We are now ready to show that W is the boundary value of Wy. By this we mean that for any g ~ 9 o lim Wy(g) = W ( y ) . y$0
Since
Wy( g) = (~Wy)(~g)
and
W(g) = ( ~ W ) ( ~ g )
and ~Wy and ~ W are supported on [0, ~)_ we may without loss of generality consider test functions g with sup ~ ( g ) C [0, ~). The regularity theorem for tempered distributions (Schwarz, 1957, 1959, Reed and Simon, 1972) ensures that ~ W has the representation f
N
dn
~W(h) = dk ~, a,(x) dx" h(x) n=0
for some finite N and continuous, polynomially bounded functions a,(x). Hence, Wy (g)
f
= dx g(x) ~ W(fx +iy ) = f dx g(x)
f
d n fx+iy(k) dk ~N an(k ) -d~ n=O
= j=o
] (21r)-1
= .~--o •
dx g(x) (-Y)J-'
fax ~
dk a,,(k)x(n-J)(k)(ix-y)J e ik~-k" dk a.(k)x(U-;)(k) e
(ix) t eikxg(x),
where the reversal of the order of integrations is justified by the absolute convergence of the integrals. Thus we find Wy(g)= ~, ~ n ,,=0 i=O j
dk an(k)x (,,_j)(k)
(e_ky(~g)(x))
N an(k ) - d" = f dk ~, ~ (e-ky(~g)(k)) n=O
since ~ g and all its derivatives are supported on [0, oo) while X ("-j) is supported on [ - 1 , O] for j ~ n. The conclusion is
424
VI. DISTRIBUTIONS
Wy( g) =
~ W ( e - ( ) Y ( ~ g ) ( 9) ) =
W(~(e-()Y(~g)( 9))).
It thus only remains to be shown that 6e-lim ~ ( e - ( ) Y ( ~ g ) ( 9) ) = g , y~0
or equivalently, since the inverse Fourier transform is continuous on 5e, that ~-lim
y&O
e-ky(~g)(k) = (~g)(k) .
Toward this end, choose integers m and n. Then sup k (1 +
k2)m ~d~
<
n i=0
(1 -- e-kY)(,~g(k))
sup (1 +
kz)m(~g)O'-')(k) -~
( 1 - e -ky)
i
-<sup k>O
1+
k2
+ ~ yi(in )
s pl(1 + k2) m+l (n Uk ('~g))(k)l supI( 1 +
k2)'(~g)~n'(k)l.
i-1
The sum above is a polynomial in y with no constant coefficient-it clearly vanishes as y $0. The first term may be rewritten -ky
1-e = sup sup k>0 1 + k2 k>0
f
k
d k ' ~--~7
1 + k '2
0
sup{yf k>0
(1 eke)
0
k
k
(1 + k '2)
- 2 f dk' k'(1.(.1+-k;2-~e -k'y) } 0
oo
~Y
f
dk' >0. 1 + k '2 y,o
0
REFERENCES Streater, R.F. and A.S. Wightman, PCT, Spin and Statistics, and All that, (Benjamin Cummins, Reading, Mass., 1964). Reed, M. and B. Simon, Methods of Modern Mathematical Physics (Academic Press, New York) 1972 (Vol. 1), 1975 (Vol. 2). Glimm, J. and A. Jaffe, Quantum Physics (Springer-Verlag, New York, 1981). Schwartz, L., Th~orie des distributions (Hermann, Pads) 1957 (Part I), 1959 (Part II).
15. BOUNDS ON THE NUMBER OF BOUND STATES
425
15. B O U N D S ON T H E N U M B E R OF B O U N D STATES OF T H E S C H R O D I N G E R O P E R A T O R *
This problem concerns the spectrum of Schrbdinger-type operators H = - A + V(x) acting on L2(R"). We assume that lim V(x) = 0 Ixl~ tends to zero at infinity. Simple modifications allow us to treat confining potentials. 1) Start from the energy functional for n >-3, defined by (integrals are taken over R ~) E(CJ) = T(,/I) + U(~),
T(qJ) = f dnx IV (x)l z
U( ~,) = f dnx V(x) l $(x) l2
f dnx I~r
2 - 1,
for q, E H I(R") and suitable potentials V(x). Bind the kinetic energy T(q,) using Sobolev' s inequality, use H6lder' s inequality for the potential energy contribution U(~b). Combine both to obtain a condition excluding negative energy bound states. Observe that - A + V(x)>-0 implies the absence o f such states [1]. 2) Consider the reduced wave equation for a radial symmetric Schr6dinger problem in R 3 with angular momentum l
dz l(l + 1) ) -~ + 2 + V(r) ut,E(r ) = Eut,e(r ) , dr z r
Ut,e(O ) = 0
on L2(R +, dr). Assume that there exist ut bound states. The zero energy solution splits the half line into ut disjoint intervals, according to the nodal theorem (see for instance [2]). Take first l = 0; integrate the Schr6dinger equation between successive nodes to obtain rp+l
f
dr[(-~)2
+ V(r)u2(r)} = 0 ,
where u(r)= Uo,o(r) .
r,
Apply the reasoning o f part 1) to each interval, observe that Sobolev's inequality applies to finite intervals as well. Sum up the contributions to *Contributed by H. Grosse.
426
VI. DISTRIBUTIONS
obtain a bound on the number of bound states of the form
IV]
v0_< S3 f dr r21Vl 3/2
89
=
v)
0
where Iv I_ denotes the absolute value of the negative part of V. Relate S 3 to the Sobolev constant [11. 3) Generalize 2) to angular momentum l: Transform from r and u(r) to z = In r ~ ( - o o , oo) and ~b(z)= u(r)/V7 and apply a scaling argument [1,3].
Answer 1" From Sobolev's inequality we get T(qj)> s~ll~ll =p with p = 2n/(n - 2). Let V = If+ - V_ be the decomposition of V into positive and
negative parts; IVl_ = V_. H61der's inequality yields V(0) >-- l i E _ Ilqll~,ll ~, for 1/q + 2/p = 1. Combining both bounds gives a lower bound on the energy functional 2 2 -+=1, p n
E(~) >m (S~ -IIV_ I1~,=)11~011~p
from which we conclude that there is no negative energy bound state if F
s \ - J d"xlVl "'~ < -
1
'
S~ = [Trn(n - 2)1 -n/2
F(n) r(n/2)
"
For a one-parameter family of similar conditions, see [6].
Answer 2" From the zero-energy solution of the reduced radial wave equation
--~r 2 + V(r) u(r) = 0 ,
u(0) = 0 ,
we obtain by integrating between successive zeros rp+ 1
0=
f
dr{(du(r)) 2+V(r)
rp rp+l
rp+ l
2/3
u 6 ( r ) ~ 1/3
:> (,if3 2/3- ( f dr r2]V] 3-/2) )( f d r r 4 "] rp
rp
where we used the fact that from Sobolev's lemma
15. B O U N D S ON T H E N U M B E R OF B O U N D STATES oo
oo
f dr r2(d@/dr) z inf o 4,ec~,(R§
427
(f) oo
dr rZ~6(r)
f dr(du(r)/dr) 2
a/3
=
inf
u~C~(R+)
o
6 (f)1,3 dr u (r) /r 4
0
oo
0 = ( 4 7 r ) m2/3S3 = S3- 1 / 3
,
@(r) = u(r) /r , and the same constant appears if one restricts integration to a finite interval. Adding up the inequalities rp+l
1<- S~ f dr r~lVI ~'~ ,.p
~
53--
m
16 3V3~r '
for each interval, leads to the stated result.
Answer 3: For angular momentum 1 the above functional is replaced by oo
f dr{(du(r) ~dr) 2 + [l(1 + 1)r2]u2(r)} 0 oo
dr u6(r) /r 4 0
f dz{(ddp(z)/dz)
+ (1 + 89
oo
= Gt(q~ ) .
1/3
Since Gl(q5 ) differs from G0(~b) only through the replacement ~b2/ 4---~b2(21+ 1)2/4, we may get back G0(~b) from Gt(r ) by a scale transformation: ~b(z)= q5((21 + 1)z); this leads to
Gt(q~ ) = (21 +
1)4/3G0(~)
.
Since the infimum of G0(~b) is known, we obtain finally oo
f dr r~lVl ~'2 vl<--S3~ (21+ 1) 2
"
428
VI. D I S T R I B U T I O N S
REFERENCES
[1] v. Glaser, A. Martin, H. Grosse and W. Thirring, in: "Studies in Mathematical Physics", eds. E.H. Lieb, B. Simon and A.S. Wightman (Princeton University Press, 1976) p. 169. [2] A. Messiah, "Quantum Mechanics, Vol. I" (North-Holland, Amsterdam, 1970)p. 109. [3] V. Glaser, H. Grosse and A. Martin, Commun. Math. Phys. 59 (1978) 197.
16. S O B O L E V SPACES O N R I E M A N N I A N M A N I F O L D S
1. DEFINITIONS Let X be a p a r a c o m p a c t C OOmanifold of dimension n and let h be a C ~ (properly) riemannian metric on X. We have defined (pp. 480-485) distributions, tensor distributions and their covariant derivatives on
(X,h). We have denoted by
I/(x)l
=
(tiz ' " i ' ( x J ) t i l
. . . i , ( x J ) ) 1/2
the n o r m , relative to h, of an r-tensor t(x) at x E X. We d e n o t e by d/z(h) the measure defined on X by the volume element of h. In local coordinates d/x(h) = (det(hq)) 1/2 d x l . . ,
dx ~ .
A tensor field t, defined almost e v e r y w h e r e on X, is said to belong to Lq(X, h) if the function I/! is in t q ( x , d/z(h)). We set 1/q
If E denotes the bundle of r tensors over X, the space L q(X, h) just defined in the space of L q-sections of E.
Show that if X is compact the space L q(X, h) does not depend on the choice of h. uniformly equivalent
Answer: Two metrics h I and h 2 on X are called uniformly equivalent if there exist numbers A > 0 and B > 0 such that, for any smooth vector field v on X
Ah2(v, v) < hi(v, v) <- Bhz(v, v) .
16. SOBOLEV SPACES ON RIEMANNIAN MANIFOLDS
429
On a compact manifold two continuous metrics are always uniformly equivalent because at each point x the positive definite quadratic forms hl.x(V, o) and h2,x(V, v) are linked by such inequalities, with A and B replaced by strictly positive and bounded a(x) and b(x), which attain on X their positive minimum and maximum. In each coordinate chart, there then exist other strictly positive constants A and B such that A det(hx,q)_< det(h2,q)<_
B det(hl,ij )
which shows that a function in L q(S, hi) is also in t q(s, h2) , and conversely, though the norms may be different. If X is not compact t q(s, h i ) and L q(x, h2) may be different. Example: X ~ " ~2
h I = dx 2 + dy 2
h 2 = (1 + r2)(dx 2 + d y 2)
r 2 = x 2 + 2 2 the function f = [ 1 / ( l + rE) 2] is in LI(X, hl) but not in L l ( x , h2). We denote by vkt the k + r tensor, covariant derivative of the r-tensor t. m The Sobolev space W p (X, h), m a positive integer, p _> 1, of sections of the bundle of r-tensors on X is the space of r-tensor distributions on X which, together with their covariant derivatives of order -<m can be identified with tensors in L P(X, h). This space is a Banach space, with the norm Iltllw
m =
_ f [V~t(x)[ v {k~<m h} 1/p d/~(
)
X m In the case of a compact manifold X the space W p (X, h) does not depend on h (though the norm of a particular section depends on h).
Remark" It is not necessary to endow X with a metric to define W Pm
spaces of sections of a vector bundle over X. One can instead work through the charts of an atlas. The definition will be independent of the choice of the atlas if X is compact. In the case of spinor fields on (X, h) it may be convenient to use the covariant derivative in h, and an appropriate, noncanonical, norm in the fibre. The injectivity radius of a riemannian manifold (X, h) is by definition the greatest number 6 such that
where ~x > 0 is the maximal radius of a geodesic sphere in X centered at x for it to be diffeomorphic by the exponential mapping to an open neighborhood of 0 in the tangent space TxX.
injectivity radius
430
VI. D I S T R I B U T I O N S
a) Show that on a compact manifold one has always 6 > O, but only 6 > 0
if X is noncompact and h arbitrary. b) Show that a riemannian manifold with nonzero injectivity radius is
complete. euclidean at infinity
c) A riemannian manifold (X, h) is called euclidean at infinity if it is the
union of a compact set K and an open set U and if (U, h lu) is isometric to the exterior of a ball of R ~ with its euclidean metric. Show that if (X, h) is euclidean at infinity it has a nonzero injectivity radius. Answer a: ~x is a continuous function of x E X which attains its minimum at a point x 0 ~ X if X is compact. Therefore 8x -_- 8x0 = 6 > 0.
Answer b: Let (xn} be a Cauchy sequence in X: for each E > 0 there exists n such that d(x,,Xm)<e
if
n,m>_N.
We choose e < 6 and we consider the geodesic ball B~ of center xN and radius 6. The sequence {Xm}, m >- N lies in B, C B~ and B~ is diffeomorphic to a ball of R ~. The image of the closure of B, is complete in R ~, therefore the sequence {xn} converges in X.
Answer c: We define a compact K~ D K which is the set of points where distance to K is less or equal to some given number d > 0 . A point x E U - K 1 is at a distance > d from K, and therefore is the center of a geodesic ball in the euclidean metric of radius at least d. On the other hand 8x, x E K 1, attains on the compact K 1 its minimum, which is therefore positive. II 2. DENSITY THEOREM denotes C o ( X ) the space of C | tensors on X of some given order r, compact support. It can be proved (cf. Aubin [3], Wamon [6]) Co(X) is dense in W ~ h ) = LP(X) Pl C o ( X ) is dense in Wp(X, h) if ( X , h ) has a nonzero injectivity radius, and uniformly bounded riemann curvature. (iii) Co(X) is dense in W mp (X, h), m > 1, if (X, h) has nonzero injectivity radius and if the riemann curvature is uniformly bounded on X as well as its derivatives of order -<m"
One with (i) (ii)
suplV ~ Riem(h)[ <-- M , X
0-< 1 -< m .
431
16. S O B O L E V SPACES ON R I E M A N N I A N MANIFOLDS
Remark" the theorem shows that C~(X) is always dense in Wp (X) if X is compact. m
3. EMBEDDING AND MULTIPLICATION PROPERTIES
It can be proved that the Sobolev embedding theorem [Problem VI 2] holds for a riemannian manifold (X, h) if it has bounded curvature and nonzero injectivity radius. It holds in particular for compact manifolds, and manifolds euclidean at infinity. The proof (cf. Aubin pp. 44-50) rests on the theorem for U C R n and on the construction on X of an atlas where domains of charts are geodesic balls of fixed radius/9, 0 < p < t~, and which is uniformly locally f i n i t e i.e. such that there exist an integer k with the property that each point x E X has a neighborhood which has a nonempty intersection with at most k of the considered balls. The Sobolev embedding theorem is also valid for manifolds with boundary, under appropriate hypothesis reformulating the cone condition, for instance for compact manifolds with C 1 boundary. Kondrakov's theorem holds for compact riemannian manifolds, or compact riemannian manifolds with a boundary which satisfies some kind of cone condition, for instance is C 1. The multiplication theorem and the composition theorem are valid for riemannian manifolds for which the Sobolev embedding theorem holds. The multiplication theorem is valid under the form given in Problem VI 3 for a manifold with finite volume (for instance compact), and otherwise under the form given in Problem VI 3, 2.. 4) The interpolation theorem in its general form is valid for C ~~compact riemannian manifolds with or without boundary, with the additional hypothesis fx u d/x = 0 in this last case. The particular case proved ( j = 1, m = 2, a = 89 in Problem VI 2 is valid for an arbitrary C ~ riemannian manifold, with a quite analogous proof. Many other cases are valid for noncompact manifolds as can be seen in following the details of Aubin's proof (pp. 94-95).
Prove that if the interpolation theorem is valid for riemannian manifolds without boundary under the restriction (Aubin, p. 94) ~x u d/x = 0, it is also true without this restriction if j > O. Answer 4: Suppose X is compact without boundary, u E @(X) and f ud~=k~O, x
d ~ volume element.
Sobolev embedding theorem
Kondrakov's theorem multiplication theorem composition theorem
interpolation theorem
VI. DISTRIBUTIONS
432 Set v = u-
k/vol X,
vol X =
f
d~
X
then v ~ ~(X)
and
f
vd/x=0.
X
T h e i n t e r p o l a t i o n t h e o r e m for such f u n c t i o n s r e a d
IlVJvll,, < cllVmVlla~ Ilvll ~-a r
Lq
"
W e h a v e V Jr = V J u if j > 0, v m v = Vmu, a n d
IlvllLq
-<
Ilull,~
+ [[k/vol
xll,~
a n d also
Ikl ~ Ilull,~ ~ Ilull,~(vol S)~,~,,
1
__1 q' :
q1'
f r o m which we d e d u c e
11oll,~-<211ull,~, hence q llV;ull,~ ---2~-~cllv~ull~,llull L~-~
~
1
REFERENCES
[1] S.L. Sobolev, "Applications of functional analysis in mathematical physics", Amer. Math. Soc. translations, mono. 7 (1963). [2] Y. Choquet-Bruhat, "Distributions" (Masson, 1973). [3] T. Aubin "Nonlinear analysis on manifolds, Monge Amp6re equations" (SpringerVerlag, 1982). [4] L. Nirenberg, "Topics in nonlinear functional analysis" (Lecture Notes) New York University (1974). [5] R. Palais, "Foundations of Global Non linear Analysis" (Benjamin, New York, 1968). [6] F. Wamon, "Sobolev spaces on Riemannian manifolds" Thesis Univ. Yaounde (1983).
SUPPLEMENTS AND ADDITIONAL PROBLEMS
1. The isomorphism H | H _~ M4 (N). A supplement to Problem 1.4 (I.17) 2. Lie derivative of spinor fields (III. 15) 3. Poisson- Lie groups, Lie bialgebras, and the generalized classical Yang-Baxter equation (IV. 14) (contributed by Carlos Moreno and Luis Valero) 4. Volume of the sphere S n . A supplement to Problem V.4 (V. 15) 5. Teichmuller spaces (V. 16) 6. Yamabe property on compact manifolds (V. 17) 7. The Euler class. A supplement to Problem Vbis.6 (Vbis 13) 8. Formula for laplacians at a point of the frame bundle (Vbis. 14) 9. The Berry and Aharanov-Anandan phases (Vbis. 15) 10. A density theorem. A supplement to Problem VI.6 "Spaces H s , ~ (R n)'' (VI. 17) 11. Tensor distributions on submanifolds, multiple layers, and shocks (VI.18) 12. Discrete Boltzmann equation (VI. 19)
435 437 443 476 478 483 495 496 500 512 513 521
Note:
The numbers in parenthesis such as (I.17), (111.15)... (IV. 19) are the numbers corresponding to the places of these problems in Vol. II (e.g. (I. 17) is the seventeenth problem of Chapter I.)
433
This Page Intentionally Left Blank
SUPPLEMENTS AND ADDITIONAL PROBLEMS
1. THE ISOMORPHISM H | H _~ M4(~) A Supplement to Problem 1.4 (pp. 6-14)
In paragraphs 3 and 4 of Problem 1.4 on Clifford algebras, we use the isomorphism between the real tensor product of two quaternion algebras H with the algebra of real 4 x 4 matrices M4(~). This isomorphism plays a key role in establishing the periodicity modulo 8 of Clifford algebras. A well known two dimensional representation of the quaternion basis {1, i, j, k} consists of the matrix 12 together with i times the Paul matrices. Since Paul matrices cannot be all imaginary, the isomorphism H | H _~ M4([R) is not trivial (see also answer 2c of Problem 1.4 and answer 3 of Problem 1.3). Let ot - a 1 + a2i + a 3 j + a4k ~ H , a n d fi - b 1 + b2i + b 3 j + b4k, where i 2 _ j 2 _ k 2 _ _ 1 and ij - k, j k -- i, ki -- j. Let
ot+ - - a l - a 2 i - a 3 j
-a4k.
The space o f quaternions is a real f o u r dimensional vector space. Let c~ | fl act linearly on H by (or @ f l ) ( V ) -- ceYfl +
f o r every y ~ H.
(1)
S h o w that the m a p defined by (1), namely
c~ |
~-+ ot/.flR,
(2)
is an i s o m o r p h i s m H | H --+ M4(R). Answer: Let I be the isomorphism between H and V4
I (a 1 + aZi + a 3 j + a4k) -
The isomorphism f ' H
column vector (a I , a 2, a 3, a 4).
(3)
| H --+ M4 (~) is defined by f(ot |
- M(ot,/3) 435
(4)
436
SUPPLEMENTS AND ADDITIONAL PROBLEMS
where
M(ot, fl)l(y) -- I(otyfl +) for all y 9 H.
(5)
This is an algebra isomorphism" We have (Problem 1.3 tensor)
(a |
|
-aa' |
(6)
We shall prove that M (or,/3) M (or',/3') -- M (otot',/3/3').
(7)
Indeed
M(ot, ,8)M(ot', ,8')I (y) -- M(ot, fl) I (ot'yfl '+) = I(otot'yfl'+fl +) -- I ((c~c~')y (/3/3') +) =
M
(oeoe',/3,8')
I
I (y).
To show that M(oe,/3) e M4(N) we construct M(c~,/3) for all the elements in a basis of H | H. Then we extend the result by linearity. Let the basis of H | H consist of
Let
1|
1|
l|
l|
i|
i|
i|
etc.
y -- a + bi + cj + dk, then M(l,i)I(y)-
l ( b - a i - d j +ck).
Therefore 9
M(I i ) - '
1
1
9
9
9
9
9
9
9
1
-1
9
"
A similar calculation gives M(ot,/3) 6 M4(~) for all c~ | in the basis of H | H. The explicit isomorphism depends on the choice of representation of the Pauli matrices, and on the convention made for tensor products of matrices (see answer 3 of Problem 1.3). Let a and b be two 2 x 2 matrices, then a | b is a 4 x 4 matrix
( a|
a lib
a21b
a 12b
a22b
)
(first choice) or
( abl abl2 \ ab 2 1 ab22 }/ (second choice). 1
2. LIE DERIVATIVE OF SPINOR FIELDS
i)
With the second choice and with a2 - (0i e.g. 1.4 w
437
, Crl and or3 as usual, (see
then
M(1, i) = i0.2 | 0.3, M(i, 1) = -i0.2 | 1,
M(1, j) - - i l |
0.2,
M(i, i) = 1 | 0.3,
M(i, k) = 1 | 0-3,
M (j, 1) = - i 0.3 | 0.2,
M ( j , j ) = 0.3 @ 1,
M (j, k) = -0.1 | 0.3, M(k, j) = al | 1,
M ( k , i) = -0.3 | 0.1,
M(1, k) = ia2 | al,
M(i, j) ---- 0.2 Q 0.2, M ( j , i) -- al @ 0.1, M ( k , 1) = - i a 2 | 0.2, M (k, k) = 0.3 | 03.
For detailed calculations leading to the periodicity modulo 8, see "The Pin groups in Physics, C.E and T" by M. Berg, C. DeWitt-Morette, Shangjr Gwo, and E. Kramer (to be published).
2. LIE DERIVATIVE OF SPINOR FIELDS
The difficulty in defining the Lie derivative of a spinor field on a Riemannian manifold (V, g) comes from the fact that there is no natural and unique definition of the image of such a spinor field by a diffeomorphism. However there is a fairly natural definition of the image of a spinor field by an isometry near the identity. We shall take as definition for the Lie derivative of a spinor field with respect to an arbitrary vector field X the formula that we shall obtain when X is the generator of a one parameter group of isometries. 1. a) Let (V, g) be a pseudo Riemannian manifold with a spin structure S (Problem IV2 construction p. 136). Let f be an isometry of (V, g) near the identity. Give a definition of the reciprocal image by f of a spinor field g~ on V by using representatives in spin frames (p. 135). b) Applications. Let ~ be a spinor field on the euclidean space ~2, determine its reciprocal image under rotation around the origin. Same question when ~ is a spinor field on Minkovski space time M4 and the isomet~ is a rotation around a given space like axis.
Answer l a: Let Ui be an open set in V over which the bundle O(n, m) of orthonormal frames is trivial. Let x w-~ px,i be a given section of this bundle over Ui. Let ~ i ( x ) ~ C 2p p - (n + m ) / 2 be the representative of 7t(x) x ~ Ui C V, in the fiducial spin frame (Px,i, e) over Ui where e is the unit of the spin group. We suppose that f (x) is also in Ui and denote by P.t,x,i
Lie derivative of spinor fields
438
SUPPLEMENTS AND ADDITIONAL PROBLEMS
the orthonormal frame at x which is the image by f - 1 of Pf(x),i. Let Lf, x,i be the element of O(n, m) which sends Px,i onto PLx,i. Let 7-{ be the two sheeted homomorphism 7-{'Spin(n, m) --+ S O ( n , m ) by Av-+ L
B such that A y A A -1 - - y B L A.
We denote by A.Lx, i the reciprocal image of L.Lx, i by ~ which is in a neighbourhood of e. We call image ~r(x) of fr(f(x)) by f - 1 the spinor whose representative at x in the spin frame (PLx,i, A.Lx,i) if ~ri(f(x)) ; its -1 representative in the fiducial spin frame (Px,i, e) is t h e n A.Lx,i~i(f(x)).
Answer 1b: Take cartesian coordinates (x, y)
on []:-2 and their natural frames as field of orthonormal frames. Take a rotation of angle 0 around the origin. The corresponding isometry f : ( x , y) ~ (~, rl) is given by
se = x cos 0 + y sin 0,
r / = - x sin 0 + y cos 0.
The frame/5 image of p - (O/Ox, O/Oy) u n d e r f - I the element of 0(2) represented by the matrix L_
(cos0 sin0
is p -- Lp where L is
- sin0) cos0 "
An element A of spin(0, 2), or spin(2, 0) (cf. Problem 1.4 Clifford) corresponding to L under ~ is represented by a 2 x 2 matrix such that, with ~ , i -- 1,2, gamma matrices
AFiA -I -- FjL.Ji, equivalently
AFi = Fi A cos0 + FzA sin0,
AF2 = Fl A sin0 - FzA cos0.
We look for A in the form A = a 1] 4- bFl F2 with a and b real numbers (cf. 0 Problem 1.8, Weyl, p. 27). We find that the general solution is a - X cos 7, b -- ~ sin -~, where 2. will be determined by the condition ]det A[ -- 1. If we consider Spin(0, 2) we take Fl - al, F2 -- a3, A -- + ( c o s ol] - i sin o0-2) where the oi are the Pauli matrices (p. 8); choosing the 4- sign (then A = e for 0 = 0) we have A--
(coso sin) -sin o
cosO
.
(1)
If we consider Spin(2, O) we can take/-'1 = iol,/-'2 = io'2, then
A_(e
-i0/2 0
0 )
ei0/2
0
0
= cos ~11 -- io3 sin ~.
(2)
2. LIE DERIVATIVE OF SPINOR FIELDS
439
Remark: Equations (1) and (2) give an explicit expression for the isomorphism of Spin(0, 2) with Spin(2, 0). The reciprocal image of ~ at (x, y) in the frame (O/Ox, O/Oy) is ~ ( x , y) - A~p(xcosO + y s i n 0 , - x sin0 + y cos0). Here ~p and ~ are each a pair of complex valued functions o n ~ 2 . Suppose we express these functions in polar coordinate (r, q)). The above relation reads ~1 (r, qg) -- e-i~
~2(r, q)) -- ei~
1(r, q) - 0),
q) - 0).
We see that if ~ is such that ~(r, ~0) = (e-iW2u(r), ek~ it is invariant by rotation. Consider now H 4 with cartesian coordinates (x, y, z, t) and a rotation of angle 0 around Oz. The element L 6 L(4) linking p and its image r is given by the matrix cos0 sin0 0 0
-sin0 cos0 0 0
0 0 1 0
0 0 0 1
"
The element A with image L by 7-[ and reducing to e for 0 ----0 is again 0 0 A -- cos ~ 11 - sin ~ F1F2. If we consider Spin(l, 3) and the Dirac representation (conventions p. xii, Vol. 2) of gamma matrices we find for A the diagonal matrix e -i0/2 0 0 0
0 e i0/2 0 0
0 0 e -i0/2 0
0 0 0 e i0/2
"
Exercise: find other representations. 2) Define and compute the Lie derivative of a spinor field with respect to a vector field X generator of a one parameter group of isometries of (V, g). Show that the formula defines a spinor field when X is an arbitrary vector field.
SUPPLEMENTS AND ADDITIONAL PROBLEMS
440
A n s w e r 2: Let ft be a one parameter group of isometries of (V, g), f0 -- Id df It=0 be its generator. The Lie derivative of the spinor field and let X - -aT is naturally defined by (Ttt is the image by ft) 1
l i m - {~t(x) -- ~(x)}. t=0 t
(s
It is represented in the fiducial spin frame by 1 -1 l i m - {A "r t=0 t .fi,x,i
(s Since A.D,,x,i
-- e,
- 7ti (x) }
it follows that
(ff__,X~r)i(X) __ { d(A.f),x,i)-I
l[ri(X ) _jr_d llii(ft(x) )
it=o"
By hypothesis we have 7-[ ( A.D ,x,i ) -- L.t; ,x,i , therefore (cf. Problem I. 11, Lie algebra, p. 38) {d A.fi,x,i}t=O_
-4i L AB /-,A 1" B -- I ( L A B
-- LtlA)FAF tl
where L A B is the (antisymmetric) element tangent to O ( n , m ) at its unit element defined by {~ L D,x,i}t=O. Set ]i-l = qgt. The image of a frame p by qgt is the frame/5 -- V~t p .
In local coordinates ~ot is represented by ~pff(xC). We represent the frame p by a matrix e~ acting on the natural flame; the above equation reads then ~ (x) -- ~ x c eCA(.fi(x)) which we write with LD,x -- VqgtPD,xPx I
fix -- L D , x P x ,
that is L.fi, x - (L D) =~
oxceCA ( , [ ; ( x ) ) ( e - l ( x ) ) B
xA_/d'A/
/
The generator of the one parameter group .]'i is given by
dt
t=o
-
-g-
t=o
.
2. LIE DERIVATIVE OF SPINOR FIELDS
441
We choose local coordinates such that Px coincides at the considered point x with the natural frame. Then {-d-iL]),x,i}t=O -
aX a
~-XBoxBJ"
If we chose local normal (p. 326) coordinates such that at the pointy x we have, in addition to gaB riaB, ~TcgA8 - - 0 we can choose p such that -
-
0e D
we have, at the point x, ~
- 0. We deduce from these considerations that d L .r }t=0 is the element of the tangent space in this chosen coordinates {~7 0X B
at unity of O(n, m) determined by the matrix ( - ~-Ue-)- We use the fact that, by its definition the Lie derivative of a spinor field is a spinor field and that the matrix (VcXB) is antisymmetric when the ft are isometries to write as follows the formula for the Lie derivative of a spinor field ff_,Xl~r -- X A V A ~
-- I ( V A X
B -- V B X A ) F A F B l f i r .
b) For an arbitrary vector field X the above formula defines a linear operator from the space of smooth spinor fields into itself. It is taken as definition of the Lie derivative with respect to X. 3) Show that on the Euclidean space ~-3 there is no spherically symmetric spinor field, except O.
Answer 3: A spinor field is spherically symmetric if it is invariant under the rotation group, hence if its Lie derivatives with respect to 3 independent generators of this group vanish. Such generators are, in cartesian coordinates Z = yOx - XOy,
Y =XOz - ZOz,
X -- ZOy -
yOz.
In polar coordinates on ~-3, x = r sin 0 cos q),
y=rsinOsinqg,
z=rcosO,
these vectors read Z = - 0~o,
X = sin q)O0 +
Y = - cos ~000 +
sin ~0cos 0 sinO
Ocp,
cosq)cosO sinO
We consider Spin(0, 3), with gamma matrices oi, i -- 1, 2, 3. We must have s
i =~ (XOy -- y O x ) g / - lcrlO'Z~r ~ Ocp~ ~- ~ o - 3 ~ - - 0
442
SUPPLEMENTS AND ADDITIONAL PROBLEMS
i.e.
i
a~ofr ~ + .~~
1
- O,
~2
a~o
i
2
-2ap - O.
The general solution of these equations is (result which could have been deduced from answer 1) ap I -- e-i~~
O),
~ 2 _ ei~O/2v(rO).
We now compute s v ~ = ( - cos q900 + sin tp cot 0 0~0)ap -
89 io'2 ~ -- 0.
Using the expression found for 7t we obtain two linear equations in u and v which are also linear in cos q9 and sin qg. Equating to zero the terms in cos rp and sin q9 gives four equations for u and v which read
Oou - l v,
cotOu-v,
Oov-- - 8 9
cotOv--u.
The only solution of these equations is u = 0, v - 0.
Remark: A vector field V on IF3 is spherically symmetric if its components in cartesian coordinates are of the form (x u(r)), (y u(r)), (z u(r)). Remark: The quantity [s "I~X 2 ] - - Z~lXi,X2l vanishes if and only if either X I or X2 is the generator of a group of conformal isometries. For the proof see [Bourguignon]. We thank V. Georgiev and R Schirmer for enlightening discussions about invariant spinors. REFERENCES Kosmann, Y., "D6riv6e de Lie des spineurs", Annali di Matematica Pura ed Applicata 91 (1972) 317395. Bourguignon, J.P., and Gauduchon, P., "Spineurs, op6rateurs de Dirac, et variations de m6triques", Commun. Math. Phys. 144 (1992) 581-599. See also Bryce DeWitt, "The spacetime approach to Quantum Field Theory", in: Relativity, Groups, and Topology H, eds. B.S. DeWitt and R. Stora (North-Holland, 1984) p. 552.
3. POISSON-LIE GROUPS
443
3. P O I S S O N - L I E G R O U P S , L I E B I A L G E B R A S A N D T H E GENERALIZED CLASSICAL YANG-BAXTER EQUATION* 1. POISSON-LIEGROUPS This section c o n c e r n s the Drinfeld definitions of the P o i s s o n - L i e group structure, (G; A). (Ref. [1], [2], [4], [3], [9], [7], [5], [8], [10], [1 1].) 1.1. Definition A Poisson-Lie group (PLG) is a Lie group G e n d o w e d with a Poisson structure such that the m a p p i n g r c ' G x G--+ G
(gl; g2) --+ gl "g2 is a Poisson m a p f r o m the Poisson manifold (G x G; {; }GxG) to the Poisson manifold (G; {; }G), i.e., f o r all qgl, q92 E CoX'(G),
{~01; qgZ}G o :rr -- {(/91 o :rt'; (/92 o 7~}GxG.
(1)
By the definition of the Poisson structure on a product of two Poisson manifolds expression (1) can be written: {qgl; ~O2}G(g 9h) -- {((/91 o Yr)~'; (992 o rr)~ } 6 ( h ) + {((/91 o jr)h; (992 o yr)h}G(g ) :~ {(/91 o )~g; (/92 o )~g}G(h) ~t_ {q)l o Ph; q)2 o Ph}a(g),
(2)
w h e r e for any given g 6 G we define the m a p p i n g on G" (~0i o rr)~' (h) -(99i o 7r)(g; h) -- qgi(g, h) - (qgi o )~g)(h) and for any given h 6 G, the mapping: (~oi o jr) h (g) - ~oi (g . h) - (qgi o Ph)(g). 1.2. Definition Let, (G1; {; }G1), (G2; {; }G2) be two PLGs. Let qO:G1 --+ G2 be a C c~ mapping. We say that 9 is a Poisson-Lie m o r p h i s m if it is a Lie group morphism, i.e., a Lie group homomorphism, a n d a Poisson morphism: f o r all qg, ~ ~ C ~ (G2),
9Contributed by Carlos Moreno, Laboratoire Gevrey de Math6matique physique, CNRS UMR 5029, UFR Sciences et Techniques, Universit6 de Bourgogne BP 47870, F-21078 Dijon Cedex France, Departamento de Ffsica Te6rica, Universidad Complutense, E-28040 Madrid, Spain, and Luis Valero, Instituto "Giner de los Rfos", E-28100 Madrid, Departamento de Ffsica Te6rica, Universidad Complutense, E-28040 Madrid, Spain.
444
SUPPLEMENTS AND ADDITIONAL PROBLEMS
1,3. Let (G; {; }G), (H; {; }/-/) be two PLGs. Prove that the Poisson manifold (G x H; {; }GxH) is itself a
PLG.
Answer. The direct product Lie group G x H is defined by / / ( ( g l ; g2); (hi; h2)) - (gl "g2; h i . h2) for all g l, g2 E G, for all hi, h2 E H. We need to prove that the mapping /7 : (G x H ) x (G x H ) ---> G x H is a Poisson mapping, i.e., for all F1, F2 ~ C ~ (G x H ) {F1; F2}GxH(gl " g2; hl " h2) -- {El o/7; F2 o 17}(GxH)x(GxH)((gl; hi); (g2; h2)).
(3)
To do this we develop both sides of the equality (3) using the facts that G x H and (G x H ) x (G x H ) are Poisson manifolds and that G and H are PLGs. We then see that both sides are identical. For a better understanding of the notion of a PLG we need to look more closely at its Poisson tensor A. 1.4. Let (G; A) be a Poisson manifold, and (G x G; A 9 A) the corresponding product of Poisson manifolds. Let n" : (g; h) ~ G x G --+ g . h ~ G be the product in group G. Prove that Jr is a Poisson mapping if and only if'.
A ( g . h) = Th)~g " A ( h ) + Tgph " A ( g ) . Answer. (a) Let us suppose that the mapping n" is a Poisson morphism. The equality (1) is then verified, and in terms of the tensor A can be written: Ag.h(d~ol (g " h); dq92(g . h)) = Ah(d(cpl o Xg)(h); d(~02 o ~g)(h)) + Ag(d(~pl o Ph)(g); d(~02 o Ph)(g)). Developing each term in the second member of this equality, we get:
-- Ah(dCpl(g . h) o ThUg; dcpz(g . h) o Th)~g) + Ag(d~pl (g. h) o Tgph; d~o2(g" h) o Tgph) . . . . . = (The? 2. Ah)(dcpl (g" h); d~o2(g, h)) + (Tgp~h 2. Ag)(d~01 (g. h); dcp2(g, h))
(4)
3. POISSON-LIE GROUPS
445
f o r all ~1, ~2 E ~cxz (G).
We thus obtain the equality: A ( g . h) -- (Th)~g) |
. Ah + (TgPh) |
" Ag,
for all g, h ~ G.
(5)
(b) Conversely. It is clear that the above reasoning can be reversed mutatis mutandi, i.e., if A verifies equality (5) it verifies also equality (4) and then the mapping Jr is also a Poisson mapping. II Remark. Note that we have not use the condition [A; A] = 0 in the above reasoning, i.e., we have proved that if A is any skewsymmetric contravariant tensor of degree 2 on G and if A and A @ A are 7r-related, i.e., if they verify the equality (4), then A verifies equality (5), and conversely. This leads us to the following problem.
1.5. Let A be a skewsymmetric contravariant 2-tensor on G, i.e. A ~ A2(G). Let l : G ~ g | g and m : G --+ g | ~ be respectively the mappings: l ( g ) - - (Tgpg-, | Tgpg-,) . A(g);
m(g)-
(Tg)~g-i ~ Tg~.g-l).
A(g).
Prove that the following three properties of A are then equivalent:
(a) For all g, h ~ G, A ( g . h) -- (ThXg)|
+ (TgPh)|
(If A verifies this equality we say that A has the Drinfeld property.)
(b) The mapping 1 is a 1-cocycle on G, with values in g | ~, relative to the adjoint action o f G on g | ~, i.e., l(g . h) = l(g) + Ad(g)| f o r all g, h ~ G.
(c) The mapping m verifies the equality: m ( g . h) - re(h) + Ad (h-1)| f o r all g, h ~ G.
SUPPLEMENTS AND ADDITIONAL PROBLEMS
446
Answer. (a) @ (b) From (a) and the definition of l, we get: l(g . h)
(TghP(gh)-,)|
9h)
-- (TghP(gh)- , )|
)|
-
-
= (Th()~g o P(gh)-l))| = (Te(~g o pg-l) o ThPh-l)|
-k- (TgPh)|
+ (Tg(P(gh)-, o ph))| + (Tgpg-1)|
l(h) + l(g).
-- (Adg) |
We thus obtain (b) from (a). Obviously, if l verifies (b) the second equality in the above reasoning must also be verified, and (a) is therefore verified, since the mapping:
TghP(gh)-I " Tgh G
> TeG--g
is a vector spaces isomorphism. The equivalence (a) r
(c) can be proved in a similar way.
II
Remark. If A 6 A2(G) has one of these properties, then A(e) = 0, l(e) = O, m(e) = 0, where e is the neutral element of G. In particular, this is the case when (G; A) is a PLG. From 1.4 and 1.5, we can say that (G; A) is a PLG if and only if: (a') [A; A] = 0, i.e., A is a cocycle in the Poisson cohomology on G defined by the Schouten bracket. (b') l(g . h) = l(g) + (Adg)| where l(g) -- (Tgpg-l)| E IJ | {t, for all g, h ~ G, i.e., the mapping g ~ G --+ (Tgpg-l)| E g | ~1 is a 1-cocycle on ~1relative to the adjoint representation of g on ~t | {t. The notion of a Lie algebra can be seen as the infinitesimal definition of the notion of a Lie group. What then is the infinitesimal definition of a PEG? This will be the notion of a Lie bialgebra, which can be reached by looking more closely at the definition (a'), (b') of a PLG.
1.6. L e t A C A 2(G) and suppose the mapping
l'g6G Now let E =_ Tel " g e6G.
> (Tgpg-,)|
E g | 1~.
> g | fj be the tangent mapping to l at the point
3. POISSON-LIE GROUPS
447
Prove that if A has the Drinfeld property, or equivalently, if l is a 1-cocycle relative to the adjoint representation o f G on 1~ | g, then E is a 1-cocycle on g with values on g | g relative to the adjoint action o f g on g | g, i.e.,
~([x; y ] ) -
(adx @1 + 1 | a d x ) ~ ( y ) - (ady |
+ 1 @ ady)~(x),
f o r all x, y ~ ~. Answer. From the Definition (b) in 1.5, we easily obtain the following properties of l"
(i) l(e)-O
(ii) l(g -1) = - Adg-1 9 for all g 6 G. From the same definition and these two properties, we easily obtain, for all g l, g2 E G , t h e e q u a l i t y " -1
)-/(gl)-I-(Adg,)N21(g2)-
I ( g l " g2" g 1
(Adgl.g2.gl ~)|
In this equality, we now substitute g2 - - e x p ty, y ~ g, t ~ R"
l(gl "expty'g 1-1 ) --/(gl) + (Adgl )|
(expty)
--
(Adgl.expty.g _1 1 )N2/ (gl) .
We then calculate the derivative of this mapping at the point t -- 0, i.e., d
-1
Tel " - ~ ( g l " e x p t y " g 1 )It=0
= (Adg I ) |
. -d~ l ( e x p t y ) l t = o
d ~-; (Adg 1 9Adexp ty .Adgl 1 ) |
"/(gl).
Then: Tel" (Adg 1(y)) -- Ad |gl "Tel(y)
- - ( A d g 1 9ady- Adg~-i |
q- I @ Adg 1 9ady- Adgll ) . / ( g l ) .
In this equality, we then substitute g l - e x p s x, x ~ g, s ~ fiR, and compute the derivative of this mapping at s - 0: d d --ds (Tel" Adexp sx (y))Is=0 = --ds(Ad| expsx
"rel(y)_,s= )1 0
d
(Adexpsx 9ady 9Adexp(-sx) | ds Jr- I | Adexpsx" ady. Adexp(-sx) ) 9
sx)Is=O"
SUPPLEMENTS AND ADDITIONAL PROBLEMS
448
Likewise" __
d
d (Tel" Adexpsx(Y))Is=O- Tel'-~s(Adexpsx(Y))ls= o -- Tl" [x; y],
ds d d ) ) ls=0 ---- ds (" Ad e| x p s x --ds(Ad e| x p s x " Tel(.Y-,, -- d((exp(adsx))| ds
s
)1- , s = 0
"
Tel(y)
=o" Tel(y) -- (adx | I + I | adx)- Tel(y),
d (Adexpsx 9ady. Adexp(-sx) | d-~ + I | Adexpsx "ady. Adexp(-sx) )" l (exp sx)[s=O = (ady | -t- I | ady). Tel(x). The required derivative at s - 0 is then" Tel([x; y]) -- (adx|
I + I | adx). T e l ( y ) - ( a d y |
I + I | ady). Tel(x). m
Given a Poisson-Lie group (G; A) the essential property of cocycle E : 0 --+ 0 | 0 is that its transposed mapping Et: 0* | 0* --+ 0* will define a Lie algebra structure on 0". This property can be proved by solving the following problem:
1.7,
Let A ~ A2(G) (note that we need not assume that A verifies the Drinfeld property). Let us consider the mapping l 9G --+ 0 | 0 as in 1.6 (which need not be a 1 -cocycle). Let us also consider the following skewsymmetric mapping on C o~ (G)" {~0; ~ } G
--
A(d~" d~)
f o r all ~p, gr ~ C ~176 (G). Prove the following relation"
(d{go; ~}G(e); x ) - (dgo(e)/x d~(e); E(x))
( -= (Et(dgo(e)/x d~p(e)); x))
f o r all x ~ O. Equivalently, prove the relation"
d({~; ~ r } c ) ( e ) - 6t(d~(e) A d~(e)).
3. POISSON-LIE GROUPS
449
Answer.
(d({~; ~})(e); x} _ d ({99 7r }(exp tx))It=0 dt d _
-- dt ((TePexptx)|
A d~(exptx)))It=0
-- d ( l ( e x p t x ) ( d q ) ( e x p t x ) o TePexptx A d ~ ( e x p t x ) o TePexptx))]t= 0 dt d = --l(exptx)lt=o(dgo(e) A d~r(e)) - E(x) (dgo(e) A dO(e))
dt = (ago(e) A dl/r (e); e ( x ) ) - (Et(dgo(e) A dgr(e)); x).
The above equality is obviously verified for any P L G (G; A); furthermore {; }6 is the Lie bracket of the Poisson structure defined by A on the manifold G. F o r P L G , we can also prove: 1.8. Let (G; A) be a PLG. Let 1(g) -- (Tg pg-1) A (g) be the corresponding 1cocycle on G, with values on 1~ A 1~, relative to the adjoint representation o f G on g A g. Let ~ = Tel : g --~ g /X 13 be the corresponding 1-cocycle on g with values on g A g relative to the adjoint representation o f g on 1~ A g. Let us define the following bilinear mapping on g*: [~1; ~2]1~* ~--- Et(~l A ~2)
f o r all ~1, ~2 E 1~*. Prove that the pair (13"; [; ]~*) is a Lie algebra. Answer. It is clear that [; ]9, is bilinear and skewsymmetric. It remains to
be proved that it also verifies the Jacobi identity. Let q91, q)2 E C ~176 ( G ) and be such that ~1 = dqgl ( e ) , ~2 - - d q ) z ( e ) , ~3 - - d~03(e). Then: [~1; s~219* -- et(d~l (e) A drp2(e)) -- d({rpl ; rP2}G) (e). Also: [~1; [~2; ~3]g*]9, -- [dgol (e); d({g02;
II
450
SUPPLEMENTS AND ADDITIONAL PROBLEMS
1,9, Let (G; A ) be a PLG and {ei; i - 1 , . . . , n } a basis o f o. Let us define the f o l l o w i n g right invariant vectorfields on G" x~ (g) - Te pg "ei, i -- 1 , . . . , n. Prove the following .equality" (a) {qg; 7t}G(g) -- A v ( g ) ( L x ~ p ) ( g ) . ( L x y a p ) ( g ) where A ( g ) -- A ij (g)x~ (g) | xq (g) and L(.) is the Lie derivative.
.I
(b) For the 1-cocycle on G, l(g) - (Tgpg-1)|
~ 0 | 0 we have"
l(g) -- A ij (g)ei | e./.
(c) Structure constants: Let {e~', k - 1 , . . . , n} be the dual basis on O* o f the basis {ei; i - 1 . . . . . n} o f o. Then" ,
[ e'j" e k ] 0 * -
,..jk
Ji e
i
where f ijk -- d A .jk (e) 9ei ;
~t(e.J A e k) -- dA./k(e)
OF (:(X) -- ( i x d A J k ( e ) ) e j ~ ek - - ( d A / k ( e ) ; x)e.j Q ek, (i(.) is the interior product, x ~_ 0.) 2. LIE BIALGEBRAS
We saw in the last section that any Poisson-Lie group (G; A) determines a Lie algebra structure, [; ]0", on the dual space 0* of the Lie algebra 0 of G. This structure is defined by means of the l-cocycle, ~ : 0 --+ 0 | 0, which is itself equivalent to the Drinfeld property of the tensor A, and to the cocycle property of A in the Poisson cohomology. Our consideration of the notion of a PEG thus leads to the following algebraic structure which can be now be discussed without referring back to the PLG structure. (Ref. [1 ], [2], [3].) 2.1. Definition A Lie bialgebra structure is a triple (0; [; ]; ~) where (0; [; ]) is a Lie algebra and E :0 --+ 0 | 0 is a l-cocycle on O, with values on 0 Q O, relative to the adjoint action o f 0 on 0 | O, and such that the mapping:
6t " O* (~ ~*
> ~*
defines a Lie algebra structure on 0"" [~; /.]]g, __ ~t(~ (~) /7).
3. POISSON-LIE GROUPS
451
Exercise. Prove that Im(E) C 0/x O.
Now we want to prove that the notion of Lie bilagebra is the infinitesimal definition of a Poisson-Lie group. That is to say it ramains to prove that any Lie bialgebra (0; [; ]0; e) determines a Poisson-Lie group structure on the simply-connected Lie group G with Lie algebra g such that the Lie bialgebra determined by this Poisson-Lie group, 1.8, is the former one. The next problem is to discover the necessary and sufficient condition for the respective Lie algebra structures on vector spaces 0 and 0* to determine a Lie bialgebra (0; [; ]; e)2.2.
Let (g; [; ]), (0"; [; ]0")be Lie algebras. Let us considerthe following linear mappings"
fi'O |
~ O;
4"0" |
~"O*
defined by the expressions: [Xl; X21 --
fl(Xl @ X2);
[o/l; o/2]g* -- ~b(o/1 @ o/2),
Xl, X2 E 0; O/l, o/2 E 0".
Prove that the following three properties are then equivalent. (i) The mapping E -= q~t: 0 --+ 0 | 0 is a 1-cocycle on g, with values on g Q g, relatively to the adjoint representation of 0 on 0 | O, i.e.,
E([x; y]) -- ~bt([x; y]) - adx 9~bt(y) - ady
9 ~bt(x).
(ii) The action of [~; 77]0. on [x; y] can be written in the following three equivalent forms: ([~; olg* ;[x; y]) + ([ad*y ~; r/]0. ; x) + ([~; ad*y 7710.; x), ([~; rl]o* ;[x; y]) = (~; [ad*rj x; y ] ) + (~; [x; ad* o y ] ) - (r/; [ad*~ x; y ] ) - ( r / ; [x; ad*~ y]),
1o, ;Ix; y]) = (ad*x rT; ad*r y) + (ad*y ~; ad*rl x)
-(ad*x ~; ad*~y)- (ad*y r/; ad*r x), for all x, y E O; ~, r/6 g*. This property is known as the Drinfeld compatibility condition.
452
SUPPLEMENTS AND ADDITIONAL PROBLEMS
(iii) The mapping Bt : g* + g* @ g* is a 1 -cocycle on g* with values on g* I8 g* relative to the adjoint action of g* on g* @ g*, i.e.,
B'(E
V I P * ) = ad< . B'(17) - ad,
.B ' ( 0 .
Answer. (i)=+(ii)The following expansion is straightforward,
([C; qlS*; Tx; yl) = (< 8 rl: #?b;yl)) = (6 I8 r ; ad, = ((ad,)'. (0c3 r + c 8 (ad,)' rl; 4'(Y))
&y> -ad, .@'<x))
I
($1 I8 rl + < 63 (adyIt . rl; +'(XI) = ( [ ( a d J C rig": Y ) + ([ti(ad,)'vlg*; Y ) -([(ady)t(; ~ l g * s) ; - { [ t i (ad,l)t~le*; x).
The first relation in (ii) is thereby proved. (ii)+(i) The above reasoning can be reversed until the second equality is reached. Since by hypothesis this equality holds for all (, 17, x , y , we obtain the equality: + ' ( [ x ; y l ) = ad,
.$'(y)
- ady . # ' ( x ) .
Therefore # t is a 1-cocycle. We now prove that the three relations in (ii) are equivalent. In so doing, we remark that: -(ad*,
. C ; ad*,.y) =(ad, .(ad*, . t ) ; y ) = -([(ad*, . 4 ) ; 9],,;y),
and so with all other equalities of the same kind; whereby the third relation can be obtained from the first. We then obtain the equivalence. To show the equivalence between the first and the second, we remark that: -(Q;
[ x ; ad*t
yl) = ( ad*, . v ; ad*E y) =
-(
adc(ad*,
v>;y ) = -([tiad*, +a],*; y }
and so with 011 other equalities of the same kind, as above. To prove the equivalence (iii)+(ii), we follow exactly the same procedure.
From Definition 2.1 and the equivalences proved in 2.2, we easily obtain the following result. 2.3. Let (a; [; I), (g*; [; 19*) be Lie algebras und let /3 , $ be the mapping dejined in 2.2. The triple (a"; [; Ig*; B') is then a Lie bialgebra ifand only ifthe triple (8; [; 1; #') is a Lie bialgebra. We will say therefore that these Lie bialgebras are dual to each other f i t 1 0
3. POISSON-LIE GROUPS
453
2,4.
Let notations as in 1.9 be. Prove that the Drinfeld compatibility condition (see 2.2 (ii)) can be written as: ck
i " i c~ i jet " f rsJi.c.j k -- Cc~r f':l~" - cJ~fs - ca,,fr - c J,
/ o~ .
2.5.
Let (t31;[; ]1; el), (~2; [; ]2; 62) be two Lie bialgebras. Provide the natural definition of a morphism of these Lie bialgebras. Let (G1; A1), (G2; A2) be PLGs. Prove that every Poisson-Lie morphism between them determines a morphism between their Lie bialgebras.
Once we realize that the notion of the duality of the Lie bialgebras (g; [; ]; qSt), (g,; [; ]~,;/~t) involves reflexivity (see 2.2, 2.3, or the natural definition obtainable from Lie bialgebra isomorphism 2.5) we are naturaly led to look for the algebraic structure on the space p = tJ x g*, which is equivalent to the above notion of the duality of Lie bialgebra. We thereby come to the notion of the Manin triple. Let us first introduce the symmetric bilinear mapping: (;)p :p x p defined as:
((x; ~); (y;
>
,7))p - (~; y) +
(,7; x).
2.6.
Using the preceding notations, prove that the skewsymmetric bilinear mapping [; ]p:p • p --+ p defined as:
= (Ix; y] + ad*~ -y - ad*~ . x ; [ ~ ; q]0* + ad*x 9q - ad*y 9~), is the only one which satisfies the following properties: (a) Its restrictions to subspaces g x {0} and {0} • g* C p are respectively the Lie brackets on g and g*, i.e.,
[(x; 0); (y; O)]p -- ({x; y]; 0);
[(0; ~); (0; '7)]p -- (0; [~; '71~*).
(b) It leaves invariant the symmetric bilinear form (;)p, i.e.,
<[(x;
(y;
(z;
+ <(y;
[(x;
(z;
o.
SUPPLEMENTS AND ADDITIONAL PROBLEMS
454
Answer. Clearly [; IP verifies the property (a). We now prove that [; Ip leaves {: }p invariant. From the definitions, we get: ( [ < x i 0;( Y ;
“)Ip:
(z; I-L))g
+ ad*t - y - ad*4 . x ; [(; qls* + ad*, . q - ad*y .(); = - ( ad*, . P ; y ) + { P ; ad*t . y ) - ( p ;ad*, . x ) - ( q ;ad*t . z ) + (ad*‘, . v ; z ) - ( ad*y . 6 ; z). = ( ( [ x ;y l -... =
(2; L L ) } ~
In a similar way, we get: ( ( y ;I I ) ; [ ( x ; ~ ) ; I z ; ~ ) ] p ) p = . . . = = -(ad*,
+
+
. q ; z) ( q ;ad*< . z ) (ad*, . (: : z )
+(ad*. + p ; y ) - ( P ; a d * c .y)+(I-L;ad*, ax). Property (b) is proved by summing these two expressions. We now prove the property of unicity. Let [; Ip be any skewsymmetric bilinear form on p = g x g*. In particular: [(xi
t ) ;( y ; s)],
=
O’Ip + [ < x i 0); (0; q)Ip + “0; 6); ( Y ; + [(O; 0;(0; 4Ip. “1: 0); ( Y ;
[; Ip must verify (a). Therefore,
[(xi 0 ) ; ( y ; 0’Ip = ( [ x i yl; 0). [(O;
6); (0:
[ < x i 0); (0:
[(O:
= (0;
[tiV l g * ) ,
4 = ( A h ; x); B ( x ; q ) ) ,
tl;( y ; 013,
=
(w:y > ;m y ; 0)
where: A :g* x g -+g, B : g x g * -+g*, C:g* x g -+ g and D : g x g* + g* must be bilinear mappings. [; I,, must be skewsymmetric; therefore: A ( q ; x) = - C ( q ; x), B ( x ; r j ) = - D ( x ; q ) . Consequently, [(xi
0;( y ; q)IP= ([xi y l + A ( q ; X ) - A((;
+ B ( x ; r7)
y);
B ( y ; 0). We now determine A and B by requering [; I,, have to remaining property (b). This requirement is clearly equivalent to imposing the following two conditions: vlg*
([(xi 0); ( y ; 0’Ip: (0:
-
+ ( ( Y : 0); [ ( x : 0); (0; O]p)p= 0,
3. POISSON-LIE GROUPS
45.5
and From these conditions, we easily obtain:
B ( x ; <) = ad*x . t ;
A ( e ; x) = -ad*[ . x.
We can then obtain no more than one skewsymmetric bilinear mapping [; I,,, which is the one required. 2.7. Prove that the skewsymmetric bilinear mapping [; Ip in 2.6 verifies the Jacohi identity if and only if the brackets I ; ] on g arid [; l e e O I I g* verify the Drinfeld compatibility condition (ii) in 2.2; or equivalently, ifund only if the set (g; [; 1; @t) is a Lie bialgebra, where $ is dejned by the bracket of 0 * , i.e.7 [ ( I ; t 2 1 g * = @ E l (842).
Answer. From the bilinearity of [; Ip, it suffices to require that: [(O;
6); [(xi 0); ( y : o)]p]p + [ ( x ; 0): [(v;0); (0;$)],I,
+ [(Y; 0); [(O; 4 ) ; ( x : O’]p]p
= (0; o>,
and
and
-ad*(,,,l
. t +ad*,-ad*, . t -ad*,-ad*, .t = O .
(6)
456
SUPPLEMENTS AND ADDITIONAL PROBLEMS
The second equality is easily seen to be equivalent to the Jacobi identity for the Lie algebra g. From the definition of ad* and duality, the first equality is clearly equivalent to: - ( x ; y; [~; rl]g*)- (ri; [x; ad*~. y])
-(rl; [ad*~ .x; y])+(~; [ad*~ .x; y])+(~;[x; ad*~ .y])--O, for all rl 6 g*, which is precisely the second condition in 2.2 (ii). In a similar way, we can prove that the second requirement is equivalent to the first condition in 2.2 (ii). II The results obtained thus far can be summarized as follows: 2.8. Let (g; [; ]), (g*; [; ]~,) be two Lie algebras. Let ~ : g * | g* --+ g* be the linear mapping defined as [~; r/]g, - 4~(~ | t/), and let 4~t'g -+ g | g be the mapping transposed to cb. On the vector space p - g x g*, there is a Lie bracket such that its restriction to the subspaces g x {0} and {0} x g* coincides with the Lie brackets of g and g* respectively, and leaves the symmetric mapping (;)p (2.6) invariant if and only if (g; [; ]; 4>t) is a Lie bialgebra. There is only one Lie bracket with the above properties, namely [; ]p, given in 2.6.
Any Lie bialgebra (g; [; ]; q5t) can therefore be associated with a set
(p-g •
[; ]p; I;/p),
where p is a Lie algebra with bracket [; ]p, 2.6; (;)p is the non-degenerate, symmetric bilinear form on p, 2.6, which is invariant relative to the adjoint representation of p; and g and g* are Lie subalgebras of p ([; ]~, - Et o | which, as vector subspaces of p, are both isotropic relative to (;)p. This particular structure suggests the more general one in the following definition. 2.9. Definition A Manin triple is a set (P ~ Pl • P2; Pl; P2; [; ]p; (;)p)
where p is a Lie algebra with bracket [; ]p; (;)p is a non-degenerate, symmetric bilinear form on p which is invaiant relative to the adjoint representation of p; and Pl and P2 are Lie subalgebras of p, and as vector subspaces of p, are both isotropic relative to (; I p.
3. POISSON-LIEGROUPS
457
In the above notation of a Manin triple, we can write:
<(Xl ;~1); (X2; ~2))p --<(X1 ;0); (0; ~2)>p -{-<(0; ~1); (X2; 0)>p (X1; ~1) E 13-- 131 X 132; i -- 1,2. This 2-form on p is non-degenerate
and consequently, the bilinear mapping ((xl; 0); (0; sez)>p on Pl x Pe is also non-degenerate. We can now define the isomorphism:
e p2
g2 9 p]'
by means of the relation:
(99@2); X1)- ((0; ~2); (X1; 0))p, and thereby the isomorphism
(X;~) e p - - p l X P2 - ~ (X;~) e13--pl X p* i.e., ~ can be defined by the properties: (PlPl -- /Pl; ~lP2 -- (19. The image of the bracket [; ]o by 93 is: [(x; g); (y; ~)]~3 --
q3([~-1 (x; ~); @-1 (y; 0)]p).
The restriction of [; ]~ to P l is therefore a Lie bracket and P l is a Lie algebra relative to this bracket! Also:
[(0; ~:,); (0; ~2)]13 = . - - = (,/9([99-1 (~1); ~9-1 (~2)]p2). We can therefore define the following bracket on p*" 1
[~1 ;~2]p~ -- 99([@-1(~1); @-1 (~2)]p2)" The P*I endowed with this bracket is thus a Lie algebra, and the bracket is the restriction to p~ of the bracket [; ]~. The image of (;)13 by q3 is" ((x; g); (y; ~)}13. . . . .
(g; Y} + (~; x).
This is the 2-form on 13 -- P l x P*I of section 2.6. Clearly, (',)~3 is invariant by the adjoint representation of the Lie algebra 13 - P l • P~, this being a consequence of the invariance of (;)p by the adjoint representation of the Lie algebra p. The bracket [; ]13=p~xp 7 m u s t therefore be the bracket in 2.6, 2.7, 2.8 (where g = p 1; g* P~). We thereby obtain:
SUPPLEMENTS AND ADDITIONAL PROBLEMS
458
2.10. Any Manin triple is isomorphic to some standard one (p - g x 1~*; [; ]p; (;)p). Isomorphic, in this context, means that the isomorphism q3 exists. 3.
THE SIMPLY CONNECTED POISSON-LIE GROUP CORRESPONDING TO A GIVEN LIE BIALGEBRA
Starting from a Lie bialgebra (g; [; ]; E), we prove that on the simplyconnected Lie group G with Lie algebra g, this bialgebra determines one and only one Poisson-Lie group structure on G, which is such that its Liebialgebra is the initial one. (Ref. [1 ], [2], [6], [10], [11], [12].) Let P be any contravariant tensor field, of degree p, on the Lie group G. Let X be any vector field on G. Let {F t; t e ~} be the flow of X:
dFt
d---~-(g)- X ( F t ( g ) ) ,
(8)
d (X f ) ( g ) - - ~ ( f o Ft(g))[t=o.
(9)
We must keep in mind that, by the Lie derivative theorem for tensor fields, we can write: d dt ((TV_t)| o P o Ft)(g) - ( ( T V - t ) | o L x P o Ft)(g). (10) In particular: (LxP)(g)-
-d7 ( ( T F - t ) | at-
o P o Ft)(g)lt=o
3.]. Let G be a conected Lie group. Let AP(G) be the space of skewsymmetric q-contravariant tensor fields on G. Prove that Q e Az(G) is right-invariant if and only if L x Q - - 0 for any lefi-invariant vector field X on G. Prove that a similar result holds when left and right are inverted.
Answer. This is a classical result, which can be obatined from the definitions and the flow Ft - - Pexptx, x - - X ( e ) ~_ 1~, t ~ ~, of X. II With reference to the Schouten bracket, the above result says that P is right-invariant if and only if [X; Q] - 0, for any left-invariant vector field on G. This result can be generalized.
3. POISSON-LIE GROUPS
459
3.2.
Let G be a connected Lie group. Let Q ~ A q ( G ) be a right-invariant tensor field on G, and P ~ A p (G) a left-invariant tensor field on G. Prove that [P; Q] - 0, where [; ] is the Schouten bracket. Answer. Let R 6 A r (G). For any tensors P, Q, R, the Schouten bracket
satisfies the following basic relations: [P; Q A R] -- [P; Q] A R 4- ( - - 1 ) pq+r Q A [P; R]; [P; Q ] -
( _ l ) p ' q [ Q ; P].
Let (Xi; i - 1 , . . . , n) be any basis of the Lie algebra g of G. The set of left-invariant vector fields (x); i - 1 . . . . , n) is a basis of A~(G); and the set of right-invariant vector fields (x~; i - 1 , . . . , n) is a basis of Apl(G). Therefore, the sets x~ A . . . Ax.tz" p '
1
X p. A . . ' A X
l <jl <"'<jq
.11
p. "
.lq '
are respectively a basis of A p (G) and A q (G). We get the required result by induction. Let us suppose that [/5; ~] _ 0 for
P
A~-~ (a), 0 ~ Aq-~ (6).
From the initial relation, we get
[x,~9 ~ . . . ~ x .]q~ .' ~
~ . . . ~ x t~p ]
= [~f,9 ~ . . . ~ ~.]q. ~'
~...~ ~
l p_
1
]~ ~
+ ( - 1 ) q ( q - ' ) + ( P - 1 ) x ~ A . . . A x.t~p _
Ip
1
A [x/~ A . . . Axe..lq "x~]. . '
Also"
[~j~ A . . . ~ ~ . ~ j q
~
A . . . A x ~ lp_ 1 ]
: (-~)~,-')[~
~ . . . ~x. t~p _
l '
9~p.l l ~ . . . ~ x ~.lq]
= ( - 1 ) q(p-1){[x~ A . - . A x . I~p _ 1 "x p. A . . . A x .]q-~. 1 l a x Jp.q ' .] 1
+ (-,)~+~
.] 1
~ . . . A x~.]q - - 1 A [4, ~ . . . A x I~p _
1'
9~ .]]q! -
This last equality is proved from the hypothesis by induction.
o" II
460
SUPPLEMENTS AND ADDITIONAL PROBLEMS
3.3. Definition We say that P ~ A p (G) verifies the Drinfeld property if'. P ( g . h) -- (ThXg)|
nt- (TgPh)|
(11)
f o r a l l g , h E G.
Exercise. As in 1.5, prove that P verifies the Drinfeld property if and only if the mapping: l" g ~ G
> (Tgpg-i )|
E g| ... p |
(12)
for all g, h 6 G,
(13)
verifies the relation: l ( g . h) - l(g) + (Adg) |
l(h);
i.e., if and only if I is a 1-cocycle on G, with values in ~1| -p-" | to the adjoint representation of G on g|
relative
|
Let us now consider the notion (11). For any given h 6 G, the term P(h) defines a left-invariant tensor field on G; and for any given g 6 G, the term (Tgph)| P(g) defines a right-invariant tensor field on G. This observation leads us to reformulate condition (11) using the result in 3.1.
(Thkg) |
3.4. Let G be a connected Lie group, and g its Lie algebra. Prove that P ~ AP(G) verifies the Drinfeld property if and only if'. (i) P is zero at e ~ G, i.e., P (e) = O. (ii) L x P is a left-invariant tensor field for any left-invariant vector field X ~ A I (G). Equivalently, 3.1, L y L x P - - 0 f o r any right-invariant vector
field Y ~ A pI(G).
Answer. P verifies the Drir~feld property if it verifies (11) or, equivalently, if it is verified (13). Let us suppose that P verifies (11). Setting g = h = e in (11), we get P (e) = 0. (i) is thereby proved. We now prove (ii). Let x ~ 0 and x x ~ A~(G). The flow of x x is Ft -Pexptx, t ~ ~. Thus,
d (Lx~ P ) (g) -- -~(T~,.exptx Pexp(_tx) )|
( P (g . exp tx) ) ]t=o
d )| -- __d-'-~((TgexptxPexp(-tx) d -t- -~(Tg.exptx(Pexp(-tx)) |
o (Texptx Xg)| p " P ( e x p t x ) ) [ t = 0 o (Tgloexptx) |
" P(g))lt=o.
3. POISSON-LIE GROUPS
461
(In the second equality, we use (11) for P ( g 9exptx).) The second of the last two terms is obviously zero. The first is: d
dt ((TgexptxPexp(_tx))|
d
-- d t - - ( ( r e ; k g ) |
o (Texptx)~g) |
o (ZexptxPexp(_tx))
d
= (TeXg)|
.
P(exptx))[t=o
.
P(exptx))lt=o
|
)|
9 P(exptx))lt=
o
= (Te)~g)OP(LxxP)(e). We thus get the equality:
( L x x P ) ( g ) -- (Te,kg)OP(LxxP)(e), (ii) is thereby proved. Proving that, if P verifies (i) and (ii), then P verifies the Drinfeld condition will be equivalent to proving that the mapping (12) verifies (13); or equivalently, given that G is connected, the relation:
l ( g . exptx) -- l(g) + (Adg)|
for all x e g.
First, let us compute the derivative of each side of this equality (14)" d - - l (g exp
d - -~ ((Tg.exp tx 9p ( g . e x p t x ) - l ) |
d
--(TgPg-,)| = (T~,.e•
" Pexp(-tx)) |
(g . exp tx)) . . . . .
" P(Pexptx(g)))
(L~x P ) ( g . exp tx) . . . . .
9P(g.e•
-- (Ze(P(g.exptx)-I
9P
0 Xg.exptx)) |
-- (Adg.exptx )|
.
(LxxP)(e)
).
For the derivative of the right side of (14), we get"
d (l(g) + (Adg) | dt d -- ( A d g ) |
-- (Adg) |
(Texptx
= (Adg.exp tx ) |
l(exptx)) ..... " Pexp(-tx) " l)exp-tx
)|
(Lxx P) (e).
)or
P(exptx)) tx
)|
(14)
462
SUPPLEMENTS AND ADDITIONAL PROBLEMS
We thereby prove that the derivatives of the terms on both sides of (14) are equal, i.e., for all t 6 N: d(l(g, dt
exp tx) - l ( g ) - (Adg) |
l ( e x p t x ) ) --O.
Thus, l(g . exp tx) - l(g) - (Adg) |
9l ( e x p t x ) - l(g) - l(g) - 0 - O,
where we make use of the fact l (e) = 0 since P (e) = 0. The proof is now complete. II 3.5. Prove that the space o f contravariant skewsymmetric tensors on G verifying the Drinfeld property has the structure of a graded Lie algebra relative to the Schouten bracket. Answer. We must prove that, if P and Q verify the Drinfeld property, so does [P; Q]. From 3.4 this is equivalent to proving that [P; Q](e) = 0 and Lx~ [P; Q] is a left-invariant tensor field for any x 6 ~. (a) From the local expresion of [P; Q], it is clear that [P; Q](e) = 0 when P(e) -- Q(e) -- O. (b) For R 6 Ar(G), the relation that defines the graduated structure of skewsymmetric tensors is:
R]; P] + ( - l ) q ' r [ [ R ; P]; Q] + (--1)P'r[[P; a]; R ] - 0 . (15) Whenever R = X is a vector field, the above relation is: (-l)Pq[[o;
[P; ix; o]] + [ix; P]; o ] - [x; [P; el], that is: L x [ P ; Q] = [LxP; Q] + [P; L x Q ] . Let Y be any vector field on G. As above, we get: L y L x [ P ; Q] = [ L y L x P ; Q] + [LxP; L y Q ]
+ [ L y P ; L x Q ] + [P; L r L x Q ] .
(16)
Let AI(G), Apl(G) be respectively the spaces of left and right-invariant
vector fields on G. Let us suppose that X ~ A l(G), Y 6 Af,l(a) . From 3.4 tensors Lx P, Lx Q are left-invariant. Therefore, LyLx P - - 0 , and LyLx Q = 0. Also, [X; Y] = 0; wherefore LxLy P = LyLx P = 0 and LxLy Q = LyLx Q = 0; and Ly P, Ly Q are right-invariant tensors. From these relations, question 3.2, and (16), we get Lr, L x [ P ; Q] = 0 .
3. POISSON-LIE GROUPS
463
From this relation, the equality [P; Q](e) = 0 and from 3.4, [P; Q] verifies the Drinfeld property. The graded character of the algebra is a consequence of (15). II 3.6, Let G be the simply-connected Lie group with Lie algebra ~. Let (~; [; ]; e) be a Lie bialgebra (2.1). Prove that there is only one Poisson-Lie structure on G with this Lie bialgebra. Answer. (a) From the classical Lie group and Lie algebra cohomology, the
1-cocycle e :9 ---> ~ | g relative to the adjoint representation of g on g | determines a unique l- cocycle on G, 1 : G --+ g | ~, such that Tel -- E. Let us therefore define the following skewsymmetric contravariant 2-tensor: A ( g ) -- (TePg)|
. l(g).
(b) From question 1.5, the tensor A verifies the Drinfeld property. From question 3.5, the 3-tensor [A; A] also verifies this property. Therefore, from 3.4, [A; A ] ( e ) - 0, and Lxz[A; A], x z 6 A~(G), x 6 9 is a leftinvariant tensor field, i.e., Lxz[A; A ] ( g ) - (Te)~g) |
(Lxz[A; A])(e).
To prove that (G A) is a Poisson-Lie group, it remains to be proved that Lxz[A; A](e) = 0;
for all x 6 9,
in which case Lxz[A; A](g) = 0, and therefore (3.1), the tensor [A; A] is right-invariant. Thus: [A; A](g) ----0, as required. (c) From the definition of the Lie derivative, we have: (Lxx[A; A])(g). (d~pl (g); d~02(g); d~o3(g)) = Lxx. ([A; A](g)(d~01 (g); d~02(g); d~03(g))) - [ A ; A]. ((Lxxd991)(g); d992(g); d993(g)) - [ A ; A]. (d991(g); (Lxzdq92)(g); d993(g)) - [A; A]. (d~01(g); d~p2(g); (Lxxdq93)(g)). Whence: (Lx~.[A; A])(e)(dq)l (e); dcp2(e); dq)3(e)) = (Lx~ ([A; Al(d~01 ; d~02; d~o3)))(e).
(17)
464
SUPPLEMENTS AND ADDITIONAL PROBLEMS
From question 1.7, we get: (d{~pl ; ~p2})(e) - ~t(dqgl (e) | dq92(e)). Using for example the local expression of the Schouten bracket [A; A], we can easily get the following equality: [A; Al(dqgl ; dqg2; dq93) - 2({{q)l ; 992}; q)3} + p.c.). Expression (1 7) can then be written: (Lx~tA; Al)(e)(d~ol (e); drpz(e); d993(e)) = 2((Cxx {{991; 992}; 993} ) ( e ) + p.c.) = 2(((d{ {(/91; q)2}; 993 })(e); x} + p.c.) = 2((~t@t(dq)l (e) | dgo2(e)) | dgo3(e)); x)-I- p.c.) = 2({[[d~ol (e); d~o2(e)]o, ; d~o3(e)],, ; x ) + p.c.) = 0, where [; ]~, is the Lie bracket on g* defined by the mapping ~t.g, | g, _+ g*. We thus obtain (Lxx[A; A])(e) --0, and consequently [A; A] --0. II 4.
EXACT POISSON-LIE GROUPS AND THE GENERALIZED CLASSICAL YANG-BAXTER EQUATION
This problem consider the particular case of Poisson-Lie groups where cocycles I and E are exact: l - Or; e - gr, r ~ g | g. These are basic to the understanding of the mathematical structure of the integrable dynamical systems connected with the Inverse Scattering Method. The generalized classical Yang-Baxter equation and the notions of quasi-triangular exact Lie bialgebras are brought into play. (Ref. [1 ], [2], [3], [7].) 4.1.
We begin by introducing a few notations. (a) Let M be a differentiable manifold. Let A2(M) be the spaces of contravariant skewsymmetric 2-tensors on M. Let A 6 AZ(M). We define the vector spaces homomorphism" #'c~ E AI(M)
> #c~ E AI(M)
by the relation" (/3; #c~)- A(/3; c~);
for all o~,/~ ~ AI(M).
(b) Let G be a connected Lie group with Lie algebra g. Let r 6 g | g. The canonical isomorphism: r ~g|
> 7 ~ Hom(g*; g)
3. POISSON-LIE GROUPS
465
is defined by the relation: (r/; 7 ( ~ ) ) - (~ | ~;r);
for all ~, r/~ 0*-
Let A ( g ) -- (Telg)| A(e) -- r be the left-invariant 2-tensor defined by the element r ~ 0 | 0- Then" #g" ~ (g) 6 T* g G
> #g~ (g) 6 Tg G
and (q(g); # g ~ ( g ) ) - A(g)(rl(g); ~(g)). Let us suppose that ~ (g) and r/(g) are left-invariant 1-forms: ~(g) - - ( T g X g _ l ) t . ~(e), 9
rl(g) - - (Tg)~g-1
)t
9q(e),
where ~ (e), r/(e) e Te*G ~- 0. We then get: ((TgXg-,)t.
r/(e);
#g(Tg),..g-, ) t .
~(e))
=
= r (r/(e); ~(e)) --(o(e); ?(~(e))), for all g 6 G. Therefore (r/(e); #e~(e)) = (o(e); ?(~(e))), whereby we get #e-r. (c) The expressions of the function [A; Aq(otl; ol2; or3) given in the following three questions will be needed subsequently. 4.2.
Let M be a differentiable manifold and A , A 1 ~ A2(M). Prove that the Schouten bracket can be written as:
[A; A'](ol 1; oe2 ; oe3) --
_
((L#~loe2 ; #'u 3) + (L#,~l or2 ; #c~3) + p.c.),
(18)
where # and #I are the homomorphisms defined at the begining o f this section. Answer. In the natural coordinates corresponding to a local chart on M, the
components of the tensor [A A] are" [A; A t ] i ' j k -
1 , ijk A t n . a t ( A ~) rs q_ emns ijk Amn t)ts _~. [6nrs . . at (A ).
From the definition abc
1 2 3
(Or 1 A ot 2 A ot B ) i.j k - - 6 i.j k Ota Otb Otc ,
466
SUPPLEMENTS AND ADDITIONAL PROBLEMS
the left-hand side of the expression we need to prove is then:
The right-hand side of the expression we want to prove is then:
All the terms in this expression containing a derivative &a:: cancel out, because A and A' are skewsymmetric tensors. We then get:
) + (L#r,ra*;#a3)+ p.c.
(L#,lU 2 ; ##a 1 3
= A f ' . ( a r ( A ' ) i k ) . ~.ia " : + ( a , A " ) ) ( A ' ) ' ' . a :
.a?.a:+p.c.
Equality (18) follows from this relation in conjunction with (19) and (20).
rn
3. POISSON-LIE GROUPS
467
4.3. Let A, A' E A 2 (G) be left-invariant tensor fields on G defined as" A ( g ) -- (Te~g)|
A ' ( g ) -- (Te~.g)|
',
where r, r I ~ g A g. Let 9.1(g) be the enveloping algebra of g, and let p23 be the permutation of the second and third factors in the tensor product 9.1(g) | 9.1(g) | 9.1(g). Let us define the following elements ofg.l(g) |
r12-- r @ 1;
rl3
p23
_
9r12;
r23 -- 1 @ r
and also the bracket: 9
I
I
!
[rij, rmn] -- rijrmn -- rmnri j,
.
i, j, m, n -- 1,2, 3,
using the product of 9.1(g). Let us also define the element
(
Jr; r'] -- -- [r12; rfl3]-+- [r12; r~3] -F [r13; r23] -[-[ri12 ", r13] -t-[rtl2; r23] -+-[r'13," r23])" Prove that Jr; r ~] is an element of g | g | g, and following a similar argument as in 3.2, prove that
[A; A'](g) -- (TeXg)a3[r; r']. 4.4. Using the notations and the result of the preceding question, by taking into account together the result in question 4.1, prove the following equality"
[r; r'](ot' : oe2; ot3) - -((oe3; [7(oe'): 7'(oe2)] + [~'(otl): ~(ol2)]] + p.c.), (21) w h e r e 0/1 o12 0/3 G 1~*
Answer. When no confusion results, we will identify the element 0/i E ~t* T~'(G), i - 1,2, 3, with the invariant 1-form (Tglkg_l)tol i ~ 0/i (g) as re-
quired in the following proof. From relations (20) and (18) in 4.1, we can write:
[A; All(o/l; 0/2.0/3) _ ((0/2; L#ffl#f0/3)+ (0/2; L#totl#0/3)+
-(L#c~, (ot2; #'oe 3) +
p.c.)
L#,c~l(cr2; #or 3) + p.c.).
(22)
The terms in the second line of this expression are zero because the functions (oti; #crJ)(g) are constant: every oe' (g) is a left-invariant 1-form, and
SUPPLEMENTS AND ADDITIONAL PROBLEMS
468
#, #~ are respectively defined through the left-invariant tensor fields A (g), A' (g). We thus get: [A; At](otl; c~2; ot3)(e)
--(ot2(e); [7(c~1 (e)); 7'(c~3(e))])q-(ot2(e); [7'(c~1 (e)); 7((ot3)(e))]) +p.c. This expresion is precisely (21), since [A; A~](e) = [r; r~], 4.2, and since, at this point, we make the identification Oti ~ Ott (e), i -- 1,2, 3. I (d) One of the results from question 4.3 is that the 2-tensor A;~(g)
--
(Te~.g)|
r ~ g / x g,
verifies the equivalence [A;~; A ; ~ ] - 0 ~
[r 12" r 13] + [r 12" r 23] + [r 13" r 23] - - 0
i.e., (G; A~) is a left-invariant Poisson structure if and only if the element r = A (e) 6 g/x g is a solution of the classical Yang-Baxter equation [r; r] = 0. It is obvious that this Poisson structure can not be a Lie-Poisson structure unless r = 0. A Lie-Poisson structure on G is defined, 1.4, by a 2-tensor A such that [A; A] = 0, and A verifies the Drinfeld property: A(g.
h)=
ThUg"
A ( h ) + Tgph " A ( g ) .
Even if the 2-tensor A x (g) does not verify this property, it may be that the 2- tensor A ( g ) -- A ~ ( g ) - A o ( g ) - - ( T e ) ~ g )| r - ( T e p g )| (23) does. The sing - in this definition is due to the fact that A (e) = 0, from the Drinfeld condition. From the definition of A, we get: A(g . h)
--
(Te)~g.h) |
"r
-
(Tepg.h) |
r.
Also: Th)~g " A ( h ) -- T h ; k g ( A z ( h )
- Ap(h))
-- ( T e Z g . h ) " r -- Te(Zg " p h ) " r
and TgPh
" A(g)
-- TgPh(Az(g)
-
Ap(g))
-- Te(Ph
" )~g) . r - - T e P g . h
" r.
From the last three expresions, we can see that the tensor A defined in (23) verifies the Drinfeld condition. Note that, in this computation, we have not had to suppose that A~, and consequently Ap, defines a Poisson structure on G; i.e., the classical Yang-Baxter equation [r; r] -- 0 does not
3. POISSON-LIE GROUPS
469
hold. Were we to suppose that this equation does hold, then [Ax; Ak] = 0 and [Ap; A p] - - 0 . F r o m question 3.2, we then get [ A ; A ] -- [ A k ; A k ] -- [ A k ; Ap] -- [Ap; A k ] -t- [Ap; Ap] = O.
Therefore, the pair (G; A = Ak - A p ) , where Ak(g) = Tekg .r, A p ( g ) = TePg 9r and [r; r] - - 0 , is a P o i s s o n - L i e group. We no longer suppose with respect to expression (23) that [r; r] = 0, or equivalently A k and A p defines a Poisson structure on G. F r o m the question 1.5, the mapping: l" g E G ----+ ( T g p g - ~ ) | is therefore a 1-cocycle on G, with values in g | g, relative to the adjoint action of G on g | g. We can easily compute this cocycle as determined by r ~g|
l(g)
-- (rgpg-l)|174
r - (TePg) |
r).
Thus, l(g) -- (Adg) |
r - r.
In terms of the cohomology on G, with values on O | g, relative to the adjoint representation, this last expression tells us that the 1-cocycle I is the cobondary of the zero cochain r 6 g | g: 1 =0r. The corresponding 1-cocycle on g with values in g | g corresponding to the adjoint representation of g on g | g is e = Tel. Therefore, for all x ~ g, r
-- T ~ l ( x ) -
d ~l(exptx)lt=o
_-- __d ((Adexptx)| dt A
~,
9r -- r ) l t = 0 = (adx | A
+ 1 Q adx) 9r.
Then" E(x) -- adx 9r - 6r, where ad stands for the adjoint representation of g on g | g. (e) The tensor A defined by the expression (23) verifies the Drinfeld property. Now we will look for a necesary and sufficient condition for r g | g whereby the tensor A in (23) also verifies [A; A] = 0, i.e., whereby the condition on r for (G; A = A x - A p) is a P o i s s o n - L i e group. F r o m questions 1.8 and 3.6, we can see that this is equivalent to finding the condition on r such that e t . g , | g, __~ g,, where e - ~r, defines a Lie algebra structure on ~*.
SUPPLEMENTS AND ADDITIONAL PROBLEMS
470
First, let us introduce some additional notations. F r o m the definition of isomorphism: ~ ' g | g > Hom(g*; g), 4.1 (b) we have, for all ~, r/6 g*, xEg, (~; ~r(x)o) - (~ | ~; ~r(x)) = - ( a d * x ~ | r / + ~ | ad*x rl; r) .~,
-
-
(~; adx 97(r/) - F(ad*x 9r/)).
Therefore: 6 r ( x ) -- adx o ~ + F o (adx) t.
(24)
We simply define ~ 6 Hom(g*; 9) as" g~ (x) -= ~r (x) - adx o ~ - ~ o ad*x. 4.5. Let r ~ g | g. Let
[; 1~, "g* x $*
> 9"
(25)
be the bilinear mapping defined by the exact l-cocycle E - 7 "g --+ g x g. Prove that: F [s~; ~]~, -- (6r)t(s~ | r/) -- ad*;(,)
9~ + ad*,~,(~) 9rl.
(26)
Answer. We have, for all x ~ g,
([~; r/]~. ;x) . . . . . = ....
(~; a d x . 7(r/) - F(ad*x 9r/)) (ad*~(0) ~ ; x ) - (ad~,(~)x; rl).
Then" [~; r/]~. - ad*~(,) 9~ + ad*~t(~) 9r/. Obviously, the definition of ~t. g. _4 (9*)* - g is as follows"
=
|
|
p,2(r))_
p,:(r),)
Thus ~t _ p 12(r ) where the components of r 6 g | g permute under the action of P 12. We now determine a necesary and sufficient condition on making the bilinear form, [; ]g,, on g*, defined by the exact l-cocycle E -- 3r, skewsymmetric.
3. POISSON-LIE GROUPS
471
4.6. Let r -- s + a ~ g | g where s and a are respectively the symmetric and skewsymmetric components o f r. Prove that the mapping (25) is skewsymmetric if and only if s ~ g | g is a zero cocycle: 6s - O, i.e.,
adx 9~ - ~. ad*x;
f o r all x 6 g,
(27)
or equivalently, if and only if
ad*~(~) 977 + ad*~(,7) 9~ - 0;
f o r all ~, rl ~ g*.
(28)
Moreover, supposing 6s --O, then 6r -- 6a, and
[~:; r/]~, -- [~; r/]~, -- ad*~(,7 ) ~ - ad*~(~) r/.
(29)
Answer. Clearly, f i t _ _fi and ~t _ ~.
(a) The equality (26) is therefore" [~; ~]~, -- ad*~(,7) 9~ + ad*Ft(~) .r/ = (ad*~(,7) 9~ + ad*i(~). ~7) + (ad*a(rj) 9~ - ad*a(~). 77). Therefore, [; ]~, is skewsymmetric if and only if: ad*~(~) 9r / + ad*~(,7) 9~ - - 0 . Expression (29) thereby is proved. (b) On the other hand: 0 -- (ad*~(~) -~ + ad*~(~) .r i; x} . . . . . = (r/; a d x . ~ ( ~ ) ) + (~; a d x . ~ ( ~ ) ) - (r/; a d x . ~ ( ~ ) } - (r/; ~. ad*x ~}. Therefore adx o g - g o ad*x, for all x ~ g. The conditions (27), (28), (29) are then equivalent. (c) Also, by definition, 6s(x) - adx 9s. By (24) this is equivalent to: 6g - 6(x) - adx o g - g o ad*x. The relations (27), (28), (29) are then equivalent to 6s - - 0 , i.e., to the invariance of s by the adjoint action of g on g | g" adx 9s - (adx | 1 + 1 | adx) 9s - 0. F These results are equivalent to the following one: [; ]g. is skewsymmetric if and only if it is defined by the skewsymmetric part of r. II
472
SUPPLEMENTSANDADDITIONALPROBLEMS
In order to get a necessary and sufficient condition on r for the skewsymmetric mapping [; ]g. to verify the Jacobi identity, we shall write an equivalent of expression (21) in 4.4 for the tensor [a; a], making use of the form F
4.7.
Let a ~ 0/x g. Let [a; a] 6 g/x 0/x 0 be the element defined in 4.2 and 4.3. Let [; ]~, be the skewsymmetric bilinear form in 4.5. Prove that the expression (21 ) in 4.4 f o r r = r I = a can be written as: _l -adx[ ~ a.
~
a ~ 3]0" a . x)+ p.c. a](~l. ~2. ~3) _ ([[~1. ~ 2]0,. ~
~
~
~
(30)
where: ad-'~"0 |
--+ 0 | is the adjoint representation of 0 on 0 ~ ad--"~| 1 + 1 | adx | + 1 | 1 | ~ O. In consequence, [; ]g. verifies the Jacobi identity if and only if the tensor [a; a] is invariant by the adjoint representation of a~d o f 0 on 0 | equivalently, if and only if [a;a] is a zero cocycle in the corresponding cohomoladx |
ogy. Answer. We develop both sides of the expression (30); by the result in 4.4
and the Jacobi identity for 0, we find that both sides coincide.
From the expression (29), the definition of ad, ad* and the Jacobi identity for 0, we get: 9
2
a
3]a
+ p.c. =
.
.
.
.
-- - ( ad*x ~3 ; 3(ad*~(~,) ~2 _ ad*a (;2) ~ I )> + (ad*x .~3; [fi(~,); ~(~2)]) q_ p.c.
(31)
Furthermore ad-'~[a; a](~l; ~2; ~3) _ - [ a ; a](ad*x ~1; sea; ~3)
-[a; a](~l; ad*x ~2; ~3) _ [a; a](~l; ~2; ad*x~3) = - I a ; al(ad*x ~l; b~2;~:3) _~_p.c. (in the last equality, we make use of the fact that [a; a] E 0/x g/x g). We now develop the last term by referring to expression (21) in 4.3. We thus have: - [ a ; a](~l ; ~2; ~3) _+_p . c . - 2(~3; [fi(ad*x ~'); t1(~2)]) -k-Z(ad*x ~3; [a(~l); fi(~:2)])-t-2(~3; [fi(~l); a(ad*x ~2)])-t- p.c.
3. POISSON-LIE GROUPS
From the equality 3
--
473
_fit, we also get:
(~3; [a(ad*x ~ 1); 3(~2)]} = -{a(ad*a{~2 ) ~3); ad*x ~ 1), and {~3; [3(~ 1); fi(ad,x
~2)])_
{a( ad*a(~ 1) ~3); ad*x ~2).
Finally, we obtain: ad-"~[a; a](~ 1; se2; se3) _ -[a; a](se 1; ~2; se3) + p.c. = 2{ad, x ~3; [3(~1); 3(~2)]}_ 2{3(ad, a(~, ) ~2); ad,x ~3) + 2(a (ad.a(~2) se,); ad. x se3)+ p.c. If we compare this expression with expression (31), we obtain expression (30). m We can summarize the results in 4.4, 4.5 and 4.6 as follows: 4.8. Let g be a Lie algebra and r - s + a ~ g | g where s and a are respectively the symmetric and skewsymmetric parts o f r. The set (g; [; ]; ~ -- 6r) is a (exact) Lie bialgebra if and only if s ~ g | g and [a; a] 6 g | g | g are O-cocycles relative to the adjoint representations o f g o n g| and g| respectively.
4.9. Definitions (a) We will say that the skewsymmetric tensor a ~ g/x g is a solution o f the generalized classical Yang-Baxter equation if the tensor [a; a] ~ g A g A g is a O-cocycle in the Chevalley cohomology o f g with values in g | g | g, equivalently with values in g/x g/x g, and relative to the adjoint representation, ad, o f g on g| equivalently with values in gA3. Also equivalently, if the tensor [a; a] is ad invariant. Whenever a ~ g/x g is a solution of the generalized classical Yang-Baxter equation, we will say that the (exact) Lie bialgebra (g; [; ]; ~ - 6a) is quasitriangular. (b) Whenever [a; a] = 0, we will say that a is a solution of the classical Yang-Baxter equation, and the Lie bialgebra (g; [; ]; ~ - 6a) will be called triangular
474
SUPPLEMENTS AND ADDITIONAL PROBLEMS
4.10. Let G be a simply-connected Lie group. Let r be any element in g | g. Let e -- 6r "g --+ g | g be the exact 1-cocycle on g, with values on g | g, relative to the adjoint representation o f t3 on 0 | g. Prove that the 1-cocycle l " G ~ g | g on G with values on g | g relative to the adjoint representation o f G on g | g such that Tel -- 6r = ~ is the exact 1-cocycle" l - Or"
l(g)-Ad
|
f o r all g E G.
Answer. From the action of O on the 0-cochains, it is clear that l consequently, l is an exact 1-cocycle. In particular, l ( g . h) - l(g) + Ad |
9
Or;
for all g, h E G.
We need only prove that Tel = 8r, by reason of the bijective correspondence between the 1-cocycles for the Chevalley cohomology of 0 and for the cohomology of the Lie group G. But this is the same proof as the one at the end of section 4.4. II 4.11. Let r = s + a E g | g. Let us suppose that (g; [; ]; e -- 8 r ( = 6a)) is a (quas i t r i a ~ u l a r ) Lie bialgebra. (Equivalently, let us suppose that adx 9s - 0 and adx[a; a] - 0 . ) Let G be the simply connected Lie group whose Lie algebra is g. Let (G; A) be the Poisson-Lie group determined by the above Lie bialgebra. Prove that: A ( g ) - AXr(g) - A P t ( g ) - AXa(g) - A~(g);
f o r all g E G,
where AXr (g) -- (Te~.g)|
APr(g)--(TePg)|
Answer. By 4.10, the l-cocycle on G, l, corresponding to the 1-cocycle - 6 r on g is" l(g) - A d g ~
- r -- Adg~2.a - a.
(ad-"~s - 0 for all x E g =, Ad~ 2 s -- s for all g E G). From 3.6, we know that tl~e tensor field A ( g ) -- (TePg)|
3. P O I S S O N - L I E GROUPS
475
defines the Lie-Poisson structure on G corresponding to the Lie bialgebra in the question. So: A ( g ) -- (TePg)|
= (Te)~g)|
r - r) . . . . .
- (TePg)|
-- (Te~,g)|
- (TePg)|
= A~r (g) - APr (g) -- A~a (g) - APa (g).
This tensor field is precisely the one that could be conjectured after the reasoning concerning expression (23). m As a consequence of this result, we obtain: 4.12. Let {eu; # -- 1 . . . . . n} be any basis on g, and r - rUVeu | ev ~ g | g, any element such that (g; [; ]; e - 6r) is a quasitriangular Lie bialgebra. The corresponding Poisson bracket on the Poisson-Lie group (G; A ) determined by the above Lie bialgebra is:
{~o; 7r} - rtZV(Lx~o . Lx~Tr - Lx~cp 9Lxp~);
f o r all ~o, 7r e C ~ ( G )
where xtz~ (g) -- Te)~g " e u, x p (g) - TePg " ev.
Note, 4.6, that this bracket does not depend on the symmetric part of r since Adg s -- s, for all g 6 G. 4.13. Let a, a ~ ~ g A g and Aa,, APa be respectively left and right-invariant 2tensors as in 4.11. Let us suppose that a and a ~ are solutions o f the generalized Y a n g - B a x t e r equation. p Prove that the 2-tensor A~a - A a, is a Poisson tensor on the simply connected Lie group G with Lie algebra g, if a n d only if [a; a] -- [a~; a~]. In the p a r i c u l a r case in which a and a ~ are solutions o f the classical YangBaxter equation, the tensors A~a, Aa,, p A a~ + A a" p Aa~ - Aa'p are Poisson tensors. A
Answer. From the equality adx 9[a; a] - 0 for all x e g, we get
(Adg) |
9[a; a] -- [a; a];
for all g E G.
I f [ A a~ - A a , ,aAp " Z - A P a , ] - O , w e h a v e " [Aa~',Aa~]+[Aap, " , A a p , ] - 0 g i v e n p that, by 3.2, [Aa~; AaP,]- 0. The tensors [Aa~; Aa~] and [AaP,; Aa,] are respectively left-invariant and right-invariant. Moreover: [Aa~; A a ~ ] ( g ) - (Te)~g)|
a]
SUPPLEMENTS AND ADDITIONAL PROBLEMS
476
and [Aa,;P AaP,](g) -- -(TePg)|
a'].
By adding these two expressions, we get: (TePg) | (Adg[a; a] - [a'; a']) -- 0;
for all g E G.
Thus, Adg~3[a; a] - [a'; a'], and ultimately, [a; a] - [a'; a']. The converse now becomes obvious.
II
REFERENCES [1] V.G. Drinfeld, "Hamiltonian structures on Lie groups, Lie bialgebras and the geometric meaning of the classical Yang-Baxter equations", Sov. Math. Dokl. 27 (1983) 68-71. [2] M.A. Semenov-Tian-Shansky, "What is a classical R-matrix?", Funct. Anal. Appl. 17(4) (1983) 259-272. [3] Y. Kosmann-Schwarzbach, Lie bialgebras, "Poisson Lie groups and dressing transformations", Preprint Centre de Math6matiques. Ecole Polytechnique, No. 97-22. Palaiseau (France), 1997. [4] A. Lichnerowicz, "Les vari6t6s de Poisson et leurs alg6bres de Lie associ6es", J. Diff. Geom. 18 (1983) 523. [5] C. Moreno, J.A. Pereira da Silva, "Algebres de Lie-Semenov et groupes de Lie-Poisson", in: Geometria, Ffsica-Matemdtica e outros Ensaios. Homenagem a Ant6nio Ribeiro Gomes. Departamento de Matemfitica Universidade de Coimbra, Portugal, 1998. [6] J.H. Lu, A. Weinstein, "Poisson Lie groups, dressing transformations and the Bruhat decomposition", J. Diff. Geom. 31 (1990) 501-526. [7] I. Vaisman, Lectures on the Geometry of Poisson Manifolds (Birkhtiuser-Verlag, Berlin, 1994). [8] A. Guichardet, Cohomologie des grupes topologiques et des algebres de Lie (Ferdinand-Nathan, Paris, 1980). [9] P. Liberman, Ch. Marie, Symplectic Geometry and Analytical Mechanics (Reidel, Dordrech, 1987). [10] Y. Choquet-Bruhat, C. DeWitt-Morette, M. Dillard-Bleick, Analysis, Manifolds and Physics (North-Holland, Amsterdam, 1987). [11] R. Abraham, J. Marsden, T. Ratiu, Manifolds, Tensor Analysis, and Applications (AddisonWesley, London, 1983). [12] W.T. Van Est, "Group cohomology and Lie algebra cohomology in Lie groups" I, II, Indagationes Mathematicae 15 (1953) 484-492, 493-504.
4. V O L U M E OF THE S P H E R E S n
A Supplement to Problem V.4 (pp. 240-243) Use the expression for the metric of S n in polar coordinates to compute its volume COn by induction on n when n is even and when n is odd. Show that in each case 27rn /2 09n_ 1 ---
F(n/2)
4. VOLUME OF THE SPHERE S n Answer.
The volume COn of
477
is given by the integral
Sn
with rn - (sin o n )
rn-1
n-1
dO n
"El - -
sin01 d01
Y2
Therefore 7r
- f(sin0)
COn - - I n C O n - 1 ,
dO.
0
Integration by parts gives if n > 1 n-1 n
~ / n - 2 n
- -
hence, since I1 - 7r and I2 - 2 I2p ~
I2p+l
(2p-1)
x(2p-3)...3xl
2p x ( 2 p - 2 ) .... 4 x 2 2p x ( 2 p - 2 ) . . . 4 x 2 --
(2p-1)
x(2p-3)...3x
1
and one finds using induction CO2p--
2(2zr) p (2p . 1)(2p . . . 3).
2zrp +1 3
X 1'
CO2p+I-
~
p!
Suppose that n - 1 -- 2p -t- 1. Then by the definition of the g a m m a function 2yen~ 2 COn-1 "-- ~ .
r(n/2)
Suppose that n - 1 - 2p. We have 27rP COep = (~ _ 1)(~ - 2 ) . . - 3
• 1"
By the property F ( x + 1) = x F ( x ) of the g a m m a function and F ( 1 ) -zr l/Z, we have 1 --
2
F(3/2) rrl/2
n '
9
~
~
2
F(n/2) 1 -- F ( n / 2 -
1)
from which we deduce that the given expression of COn-1 holds also when n is odd.
478
SUPPLEMENTS AND ADDITIONAL PROBLEMS
5. TEICHMULLER SPACES INTRODUCTION AND DEFINITIONS Teichmuller spaces
A diffeomorphism q9 of a riemannian manifold (M, g) is a confeomorphism if there exists on M a positive function f such that:
qg*g-- f g . It is known that the confeomorphisms of an n-dimensional (connected) riemannian manifold form a Lie group of dimension at most 89 (n + 1) (n + 2) if n > 2. It has been proved (cf. J. Ferrand 1995 and references therein) that the group of confeomorphisms of (M, g) is the isometry group of some conformal space (M, f g ) except if (M, g) is a metric sphere S n or an euclidean space E n. Analogous properties do not necessarily hold for pseudo riemannian metrics. The isometry group of a compact riemannian manifold is compact. The conformal group of S n is not compact. Two riemannian metrics g and g~ on a manifold M are called eonformally equivalent if there exists a diffeomorphism 99 homotopic to the identity and a positive function f such that on M ~o* g - f g ' .
Teichmuller space
genus
When n = 2 the space of conformally inequivalent metrics on a compact manifold M has the remarquable property to be isomorphic to a finite dimensional vector space. We will study this space. The Teichmuller space T ( M ) of a compact (connected, without boundary) smooth 2-dimensional manifold M is the space of conformally inequivalent smooth riemannian metrics which can be put on M. It has come to play an important role in geometry and physics, in particular in string theory. We shall give, in the case where M is oriented, the main steps of a proof that T ( M ) can be given the structure of a finite dimensional smooth manifold diffeomorphic to [R6 G - 6 with G > 1 the genus of M The genus of a 2-dimensional connected compact (with or without boundary) manifold M is the maximum number G of cuts one can inflict to M along a simple curve (continuous injection of a circle into the interior of M) so that the resulting manifold remains connected (in some definitions the genus is G + 1). It can be proved that two compact 2-dimensional manifolds without boundary are homeomorphic if and only if they have the same genus and are either both orientable or both non orientable. The sphere S 2 has genus zero, the toms T 2 has genus 1, an orientable "n holes surface" has genus n. The Betti number bl of an orientable connected compact
5. TEICHMULLER SPACES
479
2-dimensional manifold (without boundary) of genus G is bl = 2G. Its Euler-Poincar6 n u m b e r (cf. Problem 6 chapter Vbis "Euler P o i n c a r 6 . . . " ) is X = b0 - bl + b2 = 2 - 2G. Recall that if R is the scalar curvature of a 1 riemannian metric on M , then X -- 7Y fM R dr.
1. Denote by A/l [resp. M s ] the space of smooth [resp. in the Sobolev space Hs ] riemannian metrics on the 2-dimensional connected compact without boundary smooth manifold M. Denote by T) [resp. 79s] the space o f smooth [resp. Hs] strictly positive functions on M. a) Show that the relation 7E given in Ads x A/Is by (g', g) ~ 7-4.if there exists f ~ T)s such that g' = f g is an equivalence relation (p. 5) if s > 1. Denote by A d s / ~ . the set of these equivalent classes. b) Admit the fact (Kazdan and Warner) that the equation on (M, g) for the function oAgo-
~
e a -- R
has one and only one solution o- ~ Hs for each given if g ~ Hs, s > 2, and X < O. Give a bijection between space of Hs metrics with scalar curvature equal to - 1 M with G > 1. c) Show that A d s I is a C ~ submanifold of A/ls. Give a point g.
function R ~ H s _ 2 Ads/7)s and AAs 1, on a given oriented its tangent space at
Answer 1. a) Tr is defined if s > 1 because Hs is an algebra if s > gn - 1. It is reflexive, symmetric, and transitive. b) If M is 2-dimensional the scalar curvatures of two conformal metrics g and f g with f = e c~ are linked by (cf. p. 351) R (g) = A g o - --i--e c~R (e ~ g) hence if g is given we shall have R (e" g) = - 1 if and only if a satisfies the equation Ago-
--
e ~ = R(g)
this equation has one and only one solution a on the oriented manifold M if G > 1, since then X < O. If g and g~ are conformal, g~ -- e)'g, we have, by uniqueness of the solution of the above equation, R (e~ ~) -- - 1 if and only if a - a ' -t- )v, therefore to g and g' are associated the same metric g E . M s 1. The mapping A d s / ~ s -+ A d s 1 thus defined is bijective.
SUPPLEMENTS AND ADDITIONAL PROBLEMS
480
c) M s is an open set in the vector space of Hs symmetric 2-tensors, if s > 2. The subset . M s 1 is defined by the equation R (g) -- - 1 . Multiplication properties of Hs spaces show that g ~ R(g) is a differentiable mapping from M s into Hs. Its derivative at g is the linear mapping from covariant 2-tensors into scalars given by, since R = g i j R i j h w-~
DR(g).h --
- h ij Ri.j -Jr-gij
DRij.h,
hiJ _ gik g j l h k l .
We find using the expression of the Ricci tensor for a riemannian manifold of arbitrary dimension n
DRij .h = Vk (D F~j .h) - Vi (D
F.~k .h),
V covariant derivative in g,
DF~..h - l gkl (7.jhil d-- Vihi.j - 71hi.j) hence
DR(g).h - - - h i.j Ri.j - Ag tr h + V.V.h,
tr h - - g i . J h i j ,
V.V.h
-- 7i
V j h ij.
One shows that R(g) is a submersion when R(g) < 0, h e n c e J ~ s 1 a submanifold of Ads (cf. p. 239, 242), by proving that DR(g) is then a mapping 1 onto Hs-2. Indeed if hi.j - - n ' r g i j then
1
DR(g).h -- - - r R n
-
( 1l-)-
n
Agr = k
has a solution r 6 Hs for any k ~ Hs-2.
Note. When M is 2-dimensional we have R i j - - I g i j R, therefore for all h
1 DR (g).h - - - R tr h - A g tr h + 7. V .h. 2 2) Show that the group ~ ) s + l of Hs+l diffeomorphisms of M acts on A d s 1. Split the tangent space at g to 3/l~. 1 into a tangent space to the orbit of g through the action of 7) s+l and an L2 orthogonal complement. Show that this orthogonal complement is finite-dimensional.
Answer 2. The metrics g and r
have scalar curvatures related by
R(cp* g) - r R(g) =_ (R(g)) o ~o-1 . Therefore if one belongs t o . / ~ 1 SO does the other. The orbit Og of g by 79 is the space of metrics isometric to g. The generator of a one parameter group of isometries of g is a Killing vector field.
5. TEICHMULLER SPACES
481
The tangent space at g t o (.9g is therefore the set of symmetric 2-covariant tensors on M of the form L xg, L x the Lie derivative with respect to a vector field X on M. Every 2-covariant Ha. tensor field admits a unique L2 orthogonal decomposition h--h+Lxg
whereV.h--0
because the operators X ~ L x g and h ~-+ V.h are L2 adjoint, the first one has injective principal symbol (p. 397), and the operator X ~-~ V . L x g is elliptic with kernel {Y, L y g = 0}. Suppose that h ~ rg.A,4s 1 that is D R ( g ) . h - O. By the previous argument or direct verification, D R ( g ) . L x g = 0, hence DR(g).h = 0, which reduces to Ag tr h - tr h -- 0
which implies tr h - 0.
The L2 orthogonal complement of the tangent space to Og in TgAAL71 is therefore the space Z ~ T of transverse (V.h --0), traceless, symmetric covariant, Ha., 2 tensors on M. On a 2-dimensional manifold the operator V. on traceless symmetric 2tensors has injective symbol, i.e., is elliptic, its kernel is finite-dimensional. To determine its dimension we shall use results of analysis on complex manifolds. 3. a) Show that an almost complex (cf p. 331) structure on a 2-dimensional manifold M is always a complex structure. b) Show that the linear mapping J : TxM --+ TsM defined by the mixed t e n s o r --g$btg where g$ is the contravariant tensor associated to g and #g the volume 2-form (i.e. J{.! - - _ g i k ~k.j ) defines a complex structure on M, which is the same for two conformal metrics.
Answer 3. a) When n -- 2 the integrability condition for an almost complex structure to be complex is identically satisfied. b) J is the same for g and f g because ( f g ) $ - f - l g and ttt.g - - f l Z g , if /l--2.
J defines an almost complex (hence here complex) structure if j 2 _ - I d . This property is frame independent. Take an orthonormal frame in Tx M. Then g$i.j _ ~i.j and IJ, i.j -- ~1 ~ i.j12 ' hence j_(0
-1) 1
0
j2 '
_Id
482
SUPPLEMENTS AND ADDITIONAL PROBLEMS
4. Show that the space ~?~T of transverse traceless 2-covariant symmetric tensors on (M, g) is isomorphic to the space of 2-covariant tensors on (M, J) of type (0, 2) and holomorphic (cf. Chapter V, Problem 294). Answer 4. Take coordinates where gij - f6ij (always possible locally) then J has the expression given above, z - x 1 + ix 2 is a local coordinate for the complex structure (M, J). A 2-covariant tensor of type (0, 2) reads H -- F (z, z) dz | dz it is holomorphic if F does not depend on z. Let h 6 ZTza~.A straightforward computation, using also tr h - 0 (cf. Fisher and Tromba), gives, with gij - f3i.i (V.h)i-
f-I
O ij. Ox./h
In the chosen coordinates set h l l - - h 2 2 u, h i 2 V.h -- 0 reads as the Cauchy-Riemann equations
Ou OX 2
8v OX 1 '
Ou
8v
OX 1
OX 2 '
h21 - - v ,
then
conditions for u + iv to be an analytic function of z - x + iy. We have h -- u ( d x I t~) dx I - dx 2 | dx 2) -- u ( d x I (~) dx 2 + dx 2 (~) dx 1)
-- ~ e {(u -k- iv) dz | dz }. The (0, 2) analytic tensor H defined locally by H -- (u + iv)dz | dz extends to a holomorphic tensor defined on (M, J) by
H-
h + iJh,
where
(Jh)ij
-
Ji~hu,
J h is a symmetric 2-tensor, as can be checked in the chosen frame. CONCLUSION Riemann-Roch theorem
Teichmuller space Bochner
The R i e m a n n - R o c h t h e o r e m says that on a 2-dimensional compact orientable manifold the vector space of (0, 2) holomorphic 2-tensor is 6G - 6 dimensional, G > 1 the genus of M. Therefore Z'zTT is also 6G - 6 dimensional. The Teichmuiler space 7" is the set of equivalence classes .A/[sl/~)~+1, 7~ +l the subset of D s+l of diffeomorphisms homotopic to the identity. It has been proved by Bochner that 7)0 acts freely on a riemannian manifold (M, g) with negative definite Ricci curvature (i.e. ~0*g--g only if
6. YAMABE PROPERTY ON COMPACT MANIFOLDS
483
~0 is the identity map). This property is also a consequence of the theorem of Eells and Sampson saying that there is a harmonic mapping in each homotopy class of maps from (M, g) into (M ~, g~) if the Riemann curvature of g~ is non positive. A 2-dimensional manifold with R(g) -- - 1 has Ricci(g) = _ l g , negative definite. Hence Do acts freely on .Ads 1. It is possible to endow T with the structure of a C ~ manifold of dimension 6G - 6 (dimension of the L2 orthogonal complement of the tangent to the orbit Og) diffeomorphic t o [R6 G - 6 .
Eells and Sampson
REFERENCES Ferrand, J., Math. Ann. 1995. Fisher, A. and Tromba, A., Math. Ann. 267 (1984) 311-345. Earle, C. and Eells, J., J. Diff. Geom. 3 (1969) 19-43. Kazdan, J. and Warner, R., Ann. of Maths. 99 (1974) 14-47.
6. YAMABE PROPERTY ON COMPACT MANIFOLDS
INTRODUCTION
It is an old result that every 2-dimensional compact riemannian manifold admits a conformal metric with constant scalar (gaussian) curvature. A riemannian manifold (M, g) is said to have the Yamabe p r o p e r t y if there exixts on M a metric g~ conformal to g with constant scalar curvature R ~. This property is important in geometry for the classification of compact manifolds, and in General Relativity in relation with the solution of the constraints (cf. Y. Choquet-Bmhat and J. York, 1979). The original proof of Yamabe contained a flaw and it has required a considerable effort from the mathematicians (Tmdinger, Aubin, Schoen) to obtain results valid in all cases and for every dimension. In the following (M, g) denotes a smooth, compact, n-dimensional riemannian manifold with n > 3. We shall see that all such manifolds possess the Yamabe property.
1. Show that (M, g) has the Yamabe property with gl _- q)4/(n-2) g
if and only if 99 satisfies the equation, with R the scalar curvature of g, k n A g q ) -- Rq) + Rtq9 (n+2)/(n-2) ---- O,
k n = 4(n - 1)/(n - 2).
(1)
Yamabe property
484
elliptic operators
SUPPLEMENTS AND ADDITIONAL PROBLEMS
A n s w e r 1. Straightforward calculation (cf. p. 351 and problem 6, chapter V, p. 247). 2. It can be proved (Palais, 1968) that a linear operator of order m on a compact smooth riemannian manifold (M, g), with smooth coefficients a~ m (the hypotheses on smoothness can be weakened), L =_ Y-~=0 a~ v k , which is elliptic (p. 397), is a Fredholm (p. 401) operator from the Sobolev space (p. 486) W s+mH p into WpS if s >_ 0, 1 < p < cx~, in particular it satisfies" I s o m o r p h i s m t h e o r e m for elliptic operators. If the linear elliptic operator L with smooth coefficients is injective, then it is an isomorphism from Wp +m onto Wp for any (integer) s > 0, 1 < p < ee (the inverse of L is the Volterra convolution (p. 471) with the Green function of L on M). Use this theorem and the L e r a y - S c h a u d e r degree theory (p. 563-565 and the application on p. 591) to prove that if R < 0 then (M, g) has the Yamabe property with R I < O. A n s w e r 2. Suppose R < 0 and let R ~ be some negative constant. We show the existence of a solution q) > 0 of (1) on (M, g) as follows. Consider the linear equation, with t 6 [0, 1] and c some number A g u -- u -- --c + t f (v),
f (v) =-- --v + c + R v - R ' v ( n + z ) / ( n - 2 ) .
(2t)
Suppose v > 0 and v 6 Wp, s > n / p , then (problem 3, chapter VI) f ( v ) Wp. Therefore (2t) has one and only one solution u 6 Wp +2, and there exists a constant C such that for all these v Ilu IIw/,;+2 _< f i l e + t f (v) ll wi~, . Consider a bounded subset s C Wps defined by the two inequalities
Ilvll wi; < K,
0 < a < v ( x ) < b, Vx ~ M .
s is an open subset of W~p if C O C W~, i.e. if s > n / p . Each mapping .T't 9I2 --+ W~ defined by v ~-+ u is a compact mapping (p. 563) because the injection W~ +2 --+ Wp is compact (extension of the Kondrakov theorem quoted in Problem 2, chapter VI, p. 383). The fixed points of ~ l are the functions u such that 1 + u is solution of (1); .To has one fixed point in S2, u - c, if Ilcllwi,; < K, i.e. c ( v o l M ) 1/p < K , and a < c < b. The existence of a solution of (1) (non necessarily unique) will follow from the Leray-Schauder theory if we prove that no mapping ~-t 9S2 - s U 0s t 6 [0, 1], has a fixed point on the boundary 0s of s we must prove that a solution of (2t) with v - u and satisfying Ilullw,,.,. _< K,
O < a < _v ( x ) < b ,_
x6M,
6. YAMABE PROPERTY ON COMPACT MANIFOLDS
485
verifies the corresponding strict inequalities. A C 2 function u such that u (x) > a on M can attain its m i n i m u m a at a point x of M only if at that point Au > 0 ( m a x i m u m principle, p. 500). A fixed point u of Ut is C 2 since u 6 Wp +2 C C 2 if s > n / p ; it will verify Au < 0 when u -- a if
P (a) =_ Ra
Rta (n+2)/(n-2) < O.
-
If R < 0 on M and R ~ is a negative constant this inequality is satisfied as soon as a < (IR'linfM I R I ) ( n - 2 ) / 4 . W e shall have P(b) > 0, hence u cannot attain its upper value b, if b > (IRtl suPM IRI). We choose a > 0 and b > a satisfying these inequalities. Then 0 < a < u < b on M . We choose c b e t w e e n a and b. On the other hand, if u is a fixed point of f't in ~ we have f (u) ~ W ~ - - L p with an L p n o r m depending only on the data and the choice of b. The inequality recalled for elliptic equations shows that there exists a constant K ~ such that for all fixed points of the m a p p i n g s Ut satisfy
Ilullw _('. If we take p such that p > n / 2 we can choose s - 2 in the definition of S-2 and K such that K > K ~. We have c o m p l e t e d the p r o o f of the existence of a solution u 6 W 4, u > 0, of (1). One shows that this solution is smooth by r e m a r k i n g that, since W 2, p > n/2, is an algebra and f ( u ) is a C ~ function of u w h e n u > a > 0 the right hand side of (1) is uniformly b o u n d e d in W 4 norm, hence we could have taken s - 4 in the definition of s or by iteration any s > 2.
Remark. We can choose s -- 1 if p > n. 3. A Y a m a b e f u n c t i o n a l is a m a p p i n g Jq "~p w-~ Jq (qg) given by"
Yamabe functional
f M(kn lVqgl2 -k- Rq)2) dv
Jq((tg) ~
(fM q92qdv)l/q
with ]Vq)] 2 ~ g(Vq), Vq)) and dv is the v o l u m e e l e m e n t of g.
a) Show that Jq is defined and bounded below in the open set D of HI,
D =-- {q) ~ H1, q ) ~ 0 }
if l < q < n/(n - 2).
Denote by lZq the infimum ~q
-
-
inf Jq (~o). q)6D
(3)
SUPPLEMENTS AND ADDITIONAL PROBLEMS
486
Yamabe equation
b) Show that 99 w-~ Jq (99) is C 1 in D. Show that a critical point qgq o f Jq in D (in particular a minimum if there is one) satisfies a Yamabe equation: 2q-l knAgqgq -- Rq)q -- )~qq)q ,
)~q s o m e n u m b e r .
Answer 3a. We have L p C Hi if 1 < p < 2n / (n - 2) (cf. problem 2, chapter 6, p. 379). Jq is defined on D, since also ]lqgl[L2q ~ 0. It is bounded below if q > 1 because
Jq>__- f Rq92 dv /II 99 II2L2q
>m --II
R IIL2q,
1 q'
mzl
1 q
M
Answer 3b. It is straightforward to check that Jq is C 1 on D, its first derivative at q9 is the linear mapping H1 --+ ~ by h w-~ Jq (qg).h given by 4(qo).h -- (llcPllLzq)-zq2 f {kng(Vqg, Vh) + Rq)h - )~q(q22)q-lq)h} dv M
(4)
with ~.q - Jq(q))( fM q)2q dv)-l+l/q. The condition for q9 to be a critical point of Jq, i.e. Jq ( q ) ) . h - 0 for all h 6 HI is equivalent to (4), taken in the sense of distributions. 4. a) Show that #q =
inf
qgED, IlqgllL2q=1
Jq(qg).
b) Show that Jq admits a positive minimizing sequence, functions q)(N), N ~ N, such that Jq(q)(U)) -- lZq < N - l , qg(U) E D N {llq)llL2q - 1}, and (fl(N) >_ O.
c) Show that if q < n(n - 2) there exists a subsequence of {qg(N)} which
converges to a function q)q in D satisfying a Yamabe equation with )~q = lZq.
d) Show that q)q > O.
Answer 4a. For any q, Jq is invariant by homothetic rescaling of qg. Answer 4b. The non existence of q)(N), given N, would lead to a contradiction, since/Zq is the infimum of Jq. We can choose q)(U) >_ 0 because/Zq
6. YAMABE PROPERTY ON COMPACT MANIFOLDS
487
is also the infimum of Jq restricted to ~p > 0. Indeed if 99 6 H1 then also I~ol ~ H1 since Iris011- IX7~01, and Jq(~O) - Jq(l~01). Therefore l Z q - inf Jq(Igol) ~ 99eD
inf
qg~D, ~p>0
Jq(~O)> lZq. --
Answer 4c. S i n c e II(tg(N)I]L2q -- 1, q > 1, we have IIq)(N)IIL2 uniformly bounded when M is compact since (Holder inequality, p. 53) II~ollt2 _< II~ollt2qII111t2q,,
q1 + ~1 - 1 , II111L2qt -- (Vol(M , g))1/2q' .
-
On the other hand Jq (~P(N)) /~q -~- l. Hence the norms II~o
N--+ cx:~
]lV~pq 1122 -
by the strong convergence in L2.
lim [ Vq)(N).Vq9 q dv
N--+ cxz M
by the weak convergence in H1
t , /
therefore [IVqgq
1122 ~ lim sup
hence Jq (q)q ) < l i m u ~
N--+ cx~
IIV(49(N)IlL2 I[VfD(N)IlL2
Jq (q)(N)) -- lZq and Jq ((Dq) -- lZq , infimum o f Jq . 2q-1
Answer 4d. Since q)q E H1, q)q E L2n/(n-2) hence q)q 2n (n--2)(2q--1) > 1 i f q m < n -n2 "
E Lpo, with P0 --
The elliptic isomorphism theorem shows that qgq G Wp2o since it is solution of the Yamabe equation. Now W20 C Lpl, Pl
n-2ponP~ > ,,-~ if q < /-/-2" n By induction we obtain a sequence of imbeddings rpq E W2N with PN a strictly increasing sequence. We obtain the smoothness of (pq by taking PN
SUPPLEMENTS AND ADDITIONAL PROBLEMS
488
large enough. We deduce from the Yamabe equation and the boundedness o f qgq an inequality of the form
Agg)q -- Cqgq >__O,
2q- 1 w i t h C > supkn I IR - lZqqgq [ > O.
M
By the maximum principle q)q >__0 cannot attain its possible minimum zero without being identically zero.
5. Show that tx =-- lZn/(n-2), is a conformal invariant. It is called the YamYamabe invariant
abe invariant.
Answer 5. When M is compact without boundary C ~ is dense in H1 therefore /z =
inf
~0~C~176~o~0
J (~o),
J (qg) ~
Jn/(n-2)(q)).
Suppose g' is conformal to g and set g'=-~a/(n-Z)g, with ~ > 0 a C ~ function. If ~o ~ C ~ , ~0 ~ 0, so does ~o' - ~o~-l and conversely. Recall (cf. Problem 6, chapter V, conformal .... p. 247)
knAg~o - R~o =--~(n+Z)/(n-2~(knAg'
R'~o'), ~o=--~k~'.
(3)
The volume elements of g and g' are linked by dv = ~-2n/0,-2) dr' hence for all functions f
f q)gr(n+2)/(n-2)f d v - f q)'f dv'. M
M
Multiplying (3) by 99 and integrating on M gives after integration by parts
f
M
( kn1~79912 q- R992) d v - f ( k n , V r p ' 1 2 q -- Rt~t2) dv t M
hence J ( g , qg) = J (g', ~ - 1 ~o) from which the conclusion follows. 6. The reasoning of previous paragraphs 3 does not give the proof of the existence of a conformal factor q) = q)n/(n-2) since the injection H1 L2n/(n-2) is not compact. Originally Yamabe attempted to prove the existence of a conformal factor by constructing q9 as a limit of the q)q when q tends to n / ( n - 2), this can be made to work easily when # < 0.
6. YAMABE PROPERTY ON COMPACT MANIFOLDS
489
a) Show that by homothetic rescaling o f g the volume o f (M, g) can always be made equal to 1. A n s w e r 6a. Vol(M, k2 g) -- k n V o l ( M , g).
b) Show that [a,q is a continuous function o f q ~ (2, n~ (n - 2)]. Show that if l < qo < q < n / ( n - 2) a n d V o l ( M , g) ---- 1 then I/Zql > [/Zqo 1. c) Prove that if lz < 0 there exists a sequence {99qN}, which converges in HI to a strictly positive function q9 when qN converges to n / ( n -- 2). Conclude that (M, g) has then the Yamabe property. Hint. Show that the 99q, q ~ [q0, n / ( n - 2)[, are uniformly bounded. d) Show that a sufficient condition f o r lz < 0 is f M R dv < O. A n s w e r 6b. If ~ 6 D A C ~ it is straightforward to prove that Jq (~) is a
continuous function of q 6 [1, n / ( n - 2)] and to deduce from this property the continuity in q of/~q, infimum of Jq (cf. Aubin, 1982, p. 128). On the otherhand ifVol(M, g) - 1 andq0 < q we have ]l!/*]]tzq0 -< II 7~ II t2q by the Holder inequality, therefore
IJq(~)l ~ IJq0(~)[
and consequently
ICZql~ I/zqol ifq0 < q .
It results that/Zq, q 6 (1, n / ( n - 2)], is either everywhere positive, everywhere zero or everywhere negative. A n s w e r 6c. Suppose/z < 0. Then/Zq < 0, q 6 [1, n / ( n - 2)].
We have seen that ~pq, 1 _< q < n / ( n - 2), is continuous on M hence attains its maximum m q at a point Xq ~ M . At such a point we have (A99q)(Xq) < 0. We deduce then from the Yamabe equation satisfied by qgq, with #q < 0
mq5
-R(xq)
<
sup[R[
[/Xql - I # q 0 [ number independent of
=K, q 6 [q0, n / ( n - 2) [.
One way of completing the proof is to deduce from the above bound, the Yamabe equation and the elliptic isomorphism theorem an inequality of the form
IlqgqIIH2 ~ c ,
q 6 [q0, n / ( n - 2)[,
where C depends on the data and #qo but not on q, q0 < q < n / ( n - 2). Since H2 is compact in H1 we can extract from {99q, q0 < q < n / ( n - 2) } a sequence which converges, in the H1 norm, to a function denoted q)n/(n-2)
SUPPLEMENTS AND ADDITIONAL PROBLEMS
490
when q converges to n / ( n - 2). This function satisfies the corresponding Yamabe equation and is in H2, hence finally C ~ . It is proved to be strictly positive, like the other ~0q. A n s w e r 6d. Take ~p = 1 on M. Then f M R dv < 0 implies J (7/) < 0 hence
#<0. 7. When/~q is positive we still have IlrPqlln~ ~ K,
if IlqgqllL2q -- 1 (hence IlcPqllLz ~ 1 ifVol(M, g ) -
1).
Therefore there still exists a sequence extracted from {~Oq,q 6 [1, n / ( n 2)[} which converges to a function ~p 6 H1, weakly in Hi and strongly in L2, but the qgq a r e not uniformly bounded without further hypothesis. S h o w that the existence f o r q ~ [qo, n / ( n - 2)[ o f a uniform L r bound o f qgq,for s o m e r > 2n / (n - 2), is sufficient to prove that q) is smooth, satisfies the Yamabe equation, and is positive. 2q-1
A n s w e r 7. If II~OqllLr -- {ll~0q
l/(2q
1)
< C, r > 2q - 1, then by the Yamabe equation satisfied by ~0q and the Sobolev imbedding theorem there exist other constants C such that
II~OqIIw;/~2q_~,z
-< C,
]]Lr/(Zq-l)}
II~OqIIL r I -<- C,
-
nr
r l --
n ( 2 q - 1) - 2r
Under the hypothesis made on q and r, one has r l > r. By induction one sees that q)q is uniformly in H2, and hence admits a subsequence which converges strongly in Hi to q) satisfying the Yamabe equation and that q) is smooth and strictly positive (cf. the proof in answer 3d). 8) It can be proved (cf. Aubin, 1982, p. 45) that on a riemannian manifold of dimension n > 3, with bounded curvature and injectivity radius (Problem 16, Chapter 6, p. 429) 3 > 0, the Sobolev imbedding theorem (problem 2, Chapter 6, p. 379) L p C H I , p -- 2 n / ( n - 2), can be written
(IlqglIL,,
2
~ (gn +~)(IlVqglIL2) 2 -+- A(E) (llcP IIL2) 2
where Kn is the best Sobolev constant obtained on OR" (cf. Problem 4, Chapter 6, p. 389), hence independent of (M, g), E is an arbitrary strictly positive number, and A (e) > 0 depends on (M, g) and ~.
6. YAMABE PROPERTY ON COMPACT MANIFOLDS
491
8a) Show that the best Sobolev constant (Kn) -1 =
~o
IlVq:,ll 2L2
inf
'
Sobolev constant
cc~o(~ .) I1~oll2L2n/(n_2)
obtained on p. 389 can be written Kn -- 4(OOn)-2/n{n(n - 2)} -1,
~On volume of the sphere S n.
Answer 8a. We have found on p. 389, with the notation Sn - K n 1 (Kn) -1 --n(n-2)7rlP(n/2----~)} 2/n'F(n) A straightforward calculation gives (cf. an analogous one in Problem 4, Chapter V, Sphere S n, p. 240)
F(n)--2"-la'-l/2F Kn --
~ F "2
hence
4 { F((n + l)/2) } 2/n n(n - 2) 2~(n+l)/2
which, due to the value recalled in problem 4, chapter V of the volume of the sphere S n, is the indicated expression.
(_On
8b) Show that on S n, # - n (n - 1)co21n.
Hint: use the conformal invariance o f / , and the function on [Rn given by u (x) -- (1 q- r 2) ( 2 - n ) / 2
r --
]x l
o
Answer 8b. The given function u is such that (cf. Problem 4, Chapter VI, The b e s t . . . ) inf
~cg~
11V~~]122(~ ~)
") II~pll2L,,(R,)
=
Kn 1
=
[]Vu J122(~~)
Ilull 2L P ( R n)
On the other hand we know that S n minus one point is conforma| to [~n which has zero scalar curvature. We deduce therefore from the definition of the Yamabe invariant I ~ ( S n) - - k n K n
1 --
n(n
-
1)(Wn) 2/n.
492
SUPPLEMENTS AND ADDITIONALPROBLEMS
8c) Prove that f o r all manifolds (M, g) with bounded curvature and positive injectivity radius the Yamabe invariant Ix satisfies the inequality . 2/n
tx < n(n--1)COn
.
Hint: use the family of functions q)~,e -- rl~ uc~, where tie is a cut off function with support in a geodesic ball of radius e and u~ is a function given in normal coordinates (p. 326) by uc~ -- { c~2nt-r2 }(2-n)/2 O/
A n s w e r 8c (inspired from the survey article of Lee and Parker). The radial functions uc~ on ~n have the same Sobolev quotients as u for any positive c~ because they read, with r - c~p -
OrU~ = (2 -- n)ol(2-nl/2p(p 2 + 1) -n/2.
+ 1)}
The m a x i m u m of uc~ is attained for r = 0 and becomes more and more sharp as ot decreases: the compactly supported functions qgE,~, defined on a manifold via normal coordinates will have a Sobolev quotient which approximates K n I when E and ot are small enough. Indeed let ~0~,~ - r/~u~, where tie is a C 1 function on the manifold M with support in a geodesic ball Be of radius e, depending only on the radial normal coordinate r, with tie < 1 in Be, tie = 1 in BE~2 and IVrlE I < CE -I (choice possible cf. p. 529), while u~ is the function expressed in normal coordinates by the previous formula. We have then V~oE,~ = (8r~O~,~, 0 . . . . ,0). Recall that in normal coordinates there exists a constant C, depending on the curvature of (M, g), such that in BE dv -- f dr0,
dvo -- r n- 1 dr d o n -
l,
If - 11 <- Ce.
We deduce from the definition of qg~.c~,the properties of r/~ and the estimate of d r
f
M
IV~0~,c~lZdv -
f
2 2 + 2(Vrl~.Vu~)r/Eu~ + u~lVr/EI 2 2 dv r/EIVu~[
B~
- < ( l + C e ) { l l V u ~ l l 2L2(~.~
ff
(.o2-~-I0r.c~12)dv0}.
e / 2
We have u~ < o t ( n - 2 ) / 2 r 2 - n and OrU~ < (n - 2)ot(n-2)/2rl-n. Hence when r > ~/2u~ < C E 2 - n o t ( n - 2 ) / 2 and IOrU~[ < G E l - n o t ( n - 2 ) / 2 . Given ~ we can
6. YAMABE PROPERTY ON COMPACT MANIFOLDS
493
choose oe small enough for the second term in the inequality above to be arbitrary small. On the other hand we know that
uP dvo
L2([Rn)
,
2n p
n-2
Rn
Splitting the integral over [~n into an integral over a bah Be~2 and over the complement, then using the properties of r/~ and u~ < ot(n-2)/2r 2-n we obtain the estimate IlVu,~ll 2L2(~.) _< K n 1
{f
u p dvo + COn-1
BE~2
f
u nr
dr"
r>__e/2
< K n 1 (1 + Cr
~pP dv + Col n M
On the other hand if n > 3 and ot m< 1 f rp~ dv < (1 + CE)cOn-1 f M
otn-2r3-n dr < (1 + Ce)Cu.
r<e m
Collecting all these results gives
f
{knlV~o~,~l 2 + R~o2,~}dv < k n K n l ( 1 + CE)(1 +Cot)
M
{f / ~oPdv
M
which proves the desired result. 8d) Prove i f # < n ( n - 1)CO2n/n,Vol(M, g) -- 1 thatthere exists r > 2n/(n 2) such that []q0q IlLr is uniformly bounded for q ~ ]1, n / ( n - 2)[.
Hint: use the Sobolev inequality proved by Aubin recalled above. Answer 8d. Let d be some positive number. We deduce from the Yamabe equation for qgq, by multiplication by Wq ~1+2d and integration by parts f M
n ,,2+2d } dv --/Zq {kn(1 -k- 2d)q)q2d IV~0ql2 +/~Wq
f
M
2q+2d dr. qgq
494
SUPPLEMENTSAND ADDITIONALPROBLEMS
Set w - qg~+a. The previous equality becomes (1 + d) 2
k n l V W l 2 dv
-
M
f
- R W2) dr.
(tA,qll)2qgq
M
Using the Sobolev inequality with the best Sobolev constant leads to Kn (1 + e)(1 + d) 2 1 + 2d
JJwll~p2 -< kn
f {./~qw,t,2m2q-2w2
-- (R + A(e))w 2 } dr,
M 2n p
~
~
o
n-2
By the Holder inequality f w 2~q .,2q-2 dv < Ilwll2,11~OIIg.~q ,~ < Ilwll 2 Lp -
-
-
~
M
because, by the hypothesis on q, n ( q - 1) < 2q and we have Vol(M, g) -- 1. kn We know that #q depends continuously on q, hence if/x < 2-2. we can choose q0 near enough from n / ( n - 2), E and d small enough so that the coefficient of IIw[IZp in the right hand side is strictly smaller than one and obtain an inequality of the form
forq6[q0, n/(n-2)[
that is IlgoqIltp(l+d) ~ Cllgoq Ilt2t~+,z) ~ C, d > 0 and small enough. 8) In the case of M compact, it has been proved by Aubin when n > 6 2/n that if (M, g) is not locally conformally flat then # < n ( n - l)con ; it has been proved by Schoen (1984) by a new method related to the positive mass theorem of General Relativity (in fact the positivity of the second term in an expansion of a Green function) that if n - 3, 4, or 5 or if (M, g) is locally . 2/n conformally flat then # < n ( n - l)wn , except if (M, g) is conformal to S n . Hence the Yamabe constant satisfies the strict inequality, except if (M, g) is eonformal to S n . The sphere S n has constant scalar curvature, n(n - 1). It is an old result that every compact riemannian manifold of dimension 2 has a conformal metric of constant scalar (gaussian) curvature. Conclusion: every compact riemannian manifold has the Yamabe property.
7. THE EULER CLASS
495
Remark. It has been proved that any smooth compact manifold M can be endowed with a smooth metric with R < 0, hence the strict negativity of a Yamabe invariant does not imply any topological restriction on M. It has first been proved by Lichnerowicz that there are manifolds which do not carry metrics with R > 0. It has also been proved (Gromow-Lawson, Kazdan-Warner, Schoen-Yau) that some manifolds do not carry any metric with R > 0, therefore the positivity of a Yamabe invariant is a topological obstruction. REFERENCES Aubin, T., J. Math. Pures et Appl. 55 (1976) 269-296. Trudinger, N., Ann. Scuola Norm. Sup. Pisa 22 (1968) 265-274. Shoen, R., J. Diff. Geom. 20 (1984) 479-495. Lee, J. and Parker, T., Bull. Amer. Math. Soc. 17 (1) (1987) 3791.
7. THE EULER CLASS A Supplement to Problem Vbis.6 (pp. 321-334) CHECK THE GAUSS-BONNET THEOREM FOR A 2-DIMENSIONAL MANIFOLD OF GENUS 0
By definition (p. 394), the Euler class for a 2-dimensional riemannian manifold M is represented by a two form with values in the Lie algebra O (n, m)
z-
--1 4-7
112i2 ff.~i2i ' __ --1 ~.~21__ ~ --1 ( ~ 2 1 -- 2rr
)~l dxk A dx l,
S:2i2 il --- --Sz2il i2
Since fm V is a topological invariant, we shall choose M - S 2, and compute J~21 o n 8 2. According to Cartan structural equation (p. 306), we have in the basis {0 ~ } dual to a moving frame j~21 __ 21 R21 kl Ok A Ol -- d601 jr_ 09ml A O)~,
k , l , m ~ {1,2},
- do921" In the riemannian connection, 0-
dO i + 60.]i. A 0 j
~
On S 2 parameterized by 0 < 0 < Jr and < q9 < 2zr, we can take 01 -
rdO,
0 2 - - r sin 0 d~0,
d01 _ 0 _ _ o 4 A 0 2 , cos0 d02 -- ~ 0 1 A02--602A01 r sin0
Euler class Gauss-Bonnet theorem
496
SUPPLEMENTS AND ADDITIONAL PROBLEMS
Therefore COS 0 02
c~
rsin0
and ~.~21 _
1 01 /X 02 r2
-- sin 0 dO d~0.
Finally n"
f _'f y -- ~
S2
0
2n"
dO sin 0
f
d~o -- 2.
0
8. FORMULA FOR LAPLACIANS AT A POINT OF THE FRAME BUNDLE INTRODUCTION Laplacians
Laplacians are defined on forms by the formula (Vol. I, p. 318) A .-- - ( 6 d + d3)
(1)
where d is the exterior derivative, and 6 its metric transpose (Vol. I, p. 296). On zero form A = -6d-
gUUV u Vu - gUVOuOu - gUVF~vO p
(2)
where V u is the covariant derivative defined by the riemannian connection (Vol. I, p. 308). Lichnerowicz has generalized the coordinate expression of (1) to laplacians on arbitrary tensors. Laplacians of elliptic complex (Vol. I, p. 398) are defined by the formula :r
Ap " - - - ( D * p D p + D p + l D p _ l )
(3)
where the Dp's are elliptic operators on sections of a finite sequence {E p } of vector bundles, and the D p* ' S their respective metric transpose In particular if D = d, D* = 6, and A is the Laplacian of the De Rham complex. Alternatively, we can express the Laplacian on a (possibly pseudo) riemannian manifold (N a, g) by its lift on the frame bundle O(N). It operates on any equivariant map (Vol. I, p. 404) on O(N) with values in the typical fibre of an associated bundle. The expression for the Laplacian on the frame bundle is useful in the theory of functional integrals in riemannian spaces. [See, for instance, Cartier and DeWitt-Morette.]
8. F O R M U L A FOR LAPLACIANS AT A POINT OF THE F R A M E BUNDLE
497
PROBLEM
Let O (N) be the flame bundle over a riemannian manifold (N d, g), possibly pseudo-riemannian. Let p(t) be the horizontal lift of a path x(t) ~ N defined by the riemannian connection map a : O(N) --+ L ( T H , TO(N)) 13(t) - a(p(t))2(t),
17p(t) -- x(t).
(4)
p(ta) --" Pa =" (a, Ua).
(5)
Choose a trivialization
p(t) -- (x(t), u(t)),
If p(t) is a solution of (4), then the frame u(t) is the Ua frame parallel transported along the path x(t) from a to x(t). A frame is also an admissible map (Vol. I, p. 368)
u(t) " Nd _+ Tx(t)N.
(6)
Therefore the set { ( u ( t ) - 1 2 ( t ) ) ~} is the set of coordinates of k(t) in the frame u(t). Denote by ~(t) the vector with these components in the canonical basis {eu } of Nd
~(t) "-- u(t)-lYc(t) -- ~#(t)eu, ~u(t)-
( u ( t ) - l j c ( t ) ) ~.
(7)
Since we are interested in riemannian manifolds, possibly pseudo-riemannian, the canonical basis {eu } is either euclidean, or minkovskian (e#lev) = huv
with h~v ~ {3uv, Our}.
Rewrite equation (4) as follows
and define the set of d vectors fields {X(u)} on O(N) by
X ( u ) ( p ( t ) ) -- a ( p ( t ) ) o u ( t ) e , ;
(8)
i)(t) - X(~) (p(t))~# (t).
(9)
then,
If x ( t ) is within focal distance of a, the vectors { X ( , ) ( p ( t ) ) } are linearly independent. 1. Show that x : [ta, tb] "-+ lid is the Cartan development map o f z : [ta, tb] --+ TaN, Z(ta) = O.
SUPPLEMENTS AND ADDITIONAL PROBLEMS
498
We recall that the Cartan development is an injective map from spaces of paths on TaN into spaces of paths on N (or vice versa). Let z:[ta, tb] --+ Ta N such that z (ta) = 0 , t h e n x is said to be the development of z, x = Devz, if 2(t) parallel transported along x(t) to a is equal to ~(t), trivially parallel transported to the origin of TaN, for every t E [ta, th]. In particular if z(t) = t~(ta), then ~(t) is constant and x(t) is the geodesic defined by
X(ta) = a ,
2(ta) = Z(ta).
2. Let (P :N --~ [R and F := (P o / 7 : O(N) --+ ~; Show that A ~ ( a ) -- hUVs163
Hp -- x
(10)
where the integral curves of the set {X(u)} are the horizontal lifts of a set of geodesics at a, tangent to a canonical basis {eu} on TaN. s is the Lie derivative defined by the vector field X, and huv has the same signature as guy(x). Answer 1. Identify TaN with Na. Parallel transport 2(t) along x(t) back to a, and compute the coordinates of this vector in the frame Ua; we have
f//a(U(S))
t
t
Ual
-1
t
2(s)ds -- f (u(s))-' u(s)~(s) ds - f ~:(s)ds. ta
ta
ta
Remark. The development map parameterizes spaces of paths on N with one fixed point a by paths taking their values in TaN. It cannot parameterize spaces of paths on N with two fixed points, e.g., x (ta) -- a, x (th) -- b. E.g., two geodesics in S 2 which intersects in two antipodal points are the development of two halflines with one common origin. Remark. The development map preserves the quadratic form f at h~/~a(t)~/~(t)-
f
at ga/~(x(t))2~(t)2l~(t),
and therefore the length of a path.
Answer 2. It follows from answer 1 that the integral curves of the d linearly independent vector fields {X(n ) } are the horizontal lifts of d geodesics
V(u) (ta) -- a,
)~(~) (ta) -- e u,
{e# } the canonical basis.
8. FORMULA FOR LAPLACIANS AT A POINT OF THE FRAME BUNDLE
499
Indeed, it follows from (9) that, if ~(t) -- ~(ta) = eu,
p(.) "-- X(u) (p(t))6~ -- X(tt) (p(t))
(11)
and p(u)(t) is the integral curve of X(u ).
Proof of (10). s
(Fut3X(~)X~(v) + Fc~X(~),~X~(.)).
On the other hand since Pt~ is the integral curve of X~, we have, using (11), d
-F(P(tO(tdt
, Pa)) -- F,u X(Uv)(p(t , pa))e(~)
and, omitting the arguments of the right hand side, d2
dt---~F (P(tO(t, Pa)) - Fu~X(p)efu)X~)e(~ ) -+- FuX(p),t~e~toX~)e(~ ). Therefore h'VL;x(.)/2x(.) F -
~
d2
-~F(p(u)(t, Pa)).
#
Set
F(p) -- (qJ o IT)(p) -- qJ(x), and
Flp(u)(t, Pa) = x(u)(t, a); then d2
dt--sF(P(•)(t, Pa))
qJ,pc~2~)2(~u) + qJ,pY(~u) 9
-o"
"g
m
F
since x(~) is a geodesic. At t = ta, i.e., at the base point of the development map,
and
h~Vl2x(~)E.x(.) F ( p a ) -- gpC~ (a)qJ;pc~ (a)"
t
"
.o-
500
SUPPLEMENTS AND ADDITIONAL PROBLEMS
Remark. Much of this problem is inspired by Elworthy's work who generalized equation (9) to a Stratonovich equation dp(t) - X(p (t )) dz(t)
(12)
where z is brownian. He replaced (4) by (9) because brownian paths are defined on Nd. He used (12) to construct diffusions on riemannian manifolds. REFERENCES Lichnerowicz, A., Propagateurs et Commutateurs en Relativitd Gdngrale (IHES publication, 1961). Elworthy, K.D., Stochastic Differential Equations on Manifidd~ (Cambridge University Press, 1982). Cartier, P. and DeWitt-Morette, C., "A new perspective on functional integration", J. Math. Phys. 36 (1995) 2237-1312.
9. THE BERRY AND AHARONOV-ANANDAN PHASES* THE BERRY PHASE
Problem 1: Let x ~-+ H (x) be a smooth mapping from a manifold M into the space of self adjoint linear operators on the Hilbert space 7-/. For each smooth curve C :[0, T] --+ M, let H o C serve as a time dependent Hamiltonian for the Schr6dinger equation on 7-/, i.e., with h scaled to 1
AharonovAnandan phase Berry phase
l"dlOd__t_- H(C(t))Tt(t)'
7t" [0, T] --+ 7-/;
(1)
in physicists notations with h not scaled to 1: d ih dt I~P)- HI,P). a) Show that the time evolution of ~ by (1) preserves its norm in 7-[. We denote by S the subset elements of T-[ whose norm is 1. b) Show that the scalar product (d__~ [~) is pure imaginary. dt
Answer 1. a) Using the properties of the scalar product and (1) we obtain d--~-(1/r[~p)-
~
~
+
~P--~
--i(H1/r[Tr)+i(1/r[HTt)--0
since H is self adjoint. dqJ , d~p b) We have (~--~-~1 7 r ) - (7r[-~) and by the previous answer (-h-/-[Tt)-
(~P [-d-/-)' hence (5~- [~p) is pure imaginary. *Based on notes by All Mostafazadeh.
9. THE BERRY AND AHARONOV-ANANDAN PHASES
501
Problem 2" Suppose that for each point x(t) - C(t) C M the Hamiltonian H, -- H ( C ( t ) )
admits an eigenvalue Et with eigenvector Xt C S, both depending smoothly on t. Show that if
~(t) --eiZ(t)st,
with k(t) e R
(2)
is a solution of the Schri4dinger equation (1), then ~(t) is determined up to an additive constant. Remark: A solution of the form (2) is called an adiabatic evolution of X0.
It will be shown in paragraph 5 that solutions of (1) are not of the form (2), but only approximately so if Ht varies slowly with t.
adiabatic evolution
Answer 2: Inserting (2) in (1) gives i
dX dt
-~(t)Xt - ntxt-
EtXt.
(3)
Scalar product of this equation by Xt implies dX --~ X ) l Et.
~(t) - i
(4)
Hence t
k(t) - - k ( 0 ) - f Er dr + y(t)
(5)
0
where t
y (t) -- i
X r ) dr e R.
(6)
0
Problem 3: The first integral in (5) expresses the phase change of ap by the
dynamical evolution. The second integral y(t) is called the geometrical or Berry phase. Suppose that the properties assumed for the Hamiltonian hold on M; namely for each x e M, H ( x ) admits an eigenvalue E ( x ) with normalized eigenvector X (x), both dependent smoothly on x. a) Show that y(t) can be written as the integral on the curve r ~-+ C(r), r 6 [0, t], of a 1-form A defined on M. Determine its transformation under a phase change in the choice of X (x).
geometrical phase Berry phase
502
holonomy group
SUPPLEMENTS AND ADDITIONAL PROBLEMS
b) Interpret A as the representative on M of a connection in a U (1) principal fiber bundle with base M. Interpret the Berry phase around a closed loop as an element of the holonomy group. Give its expression as a double integral independent of the choice of the phase factor in X (x).
Answer 3: a) Denote by d X the differential of the ~ - v a l u e d function on M, x w-~ X (x). It is an ~ - v a l u e d 1-form and the scalar product A -- (dXIX) is a C valued 1-form on M, in fact pure imaginary valued since (XIX) -= 1. The integrand in (5) is the 1-form induced on C by A. Suppose we replace X ( x ) by . Y ( x ) - ei~~
then
= ( d X l . ~ ) - A + idrp. b) Consider the trivial principal bundle B over M which admits a trivialization q~'B ~ M • U (1). The sections s ' x ~ (x, e i~~ are in bijective correspondence with the choices X ( x ) e i~~ of eigenvectors of 7-/corresponding to the eigenvalue E (x), since X (x) has been assumed given. The transformation law of A is exactly the gauge transformation of a U (1) connection under the corresponding change of sections. A is the representative on M, in the trivialization 4~, of a connection co called the Berry-Simon connection (B.S.); in other words A is the pullback of co by the section canonically associated to the trivialization. Let p(t) be the horizontal lift of x(t), and p(t) = exp(i~p(t)) its map on the typical fiber in the chosen trivialization, then p(t) is obtained by solving the differential equation dx d___p_p= - i a ~ p , dt dt
i.e.
'
d~p dx ~ = ia~. dt dt
(7)
Proof of(7) (cf. exercise Vol. I, p. 366). A connection on a principal bundle P can be defined either by the horizontal lift a p : T x M --+ TxP or by a one form co on the bundle, with values in the Lie algebra L(G) of the structure group, which vanishes on the horizontal subspaces of the bundle. The equation giving the horizontal lift p(t) of a curve x(t) in the base space M is dp =
dt
--d-t'
cr (p) " Tx M ~ Tp P.
(8)
We wish to rewrite it in terms of co, more precisely in terms of the pull back s'co of co on the base space by the section s canonically associated to a trivialization 4~ (Vol. I, p. 363). For 4~"/7 -1 (U) --+ U • G, this section
9. THE BERRY AND AHARONOV-ANANDAN PHASES
503
s : U --+ 17 -1 ( U ) is such that
~b o s : U --+ U x G
by
x ~
(x, e).
(9)
It has been established (Vol. I, p. 366) that at p0, which is mapped into (x, e) by the trivialization 4~: ~b(P0) = (x, e),
(10)
the connection map is, up to a sign, the pull back of co o(p0) = - s ' o ) . N
On the other hand, if p -- Rg PO, with Rg the globally defined right action on P (Vol. I, p. 129), then (p) --. Rg o a (P0)
(11 )
and (8) becomes dp _ dt -
~,
dx
(Sa)
- Rg o (s* co) d----t"
In the trivialization corresponding to s, let p ( t ) - (x (t), p(t)); then, on the typical fibre dp / --d--~--dpp
o ~' o (s'co) dx
~/ d--7---Rp(t)
Rg
o (s'co) dx dx --d-~--(s*co)-d~P(t).
(8b)
Set A - s'co and p ( t ) - e x p ( i ~ 0 ( t ) ) to obtain (7). Integrating (7) we get T
y (T) -- ~0(T) - 99(0) -- i
f
A. ~
at - i
0
e i•
f
A,
C
~ U (1) is the element of the holonomy group of the B.S. connection.
If the loop C bounds a 2-surface S, C -- 0 S, then
A/dA
C
S
Since U(1) is abelian dA is the representative of the curvature F of the connection represented by A. We had A = (dX IX) pure imaginary, hence F -- dA -- (dX.dX)
is pure imaginary,
w h e r e , denotes exterior product in T * M and scalar product in ~ , that is, in coordinates F-
(O~XIOI~X) dx ~ A dx ~.
504
SUPPLEMENTS AND ADDITIONAL PROBLEMS
A straightforward computation shows t h a t - as predicted by the general theory for an abelian group - F is invariant by the change of trivialization corresponding to X (x) ~ e i~~ X (x).
holonomy Berry phase
Problem 4: Use the previous ideas to construct a possibly nontrivial U (1) bundle B over M whose holonomy gives the Berry phase when the eigenvectors X (x) are not defined globally on M, but coherently on the domains Ui, i ~ I, of an open covering of M, that is X(i) is a mapping Ui --+ S C and there exist functions qgi.j : Ui f') U.j ~ ~ such that X(i ) (x) -- e itpi.j(x) X(.j) (x)
with
exp(iqgik (x)) exp (iqgk.j(x)) -- exp (iqgi.j(x)) if x E Ui f~ U.j N Uk.
Answer 4: We define the bundle by the family of trivializations Ui x U (1) with the transition functions exp(i~oij(x)) and the connection 1-form by its representatives A(i) -- (dX(i)lX(i)) in each Ui. By definition the Berry phase around a closed loop is the corresponding element of the holonomy group. Problem 5" Equation (4) is necessary for ei)~(t)Xt to be a solution of (1) when Xt is an eigenvector of Ht for each t; but it is not a sufficient condition. To study the approximate validity of (2) we suppose that Ht admits for each t a complete orthonormal set of eigenvectors Xn,t corresponding to the eigenvalues En (t).
Expand the solution qg(t) of (1) as follows
~(t)-~an(t)exp(-ifEn(r)dr)X~,t. t
n
(12)
0
Use the Schr6dinger and eigenvalue equations to obtain a differential system satisfied by the complex functions an. Show that if for some n
m
adiabatic
(/~/t Xm IXm) 2 << 1, (En - E m ) 2
t ~ [0, T],
the evolution of Xn, 0 can be considered as adiabatic.
(13)
9. THE BERRY AND AHARONOV-ANANDAN PHASES
505
Remark: (13) expresses that Ht varies slowly with t, and no Em(t) is equal to En(t) if m ~ n. Answer 5" Inserting (12) in (1) gives, since Xn, t is an eigenvector of Ht with eigenvalue En (t), (Ctn X n + an f~n ) -- O. n
We expand Xn" f~n ~ Z
ZnmXm'
Znm -- (Xn IXm) ~ C.
m
We take the derivative of the eigenvector equation Ht Xn -- En Xn with respect to t and obtain
tlt X~ + Ht J ( n - E~X~ + E~ X~,
for each n;
therefore
(ISltXnlXm) +
9
m
EmZnm -- En~ n -I- E n z n m
hence for n 5~ m
z(t) _ (tLItXn,tlXm,t) nm -- -~ni--~ ~ -E---mm-(t)" If Z m ( Z n m ) 2 ( ~ 1, Xn is approximately proportional to Xn, therefore the
evolution of Xn,o is approximately adiabatic.
Problem 6" Give an expression of F for the adiabatic evolution of X n in problem 4 in terms of dH, the complete set {Xm(x)}, and Era(x). Answer 6" In F -- (dXnldXn) -- (Oo~Xn[O,sXn)dx~ A dx/~, we write the scalar product as a sum of products of components F - ~_.(ao~XnlXm)(O~X,,IXm)*
dx ~ A
dx~;
m
the term m - n vanishes identically because
(O~Xn IXm)* - -(O[sXn [Xn). By a calculation similar to the one in the previous paragraph, we find F
i
X-" (dHXmlXn) A (dHXnlXm) /__. (En - E m ) 2
m :/=n
506
SUPPLEMENTS AND ADDITIONAL PROBLEMS
THE AHARONOV-ANANDAN PHASE AharonovAnandan phase
Problem 7: We shall consider now the general, nonadiabatic case. Let ~p be the evolution of some arbitrary normalized ~p(0) 6 S C ~ by the Schr6dinger equation with some time dependent self adjoint Hamiltonian Hr. One says that ~p is (T, or) cyclic if there exist T and oe 6 ~ such that
7r(T) -- eia~p(0). A-A (AharonovAnandan)
(14)
The A - A ( A h a r o n o v - A n a n d a n ) phase of 7r is by definition the real number T
+f
~)dt
0
equivalently
f(o ) T
/3-- ot + i
-d--i-, ~
dt.
(15)
0
The formula (15) defines/3 for any (T, or) cyclic mapping ~" [0, T] --+ S. Denote by 79 the space of "rays" in 7-/, i.e., equivalence classes of elements of 7-[ by the equivalence relation h~ch,
c6C-{0},
7-r - {0} projects onto 79 by 17"h ~ {h}, it is a C* = C - {0} fiber bundle with base 79 and fiber 79p ~_ C* at p - {h} the elements of 7 - / - {0} which belong to {h}. a) Show that 79 can be identified with the set of equivalence classes h ~ ch, cyclic
c ~ U(l), h~S
b) Show that fl given by (15) is the same for all cyclic mappings [0, T] --+ S which project on the same closed curve [0, T] --+ 79. Answer 7" a) Any element h 6 7-( - {0} has an equivalent element h/llh[I in S. b) Two normalized mappings ~Pl and ~r 2 project onto the same curve C in 79 if
~2(t) -- e i~~ ~1 (t).
9. THE BERRY AND AHARONOV-ANANDAN PHASES
507
If lpl is cyclic the curve C is closed in 7~. If 7rl is c~l-cyclic, 1/r2 is Ot2 - Otl + ~0(T) - ~p(0) cyclic. Simple computation gives T
f12 -- tY l qt_ cp( T ) - 99(0) + i
\ --~- , 7r l 0
T
)f
dt -
~b(t) dt -- ill. 0
Problem 8" We consider the case where ~ is C N + I , with its canonical scalar product. We have defined in [Problem III 8, examples of homogeneous spaces], the real projective space. The complex projective space CPN, is the space of rays in C u+l and can be defined as the space of equivalence classes of elements in C N+I - {0} under the equivalence relation. z "~ cz,
c ~ C* - C - {0}.
a) Give an atlas o f C PN which endows it with the structure o f a complex holomorphic, manifold. b) Show that C N + I - {0} ~
C P N is a C* principal fiber bundle.
c) Show that the bundle C N + I - {0} -'-+ C P N reduces to a U(1) principal bundle CS u ~ C-,PN, where CS u is the complex N-sphere, ~ N + I ]Zi ]2 _ 1. Show that CS u can be identified with the real sphere S 2N-t-1 . d) Show that the bundle C S N --+ C PN is a 2 N universal (II, p. 337) U (1) bundle. A n s w e r 8" a) Denote by H the projection C N + I -- {0} ---> ~ P N by z ~ p {z, c 6 C*}~ Denote by U~/the open set z i :~ 0 of C u+l - {0}. The N + 1 open sets Ui are a covering of C u+l - {0}, their projections Ui -- H(U~), i -- 1 . . . . . N + 1, are an open covering of CPN. Suppose p E Ui. Let z E H -1 (p), then (Z il /Z i
ooo~
Z iN / z i)
with (il,
,oo~
i
~
~
iN) -- (1
~
~176
N + 1)
is an element of C u independent of the choice of z in H - l ( p ) . We choose these numbers y J - z ' j / z ' as coordinates of p in Ui. The mapping ~bl "p ~ y is bijective from Ui onto C N, as can be seen by choosing in each 17 -1- (p), p 6 Ui, the element z such that z i a i some fixed element of C*. The mapping ~b2 o t ~ l l "~1 (U1 f-) 0 2 ) --+ ~bz(Ul O O2) is the -
-
complex holomorphic manifold principal fiber bundle
CPN
universal bundle
508
SUPPLEMENTS AND ADDITIONAL PROBLEMS
map between open sets of C N where z 1 =~=0 and Z2 =760 given by ( Yl) ~ . . . . ,Y ~1) ) ~
( Y(2) 1 . . . . ,Y(2) N)
with 1 __ (Y~I))-I , Y(2) 2 __ (Y~I))-lygl ) , " " Y(2)
This is a holomorphic mapping
since Y~l)#
N __ ( Y ~ I)) - l y ~ I ) 9 ' Y(2)
0 in U 1 0 U2.
b) C N+I - {0} --> CPN is a C* principal fiber bundle, because it can be defined by the family of trivializations. UA/- zr -1 (Ui) -+ (Ui, C*) by z w, (p, zi). The transition function Ui t~ Uj -+ C is p ~-+ z i / z j. The commutative group C* acts on the fiber F/-l (p) by z~-+ cz. c) The intersections of CS N with the open sets Ui are an open covering of CS N, which project onto the covering Ui, i - 1, . . . , N + 1, b y / 7 since in every f i b e r / 7 - l ( p ) of C N+I - {0} there is an element with norm 1. Zi The trivializations are now Ui I~s -~ (Ui, U (l)) by z w-> (p, ~ ) , since the z--~-~take their values in U ( l ) . The same holds for the transition functions Iz'l z~ IzYl which give therefore to CS N the structure of a U ( I ) bundle over z-J zi ' CPN. Let z i -- z i + iy i, with x i and yi real numbers, CS N is given by N+I i=1
N+I [zi12 ~ Z ( Ixi 12 + lyi 12) -- 1, i=1
therefore c a N can be identified with S 2N+I d) The homotopy groups zrk, k < 2N, of S 2/~+1 are zero (II, p. 43). Problem 9" Consider the 1 -form defined on c a N by the pull back through the embedding c a u ~ C u + l o f the l-form coz -- (zl'), z 6 C N+I. Show that this 1-form, also denoted ~o, is a connection 1-form on the U (1) principal bundle CS N --> C p N. A n s w e r 9" The analytic l-form on C S N given by coz at the point z ~ C S N is a connection l-form because (cf. p. 361)" 1. It takes its values in the Lie algebra i[R of U ( I ) because v E TzCS N implies (z, v) imaginary. 2. It is invariant under the action of U (1) (an abelian group) since COcz(CV) - (cz, cv) -- (z, v)
if I c l - 1.
9. THE BERRY AND AHARONOV-ANANDAN PHASES
509
3. If u ~ TzCS N is tangent to the fiber Vz, there is a curve t w-~ C(t) e i~~ such that dC dt
-= igb(O)z t=0
therefore COz(U) -- (z, u) -- (z, igb(O)z) -- igb(O)(z, z) -- igb(O) ~ i~.
igb(0) is the Lie algebra element t~ canonically associated with the vertical vector u. The horizontal subspace of co at z is orthogonal to z.
~ CS N
is defined by
OOz(UH) - - O,
i.e.,
Problem 10" Let V'[0, T] w-~ C PN by t w-> p(t) be a closed loop in C PN determined by the projection on C PN of a cyclic mapping t w-> go(t) ~ CS u. a) Determine the element o f the holonomy group o f the connection co on the U (1) bundle CS u --+ C PN which is determined by this loop. b) Show that it coincides with the A - A phase o f the mapping 7/. Answer 10" a) The parallel transport of a point q ~ ~ S N along y is defined by the solution of the differential equation
dq dv dt -- O-q--dT'
q (0) - ~ (0),
(16)
where aq is the linear mapping Tp(CPN) ---->Tq(CSN) determined by the connection 1-form. In answer 3b, we have rewritten (16) in terms of the pull back of the connection 1-form, and obtained the corresponding equation in a trivia|ization. Suppose the loop V lies in a coordinate patch of CPN, for instance Ux+l, that is the mapping ~ defining that loop takes its values in U N + I [-/-I(UN+I) , i.e., ~N+l(t) 7~0, t ~ [0, T]. Let ~b be the trivialization of CS u over UN+I given by 4~" UAN+I --+ zN+I
(UN+I, U(1)) by z w-~ (p, iziU+~). Consider the canonical section s ' p w+ (p, 1). The mapping az, z ~ CS N, is given by TpCPN --+ TzCS u by u (u, -(s*rO)p(U)). Equation (1) reads then (cf. 8b), with q~(z) - (p, e k~
i d--~- -t- (s*co)•
~
- O.
510
SUPPLEMENTS AND ADDITIONAL PROBLEMS
Therefore we have by integration a curve C ' [ t l , t2] --+ C(t) 6 UN+ 1 r (t2) - r
+ i
f s,~ C
Since s is a diffeomorphism between UN+ 1 and S(UN+I) C C S N the above formula can be written r
- r
+ i
f
(17)
6O.
t/
s(c)
b) If C is the closed loop y in C PN defined by the projection of the orcyclic mapping 7r, then s ( y ) is a closed loop in CS u defined by a mapping ]r with the same projection and such that ~r u + l / ] ~ l N+l - 1, hence -
-
(,))-'
(,)1.
The formula (17) reads therefore
f(d6 ) T
r
-- r
+i
-d-t- ~r(t)
,
0 T
r
- r
+i
f(d
i --~ 0 ( t )
0
)
dt - ~.(T) + ,k(0)
if 7r is ot cyclic we have k(T) - k(O) -- -or. The element ei'p(0)e -i~~ of U (1) (i.e., of the holonomy group) associated to the parallel transport along 9/is therefore the number/3 associated to 7r defined in problem 8. If the closed loop y is not included in one coordinate patch of C PN, we split it into arcs included into such patches and use the transition function to obtain the formula (17) for the element of the holonomy group associated to y. Problem 1 l" Indicate how the results of paragraphs 9 and l0 extend to the case where 7-[ is a separable Hilbert space.
9. THE BERRY AND AHARONOV-ANANDAN PHASES
511
Answer 11" A separable Hilbert space is isomorphic to the space l 2 of sequences of complex numbers {zi}, i 6 N, such t h a t E i ~ l ]zil 2 is bounded. The scalar product of z l, Z2 E ~ is (Zl IZ2) - - E i =. Ic x ~~IZ2 i i The sphere S in the subspace of 7-/of sequences {z i} such t h a t ZiC~=l Izil 2 - 1. The previous reasonings apply, with a covering of 7-[ being defined by the open sets Z i =~O,i E N . Problem 12: Let M be a smooth manifold as in the beginning of this problem, but we are only given for each x E M a 1-dimensional equivalence class p ( x ) of vectors in S, namely we are given a smooth mapping Y : M ~ 79. Denote by B := Y*S the bundle obtained by pulling back S by Y (p. 336). (B is a U ( 1 ) ) b u n d l e with base M. Y is its "classifying map".) Show that the Berry-Simon connection on B is the pull back of the A.A. connection on S. Answer 12: L e t / 7 : S --+ 79 be the projection of S onto its base 79. The bundle B is obtained by identification with the subset of 79 {17-1(y(x)), x E M}. Its base is M, its fiber at x is I T - l ( y ( x ) ) , isomorphic to U(1), its transition functions are obtained from the transition functions of S --+ 79. An equivalent definition is that the right action of U (1) on the fibers is the same in S --+ 79 and B --+ M. If Ui is an open set of 7-9 over which S is trivial, then Ui - - y - 1 ( U i ) is an open set of M over which B is trivial. The mapping ~'/-/M 1(ui) --+ 17 -1 (Ui) is given in these trivializations by Y - (Y, Id), its derivatives is (Y', Id). A section of B an open set U i C M is determined by a mapping s : x ~-+ X(i)(x) E 1 7 - 1 ( Y ( x ) ) C S. Straightforward computations show that the pull back by s of the pull back by Y of the A.A. form on S is the 1-form on u i given by (a(i))x(V) -- (s*~'* CO)x(v) -- W(~os)(x) (~"s'v) -- (dX(i)(x)vIX(i ) (x)). Therefore
A(i)
is the representative of the B.S. 1-form in ui.
REFERENCES [ 1] T. Kato, "On the adiabatic theorem of quantum Mechanics", J. Phys. Soc. Japan 5 (1950) 435-439. [2] M.V. Berry, "Quantal phase factors accompanying adiabatic changes", Proc. Roy. Soc. London, Ser A 392 (1984) 45. [3] B. Simon, "Holonomy, the quantum adiabatic theorem, and Berry's phase", Phys. Rev. Lett. 24 (1983) 2167-2170. [4] Y. Aharonov and J. Anandan, "Phase change during a cyclic quantum evolution", Phys. Rev. Lett. 58 (1987) 1593-1596.
Berry-Simon connection
SUPPLEMENTS AND ADDITIONAL PROBLEMS
512
[5] A. Bohm, L.J. Boya, A. Mostafazadeh and J. Rudolph, "Classification theorem for principal fibre bundles, Berry's phase, and exact cyclic evolution", J. Geometry and Phys. 12 (1993) 13-28; A. Mostafazadeh and A. Bohm, "Topological aspects of the non-adiabatic Berry phase", J. Phys. A: Math. Gen. 26 (1993) 5473-5479. [6] For a review article and applications to chemistry see: C.A. Mead, "The geometric phase in molecular systems", Rev. Mod. Phys. 64 (1992) 51-87.
10. A DENSITY THEOREM A Suplement to Problem VI.6 (pp. 393-396) Show that 79(~ n) =- C ~ ( ~ n) is dense in Hs,~([Rn). Hs.S(~ n)
Answer: We use the notations of Vol. II, problem VI 6, p. 393. We consider a truncating sequence "it"u ( g o l . I, p. 434) defined by the composition of a function rl of one variable and a sequence YN of functions on urn; namely we set Z"N - - Z"1 o Y N ,
where rl ~ C ~ ( ~ ) , i.e. rl is a C ~ function on [R with compact support. We choose it such that rl(y)-I
ify
rl(y)-Oify>2.
We take YN
--
N -I logo',
o'(x) --= (1 + Ix12) 1/2,
x ~ urn.
Z"N is then in C ~ ( ~ n) with rU(X) -- 1 if log~r(x) < N, r U ( X ) - 0 if logcr(x) > 2N. The family of functions rN is uniformly bounded on ~n. We have OrN
0rl
Ox i
Oy Ox i
1 X i 0r 1 Nor a Oy
OyN
i~rN Therefore the family cr Ii~x--7] is uniformly bounded on urn. An analogous proof shows that each cr ~ ID ~ rNI is uniformly bounded on [Rn. Let f 6 Hs,~. Then r u f -- fN ~ Hs,s and has compact support. We have
I I / - fu IIH,,,- IIs('-
Ef <,.,
Of
I
t'[R n
The previous results show that fN converges to f in Hs,~ norm. The proof of the density of C ~ (JRn) is completed by regularization (Vol. I, p. 433).
I I. T E N S O R D I S T R I B U T I O N S ON S U B M A N I F O L D S
513
Remark: The theorem would not in general hold for spaces with other types of weights on the successive derivatives.
11. TENSOR DISTRIBUTIONS ON SUBMANIFOLDS, MULTIPLE LAYERS AND SHOCKS
We have defined in volume I, p. 480-482, distributions on a paracompact C ~ differentiable manifold V:the space 79~(V) of distributions on V is the topological dual of D ( V ) , space of C ~ functions on V with compact support, with topology the inductive limit of the family of Frechet topologies; namely each topology is defined on a compact set K of V by the family of semi norms PKi,m(qg) =- SUPx~Ki ]Dmqgi(x)], Ki -- u i ( K n U i ) with (Ui, ui) the coordinate charts of a locally finite atlas of V, 9i the representative of ~o ~ D ( V ) in this chart and D m a partial derivative of order m. If f ~ D'(V), then
f'D(V)
--+ ~
by ~0 w-~ (f, qg).
Let ~ be a given volume element on V (odd form, cf. Vol. I, p. 212, and more elaboration on integrals on non orientable manifolds in De Rham, 1955). We define the representative of f ~ 7T(V) in the chart (Ui, ui) of V as the distribution fi on the open set of ~d given by
where (., .)~d denotes the usual duality between 79'(~d) and D(~d); obtained from the representative rli of/7 in Ui by the equation 17i =- P i dx o dx 1
. o o
dx n
~
Pi
is
d - n+ 1
1. a) Show that the representatives in the intersection Ui n Uj of two overlapping charts (Ui, ui) and (Uj, u.j) are linked in Ui n Uj by the classical formula, where 7r ~ 79($72), $2 -- bti(U i n Uj) D(xi)
D(xj)
)
1/r o Ui o U.j 1
. Rd
b) Show that the representatives of partial derivatives obey the usual law of change of variables.
tensor distributions space of distributions
514
SUPPLEMENTS AND ADDITIONAL PROBLEMS
Answer 1: a) By the definition of a representative
If/, ~)~d ~ (S, (p~l
~ ) o Ui) ~ ( f j , p.j(pF 1~ ) o U i o
..71).
The given formula is then a consequence of the transformation law of a volume element. b) This property can be proved using the transformation law given above (cf. Vol. I, p. 456). Distributionvalued tensors
Schwartz topology covariant distributionvalued tensors
2) Distribution-valued tensors on a C c~, paracompact d-dimensional manifold V have been defined (Vol. I, p. 482). The notion of C ~ tensor fields can be defined without introduction of a connection on V. Given a locally finite atlas on V, we can endow the space of C ~ tensors of some given type which have compact support on V with an inductive limit of Fr6chet topologies (analogous to the one previously given to D(V)), called a Schwartz topology. Let Dp be the space of p-contravariant such tensors, with a Schwartz topology. The space of *~ is the dual of D p We note, p-eovariant distribution-valued tensors, 79p, i f T E79p. T :Dp --+ ~
by q) w-~ (T, qg).
a) Let 79p be the space of C ~ p-contravariant tensor fields on V with compact support endowed with its Schwartz topology, show that a linear mapping T : Dp --+ ~
by r w-~ (T, r),
is continuous if and only for each r whitch support in the domain (Ui, ui) o f an admissible chart and each partial derivative operator D m and each component ral'"ap there exists a constant C such that
](Z, r)l <_ C suP
x~Ui
Answer 2a: Analogous to the one given in Vol. I, p. 436.
b) Given on V a C ~ volume element rl and an ordinary locally integrable tensor T identify it with a distribution-valued tensor Answer 2b: We set, the integrand being an integrable function on V since T is locally integrable and r is smooth with compact support
(T, r) -- f T.r q-- f V
V
O.
(1)
11. TENSOR DISTRIBUTIONS ON S U B M A N I F O L D S
515
In a coordinate chart we have /7 -- p dx ~ d x The components
I ...
Toll...oQ,, locally
dx n,
n + 1 - d.
(2)
integrable functions in the image of the
chart in Rd, are the representatives in [R~ of generalized functions in the domain of the chart in V, for which we use the same notation. 3a) Let T be a distribution valued p-covariant tensor and let eo . . . . . en be a basis o f vector fields in an open set U o f V. Define the components o f T in this basis as distributions on U. I f (U, u) is a chart, define the representatives o f these components, given a volume element 17. b) Define the partial derivatives o f the components o f T in a chart. c) Suppose that V is endowed with a C ~ linear connection which leaves invariant the volume element 17 and has f o r representative the set o f C c~ functions F}u in a coordinate chart. Define the covariant derivative o f the generalized tensor T by its components in coordinate charts.
A n s w e r 3a): Let 99 ~ D ( U ) be a C ~ function with compact support in U. We define Tu~...Up E D ' ( U ) by (Tul...u v, g)) =_ (T, ~0eu1 |
| euI, ),
99 6 79(U).
It follows from the linearity and multiplication law of a distribution by a C ~ function that the components of T transform as the components of a p-covariant tensor by change of basis. If U is the domain of a chart the representatives of the components of T are distributions on an open set of ~". We use the same notation for a distribution on U and its representative on u (U); we have then the relation --
p
o)R,,
where on the left 99 denotes a C ~ function on V with support in U, and on the right its representative in the chart. The definition agrees with the usual one when T is a locally integrable t e n s o r . b) To have a definition which coincides with the usual one when T is C l we define the partial derivative O~ Tul...u p in a coordinate chart as the distribution on U such that
{ae
-
p-I ae (p o) }.
c) The covariant derivative V T is the p + 1 tensor with components the distributions V/3 To,l...,~p = 0~ T~ l...o,p
-
Tx 2 ...,,,,
13u p Tu l ...Up- l X 9
516
SUPPLEMENTS AND ADDITIONAL PROBLEMS
It follows from the transformation laws of volume elements and linear connections that these quantities obey the transformation law of a p + 1 covariant tensor by change of coordinates. The distribution-valued tensor V T, thus defined is such that, if r ~ Dp (VT, r) = - ( T , V.r),
with ( V . z ' ) c~l'''c~p ~ V/jr fl~176
If the manifold V is endowed with a pseudo riemannian metric with r/its volume element and F its riemannian connection we find the definition of Vol. I, p. 483.
multiple layers
Leray form
4. Particularly useful in applications are some tensor distributions with support an n-dimensional submanifold Z of V, called multiple layers. We suppose now that V is oriented and that Z is defined by an equation f = 0, with f : V --+ R a smooth function with non vanishing gradient. We suppose there exists an open neighbourhood .f2 of Z in V, divided in disjoint open sets Y2+ = {x ~ Y2, f (x) > 0}, Y2_ _= {x ~ Y2, f (x) < 0}. We orient N by setting N = 0S2_. We recall (Vol. I, p. 439) that a L e r a y form relative to Z is an n-form o9 such that
d f Aw=--tl Dirac measure
while the Dirar m e a s u r e 6E is the distribution of order zero (measure) with support E defined by (~:v, ~0) - f ~o~o. q/
E
The measure 6~7 depends through to on the choice of f . Since f has nonvanishing gradient we can choose charts on .f2 such that, in local coordinates, f ( x ) = x ~ and to ~_ p d x
I A ...
A d x n.
a) Show the following formulae
VY+=-VY_
=s
e = v f,
where Y+ [resp. Y_] is the locally integrable function equal to 1 in S2+ [resp. $2_] and to 0 in .(2_ [resp. Y2+]. !
b) Show there is a distribution of order 1 with support Z, called 6~:, such
that V 6 z -- s
517
l 1. TENSOR DISTRIBUTIONS ON SUBMANIFOLDS
A n s w e r 4a: Let r 6 "D1, then
o,o -f 0 S-2+
0 S2_
The result follows from the multiplication law of C ~ functions and distributions. A n s w e r 4b: Let r 6 791, then
(V~z, r ) - - ( ~ , V . r ) - - f
V~r~co. S
Choose local coordinates such that f ( x ) =_ x ~ Then X 1, . . . , X n are local coordinates on ~' and, if r has compact support in the chart,
f v~r~co-f O~(pr~)dxl...dx'-f Oo(pr~ Z7
xO=0
dx n .
x0=0
In the chosen coordinates we have therefore V i 6 Z" - - 0 and we set 8'Z - --V06~. Hence in these coordinates VaE - ~6~. This tensorial expression is valid in all coordinates, with 8 IZ the distribution of order 1 defined above in particular coordinates. 5. A tensor T is said to be regularly C k d i s c o n t i n u o u s across ,V if 1) T is C ~ in $2+ and S2_. 2) T, VT, . . . , V ~T converge uniformly to tensors denoted T+, ( V T ) + , . . . . (V~T)+ when x ~ $2+ tends to a point of Z7 [resp. T_, ( V T ) _ , . . . . (V~T)_ when x ~ S2_ tends to Z]. To T, . . . , V ~ T, locally integrable tensors in I2+ U S2_ are associated tensor distributions in $2. On the other hand the following ordinary tensors are defined and continuous on ZT: [T] =_ T+ - T_ . . . . .
[V ~ T] =-- (V k T)+ - (V k T ) _ .
and such that [T]al...a p --- [Totl...ap], with an analogous property for the derivatives. a) Define [T]3z: . . . . . [V~T]SE as g e n e r a l i z e d tensors o f order 0 (measures) with s u p p o r t Z .
discontinuous tensor
518
sUPPLEMENTS AND ADDITIONAL PROBLEMS
b) S h o w there exists a t e n s o r distribution t o f o r d e r 1 with s u p p o r t Z such that -[VT]
z
--
et.
c) S h o w there exists a t e n s o r distribution v o f o r d e r 2 such that V(s | t) + s | Vt + s | 1 6 3| v_= [VVT]Sz. A n s w e r 5a: These measures are defined by
([V ~ T]8,r,, q g ) - i [Vk T].~o~o,
q9 e Dp+~ if T is p-covariant.
E
A n s w e r 5b: By the definitions the components of V([T]6x) are such that
E
Hence in adapted coordinates, using integration by parts a;
=
from which results V i ( [ T ] 6 z ) u i . . . u F = [Vi Tui...u,,]6 z
and the announced tensorial relation where t is the tensor with components in adapted coordinates such that (t~,~...~p, r
-
f
{[T~,...~p]Oo(p~o) - [VoT~,...~,,,]p~o} dx I ... d x " .
x0--0
A n s w e r 5c" Analogous to the previous one. R e m a r k : If T is continuous across Z and VT regularly discontinuous then Hadamard relation
(Hadamard relation)
[VT]6x -- s | t, where t is a tensor valued measure with support Z' and components in adapted coordinates given by t~ ~...~ p = - [Vo T~ ~.. .~ ,, ] S z .
shock equations
6. The shock equations in mechanics can be obtained by looking for dis-
11. TENSOR DISTRIBUTIONS ON SUBMANIFOLDS
519
tribution solutions which are regularly discontinuous tensors across a 3 dimensional submanifold 27 of the 4 dimensional space time. Consider for example the case of a perfect relativistic fluid. The dynamical equations are conservation laws Vc~T at; -- 0 for the stress energy tensor
T ~ =- (r + p)u~ul~ + p g ~
stress energy tensor
r, p specific energy density and pressure, u unit 4-velocity, g space time metric. We say that the fluid undergoes a shock across 27 if T and V T are regularly discontinuous across I7.
Determine the equations satisfied by the stress energy tensor of a fluid which undergoes a shock across ~ .
shock
Answer 6: If T and VT are regularly discontinuous across Z: the derivative of the tensor distribution T is given by: =
+
where Vc,{T ~ } denotes the locally integrable function in 1"2 equal to V~ T ~/~ in S2+ and in S2_. The sum of a locally integrable tensor and a measure with support I7 is zero if and only if both are zero. The equation V~ T c'/~ = 0 is therefore equivalent to the equations V~{T ~/~} and
g~[T~t~]--O,
they are the R a n k i n e Hugoniot equations.
7. Study gravitational shocks as a consequence of Einstein equations in vacuum (cf Problem 11, chapter 6), supposing that the physical metric g is continuous while its partial derivatives are C 2 regularly discontinuous across Z . Answer 7: In order to have covariant formulas we endow the space time V with a given C ~ metric e (which can be the euclidean metric if permitted by the topology of V) and denote by 0 the covariant differentiation in the metric e. The equations satisfied in a generalized sense are Einstein equations in vacuo which read, with H depending smoothly on its arguments 2 R ~ =_ 1 i g ~ O~g~ u + OkF~ + Ou Fx + H~, (g, Og) --O,
F ~ = gC,~(V~/~ - E~r
E~/~ Christoffel symbols of e.
Rankine Hugoniot equations gravitational shocks
SUPPLEMENTS AND ADDITIONAL PROBLEMS
520
( F ~ -- 0 are the generalized harmonicity conditions.) The results of 4 show on, the one hand, that there exists a symmetric space time 2-tensor y defined and continuous on Z' such that
[O~g)~u] = g.I~V)~u; on the other hand they give the formulae 2
2
Ooq3g)~u -- Oo4~{g)~u } + g.ot,e..l~y x u 6 z , 0zF u = 0 x { F u} + e)~[Fu]6z, + e)~[Fu]-I-
Rx. -- {R)~.)--I-
eu[Fxl) x.
The sum of a locally integrable function on V and a measure with support Z' is zero if and only if both are zero. The measure with support Z' in the above equation is zero if and only if the coefficient of 6z is zero. We consider two cases: 1) o on Z , then gxu - (ex[Fu] + gu[Fxl)( 89176 -1 such a discontinuity in Og across Z' is not considered as significant because it can be destroyed by a C ~ regularly C l discontinuous across Z', change of coordinates. 2) gC~/~g~g/~ = 0, then ~ is a null vector in the physical metric. In this case the Einstein equations reduce to {Rxu}-0 Rankine Hugoniot equations
and
[Fx]--0.
The second set of conditions, which are independent of the choice of the background metric e, are the gravitational Rankine Hugoniot equations. They read, using the expressions of F and [0g], setting e~ = g~t,gr e ~0c~/~ -- 0,
with
O~l~ - - Y~l~ -
I
got~ gZU Y x # .
An extension of the given method permits a study of the propagation of gravitational shocks (see Lichnerowicz, 1973) analogous to those obtained for high frequency waves (Choquet-Bruhat, 1969). REFERENCES Choquet(Four~s)-Bruhat, Y., "Distributions sur les multiplicit6s", C.R.A.S. 236 (1953). De Rham, G., Varidtds Differentiables (Hermann, 1955). Lichnerowicz, A., "Propagateurs et commutateurs en relativit6 g6n6rale", Publications de I'I.H.E.S. n ~ 10 (1961). Pichon, G., Etude des fluides relativistes visqueux et chargds, Th~se (Paris, 1964). Choquet-Bruhat, Y., "Espaces temps g6n6raux, chocs gravitationnels", Ann. Inst. Poincar6 8 (4) (1968) 327-338. Choquet-Bruhat, Y., "Construction de solutions radiatives approach6es des 6quations d'Einstein", Comm. Math. Phys. 12 (1969) 16-35.
12. DISCRETE BOLTZMANN EQUATION
521
Lichnerowicz, A., "Ondes de choc gravitationnelles et 61ectromagnEtiques", Comptes Rend. Acad. Sci. 276 (1973) 1385. Choquet-Bruhat, Y., "Distributions on manifolds, applications to shocks and discrete models", in: GeneralizedFunctionsand Applications,Ed. R.S. Patak (Plenum Press, 1993).
12. DISCRETE BOLTZMANN EQUATION We recall that the usual B o l t z m a n n equation on a pseudo riemannian man-
ifold (V, g) reads
Boltzmann equation
E f =_ p C~ Of pa Of Ox----S + Op~ = Z ( f ) where x a, pC~ are local coordinates in the tangent bundle T(V) to V, representing position and 4-momentum of particles; f is the distribution function of particles on T(V); (p, P) is the tangent vector to the trajectories of particles in the phase space T (V) between collisions: the operator 12 is the Lie derivative along such a free trajectory, E f = 0 expresses the conservation of f in the absence of collisions. The term Z ( f ) expresses the loss and gain of particles with momentum p undergoing collisions at the point x. If no other field is present the particles follow between collisions geodesics of the metric g. In the general case we have:
Pa =_-F~.p,~p. + Qa where Q represents the non gravitational force fields. If Q results from an electromagnetic field represented by an exterior 2-form F, then Q~ = eF~ p~,
e the charge of the particles.
In a collisionless model Z ( f ) = O, the equation is called the Vlasov equation. Suppose that the momenta of the particles can take only a finite number of values, depending on the point of V where the particle is located, take a distribution generalized function of the form
N f (x, p) = ~
aI(X)6Bt(x)(P).
I=l
Where ai is a smooth function and BI a smooth vector field on V while 6B~(x)(P) is the measure on T(V) defined by (Vol. I. p. 430)
(~BI(x)(P), q)(X, p ) ) - f (tg(X, BI(X)) r], v
q) E "D(T(V)),
Vlasov equation
SUPPLEMENTS AND ADDITIONAL PROBLEMS
522
with in local coordinates r / = p dx ~ . . . dx n, with p -- [det g[1/2 w h e n V is endowed with a pseudo-riemannian metric g. Note that the volume element of T ( V ) is then p 2 d x O . . , dx ndpo ... dpn. 1) Compute the partial derivatives of the generalized functions (~BI on
T(V). ~Qa
2) Suppose that Q is such that ~
- 0 (show that such is the case if Q is the Lorentz force of an electromagnetic field). Write the system of partial differential equations satisfied by a l and B I when f satisfies the Vlasov equation in a generalized sense: the system is called a discrete Vlasov equation. 3) Propose a model for a discrete Boltzmann equation.
Answer 1" Let q9 be a C cr function with compact support on T(V). The partial derivatives of 6B~ are such that (we suppress the explicit dependence of 6B~ on x and p to shorten the writing, but keep it in ~0 to make the proof more transparent)
0
-- --(SBt, P
-2 0(,02~ (x' P)) \.
/
Op~
Hence, since p does not depend on p"
( OP~ 6B,, (x , p))__ f
V
We use the property p-1 0
{ a (x, p) OP~
o,
~ p - F~x, together with the identity
ax0 (x, B1(x))
P)}
p=Bt(x)
OXa
-~p-[3
p=BI
the definition of 6B~ and the compactness of the support of q9 to obtain
Ox~
Ox~ Opl~"
12. DISCRETE BOLTZMANN EQUATION
523
Answer 2: Straightforward computation leads then to the following formula
0 pa ~ 6 e i
=
(
+ (Qa
V B; +
3p ~
)
pX ptZ 3p ~
If Q is an electromagnetic force then QC~ _ eFffp~ , hence ;~ QO~= 0. The Op~ Vlasov equation is satisfied in a generalized sense if and only if all independent measures and doublets on the left hand side vanish. This fact leads to the equations, written when ~ - 0 " B~I V/3B~ - {QU}p=BI - - 0 , V 3(aIB~l) -- O,
I -- 1 . . . . , N,
I -- 1 , . . . , U.
3) A natural model for a discrete Boltzmann equation is obtained by replacing in the usual Boltzmann equation the collision term I ( f ) by a sum of measures" N
Z ( f ) =- ~
ZI 8B,
I=1
where ZI represents the balance of loss and gain of particles with BI momentum at the point x. For binary collisions ZI is of the form It=
~
{ o K L a K a L - - O ' KI JL a , a j }
J,K,L
where the a KL are given positive functions on V. The equations are B~IV3B,ot - {Qa
V/~ ( a / B ~ ) - - Z I ,
} p=BI
-- O,
I -- 1,
" " "
, N,
I - - 1 . . . . . U.
4a) Consider the metric and the external force Q as given. Show that the system of equations is a nonlinear, causal, Leray hyperbolic first order system, when the B I are time like or null. b) Study the case where the metric is considered as a field variable satisfying Einstein equations whose source is the stress energy tensor generated by the distribution generalized function f , while Q is the Lorentz force
Leray hyperbolic first order
524
SUPPLEMENTS AND ADDITIONAL PROBLEMS
corresponding to an electromagnetic field generated by f when particles have an electric charge e.
Leray weights
Answer 4" a) Give to the equations (1), (2) and to the unknown BI, ai the Leray weights (problem 7, Chapter V, p. 255)
m(1)-l,
Leray criteria
m(2)-0
a l Blot B I [~, I
causal system Gevrey class
n(Bi)--2, n(ai)--l.
The characteristic matrix is then a diagonal matrix with elements the hyperbolic polynomials (of degree 1) B~ Xc~. If the vectors B I are time like or null, the cones (half spaces) B~ X~ < 0 have a non empty intersection, which contains the interior of the future light cone. The Leray criteria for a strictly and causal hyperbolic system are satisfied. b) The stress energy tensor and electric current generated by f are respectively the tensor and the vector on V given by Totl~ -- Z
Leray weights
and
Jot - - ~
e a l Blot. l
Consider the Einstein equations in harmonic gauge (problem 11, chapter VI, p. 405) and Maxwell equations in Lorentz gauge (p. 337). There are no Leray weights which make the characteristic matrix diagonal with elements hyperbolic polynomials, except when the space-time is 2-dimensional. The characteristic determinants is a product of terms B~ Xot and got/~XotXr the system is causal and non strictly hyperbolic in the sense of Leray-Ohya, the Cauchy problem for such systems is well posed in a Gevrey class (cf. Leray-Ohya, 1967). REFERENCES Pichon, G. et Huyn-Servet, M., "Distribution de Boltzmann discr6te sur un fibr6 tangent", J. Math. pures et appliqu6es (1992). Choquet-Bruhat, Y. and Pi,chon, G., "Plasmas with discrete velocities", in: Discrete Models in Fluid Dynamics, Ed. A. Alves (World Scientific, 1991). Leray, J. et Ohya, Y., "Syst6mes non lin6aires hyperboliques non stricts", Math. Ann. (70) (1967) 167205.
INDEX A A-valued connections, 122 A-valued covariant vectors, 122 A-valued metrics, 122, 125 A-valued spinors, 122 A-valued tangent vectors, 124 abelian representations of nonabelian groups, 110 abelianization, 111 abstract simplex, 138 abstract simplicial complex, 138 adiabatic evolution, 501,504 adjoint, 47 adjoint representation, 365 Adler-Kostant-Symes theorem, 219, 229-231 Aharonov-Anandan phase, 500, 506 almost complex, 294 almost K~ihler, 299 analytic diffeomorphism, 241 anomalies, 349, 361 antihomomorphisms of a Lie algebra, 102 Arnold's theorem, 219 associated polyhedron, 128 Atiyah-Singer index theorem, 321 (auto-) B~cklund transformation, 179
bundle homomorphism, 335 bundle reduction, 310 C Calabi-Yau spaces, 294 Campbell-Hausdorff expansion formula, 354 canonical commutation relations, 167 canonical Poisson structure, 217 canonical spin structure, 154 Cartan-Killing form, 93 Casimir functions, 185, 186, 213 Cauchy problem, 275 causal system, 524 Cayley inner product, 265 Cayley norm, 265 Cayley numbers, 264 (~ech homology, 138 central extension of a group, 166 central extension of a Lie algebra, 354 characteristic classes, 321,339 characteristic matrix, 254 characteristic space, 192 characters, 114 charge conjugation, 27, 30 Chern-Simons classes, 340, 342 Chern-Simons form, 346 classifying maps, 337 Clifford algebra as a coset of the tensor algebra, 14 Clifford algebras, 6 Clifford group, 18, 22 closed operator, 48 coadjoint orbits, 218 coadjoint orbits in G, 207 coadjoint representation, 365 coboundary, 131, 159 coboundary operator, 159, 168,364 cochain, 158 cochains on G, 168 cocycle, 132, 159, 187 cocycle condition, 161, 162 cocycles on the Lie algebra of a gauge group, 349 coframe, 289 cohomology, 127, 132 cohomology group of G with values in an abelian group, 159 cohomology of groups, 158 cohomology of Lie algebras, 167 commutant, 114 commutator subgroup, 110 compact spaces, 39 compactness in weak star topology, 40 completely integrable, 192, 288 completely integrable systems, 219
B
B-valued covariant vector, 125 B-valued metric g, 125 back face, 132, 134 B~icklund transformations, 178, 183 B~icklund transformations for evolution equations, 181 ball of Wst' in W~(~_I,398 Berezin integral, 57 Berezin integration, 57 Berezinian, 4 Berry phase, 500, 501,504 Berry-Simon connection, 511 Betti numbers, 321,324-326 Bianchi identity, 340 Bianchi-Lie transformation, 183 Bochner, 482 Bockstein map, 149 body, 2 Boltzman equation, 521 Bonnet equation, 183 bound states, 425 boundary, 129, 138 boundary of a chain, 129 boundary of a simplex, 128 broken symmetry, 310 BRST operator, 363 bundle classification, 335 525
526 completeness, 398 complex, 128 complex holomorphic manifold, 507 complex manifold, 295 composition of maps, 281 composition theorem, 387, 431 cone property, 379 conformal system for Einstein equations, 249 conformal transformation, 244 conformal transformation of nonlinear wave equations, 256 conjugate ghost field operator, 370 connections on a Spin bundle, 156 conserved current, 69 constant cocycle, 133 continuous spectrum, 48 contractible maps, 44 contractible to a point, 337 cosimplex cochain, 131 cospinor, 36, 135 cotangent vector, 124 covariant codifferential, 253 covariant derivative, 515 covariant distribution-valued tensor, 514 C-. P N , 507 critical point, 278 cup product, 132 current algebra, 350 curvature integral, 332 C.W. complexes, 158 cycles, 129 cyclic, 506 D
de Rham theorem, 321 degree of a Pin group element, 146 density theorem, 430 DeWitt algebra, 1, 119 differentiable submanifolds, 91 differential, 275 differential equations as exterior differential system, 173 dimension of a complex, 128 dimension of a simplex, 127 dimension of chains, 128 Dirac adjoint, 36 Dirac measure, 516 Dirac operator, 244 Dirac representation, xii, 31 direct products, 95 discontinuous tensor, 517 distribution-valued tensors, 514 distribution with laplacian in L2(Rn), 399 Dolbeault differential, 298 Dolbeault operators, 297 Drinfeld property, 445,460 Drinfeld compatibility condition, 451 dual Lie-bialgebras, 452 dual of a Lie algebra, 187 dual pair, 213 E edge, 127
INDEX Eells and Sampson, 483 eigenspace, 48 eigenvalue, 48 Einstein cylinder, 244 Einstein equations, 249, 31 I, 408 Einstein equations with sources, 413 Einstein vacuum, 311 Einstein-Yang-Mills equations, 286 elementary solution of the wave equation, 373 elliptic operator, 484 embedding, 92, 283 energy, 311 energy density, 276 energy density of the Yang-Mills field, 89 energy functional, 277 energy of a field, 72 energy with respect to a timelike vector field, 83 equivalent bundles, 334 equivalent spin structures, 151 equivariant momentum mapping, 214 essential spectrum, 49 euclidean at infinity, 430 Euler class, 321,330, 495 Euler equations, 76 Euler-Lagrange equations for a Dirac particle, 80 Euler numbers, 321,324 Euler-Poincar6 characteristic, 321 Euler-Poincar6 number, 329 even matrix, 3 even vector, 124 exact Poisson-Lie group, 464 exact sequence, 163 extension of a group, 164 extension of SO, 136 exterio differential system, 171,173 extremal, 275 F
face, 127, 138 field of hyperplanes, 191 Fierz identity, 15 first fundamental form, 238 first integral, 220 flow of a vector field, 219 foliation, 192 foliation of Poisson manifolds by symplectic leaves, 191 Fredholm, 49 front face, 132, 134 full pair, 213 fundamental bundle, 121 G G-module, 167 G-module with zero operators, 169 Galileo group, 96 Galileo transformation, 97 gamma matrices, 135
INDEX gamma matrices for C (n, m), 7 gamma matrices of O(n, m), 7 y+(n,m), 21 y_(n, m), 21 (Gateaux) derivative, 51,354 gauge covariant derivative, 248,293 gauge group, 349 gauge transformation, 305 Gauss-Bonnet-Chern-Avez theorem, 321,330 Gauss-Bonnet theorem, 330, 495 Gauss map, 326, 330 Gaussian curvature, 321 Gaussian integrals, 57, 61 generalized first integral, 220 genus, 478 geodesics, 275,279 geometric simplex, 127 geometrical phase, 501 (geometrical simplicial) complex, 128 Gevrey class, 524 ghost field operator, 370 ghosts, 363 global function group, 211 Goldstone bosons, 320 graded, 124 graded affine bundles, 122 graded algebra, 1 graded bundles, 118,122 graded chart, 121 graded commutative, 1 graded connections, 125 graded function, 121 graded manifold, 121 graded matrix, 3 graded spinor fields, 125 graded tangent, 124 graded tensor product, 6 graded vector bundles, 122 grading of a Clifford algebra, 12 Grassmann algebra, 119 Grassmann manifolds, 108, 109 gravitational shocks, 519 H Hadamard relation, 518 half-spinor representation, 29 hamiltonian function, 184 hamiltonian vector fields, 164, 184, 186, 188,212 hamiltonian vector fields and automorphisms of a Poisson manifold, 190 Hardy-Littlewood-S obolev inequality, 391 harmonic, 276, 277,285 harmonic gauges, 275 harmonic maps, 274, 281,406 harmonicity conditions, 405 heat equation, 175 Heisenberg group, 163-165
527 helicity, 27 helicity operator, 27, 32 hermitian metric, 299 hermitian scalar product, 299 Higgs mechanism, 310, 316 Higgs operators, 244 Hodge theorem, 321 holonomy, 504 holonomy group, 301,502 homogeneous cochain, 160 homogeneous spaces, 103, 104, 263 homogeneous symplectic spaces, 218 homology, 321 homology group, 129 homomorphism central, 141 homomorphisms of a Lie algebra, 102 homothetic space-time, 262 homotopic, 41 homotopy class, 275 homotopy groups, 41, 43 homotopy of topological groups, 46 Hopf fibering, 307 Hs.a (IR"), 512 H,. a(IRn) spaces, 396 Ha.(S n) spaces, 396 hyperbolic metric, 87 hyperdifferentiable, 52 I
ideal, 14 mdecomposable, 112 index of a Fredholm operator, 49 index of a vector field, 322 mequivalent spin structures, 150 infinite dimensional Lie algebras, 364 infinitesimal invariance, 70 mjectivity radius of a riemannian manifold, 429 integral manifold, 171 integral manifold of a field of hyperplanes, 192 invariance group, 175 invariance of the equation of motion, 79 invariant connection, 270 invariant geometries on the squashed seven spheres, 263 mvariant lagrangian, 71 mvariant metric, 288 mvariant polynomial, 343 mvolutive automorphism, 103 lsogroup, 175 lsotropy group of, 106 J
Jacobi manifold, 218 Jacobi operator, 79 Jacobi structure, 194 K
K-graded tangent bundle, 122 Kac-Moody algebras, 177, 232, 357 Kadomtsev-Petviashvili equation, 232 K~ihler form, 299 K~J.hler metric, 299
528 K~alerian manifolds, 235,294, 299 Kaluza-Klein theories, 286 Killing vector fields, 239 Kirillov-Kostant-Souriau theorem, 218 Kirillov local Lie algebras, 193 Kirillov orbits, 194 Kondrakov theorem, 383,384, 431,487 Kostant graded bundle, 118, 119, 122 L lagrangian for a free Dirac particle, 80 lagrangian for scalar functions, 76 lagrangian of a nonscalar field, 85 lagrangian of the Yang-Mills field, 85 Laplacian, 496 lapse function, 407 Lax equation, 224, 226 Lax form, 224 Lax pair, 226 left ideal, 14 Leray criteria, 524 Leray form, 516 Leray hyperbolic first order system, 523 Leray indices, 255 Leray theory of hyperbolic systems, 405, 407 Leray weights, 255,524 Lie algebra, infinite dimensions, 364 Lie algebra of observables, 196 Lie algebra of Pin(n, m), 37 Lie algebra of SO(n), 116 Lie algebra of Spin(n, m), 37 Lie algebras of linear groups, 115 Lie bialgebras, 450 Lie derivative of spinor fields, 437 linear endomorphisms, 115 little group, 106 local Chern-Simons form, 345 local function group, 211 local Lie algebras, 194 local Poisson map, 200 locally finite covering, 138 locally finite simplicial complex, 138 locally hamiltonian, 190 loop, 44 loop group, 357 Lorentz group, 96 lorentzian signature, 235 M
Majorana pinors, 27, 30 Majorana representation, 10 Manin triple, 456 mass of a metric, 262 massive gauge potential, 320 Maurer/Cartan, 305 maximum dimension, 192 minimal coupling, 312 momentum mapping, 65, 67, 69, 198, 214,217 Morse theorem, 329 multiple layers, 516
INDEX multiplication properties of Sobolev spaces, 386 multiplication theorem, 431 N
n-connected group, 151 Nambu Goldstone bosons, 320 nerve, 138 Noether's theorems, 64 non-linear-scalar field, 88 nonlinear wave equation in curved spacetime, 400 norm on y (n, m), 24 normal neighborhood, 107 normal ordering, 369 null, 238 O obstruction to the construction of spin and pin bundles; Stiefel-Whitney classes, 134 octonions, 264 odd matrix, 3 odd vector, 124 off shell, 80 on shell, 80 order (p, q) of a graded matrix, 3 orientation of a simplex, 127 orthochronous proper Lorentz, 17 orthogonal group, 17 P
parallelizable, 264 parity operator, 18, 27 partial derivatives of super differentiable mapping, 56 Pauli matrices, 8 perfect group, 111 periodicity modulo 8, 11 Pfaffian manifold, 218 phase of representation, 352 pin bundle, 137 pin frame, 137 pin group, 17, 20, 24 Pin (n, m), 20 pin structure, 137 Pin + (n), 25 Pin- (n), 25 pinors, 137 Poincar6 group, 96, 115 Poincar6-Hopf theorem, 321,330, 332 Poincar6 transformation, 97 point spectrum, 48 Poisson bracket, 165, 185, 188 Poisson-Lie groups, 443 Poisson-Lie morphisms, 443 Poisson manifolds, 184, 190, 200, 205 Poisson structure, 184, 187, 206, 207 Poisson structure defined by a contravariant tensor, 188 Poisson submanifold, 201 Poisson submersion, 215 Poisson tensor, 189
INDEX polar, 212 polar function group, 215 principal fibre bundle, 507 product Poisson manifold, 205 projective n-space, 109 protective representation, 352, 356 projective space C PN, 507 prolongation of SO, 136 prolongation structure, 177 pseudopotentials, 176 pullback of a bundle, 336
O quantum BRST operators, 368-370 quasi-linear first-order partial differential equation, 171 quasitriangular classical Yang-Baxter equation, 473 quaternions, 9, 11,264 R
rank of a Poisson manifold, 190 Rankine Hugoniot equations, 519, 520 ray representation, 352 rays, 506 realization of a Poisson manifold, 210 reducible bundles, 308 reductive, 227 reductive homogeneous spaces, 271 reductive pair, 103 representations of Spin(n, m), n + m odd, 33 residual spectrum, 48 Ricci tensor, 249 Riemann-Roch theorem, 482 Riemann tensor, 240 riemannian manifolds, 235 riemannian symmetric space, 104 S scalar curvature, 249,292 scalar curvature of S n , 241 scalar multiplet, 248,290, 311 Schouten-Nijenhuis bracket, 189 Schur's lemma, 113 Schwartz topology, 514 Schwinger functions, 414 second derivative in the directions (vl, v2), 52 second fundamental form, 279 segment property, 378 self-adjoint, 47 semi-infinite forms, 367 semidirect products, 95, 96 semilinear, 255 seven sphere, 263 sheaf, 91 shell, 80 shock equations, 519 shocks, 519 short exact sequences, 163
529 siebenbeins, 264 a-models, 274 simple cover, 138 simple (k-simple), 45 simplex, 127 simplex decomposition, 321 sine-Gordon equation, 174, 177, 179, 180, 183 singular k-simplex, 130 Sobolev constant, 491 Sobolev embedding theorem, 377, 379, 431 Sobolev inequalities, 379 Sobolev inequality on R n, 389 Sobolev spaces, 386 Sobolev spaces on riemannian manifolds, 428 solvable Lie groups, 114 soul, 2 (space time) parity operator, 18 space of distributions, 513 spacelike, 238 spaces Hs,~ (IR"), 393, 512 special orthogonal group, 17 spectrum, 48 spectrum of closed and self-adjoint linear operators, 47 sphere S n , 240 spin frame, 135 spin group, 17, 21 Spin (n, m), 21 spin structure, 136, 151 spinor, 135 spinor-cospinor, 135 spontaneously broken symmetry, 311 squashed seven sphere, 263 stability subgroup, 106 standard Manin triple, 458 standard simplex, 129 stationary metric, 72 stationary subgroup, 106 stereographic coordinates, 241 Stiefel manifold, 108 Stiefel-Whitney classes, 141 stress-energy tensor, 83 stress energy tensor of a fluid, 519 string, 275 string action, 82 structure constants of a compact Lie group, 117 subbundles, 308 subgroups of Lie groups, 92 submanifolds, 92, 275 subrepresentation, 111 superdifferentiable, 53 supersmooth, 55 supertrace, 332, 333 symmetric riemannian manifold, 107 symmetric spaces, 103, 104 symplectic leaves, 193 symplectic manifold, 185, 190, 221
530 T Taylor formula, 52 Teichmuller space, 478,482 tempered distribution, 418 tension field, 277 tensor distribution, 513 tensor product of algebras, 5 timelike, 238 topological charge, 315 torsion tensors on a symmetric space, 270 totally geodesic mapping, 282 trajectory, 65 transitive G-space, 104 transpose, 47 triangular classical Yang-Baxter equation, 473 triangulated manifold, 128 triangulations, 128,326 twisted adjoint representation, 22 Tychonoff theorem, 39 U uniformly equivalent matrices, 428 unitary representation of the Heisenberg group, 166 universal bundle, 507 universal bundles, 335,337 V vacuum, 310, 369
INDEX Van Hove's singularities, 328 vector, 124 vertex, 127, 138 Virasoro algebra, 360 Virasoro representation, 363 Vlasov equation, 521 W
Weinstein theorem, 193 Weyl Heisenberg group, 163, 164 Weyl representation, 167 Weyl spinors, 27 Weyl tensor, 249, 344, 345 Whitney product theorem, 142, 144 Whitney sum product, 145 Wightman distributions, 414 Y Yamabe equation, 486 Yamabe functional, 485 Yamabe invariant, 488 Yamabe property, 483 Yang-Baxter equation, 232, 468 Yang-Mills operator, 244 Z zero cochains, 168 zero simplex, 127
ERRATA TO A N A L Y S I S , M A N I F O L D S A N D PHYSICS. P A R T I Page* xi
Line
Errata 8
Front Matter III. Differentiable Manifolds, Chapter I
6 11 12 13 14
15 20 21 23 24 27 28 31 39 46 49 55 61 62 65 66
12 16 8 -2 3 12 5 -9 -10 12 13 4 caption -10 3 1 -16 9 -2 1 17 19 4 22 3
Example 1" Let P be the set N of all N has no maximal element. (p. 17) is open iff it is a neighborhood x" (N (x) - {x }) 71 a --/= in A. The set A is dense For each x 6 X and U 6 @" with x 6 U there exists B 6 ~ such that x 6 B and B C U. is a filter 5 ( x ) . Uj such that Vi C Uj. is simply connected when n > 2. Exercise 2, p. 68. vector space (p. 27) is bounded d l (P, 0) < a, d2 (P, 0) < a, d3 (P, 0) < a continuous (p. 21) into the neighborhood [[olxp. 56 Haar measure (p. 180). a a-field of subsets, ser Im(a)] < [ml(a) +lx2lp)l/p Let X and Y be two metric spaces, operator T on L2 ( y ) by v 2 - (vlv) add C p in the margin Let P - C ( V 3 (3))
*Refers to the revised edition. 531
532
Page*
ERRATA TO PART I
Line
Errata
-8 67 69
Vv, w E Vn(s) So we have for k odd
-12 3-10
Answer: We shall construct a covering of the product space x ~ , N X ~ which has no countable subcovering, let alone a finite one. Let A C N and VA -- x a eN Ua be an element of the topology on the product space defined as follows:
G
--J[0,2/3)
ifc~6A
(1/3,1]
ifot~A
/
"
Then {VA; A C N} is an open covering of the product space; it has no countable subcovering. Indeed let {VA~}i be any countable subset of {VA; A C N}. One can always find a point x = {x l, x2 . . . . } in the product space such that x ~ {VA~ }i. For example, let
Xi
--
1/6 5/6
if i r Ai if i ~_ Ai
then X 6 { VAi }i.
Contributed by J. Labelle.
Chapter H 72
9 -4
77 85
11 5 6
mapping: D/Ix0 = l, D Idlx0 = Id, Vx0. of f . A point where the rank is not maximal is called critical. If n = p the determinant of D f is called the Jacobian for the function q A sufficient condition theorem A sufficient condition for f
Chapter HI 111 127 129 131 135
-12 -15 8 12 -5 footnote -6
x~UcX. admissible atlas (see p. 543) replace "identical" by "isomorphic" bundle in particular (p. 376) El a subspace of E or [Osborn II 4] if follows that f * o v = v o f * .
ERRATA TO PART I
Page*
Line
151
--5
152
footnote 17 -7
153 154 155 156 158 162 164 165 165 166
176 177 186 188 190
footnote 2O -1 12, 13 -7 -3 7 7 -3 2 3 5 -11 9,12 -15
det[ x 0]
Errata
only identity transformations Svg The tensor S v g is the strain tensor generated by the vector field v ag o ah = agh (left action of G on X) or Og ocr h --- Crhg (right action of G on X) the group which defines isometries effectively, transitively, and freely on G.
[v~, v~](g)
and the n-toms 72n = R n / Z n (p. 209) (orah Oag) L and v(c,) R of v~,,) as well as the generators v(~) inserted in (5) 158 and p. 353 - [ D , u , D,/~]~ ( e ) x k is defined by matrix multiplication, antisymmetrized for every v ~ C1 X-
1 V ~ e~e[3
-8
i.e., all rotations be nonsingular, k~/~ defines a metric called
-6
jacobian matrix of the embedding mapping (p. 240)
Cartan-Killing.
(i~) - ((g 1)2 _t_ ( Z 2 ) 2 ) - 2 ( (Z2)2 -- (zl) 2 --2zlz 2 ) bl --2zlz 2 (zl) 2 --(Z2) 2 (b 2)
192
Chapter IV
196 200 203 210 211 216 218
533
footnote -2 5 9 11 16 -12 9
Then if oe and fl are 1-forms By property 2 are vectors and W a pseudo-vector div f W = grad f . W + f div W Cx : ( X ) p
ffsurface
e3
534
Page*
ERRATA TO PART I
Line
223
18 20
224
1, 2
225 226 250 253
6 -5 23, 24 17
254 271 276
11 7 -9
Errata group [See Analysis, Manifolds and Physics, Part II] Move the sentence " H p is often called the de Rham group" and the marginal note "de Rham cohomology" back to line 12. Delete and replace by: "For the cases of 0-chains see for instance [Patterson]." Insert the definition of the Euler-Poincar6 characteristic, which can be found on p. 293. co depends only on x 1 xp f o r C Cz Hp, o) cz H p. delete "A differential.., system." vector field. By the theorem on p. 248, C is completely integrable. result in a set {0(k)} 9 equations (see example p. 263) = -dy~ 9
9
. ~
~
Chapter V
285 287
14 -3
302
16
306 313 314
5 18 -5 -4 -8 -4 6 -12 -13 -11
316 317 331
-8 354
-7 12-20
(p. 134) manifold. The metric is called iorentzian. It is du i bl ~
C t
dC i --
dt dt ' In a moving frame the ( V v u ) l l - (v,,,v' a lorentzian metric it is a maximal is a minimal hypersurface; in qs* (D f ) - D(qS*/) pp. 482-486. d(*~o) (Vl . . . . . Vn/2, J Vl . . . . . J vn/2) ~CFvr/- 2q:,r/. (1) such that q~ - constant is the group of isometries and dilations - r/)~ Oo~v )" + r/xc~3/~v )~ - 2,;15r/~/~ where q~ is obtained by contraction 2q~ -- 893a va Replace lines 12 to 20 by" This transformation is defined in the case of an euclidean metric if one adds to the space a point at infinity, whose image in an inversion is the origin of this inversion. In the
ERRATA TO PART I
Page*
356
Line
13
535
Errata case of the Lorentz metric the inversion with origin point x0, for instance x0 = 0, is defined only when x 2 - O~fx~x~ # O, that is when x is not a null (i.e. lightlike) vector. The conformal group is defined in Segal cosmos (S 3 x R, ref p. 356) universal cover of the compactified Minkowski spacetime (cf. problem V.8). For more on the compactification of Minkowski space see for instance R. Penrose "Conformal Treatment of Infinity" pp. 563-584 in Relativity, Groups, and Topology (Les Houches 1963) Eds C. DeWitt and B. DeWitt (Gordon and Breach New York 1964) in empty space.
Chapter V bis 359 360 362 363 365
15 16 -14 7 2 3 9,10
369 371 372 373 375 377 379 380 381
14 8 10 -13 -13 -14 4 4 14 -8,-7 -6 -13
subspace of Tp (P). Due to Add: We also write fi -- v• (p). a 1-form on U with values - - A d ( g -1)
- (4).71.o9 kg.j i (x)
( v) 110
(
Ox/Og OLgij(x)g/Ox
15 20 -4
) ( v) w
OMc(g~'i(x)v) delete the composition sign then (p. 367), corresponding to ~ and V u ~P of a covariant vector. Add" "h -= hor" _....+1...
~veru0
differential 2-form ~2 on X Delete: "It i s . . . p. 359" connection as defined on p. 359 of the connection, as we have already seen on an
382
OLgi.j(x)g/Og
the injection f in P of G1; thus if
gi -- gij (x)gj
536
Page* 383
ERRATA TO PART I
Line
384
13 -4 -3 -12
385
17, 18
385
-9, -1
Errata the realization o of G Tg2g 1 --
PXGF
action of G1, where (P, X, Jr, G) is a principal fibre bundle Delete and insert: 2) Suppose G is reducible to G, and let P1 denote a reduced bundle with injection f" P1 -+ P. Let/z be the projection P -+ P / G 1. The mapping/x o f Delete and insert the following
Theorem. Every fibre bundle (E, X, Jr, F, G) such that the base manifold X is paracompact and the fibre F is diffeomorphic to R n admits infinitely many cross sections. Proof: It is easy to show that when E is a vector bundle, i.e. when Fx is a vector space, it admits infinitely many cross sections. Indeed, let {Oi} be a partition of unity on X subordinates to a locally finite coveting by open sets Vi such that Vi C Uj some open set of an atlas of X over which E is trivializable. Let O"i be an arbitrary cross section over Vi. Then the element of Fx given by the finite sum ff (X ) -- Z
Oi (X )O"i (X ) i
is a cross section over X. The theorem is stronger because it does not require a canonical identification of a point of Fx with the origin of R m, nor the group G to be linear. For the proof I one uses the property that a differentiable function defined on a closed set o f I~ m can be extended to the whole of It{m together with Zorn's lemma, to show that every cross section defined over a closed set Y C X can be extended to a cross section over X. I cf. R. Godement,
Theorie des Faisceaux (Hermann, Paris, 1958) p. 151
or Kobayashi and Namizu, loc. cit. Vol. I, p. 58.
386
21 -15
and p x 1 the linear product in R n and p x I the linear
ERRATA TO PART I
Page*
Line
387
-9 -12, -13
537
Errata in part A (pp. 380-381) delete i.e . . . . and insert: [ ~ 0 ( p ' ) = g~'~o(p)g-1].
389
390
18 22 -7 -5 -10 -1
391
1
9
18
p. 388 and by the subspace horizontal field is horizontal (p. 374), and that -
( u , v) 1
"''--
(2k)!
"''(Vet(I),
Vet(Z)),...,
Tx X, x -- H (p)
and be unique Add" df(X2)(Vl,..., V n ) - rr* d f ( Q ) ( V l . . . . . Vn) -- df(S2) (rr' hor Vl , . . . , JT ! hor Vn) d f ( ~ ) ( h o r v l , . . . , hor Vn) -- Df(X2)(Vl . . . . . Vn)
+ 89
20 392
394 395
397 398 399
401 402 404 405 406
4 5 7 ll 8 11 -1 -8 5 11 17,18
-7 4 ll,13 l0 figure 5 ll --13
This, together with the fact q~ being invariant on a vertical vector projects to a form q5 on X, [f(V)]
2
curvature 2-form complexification (p. 224) via a scalar product in the fibres, possibly deduced to the scalar product in Decomposition theorem. Proof: It follows formally the same lines as the proof given above for the finite dimensional space E p,x. Its validity in the new context rests therefore Zip is an elliptic ))Ap* (A is exterior product) {Dp, Ep} d x v -- ~ i , Replace 7r i by :rl D~u (v) - + A ~i,xO
ERRATA TO PART I
538
Errata
Page*
Line
407
7 -12 -10, -11 -5 2O
408 410
-13
(~)(Si (X) ) ) -1 when the connections A is flat. bold face dq~ p: g ( 1 ) --+ L(C, C) , )/1 - - --(2:rri) -1 tr Cl
. . . . . 9
'f
2zr
nd~
Sl
411 415 419 420
-10 -9 -6 18 12 -1 6 6,7,14,17
iA_in d~.
iA+ =
define the following electromagnetic field define the following Do F+ and F_ Atiyah change signs before 1/4 change signs before 1/8
421 7 -3, -4 422
References
if there is no torsion.
xRxR T. Regge, "The group manifold approach to unified gravity", in Rela-
tivitY, Groupes et Topologie II, eds.
B.S. DeWitt and R. Stora (North-
Holland, Amsterdam, 1984) pp. 933-1006.
C h a p t e r VI
435 441
455 468 472 477 478 490 494
13 -9 -8 -7 -10 16 -2 10 5 -6 13
exists C ~ on U, but cannot in general vanish for it vanishes if ~0'(a) - 0. Remark. ~06~ = 1 d
T,, = i dx Proof: X is solution in sO' since, D X - B h a s at m o s t o n e . . . i f D * h a s a n
- ( i y ) ~. p. 272 9" = I1(1 + I x 1 2 ) m / 2 5 f l 1 2 9.. Flu -- (- - - ) u -- 0
E R R A T A T O PART I
Page*
Line
499
-2
512
539
Errata D O
0
f
~
3q9 3u dx Y~,__.Ox----iOx---7
1
7
= 4----~6c. 1
= - dx l A dx Z A dx 3
t
513 522 523
13 -9 6
532 from 538 to 539
8 -2 23
sin 0 cos 4~, 0 / 2 - - sin 0 sin 4~, or3 -- cos 0 For a system with an infinite 9.. = (T, L* U) when U is C ~ with compact support 0/1 __
Y - ( x ) exp(ax) Replace by"
Answer: a) The elementary kernels E (t, s) are solutions of ( - d 2 / d t 2 - p2)E(t, s) -- ~(t, s).
(4)
The Fourier transform of this equation is ~((-dZ/dt
2 - p2)6 9 E)(r/) -- l,
(r] 2 -- p 2 ) 3 E -
1 pv( 1 ( S E ) (tl) = ~2p ~- P
1,
1 ) 0 -k- p + K l g ( r / - p) + K2a(r/-+- p). (5)
We can choose K1 and K2 such that the elementary kernel is in the convolution algebra ~ ' + or ~ ' - . Recall (Problem VI 7) that ( S Y + ) ( r / ) -- q : i ( P v 1 :k iJr6o~ / 77 k
q::i(ri T i0) -1
(6)
Hence if K + -- - K + -- irr/2p and
E + 9 ~'+ 5E+=l( __ 2p E- E ~'~E---2p
1 rl-p-i0
l(,
_
1 r/+p-i0
,)
) '
(7a)
if K1- -- - K 2 -- izr/2p and
r/-p+i0
rl+p-i0
(7b)
540
Page*
ERRATA TO PART I
Line
Errata
To compute E + from (5) using (6) one can translate (see p. 458)
Pv
(1) r/-p
+ i6 ( r / - p)
by p and the other two terms by - p "
E+(t, s) -- qzY+(t The propagator E -
-
sin(pt -
s)p -1
ps).
(8)
E + - E - is
E(t, s)
-
sin(pt -
_p-I
ps).
We could, of course have obtained (8) by solving (4) according to the method developed on p. 469, which says
E+ (t, s) -- Y• (t - s)h + (t - s) where the C ~ functions h + satisfy the homogeneous equation and the following boundary conditions: h + (0) -- 0, h +'(0) - - 1
and
h - (0) - 0, h - ' ( 0 ) - 1.
Equation (7) suggests the following integral representation for the ele-
541
-3
equation (9)
Chapter VII 549 571 590
6
footnote -7
Hilbert space of norm The Morse index is the negative of the index defined on p. 287
------ d ( . . . + I m2u 2) dx)(U, V). B
593
-4
f exp(-~t2/2)h(t) dt A
_ - 1 (h (t) -- )~t
- -h -(t)- t )~t 2
h'(t)) B -~ exp(--)~t2/2)lA
ERRATA TO PART I
Page*
Line
541
Errata
if
B
+ ~
exp(-'kt2/2)
A
h(t)
37 -
603 606 608
- 3 h'(t)t + h"(t)) dt
References
CHERN, S.S., Selected Papers (Springer-Verlag, New York, 1978). ITZYKSON, C. and J.B. ZUBER, Quantum Field Theory (McGraw-Hill, New York, 1980). SCHUTZ, B., Geometrical methods of mathematical physics (Cambridge University Press, Cambridge, 1980).
New and~or Corrected Entries for Index Page
Entries
617
Adjoint, 59 Adjoint representation, 166, 184 Automorphism, 157, 174 Cartan-Killing metric, 188 Chain, 217 Compactified Minkowski space, 354 Critical point, 72, 119,546, 547, 567 Critical value, 546, 547, 567 Decomposition theorem, 399 Degenerate, 285 Dense, 13 Dual, star, 295 Duality, 226 Dirichlet problem, 502 Einstein equation, 342, 356 Energy function, 344 Energy integral, 324, 513 Faithful, 163 Gaussian curvature, 396 Haar measure, 39, 180, 189 Hodge decomposition, 399
618
619 602
620 621
622 623 623
Page
624
624 625 626
627 628
629
Entries Hodge theorem, 400 Index of a vector field, 396 Inductive limit topology, 427 Laplacian, 318, 398, 421,449, 495, 527 Leray form, 449 Lorentzian metric, 287, 292 Lusin theorem, 41 Maxwell equations, 271,336 Normal (hypersurface), 292, 315 O(n), 175 Poincar6-Hopf theorem, 396 Principal value, 439, 532 Reflexive, 59 Shock wave, 535 Simplex, 216 Singular field, 339 Spin bundle, 417 Symplectic form, 268, 282, 552 Trace, 430, 487 Trajectory, 144, 274
This Page Intentionally Left Blank