arxiv: v1 [math.dg] 11 Feb 2014

Similar documents
arxiv: v2 [math.dg] 2 Mar 2015

Seminario de Geometría y Topología Facultad de Ciencias Matemáticas, Universidad Complutense de Madrid

arxiv: v2 [math.dg] 16 Sep 2015

REVISTA DE LA REAL ACADEMIA DE CIENCIAS. Exactas Físicas Químicas y Naturales DE ZARAGOZA. Serie 2.ª Volumen 69

arxiv: v2 [math.dg] 14 Aug 2017

Useful theorems in complex geometry

arxiv: v3 [math.ag] 21 Nov 2013

joint work with A. Fino, M. Macrì, G. Ovando, M. Subils Rosario (Argentina) July 2012 Sergio Console Dipartimento di Matematica Università di Torino

Formality of Kähler manifolds

Techniques of computations of Dolbeault cohomology of solvmanifolds

Hyperkähler geometry lecture 3

REMARKS ON CHERN-EINSTEIN HERMITIAN METRICS DANIELE ANGELLA, SIMONE CALAMAI, AND CRISTIANO SPOTTI

Dolbeault cohomology and. stability of abelian complex structures. on nilmanifolds

Geometria Simplettica e metriche Hermitiane speciali

CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS. Contents

arxiv: v1 [math.dg] 24 Dec 2017

RIEMANN SURFACES: TALK V: DOLBEAULT COHOMOLOGY

Citation Osaka Journal of Mathematics. 43(1)

arxiv: v2 [math.dg] 23 Dec 2016

arxiv:alg-geom/ v1 29 Jul 1993

ON TAMING AND COMPATIBLE SYMPLECTIC FORMS

Cohomologies and Elliptic Operators on Symplectic Manifolds

arxiv: v3 [math.dg] 11 Jan 2019

Kähler manifolds and variations of Hodge structures

Cohomology of the Mumford Quotient

A note on Severi varieties of nodal curves on Enriques surfaces

BALANCED MANIFOLDS AND SKT METRICS

Stable bundles with small c 2 over 2-dimensional complex tori

From locally conformally Kähler to bi-hermitian structures on non-kähler complex surfaces

Complex manifolds, Kahler metrics, differential and harmonic forms

HODGE THEORY, SINGULARITIES AND D-MODULES

arxiv: v2 [math.dg] 10 May 2015

Algebraic geometry versus Kähler geometry

Generalized Hitchin-Kobayashi correspondence and Weil-Petersson current

CONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP

Lecture on Equivariant Cohomology

Universität Regensburg Mathematik

HYPERKÄHLER MANIFOLDS

Introduction To K3 Surfaces (Part 2)

FAKE PROJECTIVE SPACES AND FAKE TORI

arxiv: v1 [math.dg] 30 Jan 2015

arxiv: v1 [math.dg] 23 May 2016

MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY

ENOKI S INJECTIVITY THEOREM (PRIVATE NOTE) Contents 1. Preliminaries 1 2. Enoki s injectivity theorem 2 References 5

THE HODGE DECOMPOSITION

September 2011 at Varna

arxiv: v2 [math.dg] 4 Apr 2015

Università degli Studi di Padova

UNIVERSAL UNFOLDINGS OF LAURENT POLYNOMIALS AND TT STRUCTURES. Claude Sabbah

Invariance Theory, the Heat Equation, and the Atiyah-Singer Index Theorem

Stable bundles on CP 3 and special holonomies

The diagonal property for abelian varieties

Projective Schemes with Degenerate General Hyperplane Section II

Contributors. Preface

The Hopf Bracket. Claude LeBrun SUNY Stony Brook and Michael Taylor UNC Chapel Hill. August 11, 2013

Von Neumann dimension, Hodge index theorem and geometric applications

arxiv: v1 [math.ag] 28 Sep 2016

Topics in Geometry: Mirror Symmetry

A REMARK ON DISTRIBUTIONS AND THE DE RHAM THEOREM

September 27, :51 WSPC/INSTRUCTION FILE biswas-loftin. Hermitian Einstein connections on principal bundles over flat affine manifolds

Hard Lefschetz Theorem for Vaisman manifolds

TitleOn manifolds with trivial logarithm. Citation Osaka Journal of Mathematics. 41(2)

F. LAYTIMI AND D.S. NAGARAJ

A formality criterion for differential graded Lie algebras

1 Introduction and preliminaries notions

CHARACTERISTIC CLASSES

HOW TO CLASSIFY FANO VARIETIES?

Mathematical Research Letters 2, (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS. Shuguang Wang

LAGRANGIAN HOMOLOGY CLASSES WITHOUT REGULAR MINIMIZERS

arxiv: v1 [math.ag] 9 Mar 2011

A note on rational homotopy of biquotients

k=0 /D : S + S /D = K 1 2 (3.5) consistently with the relation (1.75) and the Riemann-Roch-Hirzebruch-Atiyah-Singer index formula

The Strominger Yau Zaslow conjecture

A CRITERION FOR A DEGREE-ONE HOLOMORPHIC MAP TO BE A BIHOLOMORPHISM. 1. Introduction

Vanishing theorems and holomorphic forms

HARMONIC COHOMOLOGY OF SYMPLECTIC FIBER BUNDLES

Geometry and Computer Science Pescara, February 0810, 2017

arxiv: v3 [math.cv] 3 Oct 2016

η = (e 1 (e 2 φ)) # = e 3

arxiv: v1 [math.ag] 13 Mar 2019

COMPACT KÄHLER MANIFOLDS WITH ELLIPTIC HOMOTOPY TYPE. 1. Introduction

Pullbacks of hyperplane sections for Lagrangian fibrations are primitive

On the Cohomology of Algebraic Varieties

arxiv: v2 [math.dg] 6 Nov 2014

arxiv: v1 [math.dg] 19 Jan 2016

COMPACT KÄHLER SURFACES

Geometry of the Calabi-Yau Moduli

ALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3

The Frölicher-type inequalities of foliations

INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD

Hodge Theory of Maps

On the cohomology ring of compact hyperkähler manifolds

ON EMBEDDABLE 1-CONVEX SPACES

arxiv: v1 [math.dg] 7 Sep 2018

A note on Samelson products in the exceptional Lie groups

arxiv: v4 [math.ag] 9 Nov 2017

Poisson modules and generalized geometry

DELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES

Curriculum Vitæ. Daniele Angella. (Last updated on August 7, 2014)

Riemannian Curvature Functionals: Lecture III

Transcription:

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

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:

(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

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

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

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

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

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

(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

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 4 3 (, ) (, ) 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

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, 355-378 [] 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, 494 5 [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

[9] G Dloussky, On surfaces of class V II + with numerically anticanonical divisor, Amer J Math 8 (6), no 3, 639 67 [] J Fu, S-T Yau, A note on small deformations of balanced manifolds, C R Math Acad Sci Paris 349 (), no 3 4, 793 796 [] K Hasegawa, Complex and Kähler structures on compact solvmanifolds, Conference on Symplectic Topology, J Symplectic Geom 3 (5), no 4, 749 767 [] 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), 75 798 [5] A Lamari, Courants kählériens et surfaces compactes, Ann Inst Fourier (Grenoble) 49 (999), no, vii, x, 63 85 [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, 533 536 [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, 965 989 [] 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 E-mail 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 E-mail address: georgesdloussky@univ-amufr (Adriano Tomassini) Dipartimento di Matematica e Informatica, Università di Parma, Parco Area delle Scienze 53/A, 434, Parma, Italy E-mail address: adrianotomassini@uniprit