arxiv: v1 [math.sg] 27 Mar 2019

Transcription

1 HOMOLOGICALLY TRIVIAL SYMPLECTIC CYCLIC ACTIONS NEED NOT EXTEND TO HAMILTONIAN CIRCLE ACTIONS RIVER CHIANG AND LIAT KESSLER arxiv: v [math.sg] 27 Mar 209 Abstrat. We give examples of sympleti ations of a yli group, inuing a trivial ation on homology, on four-manifols that amit Hamiltonian irle ations, an show that they o not exten to Hamiltonian irle ations. Our work applies holomorphi methos to exten ombinatorial tools evelope for irle ations to stuy yli ations.. Introution.. Question. Does every homologially trivial sympleti yli ation exten to a Hamiltonian irle ation on lose onnete sympleti four-manifols that amit Hamiltonian irle ations? By a yli ation we mean an ation of a yli group Z n = Z/nZ of finite orer < n <. An ation is alle homologially trivial if it inues the ientity map on homology. A irle ation is always homologially trivial beause the irle group is onnete. An effetive sympleti ation of a Lie group G on a sympleti manifol (M,ω) is alle Hamiltonian if it amits a moment map, i.e., an equivariant smooth map Φ: M g suh that the omponents Φ ξ = Φ,ξ satisfy Hamilton s equation Φ ξ = ι(ξ M )ω, for all ξ g. Here ξ M is the vetor fiel that generates the ation on M of the oneparameter subgroup {exp(tξ) t R} of G. There are four-manifols that amit sympleti yli ations but not irle ations [6, 7]. Here we are only intereste in the sympleti manifols that amit Hamiltonian irle ations. Question. was aske by Jarek Kera at the Hofer 20 onferene in Einburgh in July 200. It remaine open sine then. In this paper we show that the answer is No. The novelty of our work is in the appliation of holomorphi methos to exten ombinatorial tools evelope for irle ations to stuy yli ations. In Setion 5 we give an example of a sympleti ation of Z 2, ating trivially on homology, on a sympleti manifol M that is obtaine from CP 2 with the Fubini Stuy form by six sympleti blowups, an show that it annot exten to a Hamiltonian irle ation, 200 Mathematis Subjet Classifiation. 53D35, 53D20, 57R7, 57S5.

2 2 RIVER CHIANG AND LIAT KESSLER though the manifol oes amit a Hamiltonian irle ation. Note that H (M;R) = {0}, hene every sympleti irle ation on M is Hamiltonian. In the onstrution of the Z 2 -ation, we start from a Hamiltonian irle ation on CP 2 blown up sympletially five times, that amits a Z 2 -fixe sphere, an perform a Z 2 - equivariant omplex blowup at a point in the Z 2 -fixe sphere that is not S -fixe. We use Nakai s riterion for the existene of a Kähler form in a ohomology lass, as well as the fat that the obtaine omplex manifol is a weak el Pezzo surfae of egree 3, an the results of Brue Wall [5] on holomorphi urves in ubi surfaes. We then apply the results of Li Liu [2], Taubes Seiberg Witten [30] an Karshon Kessler [8] to show that this Kähler form is obtaine by sympleti blowups, of ertain sizes, from the Fubini Stuy form on CP 2. IntheproofthattheationoesnotextentoaHamiltonianirleation, weshowthat the onfiguration of invariant spheres of negative self intersetion in the onstrute Z 2 - ation is ifferent from that of any Hamiltonian irle ation on the sympleti manifol. For this we use the eorate graphs assoiate to Hamiltonian irle ations on fourmanifols by Karshon[5] an Karshon Kessler Pinsonnault[9] haraterization of irle ations on sympleti blowups of CP 2. In Setion 6 we give an example of a homologially trivial sympleti ation of Z 2 on a sympleti manifol that is obtaine by three sympleti blowups from Σ S 2 with a sympleti ruling, where Σ is a Riemann surfae of positive genus. Weshow that it annot exten to a Hamiltonian irle ation, though the manifol oes amit a Hamiltonian irle ation. In this setion we use Holm Kessler [4] haraterization of Hamiltonian irle ations on sympleti four-manifols that are not simply onnete. We onlue our paper, in Setion 7, with remarks onerning the generator of the Z 2 -ation from Setion 5. Aknowlegements. We thank Yael Karshon an Leoni Polterovih for telling us about Kera s question. We thank them as well as Masanori Kobayashi an Kaoru Ono for helpful suggestions an stimulating isussions. We thank Shin-Yao Jow for teahing us how to o Claim 6.2 (iii). RC is supporte by MoST M an NCTS, Taiwan. 2. Hamiltonian irle ations an eorate graphs A Hamiltonian S -spae is a triple (M,ω,Φ) that onsists of a lose onnete sympleti four-manifol (M,ω) with a Hamiltonian S -ation an moment map Φ : M R, where we ientify the Lie algebra of S an its ual with R. The moment map Φ is a Morse Bott funtion whose ritial set orrespons to the fixe point set of the ation,

3 CYCLIC ACTIONS NEED NOT EXTEND TO CIRCLE ACTIONS 3 whih is a union of sympleti submanifols by the loal normal form theorem for Hamiltonian ations. Sine M is four-imensional, the ritial set ontains only isolate points an two-imensional submanifols. The latter an only our at the extrema of Φ. The maximum an minimum of the moment map is eah attaine on exatly one omponent of the fixe point set. An S invariant Riemannian metri, on a Hamiltonian S -spae (M,ω,Φ) is alle ompatible if the automorphism J: TM TM efine by, = ω(,j ) is an almost omplex struture, i.e., J 2 = I. Suh a J is S invariant, an we refer to it as a ompatible almost omplex struture. With respet to a ompatible metri, the graient vetor fiel of the moment map is (2.) graφ = Jξ M, where J is the orresponing almost omplex struture an ξ M is the vetor fiel that generates the S -ation. The vetor fiels ξ M an Jξ M generate a C = (S ) C ation. The losure of a non-trivial C orbit is a sphere, alle a graient sphere. On a graient sphere, S ats by rotation with two fixe points at the north an south poles; all other points on the sphere have the same stabilizer. A graient sphere is smooth at its poles exept in the following situation []: if the graient sphere is free (i.e., of trivial stabilizer) an the pole in question is an isolate minimum (or maximum) of Φ with both isotropy weights > (or < ). In partiular, a non-free graient sphere is smoothly embee. The existene of non-free graient spheres oes not epen on the ompatible metris (or almost omplex strutures); eah of these oinies with a Z n -sphere for some n >, whih is a onnete omponent of the losure of the set of points in M with stabilizer Z n. On the other han, a free graient sphere onneting two interior fixe points an break into two free graient spheres onneting to the maximum an minimum respetively, after a perturbation of ompatible metris in its neighborhoo. This is emonstrate in Figure 2., where the free graient spheres are epite as eges of label (as explaine in the following paragraph). For a generi ompatible metri on (M, ω, Φ), there exists no free graient sphere whose north an south poles are both interior fixe points [5, Corollary 3.8]. With eah Hamiltonian S -spae, we assoiate a eorate graph as follows. For eah isolate fixe point, there is a vertex labele by its moment map value. For eah fixe surfae S, there is a fat vertex labele by its moment map value, its size ω, an 2π S its genus g. The moment map value etermines the vertial plaement of a (fat or not) vertex. The horizontal plaement is one at liberty. For eah Z n -sphere, n >, there is an ege onneting the verties orresponing to its fixe points an labele by the integer n. We a eges labele for free graient spheres so that any vertex orresponing to an interior fixe point is attahe to one ege from above an one ege from below. We may a a number of reunant eges labele for free graient spheres from the

4 4 RIVER CHIANG AND LIAT KESSLER max min Figure 2.. Effet on the free graient spheres after a hange of ompatible metri (or almost omplex struture). maximum of Φ to the minimum of Φ if is an isotropy weight (subjet to sign) for both the maximum an minimum. Two Hamiltonian S -spaes (M,ω,Φ) an (M,ω,Φ ) are isomorphi if an only if they have the same eorate graph without reunant eges for a generi ompatible metri [5, Proposition 4.]. Vertial translations of the graph orrespon to equivariant sympletomorphisms of the assoiate manifol, an flips upsie own orrespon to automorphisms of the irle Remark. The eorate graph efine here is the extene graph in [5, Setion 5], whih as eges of label to the graph in [5, Setion 2.]. For a generi ompatible metri, the extene graph without reunant eges is etermine by the graph [5, Lemma 3.9] Remark. Sine the Hamiltonian S -ation is require to be effetive, only eges of label an emerge fromafixe surfae. Two eges sharing thesame vertex have relatively prime ege labels sine they represent the isotropy weights at the fixe point (subjet to sign). Moreover, the sphere S orresponing to an ege of label n is a sympleti sphere whose size ω is /n of the ifferene of the moment map values of its verties. 2π S 2.4. Remark. In our figures, we often omit some of the labels. We omit the moment map labels; they are represente by the heights of the verties. We omit the genus labels: in Setions 3 an 5, the genus labels are 0; in Setion 6, the genus labels g = g(σ) are positive. We omit the size labels; the with of fat verties, or any horizontal spae of the graphs, oes not arry atual meanings. We omit the ege label for free graient spheres. A (parametrize) J-holomorphi urve is a map from a ompat Riemann surfae to an almost omplex manifol, f: (Σ, j) (M, J), that satisfies the Cauhy Riemann equation f j = J f.

5 CYCLIC ACTIONS NEED NOT EXTEND TO CIRCLE ACTIONS 5 When Σ = CP, the map f is alle a (parametrize) J-holomorphi sphere. By (2.) an the fat that a non-free graient sphere is smoothly embee, we an eue that eah Z n -sphere is J-holomorphi. This is a general phenomenon for embee non-free spheres by the following lemma: 2.5. Lemma. Let (M,J) be an almost omplex manifol suh that J is invariant uner an ation of a ompat Lie group G on M, i.e., σ g J = J σ g for all g G. Let S be an embee sphere in M. Assume that S is a onnete omponent of the fixe point set of a non-trivial subgroup {e} H < G. Then S is a J-holomorphi sphere. Proof. First, it follows from the loal normal form of a ompat Lie group ation on a manifol that TS = {v TM σ h v = v for all h H}. Sine eah of the maps σ h is J-holomorphi, for every w TS, the vetor Jw satisfies σ h (Jw) = J(σ h w) = Jw. Hene TS is lose uner J. As an almost omplex manifol of real imension two, (S,J TS ) is a omplex manifol, an the embeing of the sphere is J-holomorphi (with respet to this omplex struture). Equivariant sympleti blowups. Reall that we an think of a sympleti blowup of size δ = r 2 /2 as utting out an embee ball of raius r an ientifying the bounary to an exeptional sphere via the Hopf map. This arries a sympleti form that integrates on the sphere to 2πδ. For more etails see [3] an [26, Setion 7.]. If the embeing of the ball is G-equivariant entere at a G-fixe point, then the G-ation extens to the sympleti blowup, see etails in [7]. If the ation is Hamiltonian, its moment map naturally extens to the equivariant sympleti blowup. For all the possible effets of S -equivariant sympleti blowups at fixe points of a Hamiltonian S -spae (M,ω,Φ), see Figures 2.2, 2.3, an 2.4, together with Figures 2.3 an 2.4 turne upsie own [5] Remark. By [5, Proposition 7.2], a Hamiltonian S -spae amits an S -equivariant blowup of size δ > 0 entere at some fixe point if an only if one obtains a vali eorate graph after the blowup. That is, the (fat or not) verties reate in the blowup o not surpass the other pre-existing (fat or not) verties in the same hain of eges, an the fat verties after the blowup have positive size labels. For quantitative esription, see [7, Lemma 3.3]. 3. Blowups of CP 2 Sympleti blowups of CP 2. For eah nonnegative integer k, let M k enote a omplex blowup of the omplex projetive plane CP 2 at k points. We have a eomposition (3.) H 2 (M k ) = ZL ZE... ZE k,

6 6 RIVER CHIANG AND LIAT KESSLER α m n m α+mδ m+n α nδ n Figure 2.2. S -equivariant blowup at an interior fixe point. α+δ (Φ, size, genus) = (α,v,g) (α,v δ,g) Figure 2.3. S -equivariant blowup at a point on the minimal surfae. m α n m α+mδ m n n α+nδ α (α+δ,δ,0) Figure 2.4. S -equivariant blowup at an isolate minimum, where m > n. where L is the image of the homology lass of a line CP in CP 2 uner the inlusion map H 2 (CP 2 ) H 2 (M k ) an E,...,E k are the homology lasses of the exeptional ivisors. As a smooth oriente manifol, M k is CP 2 #kcp 2, the manifol that is obtaine form CP 2 (with the stanar orientation) by k iterations of onnete sum with CP 2 (i.e., CP 2 with the opposite orientation) Definition. A blowup form on M k is a sympleti form for whih there exist pairwise isjoint embee sympleti spheres in the lasses L,E,...,E k Lemma. [8, Lemmas.5,.6] The set of blowup forms on M k is an equivalene lass uner the following equivalene relation: sympleti forms ω an ω on M k are equivalent if an only if there exists a iffeomorphism f: M k M k that ats trivially on homology an suh that f ω an ω are homotopi through sympleti forms. Any two ohomologous blowup forms on M k are iffeomorphi by a iffeomorphism that ats trivially on homology. This is a result of the work of Gromov an MDuff, [2, 2.4.A, 2.4.A ], [23], [26, Proposition 7.2], an [24]. For a blowup form ω on M k, the vetor ( [ω],l ; [ω],π 2π,..., [ω],π k ) efine by the pairing of its ohomology lass with the homology lasses (L;E,...,E k ) equals the vetor ( ω; 2π C 2π C ω,..., 2π C k ω), where C, C,...,C k are embee sympleti spheres in L, E,...,E k. We will say that the blow up form (or its ohomology lass) is

7 CYCLIC ACTIONS NEED NOT EXTEND TO CIRCLE ACTIONS 7 enoe by this vetor. By Lemma 3.3, the blowup form on M k enoe by the vetor (λ;δ,...,δ k ) isunique upto aiffeomorphism that atstrivially onhomology. Weenote any of these sympleti manifols by (M k,ω λ;δ,...,δ k ). By Li Liu [2, Theorem A] an Taubes Seiberg Witten theory [30], for every sympleti form on M k with a stanar anonial lass, that is, for whih the pairing of the first Chern lass (TM k ) with (L;E,...,E k ) equals 2π(3;,...,), the lasses L,E,...,E k are represente by sympletially embee spheres. The next orollary follows. See [8, Remark 6.]. See also the isussion in Salamon [29, Examples 3.8, 3.9, 3.0] Corollary. [8, Remark 6.] Every sympleti form on M k with a stanar anonial lass is a blowup form. 3.5.Definition. Letk 3, anlet λ,δ,...,δ k berealnumbers. Thevetor (λ;δ,...,δ k ) is reue if (3.6) δ... δ k an δ +δ 2 +δ 3 λ. In [8, Theorem.9], Karshon an Kessler show, using the work of Li Li [20], that for a vetor (λ;δ,...,δ k ) with positive entries that is reue an that satisfies the volume inequality λ 2 δ 2... δ k 2 > 0, there exists a blowup form ω λ;δ,...,δ k. Hamiltonian S -ations on blowups of CP 2. The eorate graphs, or their upsieown version, of Hamiltonian S -ations on M, namely, CP 2 blown up at a point, with a blowup form ω λ;δ are shown in Figures 3. an 3.2; the integer n = 2l with l < λ/(λ δ ). We also mark the homology lasses that orrespon to the eges. L E ll (l )E L E n+ ( l+)l +le n ll (l )E L E ( l+)l +le L E Figure 3.. Deorate graphs for (M,ω λ;δ ) with only isolate fixe points, where n = 2l an l < λ/(λ δ ) Remark. Every Hamiltonian irle ation on CP 2 blown up one extens to a Hamiltonian torus ation [6, Theorem ]. Hene one an reover the eorate graphs in Figures 3. an 3.2 from the moment polytopes of tori ations, stanar Hirzebruh trapezois in this ase, by projetion along lines with a rational slope.

8 8 RIVER CHIANG AND LIAT KESSLER ( l+)l +le L E n ( l+)l +le ll (l )E L E L E L E ll (l )E Figure 3.2. Deorate graphs for (M,ω λ;δ ) with or 2 fixe surfaes, where n = 2l an l < λ/(λ δ ). Karshon Kessler Pinsonnault [9] provie a haraterization of Hamiltonian irle ations on blowups of CP 2 as follows: 3.8. Theorem. [9, Theorem.2] For k 3, every Hamiltonian irle ation on M k with a blowup form enoe by a reue vetor (λ;δ,...,δ k ) is obtaine from a Hamiltonian irle ation on (M,ω λ;δ ) by a sequene of S -equivariant sympleti blowups of sizes δ 2,...,δ k, in this orer. Weak el Pezzo surfaes. A weak el Pezzo surfae M is a smooth projetive surfae whose anti-anonial lass K M is nef an big. Its egree is the number of the selfintersetion of the anti-anonial lass. Any weak el Pezzo surfae M is isomorphi to CP CP, the Hirzebruh surfae F 2 (both of egree 8), or a blowup of CP 2 at 0 k 8 points in almost general position (of egree 9 k), that is, M = M k M k M M 0 = CP 2 where eah π : M i M i is the blowup at a point p i M i not lying on a ( 2)- urve on M i. For etails, see [0, Setion 8], or [2],[8],[9, Setion III] (where they are alle Gorenstein log el Pezzo surfaes, generalize el Pezzo surfaes, rational surfaes of negative type, respetively). 4. Blowups of Σ S 2 Sympleti blowups of Σ S 2. Let (Σ,j) be a ompat onnete Riemann surfae of positive genus g = g(σ) > 0 enowe with a omplex struture j. We fix a smooth struture on the trivial bunle Σ S 2, an equip it with the prout omplex struture, in whih eah fiber is a holomorphi sphere. We fix basepoints S 2 an Σ, an enote F := [ S 2 ], B := [Σ ], the homology lasses in H 2 (Σ S 2 ;Z). For a non-negative integer k, let W k enote a omplex blowup of Σ S 2 at k points. Let E,...,E k enote the homology lasses of the exeptional ivisors. We say that a vetor (λ F,λ B ;δ,...,δ k ) in R 2+k enoes a ohomology lass Ω H 2 (W k ;R) if 2π Ω,F = λ F, 2π Ω,E j = δ j for j =,...,k, an 2π Ω,B = λ B.

9 CYCLIC ACTIONS NEED NOT EXTEND TO CIRCLE ACTIONS 9 For k 2, we say that a ohomology lass Ω H 2 (W k ;R) enoe by a vetor (λ F,λ B ;δ,...,δ k ) is reue if δ δ k an δ +δ 2 λ F. 4..Definition. Ablowup formonw k isasympleti formforwhihthereexist isjoint embee sympleti spheres (oriente by the sympleti form) in the homology lasses F,E,...,E k. By [24], the blowup form on W k (whose ohomology lass is) enoe by the vetor (λ F,λ B ;δ,...,δ k ) is unique up to a iffeomorphism that ats trivially on homology. We enote any of these sympleti manifols by (W k,ω λf,λ B ;δ,...,δ k ). Hamiltonian S -ations on blowups of Σ S 2. By [5, Theorem 6.3 an Lemma 6.5], the eorate graph of a Hamiltonian irle ation on Σ S 2 with ω λf,λ B onsists of two fat verties with the same genus label g; moreover the ifferene of their heights is λ F an their area labels are {r,r + ns} suh that r > 0, the integer n = 2l with 0 l < λ B /λ F, an r +lλ F = λ B. See also [4, Proposition 3.2]. The eorate graphs with a reunant ege are shown in Figure 4.. We also mark the homology lasses that orrespon to the eges. B +lf B lf F F B lf B +lf Figure 4.. Deorate graphs for (Σ S 2,ω λf,λ B ) where n = 2l an 0 l < λ B /λ F. Holm Kessler [4] provie a haraterization of Hamiltonian irle ations on blowups of Σ S 2 as follows Theorem. [4, Theorem 2.3] For k, let ω be a blowup form on W k whose ohomology lass is enoe by a vetor (λ F,λ B ;δ,...,δ k ); if k 2 assume that [ω] is reue. Then every Hamiltonian irle ation on (W k,ω) is obtaine from a Hamiltonian irle ation on (Σ S 2,ω λf,λ B ) by a sequene of S -equivariant sympleti blowups of sizes δ,δ 2,...,δ k, in this orer. 5. The example in the simply onnete ase 5.. We onstrut a Z 2 -ation on M 6 with a blowup form ω ; 2, 4, 4, 4, 3 as follows: 6, 8 Start from a (CP 2 #CP 2,ω ; ) with the Hamiltonian irle ation whose eorate graph 2

10 0 RIVER CHIANG AND LIAT KESSLER is given in Figure 3.2 on the right with l =. The top fat vertex orrespons to an S -fixe sympleti sphere in E of size /2, an the bottom fat vertex orrespons to an S -fixe sympleti sphere in L of size. Then perform three S -equivariant sympleti blowups of size /4: one at the top fat vertex prouing, an two at the bottom fat vertex prouing an E 4. Next, perform an S -equivariant sympleti blowup of size 3/6 at the interior fixe point reate in the previous blowup. We obtain a Hamiltonian irle ation on M = M 5 with a blowup form ω = ω ; 2, 4, 4, 4, 3 whose assoiate eorate 6 graph, obtaine as in Figures , is shown on the left of Figure 5.. Note that the E E L E L E E 4 E 5 L E L E E 4 E 5 2 E 5 L E E 6 2 E 5 L E E 4 E 5 E 6 E 4 E 5 L E 4 L E 4 E 6 Figure 5.. Speial eorate graphs. ege reate in the last blowup is labelle 2, i.e., it orrespons to a Z 2 -sphere in E 5. By [5, Theorem 7.], (M,ω) amits an integrable omplex struture suh that the S -ation is holomorphi an the sympleti form is Kähler. Now perform a Z 2 -equivariant omplex blowup at a point p in the Z 2 -sphere in E 5 that is not an S -fixe point. Let π: M M be the equivariant omplex blowup map. Let Ẽ6 = π (p) be the exeptional ivisor an Ξ 6 be its Poinaré ual in H 2 ( M). Let Ω := π Ω 8 Ξ 6, where Ω is the ohomology lass of ω. We laim that Ω ontains a Kähler form. By Nakai s riterion (see [], [5, Lemma C.], or [25], for example), the ohomology lass Ω on the omplex surfae M is represente by a Kähler form if an only if Ω 2 > 0 an Ω,[C] > 0 for every omplex urve C M. Note that M is a weak el Pezzo surfae of egree 9 6 = 3 an type A4, see [5]. Its ( 2)- an ( )-urves are in the lasses (5.2) E 4 E 5, E 5 E 6, L E E 4 E 5, E E 6, L E 4,, L E, L E, as an be seen in Figure 5.2. Note Figure 5.2 is not a eorate graph for a Hamiltonian S -spae, but illustrates the Z 2 -invariant spheres on M.

11 CYCLIC ACTIONS NEED NOT EXTEND TO CIRCLE ACTIONS E L E E 4 E 5 L E E E 5 E 6 6 L E L E 4 E 4 E 5 Figure 5.2. Speial onfiguration. The first 7 lasses in (5.2) form a basis of the Piar group an therefore the Z 2 -ation inues the ientity map on homology. All 0 lasses in(5.2) minimally generate the effetive one (see, e.g., [3, Proposition ]). Substituting thevetor 2π(; 2, 4, 4, 4, 3 6, 8 ) as the pairing of Ω with (L;E,...,E 6 ), we verify that Ω 2 > 0 an that Ω,[C] > 0 for eah of these negative urves an hene for every irreuible urve. Therefore, by Nakai s riterion, Ω ontains a Kähler form. By averaging with respet to the holomorphi Z 2 - ation, (an sine the ation is ientity on homology), we obtain an invariant Kähler form ω in Ω. Note that the form ω is with a stanar anonial lass. Hene, by Corollary 3.4, the sympleti form ω is a blowup form on M = M 6. Hene we obtain a homologially trivial sympleti Z 2 -ation on M 6 with a blowup form ω ; 2, 4, 4, 4, 3. The ajuntion formula implies that the Z 6, 2 -fixe spheres in E, 8 E 5 E 6, an L E 4 are all embee. On (M 5,ω ; 2, 4, 4, 4, 3 ) with the Hamiltonian irle ation assoiate with the eorate 6 graph on the left of Figure 5., we an instea perform an S -equivariant sympleti blowup to obtain the eorate graph shown on the right of Figure 5.. This shows that (M 6,ω ; 2, 4, 4, 4, 3 ) amits a Hamiltonian S -ation. 6, We laim that there is no Hamiltonian irle ation that extens the onstrute Z 2 -ation. Assume that there is suh a Hamiltonian irle ation. Note that the vetor (;,,,, 3, ) is reue. By Theorem 3.8, this irle ation on (M 6,ω ; 2, 4, 4, 4, 3 ) is obtaine from a Hamiltonian irle ation on (CP 2 #CP 2,ω 6, 8 ; ) 2 by performing five equivariant sympleti blowups of sizes /4, /4, /4, 3/6, /8 in this orer. The possible eorate graphs for (CP 2 #CP 2,ω ; ), up to the equivalene relation 2 of flips an vertial translations, are the graphs in Figures 3. an 3.2 with l = n =, sine l < λ/(λ δ ) = /( /2). The possible eorate graphs for the S - equivariant sympleti blowups of the presribe sizes are shown in Figures At eah stage, the olor blue iniates insuffiient size to arry out the next blowup in line (f. Remark 2.6). For the eorate graphs in Figure 3. an on the left of Figure 3.2, the possible S - equivariant sympleti blowups that proue of size /4 are shown in Figures 5.3, 5.4,

12 2 RIVER CHIANG AND LIAT KESSLER 5.7, an 5.9. The possible S -equivariant sympleti blowups that proue of size /4 subsequently are shown in Figures 5.5, 5.6, 5.8, an 5.0. The S -equivariant sympleti blowups that proue E 4 of size /4 next an no longer be arrie out on these eorate graphs ue to size onitions. For the eorate graph on the right of Figure 3.2, there are only two ways to perform three S -equivariant sympleti blowups that proue,, an E 4 of size /4: their eorate graphs are shown in Figure 5.. The possible S -equivariant sympleti blowups that proue E 5 of size 3/6 subsequently are shown in Figures Remark. The following graphs an be interhange by a hange of ompatible metri (or almost omplex struture): the last two in Figure 5.9, 5.0, or 5.6; the two in Figure 5.2 or 5.5; the three in Figure 5.4. By Lemma 2.5, for every S -invariant ompatible almost omplex struture J, the embee spheres of non-trivial stabilizers are J-holomorphi; hene the fat verties an the eges of label greater than in the eorate graphs orrespon to J-holomorphi spheres. After the last S -equivariant sympleti blowup that proues E 6 of size /8, we will get a J-holomorphi sphere in one of the following lasses: E 5 ; E E i E 5 for i = 2, 3, 4; E E i E 6 for i = 2, 3, 4, 5; L E i E j E k with i, j, k {2, 3, 4, 5} an i < j < k; L E i E j E k E l with i, j, k, l {2, 3, 4, 5, 6} an i < j < k < l. By the onstrution of the Z 2 -ation an the assumption that the irle ation extens the Z 2 -ation, there are Z 2 -fixe embee spheres in E, L E 4, an E 5 E 6. By Lemma 2.5 again, there are J-holomorphi spheres in these lasses. Note that E 5 (E 5 E 6 ) = ; (E E 5 ) (E ) = 2, an (E E i E 5 ) (E ) = for i = 3, 4; (E E 6 ) (E ) = 2, an (E E i E 6 ) (E ) = for i = 3, 4, 5; (L E j E k ) (E ) =, where j, k {3, 4, 5} an j < k, an (L E 4 E 5 ) (L E 4 ) = ; (L E j E k E l ) (E ) =, where j, k, l {3, 4, 5, 6} an j < k < l, an (L E 4 E 5 E 6 ) (L E 4 ) =. In eah of the above ases we have a ontraition to the positivity of intersetions of J-holomorphi spheres [27, Appenix E an Proposition 2.4.4].

13 CYCLIC ACTIONS NEED NOT EXTEND TO CIRCLE ACTIONS 3 L L E + L L E 2 L L E + L E E L E E L E E Figure 5.3. Blowup ( ) at the minimum of the left graph of Figure 3. with <, = =, >. L + L E L E + E L L E + L E E L E L L E + 2+ E Figure 5.4. Blowup ( ) at a non-minimal fixe point of the left graph of Figure 3.. L E L + L E E L L E 2 L E E L L E L E + E Figure 5.5. Blowup ( ) at the maximum from Figure 5.3. Blowup (E 4 ) an not be performe afterwar ue to size onsieration Remark. There is another homologially trivial Z 2 -ation that oes not exten to a Hamiltonian irle ation on M 6 with a blowup form in the ohomology lass Ω: start from the Hamiltonian S -spae with the eorate graph on the right of Figure 5., perform an S -equivariant blowup at an interior fixe point to get a Z 2 -sphere in E 5 ; an then perform a Z 2 -equivariant omplex blowup at a point in this Z 2 -sphere that is not an S -fixe point; the resulting omplex manifol is again a weak el Pezzo surfae of egree 3 an type A 4 ; its ( 2)- an ( )-urves are in the lasses L E E 4 E 5, E 5 E 6, E 4 E 5, L E 4, E 6, E,,, L E, L E, with embee

14 4 RIVER CHIANG AND LIAT KESSLER L L E + L L E L E E L E E Figure 5.6. Blowup ( ) from Figure 5.4 at a non-minimal fixe point, or with, swithe. Blowup ( ) at a minimum from Figure 5.4 goes bak to blowup ( ) from Figure 5.3 with, swithe. Again the blowup (E 4 ) an not be performe afterwar ue to size onsieration. E L E L E 2 L E L E + L E L E L E L L E L E L E L E Figure 5.7. Blowup( )oftherightgraphoffigure3.. Note > an so 2 >. L E E + L L E E 2 L L E E L L E L E L E Figure 5.8. Blowup ( ) from Figure 5.7 or with, swithe. Due to size onitions, the blowup (E 4 ) an not be performe afterwar. Z 2 -fixe spheres in E, E 5 E 6 an L E 4 (see Figure 5.7); the rest is one by similar arguments. 6. The example in the non-simply onnete ase 6.. We onstrut a Z 2 -ation on W 3 with a blowup form ω,; 3 5, 7 20, 3 as follows: 0 Start from the Hamiltonian S -ation on (Σ S 2,ω, ) whose eorate graph is in Figure 4. with l = 0. Perform an S -equivariant sympleti blowup of size 3 at a point in the 5

15 CYCLIC ACTIONS NEED NOT EXTEND TO CIRCLE ACTIONS 5 L E L E L E L 2 E L L E L E E L E L E L E L E L E Figure 5.9. Blowup ( ) of the left graph of Figure 3.2. L E 2 E L L E E L L E E L L E L E L E Figure 5.0. Blowup ( ) from Figure 5.9 or with, swithe. The blowup (E 4 ) an not be performe afterwar ue to size onition. E E i E E i L E E j L E E k L E L E L E E 4 L E E i E j E k E 4 L E j E k L E 4 Figure 5.. Three blowups of the right graph of Figure 3.2 with {i,j,k} = {2,3,4}. Due to size onitions, at most one blowup an be performe at the maximal surfae. None of these blowups an be performe at an interior fixe point reate by a previous blowup. E E i E 5 E E i E 5 Figure 5.2. If the blowup (E 5 ) is performe on the maximal surfae of the left graph of Figure 5., then E E i E 5, i {2,3,4}, remains after the next blowup (E 6 ) beause of size onsieration. minimal fixe surfae, followe by an S -equivariant blowup of size 7 at the obtaine 20 interior fixe point, to get a Z 2 -sphere in. We get a Hamiltonian irle ation on M = W 2 with a blowup form ω = ω,; 3 5, 7, whose eorate graph is shown on the left 20 of Figure 6.. By [5, Theorem 7.], (M, ω) amits an integrable omplex struture suh that the S -ation is holomorphi an the sympleti form is Kähler. Now perform a Z 2 -equivariant omplex blowup π: M M

16 6 RIVER CHIANG AND LIAT KESSLER E i E 5 L E E k E 5 2 E 5 2 E 5 L E E i E 5 E k E 5 Figure 5.3. If the blowup (E 5 ) is performe at an interior fixe point of the left graph of Figure 5., then E 5 remains after the next blowup (E 6 ) ue to size onsieration. Here i,k {2,3,4}. E E i E E i E i L E E j L E E k E i L E E j L E E k L E E i E 5 E k E 5 E 5 E j E k L E E i E j E 5 L E j E k E 5 L E j E k E 5 E E i E i L E E j L E E k L E E 5 L E E i E j E k E 5 L E j E k E 5 Figure 5.4. Blowup (E 5 ) on the minimal surfae of the left graph of Figure 5. where {i,j,k} = {2,3,4}. If the next blowup (E 6 ) is performe on the minimal surfae, it proues L E j E k E 5 E 6. If the next blowup (E 6 ) is performe on the maximal surfae, it proues E E i E 6. If the next blowup (E 6 ) is performe at an interior fixe point, the minimal surfae remains as L E j E k E 5. E E 5 E E 5 E 5 E 5 L E E k E 5 E k L E E 5 L E 4 L E 4 Figure 5.5. Blowup (E 5 ) on the maximal surfae of the right graph of Figure 5. where k {2,3,4}. If the next blowup (E 6 ) is performe on the maximal surfae, it proues E E 5 E 6. If the next blowup (E 6 ) is performe on the minimal surfae, it proues L E 4 E 6. If the next blowup (E 6 ) is performe at an interior fixe point, the minimal surfae remains as L E 4. at a point p in the Z 2 -sphere in that is not an S -fixe point. Let Ẽ3 = π (p) be the exeptional ivisor an Ξ 3 be its Poinaré ual in H 2 ( M). Let Ω := π Ω 3 0 Ξ 3,

17 CYCLIC ACTIONS NEED NOT EXTEND TO CIRCLE ACTIONS 7 L E E i E 5 2 E 5 E i E 5 L E 4 E 5 L E 4 E 5 Figure 5.6. If the blowup (E 5 ) is performe at an interior fixe point of the right graph of Figure 5. where i {2,3,4}, then E 5 remains after the next blowup (E 6 ) ue to size onitions. If the blowup (E 5 ) is performe on the minimal surfae of the right graph of Figure 5., then L E 4 E 5 remains after the next blowup (E 6 ) ue to size onitions. E L E L E E 4 E 5 L E E E 5 E 6 6 L E 4 E 4 E 5 Figure 5.7. Configuration for Remark 5.5. F E B B F E 2 F 2 F E E B E B E Figure 6.. Speial eorate graphs. where Ω is the ohomology lass of ω. We laim that Ω ontains a Kähler form. As before, by Nakai s riterion, an sine Ω 2 > 0, it is enough to show that Ω,[C] > 0 for every omplex urve C M. This follows from the following laim Claim. Consier the lasses F E,,, E, B E. (i) For eah of these lasses, its pairing with Ω is positive. (ii) Eah of the lasses ontains a Z 2 -invariant omplex urve. (iii) The lasses generate the effetive one of omplex urves in M. Proof. (i) follows from the efinition of Ω. (ii) follows from the blowup onstrution. For (iii), we only nee to verify that the proper transform of an irreuible urve on M, that passes through the point p with multipliity m, represents a non-negative ombination of

18 8 RIVER CHIANG AND LIAT KESSLER F E B E B E Figure 6.2. Speial onfiguration. these lasses. Reall that the lasses F E,, E, B E. generate the effetive one in M (before the thir blowup), an eah is represente by an S -invariant urve. This follows from [5, Proposition C.6 an Theorem 7.], or an inutive argument similar to the omputation below. Hene the proper transform an be expresse as D = D m = a(f E )+b +(E )+(B E ) m = a(f E )+b( )+(b m) +(E )+(B E ) with a,b,, 0. It remains to show that b m 0. Denote by π an π 2 the first an seon blowup maps at p an p 2 in the onstrution of M. We have m = D = mult p D D = mult p2 π 2 (D) π 2 (D) E = mult p π (π 2 (D)) π π 2 (D) B = (af +B) B a. Also, by positivity of intersetions of omplex urves in M, 0 D (F E ) = 2a+b. Combining these two inequalities, we have m b. The onfiguration of the generating lasses is illustrate in Figure 6.2. Again note that it is not a eorate graph for a Hamiltonian irle ation. By averaging with respet to the holomorphi Z 2 -ation, we get an invariant Kähler form ω on M in Ω. By [22, Lemma 3.5 Part 2] an [2, Theorem A], sine the Chern lass of ω is the same as that of a blowup form, it is a blowup form. This yiels a homologially trivial sympleti Z 2 -ation on ( M, ω) = (W 3,ω,; 3 5, 7 20, 3 0 ). The ajuntion formula implies that the Z 2 -fixe sphere in is embee.

19 CYCLIC ACTIONS NEED NOT EXTEND TO CIRCLE ACTIONS 9 Note that the manifol (W 3,ω,; 3 5, 7 20, 3 ) oes amit a Hamiltonian irle ation, whose 0 eorate graph is shown on the right of Figure We laim that there is no Hamiltonian irle ation that extens the onstrute Z 2 -ation. Note that the vetor (,; 3, 7, 3 ) is reue. By Theorem 4.2, an extening Hamiltonian irle ation woul have been obtaine from a Hamiltonian irle ation on (Σ S 2,ω, ) by S -equivariant sympleti blowups of sizes 3/5,7/20,3/0, in this orer. There is exatly one Hamiltonian S -ation on (Σ S 2,ω, ), whose eorate graph is shown in Figure 4. with l = 0. Therefore, a Hamiltonian S -ation on (W 3,ω,; 3 5, 7 20, 3 ) is obtaine from this ation by one of the following sequenes of equivariant blowups of sizes 3/5,7/20,3/0 (up to a hange of ompatible metri (or 0 almost omplex struture)). Type I: two blowups at one fixe surfae an one at the other (performe simultaneously); Type II: a blowup at a fixe surfae, followe by a seon blowup at the interior fixe point reate at the first blowup (to get a Z 2 -sphere in ), an a thir blowup at one of the fixe surfaes; Type III: the first an the seon blowups are eah at a fixe surfae (either the sameone, orifferentones), followebyablowupattheinteriorfixepointreate at the first blowup (note that the seon an the thir blowups an be performe simultaneously); Type IV: the first an the seon blowups are eah at a fixe surfae (either the sameone, orifferentones), followebyablowupattheinteriorfixepointreate at the seon blowup. The other options are rule out ue to size restritions. In partiular, if the seon blowup is at the interior fixe point reate at the first blowup, obtaining a Z 2 -sphere in, then one annot perform an S -blowup of size 3 0 left of Figure 6. (by the blue eges). at one of its poles, as shown on the By the proof of [5, Theorem 7.], for eah type of the Hamiltonian S -ations, the omplex struture J obtaine from the prout omplex struture on Σ S 2 by S - equivariant omplex blowups at the same points, in the same orer, is ompatible with the sympleti form. Note that an exeptional ivisor is a J-holomorphi sphere, an so is the proper transform of the exeptional ivisor of a previous blowup. By Lemma 2.5, a Z 2 -sphere is also J-holomorphi. In partiular, we will have a J-holomorphi sphere in in Types I, II, an III; a J-holomorphi sphere in that is not fixe by Z 2 in Type IV (as shown in Figure 6.3 or its upsie-own). However, bytheonstrution ofthez 2 -ationantheassumption that thehamiltonian irle ation extens the Z 2 -ation, there is a Z 2 -fixe embee sphere in. By

20 20 RIVER CHIANG AND LIAT KESSLER B F E F B F E 2 E 2 E B E F B E Figure 6.3. Deorate graphs of Type IV. Lemma 2.5, this sphere is J-holomorphi. Its intersetion with a ifferent J-holomorphi sphere in (e.g. one that is not Z 2 -fixe), or with a J-holomorphi sphere in is negative. Therefore, an extening Hamiltonian irle ation of eah of the four types woul have yiele a ontraition to positivity of intersetions of holomorphi urves. 6.4.Remark. Theaboveonstrutionanbegeneralizetoproueasympleti Z r -ation on W r+ with a blowup form, that oes not exten to a Hamiltonian irle ation, for an even integer r > 2. Start from the same Hamiltonian S -ation on (Σ S 2,ω, ) as before. Perform a sequene of r S -equivariant sympleti blowups so that the resulting eorate graph is as the one illustrate on the left of Figure 6.4 for r = 4. Next perform a Z r -equivariant omplex blowup at a point in the Z r -sphere in E r that is not an S -fixe point. The resulting onfiguration of Z r -invariant omplex urves on W r+ is illustrate in Figure 6.5 for r = 4. Assume that the blowup sizes δ,...,δ r an δ r+ satisfy ertain onitions; for example, we take δ i = 22r i + 2 2r for i r, an δ r+ = 2 r. Sine r is even, Z 2 < Z r. Similar arguments as before show that we obtain a Z r -invariant blowup form ω = ω,;δ,...,δ r+ on W r+, an that for any invariant ω-ompatible almost omplex struture J there are J-holomorphi spheres, Z r -fixe in E r E r+ an Z 2 -fixe ini i+ for i < r 2. The sympleti manifol (W r+,ω)oes amit a Hamiltonian S -ation, as shown on the right of Figure 6.4 for r = 4. By a areful analysis on the J- holomorphi spheres that an our uner a Hamiltonian S -ation, we an show that an extening Hamiltonian S -ation woul lea to a violation of positivity of intersetions. F E E 4 E 4 4 B B E 5 F E E 4 E 5 E 4 4 E F E F E 5 E E B E B E Figure 6.4. Speial eorate graphs on W 4 an W 5.

21 CYCLIC ACTIONS NEED NOT EXTEND TO CIRCLE ACTIONS 2 E 4 E B F E E 4 E E 4 E 5 5 B E Figure 6.5. Speial onfiguration on W 5. By ontrast, a generalization for the simply onnete ase is more involve. The main iffiulty is to etermine the generators of the effetive one of omplex urves. Note that the effetive one may not be finitely generate for a omplex blowup of CP 2 at 9 points or more. 7. Further Remarks A sympleti ation of a finite yli group Z/Z n is a Hamiltonian ation with the moment map being ientially zero. However, this oes not mean the ation is generate by a Hamiltonian iffeomorphism. The generator of the ation is a perioi map of perio ninsymp(m,ω),orinthetorellipartofsymp(m,ω)iftheationishomologiallytrivial. It woul be very interesting to know whether any of our Z 2 -ations is generate by a Hamiltonian iffeomorphism an therefore orrespons to a Z 2 -subgroup in Ham(M,ω). This is a har question: we o not have an answer but we give two remarks onerning the example in Setion Remark. Let G = Z/pZ be a finite yli group of prime orer p. Consier a G-ation generate by a Hamiltonian iffeomorphism on a lose sympleti manifol M. Let F be the fixe point set of the G-ation. Denote by SB the sum of Betti numbers. Then SB(F) = SB(M), while homology is taken with Z/pZ oeffiients. Inee, SB(F) is boune above by SB(M) for any yli ation of prime orer p, not neessarily generate by a Hamiltonian iffeomorphism[4, Chapter 3]. On the other han, let σ enote the Hamiltonian iffeomorphism generating the yli ation. The graph of σ an the iagonal interset leanly in M M. Then Arnol s onjeture implies that SB(F) is boune below by SB(M), using Floer homology for lean intersetions [28]. The Z 2 -ation on ( M, ω) onstrute in Setion 5. has 3 fixe spheres an 3 fixe points. Hene SB(F) = 9 = SB( M = M 6 ). It oes not onlue whether this Z 2 -ation is generate by a Hamiltonian iffeomorphism.

22 22 RIVER CHIANG AND LIAT KESSLER 7.2. Remark. The generator of the Z 2 -ation onstrute in Setion 5. efines a nontrivial sympletomorphism σ: ( M, ω) ( M, ω), where M = M 6 an ω = ω ; 2, 4, 4, 4, 3. 6, 8 We laim that this map is smoothly isotopi to the ientity. The iea goes as follows: For any 0 < δ 8, one an perform a Z 2-equivariant sympleti blowup of size δ at the same point p in the Z 2 -sphere S in E 5 in M. The inue Z 2 -ation on the blowup M efines a iffeomorphism (in fat a sympletomorphism with a ifferent sympleti form) σ δ : M M, whih is smoothly isotopi to σ. For δ suffiiently small, one fins an isotopy of equivariant embeings of δ-balls in the loal normal form of the S -invariant sphere S. Hene σ δ is isotopi to the generator σ p0 : M M of the Z2 -ation inue by a Z 2 -equivariant blowup of size δ at the north pole p 0 of S. If δ is suffiiently small, one an perform an S -equivariant sympleti blowup of size δ at the S -fixe point p 0 [5, Theorem 7., Proposition 7.2], to get a Hamiltonian S -ation on M; the element π in S efines a sympletomorphism σ S : M M, whih is smoothly isotopi to σp0 an hene to σ. Sine S is onnete, σ S is isotopi to the ientity. We o not know whether the sympletomorphism σ is sympletially isotopi to the ientity. If it is, it woul present a yli subgroup in Ham( M, ω) whih oes not embe in a irle subgroup of Ham( M, ω). This is ue to the fat that Ham( M, ω) oinies with the ientity omponent of Symp( M, ω) when H ( M) is trivial. If it is not, it may be sympletially isotopi to a Dehn Seiel twist, or it may provie another example of a sympletomorphism that is smoothly, but not sympletially, isotopi to the ientity. Referenes [] Ahara, K.; Hattori, A.; 4-imensional sympleti S -manifols amitting moment map, J. Fa. Si. Univ. Tokyo Set. IA Math. 38 (99), no. 2, [2] Alexeev, Valery; Nikulin, Viaheslav V.; Del Pezzo an K3 surfaes, MSJ Memoirs, 5. Mathematial Soiety of Japan, Tokyo, xvi+49 pp. ISBN: [3] Arzhantsev, Ivan; Derenthal, Ulrih; Hausen, Jürgen; Lafae, Antonio; Cox rings. Cambrige Stuies in Avane Mathematis, 44. Cambrige University Press, Cambrige, 205. viii+530 pp. ISBN: [4] Breon, Glen E.; Introution to ompat transformation groups, Pure an Applie Mathematis, Vol. 46. Aaemi Press, New York Lonon, 972. xiii+459 pp. [5] Brue, J. W.; Wall, C. T. C.; On the lassifiation of ubi surfaes, J. Lon. Math. So. (2), 9(2): , 979. [6] Chen, Weimin; On the orers of perioi iffeomorphisms of 4-manifols, Duke Math. J. 56 (20), no. 2, [7] Chen, Weimin; Seifert fibere four-manifols with nonzero Seiberg Witten invariant, preprint arxiv: [math.gt]. [8] Coray, D. F.; Tsfasman, M. A.; Arithmeti on singular Del Pezzo surfaes, Pro. Lon. Math. So. (3) 57 (988), no.,

23 CYCLIC ACTIONS NEED NOT EXTEND TO CIRCLE ACTIONS 23 [9] Demazure, Mihel; Surfaes e Del Pezzo, Séminaire sur les singularités es surfaes, Leture Notes in Mathematis 777 (Springer, Berlin, 980), pp [0] Dolgahev, Igor V.; Classial algebrai geometry, A moern view. Cambrige University Press, Cambrige, 202. xii+639 pp. ISBN: [] Frieman, Robert; Morgan, John W.; On the iffeomorphism types of ertain algebrai surfaes. I, J. Differential Geom. 27 (988), no. 2, [2] Gromov, M.; Pseuoholomorphi urves in sympleti manifols, Invent. Math. 82 (985), no. 2, [3] Guillemin, V.; Sternberg, S.; Birational equivalene in the sympleti ategory. Birational equivalene in the sympleti ategory, Invent. Math. 97 (989), no. 3, [4] Holm, Tara S.; Kessler, Liat; with an Appenix by Tair Pnini; Cirle ations on sympleti four-manifols, to appear in Comm. Anal. Geom. arxiv: v2 [5] Karshon, Yael; Perioi Hamiltonian flows on four imensional manifols, Memoirs of the Amer. Math. So. 672 (999). [6] Karshon, Yael; Maximal tori in the sympletomorphism groups of Hirzebruh surfaes, Math. Res. Lett. 0 (2003), [7] Karshon, Yael; Kessler, Liat; Cirle an torus ations on equal sympleti blow-ups of CP 2, Math. Res. Lett. 4 (2007), no. 5, [8] Karshon, Yael; Kessler, Liat; Distinguishing sympleti blowups of the omplex projetive plane, J. Sympleti Geom. 5 (207), no. 4, [9] Karshon, Yael; Kessler, Liat; Pinsonnault, Martin; Counting tori ations on sympleti fourmanifols, Comptes Renus Mathématique, Rep. Aa. Si. Canaa 37 (205), no., [20] Li, Bang-He; Li, Tian-Jun; Sympleti genus, minimal genus an iffeomorphisms, Asian J. Math. 6 (2002), [2] Li, Tian-Jun; Liu, Ai-Ko; Sympleti struture on rule surfaes an a generalize ajuntion formula, Math. Res. Lett. 2 (995), no. 4, [22] Li, Tian-Jun; Liu, Ai-Ko; Uniqueness of sympleti anonial lass, surfae one an sympleti one of 4-manifols with B + =, J. Differential Geom. 58 (200), [23] MDuff, Dusa; The struture of rational an rule sympleti manifols, J. Amer. Math. So. 3 (990), no. 3, [24] MDuff, Dusa; From sympleti eformation to isotopy, in: Topis in sympleti 4-manifols (Irvine, CA, 996), 85 99, First int. Press Let. Ser., I, internat. Press, Cambrige, MA, 998. [25] MDuff, Dusa; Polterovih, Leoni; Sympleti pakings an algebrai geometry. With an appenix by Yael Karshon. Invent. Math. 5 (994), no. 3, [26] MDuff, Dusa; Salamon, Dietmar; Introution to sympleti topology, Oxfor University Press, 998. [27] MDuff, Dusa; Salamon, Dietmar; J-holomorphi urves an sympleti topology, Amerian Mathematial Soiety Colloquium Publiations, 52. Amerian Mathematial Soiety, Proviene, RI, xii+669 pp. ISBN: [28] Poźniak, Marin; Floer homology, Novikov rings an lean intersetions, Northern California Sympleti Geometry Seminar, 9 8, Amer. Math. So. Transl. Ser. 2 96, Av. Math. Si. 45, Amer. Math. So. Proviene, RI, 999. [29] Salamon, Dietmar; Uniqueness of Sympleti Strutures, Ata Math. Vietnam. 38 (203), no.,

24 24 RIVER CHIANG AND LIAT KESSLER [30] Taubes, Cliffor Henry; The Seiberg Witten an the Gromov invariants, Math. Res. Lett. 2 (995), Department of Mathematis, National Cheng Kung University, Tainan 70, Taiwan aress: riverh@mail.nku.eu.tw Department of Mathematis, Physis, an Computer Siene, University of Haifa, at Oranim, Tivon 36006, Israel aress: lkessler@math.haifa.a.il