Arxiv:1712.08889V3 [Math.DG] 18 Aug 2020 Ypoetpi Vreàraiecmlse Emti,Topo Geometria, Indam

Home , Dolbeault cohomology

arXiv:1712.08889v3 [math.DG] 18 Aug 2020 yPoetPI Vreàraiecmlse emti,topo geometria, INdAM. complesse: of e GNSAGA fourth-named reali by The “Varietà INdAM. PRIN of Project aspect GNSAGA geo by by “Analytic The complesse: and RBSI14DYEB geometry”, e 16K05116. project complex reali SIR2014 “Varietà no. by PRIN grant armonica”, Project JSPS I by the of by supported GNSAGA is supported by is and author 2017JZ2SW5), named Manifolds (code Complex dynamics” and compless hyperc “Real e holomorphic PRIN2017 and reali and “Varietà complex armonica’ PRIN analisi in Projects aspects the by “Analytic RBSI14DYEB), SIR2014 Project the cohomolo Dolbeault blow-up, modification, decomposition, tutr nted hmchmlg c.Subsection (cf. cohomology Rham cohomology de Dolbeault the the on that fact structure the manifolds to Kähler related compact alge closely by by is generally, example more for and, satisfied is manifolds which manifolds, complex for älrmnflsuulyd o aif the satisfy not do the usually satisfying manifolds manifold Kähler complex compact a of type motopy ad oeeape fcmatcmlxnnKhe manifold non-Kähler complex compact of the examples some hand, C [ ring cohomology its of consequence formal a snvrstse ycmatnntr imnfls[ nilmanifolds non-tori compact by satisfied never is fFjk hnst [ to thanks Fujiki of uigtepeaaino hswr,tefis-ae uhrh author first-named the work, this of preparation the During e od n phrases. and words Key 2010 Date hspoet ilsas togtplgclobstructions topological strong also yields property This The OEO OBAL OOOOYADHODGE AND COHOMOLOGY DOLBEAULT ON NOTE ∂ ∂ Lmaaepoie yMihznmnflsadmnflsin manifolds and manifolds Moišhezon by provided are -Lemma uut1,2020. 19, August : ahmtc ujc Classification. Subject Mathematics ∂ älrmnfl aifigthe satisfying manifold Kähler Abstract. opc ope aiod n riod.Ti usinhas [ question in This answered and orbifolds. addressed cently and manifolds complex compact ooooyter osuyteDleutchmlg fteb the of cohomology Dolbeault u the approach study different to a provide theory we cohomology Here, techniques. different t ftepoet fstsyn the satisfying investigatin of at aimed property initially the were of we ity aim, this To metric. X ooopial otatbeneighbourhood. contractible holomorphically a ˜ ∂ AIL NEL,TTU UA IOET TARDINI, NICOLETTA SUWA, TATSUO ANGELLA, DANIELE Z TUTRSU OBIMEROMORPHISMS TO UP STRUCTURES -Lemma facmatcmlxmanifold complex compact a of ecntutasml-once opc ope non- complex compact simply-connected a construct We sasrn ooooia eopsto rprydefined property decomposition cohomological strong a is DGMS75 ope aiod o-älrgeometry, non-Kähler manifold, complex N DIN TOMASSINI ADRIANO AND Introduction hoe .2,se[ see 5.22], Theorem , ∂ ∂ Lma n noe ihabalanced a with endowed and -Lemma, RYY17 1 X 29,3C5 32S45. 32C35, 32Q99, ∂ ∂ ln submanifold a along Lmaudrmdfiain of modifications under -Lemma , YY17 ∂ ∂ DGMS75 , Lma o xml,it example, for -Lemma: y orbifold. gy, Ste18b oi nls roia and armonica” analisi e logia era oooi analisi e topologia metria, oooy emtyand Geometry Topology, : Has89 :goera oooi e topologia geometria, e: ncmlxadhyper- and complex in s Hir62 mlxgoer”(code geometry” omplex 1.5 , sbe upre by supported been as Ste18c .Cmlxnon- Complex ]. Z h stabil- the g dM h second- The NdAM. below). rvdsaHodge a provides hr-ae author third-named uhri supported is author .O h other the On ]. ∂ admitting igČech sing o concrete a for ] ri projective braic h property The . ∂ h elho- real the : enre- been Lma Hodge -Lemma, ∂ low-up with ] ∂ satisfying s Lmais -Lemma class 2 D.ANGELLA,T.SUWA,N.TARDINI,ANDA.TOMASSINI example. By the results contained in [Cam91, Corollary 3.13], [LP92, The- orem 1] and thanks to the stability property of the ∂∂-Lemma for small deformations [Voi02, Proposition 9.21], [Wu06, Theorem 5.12] one can pro- duce examples of compact complex manifolds satisfying the ∂∂-Lemma and not bimeromorphic to Kähler manifolds. Other examples of this kind can be found among solvmanifolds [AK17a, AK17b, Kas13b]; moreover other examples are provided by Clemens manifolds [Fri91, Fri17], which are constructed by combining modifications and deformations. The main aim of this note is to construct a simply-connected compact complex non-Kähler manifold satisfying the ∂∂-Lemma. The theorem in [DGMS75, Theorem 5.22] states that, for a modification X˜ X of compact complex manifolds, the property of ∂∂-Lemma is preserved→ from X˜ to X. So, it is natural to ask whether it is in fact an invariant property by modifications. This is true, for example, for compact complex surfaces, thanks to the topological Lamari’s and Buchdahl’s crite- rion [Lam99, Buc99]. Note that, in higher dimension, the Kähler property is not stable under modifications; but there are weaker metric properties that are, for example the balanced condition in the sense of Michelsohn [AB96, Corollary 5.7] or the strongly-Gauduchon condition in the sense of Popovici [Pop13, Theorem 1.3]. In fact, it is conjectured that the metric balanced condition and the cohomological ∂∂-Lemma property are strictly related to each other, see for example [Pop15b, Conjecture 6.1], see also [TW13, Pop15a]; and this provides another motivation for the above question. In this note, we deal with the Dolbeault cohomology of the blow-up along submanifolds. The strategy we follow is sheaf-theoretic, more precisely Čech- cohomological, in the spirit of [Suw09]. The de Rham case in the Kähler context is considered in [Voi02, Theorem 7.31]. For our argument, we need to assume that the centre admits a holomorphically contractible neighbourhood (this is clearly satisfied when blowing-up at a point, see also the explicit com- putations in Example 21) and another technical assumption (11) concerning the kernel and images of certain morphisms. We can then deduce that: Theorem 13. Let X be a compact complex manifold and Z a closed submanifold of X. If both X and the centre Z admits a Hodge structure (in the sense of Definition 4), then the same holds for the blow-up BlZ X of X along Z, provided that Z admits a holomorphically contractible neighbourhood and the technical assumption (11) holds. Along the way we give explicit expressions for the de Rham and Dolbeault cohomologies of BlZ X (see Propositions 16 and 19). Hopefully, a further study of the cohomological properties of submanifolds (see Question 22) and a deeper use of techniques as the MacPherson’s deformation to the normal cone (see Question 23), along with the Weak Factor- ization Theorem for bimeromorphic maps in the complex-analytic category [AKMW02, Theorem 0.3.1], [Wlo03], may allow to use the above techniques to prove in full generality the stability of the ∂∂-Lemma under modifications, see Remark 24. During the preparation of this work, several other attempts to solve the same problems appeared [RYY17, YY17, Ste18b], using different techniques. DOLBEAULT COHOMOLOGY FOR BIMEROMORPHISMS 3

In particular, the work by Jonas Stelzig [Ste18a] finally ties up the problem, as far as now: Theorem 1 ([Ste18b, Theorem 8], [Ste18c, Corollary 25]). The ∂∂-Lemma property is a bimeromorphic invariant if and only if it is invariant by restriction. Even if Stelzig’s theorem is clearly stronger than our Theorem 13, we think that our argument may be interesting and useful in providing a broader point of view for understanding (Čech-)Dolbeault cohomology. The second and main aim of this note is to construct new explicit examples of compact complex manifolds satisfying the ∂∂-Lemma: in particular, we provide a simply-connected example, see Example 26. To this aim, we need to work with orbifolds in the sense of Satake [Sat56], and their desingu- larizations. We take advantage of Stelzig’s general results, see Theorem 25. The construction of Example 26 goes as follows, see e.g. [FM08, BFM14]: we start from a manifold isomorphic to the Iwasawa manifold, which does not satisfy the ∂∂-Lemma; then we quotient it by a finite group of automor- phisms; and then we resolve its singularities. Finally, by Theorem 25, we get simply-connected examples of complex manifolds satisfying the ∂∂-Lemma: Theorem 27. There exist a simply-connected compact complex non-Kähler manifold, (not even in class C of Fujiki,) that satisfy the ∂∂-Lemma. Our example admits a balanced metric. As far as we know, these are the first explicit examples of simply-connected compact complex non-Kähler manifolds satisfying the ∂∂-Lemma in the lit- erature.

Acknowledgments. The authors warmly thank Giovanni Bazzoni, Carlo Collari, Hisashi Kasuya, Sheng Rao, Jonas Stelzig, Valentino Tosatti, Claire Voisin, Victor Vuletescu, Song Yang, Xiangdong Yang, Weiyi Zhang for interesting and useful discussions on many occasions. Thanks also to the anonymous Referees for some suggestions and comments that improve the presentation of the paper. Parts of this work have been written during the visit of the ﬁrst-named author at the Hokkaido University and that of the second-named author at Università di Firenze: they would like to thank the both Departments for the warm hospitality.

1. Preliminaries on Čech-Dolbeault cohomology and ∂∂-Lemma In this Section, we recall the main deﬁnitions and results about relative Čech-de Rham and Čech-Dolbeault cohomologies; for more details and applications we refer to [Suw98] and [Suw09]. We also recall the ∂∂-Lemma and some of its characterizations.

1.1. Čech-de Rham cohomology and relative de Rham cohomology. Let X be a smooth manifold. Let U = U0,U1 be an open covering of X h { } and set U01 := U0 U1. Denoting by A (U) the space of (C-valued) smooth h-forms on an open∩ set U in X, we set h h h h 1 A (U) := A (U ) A (U ) A − (U ). 0 ⊕ 1 ⊕ 01 4 D.ANGELLA,T.SUWA,N.TARDINI,ANDA.TOMASSINI

h h+1 The differential operator D : A (U) A (U) defined by D (σ0, σ1, σ01)= (dσ , dσ , σ σ dσ ) yields a→ differential complex (A (U), D): the 0 1 1 − 0 − 01 • Čech-de Rham cohomology associated to the covering U is then defined by H (U) = ker D/im D. The morphism Ah(X) Ah(U) given by D• → ω (ω U0 ,ω U1 , 0) induces an isomorphism in cohomology, [Suw98, The- orem7→ 3.3],| | H• (X) ∼ H• (U), dR −→ D whose inverse is given by assigning to the class of σ = (σ0,σ1,σ01) the class of the global d-closed form ρ0σ0 + ρ1σ1 dρ0 σ01, where (ρ0, ρ1) is U − ∧ a partition of unity subordinate to . In the above HdR• (X) denotes the de Rham cohomology of X. The de Rham theorem says it is isomorphic to H•(X; C), the simplicial, singular or sheaf cohomology of X with coefficents in C. See [Suw98] for further results, including cup product, integration on top-degree cohomology, duality. Given a closed set S in X, we can take U := X S and U an open 0 \ 1 neighbourhood of S in X, and the open covering U = U0,U1 . In this case, p h h { h }1 define A (U,U0) := σ A (U) σ0 = 0 = A (U1) A − (U01). Then U { ∈ | } U ⊕ h U (A•( ,U0), D) is a differential sub-complex of (A•( ), D). Let HD( ,U0) denote the associated cohomology. From the short exact sequence

0 A•(U,U ) A•(U) A•(U ) 0, −→ 0 −→ −→ 0 −→ where the first map is the inclusion and the second map is the projection on the first element, we obtain a long exact sequence in cohomology ∗ h 1 δ h j h i∗ h H − (U ) H (U,U ) H (U) H (U ) . (1) ··· −→ dR 0 −→ D 0 −→ D −→ dR 0 −→ · · · h U From this we see that HD( ,U0) is determined uniquely modulo canonical isomorphisms, independently of the choice of U1. We denote it also h by HD(X, X S) and call it the relative Čech-de Rham cohomology. We recall that excision\ holds: for any neighbourhood U of S in X, it holds Hh (X, X S) Hh (U, U S). In fact we have, [Suw08], D \ ≃ D \ Hh (X, X S) Hh(X, X S; C), D \ ≃ \ the relative cohomology of the pair (X, X S). Consider now a smooth complex vector\ bundle π : E M of rank k on a → smooth manifold M. Consider the bundle ̟ : π∗E E defined by the fibre product →

π∗E / E ̟ π π E / M and its diagonal section s∆. The zero-set of s∆ is the image of the zero- section of E, which is identiﬁed with M. In this situation, the Thom class 2k ΨE HD (E, E M) of E is given as the localization of the top Chern class k ∈ \ c (π∗E) by s∆. That is: consider the covering W = W0 := E M,W1 of E, where W is a neighbourhood of M in E; consider{ a connection\ } 1 ∇0 on W0 such that 0s∆ = 0, and 1 a connection on W1; then the Chern class ck(π E) is represented∇ by c∇k( ), ck( ), ck( , ) H2k(W) ∗ ∇0 ∇1 ∇0 ∇1 ∈ D ≃ H2k (E), where ck( , ) is the Bott diﬀerence form of and ; in fact, dR ∇0 ∇1 ∇0 ∇1 DOLBEAULT COHOMOLOGY FOR BIMEROMORPHISMS 5

k 2k since c ( ) = 0, this defines a class ΨE H (E, E M) represented by ∇0 ∈ D \ (ψ , ψ ) := (ck( ), ck( , )). It turns out that the map 1 01 ∇1 ∇0 ∇1 2k TE : H•− (M) ∼ H• (E, E M), [θ] ΨE ` π∗[θ] dR −→ D \ 7→ is an isomorphisms, [Suw98, Theorem 5.3], called the Thom isomorphism, where the cup product ΨE ` π∗[θ] is represented by (ψ1 π∗θ, ψ01 π∗θ). Its inverse is the integration along the fibres: ∧ ∧ 2k π : HD• (E, E M) H•− (M), π (σ1,σ01) = (π1) σ1 + (π01) σ01, ∗ \ −→ dR ∗ ∗ ∗ where π1 is the restriction of π to a bundle T1 of disks of complex dimension k in W1, and π01 is the restriction of π to the bundle T01 = ∂T1 of spheres of real dimension 2k 1 with opposite orientation. In particular,− the Thom − 2k class ΨE is characterized in HD (E, E M) by the property π ΨE = 1. Finally, we recall the projection formula,\ [Suw98, Ch.II, Proposition∗ 5.1]: for σ Ap(W,W ), θ Aq(M), ∈ 0 ∈ π (σ ` π∗θ)= π σ θ. ∗ ∗ ∧ Given a closed complex submanifold Z, of complex codimension k, of a complex manifold X, of complex dimension n, we can define the Thom isomorphism and the Thom class of Z as follows. Consider the normal bundle π : NZ X Z, of complex rank k. By the Tubular Neighbourhood Theorem, | → there exist neighbourhoods U of Z in X, and W of Z as zero section in NZ X , | and a smooth diffeomorphism ϕ: U W such that ϕ Z = id. Then, setting → | N = NZ X , we get isomorphisms | HD• (X, X Z) HD• (U, U Z) ∼ HD• (W, W Z) HD• (N,N Z). \ ≃ \ ←−ϕ∗ \ ≃ \ 2k Define the Thom class ΨZ HD (X, X Z) of Z as the image of ΨNZ|X ∈ \ 2k via the above isomorphisms, and the Thom isomorphism TZ : H•− (Z) ∼ D → H (X, X Z) as TZ (z)=ΨZ ` r z, where r = π ϕ: U Z. D• \ ∗ ◦ → 1.2. Čech-Dolbeault cohomology. Let X be a complex manifold and let Ap,q(U) be the space of smooth (p,q)-forms on an open set U in X. Let U = U ,U be an open covering of X and consider { 0 1} p,q p,q p,q p,q 1 A (U) := A (U ) A (U ) A − (U ). 0 ⊕ 1 ⊕ 01 The differential operator D¯ : Ap,q(U) Ap,q+1(U) is defined on every element (ξ , ξ , ξ ) Ap,q(U) by → 0 1 01 ∈ D¯ (ξ0, ξ1, ξ01)= ∂ξ0, ∂ξ1, ξ1 ξ0 ∂ξ01 . − − The Čech-Dolbeault cohomology associated to the covering U is then defined , • • U ¯ ¯ by HD¯ ( ) = ker D/im D (see [Suw09] where this definition is given for an arbitrary open covering of the manifold X). The morphism Ap,q(X) p,q → A (U) given by ω (ω U0 ω U1 , 0) induces an isomorphism in cohomology 7→ | | , , H• •(X) ∼ H• •(U), ∂ −→ D¯ , where H• •(X) denotes the Dolbeault cohomology of X, [Suw09, Theo- ∂ rem 1.2]. In particular, the definition is independent of the choice of the covering of X. Moreover, the inverse map is given by assigning to the class 6 D.ANGELLA,T.SUWA,N.TARDINI,ANDA.TOMASSINI of ξ = (ξ ,ξ ,ξ ) the class of the global ∂-closed form ρ ξ +ρ ξ ∂ρ ξ , 0 1 01 0 0 1 1 − 0 ∧ 01 where (ρ0, ρ1) is a partition of unity subordinate to U. One can define cup product, integration on top-degree cohomology and Kodaira-Serre duality and they turn out to be compatible with the above isomorphism (cf. [Suw09] for more details).

1.3. Relative Čech-Dolbeault cohomology. Let S be a closed set in X. We set U0 = X S and U1 to be an open neighbourhood of S in X, and we consider the associated\ covering U = U ,U of X. For any p,q, we set { 0 1} p,q p,q p,q p,q 1 A (U,U ) := ξ A (U) ξ = 0 = A (U ) A − (U ). 0 { ∈ | 0 } 1 ⊕ 01 p, U ¯ p, U ¯ p,q U Then A •( ,U0), D is a subcomplex of A •( ), D . Let HD¯ ( ,U0) p, be the cohomology associated to A •(U,U0), D¯ . From the short exact sequence p, p, p, 0 A •(U,U ) A •(U) A •(U ) 0, −→ 0 −→ −→ 0 −→ where the ﬁrst map is the inclusion and the second map is the projection on the ﬁrst element, we obtain a long exact sequence in cohomology

p,q 1 δ p,q j∗ p,q i∗ p,q H − (U ) H (U,U ) H (U) H (U ) . ··· −→ ∂ 0 −→ D¯ 0 −→ D¯ −→ ∂ 0 −→ · · · (2) , U Therefore, HD•¯ •( ,U0) is determined uniquely modulo canonical isomor- , phism, independently of the choice of U . We denote it also by H• •(X, X S) 1 D¯ \ and we call it the relative Čech-Dolbeault cohomology of X, see [Suw09, Sec- , tion 2], where it is denoted by H• •(X, X S). We recall that excision holds: ∂ \ , , for any neighbourhood U of S in X, it holds H• •(X, X S) H• •(U, U S). D¯ \ ≃ D¯ \ In fact we have, [Suw19], Hp,q(X, X S) Hq(X, X S;Ωp), D¯ \ ≃ \ the relative cohomology of the pair (X, X S) with coefficients in the sheaf Ωp of holomorphic p-forms. \ Together with integration theory, the relative Čech-Dolbeault cohomology has been used to study the localization of characteristic classes, see [Suw09, ABST13], and has found more recent applications to hyperfunction theory, see [HIS18]. Notice that if X and X˜ are complex manifolds, S and S˜ are closed sets in X and X˜ respectively and f : X˜ X is a holomorphic map such that f(S˜) S and f(X˜ S˜) f(X S), then→ f induces a natural map in relative ⊂ \ ⊂ \ cohomology. More precisely, let U := X S, U˜ := X˜ S˜ and let U , U˜ 0 \ 0 \ 1 1 be open neighborhoods of S and S˜ in X and X˜ respectively, chosen in such a way that f(U˜1) U1. Let U := U0,U1 and U˜ := U˜0, U˜1 be open ⊂ { } n o coverings of X and X˜ respectively, then we have a morphism , , f ∗ : A• •(U,U ) A• •(U˜, U˜ ) 0 −→ 0 defined on every element (ξ ,ξ ) A , (U,U ) as 1 01 ∈ • • 0 f ∗(ξ1,ξ01) := (f ∗ξ1,f ∗ξ01) DOLBEAULT COHOMOLOGY FOR BIMEROMORPHISMS 7 which induces a morphism in relative cohomology , , f ∗ : H• •(X, X S) H• •(X,˜ X˜ S˜) . D¯ \ −→ D¯ \ 1.4. Dolbeault-Thom morphism. We consider a holomorphic vector bundle π : E X of rank k on a complex manifold X and we identify X with the image of the→ zero section. In this situation we have the Dolbeault-Thom class, ¯ k,k ∂-Thom class for short, ΨE HD¯ (E, E X) and the Dolbeault-Thom mor- ∈ \ p k,q k p,q phism, ∂-Thom morphism for short, T¯E : H − − (X) H (E, E X). ∂ → D¯ \ They are given as follows, see [ABST13, Suw09]. Consider the fibre product

π∗E / E ̟ π π E / X. The bundle ̟ : π E E admits the diagonal section s , whose zero set is ∗ → ∆ X E. The Dolbeault-Thom class Ψ¯ E is the localization of the top Atiyah class⊂ ak(π E) of π E by s . More precisely, let W = E X and let W be ∗ ∗ ∆ 0 \ 1 a neighbourhood of X in E, and consider the covering W = W0,W1 of E. k { } For a (1, 0)-connection for π∗E, we denote by a ( ) the k-th Atiyah form k ∇√ 1 k 1,1 1,1∇ of , namely, a ( )= − σk(K ), where K is the (1, 1)-component ∇ ∇ 2π of the curvature seen as a 2-form with values in Hom(E, E) and σk denotes the k-th elementary symmetric polynomial, see [Suw09, Section 5] for more details. The class ak(π E) is represented in Hk,k(E) Hk,k(W) by the triple ∗ ∂ D¯ k k k k ≃ a ( ) = (a ( 0), a ( 1), a ( 0, 1)), where i is a (1, 0)-connection for ∇∗ ∇ ∇ k ∇ ∇ ∇ π∗E on Wi, i = 0, 1, and a ( 0, 1) is the difference form of 0 and 1. If ∇ ∇ k ∇ ∇k we take 0 to be s∆-trivial, we have the vanishing a ( 0) = 0 and a ( ) ∇ ∇ ∇∗ defines a class in Hk,k(W,W )= Hk,k(E, E X) that is the Dolbeault-Thom D¯ 0 D¯ \ class Ψ¯ E of E. The Dolbeault-Thom morphism p k,q k p,q T¯E : H − − (X) H (E, E X). ∂ −→ D¯ \ is given by the cup product with Ψ¯ E, i.e. if Ψ¯ E is represented by (ψ1, ψ01), it is induced by θ (ψ π∗θ, ψ π∗θ). 7→ 1 ∧ 01 ∧ The inverse of T¯E is given by the ∂-integration along the fibres of π: p,q p k,q k π¯ : H ¯ (E, E X) H − − (X). ∗ D \ −→ ∂ It is defined as follows. Let T1 denote a bundle of discs of complex dimension k in W1 and set T01 = ∂T1, which is a bundle of spheres of real dimension 2k 1 endowed with the− orientation opposite to that of the boundary ∂T − 1 of T1. Set π1 = π T1 and π01 = π T01 . Then we have the usual integration along the fibres | | r r 2k r 1 r 2k (π1) : A (W1) A − (X) and (π01) : A − (W01) A − (X). ∗ −→ ∗ −→ The map (π1) sends a (p,q)-form to a (p k,q k)-form, while, if ξ01 is ∗ − − a (p,q 1)-form on W01, (π01) (ξ01) consists of (p k,q k) and (p k + − ∗ − − − 8 D.ANGELLA,T.SUWA,N.TARDINI,ANDA.TOMASSINI

1,q k 1)-components. We deﬁne − − p,q 1 p k,q k (¯π01) : A − (W01) A − − (X) ∗ −→ by taking the (p k,q k)-component of (π01) (ξ01), then − − ∗ π¯ ξ = (π1) ξ1 + (¯π01) ξ01. ∗ ∗ ∗ In this situation,

π¯ T¯E = 1. ∗ ◦ Thus π¯ is surjective and T¯E gives a splitting of ∗ p,q π¯∗ p k,q k 0 kerπ¯ H ¯ (E, E X) H − − (X) 0. −→ ∗ −→ D \ −→ ∂ −→ ¯ k,k ¯ 0,0 For the ∂-Thom class ΨE H ¯ (E, E X), we have π¯ ΨE = [1] H (X). ∈ D \ ∗ ∈ ∂

1.5. ∂∂-Lemma and Hodge structures. Although these may be well- known to experts, we recall what the ∂∂-Lemma means and some alternative ways of saying that for later use. Let X be a complex manifold. The de Rham complex (A•(X), d) of X , is the single complex associated with the double complex (A• •(X), ∂, ∂), d = ∂ + ∂. Recall that [DGMS75] X satisfies the ∂∂-Lemma if ker ∂ ker ∂ im d = im ∂∂. (3) ∩ ∩ We describe the above property in terms of filtrations. Note that A•(X) has two natural filtrations. The first filtration on Ah(X) is given by

h p h i,h i ′F A (X)= A − (X). Mi=p

h It induces a ﬁltration on HdR(X) by p h h p h h 1 p h ′F H (X) = ker d ′F A (X)/ im d − ′F A (X). dR ∩ ∩ The second ﬁltration on Ah(X) is given by

h q h h j,j ′′F A (X)= A − (X) Mj=q

q h h and it induces a filtration (′′F HdR(X)) on HdR(X). q,p p,q q h Since A (X)= A (X), we may identify the filtration (′F A (X)) con- q h q h q h jugate to (′F A (X)) with the second filtration: ′F A (X) = ′′F A (X), which leads to the identification

q h q h ′F HdR(X)= ′′F HdR(X). p h We say that the ﬁltration (′F HdR(X)) is a Hodge ﬁltration of weight h if

h p h q h H (X)= ′F H (X) F H (X). dR dR ∩ ′ dR p+Mq=h DOLBEAULT COHOMOLOGY FOR BIMEROMORPHISMS 9

p h Lemma 2. The filtration (′F HdR(X)) is a Hodge filtration of weight h if and only if h p h q h H (X)= ′F H (X) F H (X) for every (p,q) with p + q = h + 1. dR dR ⊕ ′ dR Moreover, if this is the case, there is a canonical isomorphism p h q h p h ′F H (X) F H (X) ′G H (X) for every (p,q) with p + q = h, dR ∩ ′ dR ≃ dR p h p h p+1 h where ′G HdR(X)= ′F HdR(X)/′F HdR(X). Proof. It is rather straightforward to show the equivalence of two expressions for Hodge filtrations. We only indicate a proof of the last statement for later h h use. In the sequel we denote HdR(X) by H . For c F pHh we denote by [c]p its class in GpHh. We define a morphism ∈ ′ ′ p h q h p h p ′F H F H ′G H by c [c] ∩ ′ −→ 7→ and show that it is an isomorphism. For the surjectivity, take [c]p ∈ GpHh, c F pHh. Then we may write uniquely c = h ci,h i with ′ ∈ ′ i=0 − ci,h i F iHh F h iHh. We have [c]p = [c ]p, c = Pp ci,h i. Since − ∈ ′ ∩ ′ − ′ ′ i=0 − h ci,h i F p+1Hh F pHh, we have c F pHh. OnP the other hand, i=p+1 − ∈ ′ ⊂ ′ ′ ∈ ′ cPis also in F qHh and c [c]p. For the injectivity, take c F pHh F qHh ′ ′ ′ 7→ ∈ ′ ∩ ′ such that [c]p = 0. This means that c F p+1Hh F qHh = 0. ∈ ′ ∩ ′ The spectral sequence associated with the first filtration of A•(X) is the Frölicher spectral sequence [Frö55], for which we have p,q p,q p,q p p+q E1 H (X), E ′G HdR (X), ≃ ∂ ∞ ≃ Proposition 3 ([DGMS75]). A complex manifold X satisfies the ∂∂-Lemma if and only if the following two conditions hold:

(1) the Frölicher spectral sequence degenerates at E1, p h (2) the filtration (′F HdR(X)) is a Hodge filtration of weight h for every h 0. ≥ p p+q p Note that every element of ′G HdR (X) is expressed as [[ω]] , where ω p p+q p p+q is a d-closed form in ′F A (X), [ω] is the class of ω in ′F HdR (X) and p p p+q [[ω]] is the class of [ω] in ′G HdR (X). The condition dω = 0 implies that p,q p+q i,p+q i ∂ω = 0 when we write ω = i=p ω − . The condition (1) above is equivalentP to saying that, for every (p,q), the assignment [[ω]]p [ωp,q] is well-defined and induces an isomorphism 7→ p p+q p,q ′G H (X) ∼ H (X). dR −→ ∂ p,q q,p h p,q Recall that A (X) = A (X) and A (X) = p+q=h A (X). We ask when these relations carry on to the cohomologies.L Definition 4. 1. We say that X admits a Hodge structure of weight h, if there exist isomorphisms Hp,q(X) Hq,p(X), p + q = h, and Hh (X) Hp,q(X). ∂ ≃ ∂ dR ≃ ∂ p+Mq=h 2. A Hodge structure as above is said to be natural, if the following conditions hold: 10 D.ANGELLA,T.SUWA,N.TARDINI,ANDA.TOMASSINI

(H1) Every class in Hp,q(X), p + q = h, admits a representative ω with ∂ ∂ω = 0 and ∂ω = 0, i.e., dω = 0. Moreover, the assignment ω ω¯ induces the first isomorphism above. 7→ h (H2) Every class in HdR(X) admits a representative ω which may be p,q p,q p,q written ω = p+q=h ω , where ω is a (p,q)-form with dω = p,q 0. Moreover,P the assignment ω (ω )p+q=h induces the second isomorphism above. 7→ Remark 5. In (H1) above, Hq,p(X) denotes the vector space conjugate to ∂ Hq,p(X), i.e., the vector space with underlying set Hq,p(X) and the complex ∂ ∂ multiplication given by c ω =cω ¯ . We may rephrase (H1) as: · (H1) Every class in Hp,q(X), p + q = h, admits a representative ω with ′ ∂ ∂ω = 0 and ∂ω = 0, i.e., dω = 0. Moreover, the assignment ω ω induces an isomorphism Hp,q(X) Hp,q(X). 7→ ∂ ≃ ∂ Remark 6. See [COUV16, Proposition 4.3] for an example of a compact complex manifold with a non-natural Hodge structure. Proposition 7. A complex manifold X admits a natural Hodge structure of weight h if and only if the following conditions hold : p h p,h p p,h p (i) the morphism ker d ′F A (X) A − (X), ω ω − , induces p∩ h →p,h p 7→ an isomorphism G H (X) H − (X) for every p, ′ dR ∂ p h ≃ h (ii) (′F HdR(X)) is a Hodge filtration on HdR(X) of weight h. Proof. Suppose X admits the natural Hodge structure of weight h. We claim that there is an isomorphism h p h i,h i ′F H (X) H − (X) (4) dR ≃ ∂ Mi=p compatible with the one in (H2) in the sense that the following is commutative: p h h i,h i F H (X) ∼ H − (X) ′ dR i=p ∂ T L T h h i,h i H (X) ∼ H − (X). dR i=0 ∂ L h p h h i,h i i,h i For this, take θ ker d ′F A (X) and write θ = i=p θ − with θ − i,h i ∈ ∩ i,h i i,h ∈i A − (X). From dθ = 0 and (H1), we see that thereP exist ω − and α − in Ai,h i(X), p i h, such that dωi,h i = 0 and that − ≤ ≤ − i,h i i,h i i 1,h i i,h i 1 θ − = ω − + ∂α − − + ∂α − − , p 1,h p where we set α − − = 0. Then we have h h i,h i i,h i 1 θ = ω − + d α − − . Xi=p Xi=p i,h i h By (H2), the assignment θ (ω − )i=p induces a well-defined morphism p h h i,h i 7→ F H (X) H − (X) compatible with the isomorphism of (H2). It ′ dR → i=p ∂ is obviously injective.L The surjectivity follows from (H1) and it is the desired isomorphism. DOLBEAULT COHOMOLOGY FOR BIMEROMORPHISMS 11

p h p,h p From (4), we have G H (X) H − (X) and the correspondence is ′ dR ≃ ∂ the one as given in (i). h h h j,j We also have an isomorphism F qH (X) H − (X) compatible ′ dR ≃ j=q ∂ L h with the one in (H2). Thus for (p,q) with p + q = h + 1, HdR(X) = p h q h ′F HdR(X) ′F HdR(X) and we have (ii). Now we prove⊕ the converse. The condition (ii) implies (cf. Lemma 2)

h p h q h H (X)= ′F H (X) F H (X) and (5) dR dR ∩ ′ dR p+Mq=r

p h q h p h ′F H (X) F H (X) ′G H (X), h = p + q. (6) dR ∩ ′ dR ≃ dR From the condition (i) and (6), we have

p,q p h p h q h H (X) ′G H (X) ′F H (X) F H (X) ∂ ≃ dR ≃ dR ∩ ′ dR GqHh (X) Hq,p(X), h = p + q. ≃ ′ dR ≃ ∂ p h q h We look at the correspondence above. Take c ′F HdR(X) ′F HdR(X), h ∈ i,h i p h∩ we may write c = [ω1] = [ω2], where ω1 = i=p ω1 − ′F A (X), dω1 = 0 p,q h h j,j ∈ p,q (thus ∂ω = 0) and ω = ω − PF qAh(X), dω = 0 (thus ∂ω = 1 2 j=q 1 ∈ ′ 2 2 P p,q p,q 0). Then the correspondence is given by [ω1 ] [ω2 ]. From [ω1] = [ω2], we see that there exist θp,q 1 Ap,q 1(X) and θ↔p 1,q Ap 1,q(X) such that − ∈ − − ∈ − p,q p,q p 1,q p,q 1 ω ω = ∂θ − + ∂θ − . 1 − 2 p,q p,q 1 p,q p 1,q Then ω = ω1 ∂θ − = ω2 +∂θ − is a representative as in (H1). From (5), (6) and the− condition (i), we have (H2). Corollary 8. A complex manifold satisﬁes the ∂∂-Lemma if and only if it admits a natural Hodge structure of weight h for every h.

, ker ∂ ker ∂ Remark 9. If we use the Bott-Chern cohomology H• • (X) = , the BC im∩∂∂ condition (3) means that the morphism , H• • (X) H• (X) BC −→ dR induced by the identity is injective. A numerical characterization of the ∂∂- Lemma in terms of the dimension of the Bott-Chern cohomology and the Betti numbers is provided in [AT13] and in [AT17] using only Bott-Chern numbers.

2. Dolbeault cohomology of the projectivization of a holomorphic vector bundle

Let X be a smooth manifold. Also let π : V X be a complex vector bundle of rank k and denote by ρ : P(V ) X its→ projectivization. We may P → regard HdR• ( (V )) as an HdR• (X)-module (in fact, HdR• (X)-algebra). Here we regard it as a right module by our convention and the module structure ` P is given by c a = c ρ∗(a) for c HdR• ( (V )) and a HdR• (X), where ` denotes the· cup product. In the sequel∈ it will be simply∈ denoted by , if there is no fear of confusion. · 12 D.ANGELLA,T.SUWA,N.TARDINI,ANDA.TOMASSINI

In the above situation we have the tautological bundle T on P(V ), which is a rank one subbundle of ρ∗V with the universal bundle Q as the quotient so that we have an exact sequence of vector bundles on P(V ):

0 T ρ∗V Q 0. (7) −→ −→ −→ −→ Recall that ρ∗V = (v, l) V P(V ) π(v) = ρ(l) . We may think of a { ∈ × k | } point l in P(V ) as a line in Vx = C , x = π(v), and we have T = (v, l) { ∈ ρ∗V v l . We| recall∈ } the following, which is a direct consequence of the Leray-Hirsch theorem (cf. [GH78, Proposition page 606], [Voi02, Lemma 7.32]): P Proposition 10. In the above situation, HdR• ( (V )) is a free HdR• (X)- k 1 1 module with basis 1, γ, . . . , γ − , where γ = c (T ) is the first Chern class of T . The essential point in the above is that the restriction of γ to each fibre, k 1 which is the projective space P − , is the first Chern of the tautological k 1 bundle (dual of the hyperplane bundle) on P − and that their powers up C Pk 1 to the (k 1)-st form a -basis of HdR• ( − ). As an HdR• (X)-algebra, P − HdR• ( (V )) is generated by γ with the single relation k i i k i ( 1) γ ρ∗c − (V ) = 0, (8) − · Xi=0 where ck i(V ) is the (k i)-th Chern class of V . The relation can be seen − − from c(T ) c(Q)= ρ∗c(V ), the relation among the total Chern classes, which follows from· (7). If we take a metric connection for T , its curvature form κ is of type (1, 1) and is simultaneously d- and ∂-closed. We also have κ¯ = κ. The class √ 1 2 P 1 − of 2−π κ in HdR( (V )) is the first Chern class γ = c (T ) and its class in H1,1(P(V )) is the first Atiyah class a1(T ). Note that they cannot be com- ∂ pared directly on the cohomology level, in general. However, their restrictions to each fibre of P(V ) X may be identified, as the fibre is Pk 1 and → − it satisfies the ∂∂-Lemma. Proposition 11. Let V X be a holomorphic vector bundle of rank k on → , , a compact complex manifold X. Then H• •(P(V )) is a free H• •(X)-module ∂ ∂ k 1 1 with basis 1,α,...,α − , where α = a (T ) is the first Atiyah class of T . , Proof. By [CFGU00, Lemma 18], we see that H• •(P(V )) is generated by α ∂ , k i as an H• •(X)-algebra. We have a relation as (8), replacing γ and c (V ) ∂ − k i with α and a − (V ), the (k i)-th Atiyah class of V , from which we see that k 1 ,− , 1,α,...,α generate H• •(P(V )) as an H• •(X)-module. The proposition − ∂ ∂ follows from the following: k 1 , Claim. 1,α,...,α are linearly independent over H• •(X). − ∂ , To prove this, we look at the C-algebra structure of H• •(P(V )). Let n = ∂ dim X and hp,q = dim Hp,q(X). For each (p,q) with hp,q = 0, we take a basis ∂ p,q p,q n p,n q 6 n p,n q ui 1 i h of H (X) so that ui′− − 1 i′ h is the basis of H − − (X) { } ≤ ≤ ∂ { } ≤ ≤ ∂ DOLBEAULT COHOMOLOGY FOR BIMEROMORPHISMS 13 dual to up,q via the Kodaira-Serre duality, h = hp,q = hn p,n q: { i } − − p,q n p,n q ui ui′− − = δii′ . ZX · ± r p,q C , P Obviously α ρ∗ui 0 r k 1,p,q,i span the -vector space H• •( (V )). { · } ≤ ≤ − ∂ We show that they are linearly independent over C, which will prove the claim and the proposition. For this we introduce a relation > in the set Λ of indices λ = (r,p,q,i) by saying that (r1,p1,q1, i1) > (r2,p2,q2, i2) if one of the following holds:

(1) 2r1 + p1 + q1 > 2r2 + p2 + q2, (2) 2r1 + p1 + q1 = 2r2 + p2 + q2 and p1 + q1 >p2 + q2, (3) r1 = r2, p1 + q1 = p2 + q2 and p1 >p2, (4) r1 = r2, p1 = p2, q1 = q2 and i1 > i2.

With this, Λ becomes a totally ordered set. Let Λ′ denote the set Λ with the order defined by reversing the inequalities in (1), (2) and (3) and keeping that in (4) above. We consider the matrix (vλ vλ′ )(λ,λ′) Λ Λ′ , where, for r p,q · ∈ × λ = (r,p,q,i), vλ = α ρ u and similarly for vλ′ . On the diagonal, we have · ∗ i vλ v ′ for which r + r = k 1, p + p = n, q + q = n and i = i (note that · λ ′ − ′ ′ ′ this makes sense as p + p′ = n and q + q′ = n), when we write λ = (r,p,q,i) k 1 k 1 and λ′ = (r′,p′,q′, i′). In this case, noting that ρ α − = ( 1) − , as the restriction of α to each fibre is the first Atiyah∗ class of the− dual of the hyperplane bundle, by the projection formula,

r p,q r′ p′,q′ k 1 p,q n p,n q (α ρ∗ui ) (α ρ∗ui′ )= ρ α − ui ui − − = 1. ZP(V ) · · · ∗ · ZX · ±

On the upper triangle, but oﬀ the diagonal, we have vλ vλ′ for which one of the following holds: ·

(1) 2r + 2r′ + p + p′ + q + q′ > 2(n + k 1), (2) 2r + 2r + p + p + q + q = 2(n + k − 1) and p + p + q + q > 2n, ′ ′ ′ − ′ ′ (3) r + r′ = k 1, p + p′ + q + q′ = 2n and p + p′ >n, (4) r + r = k − 1, p + p = n, q + q = n and i < i . ′ − ′ ′ ′ Recalling that dim X = n and dim P(V ) = n + k 1, we have, in the case (1), (2) or (3), − r p,q r′ p′,q′ (α ρ∗u ) (α ρ∗u ′ ) = 0, · i · · i by dimension reason. In the case (4), vλ vλ′ = 0 by a similar com- P(V ) · putation as above. Thus the Kodaira-SerreR dual of the matrix (vλ vλ′ ) is r · p,q triangular with 1’s along the diagonal, which shows that the α ρ∗ui ’s are linearly independent± over C. ·

Corollary 12. Let X be a compact complex manifold and V X a holomorphic ﬁbre bundle on X. If X satisﬁes the ∂∂-lemma, so does→ P(V ).

Proof. The statement follows from Corollary 8 and Propositions 10 and 11, √ 1 noting that γ and α are both represented by the same form 2−π κ as above. 14 D.ANGELLA,T.SUWA,N.TARDINI,ANDA.TOMASSINI

3. Hodge structures under blow-ups We can now prove explcit expressions for the de Rham (Proposition 16) and Dolbeault (Proposition 19) cohomologies of the blow-up and then The- orem 13. Compare also [YY17, Theorem 1.3] for similar results using Bott- Chern cohomology, and [Ste18c, Corollary 25] for a clear statement and argument. Let X be a compact complex manifold of dimension n and Z a closed complex submanifold of codimension k. Also let τ : X˜ := X˜Z X be the → blow-up of X along Z with exceptional divisor E = P(NZ X ). Here we assume that | Z admits a holomorphically contractible neighbourhood (9) that is, there exists U Z with r : U Z holomorphic and r Z = id. In this ⊃ → | case E also admits a holomorphically contractible neighbourhood U˜ E with ⊃ r˜: U˜ E holomorphic and r˜ E = id. Thus we have the following diagram: → | p k,q k r¯∗ p,q H − − (Z) o H (X, X Z) (10) ∂ D¯ \ χ¯ τ ∗ p 1,q 1 r˜¯∗ p,q H − − (E) o H (X,˜ X˜ E), ∂ D¯ \ where the horizontal arrows are the ∂-integrations along the ﬁbres, τ ∗ is the k 1 morphism induced by τ and χ¯ is given by z a − (Q) τE∗z, see the proof below for details. Here we spend some words7→ to clarify the· heavy notation: accordingly with [Suw09], the bar refers to the holomorphic aspects of the theory, while the tilde concerns to the level of the blow-up. We do not know whether or not the diagram (10) is commutative. The ﬁrst condition in (11) below is apparently weaker than the commutativity (cf. Remark 20. (5) below). Theorem 13. Let X be a compact complex manifold and Z a closed submanifold of X. Also let τ : X˜Z X be the blow-up of X along Z. Assume that the conditions (9) above and→

im r˜¯ τ ∗ imχ, ¯ ker r˜¯ im τ ∗ (11) ∗ ◦ ⊂ ∗ ⊂ hold. Then, if both X and Z admit a Hodge structure, so does X˜Z . Proof. Algebraic preliminaries. We quote the following lemma, see for instance [Bla56, Lemme II.6]: Lemma 14. Let R be a commutative ring with unity and let A / A / A / A / A 1 2 3 4 5 f1 f2 f3 f4 f5 ≀ g B1 / B2 / B3 / B4 / B5 be a commutative diagram of R-modules with exact rows such that f1 is surjective, f2 and f5 are injective and f4 is an isomorphism. Then f3 is injective and g induces an isomorphism

g˜ : B /f A ∼ B /f A . 2 2 2 −→ 3 3 3 DOLBEAULT COHOMOLOGY FOR BIMEROMORPHISMS 15

In the above situation, we have the diagram with an exact row:

f3 π 0 / A / B / B /f A / 0 3 3 e 3 O 3 3 g˜ η ≀ B2/f2A2, where π is the canonical surjection. If there is a splitting η : B2/f2A2 B3, i.e., a morphism with (˜g) 1 π η = id, we have an isomorphism → − ◦ ◦ A (B /f A ) ∼ B , (a, [b]) f (a)+ η([b]). 3 ⊕ 2 2 2 −→ 3 7→ 3 Note that the isomorphism depends on the splitting. In the sequel, we try to express the cohomology of X˜ in terms of those of X and Z using the above. de Rham cohomology. Let us start with the de Rham case. Note that, for this case, the assumption (9) (or (11)) is not necessary; for the map r, simply take the one given by the Tubular Neighbourhood Theorem, although it is only smooth that is suﬃcient. Considering the exact sequence (1) for the pairs (X, X Z) and (X,˜ X˜ E), we have the commutative diagram with exact rows: \ \

∗ ∗ h 1 δ h j h i h δ h+1 H − (X Z) / H (X, X Z) / H (X) / H (X Z) / H (X, X Z) dR \ D \ dR dR \ D \ τ ∗ τ ∗ τ ∗ τ ∗ τ ∗ ≀ ≀ ∗ ∗ h 1 δ h j h i h δ h+1 H − (X˜ E) / H (X,˜ X˜ E) / H (X˜) / H (X˜ E) / H (X,˜ X˜ E). dR \ D \ dR dR \ D \ ˜ ˜ E We study the morphism τ ∗ : HD• (X, X Z) HD• (X, X ) more closely. First, it is injective by [Tar19, Theorem\ 3.2]→ and Lemma\ 14 shows that τ : Hh (X) Hh (X˜ ) is injective (in fact this is already implied by [Wel74, ∗ dR → dR Theorem 3.1]) and that j∗ in the second row induces an isomorphism

h h h h H (X,˜ X˜ E)/τ ∗H (X, X Z) ∼ H (X˜)/τ ∗H (X). (12) D \ D \ −→ dR dR We try to express the left hand side in terms of the cohomologies of Z and E and along the way we reprove the injectivity of τ ∗ on the relative cohomology (cf. Remark 20. (1) below). E Let π : N := NZ X Z be the normal bundle of Z in X. Recall that | → is the projectivization P(N) of N and that τE := τ E : E = P(N) Z is the | → projection of the bundle. The normal bundle of E in X˜ is the tautological bundle π˜ : T E = P(N). It is a subbundle of τE∗N with the universal bundle Q as the quotient→ so that we have an exact sequence of vector bundles on E (cf. (7)): ι 0 T τE∗N Q 0. (13) −→ −→ −→ −→ Recall that τE∗N = (ν, e) N E π(ν) = τE(e) so that we have the commutative diagram{ ∈ × | } ̟ E o τE∗N τE p Zo π N, 16 D.ANGELLA,T.SUWA,N.TARDINI,ANDA.TOMASSINI where p and ̟ denote the restrictions of the projections onto the first and the second factors, respectively. Let ϕ : U ∼ W be a diffeomorphism as given by the Tubular Neighbour- hood Theorem,→ with U and W neighbourhoods of Z in X and N, respectively. We set r = π ϕ : U Z. We may choose neighbourhoods U˜ and W˜ of ◦ → 1 E in X˜ and T and a diffeomorphism ϕ˜ : U˜ ∼ W˜ so that U˜ = τ − U and 1 ˜ → ˜ E ϕ τ (ϕ ˜)− : W W is equal to p ι W˜ . We set r˜ =π ˜ ϕ˜ : U so that we◦ have◦ the commutative→ diagram ◦ | ◦ →

E o r˜ U˜

τE τ U˜ | Zo r U.

2k 2k We have the Thom class ΨZ H (X, X Z)= H (U, U Z) of Z and ∈ D \ D \ that ΨE H2 (X,˜ X˜ E)= H2 (U,˜ U˜ E) of E. ∈ D \ D \ Lemma 15. In the above situation, we have

k 1 τ ∗ΨZ =ΨE ` r˜∗c − (Q),

k 1 where c − (Q) is the top Chern class of Q.

Proof of Lemma 15. Noting that r τ = τE r˜, we have the exact sequence of vector bundles on U˜ : ◦ ◦

0 r˜∗T τ ∗r∗N r˜∗Q 0. (14) −→ −→ −→ −→

Let s∆ and s˜∆ denote the diagonal sections of π∗N on N and of π˜∗T on T , respectively. We denote the corresponding sections of r∗N on U and of r˜∗T on U˜ by s and s˜. We claim that s˜ is mapped to τ ∗s by the first morphism above. To see this, first note that s∆(ν) = (ν,ν), where we think of the first component as the fibre component. The section s is given by, for x U, ∈ s(x) = ϕ(x) (r N)x = Nz, z = r(x) = π ϕ(x). On the other hand ∈ ∗ ◦ s˜ (t) = (t,t) and s˜ is given by, for x˜ U˜, s˜(˜x) =ϕ ˜(˜x) (˜r T )x = Te, ∆ ∈ ∈ ∗ ˜ e =r ˜(˜x) =π ˜ ϕ˜(˜x). We have τ ∗s(˜x) = s(τ(˜x)) = ϕ τ(˜x) = p ι ϕ˜(˜x), which proves the◦ claim. ◦ ◦ ◦ k Recall that ΨZ is the localization of c (r∗N) by s so that τ ∗ΨZ is the k localization of c (τ ∗r∗N) by τ ∗s. The latter can be described as follows. Let ˜ be an s˜-trivial connection for r˜ T on U˜ and let Q be a connection for ∇0 ∗ 0 ∇ Q on E. Then there exists a τ ∗s-trivial connection 0 for τ ∗r∗N on U˜0 such that ( ˜ , , r˜ Q) is compatible with (14) on U˜ ∇. Let ˜ be an arbitrary ∇0 ∇0 ∗∇ 0 ∇1 connection for r˜∗T on U˜. Then there exists a connection 1 for τ ∗r∗N on Q ∇ U˜ such that ( ˜ 1, 1, r˜∗ ) is compatible with (14) on U˜. Then τ ∗ΨZ is represented by∇ ∇ ∇

k k 1 k 1 Q 1 k 1 Q (c ( ), c ( , )) = (c ( ˜ ) r˜∗c − ( ), c ( ˜ , ˜ ) r˜∗c − ( ). ∇1 ∇0 ∇1 ∇1 · ∇ ∇0 ∇1 · ∇

Since (c1( ˜ ), c1( ˜ , ˜ )) represents ΨE, we have the lemma. ∇1 ∇0 ∇1 DOLBEAULT COHOMOLOGY FOR BIMEROMORPHISMS 17

From the above lemma, we see that the following diagram is commutative:

TZ h 2k / h HdR− (Z) o HD(X, X Z) (15) r∗ \ χ τ ∗ TE h 2 E / h ˜ ˜ E HdR− ( ) o HD(X, X ), r˜∗ \ k 1 where χ is the morphism given by z c (Q) ` τEz. In the above TZ and 7→ − ∗ r are isomorphisms and the inverses of each other, similarly for TE and r˜ . ∗ ∗ Thus χ is injective and TE induces an isomorphism h 2 h 2k h h H − (E)/χH − (Z) ∼ H (X,˜ X˜ E)/τ ∗H (X, X Z). (16) dR dR −→ D \ D \ E Now we study the left hand side. We claim that HdR• ( ) is a free HdR• (Z)- k 2 k 1 1 module with basis 1, γ, . . . , γ − , c − (Q), γ = c (T ). To see this, from (13) we have the relation c(T ) c(Q) = τE∗c(N) among the total Chern classes. 1 · Thus c(Q)= c(T ) τEc(N) and we have − · ∗ k 2 k 1 − i i k 1 i k 1 k 1 c − (Q)= ( 1) γ τE∗c − − (N) + ( 1) − γ − , (17) − · − Xi=0 which proves the claim in view of Proposition 10. Thus we have k 2 h 2 h 2k − i h 2i 2 h 2 H − (E)/χH − (Z) γ τE∗H − − (Z) H − (E). (18) dR dR ≃ · dR ⊂ dR Mi=0 By (12), (16) and (18), we have the diagram:

∗ 0 / Hh (X) τ / Hh (X˜) π / Hh (X˜ )/τ Hh (X) / 0 dR dR i❚❚ dR O ∗ dR ❚❚❚❚ η ❚❚❚ ❚❚ ≀ k 2 i h 2i 2 − γ τEH − − (Z). i=0 · ∗ dR L h 2 E h ˜ The restriction of the Gysin morphism (iE) = j∗ TE : HdR− ( ) HdR(X) gives a splitting η and we have: ∗ ◦ → Proposition 16. There is an isomorphism k 2 h − h 2i 2 h H (X) H − − (Z) ∼ H (X˜), dR ⊕ dR −→ dR Mi=0 k 2 k 2 i h which is given by (x, (zi)i=0− ) τ ∗x + i=0− (iE) (γ τE∗zi) for x HdR(X) h 2i 2 7→ ∗ · ∈ and zi H − − (Z). P ∈ dR Dolbeault cohomology. Considering the exact sequence (2) for the pairs (X, X Z) and (X,˜ X˜ E), we have the commutative diagram with exact rows: \ \

∗ p,q 1 δ p,q j p,q i∗ p,q δ p,q+1 H − (X Z) / H (X, X Z) / H (X) / H (X Z) / H (X, X Z) ∂ \ D¯ \ ∂ ∂ \ D¯ \ τ ∗ τ ∗ τ ∗ τ ∗ τ ∗ ≀ ≀ ∗ p,q 1 δ p,q j p,q i∗ p,q δ p,q+1 H − (X˜ E) / H (X,˜ X˜ E) / H (X˜ ) / H (X˜ E) / H (X,˜ X˜ E). ∂ \ D¯ \ ∂ ∂ \ D¯ \ 18 D.ANGELLA,T.SUWA,N.TARDINI,ANDA.TOMASSINI

The essential diﬀerence from the de Rham case occurs for the relative cohomology and the morphism τ : Hp,q(X, X Z) Hp,q(X,˜ X˜ E), which ∗ D¯ \ → D¯ \ we are going to analyze. First, it is injective by [Tar19, Theorem 3.1] and Lemma 14 shows that τ : Hp,q(X) Hp,q(X˜) is injective (again this is ∗ ∂ → ∂ already implied by [Wel74, Theorem 3.1]) and that j∗ in the second row induces an isomorphism

p,q p,q p,q p,q H (X,˜ X˜ E)/τ ∗H (X, X Z) ∼ H (X˜ )/τ ∗H (X). (19) D¯ \ D¯ \ −→ ∂ ∂ We try to express the left hand side in terms of cohomologies of Z and E. Recall that the normal bundle π : N Z of Z is a holomorphic vector bundle of rank k on Z. By the assumption→ (9), we see that there exist neighbourhoods U and W of Z in X and N, respectively, and a biholomorphic map ϕ : U W so that r = π ϕ : U Z. Thus we have isomorphisms → ◦ → p,q p,q p,q p,q H (X, X Z) H (U, U Z) ∼ H (W, W Z) H (N,N Z), D¯ \ ≃ D¯ \ ←−ϕ∗ D¯ \ ≃ D¯ \ where the ﬁrst and the last isomorphisms are excisions. The ∂-Thom class k,k Ψ¯ Z of Z is, by deﬁnition, the class in H (X, X Z) that corresponds to D¯ \ Ψ¯ N by the above isomorphism. We have the ∂-Thom morphism p k,q k p,q p,q T¯Z : H − − (Z) H (U, U Z)= H (X, X Z), ∂ −→ D¯ \ D¯ \ which is given by z Ψ¯ Z ` r z. It gives a splitting of 7→ ∗ p,q r¯∗ p k,q k 0 kerr ¯ H ¯ (X, X Z) H − − (Z) 0. −→ ∗ −→ D \ −→ ∂ −→ Under the assumption (9), E also admits a holomorphic retraction r˜: U˜ 1 → E, U˜ = τ − U, such that the following diagram is commutative:

r E o ˜ U˜

τE τ U˜ | Zo r U. 1,1 1,1 Thus we have the ∂-Thom class Ψ¯ E H (X,˜ X˜ E)= H (U,˜ U˜ E) of E ∈ D¯ \ D¯ \ and the ∂-Thom morphism p 1,q 1 p,q p,q T¯E : H − − (E) H (U,˜ U˜ Z˜)= H (X,˜ X˜ E), ∂ −→ D¯ \ D¯ \ which is given by a Ψ¯ E ` r˜ a. It gives a splitting of 7→ ∗ ¯ ¯ p,q ˜ ˜ E r˜∗ p 1,q 1 E 0 ker r˜ H ¯ (X, X ) H − − ( ) 0. −→ ∗ −→ D \ −→ ∂ −→ We have the following lemma, which is the holomorphic analogue of Lemma 15 and is proven by the same argument with de Rham cohomology and Chern classes are replaced by Dolbeault cohomology and Atiyah classes, respectively: Lemma 17. We have: k 1 τ ∗Ψ¯ Z = Ψ¯ E ` r˜∗a − (Q), k 1 where a − (Q) denotes the top Atiyah class of Q. DOLBEAULT COHOMOLOGY FOR BIMEROMORPHISMS 19

From the above lemma, we see that the following diagrams are commutative:

p k,q k T¯Z p,q p k,q k T¯Z p,q H − − (Z) / H (X, X Z) H − − (Z) / H (X, X Z) ∂ D¯ \ ∂ D¯ \ χ¯ τ ∗ χ¯ τ ∗ ¯ ¯ p 1,q 1 TE p,q p 1,q 1 r˜∗ p,q H − − (E) / H (X,˜ X˜ E), H − − (E) o H (X,˜ X˜ E), ∂ D¯ \ ∂ D¯ \ k 1 where χ¯ is the morphism given by z a − (Q) ` τE∗z. 7→ ¯ From the first commutative diagram above, TZ˜ induces a well-defined morphism p 1,q 1 p k,q k p,q p,q ψ : H − − (E)/χH¯ − − (Z) H (X,˜ X˜ E)/τ ∗H (X, X Z). ∂ ∂ −→ D¯ \ D¯ \ Proposition 18. Under the assumption (11), ψ is an isomorphism. Proof of Proposition 18. For the surjectivity, take [˜c], c˜ Hp,q(X,˜ X˜ E). ∈ D¯ \ We may write c˜ = T¯˜(ã)+ ρ, ρ ker r˜¯ . Thus by the second condition in Z ∈ ∗ (11), ψ([ã]) = [˜c]. For the injectivity, take [ã] such that TZ˜(ã) = τ ∗(c) for p,q ¯ ¯ some c H ¯ (X, X Z). Then a˜ = r˜ T ˜(ã)= r˜ τ ∗(c) and by the first ∈ D \ ∗ ◦ Z ∗ ◦ condition in (11), a˜ imχ ¯. ∈ , , As in the case of de Rham, we see that H• •(E) is a free H• •(Z)-module ∂ ∂ k 2 k 1 1 with basis 1,α,...,α − , a − (Q), α = a (T ). Thus we have k 2 p 1,q 1 p k,q k − i p i 1,q i 1 p 1,q 1 H − − (E)/χH¯ − − (Z) α τE∗H − − − − (Z) H − − (E). ∂ ∂ ≃ · ∂ ⊂ ∂ Mi=0 (20) Under the assumption (11), the restriction of the ∂-Gysin morphism p 1.q 1 p,q (¯iE) = j∗ T¯E : H − − (E) H (X˜) gives a splitting η: ∗ ◦ ∂ → ∂ p,q τ ∗ p,q π p,q p,q 0 / H (X) / H (X˜) / H (X˜)/τ ∗H (X) / 0 ∂ ∂ j❚❚❚ ∂ ∂ ❚❚❚❚ η O ❚❚❚❚ ❚❚ ≀ k 2 i p i 1,q i 1 − α τEH − − − − (Z). i=0 · ∗ ∂ L and we have: Proposition 19. Under the assumption (11), there is an isomorphism k 2 p,q − p i 1,q i 1 p,q H (X) H − − − − (Z) ∼ H (X˜ ), ∂ ⊕ ∂ −→ ∂ Mi=0 k 2 k 2 ¯ i p,q which is given by (x, (zi)i=0− ) τ ∗x + i=0− (iE) (α τE∗zi) for x H (X) 7→ ∗ · ∈ ∂ p i 1,q i 1 P and zi H − − − − (Z). ∈ ∂ The theorem follows from Propositions 16 and 19 (cf. Definition 4. 1). Remark 20. (1) Even if X and Z admit a natural Hodge structure, i.e., satisfy the ∂∂-Lemma, it is not clear, from the above arguments, whether or not X˜ has the same property. The problem is that the cohomology of E contributes to the cohomology of X˜ through the Gysin morphisms and it is 20 D.ANGELLA,T.SUWA,N.TARDINI,ANDA.TOMASSINI not clear if these morphisms send good representatives to good ones as in (H1) and (H2) of Definition 4. 2. (2) In view of the commutative diagram (15), which is a consequence of Lemma 15, the injectivity of τ ∗ on the relative cohomology is equivalent to that of χ. From the definition of χ, we see that this is also equivalent to the injectivity of τE∗. The injectivity of χ can also be proven as follows, independently of the injectivity of τ ∗. k 1 Recalling that τE : E = P(N) Z is a P − -bundle, we have the integra- h →2 E h 2k tion along the fibres (τE) : HdR− ( ) HdR− (Z). First we claim that, for 2k 2 E 0 ∗ → (τE) : HdR− ( ) HdR(Z), we have ∗ → k 1 (τE) c − (Q) = 1. (21) ∗ This can be seen from (17), the projection formula and the facts that i k 1 (τE) γ = 0, for i = 0,...,k 2, by dimension reason, and (τE) γ − = ∗k 1 − ∗ ( 1) − , as γ restricted to each fibre is the first Chern class of the tautolog- − k 1 ical bundle on P − . Then by the projection formula and (21), k 1 k 1 (τE) χ(a) = (τE) (c − (Q) ` τE∗(a)) = (τE) c − (Q) ` a = a. ∗ ◦ ∗ ∗ h 2k Thus the composition (τE) χ is the identity morphism of HdR− (Z) so ∗ ◦ that χ is injective. Thus τE∗ is also injective. If E is Kähler, this follows from [Wel74, Theorem 4.1]. (3) The statement of Proposition 16 is proven in the Kähler context, e.g. in [Voi02, Theorem 7.31] by excision and by the Thom isomorphism in cohomology with Z-coefficients. Presumably, the Kähler condition is necessary there to show that χ or τE∗ is injective using the above-mentioned theorem [Wel74, Theorem 4.1]. The novelty here is the elimination of this restriction by a result of [Tar19] or Lemma 15, which also gives a precise relation between the Thom classes of Z and E and this in turn gives a precise relation between τ ∗ and χ. This subject is treated in the algebraic category in [Ful84, § 6.7]. (4) In the Dolbeault case, we can show the injectivity of χ¯ similarly as for χ (cf. (1) above). However this does not directly imply the injectivity of τ ∗ on the relative cohomology. The injectivity of χ¯ is equivalent to that of p k,q k p k,q k τE : H − − (Z) H − − (E). If E is Kähler, the latter again follows ∗ ∂ → ∂ from [Wel74, Theorem 4.1]. (5) The condition regarding the holomorphically-contractible neighbourhood of Z in Theorem 13 holds, for example, if Z is a point (see Example 21), or if X is a fibration (e.g. a Hopf manifold) with Z a fibre. (6) The first condition in (11) is implied by the commutativity of the diagram (10), which may be verified for the top degree cohomology using the projection formula. Example 21 (Blow-up in a point; see also [YY17, Proposition 3.6]). The very particular case when Z is a point is easier, and follows by the description of the Dolbeault cohomology in [GH78]. For completeness we outline the proof in this situation. Let X be a compact complex manifold and consider τ : X˜ X the blow-up of X on a point p. If X admits a Hodge structure, then also→ X˜ does. DOLBEAULT COHOMOLOGY FOR BIMEROMORPHISMS 21

n 1 1 We denote by E = P − = τ − (p) the exceptional divisor of the blow- up. We recall that the de Rham and Dolbeault cohomologies of X and X˜ are related as follows (see [GH78, pages 473-474]): for k / 0 , 2n , for (p,q) / (0, 0) , (n,n) , ∈ { } ∈ { } H•(X,˜ C)= H•(X, C) H•(E, C) ⊕ and , , , H• •(X˜)= H• •(X) H• •(E). ∂ ∂ ⊕ ∂ In particular, hp,p(X˜)= hp,p(X)+1 and hp,q(X˜)= hp,q(X) for p = q. Since, 6 by hypothesis, X satisfies the ∂∂-lemma and E clearly does, we have that Hk(X,˜ C) = Hk(X, C) Hk(E, C) ⊕ = Hp,q(X) Hr,s(E) ∂ ⊕ ∂ p+Mq=k r+Ms=k = Ht,v(X) Ht,v(E) = Ht,v(X˜) ∂ ⊕ ∂ ∂ t+Mv=k t+Mv=k and Hp,q(X˜ ) = Hp,q(X) Hp,q(E) ∂ ∂ ⊕ ∂ = Hq,p(X) Hq,p(E)= Hq,p(X˜). ∂ ⊕ ∂ ∂ Question 22. We ask whether a submanifold of a manifold satisfying the ∂∂-Lemma, still satisfies the ∂∂-Lemma. Note that, in general, existence of Hodge structures is not preserved by blow-ups: Claire Voisin suggested to us an example that appears in [Vul12] by Victor Vuletescu: take the blow-up of a Hopf surface inside S3 S3 P1. (Compare also [YY17, Concluding Remarks].) × × Question 23. We ask whether if X and Z satisfy the ∂∂-Lemma, then we can perform constructions like the deformation to the normal cone for (X,Z) that still satisfies the ∂∂-Lemma. We recall that the deformation to the normal cone by MacPherson [Ful84, Chapter 5] allows to modify the pair (X,Z) to the pair (NZ X ,Z) as deformation, where clearly Z has the property of admitting a holomorphically| contractible neighbourhood in its normal bundle NZ X. We briefly recall the construction, see also [Suw09, Section 8]: | D D consider a 1-dimensional disc ; define X∗ := BlZ 0 (X ) BlZ 0 (X ×{ } × \ ×{ } × 0 ) that provides a deformation path through Xt∗ = X to X0∗ = NZ X. We { } | notice that NZ X is clearly non-compact. We also recall that satisfying the | ∂∂-Lemma is an open property under deformations [Voi02, Proposition 9.21], but in general it is not closed [AK17b]. Remark 24. If Questions 23 and 22 have positive answers, if we can avoid the technical assumption (11), and if we can prove the naturality of the induced Hodge structures on the blow-up, then our argument would give that the ∂∂- Lemma property is defined inside the localization of the category of holomorphic maps with respect to bimeromorphisms, equivalently, modifications. More precisely: Let f : M N be a bimeromorphic map between compact complex manifolds of the same→ dimension. Then M satisfies the ∂∂-Lemma if and only if N does. (The same would be true assuming M Kähler without 22 D.ANGELLA,T.SUWA,N.TARDINI,ANDA.TOMASSINI

Question 22.) Indeed, this will follow by the Weak Factorization Theorem for bimeromorphic maps between compact complex manifolds [AKMW02, Theorem 0.3.1], [Wlo03]. It states that f can be functorially factored as a sequence of blow-ups and blow-downs with non-singular centres. For a blow- up ϕ: V V , we have that: if V satisﬁes the ∂∂-Lemma, then V does ′ → ′′ ′ ′′ by [DGMS75, Theorem 5.22]; if V ′′ satisﬁes the ∂∂-Lemma, then V ′ does by Theorem 13. Compare [RYY17, Question 1.2] and [Ste18c, Corollary 28].

4. The orbifold case We now consider the orbifold case, applying the Stelzig arguments to the orbifold Dolbeault cohomology studied in [Bai54, Bai56]. Recall that an orbifold, also called V-manifold [Sat56], is a singular complex space whose singularities are locally isomorphic to quotient singularities Cn/G, where G GL(n, C) is a finite subgroup. Tensors on an orbifold are defined to be⊂ locally G-invariant. In particular, this yields the notions of orbifold de Rham cohomology and orbifold Dolbeault cohomology, for which we have both a sheaf-theoretic and an analytic interpretation [Sat56, Bai54, Bai56], and Hodge decomposition in cohomology defines the orbifold ∂∂-Lemma property. The following result generalizes the contents of Theorem 1 to orbifolds of global-quotient type, namely, X/G, where X is a complex manifold and G is a finite group of biholomorphisms of X. We can interpret this case as the smooth case with the further action of a group G: for example, an orbifold morphism Z/H X/G is just an equivariant map Z X. The orbifold Dolbeault cohomology→ of X/G is the cohomology of the→ complex of G- , G invariant forms, ( • •X) , ∂ . The notion of ∂∂-Lemma for orbifolds refers ∧ , G to the cohomological decomposition for the double complex ( • •X) , ∂, ∂ . This result follows directly by the work of Jonas Stelzig and ∧ it will let us construct new examples of compact complex manifolds satisfying the ∂∂- Lemma, as resolutions of orbifolds obtained starting from compact quotients of solvable Lie groups. (Here, by asking that jo : Zo = Z/G Xo = X/G is a suborbifold, we mean that Z is a G-invariant submanifold→ of X, and the embedding j : Z X is G-equivariant.) → Theorem 25 (see [Ste18c]). Let Xo = X/G be a compact complex orbifold of complex dimension n, and jo : Zo = Z/G Xo be a suborbifold of complex → o o dimension d and codimension k := n d, and consider τ : X˜Zo X the blow-up of Xo along the centre Zo. If both− Xo and Zo satisfy the ∂∂→-Lemma, then also X˜Zo does satisfy the ∂∂-Lemma.

Proof. We first notice that X˜Zo itself is a (possibly smooth) orbifold of global- quotient type. Indeed, by the universal property of blow-up, see e.g. [GH78, page 604], the action G X yields the action G X˜Z the blow-up of X along Z. The proof then follows by considering the E1-quasi-isomorphism , , k 1 j, j X˜Z X − Z. This means that there is a mor- ∧• • ≃1 ∧• • ⊕ j=1 ∧•− •− phism of double complexesL that induces an isomorphism at the first page E1 of the Frölicher spectral sequence, that is, the Dolbeault cohomology, see [Ste18c, Definition D]. The fact that there is an E1-quasi-isomorphism as above is [Ste18c, Theorem 23], see also [Ste18b]. Since the action of G is DOLBEAULT COHOMOLOGY FOR BIMEROMORPHISMS 23 compatible with the above morphism, we get also an E1-quasi-isomorphism , G , G k 1 j, j G ( X˜Z ) ( X) − ( Z) . Recall that the Dolbeault ∧• • ≃1 ∧• • ⊕ j=1 ∧•− •− and the de Rham cohomologiesL of the orbifold are computed as the cohomologies of the complex of G-invariant forms, as said above. Therefore the properties of Hodge decomposition for X and Z reflects on the property of Hodge decomposition for X˜Z by means of the above quasi-isomorphism. Example 26 (resolution of an orbifold covered by the Iwasawa manifold). In this example, starting from a smooth compact complex manifold which does not satisfy the ∂∂-lemma, we construct a simply-connected smooth compact complex manifold that does. Consider the complex Heisenberg group

1 z1 z3 G := 0 1 z2 : z1, z2, z3 C .  0 0 1 ∈    It is a nilpotent Lie group, and it is endowed with a bi-invariant complex structure defined by the coframe of (1, 0)-forms ϕ1 := dz , ϕ2 := dz , ϕ3 := dz z dz . 1 2 3 − 1 2 They have structure equations dϕ1 = 0, dϕ2 = 0, dϕ3 = ϕ1 ϕ2. − ∧ Let ξ = 1 be a cubic root of the unity, and Λ be the lattice generated by 1 and ξ.6 Consider the subgroup Γ in G consisting of matrices with entries in Λ. The compact quotient M := G/Γ is a holomorphically-parallelizable nilmanifold [Nak75]. By [Nom54, Sak76], the de Rham and Dolbeault cohomologies of M are the same as the cohomologies of the Iwasawa manifold, which are computed for instance in [Sch07]. We consider the following action of the finite group Z3 on G: σ : (z , z , z ) (ξz , ξz ,ξ2z ). 1 2 3 7→ 1 2 3 It is easy to check that the action is linear, and since ξ2 = 1 ξ then Γ is σ-invariant. Therefore we get an action on the quotient M−, and− a complex space M o := M/ σ with orbifold singularities. The action on the global co-frame of (1, 0)-formsh i becomes 1 1 2 2 3 2 3 σ∗(ϕ )= ξϕ , σ∗(ϕ )= ξϕ , σ∗(ϕ )= ξ ϕ . We compute the orbifold de Rham and Dolbeault cohomologies by taking the σ-invariant forms. We have o σ •M = ( •M)h i ∧ ∧ ¯ ¯ ¯ ¯ ¯ ¯¯ ¯¯ ¯ ¯¯ = 1, ϕ13, ϕ23, ϕ11, ϕ12, ϕ21, ϕ22, ϕ33, ϕ13, ϕ23, ϕ123, ϕ312 ∧h i as an algebra, with the only non-trivial differentials dϕ33¯ = ϕ123¯ ϕ31¯2¯, dϕ123¯ = dϕ31¯2¯ = ϕ121¯2¯. − It is straightforward to check that this complex satisfies the ∂∂-Lemma, that is, the orbifold M o satisfies the ∂∂-lemma. Now we resolve the singularities of M o in order to obtain a simply- connected smooth compact complex manifold satisfying the ∂∂-lemma. The 24 D.ANGELLA,T.SUWA,N.TARDINI,ANDA.TOMASSINI procedure is similar to the one described in [FM08]. The singular locus of M o consists of 33 isolated singular points. By blowing-up each point, we get 2 an exceptional divisor CP /Z3, where the action is given by σ : [z : z : z ] [z : z : ξz ]. 1 2 3 7→ 1 2 3 The singular locus consists now of the isolated point q := [0 : 0 : 1] and 2 of the complex projective line L := [z1 : z2 : 0] CP , which both admit a holomorphically contractible neighbourhood.{ } Finally, ⊂ by blowing-up the q’s and the L’s, we get a smooth model M˜ . Thanks to Theorem 25, the performed operations mantain the ∂∂-Lemma property. In fact, the same argument as [FM08, Proposition 2.3] adapted to our manifold M, which is a principal 2-torus bundle over a 4-torus, yields that M˜ is simply-connected. Moreover, the metric 3 √ 1 ω := − ϕj ϕ¯j 2 ∧ Xj=1 on M is σ-invariant and so it descends to the orbifold M o. We can also obtain M˜ by blowing-up M and then by quotienting by Z3. Therefore, ω yields a balanced metric on M˜ thanks to [AB96]. Finally, we notice that M˜ is not in class C of Fujiki, since M is not. Summarizing the contents of the last example: Theorem 27. There exists a simply-connected compact complex non-Kähler manifold M˜ such that: it is non-Kähler, in fact it does not belong to class C of Fujiki; it satisfies the ∂∂-Lemma; and it is endowed with a balanced metric. References

[ABST13] M. Abate, F. Bracci, T. Suwa, F. Tovena, Localization of Atiyah classes, Rev. Mat. Iberoam. 29 (2013), 547–578. (cited on p. 6, 7) [AKMW02] D. Abramovich, K. Karu, K. Matsuki, J. Włodarczyk, Toriﬁcation and factorization of birational maps, J. Amer. Math. Soc. 15 (2002), no. 3, 531–572. (cited on p. 2, 22) [AB96] L. Alessandrini, G. Bassanelli, The class of compact balanced manifolds is invariant under modiﬁcations, Complex analysis and geometry (Trento, 1993), 1–17, Lecture Notes in Pure and Appl. Math., 173, Dekker, New York, 1996. (cited on p. 2, 24) [AK17a] D. Angella, H. Kasuya, Bott-Chern cohomology of solvmanifolds, Ann. Global Anal. Geom. 52 (2017), no. 4, 363–411. (cited on p. 2) [AK17b] D. Angella, H. Kasuya, Cohomologies of deformations of solvmanifolds and closedness of some properties, North-West. Eur. J. Math. 3 (2017), 75–105. (cited on p. 2, 21) [AT17] D. Angella, N. Tardini, Quantitative and qualitative cohomological properties for non-Kähler manifolds. Proc. Amer. Math. Soc. 145 (2017) no. 1, 273–285. (cited on p. 11) [AT13] D. Angella, A. Tomassini, On the ∂∂-Lemma and Bott-Chern cohomology, Invent. Math. 192 (2013), no. 1, 71–81. (cited on p. 11) [Bai54] W. L. Baily, On the quotient of an analytic manifold by a group of analytic homeomorphisms, Proc. Nat. Acad. Sci. U. S. A. 40 (1954), no. 9, 804–808. (cited on p. 22) [Bai56] W. L. Baily, The decomposition theorem for V -manifolds, Amer. J. Math. 78 (1956), no. 4, 862–888. (cited on p. 22) DOLBEAULT COHOMOLOGY FOR BIMEROMORPHISMS 25

[BFM14] G. Bazzoni, M. Fernández, V. Muñoz, A 6-dimensional simply connected complex and symplectic manifold with no Kähler metric, J. Symplectic Geom. 16 (2018), no. 4, 1001–1020. (cited on p. 3) [Bla56] A. Blanchard, Sur les variétés analytiques complexes, Ann. Sci. l’É.N.S. 73 (1956), no 2, 157–202. (cited on p. 14) [Buc99] N. Buchdahl, On compact Kähler surfaces, Ann. Inst. Fourier (Grenoble) 49 (1999), no. 1, vii, xi, 287–302. (cited on p. 2) [Cam91] F. Campana, The class C is not stable by small deformations, Math. Ann. 290 (1991), no. 1, 19–30. (cited on p. 2) [COUV16] M. Ceballos, A. Otal, L. Ugarte, R. Villacampa, Invariant complex structures on 6-nilmanifolds: classification, Frölicher spectral sequence and special Hermitian metrics, J. Geom. Anal. 26 (2016), no. 1, 252–286. (cited on p. 10) [CFGU00] L.A. Cordero, M. Fernández, A. Gray and L. Ugarte, Compact nilmanifolds with nilpotent complex structures: Dolbeault cohomology, Trans. Amer. Math. Soc. 352 (2000), no. 12, 5405–5433. (cited on p. 12) [DGMS75] P. Deligne, Ph. A. Griffiths, J. Morgan, D. P. Sullivan, Real homotopy theory of Kähler manifolds, Invent. Math. 29 (1975), no. 3, 245–274. (cited on p. 1, 2, 8, 9, 22) [FM08] M. Fernández, V. Muñoz, An 8-dimensional nonformal, simply connected, symplectic manifold, Ann. of Math. (2) 167 (2008), no. 3, 1045–1054. (cited on p. 3, 24) [Fri91] R. Friedman, On threefolds with trivial canonical bundle, Complex geometry and Lie theory (Sundance, UT, 1989), 103–134, Proc. Sympos. Pure Math., 53, Amer. Math. Soc., Providence, RI, 1991. (cited on p. 2) [Fri17] R. Friedman, The ∂∂-lemma for general Clemens manifolds, arXiv:1708.00828 . (cited on p. 2) [Frö55] A. Frölicher, Relations between the cohomology groups of Dolbeault and topological invariants, Proc. Nat. Acad. Sci. U.S.A. 41 (1955), 641–644. (cited on p. 9) [Ful84] W. Fulton, Intersection theory, Second edition, Ergebnisse der Mathematik und ihrer Grenzgebiete, 3, Folge, A Series of Modern Surveys in Mathematics, 2, Springer- Verlag, Berlin, 1998. (cited on p. 20, 21) [GH78] Ph. Griffiths, J. Harris, Principles of algebraic geometry, Reprint of the 1978 original, Wiley Classics Library, John Wiley & Sons, Inc., New York, 1994. (cited on p. 12, 20, 21, 22) [Has89] K. Hasegawa, Minimal models of nilmanifolds, Proc. Am. Math. Soc. 106 (1989), no. 1, 65–71. (cited on p. 1) [Hir62] H. Hironaka, An example of a non-Kählerian complex-analytic deformation of Kählerian complex structures, Ann. Math. (2) 75 (1962), no. 1, 190–208. (cited on p. 1) [HIS18] N. Honda, T. Izawa, T. Suwa, Sato hyperfunctions via relative Dolbeault cohomology, arXiv:1807.01831 [math.CV], 2018 (cited on p. 6) [Kas13b] H. Kasuya, Hodge symmetry and decomposition on non-Kähler solvmanifolds, J. Geom. Phys. 76 (2014), 61–65. (cited on p. 2) [Lam99] A. Lamari, Courants kählériens et surfaces compactes, Ann. Inst. Fourier (Grenoble) 49 (1999), no. 1, vii, x, 263–285. (cited on p. 2) [LP92] C. LeBrun, Y.S. Poon, Twistors, Kähler manifolds, and bimeromorphic geometry. II, J. Am. Math. Soc. 5 (1992), no. 2, 317–325. (cited on p. 2) [Nak75] I. Nakamura, Complex parallelisable manifolds and their small deformations, J. Differential Geometry 10 (1975), 85–112. (cited on p. 23) [Nom54] K. Nomizu, On the cohomology of compact homogeneous spaces of nilpotent Lie groups, Ann. of Math. (2) 59 (1954), no. 3, 531–538. (cited on p. 23) [Pop13] D. Popovici, Stability of strongly Gauduchon manifolds under modifications, J. Geom. Anal. 23 (2013), no. 2, 653–659. (cited on p. 2) [Pop15a] D. Popovici, Aeppli cohomology classes associated with Gauduchon metrics on compact complex manifolds, Bull. Soc. Math. France 143 (2015), no. 4, 763–800. (cited on p. 2) 26 D.ANGELLA,T.SUWA,N.TARDINI,ANDA.TOMASSINI

[Pop15b] D. Popovici, Volume and self-intersection of differences of two nef classes, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 17 (2017), no. 4, 1255–1299. (cited on p. 2) [RYY17] S. Rao, S. Yang, X. Yang, Dolbeault cohomologies of blowing up complex manifolds, J. Math. Pures Appl. (9) 130 (2019), 68–92. (cited on p. 1, 2, 22) [Sak76] Y. Sakane, On compact complex parallelisable solvmanifolds, Osaka J. Math. 13 (1976), no. 1, 187–212. (cited on p. 23) [Sat56] I. Satake, On a generalization of the notion of manifold, Proc. Nat. Acad. Sci. U.S.A. 42 (1956), no. 6, 359–363. (cited on p. 3, 22) [Sch07] M. Schweitzer, Autour de la cohomologie de Bott-Chern, Prépublication de l’Institut Fourier no. 703 (2007), arXiv:0709.3528. (cited on p. 23) [Ste18a] J. Stelzig, Double Complexes and Mixed Hodge Structures as Vector Bundles, PhD thesis, WWU, Münster, 2018. (cited on p. 3) [Ste18b] J. Stelzig, The Double Complex of a Blow-up, to appear in Internat. Math. Res. Not. IMRN, doi: 10.1093/imrn/rnz139arXiv:1808.02882. (cited on p. 1, 2, 3, 22) [Ste18c] J. Stelzig, On the Structure of Double Complexes, arXiv:1812.00865. (cited on p. 1, 3, 14, 22) [Suw98] T. Suwa, Indices of vector fields and residues of singular holomorphic foliations, Actualités Mathématiques, Hermann, Paris, 1998. (cited on p. 3, 4, 5) [Suw08] T. Suwa, Residue theoretical approach to intersection theory, Contemp. Math. Amer. Math. Soc. 459 (2008), 207–261. (cited on p. 4) [Suw09] T. Suwa, Čech-Dolbeault cohomology and the ∂-Thom class, Singularities— Niigata—Toyama 2007, 321–340, Adv. Stud. Pure Math., 56, Math. Soc. Japan, Tokyo, 2009. (cited on p. 2, 3, 5, 6, 7, 14, 21) [Suw19] T. Suwa, Relative Dolbeault cohomology, arXiv:1903.04710. (cited on p. 6) [Tar19] N. Tardini, Relative Čech-Dolbeault homology and applications, arXiv:1812.00362, to appear in Ann. Mat. Pura Appl. (cited on p. 15, 18, 20) [TW13] V. Tosatti, B. Weinkove, Hermitian metrics, (n − 1, n − 1) forms and Monge- Ampère equations, J. Reine Angew. Math. 755 (2019), 67–101 (cited on p. 2) [Voi02] C. Voisin, Hodge theory and complex algebraic geometry. I, Translated from the French by Leila Schneps, Reprint of the 2002 English edition, Cambridge Studies in Advanced Mathematics, 76, Cambridge University Press, Cambridge, 2007. (cited on p. 2, 12, 20, 21) [Vul12] V. Vuletescu, Exemples de faisceaux cohérents sans résolution localement libre en dimension 3, C. R. Math. Acad. Sci. Paris 350 (2012), no. 7-8, 411–412. (cited on p. 21) [Wlo03] J. Włodarczyk, Toroidal varieties and the weak factorization theorem, Invent. Math. 154 (2003), no. 2, 223–331. (cited on p. 2, 22) [YY17] S. Yang, X. Yang, Bott-Chern blow-up formula and bimeromorphic invariance of the ∂∂-Lemma for threefolds, arXiv:1712.08901. (cited on p. 1, 2, 14, 20, 21) [Wel74] R. O. Wells, Comparison of de Rham and Dolbeault cohomology for proper surjective mappings, Pacific J. Math. 53 (1974), 281–300. (cited on p. 15, 18, 20) [Wu06] C.-C. Wu, On the geometry of superstrings with torsion, Thesis (Ph.D.)Harvard University, Proquest LLC, Ann Arbor, MI, 2006. (cited on p. 2) DOLBEAULT COHOMOLOGY FOR BIMEROMORPHISMS 27

(Daniele Angella) Dipartimento di Matematica e Informatica “Ulisse Dini”, Università degli Studi di Firenze, viale Morgagni 67/a, 50134 Firenze, Italy E-mail address: [email protected] E-mail address: [email protected]

(Tatsuo Suwa) Department of Mathematics, Hokkaido University, Sapporo 060-0810, Japan E-mail address: [email protected]

(Nicoletta Tardini) Dipartimento di Matematica e Informatica “Ulisse Dini”, Università degli Studi di Firenze, viale Morgagni 67/a, 50134 Firenze, Italy E-mail address: [email protected] Current address: Dipartimento di Scienze Matematiche, Fisiche e Informatiche, Unità di Matematica e Informatica, Università degli Studi di Parma, Parco Area delle Scienze 53/A, 43124 Parma, Italy

(Adriano Tomassini) Dipartimento di Scienze Matematiche, Fisiche e Infor- matiche, Unità di Matematica e Informatica, Università degli Studi di Parma, Parco Area delle Scienze 53/A, 43124 Parma, Italy E-mail address: [email protected]