Arxiv:1902.10397V2 [Math.AG] 6 Nov 2019 That Usin112;Isedw Ilase H Olwn Usin(E Th (See Question Following 1.2

arXiv:1902.10397v2 [math.AG] 6 Nov 2019 that usin112;isedw ilase h olwn usin(e Th (see question following 1.2. an the to Question answer unable will are we We instead 4.13). 1.1(2); Theorem K¨ahlerQuestion (See and compact is family ups htfrevery for that Suppose once br,adlet and fibers, connected usin1.1. e Question an for [3] (see prin [2]. zero holomorphic surface is to Riemann generalizes compact bundle e criterion of vector degree this the holomorphic kno criterion); if Atiyah-Weil is the only which and of [11] if [1], component connection Weil, holomorphic a and admits Atiyah surface to due prin criterion theorem in A connections Atiyah-Weil holomorphic manifold. of complex notion a the introduced Atiyah [1], In elcriterion. Weil eaiedrvto from derivation relative bundle and ha fmdls e ( Let modules. of sheaf eew hl nwrte(rt usin111,we ahfie o fiber each when 1.1(1), Question (first) the answer shall we Here ecnakfloigtobscquestions: basic two following ask can We e od n phrases. and words Key 2010 oase h bv usin,w hl eeo hoyo h rela the of theory develop shall we questions, above the answer To (2) (1) F π − ahmtc ujc Classification. Subject Mathematics ftefie ftecmlxaayi aiyi opc n K¨ahler. and compact is family analytic complex the connectio of holomorphic fiber relative relativ the the admitting that of bundle show We vector family. holomorphic analytic connect a complex holomorphic relative a a over of bundle existence vector the for given is condition Abstract. ̟ steeago rtro o h xsec farltv holo relative a of existence the for criterion E good a there Is vanish? Suppose ean be 1 ( ? | t E = ) t : O E X E X t Let Let mdl.I 6,Gohnic ecie h oinof notion the described Grothendieck [6], In -module. t eivsiaerltv oncin nasefo oue.Asufficien A modules. of sheaf a on connections relative investigate We −→ disarltv ooopi oncin oterltv C relative the Do connection. holomorphic relative a admits r once.Let connected. are π π NTERLTV CONNECTIONS RELATIVE THE ON asta ooopi etrbnl vracmatRiemann compact a over bundle vector holomorphic a that says , X eaiecneto,rltv tyheatsqec,K¨ahler manif sequence, exact Atiyah relative connection, Relative : : t ,π π, O ̟ t X X NRNLBSA N NO SINGH ANOOP AND BISWAS INDRANIL Does . ∈ X : S ♯ −→ to −→ ( : ) E hr sahlmrhccneto nhlmrhcvector holomorphic on connection holomorphic a is there , F −→ E lo n[] ozldd“ieeta acls nthe in Calculus” “Differential did Koszul [8], in Also, . S S X, 1. di eaiehlmrhcconnection? holomorphic relative a admit easretv ooopi rprsbeso such submersion proper holomorphic surjective a be easretv ooopi rprsbeso with submersion proper holomorphic surjective a be X O Introduction 30,1F0 14H15. 14F10, 53C05, X ̟ eahlmrhcvco bundle. vector holomorphic a be ) : −→ 1 E ( −→ S, O X S eamrhs frne spaces ringed of morphism a be ) eahlmrhcvco bundle. vector holomorphic a be o naholomorphic a on ion opi oncinon connection morphic hr lse of classes Chern e h ope analytic complex the f aih feach if vanish, n ia ude vra over bundles cipal c indecomposable ach iecnetoson connections tive oe 4.14): eorem ia ude over bundles cipal wrte(second) the swer psto fthe of xposition S drvto or -derivation enclasses hern l,Atiyah- old, na the as wn t 2 I. BISWAS AND A. SINGH frame work of commutative algebra, which can be reformulated in sheaf theoretic manner. We recall in Section 2, from [6] and [8], some preliminaries regarding relative derivations, relative connections, relative connections on associated X -modules, covariant derivative and connection-curvature matrices in the setup of ringedO spaces. In the third section, we define the relative differential operator between sheaves of X -modules and symbol map of a first order relative differential operator. In Section 4,O we recall the notion of complex analytic family, which is done in [9] in great detail. We establish the symbol exact sequence (see Proposition 4.2). Proposition 1.3 (Symbol exact sequence). Let π : X S be a holomorphic proper submersion of complex manifolds with connected fibers, and−→ let , be two locally free -modules of rank r and p respectively. Then the sequence F G OX ı 1 σ1 0 om X ( , ) iff S( , ) er S( X , om X ( , )) 0 → H O F G −→D F G −→D O H O F G → is an exact sequence of -modules. OX This (symbol) exact sequence is used in defining relative Atiyah algebra. The notion of relative holomorphic connections on an analytic coherent sheaf was introduced by Deligne [4], which coincides with the definition given here if it is formulated in the holomorphic setting. Given a relative holomorphic connection on a holomorphic vector bundle, there is an induced family of holomorphic connections; more precisely we prove the following (see Proposition 4.5): Proposition 1.4. Let π : X S be a surjective holomorphic proper submersion with ̟ −→ connected fibers, and let E X be a holomorphic vector bundle. Suppose that we have a holomorphic S-connection−→D on E. Then for every t S, we have a holomorphic connection D on the holomorphic vector bundle E X∈. In other words, we have a t t → t family Dt t S of holomorphic connections on the holomorphic family ̟ : Et X t { S | of∈ vector} bundles. { → t | ∈ } Next, we define the relative Chern classes of a complex vector bundle over a complex analytic family, and prove the following (see Theorem 4.13): Theorem 1.5. Let π : X S be a surjective holomorphic proper submersion, such 1 −→ ̟ that for each t S, π− (t)= Xt is compact connected K¨ahler manifold. Let E X be a holomorphic vector∈ bundle. Suppose that E admits a holomorphic S-connection.−→ Then all the relative Chern classes CS(E) 2p (X/S)(S) of E over S, are zero. p ∈ HdR In last subsection 4.G, we prove a sufficient condition for the existence of relative holomorphic connection. More precisely, we prove the following (see Theorem 4.14): Theorem 1.6. Let π : X S be a surjective holomorphic proper submersion such 1 −→ that π− (t) = Xt are connected. Let ̟ : E X be a holomorphic vector bundle. Suppose that for every t S, there is a holomorphic−→ connection on holomorphic vector bundle ̟ : E X , and∈ |Et t → t 1 1 H (S, π (ΩX/S ( nd X (E)))) = 0 . ∗ E O Then, E admits a holomorphic S-connection.

. ON THE RELATIVE CONNECTIONS 3

2. S-Connections

In this section, we shall introduce the notion of S-derivation following [6] and relative connection (or S-connection). Throughout this section we shall assume that (X, X ), ♯ O (S, S) are two ringed spaces, while (π, π ) : (X, X ) (S, S) is a morphism betweenO them. O −→ O

2.A. S-Linear morphism of sheaves

Let , be two X -modules. A morphism α : of sheaves of abelian groups is F G O F → G 1 said to be S-linear if for every open subset V S, for every open subset U π− (V ), for every t (U) and for every s (V ),⊂ we have ⊂ ∈ F ∈ OS ♯ ♯ −1 −1 α(ρU,π (V )(πV (s))t) = ρU,π (V )(πV (s))α(t) , 1 where ρU,π−1(V ) : X (f − (V )) X (U) is the restriction map. We denote by O −→ O ♯ −1 omS( , ) the sheaf of S-linear morphism from to . We denote ρU,π (V )(πV (s)) by Hs . F G F G |U 2.B. S-derivation For the following definition see [6] (Chapitre IV, 16.5). Let be an -module. An S-derivation from to is a morphism F OX OX F δ : OX →F of sheaves of abelian groups which satisfies the following conditions: (1) δ is an S-linear morphism. (2) (Leibniz rule.) For every open subset U X, and for every a, b (U), we have ⊂ ∈ OX δU (ab) = aδU (b)+ δU (a)b . The set of all S-derivation from to form a left (X)-module denoted by OX F OX Der ( , ) . S OX F For every open subset U X, we note that Der ( , ) is a left (U)-module. ⊂ S OX |U F|U OX For every open subset U X, the assignment U DerS( X U , U ) is a sheaf of -module and it is denoted⊂ by er ( , ). 7−→ O | F| OX D S OX F Let nd ( ) denote the sheaf of S-linear endomorphism on . Then nd ( ) is an E S F F E S F X -module. In particular, if we take = X , then nd S( X ) is a sheaf of Lie algebras Owith respect to the bracket operationF definedO as follows:E O [ξ, η] = ξ η η ξ ◦ − ◦ for every open subset U X and for all ξ, η nd S( X )(U). We note that er S( X , X ) is a Lie subalgebra of nd⊂ ( ). ∈ E O D O O E S OX ♯ Theorem 2.1. Let (π, π ):(X, X ) (S, S) be a morphism of ringed spaces. Then there exists a unique –module,O denoted−→ by ΩO1 , and endowed with an (universal) S- OX X/S derivation d : Ω1 X/S OX −→ X/S 4 I. BISWAS AND A. SINGH satisfying following universal property: For any -module , and for any S-derivation OX F δ : , OX −→ F there exists a unique -module homomorphism OX α : Ω1 X/S −→ F such that δ = α d . ◦ X/S Proof. Cf. [6] (Proposition:16.5.3 on p. 28). 

2.C. S-Connections

Let be an X -module. An S-connection or relative connection on is an X – moduleF homomorphismO F O D : er ( , ) nd ( ) D S OX OX −→ E S F such that for every open subset U of X and for every ξ er S( X , X )(U), the (U)–module homomorphism ∈ D O O OX D : er ( , )(U) nd ( )(U) , ξ (D ) U D S OX OX −→ E S F 7−→ U ξ satisfies the Leibniz rule which says that ((D ) ) (ag) = ξ (a)g + a((D ) ) (g) U ξ V |V U ξ V for every open subset V of U, for all a (V ) and g (V ). ∈ OX ∈ F If π : X S is a holomorphic map of complex manifolds with connected fibers, and is a holomorphic−→ vector bundle over X, we call D a holomorphic S-connection. Similarly,F If π : X S is a smooth map of smooth manifolds and is a smooth vector bundle, we call−→D a smooth S-connection. F Remark 2.2. (1) We note that (D ) : is an S-linear endomorphism, where S- U ξ F|U −→ F|U linearity is with respect to π U : U S. (2) The inclusion map | −→ ( ) ǫ : er ( , ) ֒ nd D S OX OX → E S OX is an S-connection on the X -module X , and it is called the canonical S- connection on . To avoidO the cumbersomeO notation (D ) , we shall simply OX U ξ denote it by Dξ.

2.D. S-Connections on the associated -modules OX i Let ( i)i I be a family of X -modules, and for each i I, let D be an S-connection on F ∈ O ∈ i. Then the various X -modules obtained from ( i)i I by functorial construction has naturalF S-connections.O F ∈ ON THE RELATIVE CONNECTIONS 5

2.D.1. Direct Sum. If = M i , F F i I ∈ and if we define i Dξ(u)=(Dξ(ui))i I ∈ for all sections ξ of er S( X , X ) and all u = (ui)i I of , then we get an S-connection D O O ∈ F i D on . In particular, if we take each i to be X and each D to be ǫ, the canonical S-connectionF on , then every free F-moduleO has a canonical S-connection. OX OX 2.D.2. Tensor products. Suppose I = 1, 2, ,p , where p is an integer 1. Then for every open subset U of X, and for each{ ξ ··· er} ( , )(U), there exists≥ a unique ∈ D S OX OX S-linear endomorphism Dξ of 1 p such that on the presheaf level it is N X N X given by the formula F O ··· O F p i Dξ(s1 X X sp) = X s1 X X si 1 X Dξ(si) X si+1 X X sp ⊗O ···⊗O ⊗O ···⊗O − ⊗O ⊗O ⊗O ···⊗O i=1 for every s1 X X sp 1(U) (U) (U) p(U). This gives an S-connection ⊗O · · ·⊗O ∈ F NOX ··· NOX F on 1 p. NOX NOX F ··· F p Suppose that 1 = 2 = = p = , and denote 1 p by T ( ). N X N X X 0 F F ··· F F F O ··· O F O F Equip T X ( ) = X with the canonical S-connection ǫ on X , and for each p 1, equip T p ( )O withF the SO-connection induced by the S-connectionO D on ; this S-connection≥ X O pF p F on T ( ) will be denoted by D . Recall that the tensor algebra of X -module is a OX F O F graded X -algebra O p T X ( ) = M T ( ) . O F OX F p N ∈

Let D be the connection on the X -module T X ( ), which is the direct sum (see Section 2.D.1) of the connections. It is calledO the inducedO F connection on T ( ). OX F Remark 2.3. On tensor algebra T ( ), we have OX F D (s t)= D (s) t + s D (t), ξ ⊗ ξ ⊗ ⊗ ξ for all local sections ξ of er S( X , X ) and local sections s, t of T ( ). D O O OX F

2.D.3. Submodule and quotient module. Let be an X -module with an S-connection D, and let be an -submodule of . LetF denoteO the quotient -module / . G OX F H OX F G Suppose that for every section ξ of er S( X , X ), we have Dξ( ) . Then D will induce an S-connection on and onD . O O G ⊂ G G H 2.D.4. Symmetric algebra and exterior Algebra. Let D be an S-connection on . The F S-connection on the tensor algebra T X ( ) induced by D will also be denoted by D. Let denote the two sided ideal sheaf ofOT F( ) described as follows: I OX F for every open subset U of X, let (U) be the two sided ideal in T X ( )(U) generated by elements of the form s t t s,I where s, t (U). Then D ( )O F for all sections ⊗ − ⊗ ∈ F ξ I ⊂ I ξ of er S( X , X ). Thus, by above Section 2.D.3, we get an S-connection D on the symmetricD O algebraO Sym ( ) = T ( )/ OX F OX F I 6 I. BISWAS AND A. SINGH of . F Similarly, let denote the two sided ideal sheaf of T X ( ) generated by the local J 2 O F sections s s of T X ( ), where s is a local section of . Then we have Dξ( ) for all local sections⊗ ξOof Fer ( , ), and hence a connectionF on the exteriorJ algebra⊂ J D S OX OX Λ ( ) = T ( )/ OX F OX F J of is obtained. F Remark 2.4. p p p (1) For all p N, we have Dξ(Sym ( )) Sym ( ), where Sym ( ) is the ∈ OX F ⊂ OX F OX F p-th graded component of the symmetric algebra Sym X ( ). Consequently, we get an S-connection on Symp ( ). Similarly, we get anOS-connectionF on Λp ( ). OX F OX F (2) We have Dξ(ss′) = Dξ(s)s′ + sDξ(s′)

for all local sections ξ of er S( X , X ) and s,s′ of Sym ( ), and D O O OX F D (t t′) = D (t) t′ + t D (t′) ξ ∧ ξ ∧ ∧ ξ for all local sections ξ of er S( X , X ) and t, t′ of Λ ( ). D O O OX F

2.D.5. S-Connection on om ( , ). Let , be X -modules with S-connections DF H OX F G F G O and DG respectively. For every local section ξ of er ( , ), let D be the S-linear D S OX OX ξ endomorphism of the X -module om ( , ),which is defined by O H OX F G D (h)= DG h h DF , ξ ξ ◦ − ◦ ξ for all local sections h of om ( , ). Then the morphism H OX F G D = ξ Dξ : er S( X , X ) nd S( om ( , )) 7→ D O O →E H OX F G is an S-connection on om ( , ). H OX F G Remark 2.5.

(1) If = , and DF = DG, then the above S -connection D on nd S( ) is given byF G E F D (h) = [DF , h] = DG h h DG ξ ξ ξ ◦ − ◦ ξ for all local sections h of nd ( ). E S F (2) If = , and if DG is the canonical connection on , then the above connec- G OX OX tion on ∗ = om ( , X ) is given by F H OX F O D (f) = ξ f f DF ξ ◦ − ◦ ξ for all local sections f of ∗. F

2.D.6. S-Connection on X -module of X -multilinear maps. Let p 1 be an integer, O O 1 ≥2 p and let 1, 2, , p, be X -modules with S-connections D ,D , ,D ,DG re- spectively.F ForF every··· F openG subsetO U of X, define ···

( 1, , p; )(U) := L ( 1 U , , p U ; U ) , LOX F ··· F G OX |U F | ··· F | G| where L X U ( 1 U , , p U ; U ) is the X (U)-module of X U -multilinear maps from O | F | ··· F | toG| . TheO sheaf of -multilinearO | maps is denoted by F1|U × F2|U ×···×Fp|U G|U OX ON THE RELATIVE CONNECTIONS 7

( 1, , p; ). For every local section ξ of er S( X , X ), let Dξ be the S-linear LOX F ··· F G D O O endomorphism of the X -module ( 1, , p; ) defined by O LOX F ··· F G p i Dξ(ω)(u1,u2,...,up) = DξG(ω(u1,u2,...,up)) X ω(u1,...,ui 1,Dξ(ui),ui+1,...,up) , − − i=1 for all local sections ω of X ( 1, , p; ) and local sections (u1, u2, , up) of 1 . Then the morphismLO F ··· F G ··· F × F2 ×···×Fp D = ξ Dξ : er S( X , X ) nd S( ( 1, , p; )) 7−→ D O O −→ E LOX F ··· F G is an S-connection on ( 1, , p; ). LOX F ··· F G Remark 2.6. Let p ( , ) denote the -module ( , , ; ), where = X X X 1 p 1 LO F G O pLO F ··· F G F = p = . Let D be the S-connection on ( , ) induced by DF and DG. ··· Fp F p LOX F G p Let ym ( , ) (respectively, lt ( , )) denote the -submodule of ( , ) X X X X S O F G A O F G O LO p F G consisting of symmetric (respectively, alternating) X -multilinear maps from to . Then O F G p p Dξ( ym ( , )) ym ( , ) S OX F G ⊂ S OX F G (respectively, D ( ltp ( , )) ltp ( , )). Therefore, D induces an S-connection ξ X X on the -submodulesA O F G ⊂ A O F G OX ymp ( , ) and ltp ( , ) S OX F G A OX F G of p ( , ). LOX F G 2.D.7. Compatibility of multilinear maps and S-connections. Let p 1, and let ≥ , , , F1 ··· Fp G 1 p be -modules with S-connections D , ,D ,DG respectively. Let OX ··· µ : F1 ×F2 ×···×Fp −→ G 1 2 p be an -multilinear map. We say that D ,D , ,D ,DG, µ are compatible if for OX ··· every local section ξ of er S( X , X ), and for all local sections (u1, u2, , up) of , we haveD O O ··· F1 ×F2 ×···×Fp p i DξG(µ(u1, ,up)) = X µ(u1, ,ui 1,Dξ(ui),ui+1,...,up) . ··· ··· − i=1 The following proposition is straight-forward to prove. Proposition 2.7. Let , and be -modules, and let F G H OX µ : F × G −→ H be a X -bilinear map. Let be any X -module and p 1, q 1. Then, we have a -bilinearO map K O ≥ ≥ OX : ltp ( , ) ltq ( , ) ltp+q( , ) ∧ A OX K F ×A OX K G −→ A OX K H defined by

α β(u1,...,up+q) = X sgn(σ)µ(α(uσ(1),...,uσ(p)), β(uσ(p+1) ...,uσ(p+q))) ∧ σ S(p,q) ∈ 8 I. BISWAS AND A. SINGH for all local sections α of ltp ( , ), and β of ltq ( , ), where S(p, q) is the set of A OX K F A OX K G all (p, q)-shuffles, that is, the set of all permutation σ Sp+q such that σ(1) < < σ(p) and σ(p + 1) < < σ(p + q). ∈ ··· ··· The construction in Proposition 2.7 produces the following corollary.

Corollary 2.8. Let DF ,DG and DH be S-connections on , and respectively, which F G H are compatible with µ. Let DK be an S-connection on . Denote the induced connections p p p+1 K on lt ( , ), lt ( , ) and lt ( , ) by DF , DG and DH respectively. Then A OX K F A OX K G A OX K H DF , DG, DH and are compatible, that is, ∧ DH(α β) = DF (α) β + α DG(β) ξ ∧ ξ ∧ ∧ ξ p q for all local sections ξ of er S( X , X ), α of lt ( , ) and β of lt ( , ). D O O A OX K F A OX K G 2.E. The relative Lie derivative

Let be an X -module and D an S-connection on . Let p 1 be an integer, U an openF subset ofOX, ξ er ( , )(U), and α Fp ( er (≥ , ), )(U). Then S X X X S X X the map ∈ D O O ∈ LO D O O F θ (α):( er ( , )(U))p (U) , ξ D S OX OX −→ F defined by p θξ(α)(η1, , ηp) = Dξ(α(η1, , ηp)) X α(η1, , ηi 1, [ξ, ηi], ηi+1, , ηp) ··· ··· − ··· − ··· i=1 for all η1, , ηp er S( X , X )(U), is an X (U)-multilinear map. Moreover, the map ··· ∈ D O O O p p θξ : ( er S( X , X ), )(U) ( er S( X , X ), )(U) FOX D O O F −→ FOX D O O F is S-linear, because Dξ is S-linear. The S-linear morphism p θ : er S( X , X ) nd S( ( er S( X , X ), )) D O O −→ E LOX D O O F is called the relative Lie derivation in degree p associated with D. Remark 2.9. (1) The relative Lie derivation satisfies the followings: θ (α + β) = θ (α)+ θ (β), • ξ ξ ξ θξ(aα) = ξ(a)α + aθξ(α), • θ (α) = θ (α)+ θ (α), and • ξ+ζ ξ ζ θsξ(α) = sθξ(α) for• all local sections α, β of p ( er ( , ), ), ξ, ζ of er ( , ), a of X S X X S X X , and s of . LO D O O F D O O OX OS (2) If α is alternating (respectively, symmetric), then so is θξ(α), that is, p p θξ( lt ( er S( X , X ), )) lt ( er S( X , X ), ) A OX D O O F ⊂ A OX D O O F p p (respectively, θξ( ym ( er S( X , X ), )) ym ( er S( X , X ), )). S OX D O O F ⊂ S OX D O O F ON THE RELATIVE CONNECTIONS 9

2.E.1. The Lie derivative and the exterior product. Let , , and be -modules F G H OX equipped with S-connections DF , DG and DH respectively. Let µ : be an -bilinear map. Take integers p 1 and q 1. Then, we have anF × G-bilinear −→ H map OX ≥ ≥ OX p q : lt ( er S( X , X ), ) lt ( er S( X , X ), ) ∧ A OX D O O F ×A OX D O O G p+q lt ( er S( X , X ), ) . −→ A OX D O O H Suppose that DF , DG, DH and µ are compatible, that is,

DξH(µ(u, v)) = µ(DξF (u), v)+ µ(u, DξG(v)) for all local sections ξ of er ( , ), u of , and v of . D S OX OX F G Then we have θ (α β) = θ (α) β + α θ (β) ξ ∧ ξ ∧ ∧ ξ where the Lie derivations are associated with their respective connections, while α and β are local sections of their respective -modules. OX 2.F. Covariant derivative

Let be an X -module and ξ er S( X , X )(U), where U X is an open subset, and Fp 2 anO integer. For each ∈ D O O ⊂ ≥ p α ( er S( X , X ), )(U) , ∈ LOX D O O F p 1 define (ıξ(α))U − ( er S( X , X ), )(U) by ∈ LOX D O O F (ıξ(α))U (η1, , ηp 1) = α(ξ, η1, , ηp 1) ··· − ··· − for all η1, , ηp 1 er S( X , X )(U). When α is of degree 0, we define ıξ(α)U = 0. ··· − ∈ D O O We call (ıξ(α))U the relative interior product of ξ and α over U. This yields an -module homomorphism OX p p 1 ı : er S( X , X ) om X ( ( er S( X , X ), ), − ( er S( X , X ), )) D O O −→ H O LOX D O O F LOX D O O F defined by ıU (ξ)(α) = ıξ(α)U , for every open subset U of X. The interior product satisfies the following properties: (1) ı = ı + ı , for all local sections ξ and η of er ( , ). ξ+η ξ η D S OX OX (2) ıaξ = aıξ, for all local sections a of X and ξ of er S( X , X ). (3) If D is an S-connection on , and Oθ the associatedD relativeO O Lie derivative, then for all local sections ξ, η of Fer ( , ), D S OX OX θ ı ı θ = ı . ξ ◦ η − η ◦ ξ [ξ,η] p (4) If α is a local section of lt ( er S( X , X ), then ıξ(ıξ(α)) = 0. A OX D O O (5) Let , and be -modules equipped with S-connections DF , DG and DH F G H OX respectively. Let µ : be an X -bilinear map. Let p 1 and q 1 be integers. Then, weF have ×G an −→ H-bilinearO map ≥ ≥ OX p q p+q : lt ( er S( X , X ), ) lt ( er S( X , X ), ) lt ( er S( X , X ), ) . ∧ A OX D O O F ×A OX D O O G −→ A OX D O O H Suppose that DF , DG, DH and µ are compatible, that is,

DξH(µ(u, v)) = µ(DξF (u), v)+ µ(u, DξG(v)) 10 I. BISWAS AND A. SINGH

for all local sections ξ of er ( , ), u of , and v of . Then D S OX OX F G ı (α β) = ı (α) β +( 1)pα ı (β) , ξ ∧ ξ ∧ − ∧ ξ where the Lie derivations are associated with their respective connections, while α and β are local sections of their respective -modules. OX Proposition 2.10. Let D be an S-connection on an X -module . Then, there exists a unique family of S-linear morphism O F p p+1 d = dp : lt ( er S( X , X ), ) lt ( er S( X , X ), ) , A OX D O O F −→ A OX D O O F where p N, such that ∈ θ = d ı + ı d ξ ◦ ξ ξ ◦ for all local sections ξ of er ( , ). D S OX OX Proof. This is proved in [8, p. 11, Chapter I, Theorem 2]. 

The S-linear morphism d in Proposition 2.10 is called the covariant derivative asso- ciated with D.

2.F.1. Explicit formula for the covariant derivative. The following proposition is straight- forward.

Proposition 2.11. Let D be an S-connection on an X -module . Then, the covariant derivative with respect to D is given by O F p+1 i+1 ˆ d(α)(ξ1, ,ξp+1) = X( 1) Dξi (α(ξ1, , ξi,...,ξp+1)) ··· − ··· i=1 (i+1) ˆ ˆ + X ( 1) α([ξi,ξj],ξ1,..., ξi,..., ξj,...,ξp+1) − 1 i

(1) d(α)(ξ) = Dξ(α) for all local sections α of and ξ of er S( X , X ). F D O O 2 (2) d(α)(ξ, η) = Dξ(α(η)) Dη(α(ξ)) α([ξ, η]), for all local sections α of lt ( er S( X , X ), ) − − A OX D O O F and ξ, η of er S( X , X ). (3) d(α)(ξ,η,ν)D = O (OD (α(η, ν)) α([ξ, η], ν)). Pcyclic ξ − 2.F.2. Covariant derivative and exterior product. The following proposition is straight- forward.

Proposition 2.13. Let , and be -modules equipped with S connections DF , DG F G H OX and DH respectively. Let µ : be an X -bilinear map. Suppose that DF , F × G −→ H O p , DH and µ are compatible. Then for all local sections α of lt ( er S( X , X ), ) G A OX D O O F and β of lt• ( er S( X , X ), ), we have A OX D O O F d(α β) = d(α) β +( 1)pα d(β) . ∧ ∧ − ∧ Proposition 2.13 gives the following: ON THE RELATIVE CONNECTIONS 11

Corollary 2.14. Let be an -module with connection D. Then F OX d(aα) = d(a) α + ad(α) ∧ for all local sections a of X and α of lt• X ( er S( X , X ), ), where d(a) is the covariant derivative of a withO respect to theA canonicalO D connectionO O onF . OX 2.G. The curvature form Let D be an S-connection on an -module , and let OX F +1 • • d : lt X ( er S( X , X ), ) lt ( er S( X , X ), ) A O D O O F −→ A OX D O O F be the covariant derivative associated with D. Then the map 2 +2 • • d d = d : lt X ( er S( X , X ), ) lt ( er S( X , X ), ) ◦ A O D O O F −→ A OX D O O F is called the curvature operator of D, and it will be denoted by R. 0 Let α be a local section of lt X ( er S( X , X ), ) = . Then R(α) = d(d(α)) is a 2 A O D O O F F local section of lt X ( er S( X , X ), ). Let ξ and η be local sections of er S( X , X ). Then A O D O O F D O O R(α)(ξ, η) = d(d(α))(ξ, η) = D (d(α)(η)) D (d(α)(ξ)) d(α)([ξ, η]) ξ − η − = D (D (α)) D (D (α)) D (α) . ξ η − η ξ − [ξ,η]

Thus, for every open subset U of X and for all sections ξ, η er S( X , X )(U), we get an -module homomorphism ∈ D O O OX |U K (ξ, η): U F|U −→ F|U defined by K (ξ, η) = D D D D D . U ξ ◦ η − η ◦ ξ − [ξ,η] Hence these K together define an -bilinear map U OX K : er S( X , X ) er S( X , X ) nd ( ) . D O O ×D O O −→ E OX F The following is straight-forward. Proposition 2.15. The above -bilinear map K is an alternating map. OX

The alternating X -bilinear map K is called the curvature form of D. We say the S-connection is flatOif the curvature form is identically zero.

2.H. Connection and curvature matrices Let be a locally free coherent -module of rank r. Let U be an open subset of X F OX such that U is a free X U -module. Let s = (s1, , sr) be an X U -basis of U . For each ξF| er ( ,O |)(U), define an r r matrix··· O | F| ∈ D S OX OX × ω(ξ)=(ωij(ξ))1 i,j r ≤ ≤ of elements of (U) by the equation OX r Dξ(sj) = X ωij(ξ)si (1 j r) . ≤ ≤ i=1 12 I. BISWAS AND A. SINGH

We, thus get, for every i, j 1, , r , an element ω of ∈ { ··· } ij 1 om X ( er S( X , X ), X )(U) = lt ( er S( X , X ), X )(U) . H O D O O O A OX D O O O 1 This gives an r r matrix ω = (ωij)1 i,j r, where entries are sections of lt X ( er S( X , X ), X ) over U. It is called× the connection≤ matrix≤ of D with respect to s.A ConsideringO D Os =O O 1 (s1, , sr) as a row vector, this ω is the unique r r matrix over lt X ( er S( X , X ), X )(U) such··· that × A O D O O O

Dξ(ω) = sω(ξ) for all ξ er ( , )(U). If u = r a s (U), where a (U), then ∈ D S OX OX Pj=1 j j ∈ F j ∈ OX Dξ(u) = s(ξ(a)+ ω(ξ)a) for all ξ er ( , )(U). If ∈ D S OX OX 0 1 d = dX/S : lt ( er S( X , X ), X ) = X lt ( er S( X , X ), X ) A OX D O O O O −→ A OX D O O O is the covariant derivative associated with canonical connection on , then OX Dξ(u) = s(d(a)+ ω(ξ)a) for all ξ er ( , )(U). ∈ D S OX OX Let t = (t , , t ) be another -basis of , and t = r a s , for all 1 ··· r OX |U F|U j Pi=1 ij i 1 j r. Then the matrix a = (aij)1 i,j r is an element of GLr( X (U)). Let ω′ be the≤ connection≤ matrix of D with respect to≤ t≤. Then we have O 1 1 ω′ = a− da + a− ωa . Let K be the curvature form of D. For all ξ, η in er ( , )(U), let D S OX OX Ω(ξ, η) = (Ωij(ξ, η))1 i,j r ≤ ≤ be the r r matrix over (U), defined by × OX r K(ξ, η)(sj) = X Ωij(ξ, η)si i=1 for 1 j r. We thus get for all i, j 1, , r an element ≤ ≤ ∈ { ··· } 2 Ωij lt er S( X , ) X , X (U) . ∈ A OX D O O O
2 This gives a r r matrix Ω = (Ωij)1 i,j r whose entries are sections of lt X ( er S( X , X ), X ) over U. It is× called the curvature≤ matrix≤ of D with respect to sA. ConsideringO D O s O= O 2 (s1, , sr) as a row vector, this Ω is the unique r r matrix over lt X ( er S( X , X ), X )(U) such··· that × A O D O O O K(ξ, η)s = sΩ(ξ, η) for all ξ, η er ( , )(U). ∈ D S OX OX We have Ω = dω + ω ω. If t = (t , , t ) is another -basis of as above, ∧ 1 ··· r OX |U F|U and Ω′ is the curvature matrix of D with respect to t, then 1 Ω′ = a− Ωa , where a = (aij)1 i,j r as before. ≤ ≤ ON THE RELATIVE CONNECTIONS 13

3. S-Differential Operator

3.A. First order S-differential operator

♯ Let (π, π ):(X, X ) (S, S) be a morphism of ringed spaces. Let and be two -modules. A firstO order−→ S-differentialO operator is a morphism F G OX P : F −→ G of sheaves of abelian groups such that (1) P is an S-linear morphism, and (2) for every open subset U X and for every f X (U), the bracket [P U , f]: defined as ⊂ ∈ O | F|U −→ G|U [P , f] (s) = P (f s) f P (s) |U V V |V − |V V is an -module homomorphism for every open subset V U and all s (V ). OU ⊂ ∈ F 1 1 Let DiffS( , ) denote the set of all first order S-differential operator. Then DiffS( , ) F G 1 F G is an X (X)-module. For every open subset U of X, U DiffS( U , U ) is a sheaf of first orderO S-differential operator from to . This7−→ sheaf is denotedF| G| by iff 1 ( , ). F|U G|U D S F G 3.B. Symbol of a first order S-differential operator Given a first order S-differential operator P : , define a morphism of abelian sheaves F −→ G θ : X om ( , ) O −→ H OX F G by θU (f) = [P U , f] for every open subset U X and f X (U). Then θ is an S- | 1 ⊂ ∈ O derivation. For every W S, V π− (W ), s S(W ), t X (V ), and u (V ), we have, by S-linearity of⊂P , ⊂ ∈ O ∈ O ∈F θ (s t)(u) = [P , s t](u) V |V |V |V = P (s t)(u) s tP (u) |V − |V = (s )P (t)u s tP (u) |V − |V = (s )[P , t](u) . |V |V Thus θ is an S-linear morphism. Next, to verify θ satisfies Leibniz rule, for every f, g (U), where U X is any ∈ OX ⊂ open subset, and for every u (U), we have [P U , f](gu) = P (fgu) fP (gu) which gives P (fgu) = g[P, f](u)+ fP∈( Fgu). Now, | − θ(fg)(u) = [P, fg](u) = P (fgu) fgP (u) − = g[P, f](u)+ fP (gu) fgP (u) − = gθ(f)(u)+ fθ(g)(u) = (gθ(f)+ fθ(g))(u).

Thus, θ(fg) = θ(f)g + fθ(g). Hence, we have the following: 14 I. BISWAS AND A. SINGH

Proposition 3.1. Let and be X -modules and P : a first order S- differential operator. ThenF thereG existsO a unique S-derivationF −→ G

θ : X om ( , ) O −→ H OX F G such that θ (f) = [P , f] for every open subset U of X and for every f (U). U |U ∈ OX The S-derivation θ defined above is called the symbol of P ; it will be denoted by σ1(P ).

Every X -module homomorphism is a first order S-differential operator. Therefore, O 1 om X ( , ) is an X -submodule of iff S( , ). Let H O F G O D F G 1 ı : om X ( , ) iff S( , ) H O F G −→ D F G be the inclusion morphism. Thus, we have an exact sequence of -modules OX ı 1 σ1 0 om X ( , ) iff S( , ) er S( X , om X ( , )) . (3.1) −→ H O F G −→ D F G −→ D O H O F G In general, σ1 need not be surjective.

4. Analytic Theory

4.A. Complex analytic families Let (S, ) be a complex manifold of dimension n. For each t S, let there be given OS ∈ a compact connected complex manifold Xt of fixed dimension l. The set Xt t S of compact connected complex manifolds is called a complex analytic family{ of| compact∈ } connected complex manifolds, if there is a complex manifold (X, X ) and a surjective holomorphic map π : X S of complex manifolds with connectedO fibers such that the followings hold: −→ 1 (1) π− (t) = Xt for all t S, 1 ∈ (2) π− (t) is a compact connected complex submanifold of X for all t S, and (3) the rank of the Jacobian matrix of π is equal to n at each point of ∈X. (See [9] for details.) In other words, π : X S is a surjective holomorphic proper 1 −→ submersion, such that π− (t) = X is connected for every t S. t ∈ 4.B. Holomorphic relative tangent and cotangent bundles Let π : X S be a surjective holomorphic submersion of complex manifolds with connected fibers−→ such that dim(X) = m and dim(S) = n. For any t t, the fiber 1 ∈ π− (t) will be denoted by Xt. Let dπS : TX π∗TS be the differential of π. The subbundle −→ T (X/S) := Ker(dπ ) TX S ⊂ is called the relative tangent bundle for π. Thus we have a short exact sequence

ı dπS 0 π∗ 0 (4.1) −→ TX/S −→ TX −→ TS −→ of -modules and -linear maps. OX OX The dual T (X/S)∗ of the relative tangent bundle is called the relative cotangent bundle and it is denoted by Ω1(X/S). The sheaf of holomorphic sections of relative cotangent ON THE RELATIVE CONNECTIONS 15

1 1 bundle Ω (X/S) will also be denoted by ΩX/S . Dualizing the short exact sequence in (4.1), we get a short exact sequence

∗ ∗ 1 dπS 1 ı 1 0 π∗Ω Ω Ω 0 . (4.2) −→ S −→ X −→ X/S −→ The relative tangent sheaf and the relative cotangent sheaf Ω1 are locally free TX/S X/S -modules of rank l = m n. OX − From Theorem 2.1, there exists a unique S-derivation d : Ω1 . For any X/S OX −→ X/S integer r 1, define Ωr = ΛrΩ1 , which is called the sheaf of holomorphic relative ≥ X/S X/Y r-forms on X over S. We have the short exact sequence 1 r 1 r r 0 π∗Ω Ω − Ω Ω 0 (4.3) −→ S ⊗ X −→ X −→ X/S −→ which is derived from the short exact sequence in (4.2).

1 r r r+1 Theorem 4.1. There exists canonical π− -linear maps ∂ : Ω Ω , called OS X/S X/S −→ X/S the relative exterior derivative, satisfying the following: 0 1 (1) ∂X/S = dX/S : X ΩX/S , r+1 r O −→ (2) ∂X/S ∂X/S = 0, and r+s ◦ r r s r (3) ∂X/S (α β) = ∂X/S α β +( 1) α ∂X/S β, for all local sections α of ΩX/S and s∧ ∧ − ∧ β of ΩX/S .

Proof. This basically follows from Proposition 2.10. First note that the sheaf er ( , ) D S OX OX is canonically isomorphic to the holomorphic relative tangent sheaf X/S as an X -module, r T O r and hence lt ( er S( X , X ), X ) is canonically isomorphic to the sheaf ΩX/S as an A OX D O O O X -module. In view of the canonical S-connection in X , by Proposition 2.10, canonical OS-linear map exists satisfying (1), and by PropositionO 2.13, it satisfies (3). Finally, (2) follows from Corollary 2.12(2). 

4.C. Relative Atiyah algebra Proposition 4.2 (Symbol exact sequence). Let π : X S be a holomorphic proper submersion of complex manifolds with connected fibers,−→ and let and be two locally free -modules of rank r and p respectively. Then F G OX ı 1 σ1 0 om X ( , ) iff S( , ) er S( X , om X ( , )) 0 −→ H O F G −→ D F G −→ D O H O F G −→ is an exact sequence of -modules. OX

Proof. It is enough to show that σ1 is surjective. Let θ ( er S( X , om X ( , )))x with x X. We have to show that there exists a first∈ orderD S-differentialO H O operatorF G P ∈ defined near x, such that (σ1)x(Px) = θ, where P ( iff 1 ( , )) x ∈ D S F G x is the germ of P at x. Let (U, φ = (z , , z , z , , z )) be a holomorphic chart 1 ··· l l+1 ··· l+n on X around x, and let s = (s1, , sl) and t = (t1, , tp) be holomorphic frames of and respectively, on U. We··· may assume that θ is··· the germ at x of a section u of F G er S( X , om ( , )) over U. Since D O H OX F G 1 om X (ΩX/S , om X ( , )) = er S( X , om X ( , )) , H O H O F G ∼ D O H O F G 16 I. BISWAS AND A. SINGH u can be considered as a section of om (Ω1 , om ( , )) over U, that is, u : OX X/S OX 1 H H F G Ω U om ( U , U ) is an U -module homomorphism. As dzα 1 α l X/S | −→ H OU F| G| O { | ≤ ≤ } is an -basis of Ω1 , there exists a uniquely determined function bα (U), where OU X/S |U ij ∈ OX 1 i p, 1 j r and 1 α l, such that ≤ ≤ ≤ ≤ ≤ ≤ p α u(dzα)(sj) = X bijti . i=1 Define P : by F|U −→ G|U r ∂f P ( (f s ) = bα j t . X j j X ij ∂z i j=1 i,j,α α 1 Then P is S-linear, because for any V π− (W ) T U, where W S is any open subset, and any g (W ), we have ⊂ ⊂ ∈ OS ∂g π ∂ ◦ = dπx( )(g)=0 ∂zα ∂zα for all α = 1, , l. The bracket operation [P, f] is U -linear. Thus P is a first order ··· 1 O 1 S-differential operator, that is, P iff S( , )(U). Let V U and ξ ΩX/S (V ). l ∈ D F G ⊂ ∈ Then ξ = α=1 ξαdzα, where ξα U (V ). Then by the construction of the symbol P ∈1 O map, and the universal property of (ΩX/S , dX/S ), we have

σ1(P )V (ξ) = X ξασ1(P )V (dzα) = X ξα[P, zα] . (4.4) α α

From the definition of P it follows that P (sj) = 0 for all j, and hence

α [P, zα](sj) = P (zαsj) = X bijti = uV (dzα)(sj) . i

Therefore, [P, zα] = u(dzα), and hence (4.4) becomes

σ1(P )V (ξ) = X ξαuV (dzα) = uV (ξ) . α

This proves that σ1(P )U = u, that is, (σ1)x(Px) = θ. 

Let E be a locally free X -module. By Proposition 4.2, we have a short exact sequence of -modules O OX ı 1 σ1 0 nd X (E) iff S(E, E) er S( X , nd X (E)) 0 . −→ E O −→ D −→ D O E O −→ For any S-derivation ξ : X X , let ξ : X nd (E) be the map defined O −→ O e O −→ E OX by a ξ(a)1E, where a is a local sections of X . Then ξ is an S-derivation. Thus, we have an7−→ -module homomorphism O e OX Ψ: er S( X , X ) er S( X , nd (E)) D O O −→ D O E OX defined by ξ ξ. Note that Ψ is an injective homomorphism. 7−→ e Define 1 t (E) = σ− (Ψ( er ( , ))) , A S 1 D S OX OX ON THE RELATIVE CONNECTIONS 17 which is an X -module and for every open subset U of X. Note that tS(E)(U) consists O 1 A of first order S-differential operator P iff S(E, E)(U) such that (σ1)U (P ) = Ψ(ξ) for some ξ er ( , )(U), which∈ is D equivalent to the assertion that σ (P )(a) = ∈ D S OX OX 1 ξ(a)1E or [P, a] = ξ(a)1E, for all a X (U) and for some ξ er S( X , X )(U). Hence, we get a short exact sequence ∈ O ∈ D O O ı σ1 0 nd (E) tS(E) er S( X , X ) 0 (4.5) −→ E OX −→ A −→ D O O −→ of X -modules, which is called the Atiyah sequence while tS(E) is called the relative AtiyahO algebra of E. A Proposition 4.3. Let π : X S be a holomorphic proper submersion of complex manifolds with connected fibers,−→ and let E be a holomorphic vector bundle over X. Then E admits an holomorphic S-connection if and only if the Atiyah sequence in (4.5) splits holomorphically.

Proof. Suppose that the Atiyah sequence in (4.5) splits holomorphically, that is, there exists an -module homomorphism OX : er ( , ) t (E) ∇ D S OX OX −→ A S such that σ1 = 1 erS ( X , X ). Then, for every open subset U X and for every ξ er ( ◦∇, )(UD), thisO O (ξ) is a first order S-differential⊂ operator such that ∈ D S OX OX ∇U σ ( (ξ))(a) = ξ′(a)1 for some ξ′ er ( , )(U) and for every a (U). 1 ∇U E ∈ D S OX OX ∈ OX This implies that ξ = ξ′, because the Atiyah sequence splits. We have [ (ξ), a] = ∇U ξ(a)1E, which can be expressed as (ξ)(as) = a (ξ)(s)+ ξ(a)s ∇U ∇U for every s E(U). Thus U (ξ) satisfies Leibniz rule, and since tS(E) is an X - submodule of∈ nd ( ), it follows∇ that is actually an S-connection onA E. O E S E ∇ The converse follows from the fact that any S-connection satisfies Leibniz rule, because it gives an splitting of Atiyah exact sequence. 

The extension class of the Atiyah exact sequence (4.5) of a holomorphic vector bundle E 1 over X is an element of H (X, om ( X/S , nd (E))). This extension class is called H OX T E OX the relative Atiyah class of E, and it is denoted by atS(E). Note that 1 1 1 H (X, om X ( X/S, nd X (E))) = H (X, ΩX/S ( nd X (E))) . H O T E O E O Proposition 4.3 has the following corollary: Corollary 4.4. A holomorphic vector bundle E on E admits a holomorphic S-connection 1 1 if and only if its relative Atiyah class atS(E) H (X, Ω ( nd (E))) is zero. ∈ X/S E OX 4.D. Induced family of holomorphic connections As before, π : X S is a surjective holomorphic proper submersion with connected fibers. Let ̟ : E−→ X be a holomorphic vector bundle. For every t S, the −→ 1 ∈ restriction of E to Xt = π− (t) is denoted by Et. Let U be an open subset of X and s : U E a holomorphic section. We denote by r (s) the restriction of s to X U, −→ t t ∩ whenever U Xt = . Clearly, rt(s) is a holomorphic section of Et over U Xt. The map r : s ∩r (s)6 induces,∅ therefore, a homomorphism of C-vector spaces∩ from E to E , t 7−→ t t 18 I. BISWAS AND A. SINGH which is denoted by the same symbol rt (the restriction map rt is discussed in[9, p. 343] and [10, p. 58]). Also, X is a complex submanifold of X, so = . We also have t OX |Xt OXt the restriction map rt : nd (E) nd (Et). E OX −→ E OXt Similarly, if P : E F is a first order S-differential operator, where F is a holo- morphic vector bundle−→ over X, then the restriction map r : E F gives rise to t t −→ t a first order differential operator Pt : Et Ft for every t S. Thus, we have the 1 −→1 ∈ restriction map rt : iff S(E, F ) iff C(Et, Ft). In particular, for E = F , we have D 1 −→ D 1 the restriction map r : iff (E, E) iff C(E , E ) for every t S. Since, the t D S −→ D t t ∈ restriction of the relative tangent bundle T (X/S) to each fiber Xt of π is the tangent bundle T (X ) of the fiber X , we have the restriction map r : . t t t TX/S −→ TXt Now, for every t S, the restriction maps gives a commutative diagram ∈ / / σ1 / / 0 nd (E) tS(E) X/S 0 (4.6) E OX A T rt rt rt    / / σ1t / / 0 nd (Et) t(Et) Xt 0 E OXt A T where the bottom sequence is the Atiyah sequence of the holomorphic vector bundle Et over Xt (see (4.5)) and σ1t is the restriction of the symbol map σ1. Suppose that E admits a holomorphic S-connection, which is equivalent to saying that the relative Atiyah sequence in (4.5) splits holomorphically. If : X/S tS(E) is a holomorphic splitting of the relative Atiyah sequence in (4.5),∇ thenT for every−→t A S, the ∈ restriction of to Xt gives an Xt -module homomorphism t : Xt t(Et). Now, is a holomorphic∇ T splitting ofO the Atiyah sequence of the∇ holomorphicT −→ veActor bundle ∇t Et, which follows from the fact that the restriction maps rt defined above are surjective. Thus, we have the following: Proposition 4.5. Let π : X S be a surjective holomorphic proper submersion with connected fibers and ̟ : −→E X a holomorphic vector bundle. Let D be a holomorphic S-connection on E. Then−→ for every t S, we have a holomorphic connection D on the holomorphic vector bundle E X∈. In other words, we have a family t t −→ t Dt t S of holomorphic connections on the holomorphic family of vector bundles {E | ∈X } t S . { t −→ t | ∈ } 4.E. Smooth relative tangent bundle and smooth relative r-forms As before, π : X S is a complex analytic family of complex manifolds. Consider −→ π as a C∞ map between real manifolds. We denote the smooth relative tangent bundle R R by T (X/S), while its sheaf of smooth sections is denoted by X/S . Similarly, there is a 1 T smooth relative cotangent bundle denoted by AR(X/S) and its sheaf of smooth sections, 1 which is denoted by R(X/S). Define A 1 1 T ∗(X/S)C = AR(X/S) R C = AR(X/S)C , ⊗ 1 which is nothing but the complexification of the smooth relative cotangent bundle AR(X/S). 1 A smooth section of AR(X/S)C is called a complex valued smooth 1-form on X relative to S, or a complex valued smooth relative 1-form on X over S. We denote the sheaf of 1 1 smooth sections of AR(X/S)C by ; also, denote the sheaf of complex valued smooth AX/S ON THE RELATIVE CONNECTIONS 19

1 function on X by X∞. Then X/S is an X∞-module, and there exists a unique S-derivation C 1 A C d : ∞ . The kernel er(d ) of d is the sheaf of complex valued X/S CX −→ AX/S K X/S X/S smooth functions on X, which are constant along the fibers Xt, for all t S, that is, 1 ∈ er(d ) = π− ∞, where ∞ is the sheaf of complex valued smooth functions on S. K X/S CS CS Similarly, we can define the complex valued smooth relative r-forms on X over S. A r smooth section of Λ T ∗(X/S)C is called a complex valued smooth relative r-form on X r r over S. Denote the sheaf of smooth sections of Λ T ∗(X/S)C by . The following AX/S analog Theorem 4.1 is derived using Proposition 2.10 again. Theorem 4.6. There exist canonical S-linear maps δr : r r+1 called relative X/S AX/S −→ AX/S exterior derivative satisfying the following:

0 1 (1) δ = d : ∞ , X/S X/S CX AX/S (2) δr+1 δr = 0, and X/S ◦ X/S (3) δ (α β) = δ α β +( 1)rα δ β for all local sections α of r and β X/S ∧ X/S ∧ − ∧ X/S AX/S of s . AX/S

Proof. First note that the sheaf er S( X∞, X∞) is canonically isomorphic to the relative R D C C r tangent sheaf as an ∞-module, and hence lt ∞ ( er S( ∞, ∞), ∞) is canonically X/S X X X X X T Cr A C D C C C isomorphic to the sheaf as an ∞-module. Considering the canonical S-connection AX/S CX in X∞, by Proposition 2.10, there is a canonical S-linear map that satisfies (1), and by PropositionC 2.13, it satisfies (3). Finally, (2) follows using By Corollary 2.12(2). 

Henceforth, we shall denote δr by d , for all r 0. By the relative Poincar´e X/S X/S ≥ lemma, there is an exact sequence

1 dX/S 1 dX/S dX/S 2l 0 π− ∞ ∞ 0 −→ CS −→ CX −−−→AX/S −−−→· · · −−−→AX/S −→ of X∞-module and S-linear maps. Thus we have a smooth relative de Rham complex C 1 ( • , d ), which is a resolution of the sheaf π− ∞. AX/S X/S CS For every integer p 0 and for every open subset V S, the assignment ≥ ⊂ p 1 V H (π− (V ), • −1 ) 7−→ AX/S|π (V )

1 Hq 1 −1 is a presheaf of π X∞(V ) = X∞(π− (V ))-module, where (π− (V ), • π (V )) denotes ∗C C AX/S| 1 −1 the hypercohomolgy group of π− (V ) X with values in X/S• π (V ). The sheafification ⊂ Rp A | of this presheaf is a S∞-module, and it is denoted by π ( • ). C ∗ AX/S Rp The sheaf π ( • ) of S∞-module is called the sheaf of relative de Rham cohomology, ∗ X/S A p C 1 and it is denoted by (X/S). Since, • is an acyclic resolution of π− ∞, we have HdR AX/S CS the following: Proposition 4.7. Let π : X S be a holomorphic proper submersion of complex manifolds with connected fibers.−→ Then

p p 1 dR(X/S) = R π (π− S∞) , H ∼ ∗ C p 1 1 where R π (π− S∞) is the higher direct image sheaf of π− S∞ on S. ∗ C C 20 I. BISWAS AND A. SINGH

Proof. Since, for each p 0, the sheaf p is fine, from the definition of hypercohomol- ≥ AX/S ogy, we have p 1 p 1 H (π− (V ), • −1 ) = H (Γ(π− (V ), • −1 )) AX/S|π (V ) ∼ AX/S|π (V ) 1 for every open subset V S. Also, • is an acyclic resolution of π− ∞. Thus, we ⊂ AX/S CS have p 1 1 p 1 H (π− (V ), π− ∞) = H (Γ(π− (V ), • −1 )) CS ∼ AX/S|π (V ) for every open subset V S. Now, the proposition follows from the definition of higher direct image sheaves. ⊂ 

p Note that (X/S) is locally free ∞-module. HdR CS Proposition 4.8 (Pullback of smooth relative forms). Suppose we have the following commutative diagram f Y / X (4.7)

π′ π    g  T / S of complex manifolds and holomorphic maps, where π, and π′ are surjective holomorphic proper submersions. Then, for every open subset U X, and every smooth relative r ⊂ r 1 differential form ω X/S(U), the pullback f ∗(ω) is an element of Y/T (f − (U)). ∈ A e A Proof. Given the commutative diagram in (4.7), we have the following commutative dia- grams: / 1 / 1 / 1 / 0 π∗ 0 (4.8) AS AX AX/S π g f ∗ f∗ ∗ ∗ f    / 1 / 1 / 1 / 0 π∗ 0 AT AY AY/T

/ 1 ∞ r 1 / r / r / 0 π∗ S C X− X 0 (4.9) A ⊗CX, A A AX/S π g f ∗ f∗ ∗ ∗ f    / 1 ∞ r 1 / r / r / 0 π∗ T C Y− Y 0 A ⊗CY, A A AY/T 1 1 1 Thus, given any ω (U), from (4.8), we get that f (ω) is an element of (f − (U)), ∈ AX/S ∗ AY/T and similarly, from (4.9) it follows that for any smoothe relative r-form ω r (U), we ∈ AX/S r 1  have f ∗(ω) Y/T (f − (U)). e ∈ A 4.F. Smooth relative connection and relative Chern class In this section, we define the relative Chern class of a differentiable family of complex vector bundles ̟ : E X of rank r. For each t S, the restriction of E to 1 −→ ∈ Xt = π− (t) will be denoted by Et. We follow Section 2.H and substitute E in place of there. Let D be a smooth S-connection on E. Let (U , h ) be a trivialization ofFE over U X. Let R be α α α ⊂ ON THE RELATIVE CONNECTIONS 21 the S-curvature form for D, and let Ωα = (Ωijα) be the curvature matrix of D over 2 1 U , as defined in Section 2.H, so Ω (U ). We have Ω = g− Ω g , where α ijα ∈ AX/S α β αβ α αβ gαβ : Uα Uβ GLr(C) is the change of frame matrix (transition function), which is a smooth∩ map.−→ C C C Consider the adjoint action of GLr( ) on it Lie algebra glr( ) = Mr( ). Let f be a C C GLr( )-invariant homogeneous polynomial on glr( ) of degree p. Then, we can associate C a unique p-multilinear symmetric map f on glr( ) such that f(X) = f(X, ,X), for all X gl (C). Define e e ··· ∈ r 2p γα = f(Ωα, , Ωα) = f(Ωα) (Uα) . e ··· ∈ AX/S Since f is GLr(C)-invariant, it follows that γα is independent of the choice of frame, and hence it defines a global smooth relative differential form of degree 2p, which we denote by the symbol γ 2p (X). ∈AX/S Theorem 4.9. Let π : X S be a surjective holomorphic proper submersion of complex manifolds with connected−→ fibers and ̟ : E X a differentiable family of complex vector bundle. Let D be a smooth S-connection−→ on E. Suppose that f is a C C GLr( )-invariant polynomial function on glr( ) of degree p. Then the following hold:

(1) γ = f(Ωα) is dX/S-closed, that is, dX/S (γ)=0. (2) The image [γ] of γ in the relative de Rham cohomology group

2p 2p 1 H (Γ(X, • )) = H (X, π− ∞) AX/S CS is independent of the smooth S-connection D on E.

Proof. This is proved in [7] (Chapter II, Section 2, p. 36). 

C Define homogeneous polynomials fp on glr( ), of degree p = 1, 2, , r, to be the coefficient of λp in the following expression: ···

√ 1 r r j √ 1 det(λI+ − A) = Σ λ − f ( − A) , 2π j=0 j 2π

√ 1 √ 1 0 where f ( − A) = 1 while f ( − A) is the coefficient of λ . These polynomials f , , f 0 2π r 2π 1 ··· r are GLr(C)-invariant, and they generate the algebra of GLr(C)-invariant polynomials on C glr( ). We now define the p-th cohomology class as follows:

S √ 1 2p c (E) = [f ( − Ω)] H (Γ(X, • )) p p 2π ∈ AX/S for p = 0, 1, , r. ··· p p 1 The relative de Rham cohomology sheaf dR(X/S) = R π (π− S∞) on S is by defini- ∼ ∗ H p 1 1 −C1 tion the sheafification of the presheaf V H (π− (V ), π− S∞ π (V )), for open subset V S. Therefore, we have a natural homomorphism7−→ C | ⊂ 2p 1 2p ρ : H (X, π− ∞) (X/S)(S) CS −→ HdR which maps cS(E) to ρ(cS(E)) 2p (X/S)(S). p p ∈ HdR 22 I. BISWAS AND A. SINGH

S S S Define Cp (E) = ρ(cp (E)). We call Cp (E) the p-th relative Chern class of E over S. Let S S k C (E) = X Cp (E) dR∗ (X/S)(S) = k 0 dR(X/S)(S) ∈ H ⊕ ≥ H p 0 ≥ be the total relative Chern class of E. ̟ π Proposition 4.10. Let E X S be as in Theorem 4.9. Let π′ : Y T be a surjective holomorphic proper−→ submersion,−→ such that the following diagram −→

f Y / X (4.10)

π′ π    g  T / S is commutative, where f : Y X and g : T S are holomorphic maps. Then −→ −→ S T f ∗(C (E)) = C (f ∗E) ,

S T where C (E) is the total relative Chern class of E over S, and C (f ∗E) is the total relative Chern class of f ∗E over T .

Proof. Let D be smooth S-connection in E. It is enough to define a smooth T -connection D∗ in f ∗E, such that f ∗Ω = Ω∗, where Ω∗ is the curvature matrix of D∗. Let e = (e1, , er)beaframeof E over an open subset U of X. Then, we have e∗ = (e1∗, , er∗), ··· 1 1 ··· C where ei∗ = f ei∗ : f − (U) E is a frame of f ∗E over f − (U). If a : U GLr( ) is a change of◦ frame over U,−→ then −→

1 f ∗a = a∗ = a f : f − (U) GL (C) ◦ −→ r 1 is a change of frame in f ∗E over f − (U). Now, we define S-connection matrix

ω∗ = f ∗ω = [f ∗ωij] , e 1 1 1 where, ωij X/S(U), and f ∗ : X/S Y/T is the pullback map of the relative ∈ A e A −→ A forms as in Proposition 4.8. Moreover, if ω′ is the connection matrix with respect to the frame e′ = e.a and ω′∗ is the pullback of ω′ under f ∗, then 1 1 ω′∗ = a∗− ω∗a∗ + a∗− da∗ .

Thus, if we consider D∗ = dY/T + ω∗, then from above compatibility condition, this defines a smooth T -connection in f ∗E. Let Ω∗ be the curvature form of D∗. Then

Ω∗ = d ω∗ + ω∗ ω∗ = f ∗Ω . Y/T ∧ Now, consider the homogeneous polynomial fp of degree p as defined above. The p-th cohomology class is

T √ 1 S c (f ∗E) = [f ( − Ω∗)] = f ∗[c (E)] p p 2π p for all p 0, which is the pullback of the cohomology class [cS(E)], where ≥ p 2p 2p f ∗ : H (Γ(X, • )) H (Γ(Y, • )) AX/S −→ AY/T ON THE RELATIVE CONNECTIONS 23 is the morphism of C-vector spaces induced by the commutative diagram (4.10). Further, we have the following commutative diagram

2p 1 ρ / 2p H (X, π− ∞) (X/S)(S) (4.11) CS HdR f ∗ f ∗   2p 1 ρ / 2p H (Y, π− ∞) (Y/T )(T ) CT HdR S T  which implies that f ∗(Cp (E)) = Cp (f ∗E). This completes the proof.

, In particular, taking T = t S, g to be the inclusion map t ֒ S, Y = X { } ⊂ → t ,π′ = π Xt : Xt T and f to be the inclusion map j : Xt ֒ X, by Proposition 4.10 we have| the following:−→ → Corollary 4.11. For every t S, there is a natural map ∈ 2p 2p j∗ : (X/S)(S) H (X , C) HdR −→ t which maps the p-th relative Chern class of E to the p-th Chern class of the smooth vector S bundle E X , that is, j∗(C (E)) = c (E ). t −→ t p p t The following topological proper base change theorem is given in [5, p. 202, Remark 4.17.1] and [4, p. 19, Corollary 2.25]: Theorem 4.12 (Topological proper base change). Let f : X S be a proper contin- uous map of Hausdorff topological spaces. Suppose that S is locally−→ compact, and is a sheaf of abelian groups on X. Then for all t S, we have a canonical isomorphismF ∈ p p 1 (R f )t H (f − (t), f −1(t)) ∗F ≃ F| of abelian groups.

p Note that dR(X/S) is a locally free S∞-module, and from Theorem 4.12 we have a C-vector spaceH isomorphism C

p ∞ p C η : dR(X/S)t k(t) H (Xt, ) (4.12) H ⊗CS,t −→ for every t S. ∈ Theorem 4.13. Let π : X S be a surjective holomorphic proper submersion with 1−→ connected fibers, such that π− (t) = Xt is compact K¨ahler manifold for every t S. Let ̟ : E X be a holomorphic vector bundle. Suppose that E admits a holomorphic∈ −→ S 2p S-connection. Then all the relative Chern classes Cp (E) dR(X/S)(S) of E over S are zero. ∈ H

Proof. Let D be a holomorphic S-connection on E. From Proposition 4.5 it follows that for every t S, there is a holomorphic connection Dt in Et. Since Xt is a compact complex manifold∈ of K¨ahler type, from Theorem 4 in [1, p. 192] it follows that all the Chern classes cp(Et) of Et are zero. From Corollary 4.11 and the isomorphism in (4.12) 24 I. BISWAS AND A. SINGH we have the following commutative diagram;

2p / p ∞ dR(X/S)(S) dR(X/S)t k(t) H ❯❯❯❯ H ⊗CS,t ❯❯❯❯ ❯❯❯❯ η ∗ ❯❯❯❯ j ❯❯❯*  2p H (Xt, C) Now, S S η(C (E) 1) = j∗(C (E)) = c (E )=0 , p t ⊗ p p t S which implies that Cp (E)t 1 = 0, for every t S, because η is an isomorphism. Thus, S ⊗ ∈  we have Cp (E) = 0. This completes the proof.

4.G. A sufficient condition for holomorphic connection Given a surjective holomorphic proper submersion π : X S with connected fibers and a holomorphic vector bundle ̟ : E X, Proposition−→ 4.5 gives a necessary condition for the existence of a holomorphic S−→-connection on E, namely the vector bundle E = E X should admit a holomorphic connection for every t S. t |Xt −→ t ∈ If for every each t S the vector bundle Et admits a holomorphic connection, it is natural to ask whether∈E admits a holomorphic S-connection. We will present a sufficient condition for the existence of holomorphic S-connection on E. Theorem 4.14. Let E ̟ X be a holomorphic vector bundle. Suppose that for every t S, there is a holomorphic−→ connection on the holomorphic vector bundle ̟ : E ∈ |Et t −→ Xt, and 1 1 H (S, π (ΩX/S ( nd X (E)))) = 0 . ∗ E O Then, E admits a holomorphic S-connection.

1 Proof. Consider the relative Atiyah exact sequence in (4.5). Tensoring it by ΩX/S produces the exact sequence 1 1 q 1 0 ΩX/S ( nd X (E)) ΩX/S ( tS(E)) ΩX/S X/S 0 . (4.13) −→ E O −→ A −→ ⊗ T −→ Note that Id End( ) = Ω1 . Define OX · ⊂ TX/S X/S ⊗ TX/S 1 1 1 Ω ( t′ (E)) := q− ( Id) Ω ( t (E)) , X/S A S OX · ⊂ X/S A S where q is the projection in (4.13). So we have the short exact sequence of sheaves

1 1 q 0 ΩX/S( nd X (E)) ΩX/S ( tS′ (E)) X 0 (4.14) −→ E O −→ A −→ O −→ 1 on X, where Ω ( t′ (E)) is constructed above. Let X/S A S C 0 1 1 Φ: = H (X, X Id) H (X, ΩX/S( nd X (E))) (4.15) O · −→ E O be the homomorphism in the long exact sequence of cohomologies associated to the exact sequence in (4.14). The relative Atiyah class atS(E) (see Corollary 4.4) coincides with Φ(1) H1(X, Ω1 ( nd (E))). Therefore, from Corollary 4.4 it follows that E admits ∈ X/S E OX a holomorphic S-connection if and only if Φ(1) = 0 . (4.16) ON THE RELATIVE CONNECTIONS 25

To prove the vanishing statement in (4.16), first note that H1(X, Ω1 ( nd (E))) fits X/S E OX in the exact sequence

1 1 β1 1 1 q1 0 1 1 H (S, π (ΩX/S ( nd X (E)))) H (X, ΩX/S ( nd X (E))) H (S, R π (ΩX/S ( nd X (E)))) , ∗ E O −→ E O −→ ∗ E O (4.17) where π is the projection of X to S. The given condition that for every t S, there is a holomorphic connection on the holomorphic vector bundle ̟ : E ∈ X , implies that |Et t −→ t q1(Φ(1)) = 0 , where q1 is the homomorphism in (4.17). Therefore, from the exact sequence in (4.17) we conclude that 1 1 Φ(1) β1(H (S, π (ΩX/S ( nd X (E))))) . ∈ ∗ E O Finally, the given condition that H1(S, π (Ω1 ( nd (E)))) = 0. implies that Φ(1) = ∗ X/S E OX 0. Since (4.16) holds, the vector bundle E admits a holomorphic S-connection. 

Take π : X S to be a surjective holomorphic proper submersion of relative −→ 1 dimension one, so π− (t) is a compact connected Riemann surface, for every t S. Then, by the Atiyah-Weil criterion given in [1], [11] and [3] (Theorem 6.12), we have∈ the following: Corollary 4.15. Let π : X S be a surjective holomorphic proper submersion such 1 −→ that π− (t) = Xt is a compact connected Riemann surface for every t S. Let ̟ : E X be a holomorphic vector bundle. Suppose that for every t S∈, the degree of −→ ∈ the indecomposable components of Et are zero and 1 1 H (S, π (ΩX/S ( nd X (E)))) = 0 . ∗ E O Then, E admits a holomorphic S-connection.

Acknowledgement

We thank the referee for helpful advice. The first author is supported by a J. C. Bose Fellowship. The second author is very grateful to his Ph.D. advisor Prof. N. Raghaven- dra for introducing this topic and useful discussions. The second author would like to acknowledge the Department of Atomic Energy, Government of India for providing the research grant.

References [1] M. F. Atiyah, Complex analytic connections in fibre bundles, Trans. Amer. Math. Soc. 85 (1957), 181–207. [2] H. Azad and I. Biswas, On holomorphic principal bundles over a compact Riemann surface admit- ting a flat connection, Math. Ann. 322 (2002), 333–346. [3] I. Biswas and N. Raghavendra, The Atiyah- Weil criterion for holomorphic connections, Indian J. pure appl. Math. 39 (2008), 3–47. [4] P. Deligne, Equations´ diff´erentielles ´apoints singuliers r´eguliers, Springer Lecture Notes in Math- ematics, 163, (1970). [5] R. Godement, Th´eorie des faisceaux, Hermann, Paris, (1964). [6] A. Grothendieck, J. Dieudonn´e, EGA IV. Etude´ locale des sch´emas et des morphismes de sch´emas. IV, Inst. Hautes Etudes´ Sci. Publ. Math. 32 (1967), 5–361. 26 I. BISWAS AND A. SINGH

[7] S. Kobayashi, Differential geometry of complex vector bundles, Iwanami Shoten, Princeton Univer- sity Press, 1987. [8] J. L. Koszul, Lectures on fiber bundles and differential geometry, Springer-Verlag Berlin Heidelberg GmbH, 1986. [9] K. Kodaira and D. C. Spencer, On deformations of complex analytic structures, I, II, Annals of Math. 67(1958), 328–466. [10] K. Kodaira and D. C. Spencer, On deformations of complex analytic structures, III, Annals of Math. 71 (1960), 43–76. [11] A. Weil, G´en´eralisation des fonctions ab´eliennes, J. Math. Pures Appl. 17 (1938), 47–87.

School of Mathematics, Tata Institute of Fundamental Research, Homi Bhabha Road, Mumbai 400005, India E-mail address: [email protected]

Harish-Chandra Research Institute, HBNI, Chhatnag Road, Jhusi, Prayagraj 211019, India E-mail address: [email protected]