_2$ in $k^*$ such that $v_1+x+\lambda_1 y$ and $ v_1+x+\lambda_2 y$ both belong to $v_{i}+V_i$. It follows that $(\lambda_1-\lambda_2)y\in V_i$ and, thus, $y\in V_i$. Hence, $V=  V_1 \cup \ldots \cup V_m$. The second statement of the lemma is well-known and can be found for instance in [@BBS], Lemma 2.

Our final lemma in this section is a key ingredient in the proofs of Theorem \[exist-hyp\] and Theorem \[pro.reductiondimension2\] and is used to insure that Condition (2) in Theorem \[globalize\] holds for $n$ big enough uniformly in $s\in S$.

\[existence-fn\] Let $S$ be a noetherian affine scheme, and let $X\to S$ be projective. Let ${{\mathcal O}}_X(1)$ be a very ample sheaf on $X$ relative to $X\to S$. Let $C:=V({{\mathcal J}})$ be a closed subscheme of $X$. Let $A_0$ be a subset of $X$ disjoint from $C$ and such that there exists $c_0\in \mathbb N$ with $\mathrm{Card} (A_0\cap X_s) \le c_0$ for all $ s\in S$. Let ${  \vbox{    \hrule height 0.5pt    \kern0.25ex    \hbox{      \kern-0.1em      \ifmmode{{\mathcal J}}\else\ensuremath{{{\mathcal J}}}\fi      \kern-0.1em    }  }}_s$ denote the image of ${{\mathcal J}}_s $ in ${{\mathcal O}}_{X_s} $. Then there exists $n_0 \geq 0$ such that for all $s \in S$ and for all $n \geq n_0$,

1.  There exists $f_{s,n}\in H^0(X_s, {  \vbox{    \hrule height 0.5pt    \kern0.25ex    \hbox{      \kern-0.1em      \ifmmode{{\mathcal J}}\else\ensuremath{{{\mathcal J
_ 2 $ in $ k^*$ such that $ v_1+x+\lambda_1 y$ and $ v_1+x+\lambda_2 y$ both belong to $ v_{i}+V_i$. It follows that $ (\lambda_1-\lambda_2)y\in V_i$ and, thus, $ y\in V_i$. Hence, $ V=   V_1 \cup \ldots \cup V_m$. The second instruction of the lemma is well - know and can be found for instance in [ @BBS ], Lemma 2. 

 Our final lemma in this department is a key ingredient in the proof of Theorem   \[exist - hyp\ ] and Theorem   \[pro.reductiondimension2\ ] and is use to insure that Condition (2) in Theorem   \[globalize\ ] apply for $ n$ big enough uniformly in $ s\in S$. 

 \[existence - fn\ ] Let $ S$ be a noetherian affine outline, and let $ X\to S$ be projective. Let $ { { \mathcal O}}_X(1)$ be a very ample bundle on $ X$ relative to $ X\to S$. Let $ C:=V({{\mathcal J}})$ be a closed subscheme of $ X$. Let $ A_0 $ be a subset of $ X$ disjoint from $ C$ and such that there exists $ c_0\in \mathbb N$ with $ \mathrm{Card } (A_0\cap X_s) \le c_0 $ for all $ s\in S$. Let $ {   \vbox {     \hrule height 0.5pt     \kern0.25ex     \hbox {       \kern-0.1em       \ifmmode{{\mathcal J}}\else\ensuremath{{{\mathcal J}}}\fi       \kern-0.1em     }   } } _ s$ denote the persona of $ { { \mathcal J}}_s $ in $ { { \mathcal O}}_{X_s } $. Then there exists $ n_0 \geq 0 $ such that for all $ s \in S$ and for all $ n \geq n_0 $, 

 1.   There exist $ f_{s, n}\in H^0(X_s, {   \vbox {     \hrule height 0.5pt     \kern0.25ex     \hbox {       \kern-0.1em       \ifmmode{{\mathcal J}}\else\ensuremath{{{\mathcal J
_2$ in $k^*$ such that $v_1+x+\lambda_1 y$ xnd $ v_1+x+\lambda_2 y$ both bxlong tk $v_{i}+V_i$. Ig follows that $(\lambda_1-\lambda_2)y\mn V_u$ and, thus, $y\in V_i$. Hence, $V=  X_1 \cup \ldons \cup V_m$. The wecond stavsment on the pemmc ms well-known anc can be fmund for instatcd nn [@BBS], Lemma 2.

Our final lemma in this sectiom ls a key ingreqienu ig ths proofs of Theorem \[exist-hyp\] and Thsorem \[prm.reductiondimrnsion2\] and is used to insuge tjat Condition (2) in Hheorem \[globqlizq\] holds for $n$ big enough uniformly jn $s\in S$.

\[existence-fn\] Let $S$ be a voethzrian affing acjgme, and let $E\to S$ fe projectivc. Let ${{\mdthcal P}}_X(1)$ be a very akplx shwaf on $X$ relative to $E\to S$. Let $C:=V({{\mathcal T}})$ be a clmszd subscheme of $X$. Let $A_0$ be a subvet ud $X$ diajpiht frol $C$ and such fhat there wxists $c_0\in \mathbb N$ wynn $\mathrm{Card} (A_0\cap V_s) \le c_0$ for all $ s\in S$. Let ${  \vbox{    \hrult heifht 0.5pt    \kern0.25ex    \hboz{      \kern-0.1em      \iflmode{{\mathsal J}}\else\ensuremath{{{\mathcal J}}}\fi      \kern-0.1em    }  }}_s$ denove tht lixte of ${{\mathcal J}}_s $ in ${{\mathcal O}}_{X_s} $. Then there exyatx $k_0 \geq 0$ such that for all $s \on S$ wnd for all $n \geq n_0$,

1.  Tgere exists $f_{s,n}\in J^0(X_s, {  \vfox{    \hrule htight 0.5pt    \kern0.25ex    \hbox{      \jern-0.1em      \pfmmide{{\mathcal J}}\else\enduremath{{{\matkcal J
_2$ in $k^*$ such that $v_1+x+\lambda_1 y$ v_1+x+\lambda_2 both belong $v_{i}+V_i$. It follows $y\in Hence, $V= V_1 \ldots \cup V_m$. second statement of the lemma is and can be found for instance in [@BBS], Lemma 2. Our final lemma this section is a key ingredient in the proofs of Theorem \[exist-hyp\] and \[pro.reductiondimension2\] is to that Condition (2) in Theorem \[globalize\] holds for $n$ big enough uniformly in $s\in S$. \[existence-fn\] $S$ be a noetherian affine scheme, and let S$ be projective. Let O}}_X(1)$ be a very ample on relative to S$. $C:=V({{\mathcal be a closed of $X$. Let $A_0$ be a subset of $X$ disjoint from $C$ and such that there exists \mathbb N$ (A_0\cap X_s) c_0$ all s\in S$. Let \hrule height 0.5pt \kern0.25ex \hbox{ \kern-0.1em \kern-0.1em } }}_s$ denote the image of ${{\mathcal $ in O}}_{X_s} $. Then there exists $n_0 0$ such that for all $s \in S$ for all $n \geq n_0$, 1. There exists $f_{s,n}\in H^0(X_s, { \vbox{ \hrule height 0.5pt \kern-0.1em \ifmmode{{\mathcal J}}\else\ensuremath{{{\mathcal J
_2$ in $k^*$ such that $v_1+x+\lambda_1 y$ and $ v_1+x+\Lambda_2 y$ botH beloNg tO $v_{i}+v_i$. it foLlowS that $(\lambda_1-\lamBDa_2)y\iN V_i$ and, thus, $y\in V_i$. Hence, $V=  V_1 \Cup \ldOtS \Cup V_M$. thE secoNd stateMEnT OF thE lEmMa iS wELl-Known And Can be foUnd for instAncE iN [@BBS], Lemma 2.

Our FInAl lemma in tHis Section is a keY inGredieNt In tHE prooFs oF TheoRem \[exiST-hyp\] anD Theorem \[pRo.REductiONdimensION2\] aNd is Used to insure that CONdITion (2) in Theorem \[gLobaliZe\] HOlDS For $N$ biG enough uniFoRmly iN $S\in S$.

\[exiSTeNCE-Fn\] LET $S$ be a noetheriAn affine schEMe, aNd let $X\To s$ be PRojectIve. LeT ${{\mAThcAl O}}_X(1)$ be a very AmplE sheaf on $X$ RelatiVE to $X\to S$. lEt $C:=V({{\matHcal J}})$ bE a cLosEd suBScHeMe oF $X$. lEt $A_0$ BE a SubSEt oF $X$ disjoiNt FrOm $C$ anD sucH THAT theRe eXistS $c_0\in \mAthbb N$ with $\matHrm{card} (a_0\Cap x_s) \le c_0$ For alL $ s\in s$. LEt ${  \vboX{    \hrule HeighT 0.5pT    \kern0.25ex    \hbox{      \kern-0.1Em      \ifMmode{{\mathCal j}}\eLse\EnSuremATh{{{\mathCal j}}}\fi      \Kern-0.1em    }  }}_s$ Denote tHE imAgE OF ${{\MaThcal J}}_s $ in ${{\mathcal O}}_{X_S} $. THEN tHere exisTs $n_0 \geq 0$ SUcH tHAt for all $S \iN S$ aNd foR ALl $n \geQ n_0$,

1.  ThERe Exists $f_{s,N}\in H^0(X_s, {  \VBoX{    \hRule heiGhT 0.5pt    \kerN0.25eX    \hbOx{      \kErn-0.1em      \IFmmoDe{{\mathCal J}}\else\EnsurEMath{{{\mathcal J
_2$ in $k^*$ such that $v_ 1+x+\lambd a_1 y $ a nd$v_1+ x+\l ambda_2 y$ bot h  bel ong to $v_{i}+V_i$. It  foll ow s  tha t  $ (\lam bda_1-\ l am b d a_2 )y \i n V _i $  a nd, t hus , $y\in  V_i$. Hen ce,  $ V=  V_1 \cup \l dots \cupV_m $. The secon d s tateme nt  of the l emm a iswell-k n own an d can befo u nd for instanc e in  [@B BS], Lemma 2.

Ou r  f i nal lemma in t his se ct i on i s a  ke y ingredie nt  in t h e proof s  o f T heo r em \[exist-hy p\] and The o rem  \[pro .r edu c tiondi mensi on 2 \]and is used  toinsure th at Con d ition ( 2 ) in Th eorem\[g lob aliz e \]  h old sf or$ n$  bi g  en ough uni fo rm ly in  $s\ i n S $.
\[e xist ence- fn\] Let $S$bea no e the rianaffin e sc he me, a nd let  $X\t oS$ be projectiv e. L et ${{\ma thc al  O} }_ X(1)$ be a v ery  am ple she af on $ X $ r el a t i ve  to $X\to S$. Let$C : = V( {{\mathc al J}} ) $be a closed  s ubs chem e of $X $. L e t$A_0$ be  a sub s et  o f $X$ d is jointfr om$C$  ands uchthat t here exi sts $ c _0\in \mathbbN $ with $\math r m{ C a rd }  (A_ 0\c ap X_s) \le  c_0 $  for  all $s\i n  S$.Let $ {\v b ox{    \hrule heigh t0.5pt   \k ern0.25ex   \hbox{   \ kern-0.1 em  \ifmmode{{\mat hcalJ}}\else\e n suremath {{{\m athcal J }}}\fi   \kern-0 .1e m   }   } } _ s$  denote the i m a ge o f${{\mat hca l J}}_s  $in${{ \ma th cal O}}_{ X_s} $.Th en  t he reexist s  $n_0 \g eq  0$  s uch  that for al l $s\inS$  a n d f or all$ n\ g eq n _0 $, 

1.   T he re ex ists $f_ {s,n}\i n H^0(X_s , {  \vb ox {   \hru le height 0.5 pt     \kern0 .2 5ex     \h b o x{     \kern-0.1em      \ifmmo d e{{\mat hca l J}} \els e\ensurem ath {{{\ma thc a l J
_2$ in_$k^*$ such_that $v_1+x+\lambda_1 y$ and_$ v_1+x+\lambda_2_y$_both belong_to_$v_{i}+V_i$. It follows_that $(\lambda_1-\lambda_2)y\in V_i$_and, thus, $y\in V_i$._Hence, $V= _V_1_\cup \ldots \cup V_m$. The second statement of the lemma is well-known and can_be_found for_instance_in_[@BBS], Lemma 2.

Our final lemma_in this section is a_key ingredient_in the proofs of Theorem \[exist-hyp\] and Theorem \[pro.reductiondimension2\] and_is_used to insure_that Condition (2) in Theorem \[globalize\] holds for $n$ big_enough uniformly in $s\in S$.

\[existence-fn\] Let_$S$ be a_noetherian_affine_scheme, and let $X\to_S$ be projective. Let ${{\mathcal O}}_X(1)$_be a very ample sheaf on_$X$ relative to $X\to S$. Let $C:=V({{\mathcal_J}})$ be a closed subscheme of_$X$. Let $A_0$ be a_subset of_$X$ disjoint from $C$ and_such that there_exists $c_0\in_\mathbb N$ with_$\mathrm{Card} (A_0\cap X_s) \le c_0$ for_all $ s\in_S$. Let ${  \vbox{ __ \hrule height_0.5pt__ _\kern0.25ex  __\hbox{ __   \kern-0.1em  __  \ifmmode{{\mathcal J}}\else\ensuremath{{{\mathcal J}}}\fi  _   \kern-0.1em__  } _}}_s$ denote the image of_${{\mathcal J}}_s $ in ${{\mathcal O}}_{X_s}_$. Then_there exists_$n_0 \geq 0$ such that for all $s \in S$ and_for all $n \geq n_0$,

1. _There exists $f_{s,n}\in H^0(X_s,_{ _\vbox{_  _\hrule_height 0.5pt_   \kern0.25ex   _\hbox{ _    \kern-0.1em _   _\ifmmode{{\mathcal_J}}\else\ensuremath{{{\mathcal J