arxiv: v2 [math.dg] 16 Sep 2015

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

arxiv: v2 [math.dg] 23 Dec 2016

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

arxiv: v1 [math.dg] 11 Feb 2014

arxiv: v2 [math.dg] 2 Mar 2015

BALANCED MANIFOLDS AND SKT METRICS

arxiv: v3 [math.ag] 21 Nov 2013

arxiv: v2 [math.dg] 14 Aug 2017

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

Flat complex connections with torsion of type (1, 1)

Geometria Simplettica e metriche Hermitiane speciali

arxiv: v1 [math.dg] 7 Sep 2018

RIEMANN SURFACES: TALK V: DOLBEAULT COHOMOLOGY

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

Formality of Kähler manifolds

Six-Dimensional Solvmanifolds with Holomorphically Trivial Canonical Bundle

Techniques of computations of Dolbeault cohomology of solvmanifolds

Hyperkähler geometry lecture 3

F. LAYTIMI AND D.S. NAGARAJ

arxiv: v2 [math.dg] 4 Apr 2015

ALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3

arxiv: v2 [math.dg] 10 May 2015

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

Multi-moment maps. CP 3 Journal Club. Thomas Bruun Madsen. 20th November 2009

Examples of foliations with infinite dimensional special cohomology

Cohomology of the Mumford Quotient

ON EMBEDDABLE 1-CONVEX SPACES

THE HODGE DECOMPOSITION

Citation Osaka Journal of Mathematics. 43(1)

Takao Akahori. z i In this paper, if f is a homogeneous polynomial, the correspondence between the Kodaira-Spencer class and C[z 1,...

Cohomologies and Elliptic Operators on Symplectic Manifolds

arxiv: v1 [math.dg] 24 Dec 2017

arxiv: v1 [math.dg] 19 Jan 2016

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

Topics in Geometry: Mirror Symmetry

arxiv: v3 [math.dg] 11 Jan 2019

FAKE PROJECTIVE SPACES AND FAKE TORI

Geometry and Computer Science Pescara, February 0810, 2017

arxiv: v1 [math.dg] 23 May 2016

Università degli Studi di Padova

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

SYMPLECTIC GEOMETRY: LECTURE 5

Structure theorems for compact Kähler manifolds

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

Fourier Mukai transforms II Orlov s criterion

arxiv: v1 [math.dg] 30 Jan 2015

Universität Regensburg Mathematik

arxiv:alg-geom/ v1 29 Jul 1993

arxiv: v1 [math.ag] 13 Mar 2019

Algebraic geometry versus Kähler geometry

Useful theorems in complex geometry

Geometry of the Calabi-Yau Moduli

arxiv: v1 [math.co] 25 Jun 2014

arxiv:math/ v2 [math.dg] 24 Nov 2007 ANNA FINO AND ADRIANO TOMASSINI

Complex manifolds, Kahler metrics, differential and harmonic forms

If F is a divisor class on the blowing up X of P 2 at n 8 general points p 1,..., p n P 2,

THE VORTEX EQUATION ON AFFINE MANIFOLDS. 1. Introduction

APPROXIMATE YANG MILLS HIGGS METRICS ON FLAT HIGGS BUNDLES OVER AN AFFINE MANIFOLD. 1. Introduction

HYPERBOLICITY IN UNBOUNDED CONVEX DOMAINS

UNIVERSAL UNFOLDINGS OF LAURENT POLYNOMIALS AND TT STRUCTURES. Claude Sabbah

Introduction To K3 Surfaces (Part 2)

Uniformization in several complex variables.

Intermediate Jacobians and Abel-Jacobi Maps

NON FORMAL COMPACT MANIFOLDS WITH SMALL BETTI NUMBERS

arxiv: v1 [math.gr] 25 Sep 2017

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

Scalar curvature and the Thurston norm

LECTURE 2: SYMPLECTIC VECTOR BUNDLES

LIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM

Hodge Theory of Maps

Pullbacks of hyperplane sections for Lagrangian fibrations are primitive

The kernel of the Dirac operator

Duality in spaces of finite linear combinations of atoms

NilBott Tower of Aspherical Manifolds and Torus Actions

Hard Lefschetz Theorem for Vaisman manifolds

ERRATUM TO AFFINE MANIFOLDS, SYZ GEOMETRY AND THE Y VERTEX

ON THE RESIDUALITY A FINITE p-group OF HN N-EXTENSIONS

arxiv: v3 [math.dg] 10 Jan 2011

LAGRANGIAN HOMOLOGY CLASSES WITHOUT REGULAR MINIMIZERS

AN ALTERNATING PROPERTY FOR HIGHER BRAUER GROUPS

SUMMARY OF THE KÄHLER MASS PAPER

Theorem 2. Let n 0 3 be a given integer. is rigid in the sense of Guillemin, so are all the spaces ḠR n,n, with n n 0.

This theorem gives us a corollary about the geometric height inequality which is originally due to Vojta [V].

Mirror Symmetry: Introduction to the B Model

LIE ALGEBRA PREDERIVATIONS AND STRONGLY NILPOTENT LIE ALGEBRAS

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

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

Kähler manifolds and variations of Hodge structures

ON A THEOREM OF CAMPANA AND PĂUN

Vanishing theorems and holomorphic forms

Hamiltonian Toric Manifolds

HYPERKÄHLER MANIFOLDS

arxiv: v1 [math.cv] 15 Nov 2018

Some new torsional local models for heterotic strings

L 2 extension theorem for sections defined on non reduced analytic subvarieties

SINGULAR CURVES OF AFFINE MAXIMAL MAPS

Stable bundles on CP 3 and special holonomies

(1.) For any subset P S we denote by L(P ) the abelian group of integral relations between elements of P, i.e. L(P ) := ker Z P! span Z P S S : For ea

A Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds

A formality criterion for differential graded Lie algebras

Transcription:

ON SMLL DEFORMTIONS OF BLNCED MNIFOLDS DNIELE NGELL ND LUIS UGRTE arxiv:1502.07581v2 [math.dg] 16 Sep 2015 bstract. We introduce a property of compact complex manifolds under which the existence of balanced metric is stable by small deformations of the complex structure. This property, which is weaker than the -Lemma, is characterized in terms of the strongly Gauduchon cone and of the first degree measuring the difference of eppli and Bott-Chern cohomologies with respect to the Betti number b 1. Introduction In this note we are aimed at the problem of constructing special metrics on complex non-kähler manifolds. In particular, we are interested in balanced metrics in the sense of M. L. Michelsohn [17], that is, Hermitian metrics whose fundamental form is co-closed. More precisely, basing on the work by J. Fu and S.-T. Yau [13], we introduce a condition ensuring the existence of such metrics on small deformations of the complex structure. It is well known that the existence of balanced metrics on a compact complex manifold is not stable under small deformations of the complex structure [2]. More precisely, [2, Proposition 4.1] provides a counter-example on the Iwasawa manifold endowed with the holomorphically parallelizable complex structure. In fact, in order to prove a balanced analogue of the fundamental stability result by K. Kodaira and D. C. Spencer [14, Theorem 15], one needs a further assumption on the variation of Bott-Chern cohomology. We then investigate cohomological conditions on the central fibre yielding existence of balanced metrics for small deformations. s a first result in this direction, C.-C. Wu proves in [25, Theorem 5.13] that small deformations of compact complex manifolds satisfying the -Lemma and admitting balanced metrics still admit balanced metrics. The assumption on the validity of -Lemma is in fact stronger than necessary. It suffices, for example, that the dimension of the (n 1, n 1)-th Bott-Chern cohomology group is constant along the deformation, where 2n denotes the real dimension of the manifold, see Proposition 4.1. This condition, too, is sufficient but not necessary, see Example 4.10. The above condition allows to show that any small deformation of the Iwasawa manifold endowed with an belian complex structure admits balanced metrics, see Proposition 4.4, a result that is in deep contrast with the behaviour of its holomorphically parallelizable structure. 2010 Mathematics Subject Classification. 32Q99, 53C55, 32G05. Key words and phrases. Complex manifold, balanced metric, -Lemma, sgg manifold, deformation. During the preparation of the work, the first author has been granted by a research fellowship by Istituto Nazionale di lta Matematica INdM and by a Junior Visiting Position at Centro di Ricerca Matematica Ennio de Giorgi ; he is also 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 SNS GR14 grant Geometry of non-kähler manifolds, and by GNSG of INdM. The second author is supported by the projects MINECO (Spain) MTM2011-28326-C02-01 and MTM2014-58616-P, and by Gobierno de ragón/fondo Social Europeo, grupo consolidado E15-Geometría. 1

2 DNIELE NGELL ND LUIS UGRTE In order to generalize Wu s result, J. Fu and S.-T. Yau introduced in [13, Definition 5] the following finer notion. compact complex manifold X of complex dimension n is said to satisfy the (n 1, n)-th weak -Lemma if, for each real form α of type (n 1, n 1) on X such that α is -exact, then there exists a (n 2, n 1)-form β such that α = i β. They proved the following result. Theorem 0.1 ([13, Theorem 6]). Let X be a compact complex manifold of complex dimension n with a balanced metric, and let X t be a holomorphic deformation of X = X 0. If X t satisfies the (n 1, n)-th weak -Lemma for any t 0, then there exists a balanced metric on X t for t sufficiently close to 0. Notice that, while satisfying the -Lemma is a stable property under small deformations of the complex structure, (see [24, Proposition 9.21], or [25, Theorem 5.12], or [7, Corollary 2.7],) satisfying the (n 1, n)-th weak -Lemma is not open under deformations, (see [23, Example 3.7]). Here we propose a cohomological notion, related to the above weak -Lemma, in order to get stability under small deformations. Let X be a compact complex manifold of complex dimension n. We recall that the Bott-Chern and the eppli cohomologies [1, 9] of X are defined, respectively, by H, ker ker (X) := im Consider the natural map, : Hn 1, n induced by the identity. We introduce the following notion. and H, ker (X) := im + im. (X) H n 1, n (X) Definition 2.1. compact complex manifold X of complex dimension n is said to satisfy the (n 1, n)-th strong -Lemma if the natural map, is injective. It is clear that compact complex manifolds satisfying the -Lemma also satisfy the (n 1, n)-th strong -Lemma. In Proposition 2.2, we prove that the latter property is weaker than the -Lemma. It is also clear that the (n 1, n)-th strong -Lemma implies the (n 1, n)-th weak -Lemma. Proposition 2.2 shows that the converse does not hold. The main result in this note is a characterization of the (n 1, n)-th strong -Lemma. More precisely, in Theorem 3.1, we prove that a compact complex manifold X satisfies the (n 1, n)-th strong -Lemma if and only if the strongly Gauduchon cone of X coincides with its Gauduchon cone and the first -degree 1 (X) vanishes. Compact complex manifolds satisfying the first condition are called sgg manifolds and they are studied in [20]. On the other hand, the complex invariants k (X), for 1 k n, to which we refer here as the k-th -degrees of X, are introduced in [7], where it is proved that they all vanish if and only if the compact complex manifold X satisfies the -Lemma. Such a characterization turns out to be open under deformations of the complex structure, Proposition 4.8. Hence, we get that the (n 1, n)-th strong -Lemma provides a condition assuring stability of the existence of balanced metrics. This is the final aim of this note. Theorem 4.9. Let X be a compact complex manifold of complex dimension n with a locally conformally balanced metric, and let X t be a holomorphic deformation of X = X 0. If X satisfies the (n 1, n)-th strong -Lemma, then X t admits a balanced metric for any t sufficiently close to 0.

ON SMLL DEFORMTIONS OF BLNCED MNIFOLDS 3 The proof follows by noticing that, by [8, Theorem 2.5], the (n 1, n)-th strong -Lemma property ensures that locally conformally balanced structures are in fact globally conformal to a balanced structure, hence yielding the existence of a balanced metric; and finally by applying Fu and Yau s result, Theorem 0.1. cknowledgments. The first author would like to thank the Departamento de Matemáticas of the Universidad de Zaragoza for the warm hospitality. 1. Preliminaries on sgg manifolds Let X be a compact complex manifold of complex dimension n. We recall that the Gauduchon cone C G (X) of X is defined in [19] as the open convex cone C G (X) H n 1, n 1 consisting of the (real) eppli cohomology classes [ω n 1 ] which are represented by (n 1)-powers of Gauduchon metrics ω on X (that is, Hermitian metrics ω satisfying ω n 1 = 0). Gauduchon metric ω is called strongly Gauduchon, [18, Definition 4.1], if ω n 1 is -exact. Consider the map T, induced by in cohomology, given by (1) T : H n 1, n 1 n 1, n 1 (X) H n, n 1 (X) (X), T ([Ω] ) := [Ω], for any [Ω] H (X). The strongly Gauduchon cone (sg cone, for short) C sg (X) is defined in [19] as the intersection of the Gauduchon cone with the kernel of the linear map T, i.e., n 1, n 1 C sg (X) := C G (X) ker T C G (X) H (X). Notice that the sg property is cohomological. In fact, either all the Gauduchon metrics ω for which ω n 1 belongs to a given eppli-gauduchon class [ω n 1 ] C G (X) are sg, or none of them is. The following class is introduced and studied in [20]: a compact complex manifold X is said to be an sgg manifold if the sg cone of X coincides with the Gauduchon cone, i.e., C sg (X) = C G (X). We will need the following conditions equivalent to the sgg property. Theorem 1.1 ([19, Observation 5.3], [20, Lemma 1.2, Theorem 1.3, Theorem 1.5]). Let X be a compact complex manifold of complex dimension n. The following statements are equivalent: (i) X is an sgg manifold; (ii) every Gauduchon metric ω on X is strongly Gauduchon; n, n 1 (iii) the natural map ι :, Hn,n 1 (X) H n,n 1 (X) induced by the identity is injective; (iv) the map T given by (1) vanishes identically; (v) the following special case of the -Lemma holds: for every d-closed form Ω of type (n, n 1) on X, if Ω is -exact, then Ω is also -exact; (vi) there holds h 0,1 (X) = h0,1 (X); (vii) there holds b 1 = 2 h 0,1 (X). (Here b k denotes de k-th Betti number of the manifold, and h p,q (X), hp,q (X) and h p,q (X) denote, respectively, the dimensions of the Dolbeault, Bott-Chern and eppli cohomology groups of X.)

4 DNIELE NGELL ND LUIS UGRTE Finally, we recall the definition of the -degrees k (X) of X. In [7, Theorem ], it is proven that, for any k {1,..., 2n}, k (X) := (h p,q (X) + hp,q (X)) 2 b k N p+q=k are non-negative integers. Furthermore, it is proven in [7, Theorem B] that X satisfies the -Lemma if and only if k (X) = 0 for any k. Notice that since h p,q (X) = hq,p (X) = hn q,n p (X) = h n p,n q (X) by [22, 2.c], we have 2n k (X) = k (X) for any k. In this note, the invariant 1 (2) 2 1 (X) = h 0,1 (X) + h0,1 (X) b 1 will play a central role. 2. (n 1, n)-th strong -Lemma We study the following class of compact complex manifolds. N Definition 2.1. Let X be a compact complex manifold of complex dimension n. We say that X satisfies the (n 1, n)-th strong -Lemma if the natural map, is injective. Equivalently, for each -closed form Γ of type (n 1, n) on X, if Γ = η + ν, then there exists a (n 2, n 1)-form γ such that Γ = γ. Clearly, any compact complex manifold satisfying the -Lemma also satisfies the (n 1, n)-th strong -Lemma, and it is also clear that the latter condition implies the (n 1, n)-th weak -Lemma. In the following result we show that the converses to these implications do not hold. Proposition 2.2. There exist: (i) compact complex manifolds X of complex dimension n satisfying the (n 1, n)-th strong -Lemma that do not satisfy the -Lemma; (ii) compact complex manifolds X of complex dimension n satisfying the (n 1, n)-th weak -Lemma but not satisfying the (n 1, n)-th strong - Lemma. Proof. s an example in case (i), let X be the compact complex manifold of complex dimension 3 given by the completely-solvable Nakamura manifold with the lattice in case (ii) in [5, Example 2.17] (see Example 4.10 below for details). Then, b 1 = 2 and h 0,1 (X) = h0,1 (X) = h0,1 (X) = 1, so Corollary 3.3 below implies that X satisfies the (2, 3)-th strong -Lemma. However, 2 (X) = 4 0 and X does not satisfy the -Lemma [7]. For the proof of (ii), we first observe that, by the commutative diagram of natural maps (3) H n 1,n, (X) H n 1,n, (X) H n 1,n (X),, if a compact complex manifold X satisfies the (n 1, n)-th strong -Lemma then the map is injective., Let X be a nilmanifold endowed with an belian complex structure. By [23, Corollary 3.5], X always satisfies the (n 1, n)-th weak -Lemma; on the other

ON SMLL DEFORMTIONS OF BLNCED MNIFOLDS 5 hand, in [8, Proposition 2.9] it is proved that the map, Hence, X does not satisfy the (n 1, n)-th strong -Lemma. is never injective. 3. characterization of the (n 1, n)-th strong -Lemma In this section, we provide a characterization of the (n 1, n)-th strong -Lemma in terms of the sgg property and the vanishing of the complex invariant 1. This will allow us to ensure the openness of (n 1, n)-th strong -Lemma under small deformations of the complex structure in the next section. Theorem 3.1. Let X be a compact complex manifold of dimension n. Then, X satisfies the (n 1, n)-th strong -Lemma if and only if X is sgg and 1 (X) = 0. Proof. We divide the proof into the following steps. Step 1. If X satisfies the (n 1, n)-th strong -Lemma, then X is sgg. Let ω be any Gauduchon metric on X. Then, Ω = ω n 1 yields a class in H n 1,n (X) such that, ([Ω] ) = 0 in H n 1,n (X). The injectivity of, implies the existence of a form α such that Ω = α. Taking γ := α we have that ω n 1 = Ω = γ. Therefore, ω n 1 = ω n 1 = γ, so the metric ω is strongly Gauduchon. Now, by Theorem 1.1, the manifold X is sgg. Step 2. If X satisfies the (n 1, n)-th strong -Lemma, then 1 (X) = 0. The injectivity of the map, implies h1,0 (X) = hn 1,n (X) hn 1,n (X) = h 1,0 (X), where we have used the duality between eppli cohomology and Bott- Chern cohomology [22]. Then by (2) we get 0 1 2 1 (X) = h 1,0 (X) + h1,0 (X) b 1 2 h 1,0 (X) b 1 = 2 h 0,1 (X) b 1 = 2 h 0,1 (X) b 1 = 0, where we have used Step 1, and (vi) and (vii) in Theorem 1.1. Hence, 1 (X) = 0. Step 3. If X is sgg and 1 (X) = 0, then X satisfies the (n 1, n)-th strong -Lemma. Consider the commutative diagram of natural maps H n 1,n (X), H n 1,n, (X), H n 1,n (X). n, n 1 By the assumption that X is sgg we have that the natural map ι is, injective by Theorem 1.1 (iii), whence the natural map, is injective. We also have that h n 1,n (X) = h 1,0 (X) = h1,0 (X) = hn 1,n (X), where we have used the duality between eppli cohomology and Bott-Chern cohomology [22], Theorem 1.1 (vi), and the Serre duality, respectively. It follows that, is in fact an isomorphism. By the hypothesis 1 (X) = 0 we have h n 1,n (X) = b 1(X) h 1,0 (X) = 2 h0,1(x) h0,1 (X) = h 0,1 (X) = hn 1,n (X),

6 DNIELE NGELL ND LUIS UGRTE where we have used (2), Theorem 1.1 (vii), Theorem 1.1 (vi), and the duality between eppli cohomology and Bott-Chern cohomology [22], respectively. Notice that the natural map, is always surjective for bidegree reasons. Since, is an isomorphism, then, is surjective and, by the above equality h n 1,n (X) = hn 1,n (X), it is in fact an isomorphism. Therefore, X satisfies the (n 1, n)-th strong -Lemma. Remark 3.2. The properties sgg and 1 (X) = 0 of compact complex manifolds X are unrelated. For instance, the Iwasawa manifold is sgg but 1 = 2 0. On the other hand, the product of the 5-dimensional generalized Heisenberg nilmanifold by S 1 has invariant complex structures satisfying 1 = 0, but they are never sgg manifolds. (For general results on complex nilmanifolds satisfying the sgg property see [20], and for a general study of the invariants k see [4, 15].) By Theorem 3.1 and by noting that the natural map ι 0, 1 :, H0,1 (X) H0,1 (X) induced by the identity is always injective, we get the following numerical characterization of the (n 1, n)-th strong -Lemma in terms of Betti and eppli numbers. Corollary 3.3. On any compact complex manifold X of complex dimension n, we have h 0,1 (X) h0,1(x) h0,1 (X) and b 1 2 h 0,1 (X). Moreover, X satisfies the (n 1, n)-th strong -Lemma if and only if h 0,1 (X) = h 0,1 (X), if and only if b 1 = 2 h 0,1 (X). 4. Stability of the balanced condition In this section, we prove two results concerning stability of the balanced condition. In particular, they possibly allow to construct new examples of balanced manifolds. 4.1. Balanced metrics and variation of Bott-Chern cohomology. The first result is mainly intended to notice that the property of stability of balanced metric is, in some sense, closely related to the variation of Bott-Chern cohomology. The following proposition is a straightforward extension of the stability result [14, Theorem 15] by K. Kodaira and D. C. Spencer for Kähler metrics. The argument is substantially the same as in [25, Theorem 5.13], where the statement is proven with the stronger hypothesis of the -Lemma. See also [10, Theorem 8.11], where a similar argument is used to study stability for SKT metrics. Proposition 4.1. Let X be a compact complex manifold, and let {X t } t ( ε,ε) be a differentiable family of deformations of X 0 = X, where ɛ > 0. If X admits a balanced metric and the upper-semi-continuous function t dim C H n 1,n 1 (X t ) is constant, then X t admits a balanced metric for any t close enough to 0. Proof. Take a family {ω t } t of Hermitian metrics on X t. For any t ( ε, ε), consider the Bott-Chern Laplacian t associated to ω t and the corresponding Green operator G t [22]. Denote by π n 1,n 1 X t : X C n 1,n 1 X t the projection onto the space of (n 1, n 1)-forms on X t, and by H t : X C ker t the projection onto the space of harmonic forms with respect to t (and with respect to the L 2 -pairing induced by ω t ). For any t ( ε, ε), consider the operator ( ) t ) Π t := (H t + t t t t Gt π n 1,n 1 X t : X C ker t ker t,

ON SMLL DEFORMTIONS OF BLNCED MNIFOLDS 7 where t is the Hodge- -operator with respect to ω t. It gives the projection onto the space of t -closed t -closed (n 1, n 1)-forms on X t. By elliptic theory, if the function t dim C H n 1,n 1 (X t ) is constant, then the family {Π t } t is smooth in t, see [14, Theorem 7]. Now, let η 0 be a balanced metric on X 0. For t ( ε, ε), set Ω t := Π t η n 1 0. The family {Ω t } t is smooth in t. In particular, since Ω 0 = Π 0 η0 n 1 = η0 n 1 is a positive form, then, for t close enough to 0, the form Ω t is positive, too. By the Michelsohn trick [17, pages 279 280], there exists a Hermitian metric η t := n 1 Ω t, which is in fact a balanced metric on X t. Remark 4.2. The condition on stability of the dimension of Bott-Chern cohomology in Proposition 4.1 is sufficient but not necessary, see Example 4.10 below. The following corollary should be compared with Theorem 4.9, where the hypothesis uses instead the vanishing of the first -degree 1 (X). Corollary 4.3. Let X be a compact complex manifold admitting balanced metrics and such that 2 (X) = 0. Then any small deformation admits balanced metrics. Proof. Let {X t } t <ε be a differentiable family of small deformations of X = X 0, where ε > 0. The statement follows by noting that ( ) 2 (X t ) = 2n 2 (X t ) = h n,n 2 (X t) + h n 1,n 1 (X t ) + h n 2,n (X t) ( ) + h n,n 2 (X t ) + h n 1,n 1 (X t ) + h n 2,n (X t ) 2 b 2n 2 (X t ) 0, where the functions t h p,q (X t) and t h p,q (X t) are upper-semi-continuous for any (p, q), and the function t b 2n 2 (X t ) is locally constant. In particular, it follows that t dim C H n 1,n 1 (X t ) is constant. In fact, in order to show that h n 1,n 1 (X t ) is constant near X 0, it suffices to have that dim C H n 1,n 1 (X) has its minimum at X 0, varying X among deformations of X 0. In particular, this applies to the Iwasawa manifold endowed with any belian complex structure, showing a different behaviour with respect to the holomorphically parallelizable complex structure on it in terms of stability of existence of balanced metrics, see [2, Proposition 4.1]. Proposition 4.4. Let X be the Iwasawa manifold endowed with an belian complex structure. Let {X t } t ( ε,ε) be a differentiable family of deformations of X 0 = X, where ɛ > 0. Then X t admits a balanced metric for any t close enough to 0. Proof. Note that X admits a balanced metric by [23, Corollary 2.9]. By [12, Remark 4] and [21, Theorem 2.6], the complex structure of any sufficiently small deformation of X is invariant. From [4, Table 2] and [15, ppendix 6], the dimension of the Bott- Chern cohomology group of bi-degree (2, 2), (which varies upper-semi-continuously along differentiable families,) reaches its minimum value 6 among invariant complex structures on the manifold X 0. Hence the statement follows from Proposition 4.1. Example 4.5. We provide here a concrete example of deformations valid for any belian complex structure J on the Iwasawa manifold. The invariant belian

8 DNIELE NGELL ND LUIS UGRTE complex structures on the Iwasawa manifold are classified in [3] up to isomorphism, and by [11, Section 3] there exists a (1, 0)-basis {η j } j {1,2,3} satisfying dη 1 = dη 2 = 0, dη 3 = η 1 1 + η 1 2 + D η 2 2, for some D [0, 1/4). Since the forms η j, for j {1, 2, 3}, are closed, the Dolbeault cohomology group of bi-degree (0, 1) is given by H 0,1 = C [ η 1], [ η 2], [ η { 3]. We define the following deformation of J: for t = t C t 2 < 1 }, we consider the complex structure J t on the Iwasawa manifold given by the following (1, 0)-forms: η 1 t := η 1, η 2 t := η 2 + t η 2, η 3 t := η 3. It is straightforward to see that the differentials satisfy dηt 1 = dηt 2 = 0, dηt 3 = t 1 t 2 η12 t + ηt 1 1 1 + η1 2 1 t 2 t + D η2 2 1 t 2 t. Therefore, J t defines an invariant complex structure for any t, which is non- belian for any t 0. By Proposition 4.4, the complex structures J t admit a balanced metric for any t close enough to 0. In fact, for any t, the real 2-form ω t := i η1 1 t + i 1 2D η2 2 2 4 1 t 2 t + i η3 3 t + i η1 2 t + i η2 1 t 2 4 4 is positive, because 0 4D < 1, and it satisfies that dω 2 t = 0. So it defines a balanced J t -Hermitian metric on the Iwasawa manifold for any t. Remark 4.6. Note that the same holds true, more in general, on 6-dimensional nilmanifolds. More precisely, let X be a 6-dimensional nilmanifold endowed with an belian complex structure admitting balanced metrics. Let {X t } t ( ε,ε) be a differentiable family of deformations of X 0 = X, where ɛ > 0. Then X t admits a balanced metric for any t close enough to 0. In fact, by [23, Proposition 2.8], non-tori 6-dimensional nilmanifolds with belian complex structures admitting balanced metrics are h 3 and h 5. The case h 5 being treated in Proposition 4.5, the conclusion follows as before by noticing that, for invariant complex structures on h 3, the dimension of H 2,2 (X) is always equal to 7, as computed in [4, Table 2] and [15, ppendix 6]. Remark 4.7. Let X be the Iwasawa manifold endowed with an belian complex structure, and let X t be any small deformation of X. Notice that if the complex structure of X t, t 0, is not belian (as it happens in Example 4.5), then by [23, Proposition 3.6] X t never satisfies the weak -Lemma, so the existence of balanced metric on X t guaranteed by Proposition 4.4 cannot be derived from [13, Theorem 6]. 4.2. Balanced metrics and (n 1, n)-th strong -Lemma. It follows from the numerical characterization in Corollary 3.3 that the (n 1, n)-th strong -Lemma is an open property under deformations. On the other side, it is not closed under deformations. Proposition 4.8. For compact complex manifolds, the property of satisfying the (n 1, n)-th strong -Lemma is open, is not closed, under deformations of the complex structure.

ON SMLL DEFORMTIONS OF BLNCED MNIFOLDS 9 Proof. We provide here a proof and a counter-example. Openness. Let {X t } t B be any differentiable family of compact complex manifolds and suppose that X t0 satisfies the (n 1, n)-th strong -Lemma for some t 0 B. By Corollary 3.3 and by the upper-semi-continuity of the eppli numbers (see [22, Lemme 3.2]), we have b 1 2 h 0,1 (X t) 2 h 0,1 (X t 0 ) = b 1 for all t B close enough to t 0. Therefore, b 1 = 2 h 0,1 (X t) and X t satisfies the (n 1, n)-th strong -Lemma for all t sufficiently close to t 0. Non-closedness. Consider the deformations {X t } t B in case (1) given in [6, 4]. Here B is an open ball around 0 in C and the central fibre X 0 is the (holomorphically parallelizable) Nakamura manifold. The fibres X t satisfy the -Lemma for t 0, however 1 (X 0 ) = 8 0. Moreover, the central fibre is not sgg [20]. We prove now that the (n 1, n)-th strong -Lemma yields stability of the balanced condition. Note that the following result is stated for locally conformally balanced manifolds and that, in general, the existence of locally conformally balanced metrics is much weaker than the existence of balanced metrics: for instance, there exist many locally conformally balanced nilmanifolds not admitting any balanced metric [16]. Theorem 4.9. Let X be a compact complex manifold of complex dimension n with a locally conformally balanced metric, and let {X t } t be a holomorphic family of deformations of X = X 0. If X satisfies the (n 1, n)-th strong -Lemma, then X t admits a balanced metric for any t sufficiently close to 0. Proof. In [8, Theorem 2.5] it is proved that, on a compact complex manifold X of complex dimension n, if the natural map :, Hn 1,n (X) H n 1,n (X) induced by the identity is injective, then any locally conformally balanced metric is also globally conformally balanced. Since X satisfies the (n 1, n)-th strong -Lemma, by the commutative diagram (3) the map is injective and we, can apply [8, Theorem 2.5] to ensure the existence of a balanced metric on X. Since the (n 1, n)-th strong -Lemma property is open by Corollary 4.8, we have that X t also satisfies the (n 1, n)-th strong -Lemma for any t sufficiently close to 0, in particular X t satisfies the (n 1, n)-th weak -Lemma. Now, Theorem 0.1 implies the existence of a balanced metric on X t for any t sufficiently close to 0. For the sake of completeness, we recall here the main ideas in the argument by J. Fu and S.-T. Yau. By the Ehresmann theorem, we look at X t as (X, J t ) where {J t } t is a differentiable family of complex structures on the fixed smooth manifold X. Let ω 0 be a balanced metric on (X, J 0 ). Denote by π (p,q) t : p+q X C p,q J t X the projection onto the space of (p, q)-forms with respect to J t. Note that, since ω0 n 1 is closed, the form π (n 1,n 1) t such that t π (n 1,n 1) t ω n 1 ω0 n 1 is a (n 1, n 1)-form with respect to J t 0 is t -exact. Then, by the (n 1, n)-th weak -Lemma, there exists a (n 2, n 1)-form ψ t with respect to J t such that t π (n 1,n 1) t i t t ψ t. Set ω n 1 0 = Ω t := π (n 1,n 1) t ω0 n 1 + i t ψ t i t ψt. It is a real closed (n 1, n 1)-form with respect to J t, and we claim that it is also positive. Indeed, this follows by noting that we can choose ψ t such that iψ t = ( t t ) γ t where γ t is a solution of the elliptic problem,t γ t = t π (n 1,n 1) t ω0 n 1, the self-adjoint 4th order elliptic operator,t being the Bott-Chern Laplacian

10 DNIELE NGELL ND LUIS UGRTE [22] with respect to the metric n 1 π (n 1,n 1) t ω0 n 1. Then, by elliptic estimates, it follows that Ω t is close to ω0 n 1 for t small enough, and hence positive. Therefore, by the Michelsohn trick, ω t := n 1 Ω t gives a balanced Hermitian structure on (X, J t ). Example 4.10. s an example of application of Theorem 4.9, we consider the completely-solvable Nakamura manifold X with the lattice in case (ii) in [5, Example 2.17]. More precisely, let G := C φ C 2, where ( ) exp(x) 0 φ (x + i y) := GL ( C 2). 0 exp( x) For some a R, for any b R, for any Γ lattice of C 2, the subgroup Γ := (a Z + b i Z) φ Γ is a lattice of G. In particular, we consider the case b = (2m+1)π for some integer m Z, which is denoted as case (ii) in [5, Example 2.17]. Consider the completely-solvable solvmanifold X := Γ\G. The compact complex 3-dimensional manifold X satisfies b 1 = 2 and h 0,1 (X) = (X) = h0,1 (X) = 1, so Corollary 3.3 implies that X satisfies the (2, 3)-th strong -Lemma. (Notwithstanding, 2 (X) = 4 0 so X does not satisfy the -Lemma h 0,1 [7]. Moreover, small deformations X t of X have dim C H 2,2 (X t) {3, 7, 11}, see [5, Table 6], whence we cannot apply Proposition 4.1 in general.) Moreover, the compact complex manifold X has a balanced metric. It is given as follows. Consider holomorphic coordinates {z 1, z 2, z 3 } on G, where {z 1 } is the holomorphic coordinate on the factor C and {z 2, z 3 } are holomorphic coordinates on the factor C 2. The form ω = i 2 (dz 1 d z 1 + e z1 z1 dz 2 d z 2 + e z1+ z1 dz 3 d z 3 ) is well defined on the quotient X, and it yields a balanced metric on X. Now, by Theorem 4.9 any small deformation of the non- -manifold X also admits a balanced metric. References [1]. eppli, On the Cohomology Structure of Stein Manifolds, Proc. Conf. Complex nalysis (Minneapolis, Minn., 1964), Springer, 1965, 58 70. (Cited on p. 2.) [2] L. lessandrini, G. Bassanelli, Small deformations of a class of compact non-kähler manifolds, Proc. mer. Math. Soc. 109 (1990), 1059 1062. (Cited on p. 1, 7.) [3]. ndrada, M.L. Barberis, I.G. Dotti, Classification of abelian complex structures on 6- dimensional Lie algebras, J. Lond. Math. Soc. 83 (2011), 232 255. Corrigendum, J. Lond. Math. Soc. 87 (2013), 319 320. (Cited on p. 8.) [4] D. ngella, M.G. Franzini, F.. Rossi, Degree of non-kãďhlerianity for 6-dimensional nilmanifolds, to appear in Manuscripta Math., DOI: 10.1007/s00229-015-0734-x. (Cited on p. 6, 7, 8.) [5] D. ngella, H. Kasuya, Bott-Chern cohomology of solvmanifolds, arxiv:1212.5708v3 [math.dg]. (Cited on p. 4, 10.) [6] D. ngella, H. Kasuya, Cohomologies of deformations of solvmanifolds and closedness of some properties, to appear in Mathematica Universalis, arxiv:1305.6709v2 [math.cv]. (Cited on p. 9.) [7] D. ngella,. Tomassini, On the -Lemma and Bott-Chern cohomology, Invent. Math. 192 (2013), no. 1, 71 81. (Cited on p. 2, 4, 10.) [8] D. ngella, L. Ugarte, Locally conformal Hermitian metrics on complex non-kähler manifolds, to appear in Mediterr. J. Math., DOI: 10.1007/s00009-015-0586-3. (Cited on p. 3, 5, 9.) [9] R. Bott, S. S. Chern, Hermitian vector bundles and the equidistribution of the zeroes of their holomorphic sections, cta Math. 114 (1965), no. 1, 71 112. (Cited on p. 2.)

ON SMLL DEFORMTIONS OF BLNCED MNIFOLDS 11 [10] G. R. Cavalcanti, Hodge theory and deformations of SKT manifolds, arxiv:1203.0493v5 [math.dg]. (Cited on p. 6.) [11] M. Ceballos,. Otal, L. Ugarte, R. Villacampa, Invariant complex structures on 6- nilmanifolds: classification, Frölicher spectral sequence and special Hermitian metrics, to appear in J. Geom. nal., DOI: 10.1007/s12220-014-9548-4. (Cited on p. 8.) [12] S. Console,. Fino, Dolbeault cohomology of compact nilmanifolds, Transform. Groups 6 (2001), no. 2, 111 124. (Cited on p. 7.) [13] J. Fu, S.-T. Yau, note on small deformations of balanced manifolds, C. R. Math. cad. Sci. Paris 349 (2011), no. 13-14, 793 796. (Cited on p. 1, 2, 8.) [14] K. Kodaira, D. C. Spencer, On deformations of complex analytic structures. III. Stability theorems for complex structures, nn. of Math. (2) 71 (1960), no. 1, 43 76. (Cited on p. 1, 6, 7.) [15]. Latorre, L. Ugarte, R. Villacampa, On the Bott-Chern cohomology and balanced Hermitian nilmanifolds, Internat. J. Math. 25 (2014), no. 6, 1450057, 24 pp. (Cited on p. 6, 7, 8.) [16] C. Medori,. Tomassini, L. Ugarte, On balanced Hermitian structures on Lie groups, Geom. Dedicata 166 (2013), no. 1, 233 250. (Cited on p. 9.) [17] M. L. Michelsohn, On the existence of special metrics in complex geometry, cta Math. 149 (1982), no. 3-4, 261 295. (Cited on p. 1, 7.) [18] D. Popovici, Deformation limits of projective manifolds: Hodge numbers and strongly Gauduchon metrics, Invent. Math. 194 (2013), no. 3, 515 534. (Cited on p. 3.) [19] D. Popovici, eppli cohomology classes associated with Gauduchon metrics on compact complex manifolds, to appear in Bull. Soc. Math. France. (Cited on p. 3.) [20] D. Popovici, L. Ugarte, The sgg class of compact complex manifolds, arxiv:1407.5070 [math.dg]. (Cited on p. 2, 3, 6, 9.) [21] S. Rollenske, Lie-algebra Dolbeault-cohomology and small deformations of nilmanifolds, J. Lond. Math. Soc. (2) 79 (2009), no. 2, 346 362. (Cited on p. 7.) [22] M. Schweitzer, utour de la cohomologie de Bott-Chern, Prépublication de l Institut Fourier no. 703 (2007), arxiv:0709.3528v1 [math.g]. (Cited on p. 4, 5, 6, 9, 10.) [23] L. Ugarte, R. Villacampa, Balanced Hermitian geometry on 6-dimensional nilmanifolds, Forum Math. 27 (2015), no. 2, 1025 1070. (Cited on p. 2, 4, 7, 8.) [24] C. Voisin, Théorie de Hodge et géométrie algébrique complexe, Société Mathématique de France, Paris, 2002. (Cited on p. 2.) [25] C.-C. Wu, On the geometry of superstrings with torsion, Thesis (Ph.D.) Harvard University, Proquest LLC, nn rbor, MI, 2006. (Cited on p. 1, 2, 6.) (Daniele ngella) Centro di Ricerca Matematica Ennio de Giorgi, Collegio Puteano, Scuola Normale Superiore, Piazza dei Cavalieri 3, 56126 Pisa, Italy E-mail address: daniele.angella@sns.it E-mail address: daniele.angella@gmail.com (Luis Ugarte) Departamento de Matemáticas, Universidad de Zaragoza, Edificio de Matemáticas, c/ Pedro Cerbuna 12, 50009, Zaragoza, Spain E-mail address: ugarte@unizar.es