Skip to main content

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