Arxiv:1806.11435V6 [Math.AG] 2 Feb 2020 Ne Oersrcin.Sezg .[ J

Home , Dolbeault cohomology

arXiv:1806.11435v6 [math.AG] 2 Feb 2020 ne oersrcin.Sezg .[ J. Stelzig, restrictions. some under bandtesmlrrsl ne h supinta h ce the that assumption by the neighborhood under contractible result similar the class obtained o Fujiki the cohomology in the one by the manifolds for complex explicitly compact of blow-ups of 1.1. Theorem proof. i simple theorem a following give The will ways. [ different A. in Tomassini, bundles and projective N. Tardini, T., comp a Suwa, on S. D., cohomology Yang, Dolbeault S., for Rao, formula result, bundle Bor Cordero’s projective of By use by bundle. cohomology fiber Dolbeault morphic on theorem this of version obmrmrhcgoer.Sotyatr[ after Shortly geometry. bimeromorphic to sa smrhs o any for isomorphism an is once ope manifold complex connected x uaetesnua o eRa)chmlg ffie bundles. fiber of cohomology Rham) de (or singular blow the and culate bundles fiber of tha cohomologies complicated more Dolbeault is the r forms One on holomorphic focus one. of Rham germs de sheaf of a that of than cas difficult general more In much is manifolds. cohomology complex of structures complex the H q cmlt manifold; -complete ∂ ∈ ∗ ¯ 2010 Date a,S t l [ al. et. S. Rao, h ea-ishtermi lsia euti algebraic in result classical a is theorem Leray-Hirsch The m complex on invariant algebraic an is cohomology Dolbeault e od n phrases. and words Key , ∗ X ( E where , eray4 2020. 4, February : ahmtc ujc Classification. Subject Mathematics EA-ISHTERMADBO-PFRUAFOR FORMULA BLOW-UP AND THEOREM LERAY-HIRSCH ) uafrDleutchmlg n( on cohomology Dolbeault for mula Abstract. plctost strongly to applications uhta,terrestrictions their that, such , H ∂ ∗ ¯ Let , ∗ epoeatermo ea-ishtp n iea xlctb explicit an give and type Leray-Hirsch of theorem a prove We ∂ ( ∂ 28 • ¯ lma a ude rdc manifold. product bundle; flag -lemma; = ) π rvdta,teeeit nioopimfrDleutcoh Dolbeault for isomorphism an exists there that, proved ] : ligpicpe ea-ishterm lwu;Dolbeau blow-up; theorem; Leray-Hirsch principle; gluing X i =1 p,q r E L ≥ p π OBAL COHOMOLOGY DOLBEAULT → q 0 , X ∗ cmlt aiod n the and manifolds -complete H ( q ehDleutchmlg n osdrdteobfl cas orbifold the considered and cohomology Cech-Dolbeault ˘ sueta hr xs classes exist there that Assume . • X where , ∂ p,q ¯ ) ∪ ( eahlmrhcfie udewt opc br vra over fibers compact with bundle fiber holomorphic a be • e 31 ) i Then . 1. : e tde h lwu oml ntelvlo h double the of level the on formula blow-up the studied ] rmr 22;Scnay1F5 32C35. 14F25, Secondary 32J25; Primary 1 o eesrl compact necessarily not M IGUMENG LINGXU e i | =1 Introduction i r E C x so degree of is hyas rvddsm euiu applications beautiful some provided also They . , H 28 . . . ∂ p ¯ 3 1 − a otdo ri,Agla .e.a.[ al. et. D. Angella, arXiv, on posted was ] n tli,J [ J. Stelzig, and ] u , i e ,q r − | E v i x ( ( ∂ X u to ∂ ¯ i -lemma. ) v , E → i ope aiod.W give We manifolds. complex ) x ) s h optto fDolbeault of computation the es, c ope aiod.Angella, manifolds. complex act H ekrta odr’ n we and Cordero’s than weaker s sabssof basis a is for dYn,X-.[ X.-D. Yang, nd tramt holomorphically a admits nter oooy hc sue ocal- to used is which topology, hto osatsef We sheaf. constant a of that n lsseta euneo holo- on sequence spectral el’s ∂ p,q ¯ -ups. 31 e nfls hc srltdto related is which anifolds, 1 1 ( odr,L [ L. Cordero, hae n xrse it expressed and sheaves f E , o h aefruafor formula same the got ] ≤ ao sta h property the that is eason . . . ) i ≤ , e tchmlg;strongly cohomology; lt r r H . fpr ere in degrees pure of o-pfor- low-up ∂ ∗ ¯ , ∗ ( 28 7 E banda obtained ] rvdthe proved ] x ) o every for omology es 3 ] 2 LINGXU MENG complex for compact complex manifolds up to a suitable notation of quasi-isomorphism. We give an explicit expression of the blow-up formula and prove that it holds on general (not necessarily compact) complex manifolds for the Dolbeault cohomology.

Theorem 1.2. Let π : XZ → X be the blow-up of a connected complex manifold X along a connected complex submanifold Z of codimension r. Let E be the exceptional divisor and iE : E → XZ the inclusion.e Then r−1 ∗ i−1 ∗ e π + iE∗ ◦ (h ∪) ◦ (π|E ) (1.1) Xi=1 gives an isomorphism r−1 p,q p−i,q−i p,q H∂¯ (X) ⊕ H∂¯ (Z)→ ˜ H∂¯ (XZ ) Mi=1 for any p, q, where π|E : E → Z is naturally viewed as the projectivee bundle E = P(NZ/X ) associated to the normal bundle of in and 1,1 is the Dolbeault class of a NZ/X Z X h ∈ H∂¯ (E) first Chern form of the universal line bundle OE(−1) on E. This theorem is well-known for compact Kähler manifolds by the blow-up formula for singular cohomology ([35, Theorem 7.31]) and Hodge decompositions. With the same reasons, it also holds on the ones in the Fujiki class C (cf. [28]). Our theorem is applicable to noncompact complex manifolds and the ones without Hodge decompositions. The isomorphism of the type (1.1) also exists in various homology theories, for instance, Chow group [20, 35], singular cohomology [13, 19, 35], Lawson homology [17, 27], Deligne cohomology [4, 11] and Morse-Novikov cohomology [38, 21]. A gluing principle is given in Section 2 and is used to prove Theorem 1.1 in Section 3. In Section 4, we first prove a self-intersection formula on Dolbeault cohomology for a special case and then prove Theorem 1.2 by the gluing principle. At last, the two theorems are applied to study strongly q-complete manifolds and the ∂∂¯-lemma, see Section 5. Remark 1.3. After finishing the early version [22] of the present paper, we made some applications in subsequent works [23, 24, 25, 26]. It is worth to notice that, Rao, S. et al. [29] extended the blow-up formula to bundle-valued Dolbeault cohomology on compact complex manifold and we removed the assumption of the compactness in their results by Theorem 1.2 and the gluing principle (the following Lemma 2.1) in [24]. Acknowledgements. I would like to express my gratitude to Prof. Fu, Jixiang for his encouragement and support and thank School of Mathematical Science of Fudan University for the hospitality during my visit. Especially, I would like to thank Prof. Rao, Sheng and Dr. Yang, Xiang-Dong for many useful discussions and sending me the newest versions of their articles [28, 29, 37]. I would like to thank the referee for valuable suggestions and careful reading of my manuscript.

2. A gluing principle A classical technique in algebraic topology is to first consider the local cases and then extend them to the global cases by Mayer-Vietoris sequences. We refine it as a general principle and call it the gluing principle. Lemma 2.1 ([21, Lemma 3.7]). Let X be a smooth manifold and denote by P(U) a statement on any open subset U ⊆ X. Assume that P satisfies conditions: LERAY-HIRSCH THEOREM AND BLOW-UP FORMULA FOR DOLBEAULT COHOMOLOGY 3

l (i) local condition: There exists a basis U of the topology of X, such that P( Ui) holds i=1 for any ﬁnite U1, . . ., Ul ∈ U. T + (ii) disjoint condition: Let {Un|n ∈ N } be a collection of disjoint open subsets of X. If ∞ + P(Un) hold for all n ∈ N , P( Un) holds. n=1 (iii) Mayer-Vietoris condition:S For open subsets U, V of X, if P(U), P(V ) and P(U ∩ V ) hold, then P(U ∪ V ) holds. Then P(X) holds.

Proof. We ﬁrst prove the following statement: k

(*) For open subsets U1, . . ., Ur of X, if P( Uij ) holds for any 1 ≤ i1 <...

Λ = {J = (j1,...,js)|1T≤ j1 ≤ r1,..., 1 ≤ Sjs ≤ rs} and UJ = U1j1 ∩ ... ∩ UsjsS. For any J1,

. . ., Jt ∈ Λ, P(UJ1 ∩ . . . ∩ UJt ) holds by the local condition. Hence P(V )= P( UJ ) holds J∈Λ by (*). S By [14, p. 16, Proposition II], X = V1 ∪ . . . ∪ Vl, where Vi is a countable disjoint union of k open sets in Uf. Obviously, for any 1 ≤ i1 <...

3. A proof of Theorem 1.1 p,q ′p,q p For a complex manifold X, denote by AX (resp. DX ,ΩX ) the sheaf of germs of smooth (p,q)-forms (resp. (p,q)-currents, holomorphic p-forms) on X and denote by Ap,q(X) (resp. p,q ′p,q Ac (X), D (X)) the space of smooth (p,q)-forms (resp. smooth (p,q)-forms with compact supports, (p,q)-currents) on X. 4 LINGXU MENG

∗,∗ ∗,∗ ∗,∗ ∗,∗ For bigraded vector spaces K and L over C, the associated bigraded space K ⊗C L over C is deﬁned as ∗,∗ ∗,∗ p,q k,r l,s (K ⊗C L ) = K ⊗C L k+l=p r+Ms=q for any p, q. For coherent analytic sheaves F and G on complex manifolds X and Y respectively, the (analytic) external tensor product of F and G is deﬁned as ⊠ ∗ ∗ F G = pr1F ⊗OX×Y pr2G, p where pr1 and pr2 are projections from X × Y onto X, Y , respectively. Clearly, ΩX×Y = r s ΩX ⊠ΩY . Assume that Y is compact. By [8, IX, (5.23) (5.24)], we have an isomorphism r+s=p

L ∗ ∗ ∗,∗ ∗,∗ ∗,∗ pr1(•) ∪ pr2(•) : H∂¯ (X) ⊗C H∂¯ (Y )→ ˜ H∂¯ (X × Y ) (3.1) for any p, q. It is the K¨unneth formula for the Dolbeault cohomology. Combining the K¨unneth formula and the gluing principle, we give a proof of Theorem 1.1.

∗,∗ Proof. Let ti be a ∂¯-closed form of degree (ui, vi) in A (E), such that ei = [ti] for 1 ≤ i ≤ r. For any open set U in X, set r Bp,q(U)= Ap−ui,q−vi (U) Mi=1 r p,q p,q+1 p,• and ∂¯B = ∂¯ : B (U) → B (U). For any p, (B (U), ∂¯B ) is a complex, whose i=1 cohomologyL is r p,q p−ui,q−vi D (U)= H∂¯ (U). Mi=1 Clearly, the morphism r p ∗ p,• ¯ p,• ¯ p,• ¯ ψU = π (•) ∧ ti : (B (U), ∂B ) → (C (U), ∂C ) := (A (EU ), ∂) Xi=1 of complexes induces a morphism r p,q ∗ p,q p,q p,q ΨU = π (•) ∪ ei : D (U) → E (U) := H∂¯ (EU ). Xi=1 p,q Denoted by P(U) the statement that ΨU are isomorphisms for all p, q. Our goal is to prove that P(X) holds by the gluing principle. Clearly, P satisﬁes the disjoint condition. Given p, for any open subsets U, V in X, there is a commutative diagram

U∪V U∪V U V (ρ ,ρ ) ρ ∩ −ρ ∩ 0 / Bp,•(U ∪ V ) U V / Bp,•(U) ⊕ Bp,•(V ) U V U/ V Bp,•(U ∩ V ) / 0

p p p p ψU∪V (ψU ,ψV ) ψU∩V U∪V U∪V U V (j ,j ) j ∩ −j ∩ 0 / Cp,•(U ∪ V ) U V / Cp,•(U) ⊕ Cp,•(V ) U V U/ V Cp,•(U ∩ V ) / 0 of complexes, where ρ, j are restrictions and the diﬀerentials of complexes in the top, bottom rows are all ∂¯B, ∂¯C , respectively. The two rows are both exact sequences of complexes. LERAY-HIRSCH THEOREM AND BLOW-UP FORMULA FOR DOLBEAULT COHOMOLOGY 5

Therefore, we have a commutative diagram

/ − / / / / ··· / Dp,q 1(U ∩ V ) / Dp,q (U ∪ V ) / Dp,q (U) ⊕ Dp,q(V ) / Dp,q (U ∩ V ) / ···

− p,q p,q p,q p,q p,q 1 Ψ (Ψ ,Ψ ) Ψ ΨU∩V U∪V U V U∩V / − / / / / ··· / Ep,q 1(U ∩ V ) / Ep,q (U ∪ V ) / Ep,q (U) ⊕ Ep,q(V ) / Ep,q (U ∪ V ) / ···

p,q p,q p,q of long exact sequences. If ΨU ,ΨV and ΨU∩V are isomorphisms for all p, q, then so are p,q ΨU∪V for all p, q by the five-lemma. Hence P satisfies the Mayer-Vietoris condition. To check the local condition, we first verify the following claim: −1 (♦) If the open set U of X satisfies that EU = π (U) is holomorphically trivial, then P(U) holds. Suppose that F is the general fiber of E and ϕU : U × F → EU is a holomorphic triv- ialization. Let pr1 and pr2 be projections from U × F to U and F respectively, which satisfy π ◦ ϕU = pr1. Given a point o ∈ U, set jo : F → U × F as f 7→ (o, f). Clearly, pr2 ◦ jo = idF and io := ϕU ◦ jo is the embedding F ֒→ EU of the fiber Eo =∼ F over o into ′ −1 ∗ ∗ ∗ ui,vi ∗ ′ ∗ EU . Set ei = (ϕU ) pr2ioei ∈ H∂¯ (EU ), 1 ≤ i ≤ r. Then ioei = ioei for any i. Since ∗ ∗ ′ ioe1, . . ., ioer is linearly independent, mapping ei to ei for 1 ≤ i ≤ r give an isomorphism ′ ′ spanC{e1,...,er}→˜ spanC{e1,...,er}. For any p, q, we have a commutative diagram

∗,∗ p,q (H (U) ⊗C span {e ,...,e }) (3.2) ∂¯ C 1 ❲ r ❲❲❲❲ ∗ ❲❲❲id⊗io ∼ ❲❲❲❲ = ❲❲❲❲ ❲❲❲+ id⊗i∗ ∗,∗ ′ ′ p,q o / ∗,∗ ∗,∗ p,q (H∂¯ (U) ⊗C spanC{e1,...,er}) (H∂¯ (U) ⊗C H∂¯ (F ))

∗ ∗ ∗ π (•)∪• pr1 (•)∪pr2 (•) ϕ∗ p,q U / p,q H∂¯ (EU ) H∂¯ (U × F ), ′ ′ ∗,∗ where spanC{e1,...,er} and spanC{e1,...,er} are viewed as bigraded subspaces of H∂¯ (EU ). ∗ ′ ′ By the assumption, the restriction of io to spanC{e1,...,er}, hence to spanC{e1,...,er}, is ∗ ∗ an isomorphism. Notice that F is compact. By the K¨unneth formula (3.1), pr1(•) ∪ pr2(•) r ∗ is isomorphic, so is π (•) ∪ • in (4.6). Mapping (α1,...,αr) to αi ⊗ ei gives a morphism i=1 r r P p−ui,q−vi ∗,∗ p,q •⊗ ei : H∂¯ (U) → (H∂¯ (U) ⊗C spanC{e1,...,er}) , (3.3) Xi=1 Mi=1 p,q which is clearly isomorphic. Then ΨU is the composition of (3.3) and the two vertical maps in the ﬁrst column of (4.6), hence an isomorphism. We proved (♦). Let U be a basis of the topology of X such that EU is holomorphically trivial for any U ∈ U. For U1, . . ., Ul ∈ U, l

EU1∩...∩Ul is holomorphically trivial, then (♦) asserts that P( Ui) is an isomorphism. Hence i=1 P satisﬁes the local condition. T We complete the proof.

Remark 3.1. Cordero, L. et al. [7, Lemma 18] ﬁrst give a Leray-Hirsch theorem by a spectral sequence introduced by Borel, A.. On their theorem, we want to point the follows: ∗,∗ (1) They required that the Dolbeault cohomology algebra H∂¯ (F ) of the general ﬁber F need to have a transgressive algebraic basis. In fact, they only used the existence of a bigraded vector space basis consisting of trangressive elements (for details, see [7, Lemma 6 LINGXU MENG

18]). This assumption is equivalent to say that, for any ∂¯-closed form a ∈ A∗,∗(F ), there exista ˜ ∈ A∗,∗(E) and a ∂¯-closed form b ∈ A∗,∗(X) such that j∗a˜ = a and ∂¯a˜ = π∗b, where j : F → E be the inclusion of the general ﬁber. (2) Their assumption is weaker than ours in Theorem 1.1. This point was also mentioned in [29, Page 8]. Actually, for any ∂¯-closed form a ∈ A∗,∗(F ), our assumptions imply that ∗,∗ ∗,∗ ∗ there exist a ∂¯-closed forma ˜1 ∈ A (E) and c ∈ A (F ) such that j a˜1 = a + ∂c¯ . Since ∗ ∗,∗ ∗,∗ ∗ ∗,∗ j : A (E) → A (F ) is surjective, j c˜ = c for somec ˜ ∈ A (E). Seta ˜ =a ˜1 − ∂¯c˜. Then j∗a˜ = a and ∂¯a˜ = 0.

Corollary 3.2 ([28, 3, 31]). Suppose that π : P(E) → X is the projectivization of a holomorphic vector bundle on a connected complex manifold . Let 1,1 P be the E X h ∈ H∂¯ ( (E)) Dolbeault class of a ﬁrst Chern form of the universal line bundle OP(E)(−1) on P(E). Then

r−1 r−1 ∗ i p−i,q−i p,q P π (•) ∪ h : H∂¯ (X) → H∂¯ ( (E)), Xi=0 Mi=0 is an isomorphism for any p, q, where rankCE = r.

r−1 −1 Proof. For every x ∈ X, 1, h, . . ., h restricted to the ﬁbre π (x)= P(Ex) freely linearly ∗,∗ P generate H∂¯ ( (Ex)). By Theorem 1.1, we immediately get the corollary. Remark 3.3. With the similar proof, we can get the ﬂag bundle formula for Dolbeault cohomology, see the proof of Corollary 5.7.

Remark 3.4. There exists holomorphic fiber bundles which do not satisfy the condition in Theorem 1.1. For example, let W = C2 − {(0, 0)} and G the infinite cyclic group which is k l generated by the automorphism (z1, z2) 7→ (a1z1, a2z2) with 0 < |a1|, |a2| < 1 and a1 = a2 for some k, l ∈ Z. Set α = (a1, a2) and denote by Hα the Hopf surface W/G. Then Hα is an 1 elliptic fiber bundle over CP ([5, V, Proposition (18.2)]). The (1, 0)-Hodge numbers of Hα and any fiber of Hα are 0 ([5, V, Proposition (18.1)]) and 1 respectively, so the fiber bundle 1 Hα over CP does not satisfy the condition in Theorem 1.1.

4. A proof of Theorem 1.2 Now, we recall two sheaves defined in the third version of [28] and study their properties by a little different approach. Following the ideas in [28], we fill some details of their proof with results in [12, 15, 31]. Let X be a complex manifold and i : Z → X the inclusion of a complex submanifold Z p,q p,q into X. For any p, q, the pullpacks give an epimorphism AX → i∗AZ of sheaves, which can be checked locally (or see [28, Lemma 3.9]). Denote p,q p,q p,q GX,Z = ker(AX → i∗AZ ) ∞ p,q and by CX the sheaf of germs of complex-valued smooth functions on X. Clearly, GX,Z is a ∞ sheaf of CX -module, hence a soft sheaf. For any p, we have a short exact sequence p,• ¯ p,• ¯ p,• ¯ 0 → (GX,Z , ∂) → (AX , ∂) → (i∗AZ , ∂) → 0 (4.1) of complexes of sheaves, which induces a long exact sequence

/ q−1 p,• ¯ / q p,• ¯ / q p,• ¯ / q p,• ¯ / · · · H (i∗AZ , ∂) H (GX,Z , ∂) H (AX , ∂) H (i∗AZ , ∂) · · · (4.2) LERAY-HIRSCH THEOREM AND BLOW-UP FORMULA FOR DOLBEAULT COHOMOLOGY 7 of sheaves, where Hq(R•) is the q-th cohomology sheaf of the complex R• of sheaves. As we q p,• ¯ p know, H (AX , ∂) is ΩX at q = 0 and 0 at q > 0. Deﬁne p ¯ p,0 p,1 FX,Z = ker(∂ : GX,Z → GX,Z).

Since i∗ is an exact functor, by (4.2), p p p 1 p,• ¯ 0 → FX,Z → ΩX → i∗ΩZ →H (G , ∂) → 0 is exact and Hq(Gp,•, ∂¯) = 0 for q ≥ 2. It is easily checked that the pullbacks induce an p p epimorphism ΩX → i∗ΩZ. So p p p 0 → FX,Z → ΩX → i∗ΩZ → 0 (4.3) is an exact sequence of sheaves and

/ p i / p,0 ∂¯ / p,1 ∂¯ / ∂¯ / p,n / 0 FX,Z GX,Z GX,Z · · · GX,Z 0

p is a resolution of soft sheaves of FX,Z , for any p. Now, let π : XZ → X be the blow-up of a connected (not necessary compact) complex −1 manifold X along a connected complex submanifold Z. We know π|E : E = π (Z) → Z is the projectivizatione E = P(NZ/X ) of the normal bundle NZ/X of Z in X. Let iZ : Z → X and iE : E → XZ be inclusions. The following lemma was first proved for smooth schemes over a field in [12, 15]. Stelzig, J. indicated thate it also holds for complex manifolds and the proof can be copied verbatim. Recently, Rao, S. et al. ([29]) gave all details of the proof of this lemma on compact bases in the holomorphic category by the same steps in [15] and moreover, they actually proved it for the bundle-valued case. Following their steps ([15, 29]), we can easily extend it to possibly noncompact manifolds with minor modifications.

Lemma 4.1. For any p ≥ 0, the following morphisms are isomorphisms: ∗ p p (1) π :Ω →˜ π∗Ω , X XZ ∗ p e p (2) (π|E) :ΩZ→˜ (π|E)∗ΩE, ∗ q p q p (3) i : R π∗Ω →˜ iZ∗R (π|E)∗Ω , for q ≥ 1. E X E eZ Proof. The proof of [29, Lemma 4.1 (i)(ii)] also hold for possibly noncompact manifolds, so we obtain (1) and (2). For (3), let O (1) be the ideal sheaf O (−E) associated to the XeZ XeZ divisor −E on XZ . Choose an open covering U of X such that the closure U is compact for any U ∈U. Since the blow-up π is a projective morphism ([16, p. 290, Remark 2.1 (0)]), by Grauert-Remmerte theorem ([6, IV, Theorem 2.1 (B))], there exists an integer mU , such that

q p R π∗(Ω ⊗O e O (l)) = 0 X X XZ eZ Z e p on U for q ≥ 1 and l ≥ mU , where mU only depends on U¯ and Ω . Following the steps of XeZ [12, Proposition 3.3] or [29, Lemma 4.1] on the base U, we get an isomorphism

∗ q p q p i : R π∗Ω →˜ iZ∩U∗R (π| )∗Ω , E∩U U ∩ E∩U E∩U e eZ U e e ∗ ∗ for q ≥ 1, which is just the restriction of iE to U. Since X is covered by U, iE is an isomorphism on X. 8 LINGXU MENG

Lemma 4.2. For any p ≥ 0, p FX,Z , q = 0 q p R π∗F = XeZ ,E   0, q ≥ 1.

Proof. For the short exact sequence (4.3) of the pair (XZ , E), we have a long exact sequence

/ p / p / p / 1 p 0 π∗F π∗Ω eπ∗iE∗ΩE R π∗F (4.4) XeZ ,E XeZ XeZ ,E

/ 1 p / 1 p / / q p R π∗Ω R π∗(iE∗Ω ) · · · R π∗F X E X ,E eZ eZ

/ q p / q p / R π∗Ω R π∗(iE∗ΩE) · · · . XeZ p • p p • Let ΩE → I be an injective resolution of ΩE. Then iE∗ΩE → iE∗I is also an injective resolution. Since iZ∗ is an exact functor, q p q • q • q p R π∗(iE∗ΩE)= H (π∗(iE∗I )) = H (iZ∗(π|E)∗I )) = iZ∗R (π|E )∗ΩE. q p By Lemma 4.1 (3) and the sequence (4.4), we get R π∗F = 0 for q ≥ 2. Moreover, XZ ,E p p p e p by Lemma 4.1 (1) (2), π∗Ω → π∗iE∗Ω is just Ω → iZ∗Ω , which is epimorphic. So XZ E X Z p ∼ p 1 ep FX,Z = π∗F and R π∗F = 0. We complete the proof. XeZ ,E XeZ ,E Remark 4.3. The ﬁrst part of this lemma was proved with a direct way in the third version of [28] (cf. Lemma 3.10) and the second part seems not to be treated there. After them, we ﬁrst gave the above proof in the early version [22] of the present article. Recently, Rao, S. et al. [29] studied this lemma for the bundle-valued cases with our approach. Actually, their results can be obtained directly by ours and the projection formula.

By the Leray spectral sequence and Lemma 4.2, π∗ induces an isomorhism q p ∼ q p ∼ q p H (X, FX,Z ) = H (X,π∗F ) = H (XZ , F ). XeZ ,E XeZ ,E For a ﬁxed p. From the sequence (4.1), we get a commutativee diagram

i∗ / p,• / p,• Z / p,• / 0 Γ(X, GX,Z ) Γ(X, AX ) Γ(Y, AZ ) 0

∗ ∗ ∗ π π (π|E) i∗ / p,• / p,• E / p,• / 0 / Γ(X, G ) / Γ(X, A ) / Γ(E, A ) / 0 X,Ee Xe E of short exact sequences ofe complexes, sincee G∗,∗ and G∗,∗ are soft sheaves. It induces a X,Y X,E commutative diagram e

∗ iZ ··· / Hq(X, F p ) / Hp,q(X) / Hp,q(Z) / Hq+1(X, F p ) / ··· X,Z ∂ ∂ X,Z

∗ ∗ =∼ π (π|E) ∼= i∗ / q p / p,q E / p,q / q+1 p / ··· H (XZ , F e ) H (X) H (E) H (XZ , F e ) ··· XZ ,E ∂ ∂ XZ ,E

e e e LERAY-HIRSCH THEOREM AND BLOW-UP FORMULA FOR DOLBEAULT COHOMOLOGY 9

∗ ∗ of long exact sequences, where π and (π|E ) are injective by the projection formula ([8, VI, ∗ (12.8)]) and Corollary 3.2, respectively. By the snake lemma, iE induces an isomorphism ∗ ∗ cokerπ →˜ coker(π|E) . We get a commutative diagram

∗ / p,q π / p,q / ∗ / 0 H∂¯ (X) H∂¯ (XZ ) cokerπ 0 (4.5) ∗ ∗ ∼ iZ ieE = ∗ (π| ) / p,q E / p,q / ∗ / 0 H∂¯ (Z) H∂¯ (E) coker(π|E) 0 of short exact sequences for any p, q. Denote by Θ(OE(−1)) the curvature of the Chern connection of a hermitian metric of the i 1,1 ¯ universal bundle OE(−1) over E. Then 2π Θ(OE(−1)) ∈ A (E) is real and ∂-closed. Set i i 1,1 h = [ 2π Θ(OE(−1))] the Dolbeault class of 2π Θ(OE(−1)) in H∂¯ (E). We ﬁrst consider a special case of Theorem 1.2.

Lemma 4.4 (Self-intersection formula). Suppose that Z is a Stein manifold. Then

∗ iEiE∗σ = h ∪ σ for any ∗,∗ . σ ∈ H∂¯ (E)

Proof. By [10, Theorem 3.3.3], we can choose a Stein neighborhood U of Z such that there exists a holomorphic map τ : U → Z satisfying τ ◦ lZ = idZ , where lZ : Z → U is the p,q ∗ inclusion. Let α ∈A (E) be a representative of σ. By (4.5), lE induces the isomorphism

p,q ∗ p,q p,q ∗ p,q H∂¯ (U)/π H∂¯ (U)→ ˜ H∂¯ (E)/(π|E ) H∂¯ (Z),

p,q−1 where lE : E → U is the inclusion.e Hence, there exist a form η ∈ A (E) and ∂¯-closed p,q p,q ∗ ∗ ¯ forms γ ∈A (U), δ ∈A (Z), such that α = lEγ + (π|E) δ + ∂η. So e ∗ ∗ ∗ ¯ e α = lE γ + (π|U˜ ) τ δ + ∂η.

2 In HdR(U), [lE∗(1)] = [E], where [E] is the fundamental class of E in U. Since [E] = i 2 i c1(OU (E)) = [ 2π Θ(OU (E))] ∈ HdR(U), lE∗(1) = 2π Θ(OU (E)) + dR for a real current R of e e e degree 1 oneU. Set R = S + S¯, where S ∈ D′0,1(U). Thus ∂S¯ = 0 by comparinge the degrees. 0,1 e 0,1 ¯ By [33, Corollary 2.15], H∂¯ (U) = H∂¯ (U) = 0, since U is Stein. So S = ∂S1 for some ′0,0 e e S1 ∈ D (U). Set T = ∂(S¯1 − S1). Then e e i ¯ lE∗(1) = Θ(OU (E)) + ∂T. 2π e By the projection formula of currents,

∗ ∗ lE∗α =lE∗(1) ∧ γ + (π| ) τ δ + ∂¯(lE∗η) Ue i = Θ(O (E)) ∧ (γ + (π| )∗τ ∗δ)+ ∂Q,¯ 2π Ue Ue

∗ ∗ ′p+1,q where Q = lE∗η + T ∧ (γ + (π| ) τ δ) ∈ D (U). Ue e 10 LINGXU MENG

˜ Let j : U → XZ be the inclusion. Since supp(lE∗α) ⊆ E, j|supp(lE∗α) is proper, which ∗ implies that j∗(lE∗α) is deﬁned well. Clearly, j∗(lE∗α)= iE∗α and j j∗lE∗α = lE∗α. So e ∗ ∗ ∗ ∗ iEiE∗σ =iE[iE∗α]= lE[j j∗lE∗α] ∗ =lE[lE∗α]

∗ i =lE[ Θ(OU (E))] ∪ [α] 2π e =h ∪ σ, where [β] denotes the Dolbeault class of the ∂¯-closed form β and the last equation used the fact that OE(−1) = O (E)|E . Ue Proposition 4.5. Theorem 1.2 holds for the case that Z is a Stein manifold.

r−1 Proof. ∗ p,q i−1 ∗ p−i,q−i p,q p,q Suppose that π α + iE∗ h ∪ (π|E) β = 0, where α ∈ H∂¯ (X) and i=1 p−i,q−i p−i,q−i P ∗ β ∈ H∂¯ (Z) for 1 ≤ i ≤ r − 1. Pull it back by iE, we get r−1 ∗ ∗ p,q i ∗ p−i,q−i (π|E) iZ α + h ∪ (π|E) β = 0 Xi=1 p−i,q−i by Lemma 4.4, where iZ : Z → X is the inclusion. By Corollary 3.2, β = 0 for every i. So π∗αp,q = 0. By [36, Theorem 3.1], π∗ is injective, so αp,q = 0. The injectivity of the morphism (1.1) is true. p,q p−i,q−i p−i,q−i For any γ ∈ H∂¯ (XZ ), by Corollary 3.2, there exist β ∈ H∂¯ (Z) for 0 ≤ i ≤ r−1, r−1 ∗ i ∗ p−i,q−i such that iEγ = he ∪ (π|E) β . By Lemma 4.4, i=0 P r−1 ∗ i−1 ∗ p−i,q−i ∗ p,q iE γ − iE∗ h ∪ (π|E) β = (π|E ) β , " i=1 # X ∗ which is zero in coker(π|E) . By the commutative diagram (4.5), r−1 i−1 ∗ ∗ p,q γ − iE∗ h ∪ (π|E) βp−i,q−i = π α , i=1 X p,q p,q for some α ∈ H∂¯ (X). So the morphism (1.1) is surjective. We complete the proof.

By deﬁnitions, we easily get

Lemma 4.6. Let Z be a closed complex submanifold and U an open complex submanifold of the complex manifold X. Consider the cartesian

i′ Z ∩ U / U

j′ j i Z / X,

′ ′ ′ ′∗ ∗ ∗∗ ′ ′∗ ∗ where i, j, i and j are inclusions. Then, j∗i = i j∗ on Ac (U). Dually, i∗j = j i∗ on D′∗∗(Z).

After above preparations, we can prove Theorem 1.2. LERAY-HIRSCH THEOREM AND BLOW-UP FORMULA FOR DOLBEAULT COHOMOLOGY 11

Proof. For any p, q, set r−1 p,q p,q p−i,q−i F = AX ⊕ iZ∗AZ . Mi=1 p,∗ p,∗+1 p,• Deﬁne ∂¯ : F → F as (α, β0,...,βr−2) 7→ (∂α,¯ ∂β¯ 0,..., ∂β¯ r−2). For any p, (F , ∂¯) is i 1,1 a complex of sheaves. Let t = 2π Θ(OE(−1)) ∈A (E). For any open subset U in X, deﬁne F p,q(U) → D′p,q(U) as

r−1 e (π| )∗ + i ◦ (ti−1| ∧) ◦ (π| )∗,Z ∩ U 6= ∅ Ue E∩Ue∗ E∩Ue E∩Ue ϕp,q =  i=1 U P   (π| )∗, Z ∩ U = ∅, Ue   ¯ p,q p,q+1 ¯ p,• where i : E ∩ U → U is the inclusion. Evidently, ∂ ◦ ϕU = ϕU ◦ ∂. Thus ϕU induces E∩Ue a morphism e e r−1 p,q p,q p−i,q−i p,q ΦU : H∂¯ (U) ⊕ H∂¯ (Z ∩ U) → H∂¯ (U), Mi=1 ∗,∗ e p,q where H∂¯ (Z ∩ U) = 0 for Z ∩ U = ∅. Denote by P(U) the statement that ΦU are isomorphisms for all p, q. The theorem is equivalent to say that P(X) holds. We need to check that P satisﬁes the three conditions in Lemma 2.1. Obviously, P satisﬁes the disjoint condition. U p,q p,q p,q For open sets V ⊆ U, denote by ρV : F (U) → F (V ) the restriction of the sheaf F U ′p,q ′p,q U U and by jV : D (U) → D (V ) the restriction of currents. By Lemma 4.6, jV ◦ϕU = ϕV ◦ρV . Given p, for any open subsets U, V in X, there is a commutative diagram of complexes e e U∪V U∪V U V (ρ ,ρ ) ρ ∩ −ρ ∩ 0 / F p,•(U ∪ V ) U V / F p,•(U) ⊕ F p,•(V ) U V U/ V F p,•(U ∩ V ) / 0

• • • • ϕp, (ϕp, ,ϕp, ) ϕp, U∪V U V U∩V U∪V U∪V U V (j ,j ) j ∩ −j ∩ 0 / D′p,•(U ∪ V ) U V / D′p,•(U) ⊕ D′p,•(V ) U V U/ V D′p,•(U ∩ V ) / 0.

The two rows are bothe e exact sequences ofe complexes.e For convenience, denotee e r−1 p,q p,q p−i,q−i L (U)= H∂¯ (U) ⊕ H∂¯ (Z ∩ U). Mi=1 Therefore, we have a commutative diagram

/ − / / / / / ··· / Lp,q 1(U ∩ V ) / Lp,q(U ∪ V ) / Lp,q(U) ⊕ Lp,q(V ) / Lp,q(U ∩ V ) / Lp,q+1(U ∪ V ) / ···

− p,q p,q p,q p,q p,q 1 Φ (Φ ,Φ ) Φ p,q+1 ΦU∩V U∪V U V U∩V ΦU∪V / − / / / / / / Hp,q 1 Ue Ve / Hp,q Ue Ve / Hp,q Ue Hp,q Ve / Hp,q Ue Ve / Hp,q+1 Ue Ve / ··· ∂¯ ( ∩ ) ∂¯ ( ∪ ) ∂¯ ( ) ⊕ ∂¯ ( ) ∂¯ ( ∩ ) ∂¯ ( ∪ ) ···

p,q p,q p,q of long exact sequences. If ΦU ,ΦV and ΦU∩V are isomorphisms for all p, q, then so are p,q ΦU∪V for all p, q by the ﬁve-lemma. Thus P satisﬁes the Mayer-Vietoris condition. Let U be a basis of the topology of X such that every U ∈U is Stein. For U1, . . ., Ul ∈U, l

Ui ∩ Z is Stein. By Proposition 4.5,ΦU1∩...∩Ul is an isomorphism, so P satisﬁes the local i=1 condition.T We complete the proof. 12 LINGXU MENG

Remark 4.7. Grivaux, J. [11, Proposition 1] proved the self-intersection formula for Deligne cohomology on compact complex manifolds by the deformation to the normal cone. His proof is valid for Dolbeault cohomology and hence Theorem 1.2 can be directly proved as Proposition 4.5 for compact cases. Notice that the compactness is necessary there.

Remark 4.8. After the early version [22] of this paper was posed on arXiv, Rao, S., Yang, S. and Yang, X.-D. [29, Theorem 1.2] gave another expression of the blow-up formula on compact complex manifolds. If the self-intersection formula holds, their isomorphism is inverse to (1.1), which can be seen from the proof of Theorem 4.5. For more details, refer to [23, Propositions 6.3, 6.4].

5. Applications 5.1. Strongly q-complete manifolds. Recall that, a complex manifold X is called a strongly q-complete manifold, if there exists a smooth strongly q-convex exhaustion function (cf. [8, IX, Deﬁnition (2.5)]) on it. The following theorem is due to Andreotti, A. and Grauert, H. (cf. [8, IX, Corollary (4.11)]).

Theorem 5.1. Let X be a strongly q-complete manifold. Then Hp(X, F) = 0 for any analytic coherent sheaf F on X and all p ≥ q. Proposition 5.2. A projective bundle associated to a holomorphic vector bundle of rank r ≥ 2 is not strongly q-complete for 1 ≤ q ≤ r − 1. Proof. Let P(E) be the projective bundle associated to a holomorphic vector bundle E of r−1 r−1 0 rank r. By Corollary 3.2, H (P(E), ΩP(E)) ⊇ H (X, OX ) = O(X) 6= 0. So P(E) is not strongly q-complete for 1 ≤ q ≤ r − 1 by Theorem 5.1.

Proposition 5.3. Let X be a connected complex manifold and Z a connected complex submanifold of X with codimension r ≥ 2. Then the blow-up XZ of X along Z is not strongly q-complete for 1 ≤ q ≤ r − 1. e r−1 r−1 0 Proof. By Theorem 1.2, H (XZ , Ω ) ⊇ H (Z, OZ ) = O(Z) 6= 0. So XZ is not strongly XZ q-complete for 1 ≤ q ≤ r − 1 by Theoreme 5.1. e e 5.2. ∂∂¯-lemma. The ∂∂¯-lemma on a compact complex manifold X refers to that for every pure-type d-closed form on X, the properties of d-exactness, ∂-exactness, ∂¯-exactness and ∂∂¯-exactness are equivalent. The well-known fact is that compact Kähler manifolds satisfy the ∂∂¯-lemma. The complex manifolds in the Fujiki class C satisfy the ∂∂¯-lemma ([9, 34]) and are not Kählerian in general. There also exist many examples which are not in C , see [1, 2, 3, 18]. As we know ([9, (5.16)]), X satisfies the ∂∂¯-lemma, if and only if, the natural ∗,∗ ∗,∗ map HBC (X) → H∂¯ (X) induced by the identity is an isomorphism. We recall some notations of the double complex and its cohomologies, see [31, Section 1] or [1, 30, 32]. A bounded double complex over C with real structure refers to the quadruple ∗,∗ (K , ∂1, ∂2,σ), where (1) K∗,∗ is a bigraded C-vector space for all (p,q) ∈ Z, which satisfies that Kp,q = 0 except for finitely many (p,q) ∈ Z, ∗,∗ ∗,∗ 2 (2) ∂1 and ∂2 : K → K are C-linear maps of bidegree (1, 0) and (0, 1) such that ∂i = 0 for i = 1, 2 and ∂1 ◦ ∂2 + ∂2 ◦ ∂1 = 0, (3) σ : K∗,∗ → K∗,∗ is a conjugation-antilinear involution, which satisfies that σ(Kp,q) = q,p K and σ∂1σ = ∂2. LERAY-HIRSCH THEOREM AND BLOW-UP FORMULA FOR DOLBEAULT COHOMOLOGY 13

A morphism of bounded double complexes over C with real structures means a C-linear map of underlying C-vector spaces compatible with the bigrading, diﬀerentials and real structure. p,q p,q p+1,q p,q p,q p,q+1 Let ∂1 : K → K and ∂2 : K → K be the restrictions of ∂1 and ∂2 p,q q p,• respectively. Deﬁne the Dolbeault cohomology as H∂2 (K)= H (K , ∂2) and the Bott-Chern p,q p,q p,q ker∂1 ∩ker∂2 cohomology as H (K)= p−1,q p−1,q−1 . A morphism of bounded double complexes over BC im∂1 ◦∂2 C with real structures is called an E1-isomorphism, if it induces an isomorphism on the Dolbeault cohomology.

Theorem 5.4 ([31, Lemma 4][30, Lemma 1.10][1]). Any E1-isomorphism induces an isomorphism on the Bott-Chern cohomology. Now we consider the ∂∂¯-lemma on fiber bundles and blow-ups. 5.2.1. Fiber bundles. Theorem 5.5. Let π : E → X be a holomorphic fiber bundle over a connected compact complex manifold X. Assume that there exist ∂¯-closed forms t1, . . ., tr of pure degrees satisfying the following conditions: (1) ti+s = t¯i for 1 ≤ i ≤ s and ti = t¯i for 2s + 1 ≤ i ≤ r, ∗,∗ (2) the restrictions of Dolbeault classes [t1]∂¯, . . ., [tr]∂¯ to Ex is a basis of H (Ex) for every x ∈ X. Then E satisfies the ∂∂¯-lemma if and only if X does.

ui,vi Proof. Set ti ∈ A (E) for 1 ≤ i ≤ r. Clearly, (us+i, vs+i) = (vi, ui) for 1 ≤ i ≤ s and ui = vi for 2s + 1 ≤ i ≤ r. Define a bigraded C-vector space r ∗,∗ ∗,∗ K = A (X)[−ui, −vi], Mi=1 where [−ui, −vi] denotes the degree shift for 1 ≤ i ≤ r. Define two C-linear maps r r ∗,∗ ∗,∗ ∂1 = ∂ , ∂2 = ∂¯ : K → K , Mi=1 Mi=1 where ∂ and ∂¯ denote the partial differential operators on A∗,∗(X). Define σ : K∗,∗ → K∗,∗ as σ(α1, α2,...,αr)=(¯αs+1, α¯s+2,..., α¯2s, α¯1, α¯2,..., α¯s, α¯2s+1,..., α¯r), ∗,∗ ∗,∗ where αi ∈ A (X)[−ui, −vi] for 1 ≤ i ≤ r. The quadruple (K , ∂1, ∂2,σ) is a bounded double complex over C with real structure. Define f : K∗,∗ → A∗,∗(E) as r ∗ (α1,...,αr) 7→ π αi ∧ ti, Xi=1 which is a morphism of bounded double complexes over C with real structures. Consider the commutative diagram

r P π∗(•)∪[t ] r−1 i BC ∗,∗ i=1 / ∗,∗ HBC (X)[−ui, −vi] HBC (E) i=1 L

r ∗ P π (•)∪[t ] ¯ r−1 i ∂ ∗,∗ i=1 / ∗,∗ H∂¯ (X)[−ui, −vi] H∂¯ (E), i=1 L 14 LINGXU MENG where the vertical maps are induced by identities. By Theorem 1.1, the bottom map is an isomorphism, i.e., f is an E1-isomorphism. By Theorem 5.4, the top map is isomorphic. We easily get the theorem by the commutative diagram. Remark 5.6. In the above proof, we get the Leray-Hirsch theorem of Bott-Chern cohomology, whose conditions are stronger than those of Dolbeault cohomology. For instance, let X be any complex manifold and Hα the Hopf surface (see Remark 3.4). View X ×Hα as a holomorphic fiber bundle over X with fiber Hα. On the one hand, the conditions in Theorem 5.5 imply symmetries of the Hodge numbers of fibers, which are not satisfied by Hα ([5, V, Proposition ∗,∗ ∗ (18.1)]). On the other hand, suppose that h1, h2, h3, h4 is a basis of H∂¯ (Hα), then pr2h1, ∗ ∗ ∗ pr2h2, pr2h3, pr2h4 satisfy the condition in Theorem 1.1, where pr2 is the projection from X × Hα onto Hα. The ∂∂¯-lemma on projective bundles was studied in [3, 25, 26]. We generalize it as follows. Corollary 5.7. Let F be a flag bundle associated to a holomorphic vector bundle on a connected compact complex manifold X. Then F satisfies the ∂∂¯-lemma, if and only if, X does.

Proof. Suppose that E is a holomorphic vector bundle with rank n over X and n1, . . ., nr is r a sequence of positive integers with ni = n, such that the ﬁber Fx of F over x ∈ X is the i=1 ﬂag variety F l(n1,...,nr)(Ex)= P

{(V0,V1,...,Vr−1,Vr)|0= V0 ( V1 ( V2 ( . . . ( Vr−1 ( Vr = Ex, where Vi is a i complex vector space with dimension nj for 1 ≤ i ≤ r}. Xj=1 For 0 ≤ i ≤ r, let Ei be the universal subbundle over F whose fiber over the point ∗ (V0,V1,...,Vr−1,Vr) is Vi. Notice that E0 = 0 and Er = π E, where π is the projec- (i) tion from F onto X. Denote by E = Ei/Ei−1 the successive universal quotient bundles (i) j,j (i) and by tj ∈ A (F ) a j-th Chern form of E for 1 ≤ i ≤ r. For any x ∈ X, the restrictions t(i)| (1 ≤ i ≤ r, 1 ≤ j ≤ n ) to F are Chern forms of successive uni- ji Fx i i x versal quotient bundles of the flag manifold Fx. As we know, there exists the monomials (1) (1) (r) (r) Qi(T1 ,...,Tn1 ,...,T1 ,...,Tnr ) for 1 ≤ i ≤ k such that (1) (1) (r) (r) Qi([t1 |Fx ]∂¯,..., [tn1 |Fx ]∂¯,..., [t1 |Fx ]∂¯,..., [tnr |Fx ]∂¯), 1 ≤ i ≤ k, ∗,∗ is a basis of the Dolbeault cohomology H∂¯ (Fx) of the flag manifold Fx. Denote ti = (1) (1) (r) (r) ¯ Qi(t1 ,...,tn1 ,...,t1 ,...,tnr ) for 1 ≤ i ≤ k. Clearly, ti are all real and ∂-closed on F . Then t1, . . ., tk satisfy the conditions in Theorem 5.5. Thus we get the corollary. We proved the following corollary in [26] by the Deligne-Griffiths-Morgan-Sullivan criterion [9, (5.21)] and give a new proof with a viewpoint of fiber bundles now. Corollary 5.8 ([26, Theorem 1.5]). Let X and Y be connected compact complex manifolds. Then X × Y satisfies the ∂∂¯-lemma if and only if X and Y both do.

Proof. Denote by pr1 and pr2 the projections from X × Y onto X and Y respectively. ¯ ∗,∗ Let X and Y both satisfy the ∂∂-lemma. The identity induces an isomorpism HBC (Y ) → ∗,∗ ¯ ∗,∗ H∂¯ (Y ), hence we can choose ∂-closed forms h1, . . ., hr ∈ A (Y ) of pure degrees such that ¯ ¯ hi+s = hi for 1 ≤ i ≤ s, hi = hi for 2s + 1 ≤ i ≤ r and the Dolbeault classes [h1]∂¯, . . ., [hr]∂¯ ∗,∗ ∗ is a basis of H∂¯ (Y ). Then ti = pr2hi for 1 ≤ i ≤ r satisfy the conditions in Theorem 5.5, LERAY-HIRSCH THEOREM AND BLOW-UP FORMULA FOR DOLBEAULT COHOMOLOGY 15 where we view pr1 : X × Y → X as a holomorphic fiber bundle over X. Thus X × Y satisfies the ∂∂¯-lemma. Let X × Y satisfy the ∂∂¯-lemma. We only prove that X satisfies the ∂∂¯-lemma. Since the ∗,∗ ∗,∗ ¯ identity induced an isomorphism HBC (X × Y )→ ˜ H∂¯ (X × Y ), there exists ∂-closed forms t1, . . ., tr of pure degrees on X × Y satisfying that p,q (1) ti ∈ A (X × Y ) and ti+s = t¯i for 1 ≤ i ≤ s, p>q p,q (2) ti ∈ L A (X × Y ) and ti = t¯i for 2s + 1 ≤ i ≤ r, p=q L ∗,∗ (3) [t1]∂¯, . . ., [tr]∂¯ is a basis of H∂¯ (X × Y ). For x ∈ X, denote by ix : {x}× Y → X × Y the inclusion. Then pr1 ◦ ix is constant and ∗,∗ pr2 ◦ ix : {x}× Y → Y is the identity. By the Künneth formula (3.1), H∂¯ ({x}× Y ) = ∗ ∗,∗ ∗ ∗ ∗,∗ ixH∂¯ (X × Y ), so [ixt1]∂¯, . . ., [ixtr]∂¯ linearly generate H∂¯ ({x}× Y ). Fix a point x0 ∈ X, ∗ ∗ ∗ ∗ we may assume that [ix0 t1]∂¯, . . ., [ix0 ts0 ]∂¯ and [ix0 t2s+1]∂¯, . . ., [ix0 tr0 ]∂¯ are maximally linearly ∗ ∗ ∗ ∗ ∗ independent in [ix0 t1]∂¯, . . ., [ix0 ts]∂¯ and [ix0 t2s+1]∂¯, . . ., [ix0 tr]∂¯ respectively. Then [ix0 t1]∂¯, ∗ ∗ ∗ ∗ ∗ ∗,∗ . . ., [ix0 ts0 ]∂¯, [ix0 ts+1]∂¯, . . ., [ix0 ts+s0 ]∂¯, [ix0 t2s+1]∂¯, . . ., [ix0 tr0 ]∂¯ is a basis of H∂¯ ({x0}× Y ). ∗ ∗ ∗ For any x ∈ X, [ixti]∂¯ = idx[ix0 ti]∂¯, where idx : {x}× Y → {x0}× Y induced by the identity. So t1, . . ., ts0 , ts+1, . . ., ts+s0 , t2s+1, . . ., tr0 satisfy the conditions in Theorem 5.5, where pr1 : X × Y → X is viewed as a holomorphic fiber bundle over X. Thus X satisfies the ∂∂¯-lemma.

5.2.2. Blow-ups. Let π : XZ → X be the blow-up of a connected complex manifold X along a connected complex submanifold Z of codimension ≥ 2. Combining Theorems 1.2 and 5.4, we can get a similar blow-upe formula for Bott-Chern cohomology, which can be used to prove that the ∂∂¯-lemma holds on XZ if and only if it holds on X and Z, refer to [26, Section 4]. See also [37, 3, 30, 25] and [26, Section 3] for other proofs. e References

[1] Angella, D., Kasuya, H.: Bott-Chern cohomology of solvmanifolds. Ann. Global Anal. Geom. 52, 363-411 (2017) 12, 13 [2] Angella, D., Kasuya, H. : Cohomologies of deformations of solvmanifolds and closedness of some properties. North-West. Eur. J. Math. 3, 75-105 (2017) 12 [3] Angella, D., Suwa, T., Tardini, N., Tomassini, A.: Note on Dolbeault cohomology and Hodge structures up to bimeromorphisms. ArXiv: 1712.08889v2(25 March, 2019) 1, 6, 12, 14, 15 [4] Barbieri-Viale, L.: H-cohomology versus algebraic cycles. Math. Nachr. 184, 5-57 (1997) 2 [5] Barth, W., Hulek, K., Peters, C., Van de Ven, A.: Compact complex surfaces. Second edition. Ergeb. Math. Grenzgeb. (3) 4, Springer-Verlag, Berlin, 2004 6, 14 [6] B˘anic˘a, C., St˘an˘a¸sil˘a, O.: Algebraic methods in the global theory of complex spaces. John Wiley and Sons, London-New York-Sydney, 1976 7 [7] Cordero, L. A., Fernandez, M., Gray, A., Ugarte, L.: Compact nilmanifolds with nilpotent complex structures: Dolbeault cohomology. Trans. Amer. Math. Soc. 352, 5405-5433 (2000) 1, 5, 6 [8] Demailly, J.-P.: Complex Analytic and Differential Geometry. http://www-fourier.ujf-grenoble.fr/ demailly/documents.html. 4, 9, 12 [9] Deligne, P., Griffiths, Ph., Morgan, J., Sullivan, D.: Real homotopy theory of Kähler manifolds. Invent. Math. 29 (3), 245-274 (1975) 12, 14 [10] Forstneriˇc, F.: Stein manifolds and holomorphic mappings. The homotopy principle in complex analysis. Second edition. Ergeb. Math. Grenzgeb. (3) 56, Springer, Heidelberg, 2017 9 [11] Grivaux, J.: Chern classes in Deligne cohomology for coherent analytic sheaves. Math. Ann. 347, 249-284 (2010) 2, 12 [12] Gros, M.: Classes de Chern et classes de cycles en cohomologie de Hodge-Witt logarithmique. Mém. Soc. Math. France (N.S.) 21, 87 pp (1985) 6, 7 16 LINGXU MENG

[13] Griffiths, Ph., Harris, J.: Principle of algebraic geometry. Reprint of the 1978 original. Wiley Classics Lib., John Wiley and Sons, Inc., New York, 1994 2 [14] Greub, W., Halperin, S., Vanstone, R.: Connections, curvature, and cohomology. Volume I. Academic Press, New York, 1972 3 [15] Guillén, F. and Navarro Aznar, V.: Un critère d’extension des fonceurs définis sur les schémas lisses. Publ. Math. Inst. Hautes Etudes´ Sci. 95, 1-91 (2002) 6, 7 [16] Grauert, H., Peternell, T., Remmert, R.: Several complex variables VII: sheaf-theoretical methods in complex analysis, Encyclopaedia Math. Sci., Springer-Verlag Berlin Heidelberg 1994. 7 [17] Hu, W.: Birational invariants defined by Lawson homology. Michigan Math. J. 60, 331-354 (2011) 2 [18] Kasuya, H. : Hodge symmetry and decomposition on non-Kähler solvmanifolds. J. Geom. Phys. 76, 61-65 (2014) 12 [19] Lewis, J.: A survey of the Hodge conjecture. Second edition. CRM Monogr. Ser. 10, Amer. Math. Soc., Providence, RI, 1999 2 [20] Manin, Yu.: Correspondences, motifs and monoidal transformations. Math. USSR Sbornik 6, 439-470 (1968) 2 [21] Meng, L.: Morse-Novikov cohomology for blow-ups of complex manifolds. ArXiv:1806.06622v4 (19 Oc- tober, 2019) 2 [22] Meng, L.: An explicit blow-up formula for Dolbeault cohomology. ArXiv:1806.06622v2 (21 August, 2018) 2, 8, 12 [23] Meng, L.: Morse-Novikov cohomology on complex manifolds. J. Geom. Anal. 30 (1), 493-510 (2020) 2, 12 [24] Meng, L.: Mayer-Vietoris systems and their applications. ArXiv:1811.10500v3 (17 April, 2019) 2 [25] Meng, L.: The heredity and bimeromorphic invariance of the ∂∂¯-lemma property. ArXiv:1904.08561v2 (24 April, 2019) 2, 14, 15 [26] Meng, L.: Three theorems on the ∂∂¯-lemma. ArXiv:1905.13585v1 (31 May, 2019) 2, 14, 15 [27] Nie, Z.: Blow-up formulas and smooth birational invariants. Proc. Amer. Math. Soc. 137 (8), 2529-2539 (2009) 2 [28] Rao, S., Yang, S., Yang, X.-D.: Dolbeault cohomologies of blowing up complex manifolds. J. Math. Pures Appl. (9) 130, 68-92 (2019); ArXiv:1712.06749v3 (21 April, 2018) 1, 2, 6, 8 [29] Rao, S., Yang, S., Yang, X.-D.: Dolbeault cohomologies of blowing up complex manifolds II: bundle- valued case. J. Math. Pures Appl. (9) 133, 1-38 (2020) 2, 6, 7, 8, 12 [30] Stelzig, J.: Double complexes and Hodge stuctures as vector bundles. PhD thesis, WWU, Münster (2018), https://d-nb.info/1165650959/34 12, 13, 15 [31] Stelzig, J.: The double complex of a blow-up. To appear in Int. Math. Res. Not. IMRN., https://doi.org/10.1093/imrn/rnz139; ArXiv:1808.02882v2 (3 June, 2019) 1, 6, 12, 13 [32] Stelzig, J.: On the structure of double complexes. ArXiv:1812.00865v1 (3 December, 2018) 12 [33] Ueno, K.: Classification theory of algebraic varieties and compact complex spaces. Lecture Notes in Math. 439, Berlin-Heidelberg-New York, Springer, 1975 9 [34] Varouchas, J.: Sur l’image d’une variétéKählérienne compacte. A partaˆıtre dans Séminaire F. Norguet. Lecture Notes in Math. 1188, Springer, Berlin-Heidelberg-New York, 1986 12 [35] Voisin, C.: Hodge theory and complex algebraic geometry. Volumes I, II. Cambridge Stud. Adv. Math. 76, 77, Cambridge University Press, Cambridge, 2003 2 [36] Wells, R. O.: Comparison of de Rham and Dolbeault cohomology for proper surjective mappings. Pacific. J. Math. 53, 281-300 (1974) 10 [37] Yang, S., Yang, X.-D.: Bott-Chern blow-up formula and bimeromorphic invariance of the ∂∂¯-Lemma for threefolds. ArXiv:1712.08901v3 (22 September, 2018) 2, 15 [38] Yang, X.-D., Zhao, G.: A note on the Morse-Novikov cohomology of blow-ups of locally conformal Kähler manifolds. Bull. Aust. Math. Soc. 91, 155-166 (2015) 2

Department of Mathematics, North University of China, Taiyuan, Shanxi 030051, P. R. China E-mail address: [email protected]