ii) in the definition of $t$ following equation (\[eq:Vdef\]). Thus $\mathcal{D}_1(f)$ can only intersect the component $C(v)$ of $\mathcal{Y}_v$. Now (\[eq:fiberint\]) shows $$\langle \mathcal{D}_1(f),n_{C(v)} C(v)\rangle_v = \langle \mathcal{D}_1(f),\mathcal{Y}_v\rangle_v = \mathrm{deg}(D_1(f)) = m.$$ This shows (\[eq:crank1\]) and completes the proof of (iv).

Finally, the inequalities in (\[eq:crank\]) of part (v) are a consequence of (\[eq:urp\]), (\[eq:bounds\]) and (\[eq:crank1\]).

Controlling vertical divisors {#s:Rumcapdiv}
=============================

\[lem:fixit\] Let $\mathcal{D}$, $M$ and $S_v$ be as in Proposition \[prop:divprop\]. Suppose $M' \subset M$ and that $C_0(v) \in S_v$ for $v \in M'$. Then there is a function $h \in K(\mathcal{Y})$ such that $$\label{eq:divisornow}
 \mathrm{div}_{\mathcal{Y}}(h) = \mathcal{D}_1 - \mathcal{D}_2 + \sum_{v \in M'} E_v$$ where $\mathcal{D}_1$ and $\mathcal{D}_2$ are horizontal effective divisors which do not intersect, $\mathcal{D}_2$ has the same support as $\mathcal{D}$, $E_v$ is supported on $\mathcal{Y}_v$, and for $v \in M'$ and $C' \in S_v$ we have $$\label{eq:crank2}
 \langle E_v, C' \rangle_v > 0 \quad \mathrm{if} \quad C_0(v) \ne C' \in S_v \quad  \mathrm{and}\quad
  \langle E_v, C_0(v)\rangle_v
 < 0.$$

We use induction on the number of elements of $M - M'$. If $M = M'$, the Lemma is shown by Proposition \[prop:divprop\]. Suppose now that
ii) in the definition of $ t$ following equation (\[eq: Vdef\ ]). Thus $ \mathcal{D}_1(f)$ can only intersect the part $ C(v)$ of $ \mathcal{Y}_v$. nowadays (\[eq: fiberint\ ]) shows $ $ \langle \mathcal{D}_1(f),n_{C(v) } C(v)\rangle_v = \langle \mathcal{D}_1(f),\mathcal{Y}_v\rangle_v = \mathrm{deg}(D_1(f) ) = m.$$ This shows (\[eq: crank1\ ]) and dispatch the validation of (iv). 

 Finally, the inequalities in (\[eq: crank\ ]) of part (volt) are a consequence of (\[eq: urp\ ]), (\[eq: bounds\ ]) and (\[eq: crank1\ ]). 

 Controlling vertical divisor { # s: Rumcapdiv } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 \[lem: fixit\ ] Let $ \mathcal{D}$, $ M$ and $ S_v$ be as in Proposition \[prop: divprop\ ]. Suppose $ megabyte' \subset M$ and that $ C_0(v) \in S_v$ for $ v \in M'$. Then there is a routine $ planck's constant \in K(\mathcal{Y})$ such that $ $ \label{eq: divisornow } 
  \mathrm{div}_{\mathcal{Y}}(h) = \mathcal{D}_1 - \mathcal{D}_2 + \sum_{v \in M' } E_v$$ where $ \mathcal{D}_1 $ and $ \mathcal{D}_2 $ are horizontal effective divisors which do not intersect, $ \mathcal{D}_2 $ has the same support as $ \mathcal{D}$, $ E_v$ is supported on $ \mathcal{Y}_v$, and for $ volt \in M'$ and $ C' \in S_v$ we have $ $ \label{eq: crank2 } 
  \langle E_v, C' \rangle_v > 0 \quad \mathrm{if } \quad C_0(v) \ne C' \in S_v \quad   \mathrm{and}\quad 
   \langle E_v, C_0(v)\rangle_v 
  < 0.$$ 

 We use trigger on the number of elements of $ M - M'$. If $ M = M'$, the Lemma is shown by Proposition \[prop: divprop\ ]. think now that
ii) ln the definition of $t$ fullowing equation (\[eq:Vdxf\]). Thus $\mathcal{A}_1(f)$ can only intersect the colpinent $C(v)$ of $\mathcal{Y}_v$. Now (\[ed:fiberint\]) shows $$\lqnglt \mathcal{D}_1(f),n_{C(v)} C(v)\czngle_v = \langls \matkcel{D}_1(f),\mathcal{Y}_v\rakgle_v = \mathsm{deg}(D_1(f)) = m.$$ Thiv rhlws (\[eq:crank1\]) and completes the proof of (iv).

Fonwlly, the inequwlitpef in (\[vq:grank\]) of part (v) are a consequencs of (\[eq:lrp\]), (\[eq:bounds\]) and (\[rq:crank1\]).

Controlling verticap digisors {#s:Rumcapdiv}
=============================

\[lfm:fixit\] Let $\matrxal{D}$, $M$ and $S_x$ be as in Proposition \[prop:divprop\]. Suppose $M' \subset M$ and chat $C_0(v) \in W_v$ fog $v \in M'$. Thei therv is a function $h \in N(\mathcak{Y})$ such that $$\lsben{eq:eivisornow}
 \mathrm{div}_{\methcal{Y}}(h) = \mathcal{D}_1 - \iathcal{D}_2 + \sbm_{v \in M'} E_v$$ where $\matycql{D}_1$ atd $\mdthcxo{D}_2$ xre hprjzontap ehfective dibisors whicy do not intersect, $\kaeycal{D}_2$ has the same fu[port as $\mathcal{D}$, $E_v$ is supported on $\mauhcal{G}_v$, and for $v \in M'$ and $C' \in S_v$ we have $$\label{ee:crank2}
 \laggle E_v, C' \rangle_v > 0 \quad \mathrm{if} \quad C_0(v) \ne C' \in S_v \qnaa  \nabhrm{xbd}\euad
  \langle E_v, C_0(v)\rangle_v
 < 0.$$

We use induction og tne number of eleients of $M - M'$. Ig $M = M'$, the Lemoa is shosn by Proposition \[orop:divkrop\]. Syppose nor thst
ii) in the definition of $t$ following Thus can only the component $C(v)$ $$\langle C(v)\rangle_v = \langle = \mathrm{deg}(D_1(f)) = This shows (\[eq:crank1\]) and completes the of (iv). Finally, the inequalities in (\[eq:crank\]) of part (v) are a consequence (\[eq:urp\]), (\[eq:bounds\]) and (\[eq:crank1\]). Controlling vertical divisors {#s:Rumcapdiv} ============================= \[lem:fixit\] Let $\mathcal{D}$, $M$ $S_v$ as Proposition Suppose $M' \subset M$ and that $C_0(v) \in S_v$ for $v \in M'$. Then there is function $h \in K(\mathcal{Y})$ such that $$\label{eq:divisornow} \mathrm{div}_{\mathcal{Y}}(h) \mathcal{D}_1 - \mathcal{D}_2 + \in M'} E_v$$ where $\mathcal{D}_1$ $\mathcal{D}_2$ horizontal effective which not $\mathcal{D}_2$ has the support as $\mathcal{D}$, $E_v$ is supported on $\mathcal{Y}_v$, and for $v \in M'$ and $C' \in S_v$ have $$\label{eq:crank2} C' \rangle_v 0 \mathrm{if} C_0(v) \ne C' \quad \mathrm{and}\quad \langle E_v, C_0(v)\rangle_v < induction on the number of elements of $M M'$. If = M'$, the Lemma is shown Proposition \[prop:divprop\]. Suppose now that
ii) in the definition of $t$ folloWing equatiOn (\[eq:VDef\]). thuS $\mAthcAl{D}_1(f)$ Can only interseCT the Component $C(v)$ of $\mathcal{Y}_v$. now (\[eq:FiBErinT\]) ShOws $$\laNgle \matHCaL{d}_1(F),n_{C(V)} C(V)\rAngLe_V = \LaNgle \mAthCal{D}_1(f),\maThcal{Y}_v\ranGle_V = \mAthrm{deg}(D_1(f)) = m.$$ THIs Shows (\[eq:craNk1\]) aNd completes tHe pRoof of (Iv).

finALly, thE inEqualIties iN (\[Eq:cranK\]) of part (v) aRe A ConseqUEnce of (\[eQ:URp\]), (\[Eq:boUnds\]) and (\[eq:crank1\]).

ConTRoLLing vertical diVisors {#S:RUMcAPDiv}
=============================

\[Lem:Fixit\] Let $\maThCal{D}$, $M$ ANd $S_v$ be aS In pROPosITion \[prop:divprOp\]. Suppose $M' \sUBseT M$ and tHaT $C_0(v) \IN S_v$ for $V \in M'$. THeN TheRe is a functiOn $h \iN K(\mathcal{y})$ such tHAt $$\label{EQ:divisoRnow}
 \maThrM{diV}_{\matHCaL{Y}}(H) = \maThCAl{D}_1 - \MAtHcaL{d}_2 + \suM_{v \in M'} E_v$$ wHeRe $\MathcAl{D}_1$ aND $\MAThcaL{D}_2$ aRe hoRizonTal effective dIviSors WHicH do noT inteRsecT, $\mAthcaL{D}_2$ has tHe samE sUpport as $\mathcal{d}$, $E_v$ iS supporteD on $\MaThcAl{y}_v$, and FOr $v \in M'$ And $c' \in s_v$ we havE $$\label{eQ:CraNk2}
 \LANGlE E_v, C' \rangle_v > 0 \quad \matHrM{IF} \qUad C_0(v) \ne C' \In S_v \quAD  \mAtHRm{and}\quaD
  \lAngLe E_v, c_0(V)\RanglE_v
 < 0.$$

We USe InductioN on the NUmBeR of elemEnTs of $M - M'$. if $m = M'$, tHe LEmma iS ShowN by ProPosition \[Prop:dIVprop\]. Suppose noW That
ii) in the definition of $ t$ followi ng eq uat ion  ( \[eq :Vde f\]). Thus $\m a thca l{D}_1(f)$ can only in terse ct thec om ponen t $C(v) $  o f $\m at hc al{ Y} _ v$ . Now  (\ [eq:fib erint\]) s how s$$\langle \m a th cal{D}_1(f ),n _{C(v)} C(v) \ra ngle_v  =  \l a ngle\ma thcal {D}_1( f ),\mat hcal{Y}_v \r a ngle_v = \math r m {d eg}( D_1(f)) = m.$$ Th i ss hows (\[eq:cra nk1\])  a n dc o mpl ete s the proo fof (i v ).

Fin a ll y , the inequalitiesin (\[eq:cr a nk\ ]) ofpa rt( v) are  a co ns e que nce of (\[e q:ur p\]), (\[ eq:bou n ds\]) a n d (\[eq :crank 1\] ).
Con t ro ll ing  v e rti c al  di v iso rs {#s:R um ca pdiv} 
=== = = = = ==== === ==== ===== ======

\[lem :fi xit\ ]  Le t $\m athca l{D} $,  $M$and $S _v$ b eas in Propositi on \ [prop:div pro p\ ].Su ppose $M' \s ubs etM$ andthat $C _ 0(v )\ i n  S _v$ for $v \in M'$ .T h en  there i s a fu n ct io n  $h \inK( \ma thca l { Y})$such th at $$\la bel{eq : di vi sornow} 
\mathr m{ div }_{ \math c al{Y }}(h)= \mathc al{D} _ 1 - \mathcal{D } _2 + \sum_{v\ in M '} E_v$ $ w here $\math cal{ D }_1$  and $\ mat h cal{D }_2$ar e  h o rizontal effectivedi visors  whic h do not inte rsect, $\m a t h cal{D}_2 $ ha s  t h e same support  as $ \mathcal{D } $, $E_v$  is s upported  on $\mat h c al{Y}_v$ , a ndfor  $v \ in  M'$ and $C'\ i n S_ v$  we hav e $ $\label {eq :cr ank 2} \ langle E_ v, C' \r an gl e_ v> 0  \qua d  \mathrm {i f}\q uad  C_0( v ) \neC' \i n S_ v\q u ad \mathr m {a n d }\qu ad 
 \la ngl eE_v,C_0( v )\r angle_v 
 < 0.$$
We usein du ction o n the numberof  elementsof  $M  - M'$ . If $M =M'$, the Lemma is shown by Prop osi tion\[pr op:divpro p\] . Supp ose now th at
ii) in_the definition_of $t$ following equation_(\[eq:Vdef\]). Thus_$\mathcal{D}_1(f)$_can only_intersect_the component $C(v)$_of $\mathcal{Y}_v$. Now_(\[eq:fiberint\]) shows $$\langle \mathcal{D}_1(f),n_{C(v)}_C(v)\rangle_v = \langle_\mathcal{D}_1(f),\mathcal{Y}_v\rangle_v_= \mathrm{deg}(D_1(f)) = m.$$ This shows (\[eq:crank1\]) and completes the proof of (iv).

Finally, the_inequalities_in (\[eq:crank\])_of_part_(v) are a consequence of_(\[eq:urp\]), (\[eq:bounds\]) and (\[eq:crank1\]).

Controlling vertical_divisors {#s:Rumcapdiv}
=============================

\[lem:fixit\]_Let $\mathcal{D}$, $M$ and $S_v$ be as in_Proposition_\[prop:divprop\]. Suppose $M'_\subset M$ and that $C_0(v) \in S_v$ for $v_\in M'$. Then there is a_function $h \in_K(\mathcal{Y})$_such_that $$\label{eq:divisornow}
 \mathrm{div}_{\mathcal{Y}}(h) =_\mathcal{D}_1 - \mathcal{D}_2 + \sum_{v \in_M'} E_v$$ where $\mathcal{D}_1$ and $\mathcal{D}_2$_are horizontal effective divisors which do not_intersect, $\mathcal{D}_2$ has the same support_as $\mathcal{D}$, $E_v$ is supported_on $\mathcal{Y}_v$,_and for $v \in M'$_and $C' \in_S_v$ we_have $$\label{eq:crank2}
 \langle_E_v, C' \rangle_v > 0 \quad_\mathrm{if} \quad C_0(v)_\ne C' \in S_v \quad _\mathrm{and}\quad
_ \langle E_v,_C_0(v)\rangle_v
_<_0.$$

We use_induction on the_number_of elements_of_$M - M'$. If $M =_M'$,_the Lemma is shown by Proposition \[prop:divprop\]._Suppose now that