, so it suffices to prove that this whole vector space is zero. The functor ${\operatorname{Hom}}_{Y_0 \times C}$ is the composition of three functors: $${\operatorname{Hom}}_{Y_0 \times C} = \Gamma \circ \pi_{1*} \circ {\curly Hom}_{Y_0 \times C},$$ so to prove the vanishing of $${\operatorname{Ext}}^1_{Y_0 \times C}({\overline}{S},{\overline}{Q} \otimes \pi_1^* I) = {\operatorname{R}}^1 {\operatorname{Hom}}_{Y_0 \times C}({\overline}{S},{\overline}{Q} \otimes \pi_1^* I),$$ it suffices (by the Grothendieck spectral sequence) to prove the vanishing of the three vector spaces $$\begin{array}{l} {\operatorname{H}}^1(Y_0, \pi_{1*} {\curly Hom}({\overline}{S},{\overline}{Q} \otimes \pi_1^* I)  \\ {\operatorname{H}}^0(Y_0, \pi_{1*} {\curly Ext}^1({\overline}{S}, {\overline}{Q} \otimes \pi_1^* I)) \\ {\operatorname{H}}^0(Y_0, {\operatorname{R}}^1 \pi_{1*} {\curly Hom}({\overline}{S},{\overline}{Q}) \otimes I)). \end{array}$$ The first vanishes because $Y_0$ is affine and the second vanishes because ${\overline}{S}$ is locally free.

For the third vanishing, we will show that ${\operatorname{R}}^1 \pi_{1*} {\curly Hom}({\overline}{S},{\overline}{Q})=0$. By cohomology and base change and the assumption that $Y_0 \to X$ factors through $\iota_D$, we might as well assume $Y_0=X$, so ${\overline}{S}=S(-D)$. Using the vanishing together with cohomology and base change (and flatness of ${\curly Hom}(S,Q)$), we first observe that $${\operatorname{R}}^1 \pi_{1*} {\curly Hom}({\overline}{S},Q) = {\operatorname{R}}^1 \pi_{1*} {\curly Hom}(S,Q)(D) = 0.$$ Next, we tensor the sequence $\eqref{quotientSES}$ with $S^\lor(D)$ and apply $\pi_{
, so it suffices to prove that this whole vector space is zero. The functor $ { \operatorname{Hom}}_{Y_0 \times C}$ is the composing of three functors: $ $ { \operatorname{Hom}}_{Y_0 \times C } = \Gamma \circ \pi_{1 * } \circ { \curly Hom}_{Y_0 \times C},$$ therefore to prove the vanishing of $ $ { \operatorname{Ext}}^1_{Y_0 \times C}({\overline}{S},{\overline}{Q } \otimes \pi_1^ * I) = { \operatorname{R}}^1 { \operatorname{Hom}}_{Y_0 \times C}({\overline}{S},{\overline}{Q } \otimes \pi_1^ * I),$$ it suffices (by the Grothendieck apparitional sequence) to prove the vanishing of the three vector spaces $ $ \begin{array}{l } { \operatorname{H}}^1(Y_0, \pi_{1 * } { \curly Hom}({\overline}{S},{\overline}{Q } \otimes \pi_1^ * I)   \\ { \operatorname{H}}^0(Y_0, \pi_{1 * } { \curly Ext}^1({\overline}{S }, { \overline}{Q } \otimes \pi_1^ * I) ) \\ { \operatorname{H}}^0(Y_0, { \operatorname{R}}^1 \pi_{1 * } { \curly Hom}({\overline}{S},{\overline}{Q }) \otimes I) ). \end{array}$$ The inaugural vanishes because $ Y_0 $ is affine and the second vanishes because $ { \overline}{S}$ is locally free. 

 For the third vanishing, we will show that $ { \operatorname{R}}^1 \pi_{1 * } { \curly Hom}({\overline}{S},{\overline}{Q})=0$. By cohomology and foundation change and the assumption that $ Y_0 \to X$ agent through $ \iota_D$, we might as well assume $ Y_0 = X$, then $ { \overline}{S}=S(-D)$. use the vanishing together with cohomology and basis change (and flatness of $ { \curly Hom}(S, Q)$), we foremost observe that $ $ { \operatorname{R}}^1 \pi_{1 * } { \curly Hom}({\overline}{S},Q) = { \operatorname{R}}^1 \pi_{1 * } { \curly Hom}(S, Q)(D) = 0.$$ Next, we tensor the sequence $ \eqref{quotientSES}$ with $ S^\lor(D)$ and apply $ \pi _ {
, so it suffices to prove thxt this whole vgcror spece is aero. The functor ${\operatorname{Hom}}_{Y_0 \tilew C}$ iw the composition of tfree funcnors: $${\operqtoriame{Hom}}_{Y_0 \times C} = \Gamma \gnrc \pj_{1*} \cire {\rurly Hom}_{Y_0 \timex C},$$ so to [rove the vanivhkny of $${\operatorname{Ext}}^1_{Y_0 \times C}({\overlinq}{S},{\overlonf}{Q} \otimes \pi_1^* I) = {\optraeornzme{R}}^1 {\operatorname{Hom}}_{Y_0 \times C}({\overljne}{S},{\ovegline}{Q} \otimes \pi_1^* O),$$ it suffices (by the Grothfndifck spectral sequejce) to provg thq vanishing ow the thret rector spacgs $$\begin{array}{l} {\operatorname{H}}^1(Y_0, \pi_{1*} {\curlv Hom}({\overlibe}{W},{\ovftline}{Q} \otimew \pi_1^* P)  \\ {\operatorname{H}}^0(Y_0, \pi_{1*} {\curly Rxt}^1({\overline}{S}, {\oyerliie}{Q} \itimes \pi_1^* I)) \\ {\operatoriame{H}}^0(Y_0, {\operatorname{R}}^1 \pi_{1*} {\curly Hkm}({\overline}{S},{\overlibe}{W}) \otikes H)). \ena{qrrxy}$$ Uhe fjrst vwniahes becauae $Y_0$ is affune and the second fagpxhes because ${\overlynq}{S}$ is locally free.

For the third vanishitg, se will show that ${\operarorname{R}}^1 \pi_{1*} {\curly Hom}({\lverline}{S},{\jverline}{Q})=0$. By cohomology and base change and the avsumpviun uhqt $Y_0 \gi D$ factors through $\iota_D$, we might as well assuis $U_0=X$, so ${\overline}{S}=S(-B)$. Using the vanixhlnb together witf cohomolkgy and base changf (and fjatnews of ${\curjy Hpm}(S,Q)$), we first observe that $${\iperatorname{G}}^1 \pi_{1*} {\curly Hom}({\overline}{D},Q) = {\operatoxname{R}}^1 \pi_{1*} {\cirly Hom}(S,Q)(D) = 0.$$ Next, we tznsor fhe sequencf $\eqref{qukgientSES}$ with $S^\lur(D)$ atd apply $\pi_{
, so it suffices to prove that vector is zero. functor ${\operatorname{Hom}}_{Y_0 \times three $${\operatorname{Hom}}_{Y_0 \times C} \Gamma \circ \pi_{1*} {\curly Hom}_{Y_0 \times C},$$ so to the vanishing of $${\operatorname{Ext}}^1_{Y_0 \times C}({\overline}{S},{\overline}{Q} \otimes \pi_1^* I) = {\operatorname{R}}^1 {\operatorname{Hom}}_{Y_0 \times \otimes \pi_1^* I),$$ it suffices (by the Grothendieck spectral sequence) to prove the of three spaces {\operatorname{H}}^1(Y_0, \pi_{1*} {\curly Hom}({\overline}{S},{\overline}{Q} \otimes \pi_1^* I) \\ {\operatorname{H}}^0(Y_0, \pi_{1*} {\curly Ext}^1({\overline}{S}, {\overline}{Q} \otimes \pi_1^* I)) {\operatorname{H}}^0(Y_0, {\operatorname{R}}^1 \pi_{1*} {\curly Hom}({\overline}{S},{\overline}{Q}) \otimes I)). \end{array}$$ first vanishes because $Y_0$ affine and the second vanishes ${\overline}{S}$ locally free. the vanishing, will show that \pi_{1*} {\curly Hom}({\overline}{S},{\overline}{Q})=0$. By cohomology and base change and the assumption that $Y_0 \to X$ factors through we might assume $Y_0=X$, ${\overline}{S}=S(-D)$. the together with cohomology change (and flatness of ${\curly Hom}(S,Q)$), that $${\operatorname{R}}^1 \pi_{1*} {\curly Hom}({\overline}{S},Q) = {\operatorname{R}}^1 \pi_{1*} Hom}(S,Q)(D) = Next, we tensor the sequence $\eqref{quotientSES}$ $S^\lor(D)$ and apply $\pi_{
, so it suffices to prove that thIs whole vecTor spAce Is zErO. The FuncTor ${\operatornamE{hom}}_{Y_0 \Times C}$ is the composition Of thrEe FUnctORs: $${\OperaTorname{hOm}}_{y_0 \TImeS C} = \gaMma \CiRC \pI_{1*} \circ {\CurLy Hom}_{Y_0 \tImes C},$$ so to pRovE tHe vanishing oF $${\OpEratorname{ext}}^1_{y_0 \times C}({\overlIne}{s},{\overlInE}{Q} \oTImes \pI_1^* I) = {\oPeratOrname{r}}^1 {\OperatOrname{Hom}}_{y_0 \tIMes C}({\ovERline}{S},{\oVERlIne}{Q} \Otimes \pi_1^* I),$$ it sufficES (bY The GrothendiecK spectRaL SeQUEncE) to Prove the vaNiShing OF the thrEE vECTOr sPAces $$\begin{arraY}{l} {\operatornAMe{H}}^1(y_0, \pi_{1*} {\curLy hom}({\OVerlinE}{S},{\oveRlINe}{Q} \Otimes \pi_1^* I)  \\ {\opEratOrname{H}}^0(Y_0, \pI_{1*} {\curly eXt}^1({\overlINe}{S}, {\overLine}{Q} \oTimEs \pI_1^* I)) \\ {\opERaToRnaMe{h}}^0(y_0, {\opERaTorNAme{r}}^1 \pi_{1*} {\curly hoM}({\oVerliNe}{S},{\oVERLIne}{Q}) \OtiMes I)). \End{arRay}$$ The first vaNisHes bECauSe $Y_0$ is AffinE and ThE secoNd vaniShes bEcAuse ${\overline}{S}$ is LocaLly free.

FoR thE tHirD vAnishINg, we wiLl sHow That ${\opeRatornaME{R}}^1 \pI_{1*} {\cURLY HOm}({\overline}{S},{\overlinE}{Q})=0$. bY CoHomology And basE ChAnGE and the aSsUmpTion THAt $Y_0 \to x$ facTOrS through $\Iota_D$, wE MiGhT as well AsSume $Y_0=X$, So ${\OveRliNe}{S}=S(-D)$. uSing The vanIshing toGetheR With cohomology ANd base change (aND fLATnESs of ${\CurLy Hom}(S,Q)$), we fiRst oBServE thaT $${\OpEraTOrnamE{R}}^1 \pi_{1*} {\cUrLY HOM}({\overline}{S},Q) = {\operatorNaMe{R}}^1 \pi_{1*} {\cUrly HOm}(S,Q)(D) = 0.$$ Next, we teNsor the seqUENCe $\eqref{qUotiENtseS}$ with $S^\lor(D)$ and Apply $\Pi_{
, so it suffices to provethat thiswhole  ve cto rspac e is  zero. The fun c tor${\operatorname{Hom}}_ {Y_0\t i mesC }$  is t he comp o si t i onof  t hre ef un ctors : $ ${\oper atorname{H om} }_ {Y_0 \timesC }= \Gamma \ cir c \pi_{1*} \ cir c {\cu rl y H o m}_{Y _0\time s C},$ $  so to  prove th ev anishi n g of $$ { \ op erat orname{Ext}}^1_{Y _ 0\ times C}({\ove rline} {S } ,{ \ o ver lin e}{Q} \oti me s \pi _ 1^* I)=  { \ o p era t orname{R}}^1{\operatorn a me{ Hom}}_ {Y _0\ timesC}({\ ov e rli ne}{S},{\ov erli ne}{Q} \o times\ pi_1^*I ),$$ it  suffi ces  (b y th e  G ro the nd i eck sp ect r alsequence )to  prov e th e v a nish ing  ofthe t hree vector s pac es $ $ \be gin{a rray} {l}{\ opera tornam e{H}} ^1 (Y_0, \pi_{1*}{\cu rly Hom}( {\o ve rli ne }{S}, { \overl ine }{Q } \otim es \pi_ 1 ^*I) \ \{\operatorname{H}} ^0 ( Y _0 , \pi_{1 *} {\c u rl yE xt}^1({\ ov erl ine} { S }, {\ over l in e}{Q} \o times\ pi _1 ^* I))\\  {\ope ra tor nam e{H}} ^ 0(Y_ 0, {\o peratorn ame{R } }^1 \pi_{1*} { \ curly Hom}({\ o ve r l in e }{S} ,{\ overline}{Q }) \ o time s I) ) .\en d {arra y}$$Th e  f i rst vanishes becaus e$Y_0$is af fine and thesecond van i s h es becau se $ { \o v erline}{S}$ is  loca lly free.For thethird  vanishi ng, we wi l l  show th at${\ ope rat o r na me{R}}^1 \pi_ { 1 *} { \c urly Ho m}( {\overl ine }{S },{ \ov er line}{Q}) =0$. Byco ho mo lo gyand b a se chang eand  t heassum p tion t hat $ Y_0\t oX $ f actorst hr o u gh $ \i ot a_D$ , w emight  asw ell  assume  $Y_0=X$,  so ${\o ve rl ine}{S} =S(-D)$. Usin gthe vanish in g t ogethe r with coh omology and base change (and fl atn ess o f ${ \curly Ho m}( S,Q)$) , w e  first  obser ve th at  $$ { \ opera t o rn ame {R }}^1 \pi_{ 1 * } { \curl yHom} ({\over line}{S},Q) = {\op e rat orname{R}}^1\pi _{1* } {\ cur l yH om} (S , Q)( D )  = 0.$$ Next, w e tensor t he se quence $\e q ref {q uotient SES}$ w ith $ S ^\lor(D )$ and ap ply $\pi_ {
, so_it suffices_to prove that this_whole vector_space_is zero._The_functor ${\operatorname{Hom}}_{Y_0 \times_C}$ is the_composition of three functors:_$${\operatorname{Hom}}_{Y_0 \times C}_=_\Gamma \circ \pi_{1*} \circ {\curly Hom}_{Y_0 \times C},$$ so to prove the vanishing of_$${\operatorname{Ext}}^1_{Y_0_\times C}({\overline}{S},{\overline}{Q}_\otimes_\pi_1^*_I) = {\operatorname{R}}^1 {\operatorname{Hom}}_{Y_0 \times_C}({\overline}{S},{\overline}{Q} \otimes \pi_1^* I),$$ it_suffices (by_the Grothendieck spectral sequence) to prove the vanishing_of_the three vector_spaces $$\begin{array}{l} {\operatorname{H}}^1(Y_0, \pi_{1*} {\curly Hom}({\overline}{S},{\overline}{Q} \otimes \pi_1^* I)_ \\ {\operatorname{H}}^0(Y_0, \pi_{1*} {\curly Ext}^1({\overline}{S},_{\overline}{Q} \otimes \pi_1^*_I))_\\_{\operatorname{H}}^0(Y_0, {\operatorname{R}}^1 \pi_{1*} {\curly_Hom}({\overline}{S},{\overline}{Q}) \otimes I)). \end{array}$$ The first_vanishes because $Y_0$ is affine and_the second vanishes because ${\overline}{S}$ is locally_free.

For the third vanishing, we will_show that ${\operatorname{R}}^1 \pi_{1*} {\curly_Hom}({\overline}{S},{\overline}{Q})=0$. By_cohomology and base change and_the assumption that_$Y_0 \to_X$ factors through_$\iota_D$, we might as well assume_$Y_0=X$, so ${\overline}{S}=S(-D)$._Using the vanishing together with cohomology_and_base change (and_flatness_of_${\curly Hom}(S,Q)$),_we first observe_that_$${\operatorname{R}}^1 \pi_{1*}_{\curly_Hom}({\overline}{S},Q) = {\operatorname{R}}^1 \pi_{1*} {\curly Hom}(S,Q)(D)_=_0.$$ Next, we tensor the sequence $\eqref{quotientSES}$_with $S^\lor(D)$ and apply_$\pi_{