d}}}.{\ensuremath{\underline{l}}}-1$. If ${\ensuremath{\underline{d}}}.{\ensuremath{\underline{l}}}\geq
0$, then $h^1({\mathcal{I}}_{Q,{\ensuremath{\widetilde{L}}}}({\ensuremath{\underline{d}}}))=0$, as expected. Otherwise, the exact sequence $
0{\longrightarrow}{\mathcal{O}}_{S_x}({\ensuremath{\underline{d}}}-{\ensuremath{\underline{l}}}){\longrightarrow}{\mathcal{O}}_{S_x}({\ensuremath{\underline{d}}}){\longrightarrow}{\mathcal{O}}_{{\ensuremath{\widetilde{L}}}}({\ensuremath{\underline{d}}}){\longrightarrow}0$ shows that ${\ensuremath{\widetilde{L}}}$ is a base component of ${\mathcal{L}}_x({\ensuremath{\underline{d}}})$. Consider another line $L'$ of ${\Bbb P}^2$ containing none of the $r$ points $P_1,\ldots,P_r$. The preceding argument is true, with $L'$ in place of $L$, showing that the point $Q'={\ensuremath{\widetilde{L}}}\cap{\ensuremath{\widetilde{L}}}'$ can not be a base point of ${\mathcal{L}}_x({\ensuremath{\underline{d}}})$. This is a contradiction.

Therefore, $h^1({\mathcal{O}}_{S_x}({\ensuremath{\underline{d}}}-{\ensuremath{\underline{l}}}))=h^1({\mathcal{I}}_{Q,{\ensuremath{\widetilde{L}}}}({\ensuremath{\underline{d}}}))=0$, and the first exact sequence yields $h^1({\mathcal{I}}_Q({\ensuremath{\underline{d}}}))=0$.

$\bullet$ Thus ${\mathcal{L}}_x({\ensuremath{\underline{d}}})$ is base point free. Bertini’s theorem shows that ${\mathfrak{D}}_x({\ensuremath{\underline{d}}})$ is a smooth curve. Suppose it is not geometrically irreducible, and denote by $D_1,\ldots,D_l \ (l\geq 2)$ its geometrically irreducible components (over a bigger base field). Let ${\ensuremath{\underline{d}}}_i\in {\ensuremath{\mathrm{Pic\ }}}S_x$ be the class of $D_i$ $(1\leq
i\leq l)$.

Consider two integers $1\leq i\neq j \leq l$. The curve ${\mathfrak{D}}_x({\ensuremath{\underline{d}}})$ being
d}}}.{\ensuremath{\underline{l}}}-1$. If $ { \ensuremath{\underline{d}}}.{\ensuremath{\underline{l}}}\geq 
 0 $, then $ h^1({\mathcal{I}}_{Q,{\ensuremath{\widetilde{L}}}}({\ensuremath{\underline{d}}}))=0 $, as expected. Otherwise, the exact sequence $ 
 0{\longrightarrow}{\mathcal{O}}_{S_x}({\ensuremath{\underline{d}}}-{\ensuremath{\underline{l}}}){\longrightarrow}{\mathcal{O}}_{S_x}({\ensuremath{\underline{d}}}){\longrightarrow}{\mathcal{O}}_{{\ensuremath{\widetilde{L}}}}({\ensuremath{\underline{d}}}){\longrightarrow}0 $ testify that $ { \ensuremath{\widetilde{L}}}$ is a basis component of $ { \mathcal{L}}_x({\ensuremath{\underline{d}}})$. Consider another line $ L'$ of $ { \Bbb P}^2 $ hold none of the $ r$ points $ P_1,\ldots, P_r$. The preceding argumentation is on-key, with $ L'$ in place of $ L$, read that the point $ Q'={\ensuremath{\widetilde{L}}}\cap{\ensuremath{\widetilde{L}}}'$ cannot be a base compass point of $ { \mathcal{L}}_x({\ensuremath{\underline{d}}})$. This is a contradiction. 

 Therefore, $ h^1({\mathcal{O}}_{S_x}({\ensuremath{\underline{d}}}-{\ensuremath{\underline{l}}}))=h^1({\mathcal{I}}_{Q,{\ensuremath{\widetilde{L}}}}({\ensuremath{\underline{d}}}))=0 $, and the first accurate sequence yields $ h^1({\mathcal{I}}_Q({\ensuremath{\underline{d}}}))=0$. 

 $ \bullet$ Thus $ { \mathcal{L}}_x({\ensuremath{\underline{d}}})$ is base point free. Bertini ’s theorem shows that $ { \mathfrak{D}}_x({\ensuremath{\underline{d}}})$ is a politic curve. Suppose it is not geometrically irreducible, and denote by $ D_1,\ldots, D_l \ (l\geq 2)$ its geometrically irreducible component (over a bigger base field). permit $ { \ensuremath{\underline{d}}}_i\in { \ensuremath{\mathrm{Pic\ } } } S_x$ be the class of $ D_i$ $ (1\leq 
 i\leq l)$. 

 Consider two integers $ 1\leq i\neq j \leq l$. The curve $ { \mathfrak{D}}_x({\ensuremath{\underline{d}}})$ being
d}}}.{\enduremath{\underline{l}}}-1$. If ${\enruremath{\underliuw{d}}}.{\ensucemath{\uhderline{u}}}\geq
0$, then $h^1({\mathcal{I}}_{Q,{\ensuremavh{\wieetilee{L}}}}({\ensuremath{\underline{a}}}))=0$, as expebted. Otheewist, the exact sequeide $
0{\longvnghtadvow}{\machral{O}}_{S_x}({\ensurematm{\underline{d}}}-{\ansuremath{\undeslknz{l}}}){\longrightarrow}{\mathcal{O}}_{S_x}({\ensuremath{\tnderlime{f}}}){\longrightarror}{\matnsal{O}}_{{\snsuremath{\widetilde{L}}}}({\ensuremath{\undedline{d}}}){\lmngrightarrow}0$ shows that ${\ensuremath{\widehildf{L}}}$ is a base compojent of ${\matycal{J}}_z({\ensuremath{\uvderline{d}}})$. Bmnsider ankther line $L'$ of ${\Bbb P}^2$ containine nonz of the $r$ kojnhv $P_1,\ldots,P_r$. Vhe prvceding argumcmt is drue, wiyh $L'$ in place pf $N$, syowing that the point $Q'={\ensuremath{\widetijde{L}}}\cap{\envuxemath{\widetilde{L}}}'$ can bor be d bave puunt of ${\methdal{L}}_x({\ejsucemath{\undermine{d}}})$. This us a contradiction.

Tnewvgore, $h^1({\mathcam{O}}_{S_x}({\enfuwemath{\underline{d}}}-{\ensuremath{\underline{l}}}))=h^1({\mauhcal{J}}_{Q,{\ensuremath{\widetilde{L}}}}({\ebsuremath{\underline{d}}}))=0$, ajd the fiwst exact sequence yields $h^1({\mathcal{I}}_Q({\ensuremath{\undarlinx{d}}}))=0$.

$\culoeb$ Thjw ${\lathcal{L}}_x({\ensuremath{\underline{d}}})$ is base point fwse. Bvrtini’s theorem smows that ${\mathfrak{C}}_x({\fnxoremath{\underlive{d}}})$ is a amooth curve. Suppode it if not geometrisallu irreducible, and denote by $D_1,\ldots,D_l \ (l\yeq 2)$ its geometricallv irreduciblz comppnentx (over a bigger base fizld). Lef ${\ensurematj{\underlins{a}}}_i\in {\ensuremath{\mxthgm{Piw\ }}}S_x$ be ufe class of $D_i$ $(1\lez
i\leq l)$.

Coisidex two ingegets $1\leq y\neq j \leq l$. Thc curve ${\mathfrak{D}}_x({\ejsureladh{\underlinf{d}}})$ being
d}}}.{\ensuremath{\underline{l}}}-1$. If ${\ensuremath{\underline{d}}}.{\ensuremath{\underline{l}}}\geq 0$, then $h^1({\mathcal{I}}_{Q,{\ensuremath{\widetilde{L}}}}({\ensuremath{\underline{d}}}))=0$, as the sequence $ shows that ${\ensuremath{\widetilde{L}}}$ ${\mathcal{L}}_x({\ensuremath{\underline{d}}})$. another line $L'$ ${\Bbb P}^2$ containing of the $r$ points $P_1,\ldots,P_r$. The argument is true, with $L'$ in place of $L$, showing that the point can not be a base point of ${\mathcal{L}}_x({\ensuremath{\underline{d}}})$. This is a contradiction. Therefore, and first sequence $h^1({\mathcal{I}}_Q({\ensuremath{\underline{d}}}))=0$. $\bullet$ Thus ${\mathcal{L}}_x({\ensuremath{\underline{d}}})$ is base point free. Bertini’s theorem shows that ${\mathfrak{D}}_x({\ensuremath{\underline{d}}})$ is a smooth Suppose it is not geometrically irreducible, and denote $D_1,\ldots,D_l \ (l\geq 2)$ geometrically irreducible components (over a base Let ${\ensuremath{\underline{d}}}_i\in }}}S_x$ the of $D_i$ $(1\leq l)$. Consider two integers $1\leq i\neq j \leq l$. The curve ${\mathfrak{D}}_x({\ensuremath{\underline{d}}})$ being
d}}}.{\ensuremath{\underline{l}}}-1$. If ${\enSuremath{\unDerliNe{d}}}.{\EnsUrEmatH{\undErline{l}}}\geq
0$, then $H^1({\MathCal{I}}_{Q,{\ensuremath{\widetilDe{L}}}}({\enSuREmatH{\UnDerliNe{d}}}))=0$, as exPEcTED. OtHeRwIse, ThE ExAct seQueNce $
0{\longRightarrow}{\MatHcAl{O}}_{S_x}({\ensuremATh{\Underline{d}}}-{\EnsUremath{\underLinE{l}}}){\longRiGhtARrow}{\mAthCal{O}}_{S_X}({\ensurEMath{\unDerline{d}}}){\lOnGRightaRRow}{\mathCAL{O}}_{{\EnsuRemath{\widetilde{L}}}}({\eNSuREmath{\underline{D}}}){\longrIgHTaRROw}0$ sHowS that ${\ensurEmAth{\wiDEtilde{L}}}$ IS a BASE coMPonent of ${\mathcAl{L}}_x({\ensuremATh{\uNderliNe{D}}})$. CoNSider aNotheR lINe $L'$ Of ${\Bbb P}^2$ contaIninG none of thE $r$ poinTS $P_1,\ldots,p_R$. The preCeding ArgUmeNt is TRuE, wIth $l'$ iN PlaCE oF $L$, sHOwiNg that thE pOiNt $Q'={\enSureMATH{\WideTilDe{L}}}\cAp{\ensUremath{\widetiLde{l}}}'$ can NOt bE a basE poinT of ${\mAtHcal{L}}_X({\ensurEmath{\UnDerline{d}}})$. This is a ContRadiction.

theReForE, $h^1({\MathcAL{O}}_{S_x}({\enSurEmaTh{\underLine{d}}}-{\enSUreMaTH{\UNdErline{l}}}))=h^1({\mathcal{I}}_{Q,{\eNsUREmAth{\widetIlde{L}}}}({\eNSuReMAth{\underLiNe{d}}}))=0$, And tHE First ExacT SeQuence yiElds $h^1({\mAThCaL{I}}_Q({\ensuReMath{\unDeRliNe{d}}}))=0$.

$\BulleT$ thus ${\MathcaL{L}}_x({\ensurEmath{\UNderline{d}}})$ is basE Point free. BertINi’S THeORem sHowS that ${\mathfrAk{D}}_x({\ENsurEmatH{\UnDerLIne{d}}})$ iS a smoOtH CuRVe. Suppose it is not geoMeTricalLy irrEducible, and deNote by $D_1,\ldoTS,d_L \ (l\geq 2)$ its GeomETrICally irreducibLe comPonents (oveR A bigger bAse fiEld). Let ${\enSuremath{\uNDErline{d}}}_i\In {\eNsuRemAth{\MAThRm{Pic\ }}}S_x$ be the cLASs of $d_i$ $(1\Leq
i\leq L)$.

CoNsider tWo iNteGerS $1\leQ i\Neq j \leq l$. THe curve ${\mAtHfRaK{D}}_X({\enSuremATh{\underlInE{d}}})$ bEiNg
d}}}.{\ensuremath{\underli ne{l}}}-1$ . If${\ ens ur emat h{\u nderline{d}}}. { \ens uremath{\underline{l}} }\geq 
0 $ , th e n$h^1( {\mathc a l{ I } }_{ Q, {\ ens ur e ma th{\w ide tilde{L }}}}({\ens ure ma th{\underlin e {d }}}))=0$,asexpected. Ot her wise,th e e x act s equ ence$
0{\l o ngrigh tarrow}{\ ma t hcal{O } }_{S_x} ( { \e nsur emath{\underline{ d }} } -{\ensuremath{ \under li n e{ l } }}) {\l ongrightar ro w}{\m a thcal{O } }_ { S _ x}( { \ensuremath{\ underline{d } }}) {\long ri ght a rrow}{ \math ca l {O} }_{{\ensure math {\widetil de{L}} } }({\ens u remath{ \under lin e{d }}}) { \l on gri gh t arr o w} 0$s how s that $ {\ en surem ath{ \ w i d etil de{ L}}} $ isa base compon ent  of$ {\m athca l{L}} _x({ \e nsure math{\ under li ne{d}}})$. Cons ider  anotherlin e$L' $of ${ \ Bbb P} ^2$  co ntainin g noneo f t he $ r $points $P_1,\ldots ,P _ r $.  The pre ceding ar gu m ent is t ru e,with $ L'$ i n pl a ce  of $L$,  showi n gth at thepo int $Q '= {\e nsu remat h {\wi detild e{L}}}\c ap{\e n suremath{\wide t ilde{L}}}'$ c a nn o tb e abas e point of${\m a thca l{L} } _x ({\ e nsure math{ \u n de r line{d}}})$. This i sa cont radic tion.

Theref ore, $h^1( { \ m athcal{O }}_{ S _x } ({\ensuremath{ \unde rline{d}}} - {\ensure math{ \underli ne{l}}})) = h ^1({\mat hca l{I }}_ {Q, { \ en suremath{\wid e t ilde {L }}}}({\ ens uremath {\u nde rli ne{ d} }}))=0$,and thefi rs tex act  sequ e nce yiel ds  $h ^1 ({\ mathc a l{I}}_ Q({\e nsur em at h {\u nderlin e {d } } }))= 0$ .
$\b ull et $ Thu s ${ \ mat hcal{L} }_x({\ens ure m ath{ \u nd erline{ d}}})$ is bas epoint free .Ber tini’s t heorem s hows that ${\mathfrak{D } }_x({\e nsu remat h{\u nderline{ d}} })$ is  as moothcurve.  Supp os e i t is no t ge ome tr ically irr e d uci ble,an d de note by  $D_1,\ldots,D_l \ (l\ geq 2)$ its g eom etri c a ll y i r re d uci bl e  co m p onents (over abigger bas ef ie ld). Let $ { \en su remath{ \underl ine{d } }}_i\in  {\ensure math{\mat hr m{Pi c \  }} }S_x$ be t he class  of $D_i$ $(1\l e qi\leq  l) $.

Co ns ide r two  integ e rs$1\le q i\ne qj \leq  l$.Th e curve${\mathfrak{D}}_x({\ens uremat h{\un der line{d}}} )$b ein g
d}}}.{\ensuremath{\underline{l}}}-1$. If_${\ensuremath{\underline{d}}}.{\ensuremath{\underline{l}}}\geq
0$, then_$h^1({\mathcal{I}}_{Q,{\ensuremath{\widetilde{L}}}}({\ensuremath{\underline{d}}}))=0$, as expected. Otherwise,_the exact_sequence_$
0{\longrightarrow}{\mathcal{O}}_{S_x}({\ensuremath{\underline{d}}}-{\ensuremath{\underline{l}}}){\longrightarrow}{\mathcal{O}}_{S_x}({\ensuremath{\underline{d}}}){\longrightarrow}{\mathcal{O}}_{{\ensuremath{\widetilde{L}}}}({\ensuremath{\underline{d}}}){\longrightarrow}0$ shows_that_${\ensuremath{\widetilde{L}}}$ is a_base component of_${\mathcal{L}}_x({\ensuremath{\underline{d}}})$. Consider another line_$L'$ of ${\Bbb_P}^2$_containing none of the $r$ points $P_1,\ldots,P_r$. The preceding argument is true, with $L'$_in_place of_$L$,_showing_that the point $Q'={\ensuremath{\widetilde{L}}}\cap{\ensuremath{\widetilde{L}}}'$ can_not be a base point_of ${\mathcal{L}}_x({\ensuremath{\underline{d}}})$._This is a contradiction.

Therefore, $h^1({\mathcal{O}}_{S_x}({\ensuremath{\underline{d}}}-{\ensuremath{\underline{l}}}))=h^1({\mathcal{I}}_{Q,{\ensuremath{\widetilde{L}}}}({\ensuremath{\underline{d}}}))=0$, and the first_exact_sequence yields $h^1({\mathcal{I}}_Q({\ensuremath{\underline{d}}}))=0$.

$\bullet$_Thus ${\mathcal{L}}_x({\ensuremath{\underline{d}}})$ is base point free. Bertini’s theorem shows_that ${\mathfrak{D}}_x({\ensuremath{\underline{d}}})$ is a smooth curve._Suppose it is_not_geometrically_irreducible, and denote by_$D_1,\ldots,D_l \ (l\geq 2)$ its geometrically_irreducible components (over a bigger base_field). Let ${\ensuremath{\underline{d}}}_i\in {\ensuremath{\mathrm{Pic\ }}}S_x$ be the_class of $D_i$ $(1\leq
i\leq l)$.

Consider two_integers $1\leq i\neq j \leq_l$. The_curve ${\mathfrak{D}}_x({\ensuremath{\underline{d}}})$ being