arxiv: v2 [math-ph] 8 Feb 2011

Transcription

1 Poisson Cohomology of Del Pezzo surfaces arxiv: v2 [math-ph] 8 Feb 2011 Wei Hong Department of Mathematics Pennsylvania State University University Park, PA 16802, USA hong_w@math.psu.edu Ping Xu Unité de Recherche en Mathématiques Université du Luxembourg 1359 Luxembourg Grand-Duché de Luxembourg June 4, 2018 Abstract Department of Mathematics Pennsylvania State University University Park, PA 16802, USA ping@math.psu.edu In this paper, we compute the Poisson cohomology groups for any Poisson Del Pezzo surface. 1 Introduction Recently, there has been increasing interest on holomorphic Poisson structures due to their close connection to mirror symmetry [11]. Holomorphic Poisson structures are also known to be connected to generalized complex structures [9, 3] and bihamiltonian systems [12]. To a holomorphic Poisson manifold (X,π), Poisson cohomology groups are important invariants. If X is compact, then Poisson cohomology groups are known [14, 4] to be finite dimensional. A Del Pezzo surface is a two-dimensional Fano variety, i.e. an algebraic surface with ample anticanonical divisor class. For the dimension reason, any holomorphic bivector field on a Del Pezzo surface is automatically a holomorphic Poisson tensor. Therefore, holomorphic Poisson structures on a del Pezzo surface should provide us with many interesting examples of holomorphic Poisson structures on compact manifolds. It is natural to ask what the corresponding Poisson cohomology groups are. In this paper, we first give an explicit description of all holomorphic bivector fields on a given del Pezzo surface X. The result is classical and can be found scattered, such as in [10]. For the reader s convenience, in Section 2, we recall all the results, which will also be important for our computations. Our approach relies on the classification of del Pezzo surfaces: they are CP 1 CP 1, CP 2 or CP 2 blow up at r (1 r 8) generic points. For the computation of Poisson cohomology groups, we use the Dolbeault resolution, i.e., the double complex as in [12]. Since the Poisson cohomology groups are over C and are finite dimensional, our approach essentially reduces to the computation of their dimensions. Various special cases of holomorphic Poisson structures considered here have appeared in literature. For instance, holomorphic Poisson structures on CP 1 CP 1 were studied by Duistermaat [5], and a certain 0 Keywords: Poisson Cohomology, Del Pezzo surfaces Research partially supported by NSF grants DMS and DMS , and NSFC grant /A

2 holomorphic Poisson structure on CP 2 appeared naturally in the work of Evens-Lu [7] while studying the variety of Lagrangian subalgebras. Noncommutative Del Pezzo surfaces were studied by several authors, for instance, [1, 15, 16, 6]. It would be interesting to explore the relationship to these works, which will be discussed somewhere else. Acknowledgments We would like to thank Pennsylvania State University (Hong) and Peking University (Xu) for their hospitality while work on this project was being done. We also wish to thank Sam Evens, Jiang-hua Lu, Tony Pantev, Mathieu Stienon, and Dmitry Tarmarkin for their useful discussions and comments. Hong s research was partially supported by CSC grant and NSF grant DMS , and Xu s research was partially supported by NSF grants DMS and DMS , NSA grant H and NSFC grant /A Preliminary In this section, we recall some basic results about Del Pezzo surfaces. A Del Pezzo surface is a two dimensional Fano variety, i.e. an algebraic surface with ample anti-canonical divisor class. The following is a classical result: Theorem 2.1. [13] A Del Pezzo surface is isomorphic to one of the following cases: 1. CP 1 CP 1 2. CP 2 3. CP 2 blow up at r (1 r 8) generic points p i (i = 1,2,...r). Recall that p 1,...,p r are said to be generic if the following conditions are satisfied: none of any three are colinear and none of any six points are on the same conic. We will denote B r as the blow up CP 2 at r (1 r 8) generic points. By ρ, we denote the projection map from B r to CP 2. Most of the result below are classical and can be found in [10]. Proposition If X = CP 1 CP 1, then dimh 0 (X, 2 T X ) = 9, dimh 0 (X,T X ) = 6. (1) 2. If X = CP 2, then dimh 0 (X, 2 T X ) = 10, dimh 0 (X,T X ) = 8. (2) Proof. 1. X = CP 1 CP 1 has four open covers U 1 = {([z 0,z 1 ],[w 0,w 1 ]) z 0 0,w 0 0}, U 2 = {([z 0,z 1 ],[w 0,w 1 ]) z 1 0,w 0 0}, U 3 = {([z 0,z 1 ],[w 0,w 1 ]) z 0 0,w 1 0}, U 4 = {([z 0,z 1 ],[w 0,w 1 ]) z 1 0,w 1 0}. Let x = z1 z 0, w = w1 w 0, x = z0 z 1 = 1 x, w = w0 w 1 = 1 w be their corresponding affine coordinates. It is clear that x = (x ) 2 x w = (w ) 2 w Assume that v is a holomorphic vector field. Write v = f(x,w) x +g(x,w) w 2

3 on U 1, where f(x,w) and g(x,w) are holomorphic functions on U 1. On U 1 U 2, by coordinate change x = 1 x, v takes the following form in coordinate (x,w) v = f( 1 x,w)(x ) 2 x +g( 1 x,w) w Since v is holomorphic on U 2, it follows that the power series of f(x,w) about x is up to at most x 2, and g(x,w) is independent of x. Similarly, f(x,w) is independent of w, and the power series of g(x,w) about w is up to at most w 2. Hence on U 1, v can be written as where b i C, i = 1,2,,6, are constants. v = (b 1 +b 2 x+b 3 x 2 ) x +(b 4 +b 5 w+b 6 w 2 ) w, (3) Let π be a holomorphic bivector field. By a similar argument, we see that, on U 1, π can be written as π = (a 1 +a 2 x+a 3 x 2 +a 4 w+a 5 xw+a 6 x 2 w+a 7 w 2 +a 8 xw 2 +a 9 x 2 w 2 ) w, (4) where a i C, i = 1,2,...9, are constants. As a consequence, we have dimh 0 (X, 2 T X ) = 9, dimh 0 (X,T X ) = 6. (5) 2. Let U i = {[z 0,z 1,z 2 ] z i 0},i = 0,1,2, be an open cover of CP 2. Let x = z1 z 0, w = z2 z 0 be the affine coordinates on U 0. If π is a holomorphic bivector field on X, by a similar argument, one shows that π can be written as π = (a 1 +a 2 x+a 3 w+a 4 x 2 +a 5 xw+a 6 w 2 +a 7 x 3 +a 8 x 2 w+a 9 xw 2 +a 10 w 3 ) w. (6) Similarly, if v is a holomorphic vector field on CP 2, then v can be written as ([10], p223) v = (b 1 +b 2 x+b 3 w +b 7 x 2 +b 8 xw) x +(b 4 +b 5 x+b 6 w+b 7 xw+b 8 w 2 ) w. (7) As a consequence, we have dimh 0 (X, 2 T X ) = 10, dimh 0 (X,T X ) = 8. (8) Now we consider the case B r, i.e CP 2 with blow up at r generic points p i,i = 1,2,...r. Let ρ : B r CP 2 be the projection map. Write V 1 r = {v v is a holomorphic vector field on CP2 such that v(p i ) = 0,i = 1,2,..r} V 2 r = {π π is a holomorphic bivector field on CP2 such that π(p i ) = 0,i = 1,2,...r}. The following can be found in ([10], p225). Lemma 2.3. [10] ρ induces an isomorphism from H 0 (B r,t Br ) to Vr 1 and an isomorphism from H0 (B r, 2 T Br ) to V 2 r. Lemma 2.4. ([8], p481) Eight points p i CP 2 (i = 1,2,...8) fail to impose independent conditions on cubics only when all eight points lie on a conic curve, or five of them are colinear. Assume that {f 1,,f 10 } is a basis of the space of cubic polynomials on CP 2. Recall that p i CP 2 (i = 1,2,...8) satisfy the independent conditions on cubics means that the 10 8 matrix (f j (p i )) (1 i 8,1 j 10) is of full rank. 3

4 Proposition 2.5. For X = B r, we have Proof. By Lemma (2.3), dimh 0 (X,T X ) = { 8 2r, 1 r 3 0, r 4 dimh 0 (X, 2 T X ) = 10 r. (10) H 0 (B r,t Br ) = V 1 r = {v v is a holomorphic vector field on CP 2 such that v(p i ) = 0,i = 1,2,...r}. If r 4, we can choose the coordinates of p 1,p 2,p 3,p 4 as [1,0,0],[1,1,0],[1,0,1],[1,1,1] since any three of them are not colinear. By a simple computation using Equation (7), it is easy to see that v must be equal to zero. If 1 r 3, by the same argument, we have For Equation (10), by Lemma (2.3), dimh 0 (B r,t Br ) = 8 2r. H 0 (B r, 2 T Br ) = V 2 r = {π π is a holomorphic bivector field on CP 2 such that π(p i ) = 0,i = 1,2,...r}. Without loss of generality, we assume that all points p i U 0 = {[z 0,z 1,z 2 ] z 0 0}. According to Lemma 2.4, {p i } should satisfy the independent condition on cubics. Therefore they also satisfy the independent condition under the affine coordinates. By Equation (6), we have dimh 0 (B r, 2 T Br ) = 10 r. (9) Theorem 2.6. For X = CP 1 CP 1, CP 2, or B r (1 r 4), we have H i (X, j T X ) = 0, for i > 0. (11) For X = B r (5 r 8), we have H i (X, j T X ) = { 0 i > 0 and (i,j) (1,1) 2r 8 (i,j) = (1,1) (12) Proof. 1. Consider X = CP 1 CP 1. By ρ 1 and ρ 2, we denote the projection maps fromcp 1 CP 1 to the first and the second component, respectively. Let L i = ρ i T CP 1, i = 1,2, be the pull back line bundles on X. Then T X = L 1 L 2. Hence H i (X,T X ) = H i (X,L 1 L 2 ) = H i (X,L 1 ) H i (X,L 2 ). Since 2 T X = L1 L 2, it thus follows that H i (X,L 1 ) = H i (X,K X L 2 1 L 2 ), where K X is the canonical line bundle over X. Since L 2 1 L 2 is a positive line bundle, by Kodaira vanishing theorem, we have H i (X,L 1 ) = 0, i > 0. Similarly H i (X,L 2 ) = 0, i > 0. Hence Similarly, we have H i (X,T X ) = 0, i > 0. (13) H i (X, 2 T X ) = H i (X,L 1 L 2 ) = H i (X,K X L 2 1 L2 2 ), (14) 4

5 and H i (X,O X ) = H i (X,K X L 1 L 2 ). (15) Since both L 2 1 L2 2 and L 1 L 2 are positive line bundles, by Kodaira vanishing theorem, we obtain 2. Let X = CP 2. Then The Euler sequence H i (X, 2 T X ) = 0, i > 0, and (16) H i (X,O X ) = 0, i > 0. (17) H i (X,O X ) = H 0,i (X) = 0, i > 0. (18) 0 O X 3 O(1) T X 0 i=1 induces a long exact sequence on the level of cohomology: H i (X,O X ) H i (X, 3 i=1 If i > 0, H i (X,O X ) = 0, and therefore H i (X, we have H i (X, 3 i=1 O(1)) H i (X,T X ) H i+1 (X,O X ) 3 i=1 On the other hand, since 2 T X = O(3), we have O(1)) = H i (X,T X ). Since O(1)) = 3 H i (X,O(1)) = 0, i=1 H i (X,T X ) = 0, i > 0. (19) H i (X, 2 T X ) = H i (X,O(3)) = H i (X,K X O(6)). Since O(6) is a positive line bundle, by Kodaira vanishing theorem we have 3. Let X = B r (1 r 4). Since X is an algebraic varity, we have H i (X, 2 T X ) = 0, i > 0. (20) H i (X,O X ) = H 0,i (X) = H i,0 (X) = H 0 (X,Ω i X ). According to ([10],p225), H 0 (X,Ω i X ) = 0 if i > 0. Hence Hi (X,O X ) = 0, i > 0. According to ([10], p ), H 1 (X,T X ) = 0 and H 2 (X,T X ) = 0. Now H i (X, 2 T X ) = H i (X,K X 2 T X 2 T X ). Since 2 T X 2 T X is a positive line bundle, by Kodaira vanishing theorem, we have H i (X, 2 T X ) = 0, i > Let X = B r (5 r 8). If i > 0,(i,j) (1,1), the assertion can be proved in a similar way as in the case 1 r 4. When (i,j) = (1,1), the proof can be found in ([10],p226). 5

6 3 Poisson Cohomology Definition 3.1. Let (X, π) be a holomorphic Poisson manifold of dimension n. The Poisson cohomology H π (X) is the cohomology group of the complex of sheaves: d O π d X π d TX... π i 1 d T π X i d T π X i+1 d T π d X... π n T X, (21) where d π = [π, ] is the Schouten bracket with π. Lemma 3.2. [12] The Poisson cohomology of a holomorphic Poisson manifold (X, π) is isomorphic to the total cohomology of the double complex d π d π d π Ω 0,0 (X,T 2,0 X) Ω 0,1 (X,T 2,0 X) Ω 0,2 (X,T 2,0 X) d π d π d π Ω 0,0 (X,T 1,0 X) Ω 0,1 (X,T 1,0 X) Ω 0,2 (X,T 1,0 X) d π d π d π Ω 0,0 (X,T 0,0 X) Ω 0,1 (X,T 0,0 X) Ω 0,2 (X,T 0,0 X) Lemma 3.3. Let (X, π) be a holomorphic Poisson manifold. If all the higher cohomology groups H i (X, j T X ) vanish for i > 0, then the Poisson cohomology H π (X) is isomorphic to the cohomology of the complex where d π = [π, ]. H 0 (X,O X ) dπ H 0 (X,T X ) dπ H 0 (X, 2 T X ) dπ H 0 (X, 3 T X ) dπ (22) According to Theorem 2.6, the assumption in Lemma 3.3 is satisfied for all Del Pezzo Poisson surfaces except for B r (5 r 8). When X = CP 2, we have H 0 (X,O X ) = C, H 0 (X, i T X ) = 0 (i > 2). According to Lemma 3.3, the Poisson cohomology of (CP 2,π) can be expressed as follows: Hπ 0 (X) = C Hπ 1(X) = Ker{d π : H 0 (X,T X ) dπ H 0 (X, 2 T X )} Hπ 2(X) = Coker{d π : H 0 (X,T X ) dπ H 0 (X, 2 T X )} (X) = 0 (i > 2), H i π where, by Equation (8), d π is a linear map from C 8 to C 10, which is denoted by A π. On U 1, π = h(x,w) w, v = f(x,w) x + g(x,w) w, where h,f,g are as in Equations (6)-(7). Then [π,v] = [h(x,w) w,f(x,w) x +g(x,w) w ] = [(h f x f h x )+(h g w g h w )] w. Let{π i i = 1,2,...10} be a basis in H 0 (X, 2 T X ) corresponding toa k = δ ik, k = 1,2,...10, in Equation (6), and {v i i = 1,2,...8} a basis of H 0 (X,T X ) corresponding to b k = δ ik, k = 1,2,...,8 in Equation (7). 6

7 Under these bases, the linear map A π can be written as the following 10 8 matrix: a 2 a 1 0 a 3 0 a a a 5 a 3 a 2 3a 1 0 a 5 a 3 a 2 2a a 1 3a 7 a 4 0 a 8 a 5 a 4 2a 2 0 2a 8 0 2a 4 2a 9 2a 6 0 2a 3 2a 2 a 9 a 6 a 5 3a 10 0 a 6 0 2a 3 0 2a a 8 a 7 a a 8 3a 7 0 2a 9 0 a 5 a a 8 0 3a 10 a 9 a 6 a 5 0 a 10 a a 10 0 a 6 Theorem 3.4. Let X = CP 2 and π a holomorphic bivector field of the form as in Equation (6). Then the Poisson cohomology of (X,π) is given as follows. dimhπ 0 (X) = 1 dimhπ(x) 1 = 8 rank(a π ) dimhπ 2(X) = 10 rank(a π) dimhπ i (X) = 0 (i > 2), where A π is the matrix as in Equation (23). Example If π = w, then rank (A π) = 3 and therefore we have dimh 1 π(cp 2 ) = 5, dimh 2 π(cp 2 ) = If π = x w, then rank(a π) = 5 and therefore dimh 1 π (CP2 ) = 3, dimh 2 π (CP2 ) = If π = xw w, then rank(a π) = 6 and therefore Similarly, we can prove the following dimh 1 π (CP2 ) = 2, dimh 2 π (CP2 ) = 4. Theorem 3.6. Let X = CP 1 CP 1 and π a holomorphic bivector field as in Equation (4). The Poisson cohomology of (X,π) is then given as follows. where A π is the matrix dimhπ 0 (X) = 1, dimhπ(x) 1 = 6 rank(a π ), dimh 2 π(x) = 9 rank(a π ), dimhπ i (X) = 0 (i > 2), a 2 a 1 0 a 4 a 1 0 2a 3 0 2a 1 a 5 a a 3 a 2 a 6 a 3 0 a 5 a 4 0 2a 7 0 2a 1 2a 6 0 2a 4 2a 8 0 2a 2 0 a 6 a 5 2a 9 0 2a 3 a 8 a a 7 a 4 2a 9 0 2a 7 0 a 8 a 5 0 a 9 a 8 0 a 9 a 6 (23) (24) 7

8 Example In the case π = w, since rank(a π) = 3, we have dimh 1 π(cp 1 CP 1 ) = 3, dimh 2 π(cp 1 CP 1 ) = In the case π = x w, since rank(a π) = 4, we have dimh 1 π(cp 1 CP 1 ) = 2, dimh 2 π(cp 1 CP 1 ) = 5. Consider a Poisson Del Pezzo surface B r (1 r 8). By Lemma (2.3), we have the following commutative diagram: As a consequence, we have H 0 (B r,t Br ) ρ V 1 r d π H 0 (B r, 2 T Br ) ρ (25) d ρ π V 2 r Theorem 3.8. For (B r,π) (1 r 4), the Poisson cohomology is given as follows. dimhπ 0 (B r) = 1 dimhπ(b 1 r ) = 8 2r rank(a π ) dimhπ 2(B r) = 10 r rank(a π ) dimhπ(b i r ) = 0 (i > 2), where A π is the matrix defined as follows. 1. If r = 1, on U 0 = {[z 0,z 1,z 2 ] z 0 0}, ρ π can be written as ρ π = (a 2 x+a 3 w+a 4 x 2 +a 5 xw+a 6 w 2 +a 7 x 3 +a 8 x 2 w+a 9 xw 2 +a 10 w 3 ) w. Then A π has the following form: 0 0 a 3 a a 3 a a 4 0 a 5 a 4 2a a 4 2a 6 0 2a 3 2a 2 a 6 a 5 0 a 6 0 2a 3 2a 7 0 a 8 a 7 a 4 0 a 8 3a 7 2a 9 0 a 5 a 4 0 2a 8 3a 10 a 9 a 6 a 5 a 10 a 9 0 2a 10 0 a 6 2. If r = 2, on U 0 = {[z 0,z 1,z 2 ] z 0 0}, ρ π can be written as: ρ π = (a 2 x+a 3 w+a 4 x 2 +a 5 xw +a 6 w 2 (a 2 +a 4 )x 3 +a 8 x 2 w+a 9 xw 2 +a 10 w 3 ) w. Then A π has the following form: 0 0 a 2 0 a 3 a a 2 a 4 0 a 4 0 2a 3 2a 4 0 2a 2 a 6 a 5 a 6 2a 3 a 8 a 5 3a 2 +3a 4 0 a 4 a 6 2a 8 a 9 a 5 a 10 a 9 2a 10 a 6 (26) 8

9 3. If r = 3, on U 0 = {[z 0,z 1,z 2 ] z 0 0}, ρ π can be written as: ρ π = (a 2 x+a 3 w+a 4 x 2 +a 5 xw+a 6 w 2 (a 2 +a 4 )x 3 +a 8 x 2 w+a 9 xw 2 (a 3 +a 6 )w 3 ) w. Then A π has the following form: 0 a 2 a 3 0 2a 2 a 4 a 4 2a 3 2a 2 a 6 2a 3 a 6 a 5 a 8 a 4 a 6 a 5 a 9 4. If r = 4, then 0 and therefore dimhπ 0 (B 4) = 1 dimhπ 1(B 4) = 0 dimhπ(b 2 4 ) = 6 dimhπ i(b 4) = 0 (i > 2) (27) Proof. By A π, we denote the linear map V 1 r d ρ π V 2 r. 1. Consider the case X = B 1, which is CP 2 blow up at p 1 = [1,0,0]. By Lemma (2.3), and Equations (6)-(7), on U 0 = {[z 0,z 1,z 2 ] z 0 0}, any π V1 2 and v V 1 1 must be of the following forms: π = (a 2 x+a 3 w+a 4 x 2 +a 5 xw+a 6 w 2 +a 7 x 3 +a 8 x 2 w+a 9 xw 2 +a 10 w 3 ) w, (28) v = (b 2 x+b 3 w +b 7 x 2 +b 8 xw) x +(b 5x+b 6 w +b 7 xw +b 8 w 2 ) w. (29) Let π i V1 2 2, i = 2,...10, be a basis of V1 corresponding to a k = δ ik, k = 2,...10; v i V1 1, i = 2,3,5,6,7,8 be a basis corresponding to b k = δ ik, k = 2,3,5,6,7,8. Under these bases, the linear map A π can be expressed by the following 9 6 matrix: 0 0 a 3 a a 3 a a 4 0 a 5 a 4 2a a 4 2a 6 0 2a 3 2a 2 a 6 a 5 0 a 6 0 2a 3 2a 7 0 a 8 a 7 a 4 0 a 8 3a 7 2a 9 0 a 5 a 4 0 2a 8 3a 10 a 9 a 6 a 5 a 10 a 9 0 2a 10 0 a 6 2. Consider the case X = B 2, which is CP 2 blow up at p 1 = [1,0,0] and p 2 = [1,1,0]. By Lemma 2.3, and Equations (6) (7), any π V2 2 and v V2 1 must be of the following forms on U 0 = {[z 0,z 1,z 2 ] z 0 0}: π = (a 2 x+a 3 w +a 4 x 2 +a 5 xw +a 6 w 2 (a 2 +a 4 )x 3 +a 8 x 2 w +a 9 xw 2 +a 10 w 3 ) w, (30) 9

10 v = (b 2 x+b 3 w b 2 x 2 +b 8 xw) x +(b 6w b 2 xw+b 8 w 2 ) w. (31) Hence A π can be written as the following 8 4 matrix: 0 0 a 2 0 a 3 a a 2 a 4 0 a 4 0 2a 3 2a 4 0 2a 2 a 6 a 5 a 6 2a 3 a 8 a 5 3a 2 +3a 4 0 a 4 a 6 2a 8 a 9 a 5 a 10 a 9 2a 10 a 6 3. Consider the case X = B 3, which is CP 2 blow up at p 1 = [1,0,0],p 2 = [1,1,0] and p 3 = [1,0,1]. By Lemma (2.3), and Equations (6)-(7), any π V2 2 and v V 2 1 are of the following form on U 0 = {[z 0,z 1,z 2 ] z 0 0}: π = (a 2 x+a 3 w+a 4 x 2 +a 5 xw+a 6 w 2 (a 2 +a 4 )x 3 +a 8 x 2 w+a 9 xw 2 (a 3 +a 6 )w 3 ) w, (32) v = (b 2 x b 2 x 2 b 6 xw) x +(b 6w b 2 xw b 6 w 2 ) w. (33) Hence A π can be written as the following 7 2 matrix: 0 a 2 a 3 0 2a 2 a 4 a 4 2a 3 2a 2 a 6 2a 3 a 6 a 5 a 8 a 4 a 6 a 5 a 9 4. Consider the case X = B 4. According to Equation (9), H 0 (X,T X ) = 0. Hence 0, and therefore dimh 1 π (B 4) = 0, dimh 2 π (B 4) = 6. Theorem 3.9. For (B r,π)(5 r 8), the Poisson cohomology is dimhπ(b 0 r ) = 1 dimhπ 1(B r) = 0 dimhπ(b 2 r ) = r+2 dimhπ i(b r) = 0 (i > 2). (34) Proof. We will use spectral sequence associated to the double complex in Lemma (3.2). For the double complex K = K i,j, 0 i,j n where K i,j = Ω 0,i (B r,t j,0 B r ) and the differential D = d π +. Denote H i,j (K) = Hi (B r, j T Br ). By Theorem (2.6) and Equation (9), dimh 0,0 (K) = 1, dimh0,2(k) = 10 r, dimh1,1(k) = 2r 8, 10

11 and H i,j (K) = 0, for all other i,j. Since and the total cohomology of the double complex is and E i,j 1 = H i,j (K) E 1 = E 2 =...E, d 1 = d 2 =... = 0, Hπ(B 0 r ) = E 0,0 1, H2 π(b r ) = E i,j = E 0,2 1 E 1,1 1, i+j=2 Hπ(B k r ) = E i,j = 0, i+j=k if k 0,2. By Theorem (2.6) and Equation (10), we have dimhπ(b 0 r ) = 1 dimhπ 1(B r) = 0 dimhπ(b 2 r ) = (10 r)+(2r 8) = r +2 dimhπ i(b r) = 0 (i > 2). References [1] Auroux, D., Katzarkov, L., and Orlov, D., Mirror symmetry for Del Pezzo surfaces: Vanishing cycles and coherent sheaves, Invent. Math.166 (2006), [2] Bott, R., and Tu, L. W., Differential forms in algebraic topology, Springer, [3] Gualtieri, M., Generalized complex geometry, arxiv:math.dg/ [4] Chen, Z., Stienon, M. and Xu, P., Geometry of Maurer-Cartan elements on complex manifolds, Comm. Math. Phys. 297 (2010), [5] Duistermaat, J., QRT maps and elliptic surfaces, Universitext, Springer-Verlag, Berlin, [6] Etingof, P., and Ginzburg, V., Noncommutative Del Pezzo surfaces and Calabi-Yau algebras, arxiv: [7] Evens, S. and Lu, J.H., On the variety of Lagrangian subalgebras. II. Ann. Sci. Ecole Norm. Sup.39 (2006), [8] Griffiths, P., and Harris, J., Principles of algebraic geometry, Wiley Classics Library Edition, [9] Hitchin, N., Generalized Calabi-Yau manifolds. Q. J. Math. 54 (2003), [10] Kodaira, K., Complex manifolds and deformation of complex structures, Springer-Verlag, 1986 [11] Kontsevich, M., Deformation quantization of algebraic varieties, Lett. Math. Phys. 56 (2001), [12] Laurent-Gengoux, C., Stienon, M. and Xu, P., Holomorphic Poisson manifolds and holomorphic Lie algeboids, Int. Math. Res. Not. IMRN 2008, Art. ID rnn 088, 46 pp. 11

12 [13] Manin, Yu.I., Cubic Forms, North-Holland, [14] Stienon, M., Holomorphic Koszul-Brylinski homology, Int. Math. Res. Not. IMRN arxiv: [15] Van den Bergh, M., Blowing up of non-commutative smooth surfaces, Mem. Amer. Math. Soc.154 (2001), no [16] Van den Bergh, M., Non-commutative quadrics, Int. Math. Res. Not. IMRN (to appear) arxiv: