 \[lemma: regularity\].

We next prove an analogue of [@Totaro Theorem 6.4]. This will play a crucial role in proving theorem \[theorem: restriction\].

\[theorem: unif\] Let $\mathscr{L}$ be a $q$-ample line bundle on $X$. Then for any $N$, there is an integer $m_{N}$, such that, for any coherent sheaf $\mathscr{F}$ on $X$ with $reg^{q'}(\mathscr{F})\leq N$, $$H^{i}(X,\mathscr{F}\otimes\mathscr{L}^{\otimes m})=0$$ for $i>q+q'$ and $m>m_{N}$.

Fix an integer $i$ such that $q+q'< i \leq n$, by lemma \[lemma: vanishing of tensor product\], it is enough to show that there is an $M$, depending only on the choice of $N$, but not the coherent sheaf $\mathscr{F}$, such that for $m>M$, $0\leq a \leq 2n-i$ and $b\geq 0$, either $H^{b}(X,\mathscr{L}^{\otimes m}\otimes \mathscr{O}_{X}(-N)\otimes \mathscr{R}_{a})=0$ or $H^{i+a-b}(X,\mathscr{F}\otimes\mathscr{O}_{X}(N-a))$. Here $\mathscr{F}$ is any coherent sheaf with $reg^{q'}(\mathscr{F})\leq N$.

$b> q$ and $0\leq a < n+b$.

Using the $q$-ampleness of $\mathscr{L}$, there is an $m_N$, such that we have $$H^{q+j}(X,\mathscr{L}^{\otimes m}\otimes \mathscr{O}_{X}(-N-j))=0$$ for all $1\leq j\leq n-q$ and $m>m_N$, i.e. $\mathscr{L}^{\otimes m}\otimes \mathscr{O}_X(-N)$ is $q$-regular for all $m>m_N$. Now lemma \[lemma: R\_i\] says $$H^{b}(X,\mathscr{L}^{\otimes m}\otimes \mathscr{O}_{X}(-N)\otimes \mathscr{R}_{a})=0$$ for all $m>m_N$, $b> q$ and $
\[lemma: regularity\ ]. 

 We next prove an analogue of [ @Totaro Theorem 6.4 ]. This will play a crucial role in testify theorem \[theorem: restriction\ ]. 

 \[theorem: unif\ ] lease $ \mathscr{L}$ be a $ q$-ample line bundle on $ X$. Then for any $ N$, there is an integer $ m_{N}$, such that, for any coherent bundle $ \mathscr{F}$ on $ X$ with $ reg^{q'}(\mathscr{F})\leq N$, $ $ H^{i}(X,\mathscr{F}\otimes\mathscr{L}^{\otimes m})=0$$ for $ i > q+q'$ and $ m > m_{N}$. 

 Fix an integer $ i$ such that $ q+q' < i \leq n$, by lemma \[lemma: vanishing of tensor product\ ], it is enough to indicate that there is an $ M$, depending merely on the choice of $ N$, but not the coherent sheaf $ \mathscr{F}$, such that for $ megabyte > M$, $ 0\leq a \leq 2n - i$ and $ b\geq 0 $, either $ H^{b}(X,\mathscr{L}^{\otimes m}\otimes \mathscr{O}_{X}(-N)\otimes \mathscr{R}_{a})=0 $ or $ H^{i+a - b}(X,\mathscr{F}\otimes\mathscr{O}_{X}(N - a))$. Here $ \mathscr{F}$ is any coherent sheaf with $ reg^{q'}(\mathscr{F})\leq N$. 

 $ b > q$ and $ 0\leq a < n+b$. 

 use the $ q$-ampleness of $ \mathscr{L}$, there constitute an $ m_N$, such that we have $ $ H^{q+j}(X,\mathscr{L}^{\otimes m}\otimes \mathscr{O}_{X}(-N - j))=0$$ for all $ 1\leq j\leq n - q$ and $ m > m_N$, i.e. $ \mathscr{L}^{\otimes m}\otimes \mathscr{O}_X(-N)$ is $ q$-regular for all $ m > m_N$. Now lemma \[lemma: R\_i\ ] says $ $ H^{b}(X,\mathscr{L}^{\otimes m}\otimes \mathscr{O}_{X}(-N)\otimes \mathscr{R}_{a})=0$$ for all $ m > m_N$, $ bacillus > q$ and $
 \[lelma: regularity\].

We next pruve an analogue of [@Totero Thekrem 6.4]. Thks will play a crucial role mn peovint theorem \[theorem: restfiction\].

\[thvorem: unid\] Leu $\mathscr{L}$ be a $q$-ejple likz bunspe ou $E$. Then for any $K$, there is dn integer $m_{N}$, vuzh that, for any coherent sheaf $\mathscw{F}$ on $X$ wlth $reg^{q'}(\mathsct{F})\leq G$, $$H^{i}(S,\mathscr{F}\otimes\mathscr{L}^{\otimes m})=0$$ fod $i>q+q'$ aid $m>m_{N}$.

Fix an inyeger $i$ such that $q+q'< i \leq n$, bj lemma \[lemma: vanidhing of tebsor product\], it ir enough to show that jhere is an $M$, depending only on ghe ckoice of $N$, vur nlj the cohereit shewf $\mathscr{F}$, such thad for $m>K$, $0\leq a \leq 2n-i$ anv $b\gwq 0$, either $H^{b}(X,\mathscr{N}^{\otimes m}\otimes \majhscr{O}_{X}(-N)\othmzs \mathscr{R}_{a})=0$ or $H^{i+a-b}(X,\narhscr{X}\otikes\mxrhszr{O}_{S}(N-e))$. Hsre $\mahhsrr{F}$ is any doherent shwaf with $reg^{q'}(\mathsct{F})\jva N$.

$b> q$ and $0\lsq a < g+b$.

Tsing the $q$-ampleness of $\mathscr{L}$, there ps ah $m_N$, such that we have $$Y^{q+j}(X,\mathscr{L}^{\otimes m}\ojimes \mathfcr{O}_{X}(-N-j))=0$$ for all $1\leq j\leq n-q$ and $m>m_N$, i.e. $\mathscr{L}^{\othmes j}\utinef \nahhscr{O}_X(-N)$ is $q$-regular for all $m>m_N$. Now lemma \[leija: R\_p\] says $$H^{b}(X,\mathscr{J}^{\otimes m}\otomfs \iathscr{O}_{X}(-N)\otioes \macgsdr{R}_{a})=0$$ for all $m>m_N$, $b> q$ and $
\[lemma: regularity\]. We next prove an analogue Theorem This will a crucial role \[theorem: Let $\mathscr{L}$ be $q$-ample line bundle $X$. Then for any $N$, there an integer $m_{N}$, such that, for any coherent sheaf $\mathscr{F}$ on $X$ with N$, $$H^{i}(X,\mathscr{F}\otimes\mathscr{L}^{\otimes m})=0$$ for $i>q+q'$ and $m>m_{N}$. Fix an integer $i$ such that i n$, lemma vanishing of tensor product\], it is enough to show that there is an $M$, depending only the choice of $N$, but not the coherent $\mathscr{F}$, such that for $0\leq a \leq 2n-i$ and 0$, $H^{b}(X,\mathscr{L}^{\otimes m}\otimes \mathscr{R}_{a})=0$ $H^{i+a-b}(X,\mathscr{F}\otimes\mathscr{O}_{X}(N-a))$. $\mathscr{F}$ is any sheaf with $reg^{q'}(\mathscr{F})\leq N$. $b> q$ and $0\leq a < n+b$. Using the $q$-ampleness of $\mathscr{L}$, there an $m_N$, we have m}\otimes for $1\leq j\leq n-q$ i.e. $\mathscr{L}^{\otimes m}\otimes \mathscr{O}_X(-N)$ is $q$-regular Now lemma \[lemma: R\_i\] says $$H^{b}(X,\mathscr{L}^{\otimes m}\otimes \mathscr{O}_{X}(-N)\otimes for all $b> q$ and $
 \[lemma: regularity\].

We next provE an analoguE of [@ToTarO ThEoRem 6.4]. THis wIll play a cruciaL Role In proving theorem \[theoreM: restRiCTion\].

\[THeOrem: uNif\] Let $\mAThSCR{L}$ bE a $Q$-aMplE lINe BundlE on $x$. Then foR any $N$, there Is aN iNteger $m_{N}$, such THaT, for any cohEreNt sheaf $\mathsCr{F}$ On $X$ witH $rEg^{q'}(\MAthscR{F})\lEq N$, $$H^{i}(x,\mathsCR{F}\otimEs\mathscr{l}^{\oTImes m})=0$$ fOR $i>q+q'$ and $M>M_{n}$.

FIx an Integer $i$ such that $q+Q'< I \lEQ n$, by lemma \[lemma: VanishInG Of TENsoR prOduct\], it is eNoUgh to SHow that THeRE IS an $m$, Depending only On the choice OF $N$, bUt not tHe CohERent shEaf $\maThSCr{F}$, Such that for $M>M$, $0\leQ a \leq 2n-i$ anD $b\geq 0$, eITher $H^{b}(X,\MAthscr{L}^{\Otimes M}\otImeS \matHScR{O}_{x}(-N)\oTiMEs \mAThScr{r}_{A})=0$ or $h^{i+a-b}(X,\matHsCr{f}\otimEs\maTHSCR{O}_{X}(N-A))$. HeRe $\maThscr{f}$ is any coherenT shEaf wITh $rEg^{q'}(\maThscr{f})\leq n$.

$b> Q$ and $0\lEq a < n+b$.

USing tHe $Q$-ampleness of $\matHscr{l}$, there is aN $m_N$, SuCh tHaT we haVE $$H^{q+j}(X,\mAthScr{l}^{\otimes M}\otimes \MAthScR{o}_{x}(-n-j))=0$$ For all $1\leq j\leq n-q$ and $M>m_n$, I.E. $\mAthscr{L}^{\oTimes m}\OTiMeS \Mathscr{O}_x(-N)$ Is $q$-ReguLAR for aLl $m>m_n$. noW lemma \[leMma: R\_i\] sAYs $$h^{b}(x,\mathscR{L}^{\Otimes M}\oTimEs \mAthscR{o}_{X}(-N)\oTimes \mAthscr{R}_{a})=0$$ For alL $M>m_N$, $b> q$ and $
 \[lemma: regularity\].

W e next pro ve an  an alo gu e of  [@T otaro Theorem6 .4].  This will play a cruc ial r ol e  inp ro vingtheorem \[ t h eor em :res tr i ct ion\] .
\[theor em: unif\]  Le t$\mathscr{L} $  b e a $q$-am ple  line bundle  on  $X$.Th enf or an y $ N$, t here i s  an in teger $m_ {N } $, suc h  that,f o ranycoherent sheaf $\ m at h scr{F}$ on $X$  with$r e g^ { q '}( \ma thscr{F})\ le q N$, $$H^{i} ( X, \ m a ths c r{F}\otimes\m athscr{L}^{ \ oti mes m} )= 0$$ for $i >q+q' $a nd$m>m_{N}$.
Fix  an integ er $i$ such th a t $q+q' < i \l eqn$,  byl em ma  \[ le m ma: va nis h ing  of tens or  p roduc t\], i t is e nou gh t o sho w that thereisan $ M $,depen dingonly  o n the  choic e of$N $, but not thecohe rent shea f $ \m ath sc r{F}$ ,  suchtha t f or $m>M $, $0\l e q a  \ l e q  2 n-i$ and $b\geq 0$ ,e i th er $H^{b }(X,\m a th sc r {L}^{\ot im esm}\o t i mes \ math s cr {O}_{X}( -N)\ot i me s\mathsc r{ R}_{a} )= 0$or$H^{i + a-b} (X,\ma thscr{F} \otim e s\mathscr{O}_{ X }(N-a))$. Her e  $ \ m at h scr{ F}$  is any coh eren t  she af w i th  $r e g^{q' }(\ma th s cr { F})\leq N$.

$b> q$  a nd $0\ leq a  < n+b$.

Usi ng the $q$ - a m plenessof $ \ ma t hscr{L}$, ther e isan $m_N$,s uch that  we h ave $$H^ {q+j}(X,\ m a thscr{L} ^{\ oti mes  m} \ o ti mes \mathscr{ O } _{X} (- N-j))=0 $$for all  $1 \le q j \le qn-q$ and$m>m_N$,  i .e .$\ mat hscr{ L }^{\otim es  m} \o tim es \m a thscr{ O}_X( -N)$  i s$ q$- regular fo r all$m >m _N$.  No wlemma  \[l e mma : R\_i\ ] says $$ H^{ b }(X, \m at hscr{L} ^{\otimes m}\ ot imes \math sc r{O }_{X}( - N )\otimes  \mathscr{R}_{a})=0$$ f o r all $ m>m _N$,$b>q$ and $
 \[lemma:_regularity\].

We next_prove an analogue of_[@Totaro Theorem_6.4]._This will_play_a crucial role_in proving theorem_\[theorem: restriction\].

\[theorem: unif\] Let_$\mathscr{L}$ be a_$q$-ample_line bundle on $X$. Then for any $N$, there is an integer $m_{N}$, such_that,_for any_coherent_sheaf_$\mathscr{F}$ on $X$ with $reg^{q'}(\mathscr{F})\leq_N$, $$H^{i}(X,\mathscr{F}\otimes\mathscr{L}^{\otimes m})=0$$ for $i>q+q'$_and $m>m_{N}$.

Fix_an integer $i$ such that $q+q'< i \leq_n$,_by lemma \[lemma:_vanishing of tensor product\], it is enough to show_that there is an $M$, depending_only on the_choice_of_$N$, but not the_coherent sheaf $\mathscr{F}$, such that for_$m>M$, $0\leq a \leq 2n-i$ and_$b\geq 0$, either $H^{b}(X,\mathscr{L}^{\otimes m}\otimes \mathscr{O}_{X}(-N)\otimes \mathscr{R}_{a})=0$_or $H^{i+a-b}(X,\mathscr{F}\otimes\mathscr{O}_{X}(N-a))$. Here $\mathscr{F}$ is any_coherent sheaf with $reg^{q'}(\mathscr{F})\leq N$.

$b>_q$ and_$0\leq a < n+b$.

Using the_$q$-ampleness of $\mathscr{L}$,_there is_an $m_N$, such_that we have $$H^{q+j}(X,\mathscr{L}^{\otimes m}\otimes \mathscr{O}_{X}(-N-j))=0$$_for all $1\leq_j\leq n-q$ and $m>m_N$, i.e. $\mathscr{L}^{\otimes_m}\otimes_\mathscr{O}_X(-N)$ is $q$-regular_for_all_$m>m_N$. Now_lemma \[lemma: R\_i\]_says_$$H^{b}(X,\mathscr{L}^{\otimes m}\otimes_\mathscr{O}_{X}(-N)\otimes_\mathscr{R}_{a})=0$$ for all $m>m_N$, $b> q$_and_$