arxiv: v1 [math.dg] 11 Feb 2014

Transcription

1 ON BOTT-CHERN COHOMOLOGY OF COMPACT COMPLE SURFACES DANIELE ANGELLA, GEORGES DLOUSSKY, AND ADRIANO TOMASSINI Abstract We study Bott-Chern cohomology on compact complex non-kähler surfaces In particular, we compute such a cohomology for compact complex surfaces in class VII and for compact complex surfaces diffeomorphic to solvmanifolds ariv:448v [mathdg] Feb 4 Introduction For a given complex manifold, many cohomological invariants can be defined, and many are known for compact complex surfaces Among these, one can consider Bott-Chern and Aeppli cohomologies They are defined as follows: ker ker () := im Note that the identity induces natural maps and () () H dr (;C) A () A () := ker im + im where () denotes the Dolbeault cohomology and H, () its conjugate, and the maps are morphisms of (graded or bi-graded) vector spaces For compact Kähler manifolds, the natural map p+q= Hp,q () H dr (;C) is an isomorphism Assume that is compact The Bott-Chern and Aeppli cohomologies are isomorphic to the kernel of suitable 4th-order differential elliptic operators, see [9, b, c] In particular, they are finitedimensional vector spaces In fact, fixed a Hermitian metric g, its associated C-linear Hodge- -operator induces the isomorphism H p,q () H n q,n p A (), for any p, q,, n}, where n denotes the complex dimension of In particular, for any p, q,, n}, one has dim C H p,q () = dim C H q,p () = dim C H n p,n q A () () = dim C H n q,n p A () For the Dolbeault cohomology, the Frölicher inequality relates the Hodge numbers and the Betti numbers: for any k,, n}, dim C H p,q () dim C H k dr(;c) p+q=k Similarly, for Bott-Chern cohomology, the following inequality à la Frölicher has been proven in [3, Theorem A]: for any k,, n}, (dim C H p,q () + dim C H p,q A ()) dim C HdR k (;C) p+q=k Mathematics Subject Classification 3C35, 57T5, 3J5 Key words and phrases compact complex surfaces, Bott-Chern cohomology, class VII, solvmanifold This work was supported by the Project PRIN Varietà reali e complesse: geometria, topologia e analisi armonica, by the Project FIRB Geometria Differenziale e Teoria Geometrica delle Funzioni, by GNSAGA of INdAM, and by ANR Méthodes nouvelles en géométrie non kählerienne

2 The equality in the Frölicher inequality characterizes the degeneration of the Frölicher spectral sequence at the first level This always happens for compact complex surfaces On the other side, in [3, Theorem B], it is proven that the equality in the inequality à la Frölicher for the Bott-Chern cohomology characterizes the validity of the -Lemma, namely, the property that every -closed -closed d-exact form is -exact too, [8] The validity of the -Lemma implies that the first Betti number is even, which is equivalent to Kählerness for compact complex surfaces Therefore the positive integer numbers k := (dim C H p,q () + dim C H p,q A ()) b k N, p+q=k varying k, }, measure the non-kählerness of compact complex surfaces Compact complex surfaces are divided in seven classes, according to the Kodaira and Enriques classification, see, eg, [4] In this note, we compute Bott-Chern cohomology for some classes of compact complex (non-kähler) surfaces In particular, we are interested in studying the relations between Bott-Chern cohomology and de Rham cohomology, looking at the injectivity of the natural map H, () H3 dr (;C) This can be intended as a weak version of the -Lemma, compare also [] More precisely, we start by proving that the non-kählerness for compact complex surfaces is encoded only in, namely, is always zero This gives a partial answer to a question by T C Dinh to the third author Theorem Let be a compact complex surface Then: (i) the natural map H, () H,() induced by the identity is injective; (ii) = In particular, the non-kählerness of is measured by just N For compact complex surfaces in class VII, we show the following result, where we denote h p,q := dim C H p,q () for p, q,, } Theorem The Bott-Chern numbers of compact complex surfaces in class VII are: h, = h, = h, = h, = h, = b + h, = h, = h, h, = = Finally, we compute the Bott-Chern cohomology for compact complex surfaces diffeomorphic to solvmanifolds, according to the list given by K Hasegawa in [], see Theorem 4 More precisely, we prove that the cohomologies can be computed by using just left-invariant forms Furthermore, for such complex surfaces, we note that the natural map H, () H3 dr (;C) is injective, see Theorem 4 We note that the above classes do not exhaust the set of compact complex non-kähler surfaces, the cohomologies of elliptic surfaces being still unknown Acknowledgments The first and third authors would like to thank the Aix-Marseille University for its warm hospitality Non-Kählerness of compact complex surfaces and Bott-Chern cohomology We recall that, for a compact complex manifold of complex dimension n, for k,, n}, we define the non-kählerness degrees, [3, Theorem A], k := ( h p,q + ) hn q,n p bk N, p+q=k where we use the duality in [9, c] giving h p,q := dim C H p,q () = dim C H n q,n p A () According to [3, Theorem B], k = for any k,, n} if and only if satisfies the -Lemma, namely, every -closed -closed d-exact form is -exact too In particular, for a compact complex surface, the condition = = is equivalent to being Kähler, the first Betti number being even, [4, 7, ], see also [5, Corollaire 57], and [5, Theorem ] We prove that is always zero for any compact complex surface In particular, a sufficient and necessary condition for compact complex surfaces to be Kähler is = Theorem Let be a compact complex surface Then:

3 (i) the natural map H, () H,() induced by the identity is injective; (ii) = In particular, the non-kählerness of is measured by just N Proof (i) Let α, be such that [α] = H, () Let β, be such that α = β Fix a Hermitian metric g on, and consider the Hodge decomposition of β with respect to the Dolbeault Laplacian : let β = β h + λ where β h, ker, and λ, Therefore we have α = β = λ = ( λ) }}, = ( λ) = ( λ), where we have used that any (, )-form is primitive and hence, by the Weil identity, is self-dual In particular, α is -exact, so it induces a zero class in H, () (ii) On the one hand, note that It follows that H, () = ker ker, im ker, = ker, im = ker ker, = H, () dim C H, () = dim C H, () dim C H, () = b dim C H, (), where we use that the Frölicher spectral sequence degenerates, hence in particular b = dim C H, () + dim C H, () On the other hand, by the assumption, we have dim C H, () = dim C H, () H, () = dim C H, (), where we use the Kodaira and Serre duality H, () H (; Ω ) H (; O ) H, () By summing up, we get = dim C H, () + dim C H, () + dim C H, () + dim C H, () b ( ) = b dim C H, () + dim C H, () b =, concluding the proof Class VII surfaces In this section, we compute Bott-Chern cohomology for compact complex surfaces in class VII Let be a compact complex surface By Theorem, the natural map H, () H,() is always injective Consider now the case when is in class VII If is minimal, we prove that the same holds for cohomology with values in a line bundle We will also prove that the natural map H, is not injective () H, Proposition Let be a compact complex surface in class VII Let L H (;C ) = Pic () The natural map H, (; L) H,(; L) induced by the identity is injective Proof Let α, L be a L -exact (, )-form We need to prove that α is L L -exact too Consider α = L ϑ, where ϑ, L In particular, L ϑ =, hence ϑ defines a class in H, (; L) Note that H, () (; L) H (; O (L)) H (; K L ) = } for surfaces of class VII, [9, Remark ] It follows that ϑ = L η for some η, L Hence α = L L η, that is, α is L L -exact We now compute the Bott-Chern cohomology of class VII surfaces Theorem The Bott-Chern numbers of compact complex surfaces in class VII are: h, = h, = h, = h, = h, = b + h, = h, = h, = h, = 3

4 Proof It holds H, () = ker ker, im () = } hence h, = h, = H, On the other side, by Theorem, = = h, = Similarly, it holds H, () = ker ker, im () = } hence h, = h, = H, Note that, from [3, Theorem A], we have = = ker ker, ker, = ker, im ( ) ( ) h, + h, b = h, hence h, = = ker ker, ker, = ker, im ( ) ( ) h, + h, + h, b = h, b hence h, b More precisely, from [3, Theorem B] and Theorem, we have that h, = b if and only if = if and only if satisfies the -Lemma, in fact is Kähler, which is not the case Finally, we prove that h, = b + Consider the following exact sequences from [, Lemma 3] More precisely, the sequence im d, ( ) H, im () im H, () H dr (;C) is clearly exact Furthermore, fix a Gauduchon metric g Denote by ω := g(j, ) the (, )-form associated to g, where J denotes the integrable almost-complex structure By definition of g being Gauduchon, we have ω = The sequence im d, im ω C is exact Indeed, firstly note that for η = f im,, we have η ω = f ω = f ω = f ω = by applying twice the Stokes theorem Then, we recall the argument in [, Lemma 3(ii)] for proving that the map ω : im d, C im is injective Take α = d β im d, ker ω Then Λα = α ω =, where Λ is the adjoint operator of ω with respect to Then Λα ker = im Λ, by extending [6, Corollary 79] by C-linearity Take u C (;C) such that Λα = Λu Then, by defining α := α u, we have [α ] = [α] im d,, and Λα =, and α = d β where β := β u im In particular, α is primitive Since α is primitive and of type (, ), then it is anti-self-dual by the Weil identity Then α = α α = α α = α α = d β d β = d ( β d β ) = and hence α =, and therefore [α] = Since the space im d, ( im ) im H, () H dr (;C) is finite-dimensional, being a sub-space of H, = = (), and since the space is finite-dimensional, being a sub-space of HdR (;C), we get that im d, dim C dim C C =, im and hence ( ) b < dim C H, () = dim C im H, () im d, H dr(;c) + dim C im We get that dim C H, () = b + Finally, we prove that the natural map H, () H,() is not injective b + Proposition 3 Let be a compact complex surface in class VII Then the natural map H, () () induced by the identity is the zero map and not an isomorphism H, 4

5 Proof Note that, for class VII surfaces, the pluri-genera are zero In particular, H, () H, () = }, by Kodaira and Serre duality By Theorem, one has H, () } Cohomologies of Calabi-Eckmann surface In this section, as an explicit example, we compute the cohomologies of a compact complex surface in class VII: namely, we consider the Calabi-Eckmann structure on the differentiable manifolds underlying the Hopf surfaces Consider the differentiable manifold := S S 3 As a Lie group, S 3 = SU() has a global leftinvariant co-frame e, e, e 3} such that d e = e e 3 and d e = e e 3 and d e 3 = e e Hence, we consider a global left-invariant co-frame f, e, e, e 3} on with structure equations d f = d e = e e 3 d e = e e 3 d e 3 = e e Consider the left-invariant almost-complex structure defined by the (, )-forms ϕ := e + i e ϕ := e 3 + i f By computing the complex structure equations, we get ϕ = i ϕ ϕ ϕ = i ϕ ϕ and ϕ = ϕ = i ϕ ϕ We note that the almost-complex structure is in fact integrable The manifold is a compact complex manifold not admitting Kähler metrics It is bi-holomorphic to the complex manifold M, considered by Calabi and Eckmann, [6], see [8, Theorem 4] Consider the Hermitian metric g whose associated (, )-form is ω := i ϕ j ϕ j As for the de Rham cohomology, from the Künneth formula we get H dr (;C) = C C ϕ ϕ C ϕ ϕ C ϕ, j= (where, here and hereafter, we shorten, eg, ϕ := ϕ ϕ ϕ ) By [, Appendix II, Theorem 95], one has that a model for the Dolbeault cohomology is given by () x,, x,, where x i,j is an element of bi-degree (i, j) In particular, we recover that the Hodge numbers } h p,q := dim C H p,q () are p,q,,} h, = h, We note that the sub-complex h, = h, h, = h, = = h, = = h, = h, ι: ϕ, ϕ, ϕ, ϕ, is such that H (ι) is an isomorphism More precisely, we get [ ] () = C C ϕ C [ ϕ ] C = [ ϕ ], where we have listed the harmonic representatives with respect to the Dolbeault Laplacian of g By [, Theorem 3, Proposition ], we have also H (ι) isomorphism In particular, we get [ϕ ] [ ] [ ] [ ] () = C C C ϕ C ϕ C ϕ, 5

6 where we have listed the harmonic representatives with respect to the Bott-Chern Laplacian of g In particular, the Bott-Chern numbers h p,q := dim C H p,q ()} p,q,,} are h, = h, = h, = h, = h, = h, = h, = h, = h, = By [9, c], we have A () = C C [ ϕ ] [ ] [ ] [ ] C ϕ C ϕ C ϕ, where we have listed the harmonic representatives with respect to the Aeppli Laplacian of g In particular, the Aeppli numbers h p,q A := dim C H p,q A ()} p,q,,} are h, A = h, A = h, A = h, A = h, A = h, A = h, A = h, A = h, A = Summarizing, we have the following Proposition 4 Let := S S 3 be endowed with the complex structure of Calabi-Eckmann The non-zero dimensions of the Dolbeault and Bott-Chern cohomologies are the following: and h, () = h,() = h,() = h, () = h, () = h, () = h, () = h, () = h, () H, Note in particular that the natural map H, and that the natural map H, () H3 dr () = () induced by the identity is an isomorphism, (;C) induced by the identity is injective 3 Complex surfaces diffeomorphic to solvmanifolds Let be a compact complex surface diffeomorphic to a solvmanifold Γ\G By [, Theorem ], is (A) either a complex torus, (B) or a hyperelliptic surface, (C) or a Inoue surface of type S M, (D) or a primary Kodaira surface, (E) or a secondary Kodaira surface, (F) or a Inoue surface of type S ±, and, as such, it is endowed with a left-invariant complex structure In each case, we recall the structure equations of the group G, see [] More precisely, take a basis e, e, e 3, e 4 } of the Lie algebra g naturally associated to G We have the following commutation relations, according to []: (A) differentiable structure underlying a complex torus: [e j, e k ] = for any j, k,, 3, 4} ; (hereafter, we write only the non-trivial commutators); (B) differentiable structure underlying a hyperelliptic surface: [e, e 4 ] = e, [e, e 4 ] = e ; (C) differentiable structure underlying a Inoue surface of type S M : [e, e 4 ] = α e + β e, [e, e 4 ] = β e α e, [e 3, e 4 ] = α e 3, where α R \ } and β R; (D) differentiable structure underlying a primary Kodaira surface: [e, e ] = e 3 ; (E) differentiable structure underlying a secondary Kodaira surface: [e, e ] = e 3, [e, e 4 ] = e, [e, e 4 ] = e ; (F) differentiable structure underlying a Inoue surface of type S ± : [e, e 3 ] = e, [e, e 4 ] = e, [e 3, e 4 ] = e 3 6

7 Denote by e, e, e 3, e 4} the dual basis of e, e, e 3, e 4 } We recall that, for any α g, for any x, y g, it holds d α(x, y) = α ([x, y]) Hence we get the following structure equations: (A) differentiable structure underlying a complex torus: d e = d e = ; d e 3 = d e 4 = (B) differentiable structure underlying a hyperelliptic surface: d e = e e 4 d e = e e 4 ; d e 3 = d e 4 = (C) differentiable structure underlying a Inoue surface of type S M : d e = α e e 4 + β e e 4 d e = β e e 4 + α e e 4 ; d e 3 = α e 3 e 4 d e 4 = (D) differentiable structure underlying a primary Kodaira surface: d e = d e = ; d e 3 = e e d e 4 = (E) differentiable structure underlying a secondary Kodaira surface: d e = e e 4 d e = e e 4 ; d e 3 = e e d e 4 = (F) differentiable structure underlying a Inoue surface of type S ± : d e = e e 3 d e = e e 4 d e 3 = e 3 e 4 d e 4 = In cases (A), (B), (C), (D), (E), consider the G-left-invariant almost-complex structure J on defined by Je := e and Je := e and Je 3 := e 4 and Je 4 := e 3 Consider the G-left-invariant (, )-forms ϕ := e + i e ϕ := e 3 + i e 4 In case (F), consider the G-left-invariant almost-complex structure J on defined by Je := e and Je := e and Je 3 := e 4 q e and Je 4 := e 3 q e, 7

8 where q R Consider the G-left-invariant (, )-forms ϕ := e + i e + i q e 4 ϕ := e 3 + i e 4 With respect to the G-left-invariant coframe ϕ, ϕ } for the holomorphic tangent bundle T, Γ\G, we have the following structure equations (As for notation, we shorten, eg, ϕ := ϕ ϕ ) (A) torus: d ϕ = d ϕ = (B) hyperelliptic surface: d ϕ = ϕ + ϕ d ϕ = (C) Inoue surface S M : d ϕ = α i β i ϕ α i β i ϕ d ϕ = i α ϕ (where α R \ } and β R); (D) primary Kodaira surface: d ϕ = (E) secondary Kodaira surface: (F) Inoue surface S ± : d ϕ = i ϕ d ϕ = ϕ + ϕ d ϕ = i ϕ d ϕ = i ϕ + ϕ i + q i d ϕ = ϕ i 4 Cohomologies of complex surfaces diffeomorphic to solvmanifolds In this section, we compute the Dolbeault and Bott-Chern cohomologies of the compact complex surfaces diffeomorphic to a solvmanifold We prove the following theorem Theorem 4 Let be a compact complex surface diffeomorphic to a solvmanifold Γ\G; denote the Lie algebra of G by g Then the inclusion (, g,, ) (,,, ) induces an isomorphism both in Dolbeault and in Bott-Chern cohomologies In particular, the dimensions of the de Rham, Dolbeault, and Bott-Chern cohomologies and the degrees of non-kählerness are summarized in Table 5 Proof Firstly, we compute the cohomologies of the sub-complex of G-left-invariant forms The computations are straightforward from the structure equations (A) torus (B) hyperelliptic (C) Inoue SM (p, q) H p,q dimc H p,q H p,q dimc H p,q H p,q dimc H p,q H p,q dimc H p,q H p,q dimc H p,q H p,q dimc H p,q (, ) (, ) ϕ, ϕ ϕ, ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ (, ), ϕ, ϕ (, ) ϕ ϕ (, ) ϕ, ϕ, ϕ, ϕ 4 ϕ, ϕ, ϕ, ϕ 4 ϕ, ϕ ϕ, ϕ ϕ ϕ ϕ (, ) (, ) ϕ, ϕ ϕ, ϕ ϕ ϕ ϕ ϕ (, ) ϕ, ϕ ϕ, ϕ ϕ ϕ ϕ (, ) ϕ ϕ ϕ ϕ ϕ ϕ Table Dolbeault and Bott-Chern cohomologies of compact complex surfaces diffeomorphic to solvmanifolds, part 8

9 (D) primary Kodaira (E) secondary Kodaira (F) Inoue S ± (p, q) H p,q dim C H p,q H p,q dim C H p,q H p,q dim C H p,q H p,q dim C H p,q H p,q dim C H p,q H p,q dim C H p,q (, ) (, ) ϕ ϕ ϕ ϕ ϕ ϕ (, ), ϕ (, ) ϕ ϕ (, ) ϕ, ϕ ϕ, ϕ, ϕ 3 ϕ ϕ ϕ ϕ (, ) (, ) ϕ, ϕ ϕ, ϕ ϕ ϕ ϕ ϕ (, ) ϕ ϕ, ϕ ϕ ϕ (, ) ϕ ϕ ϕ ϕ ϕ ϕ Table Dolbeault and Bott-Chern cohomologies of compact complex surfaces diffeomorphic to solvmanifolds, part (A) torus (B) hyperelliptic (C) Inoue S M k HdR k dim C HdR k HdR k dim C HdR k HdR k dim C HdR k ϕ, ϕ, ϕ, ϕ 4 ϕ, ϕ ϕ ϕ ϕ, ϕ, ϕ, ϕ, ϕ, ϕ 6 ϕ, ϕ 3 4 ϕ, ϕ, ϕ, ϕ ϕ 4 ϕ, ϕ ϕ ϕ ϕ ϕ Table 3 de Rham cohomology of compact complex surfaces diffeomorphic to solvmanifolds, part (D) primary Kodaira (E) secondary Kodaira (F) Inoue S ± k HdR k dim C HdR k HdR k dim C HdR k HdR k dim C HdR k 3 4 ϕ, ϕ, ϕ ϕ ϕ, ϕ, ϕ, ϕ ϕ, ϕ, ϕ ϕ ϕ 3 ϕ ϕ ϕ ϕ 4 3 ϕ ϕ ϕ q ϕ ϕ + q ϕ ϕ ϕ Table 4 de Rham cohomology of compact complex surfaces diffeomorphic to solvmanifolds, part In Tables and and in Tables 3 and 4, we summarize the results of the computations The subcomplexes of left-invariant forms are depicted in Figure (each dot represents a generator, vertical arrows depict the -operator, horizontal arrows depict the -operator, and trivial arrows are not shown) The dimensions are listed in Table 5 On the one side, recall that the inclusion of left-invariant forms into the space of forms induces an injective map in Dolbeault and Bott-Chern cohomologies, see, eg, [7, Lemma 9], [, Lemma 36] On 9

10 the other side, recall that the Frölicher spectral sequence of a compact complex surface degenerates at the first level, equivalently, the equalities dim C H, () + dim C H, () = dim C H dr (;C) and dim C H, () + dim C H, () + dim C H, () = dim C H dr(;c) hold By comparing the dimensions in Table 5 with the Betti numbers case by case, we find that the left-invariant forms suffice in computing the Dolbeault cohomology for each case Then, by [, Theorem 37], see also [, Theorem 3, Theorem 6], it follows that also the Bott-Chern cohomology is computed using just left-invariant forms (a) torus (b) hyperelliptic surface (c) Inoue surface S M (d) primary Kodaira surface (e) secondary Kodaira surface (f) Inoue surface S ± Figure The double-complexes of left-invariant forms over 4-dimensional solvmanifolds (A) torus (B) hyperell (C) Inoue S M (D) prim Kod (E) sec Kod (F) Inoue S ± (p, q) h p,q h p,q b k k h p,q h p,q b k k h p,q h p,q b k k h p,q h p,q b k k h p,q h p,q b k k h p,q h p,q b k k (, ) (, ) 4 3 (, ) (, ) 6 4 (, ) (, ) (, ) 4 3 (, ) (, ) Table 5 Summary of the dimensions of de Rham, Dolbeault, and Bott-Chern cohomologies and of the degree of non-kählerness for compact complex surfaces diffeomorphic to solvmanifolds

11 According to Theorem, the natural map H, () H,() is injective for any compact complex surface We are now interested in studying the injectivity of the natural map H, () H3 dr (;C) induced by the identity, at least for compact complex surfaces diffeomorphic to solvmanifolds In fact, by definition, the property of satisfying the -Lemma, [8], is equivalent to the natural map p+q= Hp,q () H dr (;C) being injective Note that, for a compact complex manifold of complex dimension n, the injectivity of the map H n,n () H n dr (;C) implies the (n, n)-th weak -Lemma in the sense of J Fu and S-T Yau, [, Definition 5] We prove the following result Theorem 4 Let be a compact complex surface diffeomorphic to a solvmanifold Then the natural map H, () H,() induced by the identity is an isomorphism, and the natural map H, () (;C) induced by the identity is injective H 3 dr Proof By the general result in Theorem, the natural map H, () H,() is injective In fact, it is an isomorphism as follows from the computations summarized in Tables and As for the injectivity of the natural map H, () H3 dr (;C), it is a straightforward computation from Tables and and Tables 3 and 4 As an example, we offer an explicit calculation of the injectivity of the map H, () H3 dr (;C) for the Inoue surfaces of type, see [3], see also [] We will change a little bit the notation Recall the construction of Inoue surfaces: let M SL(3; Z) be a unimodular matrix having a real eigenvalue λ > and two complex eigenvalues µ µ Take a real eigenvector (α, α, α 3 ) and an eigenvector (β, β, β 3 ) of M Let H = z C Im z > }; on the product H C consider the following transformations defined as f (z, w) := (λz, µw) f j (z, w) := (z + α j, w + β j ) for j,, 3} Denote by Γ M the group generated by f,, f 3 ; then Γ M acts in a properly discontinuous way and without fixed points on H C, and S M := H C/Γ M is an Inoue surface of type, as in case (C) in [] Denoting by z = x + i y and w = u + i v, consider the following differential forms on H C: e := y d x, e := y d y, e3 := y d u, e 4 := y d v (Note that e and e, and e 3 e 4 are Γ M -invariant, and consequently they induce global differential forms on S M ) We obtain d e = e e, d e =, d e 3 = e e 3, d e 4 = e e 4 Consider the natural complex structure on S M induced by H C Locally, we have Je = e and Je = e and Je 3 = e 4 and Je 4 = e 3 Considering the Γ M -invariant (, )-Bott-Chern cohomology of S M, we obtain that H, (S M) = C [ e e 3 e 4 + i e e 3 e 4] Clearly ( e e 3 e 4 + i e e 3 e 4) = and e e 3 e 4 +i e e 3 e 4 = i e e 3 e 4 + d ( e 3 e 4), therefore the de Rham cohomology class [ e e 3 e 4 + i e e 3 e 4] = i [ e e 3 e 4] HdR 3 (S M) is non-zero References [] D Angella, The cohomologies of the Iwasawa manifold and of its small deformations, J Geom Anal 3 (3), no 3, [] D Angella, H Kasuya, Bott-Chern cohomology of solvmanifolds, ariv:578v3 [mathdg] [3] D Angella, A Tomassini, On the -Lemma and Bott-Chern cohomology, Invent Math 9 (3), no, 7 8 [4] W P Barth, K Hulek, C A M Peters, A Van de Ven, Compact complex surfaces, Second edition, Ergebnisse der Mathematik und ihrer Grenzgebiete, 3, Springer-Verlag, Berlin, 4 [5] N Buchdahl, On compact Kähler surfaces, Ann Inst Fourier (Grenoble) 49 (999), no, vii, xi, 87 3 [6] E Calabi, B Eckmann, A class of compact, complex manifolds which are not algebraic, Ann of Math () 58 (953), no 3, [7] S Console, A Fino, Dolbeault cohomology of compact nilmanifolds, Transform Groups 6 (), no, 4 [8] P Deligne, Ph Griffiths, J Morgan, D P Sullivan, Real homotopy theory of Kähler manifolds, Invent Math 9 (975), no 3, 45 74

12 [9] G Dloussky, On surfaces of class V II + with numerically anticanonical divisor, Amer J Math 8 (6), no 3, [] J Fu, S-T Yau, A note on small deformations of balanced manifolds, C R Math Acad Sci Paris 349 (), no 3 4, [] K Hasegawa, Complex and Kähler structures on compact solvmanifolds, Conference on Symplectic Topology, J Symplectic Geom 3 (5), no 4, [] F Hirzebruch, Topological methods in algebraic geometry, Translated from the German and Appendix One by R L E Schwarzenberger, With a preface to the third English edition by the author and Schwarzenberger, Appendix Two by A Borel, Reprint of the 978 edition, Classics in Mathematics, Springer-Verlag, Berlin, 995 [3] M Inoue, On surfaces of Class V II, Invent Math 4 (974), no 4, 69 3 [4] K Kodaira, On the structure of compact complex analytic surfaces I, Amer J Math 86 (964), [5] A Lamari, Courants kählériens et surfaces compactes, Ann Inst Fourier (Grenoble) 49 (999), no, vii, x, [6] M Lübke, A Teleman, The Kobayashi-Hitchin correspondence, World Scientific Publishing Co, Inc, River Edge, NJ, 995 [7] Y Miyaoka, Kähler metrics on elliptic surfaces, Proc Japan Acad 5 (974), no 8, [8] M Parton, Explicit parallelizations on products of spheres and Calabi-Eckmann structures, Rend Istit Mat Univ Trieste 35 (3), no -, 6 67 [9] M Schweitzer, Autour de la cohomologie de Bott-Chern, ariv:79358v [mathag] [] Y T Siu, Every K3 surface is Kähler, Invent Math 73 (983), no, 39 5 [] A Teleman, The pseudo-effective cone of a non-kählerian surface and applications, Math Ann 335 (6), no 4, [] F Tricerri, Some examples of locally conformal Kähler manifolds, Rend Sem Mat Univ Politec Torino 4 (98), no, 8 9 (Daniele Angella) Istituto Nazionale di Alta Matematica Current address: Dipartimento di Matematica e Informatica, Università di Parma, Parco Area delle Scienze 53/A, 434, Parma, Italy address: angella@maildmunipiit (Georges Dloussky) Aix-Marseille University, CNRS, Centrale Marseille, IM, UMR 7373, 3453, 39 rue F Joliot-Curie 34, Marseille Cedex 3, France address: georgesdloussky@univ-amufr (Adriano Tomassini) Dipartimento di Matematica e Informatica, Università di Parma, Parco Area delle Scienze 53/A, 434, Parma, Italy address: adrianotomassini@uniprit