# Full text of "A 2-cocycle on a group of symplectomorphisms"

## See other formats

A 2-COCYCLE ON A GROUP OF SYMPLECTOMORPHISMS RAIS S. ISMAGILOV, MARK LOSIK, PETER W. MICHOR Abstract. For a symplectic manifold (M, ui) with exact symplectic form we construct a 2-cocycle on the group of symplectomorphisms and indicate cases when this cocycle is not trivial. 1. Introduction For a symplectic manifold (M,oj) such that H 1 (M, R) = and the symplectic form ui is exact we indicate a formula defining a 2-cocycle on the group Diff(M, uj) of symplectomorphisms with values in the trivial Diff (A/, o>)-module R. Let G be a connected real simple Lie group and K a maximal compact subgroup. For the symmetric Hermitian space M = G/K endowed with the induced symplectic structure, we prove that the restriction of this cocycle to the group G is non- trivial. Thus this cocycle is non-trival on the whole group Diff(M, ui), too. In particular, this implies that the cocycle is non-trivial for the symplectic manifold (R 2 x A/, luq+lum), where (M, u>m) is a non-compact symplectic manifold with exact symplectic form ujm such that H (M, R) — and uiq is the standard symplectic form on R 2 . For the convenience of the reader, in an appendix we consider the corresponding 2-cocycle on the Lie algebra of locally Hamiltonian and Hamiltonian vector fields and indicate when this cocycle is non-trivial. Note that in [xj a similar 2-cocycle was constructed for the group of volume preserving diffeomorphisms on a compact n-dimensional manifold M. This cocycle takes its values in the space H n ~ 2 (M, R). Neretin in Ijj constructed a 2-cocycle on the group of symplectomorphisms with compact supports. Throughout the paper M is a connected C°°-manifold. We thank Stefan Haller and Yurii Neretin for comments. Date: February 1, 2008. 2000 Mathematics Subject Classification. Primary 58D05, 20J06, 22E65. Key words and phrases, group extension, symplectomorphism. ML and PWM were supported by FWF Projekt P 17108-N04. PWM was supported by Centre Bernoulli, Lausanne. 2 2. Preliminaries We recall some standard facts on central extensions of groups and two-dimen- sional cohomology of groups (see, for example, |5J, ch. 4). Consider a group G and the field R as a trivial G- module. Let G P (G,R) be the set of maps from G p to K for p > and let G° (G, R) = R. Define a map L>p : C*(G,R) -> GP +1 (G,R) as follows: for / G G P (G, R) and 5 i, . . . £ G (1) (D p f)(gi,...,g t +i)=f(92,--.,g 1 *.i) p + ■ ■ ■ ■ ■ ■ ,ff P +i) + ■ ■ • ,&,)• By definition G*(G, M) = (G P (G, R), D p ) p > is the standard complex of nonhomo- geneous cochains of the group G with values in the G-module R and its cohomology iI*(G,R) = (iJ p (G, R)) p >o is the cohomology of the group G with values in the trivial G-module R. Recall that a cochain / € G(G,R) is called normalized if f(gi, ■ ■ ■ , g P ) — whenever at least one of the g%, . . . , g p £ G equals the identity e of G. It is known that the inclusion of the subcomplex of normalized cochains into G* (G, R) induces an isomorphism in cohomology. Let / be a normalized 2-cocycle of G with values in a trivial G-module R. Let E(G,R) =GxR, with multiplication (g 1 ,ai){g 2 ,a 2 ) = (.91.92, ai.92 + a 2 + f(gi, 52)) for di, d2 € R and (71, (72 G G. Then ^(G, R) is a group, and the natural projection E(G, R) = GxR^Gisa central extension of the group G by R. The extension E(G, R) is non-split iff the cocycle / is non-trivial. If G is a topological group (finite-dimensional or infinite-dimensional Lie group) one can define a subcomplex G* ont (G,R) (G| iff (G, R)) of the complex G*(G,R) (see 0], ch. 3) consisting of cochains which are continuous (smooth) functions. The cohomologies of the complexes C* ont (G, R) and G^ iff (G, R) are isomorphic whenever G is a finite-dimensional Lie group (see L., ch. 3 and [H])- Note that if the 2-cocycle / is continuous (differentiable), the extension E(G,M) is a topological group (Lie group). 3. A 2-COCYCLE ON THE GROUP OF SYMPLECTOMORPHISMS Let (M, ui) be a non-compact symplectic manifold such that H l (M, R) = and the symplectic form lo is exact. Let u>\ be a 1-form on M such that du>\ = u). Denote by Diff(M, ui) the group of symplectomorphisms of M. We define a 2-cocycle on the group G = Diff(M, ui) with values in the trivial G-module R as follows. Fix a point xo G M. Then for 51,32 € G we put (2) C Xo (gi,g 2 )= (glwi -(*){), Jxq 3 where the integral is taken along a smooth curve connecting the point xq with the point <72^o- Since H 1 (M, R) = the 1-form g^oji — oj\ is exact and the value of this integral does not depend on the choice of such a curve. Theorem 3.1. The function C XQ : G 2 — > R defined by 0) is a normalized 2-cocycle on the group G with values in the trivial G-module R. The cohomology class of C Xo is independent of the choice of the point xq and the form oJi . Proof. By it is easy to check that D 2 C Xo = 0. Moreover, the 2-cocycle C XQ is normalized. Since for each g G G the 1-form g*oj\ — 0J\ is exact, for any points X\,x% £ M we have C Xl — C X2 — Da, where a is a 1-cochain on G defined by a (-9) = fxi(9*ui - Wi). □ By definition, the cocycle C Xo is a continuous function on G x G. Remark 3.2. Let M be a manifold such that if 1 (A/, R) = and let oj be an exact 2-form on M. Let Diff(M, oj) be the group of diffeomorphisms of M preserving the form oj. Then the formula (J2J) for gi,g2 £ Diff (M, oj) gives a 2-cocycle on the group Diff(M, oj) and all statements of theorem i|3.1[l are true for this cocycle. Denote by E(DiS(M,u>)) the central extension of the group Diff(M, oj) by K defined by the cocycle C Xo . Now we give a geometric interpretation of the extension E(DiS(M,oj)). We choose a form oj% with duj\ = oj and put 1^2(9) = J Io (wi — g*u>i). Consider the trivial R-bundle M x R. Clearly, the form dt + u>\ is a connection with curvature u> of this bundle. Denote by Aut(M x R,oj) the group of those bundle automorphisms which respect the connection dt + u>i and which are projectable to diffeomorphisms in Diff (M, oj). It is easy to check that the group Aut(M x R, oj) is isomorphic to the group E(Di&(M, oj)) = Diff(M, oj) x R which acts as follows on M x R: (x,t) -> (g(x),u 2 (g)(x) + t + a), where (x,t) e M x R and (g,a) £ G x R. This gives an equivalent definition of the extension E(Diff(M,oj)) as a group of automorphisms of the trivial principal R-bundle Mxl with connection dt + oj\ . If we replace the form oj\ by the form oj\ + df, where / is a smooth function on M, we get an action of G on M x R which is related to the initial one by the gauge transformation (x,t) — > (x,t — /(a;)) of the bundle Mxl-t M. 4. Examples of non-trivial 2-cocycles The authors are not able to prove that the cocycle C Xo is non-trivial for any symplectic manifold M with an exact symplectic 2-form oj. In this section we prove that for some symplectic manifolds the restrictions of this cocycle to some subgroups of G C Diff(M, oj) turn out to be non-trivial. 4.1. The linear symplectic space R 2 ™ and the Heisenberg group. Consider the space R 2n with the standard symplectic form ojq = X)fe=i ^ x h A dxk+ n and the group G = R 2n acting on the space R 2rl by translations. Applying (J2J to the form 4 wo, the 1-form u>i = \ ^2^. = i{x n +kdxk — Xkdx n+ k), and the point Xq = & R 2 get a 2-cocycle on the group G given by we Co(x,y) = - ^2{x k y, 'n + fe — VkXn+k), k=l where x — (xi, . . . , X2n) and y — (yi, . . . , y2n)- The central extension of the group R 2 " by R defined by this cocycle is the Heisenberg group. This extension is non- split since the Heisenberg group is noncommutative and thus the cocycle Co(x,y) is non-trivial. 4.2. Symmetric Hermitian spaces and the Guichardet-Wigner cocycle. Consider a non-compact symmetric space M = G/K, where G is a connected real simple Lie group and where K is a maximal compact subgroup. Then M is diffeomorphic to R™, where n = dimM. We suppose that M admits a G- invariant complex structure, i.e., M is a symmetric Hermitian space. This condition is satisfied (up to finite covering) for the following groups: SU(p, q) (p,q > 1), SO (2,<7) {q = 1 or q > 3), Sp(n,R) (n > 1), SO*(2n) (n > 2), and certain real forms of Eg and E7. Consider the symplectic manifold (M, cu), where the symplectic form id is defined by the Hermitian metric on M . It is known that on each of the Lie groups mentioned above, in the complex Cd\s{G, R) there is a non-trivial Guichardet-Wigner 2-cocycle (see [H] and ^Q). By this cocycle is given as follows, up to a nonzero factor: where 51,(72 £ G, xq = K G G/K, and the integral is taken over the oriented geodesic cone with vertex Xq and the segment of a geodesic from gix® to gig2Xo as base. We prove that the restriction of the cocycle C XQ to the group G is cohomologous to the cocycle given by ©• For the base point x$ we define a 1-cochain r y Xo on the group G as follows: where g 6 G and the integral is taken along the geodesic segment from xq to 5^0- Consider C Xa on G given by formula J2J), where we choose for the curve between the points xq and 32^0 a geodesic segment from xq to 32^0- It is easy to check that on the group G the cocycle C Xo + Dj Xo equals the cocycle given by (j2Jl ■ Thus the cocycle C XQ on the group G is non-trivial in the complex Cj iff (G,R). In particular, for the group G = SL(2,R) = SU(1, 1) the symmetric space M = G/K is the hyperbolic plane H 2 and w is the area form on H 2 . Instead of the group SL(2,R) we will later consider the group PSL(2,R) which acts effectively on H 2 . Since SL(2,R) is a two-sheet cover of PSL(2,R), the cohomologies of these groups (3) 5 with values in R are the same. It is easy to check that the corresponding symplectic manifold (M,oj) is isomorphic to the symplectic manifold (R 2 ,wo), where ojq is the standard symplectic form on R 2 . Unfortunately, for the groups G ^ SU(1, 1) mentioned above we do not know whether the symplectic manifolds (M, uj) and (M. 2n ,ojo), where dimM = 2n, are isomorphic or not. The following proposition is known. We do not know a good reference for this; then we give a short proof communicated to us by Yu.A. Neretin. Proposition 4.3. For each symmetric Hermitian space M = G/K, where G is a connected simple Lie group and K is its maximal compact subgroup, the corre- sponding Guichardet-Wigner cocycle is non-trivial in the complex C*(G, R). Proof. Let p : G — > G be the universal cover and let a = C XQ be the Guichardet- Wigner cocycle for the group G. Consider the corresponding to a 2-cocycle a on G induced by p. By construction, the cocycle a is trivial, i.e., there is a smooth function b defined on G such that for any g,h £ G we have a(g, h) = b(h) — b{gh) + Kg)- Assume that the cocycle a is trivial in the complex C*(G, R), i.e., there exists a function / : G — > R such that for g, h S T we have a(g, h) = f(h) — f(gh) + f(g). Then the difference b — f o p is a homomorphism G — > R. This homomorphism vanishes near the identity element of G since the group G is simple, and thus it vanishes on the whole of G since G is connected. Then the function / is smooth and the cocycle a is trivial in the complex C|j ff (G, R). This contradiction proves our statement. □ 5. Cases of nontriviality of the cocycle C Xq for groups of symplectomorphisms Let (M, u>m) be a non-compact symplectic manifold such that iJ 1 (M, R) = with an exact symplectic form lum- By formula J2J), the form u« defines a 2-cocycle C Xo for the group Diff(M, u>m) with values in the trivial Diff (M, tt>M)-module R. The aim of this section is to indicate cases when this cocycle is non-trivial and thus the corresponding central extension of the group Diff(M, uj/) by M is non-split. Let M — G/K be an Hermitian symmetric space M and let (M,uj) be the corresponding symplectic manifold which we considered in subsection l4.2l Theorem 5.1. For the Hermitian symmetric space M = G/K and for the cor- responding symplectic manifold (M, uS) the cocycle Co on the group DiS(M,uj) is non-trivial. Proof. Since the group G is a subgroup of the group Diff(M, u>) the statement follows from proposition 14. 31 □ Recall that the symplectic manifold (H 2 ,lu) where to is the area form is sym- plectomorphic to (R 2 ,a>o) where loq is the standard symplectic form. G Theorem 5.2. Let (M, to) be a non-compact symplectic manifold such that the symplectic form lom is exact and let ff^M, R) = 0. Consider the product R x M of the manifold R 2 and M as a symplectic manifold with the symplectic form lu = luq + ojm ■ Then for each point xq £ R 2 x M the cocycle C Xa on the group Diff(R 2 x M,lu) is non-trivial. Proof. Choose lom.i G fi 1 (M) with du>M,i — and let u>i = xdy + lum.i- The group Din" (R 2 , wo) acting on the first factor R 2 of R 2 x M is naturally included as a subgroup into the group Diff(R 2 x M,cu). Thus g*ivi — uji = g*(xdy) — xdy for all g in the subgroup Diff(R 2 ,wo). Thus the cocycle C XQ constructed from the form dx A dy + u>m on R 2 x M restricts to a nontrial cocycle on the subgroup of Diff (R 2 , uj ) by proposition IO applied to the group PSL(2, R). □ We leave to the reader to formulate the corresponding results for other symmetric Hermitian spaces G/K instead of H 2 . 5.3. Problem. Consider an open disk M in the Euclidean plane equipped with the standard area 2-form u. Is the 2-cocycle C Xa denned by the form to non-trivial? 6. APPENDIX In this appendix, for a symplectic manifold {M, u) we define a 2-cocycle on the Lie algebra Vect(M, lu) of locally Hamiltonian or Hamiltonian vector fields, corresponding to the 2-cocycle C Xo on the group Diff(M, uj), and study conditions of its nontriviality. Let g be a Lie algebra over R and let R be the trivial jj-module. Denote by C p (g,R) the space of skew-symmetric p-forms on g with values in R. For c £ C p {q, R) and X\, . . . , x p +i put (4) (<5 p c)(a:i, . . .,x p+1 ) = ^(-l) J+J c([xi, Xj], x lt Xi, . .,x p+1 ), where, as usual, x means that x is omitted. Then C*(@,R) = (C p (g, R), 6 p ) p >o is the complex of standard cochains of the Lie algebra g with values in the trivial g-module R and the cohomology H * (g, R) of this complex is the cohomology of the Lie algebra g with values in the trivial g-module R. In particular, there is a bijective correspondence between £f 2 (g,R) and the set of isomorphism classes of central extensions of the Lie algebra g by R. Let (M, oj) be a symplectic manifold. Denote by Vect(Af, uj) the Lie algebra of locally Hamiltonian vector fields and by Vecto(M, lo) the Lie algebra of Hamiltonian vector fields on M. For a point xo 6 M and X, Y £ Vect(M,u) put c XQ (X, Y) = lo(X,Y)(x ). Proposition 6.1. The function c Xa : g 2 — > R is a 2-cocycle on the Lie algebra g with values in the trivial Q-module R. The cohomology class of c Xo is independent of the choice of the point Xq . 7 Proof. The proof is given by direct calculations and is based on the standard for- mulas [Cx, iy] = i[X,Y] an< l ^ x = l xd+ di x , where \x is the operator of the inner product by X and Cx is the Lie derivative with respect to a vector field X, (see, for example, jS], ch. 4). In particular, we have for any x G M and X, Y G Vect(M, uj) the following equality (5) c x (X, Y) - c XQ {X, Y)=- f i [XtY]U . J x □ Let G be a Lie group and let g be its Lie algebra. We have a natural homo- morphism of complexes G*[ iff (G,R) — > G*(g,R) (see, for example, @], ch. 3). In particular, if c S Gj iff (G,R), the corresponding cochain c G G 2 (g,R) is defined as follows: d 2 c(X,Y) = ——(c(exptX,expsY) - c(exp sY, exprX)) t=0 , s =o arc's where 1,7 eg. Let G be a Lie group of diffeomorphisms of M contained in the group Diff (M, uj) . Then for the 2-cocycle c = C xa of section the cocycle c is cohomologous to the restriction of the cocycle c Xo to the Lie algebra g of G. Unfortunately, we cannot apply this procedure to the whole group Diff (M, uj) and the Lie algebra Vect(M, u>). Therefore, the problems of nontriviality of 2-cocycles C X() on the group Diff(M, u>) and c Xo on the Lie algebra Vect(M, uj) should be solved independently. For each X G Vect(M, uj) denote by ax the closed 1-form such that ax = ix^. For all vector fields X, Y G Vect(M, u>) we have the following equality: (6) uj(X,Y)uj n = na x Aa Y Alu 71 - 1 which can be easily checked in Darboux coordinates. Denote by Xf a Hamiltonian vector field defined by a function / G G°°(M). Consider the Poisson algebra P(M) = P(M, uj) on (M, uj), i.e., the algebra G°°(M) endowed with the Poisson bracket {/, g} = —uj(Xf,X g ) for f,g G C°°(M). The map P(M) — » Vecto(M, ui) given by / — > is a homomorphism of Lie algebras which defines an extension of Vecto(M, ui) by M.. It is easy to check that this extension is isomorphic to one given by the cocycle — c Xo . Theorem 6.2. For a non-compact symplectic manifold (M, w) the cocycle c Xo on the Lie algebras Vect (M ', uj) and Vecto(M, uj) is non-trivial. Proof. It suffices to prove our statement for the Lie algebra Vecto(M, uj). First we prove that for each form /3 G fl 2n ~ 1 (M) there is a unique form a G 9}(M) such that (3 = a A w n_1 . Indeed, using Darboux coordinates it is easy to check that this has a unique local solution a. These are compatible and we get a global solution by gluing them. 8 Note that for each form a £ Q}(M) there is a positive integer N and 2N functions fk,gk 6 C°°{M) (k = 1,...,N) such that a — J2k=i fkdgk which follows easily from the existence (by dimension theory) of a finite atlas for M. Since H 2n (M, M) = there is a form f3 e ^"^(M) such that w n = dp. Then we have w" = J2k=i dfk A dgfc A w n_1 . By ® and using this equality we get N (7) = fc=l Assume that the extension P{M) -> Vect (M,w) P(M) ->■ Vect (M,w) is split. Then P(M) is a direct sum of the space of constant functions on M and an ideal isomorphic to Vect (M, uj) by P(M) — > Vecto(M, w). Equality J7J means that these summands have nonzero intersection. This contradiction proves the statement. □ Now we consider a compact symplectic manifold (M, uj). It is known that the extension P{M) — » Vecto(M, uj) is split. For a closed form a denote by [a] the cohomology class of a. Denote by L the linear map H P (M,M) -> HP +2 (M,M) defined by a ->• a - [w] , where a G iJ p (M,K). Theorem 6.3. Let {M,oj) be a compact symplectic manifold. The cocycle c Xa on the Lie algebra Vect(Af, uj) is non-trivial iff the linear map L n - X : H\M,R) -v H^-^M^) is not equal zero. Proof. We may assume that J M u> n = 1. Put for brevity V = Vect(M, u>) and V Q = Vect (M,w). Set b(X,Y) = / u(X,Y)u n , J M where X, Y S V. It is easy to check that & is a 2-cocycle on V. Multiplying both sides of equality ijSJ) by ui n and integrating over M we get (8) b{X, Y) - c X0 (X, Y) = QT i [XiY] a?j u> n . Since the right hand side of © is a coboundary of a 1-cochain in C 1 (V,IR), the cocycles c Xo and b are cohomologous. By © we have (9) b{X,Y) = n a x /\a Y Auj n -\ Jm for any X, Y e V. If X e V the form a x is exact, and b(X, Y) = by ©. This proves (1). Suppose that the cocycle b is trivial, i.e., there is a linear functional / on V such that for any X, Y e V we have 6(X, Y) = f([X, Y]). By Q] we have [F, 7] = [K>> K>] = Vb- This implies b = 0. So the cocycle 6 is trivial iff it equals zero. By © and the Poincare duality this implies that U 1 ^ 1 — on H 1 (M, K). This proves (2). * □ 9 We know no example when H 1 (M, K) ^ and the map L n 1 = 0. Moreover, if M is a compact Kahlerian manifold the map L 71 ^ 1 : H 1 {M,R) -> iJ 2 " _1 (M,K) is an isomorphism (see, for example, ch. 4). Thus in this case the cocycle c Xa is non- trivial whenever /^(M.K) ^ 0. References [1] V. I. Arnold, The one- dimensional cohomology of the Lie algebra of divergence-free vector fields, and the winding numbers of dynamical systems, Functional. Anal. Appl., 3, no. 4,(1969), 77-78 (Russian). English translation: Functional. Anal. Appl., 3,(1969), 319-321. [2] J.-L. Dupont, A. Guichardet. A propos de I'article "Sur la cohomologie reele des groupes de Lie simples reels", Ann. Sci. Ec. Norm. Sup., 11 (1978), 293-296. [3] W.T. van Est, Group cohomology and Lie algebra cohomology in Lie groups. I, II, Indaga- tiones Mathematicae, 15 (1953), 484-492; 493-504. [4] A. Guichardet, Cohomologie des groupes topologiques et des algebres de Lie, Cedic/Nathan, Paris, 1980. [5] A. Guichardet, D. Wigner, Sur la cohomologie reele des groupes de Lie simples reels, Ann. Sci. Ec. Norm. Sup., 11 (1978), 277-292. [6] C. Godbillon , Geometrie differentielle et mecanique analytique, Hermann, Paris, 1969. [7] R.S. Ismagilov, Infinite-dimensional groups and their representations, in: Proc. Intern. Con- gress Math. (Warszawa, 1983), 861-875 (Russian). [8] S. MacLane, Homology, Grundlehren 114, Springer- Verlag, 1963. [9] G.D. Mostow, Cohomology on topological groups and solvmanifolds, Ann. Math., 73 (1961), 20-48. [10] Y.A. Neretin, Central extensions of groups of symplectomorphisms, |arXiv:math.DG/0406213| [11] A. Weil, Introduction a I'etude des varietes kdhleriennes, Hermann, Paris, 1958. R. S. Ismagilov: Bauman Moscow State University, 2-nd Baumanskaya Str. 5, 107005 Moscow, Russia. E-mail address: ismagilOserv.bmstu.ru M. Losik: Saratov State University, Astrakhanskaya 83, 410026 Saratov, Russia. E-mail address: LosikMVOinfo.sgu.ru P. W. Michor: Fakultat fur Mathematik, Universitat Wien, Nordbergstrasse 15, A- 1090 Wien, Austria; and: Erwin Schrodinger Institute of Mathematical Physics, Boltz- MANNGASSE 9, A-1090 WlEN, AUSTRIA. E-mail address: Peter . MichorOesi . ac . at