arxiv: v1 [math.ag] 13 Jan 2019

Transcription

1 Adiabatic Limit and Deformations of Complex Structures Dan Popovici ariv: v1 [mat.ag] 13 Jan 2019 Abstract. Based on our recent adaptation of te adiabatic limit construction to te case of complex structures, we give a new proof of te fact, tat we first proved in 2009 and 2010, tat te deformation limiting manifold of any olomorpic family of Moisezon manifolds is Moisezon. Two new ingredients, opefully of independent interest, are introduced. Te first one canonically associates wit every compact complex manifold, in every degree k, a olomorpic vector bundle over C of rank equal to te k-t Betti number of. Tis vector bundle sows tat te degenerating page of te Frölicer spectral sequence of is te olomorpic limit, as C tends to 0, of te d -coomology of, were d = +. A relative version of tis vector bundle is canonically associated wit every olomorpic family of compact complex manifolds. Te second new ingredient is a relaxation of te notion of strongly Gauducon sg) metric tat we introduced in For a given positive integer r, a Gauducon metric γ on an n-dimensional compact complex manifold is said to be E r -sg if γ n 1 represents te zero coomology class on te r-t page of te Frölicer spectral sequence of. Strongly Gauducon metrics coincide wit E 1 -sg metrics. 1 Introduction Te main result of tis paper is te following statement tat was first proved in [Pop09] and [Pop10] in a different, ad oc way, altoug te general strategy and some details were te same as in te present, more conceptual, approac. Teorem 1.1. Let π : B be a complex analytic family of compact complex manifolds over an open ball B C N about te origin suc tat te fibre t := π 1 t) is a Moisezon manifold for every t B \{0}. Ten 0 := π 1 0) is again a Moisezon manifold. As usual, by a complex analytic or olomorpic) family of compact complex manifolds we mean a proper olomorpic submersion π : B between two complex manifolds and B cf. e.g. [Kod86]). In particular, te fibres t := π 1 t) are compact complex manifolds of te same dimension. By a classical teorem of Eresmann [Er47], any suc family is locally ence also globally if te base B is contractible) C trivial. Tus, all te fibres t ave te same underlying C manifold ence alsotesamederamcoomologygroupshdr k, C)forall k = 0,...,2n), but te complex structure J t of t depends, in general, on t B. On te oter and, as usual, by a Moisezon manifold we mean a compact complex manifold Y for wic tere exists a projective manifold Ỹ and a olomorpic bimeromorpic map µ : Ỹ Y cf. [Moi67]). By anoter classical result of [Moi67], we know tat a Moisezon manifold is not Käler unless it is projective. Our Teorem 1.1 above is a closedness result under deformations of complex structures: any deformation limit of a family of Moisezon manifolds is Moisezon. Indeed, te fibre 0 can be regarded as te limit of te fibres t wen t B tends to 0 B. We can, of course, suppose tat B is an open disc about te origin in C. 1

2 1.1 Brief reminder of te main construction in [Pop17] Te metod introduced in tis paper originates in our recent adaptation to te case of complex structures cf. [Pop17]) of te adiabatic limit construction associated wit Riemannian foliations cf., e.g., [Wi85] and [MM90]). Given a compact complex n-dimensional manifold, for every constant C, we associate wit te splitting d = + defining te complex structure of te following 1st-order differential operator: d := + : Ck, C) C k+1, C), k = 0,...,2n, acting on te space Ck, C) of smoot k-forms on, for every degree k. Only positive real constantswereconsideredin[pop17], butwenowallowtobeanycomplexconstant. Inparticular, d depends on te complex structure of, except wen = 1, in wic case d 1 = d. On te oter and, d 0 =. Meanwile, for every non-zero, te linear map defined pointwise on k-forms by θ : Λ k T Λ k T, u = u p,q θ u := p u p,q, induces an automorpism of te vector bundle ΛT = 2n k=0 Λk T and te operators d and d are related by te identity d = θ dθ 1. Tis implies tat d 2 = 0, so we can define te d -coomology of cf. [Pop17]) in every degree k as H k d, C) := kerd : C k, C) C k+1, C))/Imd : C k 1, C) C k, C)). Moreover, θ maps d-closed forms to d -closed forms and d-exact forms to d -exact forms, so it induces an isomorpism between te De Ram coomology and te d -coomology for every C\{0}: θ : HDR, k C) Hd k, C), k = 0,...,2n. Now, if is given a Hermitian metric ω, we let d be te formal adjoint of d w.r.t. te L 2 -inner product on differential forms induced by ω. Te d -Laplacian w.r.t. ω is defined in every degree k in te expected way: : C k, C) C k, C), := d d +d d. It turns out tat te non-negative, self-adjoint) 2nd-order differential operator is elliptic cf. [Pop17, Lemma 2.7]). Togeter wit te integrability of d i.e. d 2 = 0) and te compactness of, tis implies te Hodge isomorpism ker : C k, C) C k, C)) Hk d, C), k = 0,...,2n, for te d -coomology. By elliptic teory, as a discrete spectrum 0 λ k) 1 ) λ k) 2 ) λ k) j )... wose only accumulation point is +. Moreover, for every 0, te isomorpism between te d - and te De Ram coomologies implies tat te multiplicity of 0 as an eigenvalue of acting on k-forms is te k-t Betti number b k of. 2

3 1.2 Constructions introduced in tis paper Tere are two new main ideas tat we ope are of independent interest and tat we now outline. Te details will occupy sections 2, respectively 3. I) Te first construction cf and.2.3.2) builds on te adiabatic limit for complex structures introduced in [Pop17] and outlined above to prove tat te degenerating page of te Frölicer spectral sequence is te olomorpic limit, as C tends to 0, of te d -coomology in every degree k. Specifically, wit every compact complex n-dimensional manifold and every degree k {0,...,2n}, we canonically associate a olomorpic vector bundle A k of rank b k = te k-t Betti number of ) over C wose fibres are defined as A k := Hd k, C) if C\{0}, and A k 0 := Er p,q ) if = 0, were r 1 is te smallest positive integer suc tat te Frölicer spectral sequence of degenerates at E r. Te vector bundle structure over C\{0} is defined to be te one induced by te isomorpisms θ : HDR k, C) Hk d, C), wit 0, from te local system H k C\{0} of fibre HDR k, C). Tat te resulting olomorpic vector bundle A k C \ {0} extends to a olomorpic vector bundle over C wose fibre at = 0 is te vector space A k 0 defined above, is asserted by Corollary and Definition 2.8. It can be loosely reworded as Teorem 1.2. For every k {0,...,2n}, A k C is a olomorpic vector bundle of rank b k. We call A k te Frölicer approximating vector bundle of in degree k. Once we ave proved tat A k C is a C vector bundle, it follows at once tat it is actually olomorpic on C since, tanks to te maps θ : HDR k, C) Hd k, C) varying in a olomorpic way wit C, A k is olomorpic on C, ence also on C were it is already C. However, te proof of te fact tat A k is indeed a C vector bundle on C is tecnically involved. To tis end, we fix an arbitrary Hermitian metric ω on and construct a C family r) ) C of elliptic pseudo-differential operators wose kernels are isomorpic to te d -coomology group Hd k, C) for every C and to Er p,q ) wen = 0. In oter words, te kernels are isomorpic to te fibres of A k for all C. Wen te Frölicer spectral sequence of degenerates at E 1 i.e. wen r = 1), tere is noting new about tis construction: 1) : Ck, C) C k, C) is even a differential operator for every 1) C and 0 is te classical -Laplacian = +, wile for 0, 1) is te d -Laplacian introduced in [Pop17] and recalled above in.1.1. Tis case occurs if, for example, is Käler or merely a -manifold in te sense tat te -lemma olds on, see definition reminder below). Wen te Frölicer spectral sequence of first degenerates at E 2 i.e. wen r = 2), te pseudodifferential operator 0 : Ck, C) C k, C) is te one introduced in [Pop16] 2) as = p + p +, were p : Ck, C) ker : Ck, C) C k, C)) is te ortogonal projection w.r.t. te L 2 inner product induced by ω) onto -armonic forms. We know from [Pop16] tat ker is isomorpic to E p,q 2 ). For C, we construct in.2.1 te pseudo-differential operators 2) = : Ck, C) C k, C) as C deformations of by adding to eac factor of an 3

4 multiple of its conjugate. We ten prove in Lemma 2.2 tat ker = ker for every 0, so in 2) particular ker is isomorpic to te d -coomology group Hd k, C). Wen tefrölicer spectral sequence of first degenerates ate r for some r 3, we borrow from our ongoing joint work [PU18] wit L. Ugarte te construction of te pseudo-differential operator r) 0 = r) : Ck, C) C k, C) wose kernel is isomorpic to Er p,q ). Tis is a Hodge isomorpism for an arbitrary page E r, wit r 3, of te Frölicer spectral sequence and te construction is explained in te former part of.2.2. In te latter part of.2.2, we construct te r) pseudo-differential operators : Ck, C) C k, C) as C deformations of r) by adding to eac factor of r) an -multiple of its conjugate cf. Definition 2.4). Finally, we prove in Lemma r) 2.5 tat ker = ker r) ence ker Hk d, C)) for every 0. Tis absolute version of te Frölicer approximating vector bundle as a relative counterpart. Indeed, in.2.3.2, wit every olomorpic family π : B of compact complex n-dimensional manifolds t := π 1 t) over an open ball B C N about te origin suc tat, for some r N, te Frölicer spectral sequence of t degenerates at least at E r for all t B, we associate a Frölicer approximating vector bundle A k C B in every degree k {0,...,2n} as follows. As usual, we let stand for te C manifold tat underlies te fibres t. Te operator d,t := t + t : Ck, C) C k+1, C) depends now on bot C and t B because it depends on te complex structure J t of t ) and so does θ,t : Λ k T Λ k T acting as θ,t up,q t ) := p u p,q t, were te u p,q t are te p, q)-type components of a given k-form u = up,q t w.r.t. J t. We define te fibres of te Frölicer approximating vector bundle over C B of te family t ) t B in degree k as A k,t := Hk d,t t, C) if, t) C B, and A k 0,t := Er p,q t ) for 0, t) {0} B. Te vector bundle structure over C B is defined to be te one induced by te coomology isomorpisms θ,t : HDR k t, C) Hd k,t t, C), wit, t) C B, from te local system H k C B of fibre HDR k, C) identified wit Hk DR t, C) for every t B). Tat te resulting olomorpic vector bundle A k C B extends to a olomorpic vector bundle over C B wose fibre at every point 0, t) {0} B is te vector space A k 0,t defined above, is asserted by Corollary and Definition It can be loosely reworded as Teorem 1.3. For every k {0,...,2n}, A k C B is a olomorpic vector bundle of rank b k. By b k we mean te k-t Betti number of te fibres t, or equivalently, of te C manifold underlying tem. Te proof of Teorem 1.3 uses te absolute case proved in Teorem 1.2. II) Te second main idea introduced in tis paper is a relaxation cf. Definition 3.2) of te notion of strongly Gauducon sg) metric introduced in [Pop09] and [Pop13]. Starting from te observation tat, for every Gauducon metric γ on a given compact complex n-dimensional manifold, te n, n 1)-form γ n 1 is E r -closed i.e. represents an E r -coomology class on te r-t page of te Frölicer spectral sequence of ) for every r N, we call γ an E r -sg metric if γ n 1 is E r -exact i.e. represents te zero E r -coomology class on te r-t page of te Frölicer spectral sequence of ). Any tat carries an E r -sg metric is called an E r -sg manifold. 4 2)

5 Forte reader s convenience, we recall in Proposition 3.1 ow te E r -closedness ande r -exactness conditions translate into explicit terms. For every r N, te E r -sg condition implies te E r+1 -sg condition, wile te strongest of tem, te E 1 -sg condition, is equivalent to te sg condition. Te two main constructions of tis paper are brougt togeter in te following result see Teorem 3.4 for a more precise statement). Teorem 1.4. If in a olomorpic family t ) t B of compact complex manifolds all te fibres t wit t B \{0} are -manifolds, ten te limiting fibre 0 is an E r -sg manifold, were E r is te first page at wic te Frölicer spectral sequence of 0 degenerates. Recall tat a -manifold is, by definition, a compact complex manifold tat satisfies te -lemma in te following sense: for every C d-closed pure-type form u on, te following exactness conditions are equivalent: u Imd u Im u Im u Im. 1) Te -property is equivalent to all te canonical linear maps H p,q BC, C) Hp,q A, C), from te Bott-Cern to te Aeppli coomology, being isomorpisms. Since bot of tese coomologies can be computed using eiter smoot forms or currents, te -property is also equivalent to te equivalences 1) olding for every d-closed pure-type current on. A standard result in Hodge teory asserts tat every compact Käler manifold is a -manifold. Moreover, every class C manifold by definition, tese are te compact complex manifolds tat are bimeromorpically equivalent to compact Käler manifolds), ence also every Moisezon manifold, is a -manifold, but te class of -manifolds strictly contains te class C. See, e.g., [Pop14] for furter details.) A stronger result tan Teorem 1.4 was proved in Proposition 4.1 of [Pop09]: any deformation limit of -manifolds is a strongly Gauducon sg) manifold. In te present paper, we use our Frölicer approximating vector bundle of Corollary and Definition 2.14 to obtain te possibly weaker E r -sg conclusion on te limiting fibre under te same assumption on te oter fibres. However, we will see tat tis weaker conclusion on te deformation limits of -manifolds will yield te same optimal conclusion, captured in Teorem 1.1, on te deformation limits of projective and Moisezon manifolds as te one obtained in [Pop09] and [Pop10]. Moreover, te new metod introduced in te present paper as te advantage of being more conceptual tan te ad oc arguments of [Pop09]. It effectively puts tose arguments on a more teoretical footing via te macinery of te Frölicer spectral sequence and our new Frölicer approximating vector bundle. Besides Teorem 1.4, te oter main building block cf. Teorem 3.7) of te proof of Teorem 1.1 is te use of a C family γ t ) t B of E r -sg metrics on te fibres t ) t B, wose existence is mainly guaranteed by Teorem 1.4, to uniformly control te volumes of te relative i.e. contained in te fibres) divisors tat form an irreducible component of te relative Barlet space of divisors cf. [Bar75]) associated wit te family t ) t B. Finitely many integrations by parts are used. 2 -teory for te Frölicer spectral sequence Recall tat ) C is a C family of elliptic differential operators suc tat 0 =. So, te s can be regarded as an approximation allowing for more flexibility) of te standard -Laplacian. 5

6 Te kernel of is classically isomorpic to te Dolbeault coomology of tus, to te first page of te Frölicer spectral sequence). 2.1 Second page: te pseudo-differential Laplacians We will now introduce and study a similar approximation of te pseudo-differential Laplacian = p + p + : C p,q, C) C p,q, C), p,q = 0,...,n, introduced in [Pop16] and proved tere to define a Hodge teory for te second page of te Frölicer spectral sequence, namely a Hodge isomorpism H p,q, C) := ker : C p,q, C) C p,q, C)) E p,q 2 ) in every bidegree p, q). Note tat = p ) p ) +p ) p )+, so we will approximate p and p by adding to eac a small -multiple of its conjugate, wile still approximating by. Definition 2.1. Let, ω) be a compact complex Hermitian manifold wit dim C = n. For every C and every k = 0,...,2n, we let = p + p ) p + p ) +p +p ) p +p )+ : C k, C) C k, C), were p = p ω : C p,q, C) ker : C p,q, C) C p,q, C)) := Hp,q, C) and p = p ω : Cp,q, C) ker : C p,q, C) C p,q, C)) := Hp,q, C) are te ortogonal projections onto te -, resp. -armonic spaces of any fixed bidegree p, q). Tese projections are ten extended by linearity to p = p ω : C k, C) Hk, C), p = p ω : C k, C) Hk, C), were H k, C) := H p,q, C) and H k, C) := H p,q, C). For every C, is a non-negative, self-adjoint pseudo-differential operator and 0 =. Furter properties include te following. Lemma 2.2. For every C\{0}, is an elliptic pseudo-differential operator wose kernel is ker = ker p + p ) kerp +p ) kerd kerd = kerd kerd = ker, k = 0,...,2n. 2) Hence, te 3-space ortogonal decompositions induced by and coincide wen C\{0}: C k, C) = ker Imd Imd, k = 0,...,2n, 3) were kerd = ker Imd, kerd = ker Imd and Im = Imd Imd. Consequently, we ave te Hodge isomorpism: H k, C) = H k, C) H k d, C), k = 0,...,2n, C\{0}. 4) Moreover, te decomposition 3) is stable under, namely Imd ) Imd and Imd ) Imd. 5) 6

7 Proof. Te first identity in 2) follows immediately from te fact tat is a sum of non-negative operators of te sape A A and kera A) = kera for every A, since A Au, u = Au 2. To prove te second identity in 2), we will prove te inclusions kerd kerp + p ) and kerd ker p + p ). Letu = r+s=k ur,s beasmootk-formsuctatd u = 0. Tisamountsto u r,s + u r+1,s 1 = 0 wenever r +s = k. Applying p and respectively p, we get p u r+1,s 1 = 0 and p u r,s = 0, wenever r +s = k, since 0, wile p = 0 and p = 0. Hence, p +p )u = p u r,s +p u r+1,s 1 ) = 0. r+s=k Tis proves te inclusion kerd kerp +p ). Te ellipticity of te pseudo)-differential operators and, combined wit te compactness of te manifold, implies tat te images of d and p + p are closed in Ck, C). Hence, tese images coincide wit te ortogonal complements of te kernels of te adjoint operatorsd and p + p ). Terefore, proving te inclusion kerd ker p + p ) is equivalent to proving te inclusion Im p + p ) Imd. Actually, te closedness of tese images is not needed ere, we would ave taken closures oterwise.) Let u = p v + p v be a smoot k-form lying in te image of p + p. Since p = 0 and p = 0, wile 0, we get u = ) 1 p v +p v)+ 1 p v +p v) = d 1 p v+p v) Imd. Tis completes te proof of 2). Since commutes wit bot d and d, to prove 5) it suffices to prove te stability of Imd and Imd under. Now, since p +p )d = 0 immediate verification), we get )d = p + p ) p + p ) + ). Since Im p + p ) Imd as seen above), we get )Imd ) Imd. Similarly, an immediate verification sows tat p + p ) d = 0. Consequently, )d = p +p ) p +p )d. Meanwile, Imp +p ) Imd sincetisisequivalent toteinclusionkerd kerp +p ) tat was proved above). Terefore, )Imd ) Imd. Te proof of 5) is complete. Te remaining statements follow from te standard elliptic teory as in [Pop17]. Conclusion 2.3. Let, ω) be a compact complex Hermitian manifold wit dim C = n. For every degree k {0,...,2n}, we ave C families of elliptic differential operators ) C and, respectively, elliptic pseudo-differential operators ) C from Ck, C) to C k, C) suc tat i) 0 = and 0 = ; ii) H k, C) = H k, C) H k d, C) 7 for all C\{0};

8 .= iii) H k 0, C) Hp,q, C) and H k 0, C) Ep,q 2 ). Proof. Only te latter part of iii) still needs a proof. Since preserves te pure type of forms and since te kernel of : Cp,q, C) C p,q, C) is isomorpic to Ep,q 2, C) for every bidegree p, q) cf. [Pop16, Teorem 1.1]), te isomorpism follows. 2.2 Page r 3: te pseudo-differential Laplacians We start by recalling te bare bones of a construction from [Pop17,.3.2] and [PU18,.2.1]. Given an arbitrary compact Hermitian manifold, ω) wit dim C = n, in every bidegree p, q) one defines a sequence of ω-armonic spaces: Cp,q, C) H p,q 1 Hr p,q H p,q r+1... suc tat, for every r N, te space Hr p,q depending on ω) is isomorpic to te E r -coomology space Er p,q ) on te r-t page of te Frölicer spectral sequence. Specifically, every space Cp,q, C) splits successively into mutually L2 ω-ortogonal subspaces in te following way cf. Proposition 2.3 in [PU18]): r) C p,q, C) = Imd 0 H p,q 1 }{{} = {}}{ Imd ω) 1 H p,q 2 Imd ω) 1 ) }{{} = Imd 0 {}}{ Imd ω) r 1 Hr p,q Imd ω) }{{} r 1) = {}}{ Imd r ω) H p,q r+1 Imd r ω) ) }{{} =. were, on te top row, d 0 := and H p,q 1 := H p,q, C) is te kernel of te -Laplacian = + : C p,q, C) Cp,q, C). Of course, H p,q 1 E p,q 1 ). Setting p 1 := p : Cp,q, C) H p,q 1 te ortogonal projection w.r.t. te L 2 inner product induced by ω) onto H p,q 1, we ten define te metric realisation d ω) 1 := p 1 p 1 : H p,q 1 H p+1,q 1 of te Frölicer differential d 1 : E p,q 1 ) E p+1,q 1 ) so tat te following diagram is commutative: 8

9 E p,q 1 ) d 1 E p+1,q 1 ) H p,q 1 d ω) 1 =p 1 =p 1 p 1 H p+1,q 1. We ten consider te adjoint operator d ω) 1 ) = p 1 p 1 : H p+1,q 1 H p,q 1 and its associated Laplacian ω) 2) : Hp,q 1 H p,q 1 defined in te usual way as ω) 2) = d ω) 1 d ω) 1 ) +d ω) 1 ) d ω) 1 = p 1 p 1 + p 1 )p 1 = p 1 p 1 + p 1 + )p 1 = p 1 p1 = p 2) 1 p 1 = p 1 p 1 ) p 1 ) + p 1 ) p 1 )+ )p 1, were : Cp,q, C) C p,q, C) is te pseudo-differential Laplacian of [Pop16] wose kernel is isomorpic to E p,q 2 ) also considered in te previous subsection). For reasons tat will become apparent in te inductive construction below, we also denote by 2). Note tat p 1 = 0, by construction.) We let H p,q 2 denote te kernel of and we get ω) 2) H p,q ω) 2 = ker 2) = kerdω) 1 kerd ω) 1 ) = ker H p,q 1 Cp,q, C). We ten continue by induction on r 1. Once Hr p,q as been constructed as a subspace of Hr 1), p,q we let p r : Cp,q, C) Hr p,q be te ortogonal projection w.r.t. te L 2 inner product induced by ω) onto Hr p,q. Ten, we define te metric realisation d ω) r := p r [ 1 ) r 1 ]p r : H p,q r H p+r,q r+1 r of te Frölicer differential d r : Er p,q ) Er p+r,q r+1 ) so tat te following diagram is commutative: E p,q r ) d r E p+r,q r+1 r ) H p,q r d ω) r =p r ) 1 ) r 1 p r H p+r,q r+1 r, A word of explanation is in order to account for te above definition of d r ω), first given in [PU18, Proposition 2.3]. For any representative α of an E r -coomology class {α} Er Er p,q ), tere exist cf., e.g., Proposition 3.1 below or an easy application of te definitions) non-unique forms u 1,...,u r 1 suc tat α = 0, α = u 1, u 1 = u 2,..., u r 2 = u r 1. Moreover, te Frölicer differential d r : Er p,q ) Er p+r,q r+1 ) acts as d r {α} Er ) = { u r 1 } Er and tis expression is independent of te coices of potentials u 1,...,u r 1 wit te above properties. Now, if a Hermitian metric ω as been fixed on, we can make te unique) coices of 9

10 u 1,...,u r 1 suc tat tese forms ave minimal L 2 ω-norms. Tanks to Neumann s formula for te minimal L 2 ω-norm solution of a -equation, we get successively: u 1 = 1 α, u 2 = 1 u 1 = 1 ) 2 α, u r 1 = 1 u r 2 = 1 ) r 1 α, were 1 is te Green operator of. Terefore, d r {α} Er ) = { u r 1 } Er = { 1 ) r 1 α} Er. Tus, if we represent te class {α} Er Er p,q ) by te unique form α tat lies in Hr p,q, we ave α = p r α. Meanwile, te representative 1 ) r 1 α = 1 ) r 1 p r α of d r {α} Er ) need not lie in Hr p,q, so we project it to p r 1 ) r 1 p r α Hr p,q. Tis projection does not cange te E r -coomology class. Consequently, to make te above diagram commutative, we must set d r ω) α := p r 1 ) r 1 p r α for every α Hr p,q, wic is te definition given above for d r ω). ω) Te associated Laplacian r+1) : Hp,q r Hr p,q is ten defined in te usual way as ω) r+1) = d r ω) d r ω) ) +d r ω) ) d r ω) = p r [ 1 ) r 1 p r 1 ) r ) r 1 p r 1 ) r 1 ]p r = p r [ 1 ) r 1 p r ) 1 ) r 1 p r ) + p r 1 ) r 1 ) p r 1 ) r 1 )] p r = p r r+1) p r, were r+1) : Cp,q, C) C p,q, C) is defined as ) ) ) ) r+1) = 1 ) r 1 p r 1 ) r 1 p r + p r 1 ) p r 1 r 1 ) r 1 + r) 6) and r) : Cp,q, C) C p,q, C)wasdefined atteprevious inductionstepsuc tatker r) = Hr p,q. Note tat r) p r = 0, by construction.) We let H p,q ω) r+1 denote te kernel of r+1) and we get Er+1) p,q H p,q ω) r+1 = ker r+1) = kerdω) r kerd r ω) ) = ker r+1) Hr p,q H p,q 1 Cp,q, C). We also extend te operators r) : Cp,q, C) Cp,q, C) by linearity to r) : Ck, C) Ck, C) and denote te corresponding kernels by, C) = H p,q Hk r) r Er p,q ). Wit tis summary of te construction from [Pop17,.3.2] and [PU18,.2.1] in place, we will now introduce, for every r N, a smoot family r+1) ) C of pseudo-differential operators wose member for = 0 is te pseudo-differential Laplacian r+1) constructed above. Wen r = 1, tis will be te smoot family ) C constructed in te previous subsection as an approximation of te pseudo-differential Laplacian 2) =. Following te model of Definition 2.1, we will approximate eac factor in te above definition of r+1) by adding to it a small -multiple of its conjugate. 10

11 Definition 2.4. Let, ω) be a compact complex Hermitian manifold wit dim C = n. For every r+1) C and every k = 0,...,2n, we define te pseudo-differential operator : Ck, C), C) by induction on r 2 as follows: C k r+1) = ) r 1 p r + 1 ) r 1 p r ) 1 ) r 1 p r + 1 ) r 1 p r ) p r 1 ) r 1 + p r 1 ) ) r 1 p r 1 ) r 1 + p r 1 ) ) r 1 r), r) were : Ck, C) C 2) k, C) as been defined at te previous induction step and := was defined in Definition 2.1. For every bidegree p, q), by p r : Cp,q, C) ker r) : Cp,q, C) Cp,q, C)) we mean te ortogonal projection onto te kernel of te conjugate of r) acting in bidegree p, q). Bot te projections p r and p r are ten extended by linearity to te wole space Ck, C). 2) r+1) As in te case of = cf. Lemma 2.2), we need to prove tat as te same kernel r+1) as for every r 2. A priori, te kernel of migt be smaller tan tat of. Lemma 2.5. For every C\{0}, te following identities of kernels old: in every degree k = 0,...,2n. ker = ker 2) r) r+1) = = ker = ker =... r+1) Proof. Fix any k. We will prove by induction on r 1 tat ker = ker in degree k. Te r+1) case r = 1 was proved in Lemma 2.2. Since eac operator is a sum of non-negative self-adjoint operators of te sape AA and since keraa ) = kera, we ave: ker r+1) = ker 1 ) r 1 p r + 1 ) ) r 1 p r ker p r 1 ) r 1 + p r 1 ) ) r 1 ker r). r+1) r) 2) 2) In particular, ker ker ker ker for every r and ker = ker tanks to Lemma 2.2. r) Suppose, as te induction ypotesis, tat ker = ker for some r 2. Since ker = kerd kerd r+1), to prove tat ker = ker, it suffices to prove te inclusions ) ker + ) ker p r 1 ) r 1 + p r 1 ) r 1 7) ) ker + ) ker 1 ) r 1 p r + 1 ) r 1 p r. 8) 11

12 Toproveinclusion7), letu = l+s=k ul,s ker + ). Tisamountsto u l,s + u l+1,s 1 = 0 for all l,s suc tat l+s = k. Applying p r and p r to tis identity and using te fact tat 0, we get p r u l,s = 0 and p r u l+1,s 1 = 0 for all l,s suc tat l+s = k, 9) since p r = 0 and pr = 0. Te last two identities follow from te fact tat Im resp. Im ) is ortogonal to ker resp. ker ), ence also to its subspace Hr p,q resp. Hr p,q ) onto wic p r resp. p r ) projects ortogonally. Meanwile, for suc a u, we ave: ) p r 1 ) r 1 + p r 1 ) r 1 u = l+s=k = l+s=k p r 1 ) r 2 1 u l,s )+ p r 1 ) ) r 2 1 u l,s ) 1 p r 1 ) r 2 1 u l+1,s 1 ) 2 p r 1 ) ) r 2 1 u l 1,s+1 ), were te last line followed from te properties of te forms u l,s : u l,s = 1 u l+1,s 1 and u l,s = u l 1,s+1. Now, te ortogonal decomposition Cl+1,s 1, C) = Im ker induces a splitting u l+1,s 1 = ξ l+1,s 2 +η l+1,s 1 wit η l+1,s 1 ker. Similarly, te ortogonal decomposition Cl 1,s+1, C) = Im ker induces a splitting u l 1,s+1 = ζ l 2,s+1 +ρ l 1,s+1 wit ρ l 1,s+1 ker. Terefore, in te last sum over l +s = k, we can re-write te following quantities as follows: and 1 u l+1,s 1 ) = 1 η l+1,s 1 = 1 η l+1,s 1 = η l+1,s 1 1 u l 1,s+1 ) = 1 ρ l 1,s+1 = 1 ρ l 1,s+1 = ρ l 1,s+1. Suppose tat r = 2. We get ) p r 1 ) r 1 + p r 1 ) r 1 u = l+s=k = l+s=k = l+s=k 1 ) p r η l+1,s 1 2 l 1,s+1 p r ρ 1 ) p r ξ l+1,s 2 +η l+1,s 1 ) 2 p r ζ l 2,s+1 +ρ l 1,s+1 ) 1 ) p r u l+1,s 1 2 l 1,s+1 p r u = 0 were te identity on te tird row follows from p r ξ l+1,s 2 = p r ) ξ l+1,s 2 = 0 since p r = 0 as already explained) and p r ζ l 2,s+1 = p r ) ζ l 2,s+1 = 0 since p r = 0 as already explained), wile te last identity follows from 9). 12

13 Tus, inclusion 7) is proved in te case wen r = 2. To prove it for r 3, we iterate te above arguments by constructing two sequences of forms wose first terms are η l+1,s 1 and respectively ρ l 1,s+1 in te following way. Te first sequence η l+j+1,s j 1 j) ) j 0 consists of forms of te sown bidegrees wit te understanding tat if one of te two degrees exceeds n or is negative, te form is zero) suc tat η l+1,s 1 0) = η l+1,s 1 and for every j 1 we ave: η l+j+1,s j 1 j) η l+j+1,s j 1 j) η l+j+1,s j 1 j) = 1) j 1 j ul+j+1,s j 1 + ξ l+j,s j 1 j 1) ξ l+j+1,s j 2 j) ker = η l+j,s j j 1) ) = 1) j+1 1 j+1 ul+j+2,s j 2 + ξ l+j+1,s j 2 j), 10) were ξ l+j+1,s j 2 j) ) j 0 is a sequence of forms of te sown bidegrees wose term for j = 0 is ξ l+1,s 2. Te construction runs by induction on j 0 as follows. From te property u l+1,s 1 = 1 u l+2,s 2 and te definition of η l+1,s 1, we get η l+1,s 1 = 1 ) ul+2,s 2 + ξ l+1,s 2. Now, te ortogonal decomposition C l+2,s 2, C) = Im ker induces a splitting 1 ul+2,s 2 + ξ l+1,s 2 = ξ l+2,s 3 1) +η l+2,s 2 1) wit forms ξ l+2,s 3 1) and η l+2,s 2 1) ker of te sown types. An immediate verification sows tat tey satisfy te tree properties under 10) for j = 1. Suppose we ave run te construction of forms wit te properties 10) up to some index j. Te ortogonal decomposition C l+j+2,s j 2, C) = Im ker induces a splitting 1) j+1 1 j+1 ul+j+2,s j 2 + ξ l+j+1,s j 2 j) = ξ l+j+2,s j 3 j+1) +η l+j+2,s j 2 j+1), wit forms ξ l+j+2,s j 3 j+1) and η l+j+2,s j 2 j+1) ker of te sown types. An immediate verification sows tat tey satisfy te tree properties under 10) wen j is replaced by j +1. Wit tis construction in place, we are able to sow te vanising of te first of te two terms wose vanising we need. Indeed, using repeatedly te second property in 10) and te -closedness of te forms η l+j+1,s j 1 j), we get p r 1 ) r 1 u l,s = 1 p r 1 ) r 2 η l+1,s 1 = 1 p r 1 ) r 3 1 η l+2,s 2 1) = 1 p r 1 ) r 3 η l+2,s 2 1) = 1 p r 1 ) r 4 l+3,s 3 1 η 2) = 1 p r 1 ) r 4 η l+3,s 3 2). = 1 p r η l+r 1,s r+1 r 2) = 1 p r η l+r,s r r 1) = 0 13

14 for all l,s suc tat l +s = k, te last identity being te result of te general identity of operators p r = 0 tat as already been explained and used. Te vanising ofte oter term p r 1 ) r 1 u l,s canbe proved by ananalogousbut conjugated ) construction tat uses te ortogonal decomposition C l j,s+j, C) = Im ker starting from te forms ρ l 1,s+1 and ζ l 2,s+1 constructed in te case r = 2. Te details will not be repeated. Tus, inclusion 7) is proved for every r 2. Proving inclusion 8) amounts to proving te inclusion: ) ker + ) ker p r 1 ) r 1 + p r 1 ) r 1. Let u = l+s=k ul,s ker + ). Tis amounts to u l,s + u l 1,s+1 = 0 for all l,s suc tat l +s = k. Applying p r and p r to tis identity and using te fact tat 0, we get p r u l,s = 0 and p r u l 1,s+1 = 0 for all l,s suc tat l +s = k, 11) since p r = 0 and p r = 0. Te last two identities follow from te fact tat Im resp. Im ) is ortogonal to ker resp. ker ), ence also to its subspace Hr p,q resp. Hr p,q ) onto wic p r resp. p r ) projects ortogonally. Meanwile, for suc a u, we ave: p r ) 1 ) r 1 + p r 1 ) r 1 u = l+s=k = l+s=k p r 1 ) r 2 ) 1 u l,s )+ p r 1 ) r 2 1 u l,s ) 1 p r ) 1 ) r 2 1 u l 1,s+1 ) 2 p r 1 ) r 2 1 u l+1,s 1 ), weretelastlinefollowedfromtepropertiesofteformsu l,s andfromtecommutationproperties 1 = 1 and 1 = 1. Now, te ortogonal decomposition Cl 1,s+1, C) = ker Im induces a splitting u l 1,s+1 = a l 1,s+2 +b l 1,s+1 wit b l 1,s+1 ker. Similarly, te ortogonal decomposition Cl+1,s 1, C) = ker Im induces a splitting u l+1,s 1 = c l+2,s 1 +d l+1,s 1 wit d l+1,s 1 ker. Terefore, in te last sum over l +s = k, we can re-write te following quantities as follows: and Suppose tat r = 2. We get 1 u l 1,s+1 = 1 b l 1,s+1 = 1 b l 1,s+1 = b l 1,s+1 1 u l+1,s 1 = 1 d l+1,s 1 = 1 d l+1,s 1 = d l+1,s 1. 14

15 p r ) 1 ) r 1 + p r 1 ) r 1 u = l+s=k = l+s=k = l+s=k 1 p r b l 1,s+1 2 p r d l+1,s 1 ) 1 ) p r a l 1,s+2 +b l 1,s+1 ) 2 p r c l+2,s 1 +d l+1,s 1 ) 1 ) p r u l 1,s+1 2 p r u l+1,s 1 = 0, were te identity on te tird row follows from p r a l 1,s+2 = p r ) a l 1,s+2 = 0 since p r = 0 as already explained) and p r c l+2,s 1 = p r ) c l+2,s 1 = 0 since p r = 0 as already explained), wile te last identity follows from 11). Tus, inclusion 8) is proved in te case wen r = 2. To prove inclusion 8) for r 3, one can run constructions of families of forms satisfying properties similar but dual and, for one of te two families, conjugated ) to tose in 10). Indeed, as in te case r = 2 tat serves as te first stage of te inductive construction, te relevant ortogonal decompositions are Cl j,s+j, C) = ker Im and Cl+j,s j, C) = ker Im. Te details will not be repeated. 2) Summing up, as in te case of = described in Conclusion 2.3, we get an analogous family of pseudo-differential operators r) ) C for every integer r 2 and te already discussed family r) of differential operators ) C for r = 1). Te kernel of : Ck, C) C k, C) will be denoted by H, C) and te analogous notation is used for. r) k Conclusion 2.6. Let, ω) be a compact complex Hermitian manifold wit dim C = n. For every integer r 2 and every degree k {0,...,2n}, we ave C families of elliptic differential operators ) C independent of r) and, respectively, elliptic pseudo-differential operators r) ) C from Ck, C) to C k, C) suc tat i) 0 = and r) 0 = r), were r) was defined in 6); ii) H k, C) = H k r), C) Hd k, C) iii) H k 0, C) Hp,q, C) and H for all C\{0}; r) k Te Frölicer approximating vector bundle, C) Ep,q r ). We start wit a preliminary observation. Wen = 0, d becomes, so 0 becomes : Ck, C) C k, C)andHk d 0, C) = E p,q 1, C). Telinearmapθ 0 : HDR k, C) Hd k 0, C) reduces to θ 0 : HDR k, C) H0,k, C) H d k 0, C), {u} DR [u 0,k ], were u 0,k is te component of type 0, k) of any given k-form u. It is not bijective and may not even be surjective in general. 15

16 However, we sall now see ow te space H 0,k, C) = E 0,k 1 ) can be ajusted to make θ 0 surjective in coomology. Te following statement also sows tat no ajustment is necessary in te special case wen E 1 ) = E ). Lemma 2.7. Let be a compact complex manifold wit dim C = n. For every k {0,...,2n}, te C-linear map θ 0 : H k DR, C) Hk d 0, C) reduces to te surjective C-linear map: θ 0 : H k DR, C) E 0,k k+2 ), {u} DR {u 0,k } Ek+2, were { } Ek+2 stands for te E k+2 -coomology class. Also note tat if r is te smallest positive integer suc tat te Frölicer spectral sequence of degenerates at E r, ten E 0,k k+2 ) = E0,k r ) for every k {0,...,2n}. Proof. If u = r+s=k ur,s is a k-form, θ u = r+s=k r u r,s for every C. So, θ 0 u = u 0,k. Tus, at te level of differential forms, te linear map θ 0 : Ck, C) C 0,k, C) is always surjective. Now, a smoot k-form u = r+s=k ur,s is d-closed if and only if u 0,k = 0,... u l,k l = u l+1,k l 1,... u k,0 = 0, 12) for all l {0,...,k 1}, wile u is d-exact if and only if tere exists a smoot k 1)-form v = k 1 s=0 vs,k s 1 suc tat u 0,k = v 0,k 1,..., u l,k l = v l 1,k l + v l,k l 1,... u k,0 = v k 1,0, 13) for all l {1,...,k 1}. Condition 12) is precisely te necessary and sufficient condition for an arbitrary 0, k)-form u 0,k to represent an E k+2 -coomology class. See, e.g. i) of Proposition 3.1. Note also tat, for bidegree reasons, te last condition u k,0 = 0 in 12) is equivalent to u k,0 Im.) Tus, te class {u 0,k } Ek+2 is meaningful for every d-closed k-form u and, conversely, every 0, k)-form u 0,k representing an E k+2 -coomology class can be completed to a d-closed k-form u by te addition of forms u l,k l solving te equations in 12) corresponding to l {0,...,k 1}. Te latter fact will prove tat te map HDR k, C) {u} DR {u 0,k } Ek+2 E 0,k k+2 ) is surjective once we ave finised proving its well-definedness. Meanwile, te first property u 0,k Im in 13) suffices to guarantee tat {u 0,k } Ek+2 = 0 wenever u is d-exact. Terefore, te class {u 0,k } Ek+2 is independent of te coice of representative u of te De Ram class {u} DR HDR k, C). It follows tat te map Hk DR, C) {u} DR {u 0,k } Ek+2 E 0,k k+2 ) is well defined. To prove te last conclusion of Lemma 2.7, recall tat Er a,b ) = E a,b a,b. In particular, E 0,k k+2 ) = E0,k r ) if k +2 r. If k +2 < r, all te maps d 0,k s ) for all s r and all l : E 0,k l ) ) vanis identically wen l k + 2 because k l < 0, so E l,k l+1 l ) = 0. Since te map d k 2,2k+1 k+2 : E k 2,2k+1 k+2 ) E 0,k k+2 ) and its counterparts d l,k+l 1 l for all l k + 2 vanis identically for bidegree reasons, we get E 0,k k+2 ) = E0,k l ) = Er 0,k ) for all l {k +2,...,r}. E l,k l+1 l 16

17 2.3.1 Te absolute case As a first application of te pseudo-differential operators, we obtain a olomorpic vector bundle over C wose fibre above 0 is defined by te page in te Frölicer spectral sequence of on wic degeneration occurs. Corollary and Definiton 2.8. Let be a compact complex manifold wit dim C = n. Let r N be te smallest positive integer suc tat te Frölicer spectral sequence of degenerates at E r. For every k {0,...,2n}, tere exists a olomorpic vector bundle A k C, of rank equal to te k-t Betti number b k of, wose fibres are A k = Hk d, C) if C\{0}, and A k 0 = Er p,q ) if = 0, and wose restriction to C \ {0} is isomorpic to te constant vector bundle H k C C \ {0} of fibre H k DR, C) under te olomorpic vector bundle isomorpism θ = θ ) C : H k C A k C. Te vector bundle A k C will be called te Frölicer approximating vector bundle of in degree k. Proof. Recall tat dim C Hd k, C) = b k for every 0. Fix any Hermitian metric ω on. If r = 1, te dimension of E p,q 1, C) equals b k and te fibre A k 0 is isomorpic to te kernel of = 0 : Ck, C) C k, C). Tus, te C family ) C of elliptic differential operators as te property tat te dimension of te kernel of : Ck, C) C k, C) is independent of C. Te classical Teorem 5 of Kodaira-Spencer[KS60] ensures tat te armonic spaces H k, C) depend in a C way on C. Terefore, tey form a C vector bundle over C, as do te vector spaces A k to wic tey are isomorpic. If r = 2, te dimension of E p,q 2, C) equals b k and te fibre A k 0 is isomorpic to te kernel of = 0 : Ck, C) C k, C) by Teorem 1.1 in [Pop16]. Te classical Teorem 5 of Kodaira-Spencer [KS60] still applies to te C family ) C of elliptic pseudo-differential operators cf. argument in [Mas18] for te case = 0), wose kernels ave dimension independent of C and equal to b k, see Conclusion 2.3), to ensure tat te armonic spaces H k, C) depend in a C way on C. As above, we infer tat te vector spaces A k, to wic te armonic spaces H k, C) are isomorpic for all C cf. Conclusion 2.3), form a C vector bundle over C. If r 3, te dimension of Er p,q, C) equals b k and te fibre A k 0 is isomorpic to te kernel of r) r) = 0 : Ck, C) C k, C) cf. Conclusion 2.6). Te classical Teorem 5 of Kodaira-Spencer [KS60] still applies to te C family r) ) C of elliptic pseudo-differential operators cf. argument in [Mas18] for te case of ) wose kernels ave dimension independent of C and equal to b k ) to ensure tat te armonic spaces H k r), C) depend in a C way on C. We infer as above tat te vector spaces A k, C) are, to wic te armonic spaces Hk r) isomorpic for all C cf. Conclusion 2.6), form a C vector bundle over C. Meanwile, we know from [Pop17, Lemma 2.5] see also Introduction) tat for every 0, te linear map θ : HDR k, C) Hk d, C) defined by θ {u} DR ) = {θ u} d is an isomorpism of C-vector spaces. Since θ depends olomorpically on and te space HDR k, C) is independent 17

18 of, we infer tat te C-vector spaces Hd k, C) form a olomorpic vector bundle over C\{0}. However, we know from te above argument tat tis olomorpic vector bundle extends in a C way across 0 to te wole of C. Tis extension must ten be olomorpic. Te discussion tat follows in te remainder of tis will not be used in te proof of Teorem 1.1, so te reader only interested in tat proof may wis to skip it. We will now define a natural analogue of a natural connection on every vector bundle A k C. We need te following simple observation. Lemma 2.9. Let be any complex manifold. For every C, te pointwise linear map θ : k Λ k T k Λ k T as te following properties: θ u v) = θ u θ v, u,v k Λ k T θ 1 2 = θ 1 θ 2, 1, 2 C. Moreover, θ 1 is te identity map and θ 1 = θ 1 for every C\{0}. Meanwile, d satisfies te Leibniz rule: wic also olds for = 0. d u v) = d u v + 1) degu u d v, u,v k Λ k T, Proof. Let u = p+q=l up,q and v = r+s=m vr,s be forms of respective degrees l and m. Ten θ u v) = p+q=l, r+s=m θ u p,q v r,s ) = In particular, θ 1 is te identity map. If 1, 2 C, ten θ 1 2 u = p+q=l, r+s=m p+q=l p+r u p,q v r,s = 1 2 ) p u p,q = p+q=l p+q=l, r+s=m p u p,q ) r v r,s ) = θ u θ v. θ 1 θ 2 u p,q ) = θ 1 θ 2 ) p+q=l u p,q ). In particular, θ θ 1 = θ 1 is te identity map. Te Leibniz rule for d wit 0 follows from d = θ dθ 1 and from te above properties of θ. Te Leibniz rule can also be cecked independently of θ and also olds for = 0 since d 0 =. We can define analogues D of te differential operators d for vector-bundle-valued differential forms by requiring D to coincide wit d on scalar-valued forms and to satisfy te Leibniz rule. Tus, wen 1, D differs from a standard connection only by te fact tat it does not coincide wit d on scalar-valued forms. Definition Let E be a C complex vector bundle on a complex manifold. Fix an arbitrary constant C. An -connection on E is a linear differential operator D : C, E) C, E) of order 1 tat satisfies te following conditions for all integers k,l: a) D : Ck, E) C k+1, E); b) D f s) = d f s+ 1) k f D s for every f C k, C) and every s C l, E). 18

19 For example, if D = D +D is any connection on a C complex vector bundle E over a complex manifold, ten for every C, D = D +D is an -connection on E. Tus, te family D ) C of differential operators defines a smoot omotopy for [0, 1] between te original connection D and its 0, 1)-connection D. Going back to te specific case of our Frölicer approximating vector bundle A k C, te construction of a connection-like object starts wit te following Definition In te setup of Corollary and Definition 2.8, let be te trivial connection extension of d) on te constant vector bundle H k C of fibre HDR k, C). For every l {0, 1, 2}, let D = D k) : Cl C\{0}, A k ) Cl C\{0}, A k ) be te linear 1-st order differential operator defined as Ds := θ θ 1 )s for every s Cl C\{0}, A k ). However, tis definition is very unsatisfactory since it only deals wit te restriction of A k to C. We will now define te analogue of a connection a kind of -connection but wit a moving ) on te wole of te olomorpic vector bundle A k C. We start by expressing te above D in a local trivialisation. Let {e 1,...,e bk } be a C-basis of H k DR, C). Ten, for every C, {θ e 1,...,θ e bk } is a C-basis of H k d, C). Tis defines a olomorpic frame for A k C. Te restriction of A k to C is tus seen to be te trivial vector bundle of rank b k ). If s C C, A k ) is a smoot section, ten s) = b k j=1 s j ) θ e j for all C, were te s j s are smoot C-valued functions on C. Hence, from Definition 2.11 we get Ds)) = b k j=1 θds j )) θ e j = b k j=1 d s j )) θ e j, C, were we put d s j )) := s j + s j )) = s j )d+ s j )d. 14) Note tat is at once te variable in C, wit respect to wic te partial differentiations are performed, and te factor by wic one of tem is multiplied. So, tis operator d on C were is moving) is not quite te same as te one used so far were was fixed and served as te coefficient of a computed w.r.t. variables independent of ). In order to extend te definition of D to = 0, te natural ting to do appears to be te replacement of d by d 0 =. However, θ 0 is not an isomorpism and tere is, in general, unless we make an assumption on, for example assuming tat is a -manifold, but we will stick wit our general setting) no canonical isomorpism between HDR k, C) and Er p,q ). However, wit every isomorpism θ 0 between tese two C-vector spaces, we will associate connection-like objects on te vector bundle A k C after duly modifying te above formula for D by canging te θ s to θ s wose limit wen 0 is θ 0. Indeed, every isomorpism θ 0 : HDR k, C) Er p,q ) can be deformed olomorpically in a non-unique and non-canonical way) to isomorpisms θ : HDR k, C) Hk d, C) wit ranging over a small open subset U C containing 0. Tis is done in te obvious way: pick any C-basis {e 1,...,e bk } of HDR k, C); consider te induced C- basis { θ 0 e 1,..., θ 0 e bk } of Er p,q ) and ten arbitrary extensions of te θ 0 e j s to olomorpic sections {ẽ 1,...,ẽ bk } wic form a C-basis of Hd k, C) at every point U and ẽ j 0) = θ 0 e j ) 19

20 of te olomorpic vector bundle A k over some small neigbourood U of 0 in C over wic A k is trivial; for every U, define θ : H k DR, C) Hk d, C) as te isomorpism taking te basis {e 1,...,e bk } to te basis {ẽ 1 ),...,ẽ bk )}. We now propose te following definition of connection-like objects on our Frölicer approximating vector bundle A k C. Definition Te setup is tat of Corollary and Definition 2.8. Wit every olomorpic section θ ) U H 0 U, EndH k, A k )) consisting of isomorpisms θ : H k DR, C) Hk d, C) over an open neigbourood U C of 0, and every C function χ : C C suc tat χ = 1 on 1 2 U, χ = 0 on C\U, we associate te following linear differential operator : C l C, A k ) C l+1 C, Ak ) of order 1 for every l {0, 1}. For every A k -valued smoot l-form s C l C, A k ), we put s)) := χ) b k j=1 d s j )) θ e j +1 χ)) b k j=1 d s j )) θ e j, C, were s) = b k j=1 s j ) θ e j for U and s) = b k j=1 s j ) θ e j for C. To prove tat satisfies te Leibniz rule, we first prove tis property for te operator d wit a moving C) defined in 14) as acting on C-valued forms on C. Since d d) = 0 and d d ) = 0, d acts non-trivially only on te function) coefficients of forms on C. Meanwile, for any form f on C, we will use te standard notation f/, resp. f/, for te form obtained by differentiating w.r.t., resp., te coefficients of f. Te very simple computations are summed up in Lemma i) For any C-valued differential forms f,g on C, we ave d f g) = d f g + 1) degf f d g. ii) For any smoot C-valued form f on C and any smoot A k -valued form s on C, we ave f s) = d f s+ 1) degf f s. Proof. i) It can be trivially cecked tat for every C-valued form f on C, we ave d f = 1) degf f ) f d+ d. From tis and from f g)/ = f/ ) g +f g/ ), we immediately get: d f g) = 1) degf g)+degg f ) f d+ d g + 1) degf g) f g ) g d+ d = 1) degf g)+degg 1) degf d f g + 1) degf g) 1) degg f d g, wic proves te contention. ii) It follows immediately from te definition and from i). 20

21 2.3.2 Te relative case We will now define te Frölicer approximating vector bundles of a olomorpic family t ) t B of compact complex n-dimensional manifolds induced by a proper olomorpic submersion π : B wose base B C N is an open ball about te origin in some complex Euclidean vector space. By te classical Eresmann Teorem, te differential structure of te fibres t is independent of t B, ence so is te Poincaré differential d, wic splits differently as d = t + t as te complex structure of t varies. In particular, te differential operators d depend on t except wen = 1), so we put d,t := t + t : Ck, C) C k+1, C), C, t B, k {0,...,2n}, were is te C manifold underlying te fibres t. Likewise, te pointwise linear maps θ wic are isomorpisms wen 0) depend on t because te splitting of k-forms into pure-type-forms depends on te complex structure of t ), so we put θ,t : Λ k T Λ k T, u = u p,q t θ,t u := p u p,q t. Wen 0, tis induces an isomorpism in coomology θ,t : HDR k, C) Hk d,t t, C) defined byθ,t {u} DR ) = {θ,t u} d,t, sinceθ,t d = d,t θ,t. Wen = 0,wesawinLemma2.7tatθ 0,t induces a surjective linear map θ 0,t : HDR k, C) E0,k k+2 t) for every t B defined by θ 0,t {u} DR ) = {u 0,k t } Ek+2, were u 0,k t is te component of type 0, k) of u w.r.t. te complex structure of t. Forevery k, let H k B be te constant vector bundle of rank b k = b k ) te k t Betti number of, or equivalently of any t ) wose fibre is te k t De Ram coomology group H k, C) of = of any t ). Tus, Ht k = HDR k t, C) = HDR k, C) for every t B. Let be te Gauss-Manin connection on H k. Recall tat tis is te trivial connection, given in te local trivialisations of H k by te usual differentiation d i.e. j f j e j ) = j df j) e j for any local frame {e j } of H k and any locally defined functions f j ) tanks to te transition matrices of H k aving constant entries. Recall tat te degeneration at E 1 of te Frölicer spectral sequence is a deformation open property of compact complex manifolds. Tus, if E 1 0 ) = E 0 ), ten E 1 t ) = E t ) for every t B, after possibly srinking B about 0. Tis follows at once from te upper semicontinuity of te Hodge numbers p,q t) and from te invariance of te Betti numbers b k of te fibres t.) However, wen r 2, te degeneration at E r of te Frölicer spectral sequence is not deformation open, so we will ave to assume it on all te fibres t for te sake of convenience. Corollary and Definiton Let π : B be a olomorpic family of compact complex n-dimensional manifolds over an open ball B C N about te origin. Suppose tat for an r N, te Frölicer spectral sequence of t degenerates at least) at E r for all t B and tat r is te smallest positive integer wit tis property. For every k {0,...,2n}, tere exists a olomorpic vector bundle A k C B, of rank equal to te k-t Betti number b k of = of any fibre t ), wose fibres are A k,t = Hk d,t t, C) for, t) C B, and A k 0,t = E p,q r t ) for 0, t) {0} B, 21

22 and wose restriction to C B is isomorpic to te constant vector bundle H k C B C B of fibre H k DR, C) under te olomorpic vector bundle isomorpism θ = θ,t),t) C B : H k C B A k C B. Te vector bundle A k C B is called te Frölicer approximating vector bundle of te family t ) t B in degree k. Proof. We know tat dim C Hd k,t t, C) = b k for all 0 and t B. Moreover, tanks to te E r -degeneration assumption on every fibre t, dim C Er p,q t, C) = b k for all t B. Tus, dim C A k,t = b k for all, t) C B. Now, fix an arbitrary C family ω t ) t B of Hermitian metrics on te fibres t ) t B and consider te C family,t ),t) C B of elliptic differential operators defined in every degree k by analogy wit te absolute case as,t = d,t d,t +d,td,t : C k, C) C k, C), were te formal adjoint d,t is computed w.r.t. te metric ω t. Te kernels ker,t are isomorpic to te vector spaces A k,t, ence tey ave a dimension independent of, t) C B and equal to b k ). Tis implies, via te Kodaira-Spencer teory [KS60], tat A k C B is a C complex vector bundle of rank b k. Tis vector bundle is even olomorpic since, as pointed out in te statement, te C vector bundle isomorpism θ = θ,t ),t) C B : H k A k, viewed as a section of EndH k, A k ), depends in a olomorpic way on, t) C B. Note tat no assumption on te spectral sequence is necessary to get tis conclusion on C B. On te oter and, for every fixed t B, we know from te absolute case of Corollary and Definition 2.8 tat C A k,t is a olomorpic vector bundle of rank b k) over C. We conclude tat near te points of te ypersurface {0} B C B, te entries of te transition matrices of te vector bundle A k C B are functions g, t) on open subsets U \{0} B) C B were U is an open subset of C B) wit te following two properties: -tefunction, t) g, t) is olomorpic in te complement of te ypersurface U {0} B) in U; -for every t B, te olomorpic function 0 g, t) extends olomorpically across 0. Terefore, te resulting functions g, t), defined for all, t) U C B, must be olomorpic on te wole of U, proving tat C B, t) A k,t is a olomorpic vector bundle over C B. We now discuss a family counterpart to te -connection of As tis discussion plays no role in te proof of Teorem 1.1, some readers may wis to skip to.3. For every C \ {0}, let us consider te olomorpic vector bundles H k := Hk, B and A k := Ak, B, as well as te maps θ : C B, H k) C B, A k ) between teir spaces of global C sections induced by te isomorpisms θ,t : HDR k, C) Hk d,t t, C) wit 0. We will need te following extension of te maps θ : C B, H k) C B, A k ) to C forms of arbitrary degree l wit values in tese vector bundles. Definition For every l {0,...,2N} and every C \ {0}, we define te map θ : C l B, H k ) C l B, A k ) by 22