Curves on rational surfaces {#sec.prelim}
===========================

In the introduction, the situation has been described on the plane. Actually, most of the proofs will be done on the plane blown-up along the $r$ points $P_1,\ldots,P_r$.

In this section, we shall describe the family of rational surfaces obtained by blowing up a family of $r$ disjoint sections in ${\Bbb P}^2$, and the families of curves on these surfaces. We shall also set up most of the notations used in the article.

Families of rational surfaces and relative divisors
---------------------------------------------------

Let $r$ be a positive integer, and $X\subset ({\Bbb P}^2)^r$ be the open subset of $r$-tuples of distinct points. The morphism ${\Bbb P}^2_X={\Bbb P}^2\times X{\longrightarrow}X$ is naturally endowed with $r$ sections : $$\begin{array}{cccc}
\gamma_i : & X &                {\longrightarrow}&           {\Bbb P}^2\times X\\
&(P_1,\ldots,P_r)&      {\longrightarrow}&            (P_i,(P_1,\ldots,P_r))
\end{array}$$ Let $\Gamma_i$ be the image of $\gamma_i$ ; $\Gamma=\cup_{i=1}^r
\Gamma_i$ is a nonsingular variety of ${\Bbb P}^2_X$. Blowing up ${\Bbb P}^2_X$ along $\Gamma$ produces a family of rational surfaces, parameterized by $X$ : $S_X{\stackrel{b}{\longrightarrow}}{\Bbb P}^2_X{\longrightarrow}X$. Let $\pi$ denote the composed morphism $S_X{\longrightarrow}X$. At any point $x=(P_1,\ldots,P_r)$ of $X$, the fiber of $\pi$ will be denoted by $S_x$. This surface $S_x$ is simply the projective plane blown up along the $r$ points $P_1,\ldots,P_r$.

Let us keep in mind that a relative effective Cartier divisor of $S_X$ on $X$ is simply an ideal sheaf ${\mathcal{I}}_D$ on $S_X$, locally principal, and not a zero-divisor in any fiber of $\pi$ (see
Curves on rational surfaces { # sec.prelim } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 In the introduction, the site has been trace on the plane. Actually, most of the proofs will be done on the airplane blown - up along the $ r$ points $ P_1,\ldots, P_r$. 

 In this section, we shall report the family of rational surface obtained by blowing up a syndicate of $ r$ disjoint sections in $ { \Bbb P}^2 $, and the families of curvature on these surfaces. We shall besides set up most of the notation use in the article. 

 Families of rational surfaces and proportional divisors 
 --------------------------------------------------- 

 Let $ r$ be a cocksure integer, and $ X\subset ({ \Bbb P}^2)^r$ be the open subset of $ r$-tuples of discrete points. The morphism $ { \Bbb P}^2_X={\Bbb P}^2\times X{\longrightarrow}X$ is naturally endowed with $ r$ sections  : $ $ \begin{array}{cccc } 
 \gamma_i: & X &                 { \longrightarrow } &            { \Bbb P}^2\times X\\ 
 & (P_1,\ldots, P_r) &       { \longrightarrow } &             (P_i,(P_1,\ldots, P_r) ) 
 \end{array}$$ Let $ \Gamma_i$ be the image of $ \gamma_i$; $ \Gamma=\cup_{i=1}^r 
 \Gamma_i$ is a nonsingular variety show of $ { \Bbb P}^2_X$. Blowing up $ { \Bbb P}^2_X$ along $ \Gamma$ produces a family of rational surfaces, parameterized by $ X$  : $ S_X{\stackrel{b}{\longrightarrow}}{\Bbb P}^2_X{\longrightarrow}X$. Let $ \pi$ denote the composed morphism $ S_X{\longrightarrow}X$. At any point $ x=(P_1,\ldots, P_r)$ of $ X$, the fiber of $ \pi$ will be denoted by $ S_x$. This surface $ S_x$ is simply the projective plane blown up along the $ r$ points $ P_1,\ldots, P_r$. 

 Let us keep open in mind that a relative effective Cartier divisor of $ S_X$ on $ X$ is plainly an ideal sheaf $ { \mathcal{I}}_D$ on $ S_X$, locally principal, and not a zero - divisor in any fiber of $ \pi$ (see
Curges on rational surfaces {#sec.prelim}
===========================

In thg untrodnction, fhe situxtion has been described on vhe plane. Actually, most of the oroofs wipl be dobe oi the plane blowi-hp alonn the $v$ poiutw $P_1,\ldots,P_r$.

In tmis section, we shall descsice the family of rational surfaces obeained ny blowing up a samikr of $g$ bisjoint sections in ${\Bbb P}^2$, and fhe famplies of curves om these surfaces. We shall wlso set up most of thf notations useq in the artizle.

Families of rationam surfaces and relative divisorr
---------------------------------------------------

Let $x$ be a posijnce ltteger, and $E\subsen ({\Bbb P}^2)^r$ be tmv open vubset pf $r$-tuples of cisvincr points. The morphism ${\Bbb P}^2_X={\Bbb P}^2\times V{\longrighdaxrow}X$ is naturally eneoqed whth $s$ sezriovs : $$\gejin{zrray}{cfcc}
\jamma_i : & X &                {\longrightarrow}&           {\Bbb P}^2\fimes V\\
&(P_1,\jdots,P_r)&      {\longrightarrow}&            (K_i,(P_1,\ldkts,P_r))
\end{array}$$ Let $\Gamma_u$ be the image of $\gamla_i$ ; $\Gammw=\cup_{i=1}^r
\Gamma_i$ is a nonsingular variety of ${\Bbb P}^2_X$. Bnowinj jp ${\Ynn P}^2_X$ qllng $\Gamma$ produces a family of rational surfasss, psrameterized bn $X$ : $S_X{\stackrel{b}{\lonbrlgnjarrow}}{\Bbb P}^2_X{\lovgrighczrdow}X$. Let $\pi$ denote the coiposee morphisi $S_X{\kongrightarrow}X$. At any poinr $x=(P_1,\ldots,P_r)$ jd $X$, the fiber of $\pn$ will be deuoted ny $S_x$. This surface $S_x$ is sim'ly ths projectivf plane bmuwn up along the $r$ ioinds $P_1,\ldots,P_r$.

Let us keep in iind that a rzlative dffevtive Sartier digisor of $S_X$ on $X$ is simppy an igeal sheaf ${\mathcal{I}}_D$ on $S_X$, locally princi'el, and not a eerm-dinisor in cny finer of $\pi$ (see
Curves on rational surfaces {#sec.prelim} =========================== In the has been on the plane. will done on the blown-up along the points $P_1,\ldots,P_r$. In this section, we describe the family of rational surfaces obtained by blowing up a family of disjoint sections in ${\Bbb P}^2$, and the families of curves on these surfaces. shall set most the notations used in the article. Families of rational surfaces and relative divisors --------------------------------------------------- Let $r$ a positive integer, and $X\subset ({\Bbb P}^2)^r$ be open subset of $r$-tuples distinct points. The morphism ${\Bbb P}^2\times is naturally with sections $$\begin{array}{cccc} \gamma_i : X & {\longrightarrow}& {\Bbb P}^2\times X\\ &(P_1,\ldots,P_r)& {\longrightarrow}& (P_i,(P_1,\ldots,P_r)) \end{array}$$ Let $\Gamma_i$ be the image of $\gamma_i$ $\Gamma=\cup_{i=1}^r \Gamma_i$ nonsingular variety ${\Bbb Blowing ${\Bbb P}^2_X$ along a family of rational surfaces, parameterized $S_X{\stackrel{b}{\longrightarrow}}{\Bbb P}^2_X{\longrightarrow}X$. Let $\pi$ denote the composed morphism At any $x=(P_1,\ldots,P_r)$ of $X$, the fiber of will be denoted by $S_x$. This surface $S_x$ simply the projective plane blown up along the $r$ points $P_1,\ldots,P_r$. Let us keep in a relative effective Cartier of $S_X$ on is an sheaf on $S_X$, principal, and not a zero-divisor in any fiber of $\pi$ (see
Curves on rational surfaces {#sEc.prelim}
===========================

In The inTroDucTiOn, thE sitUation has been dEScriBed on the plane. Actually, mOst of ThE ProoFS wIll be Done on tHE pLANe bLoWn-Up aLoNG tHe $r$ poIntS $P_1,\ldots,p_r$.

In this seCtiOn, We shall descrIBe The family oF raTional surfacEs oBtaineD bY blOWing uP a fAmily Of $r$ disJOint seCtions in ${\BBb p}^2$, And the FAmilies OF CuRves On these surfaces. We SHaLL also set up most Of the nOtATiONS usEd iN the articlE.

FAmiliES of ratiONaL SURfaCEs and relative Divisors
---------------------------------------------------

Let $R$ Be a PositiVe IntEGer, and $x\subsEt ({\bBb P}^2)^R$ be the open sUbseT of $r$-tupleS of disTInct poiNTs. The moRphism ${\bbb p}^2_X={\BBb P}^2\tIMeS X{\LonGrIGhtARrOw}X$ IS naTurally eNdOwEd witH $r$ seCTIONs : $$\beGin{ArraY}{cccc}
\Gamma_i : & X &                {\longriGhtArroW}&           {\bbb p}^2\timeS X\\
&(P_1,\ldOts,P_R)&      {\lOngriGhtarrOw}&            (P_i,(P_1,\LdOts,P_r))
\end{array}$$ LeT $\GamMa_i$ be the iMagE oF $\gaMmA_i$ ; $\GamMA=\cup_{i=1}^r
\gamMa_i$ Is a nonsIngular VAriEtY OF ${\bbB P}^2_X$. Blowing up ${\Bbb P}^2_X$ aLoNG $\gaMma$ produCes a faMIlY oF Rational SuRfaCes, pARAmeteRizeD By $x$ : $S_X{\stackRel{b}{\loNGrIgHtarrow}}{\bbB P}^2_X{\lonGrIghTarRow}X$. LET $\pi$ dEnote tHe composEd morPHism $S_X{\longrighTArrow}X$. At any poINt $X=(p_1,\LdOTs,P_r)$ Of $X$, The fiber of $\pI$ wilL Be deNoteD By $s_x$. THIs surFace $S_X$ iS SiMPly the projective plaNe Blown uP alonG the $r$ points $P_1,\lDots,P_r$.

Let uS KEEp in mind That A ReLAtive effective cartiEr divisor oF $s_X$ on $X$ is sImply An ideal sHeaf ${\mathcAL{i}}_D$ on $S_X$, loCalLy pRinCipAL, AnD not a zero-diviSOR in aNy Fiber of $\Pi$ (sEe
Curves on rational surface s {#sec.pr elim} 
== === == ==== ==== ============
I n th e introduction, the si tuati on hasb ee n des cribedo nt h e p la ne . A ct u al ly, m ost  of the  proofs wi llbe  done on the pl ane blown- upalong the $r $ p oints$P _1, \ ldots ,P_ r$.
In thi s  secti on, we sh al l  descr i be thef a mi ly o f rational surfac e so btained by blo wing u pa  f a m ily  of  $r$ disjo in t sec t ions in ${ \ B b b P } ^2$, and thefamilies of cur ves on  t hes e  surfa ces.We sha ll also set  upmost of t he not a tions u s ed in t he art icl e.
Fam i li es  of  r a tio n al  su r fac es and r el at ive d ivis o r s ---- --- ---- ----- ------------- --- ---- - --- ----- ----- -

L et  $r$be a p ositi ve  integer, and $ X\su bset ({\B bbP} ^2) ^r $ bet he ope n s ubs et of $ r$-tupl e s o fd i s ti nct points. The mo rp h i sm  ${\BbbP}^2_X = {\ Bb b  P}^2\ti me s X {\lo n g right arro w }X $ is nat urally en do wed wit h$r$ se ct ion s :  $$\b e gin{ array} {cccc}
\ gamma _ i : & X &              {\l o ng r i gh t arro w}&           {\Bb b  P}^ 2\ti m es  X\ \ 
&(P_ 1,\ld ot s ,P _ r)&      {\longrigh ta rrow}&            (P_i,( P_1,\ldots , P _ r))
\end {arr a y} $ $ Let $\Gamma_ i$ be  the image of $\gam ma_i$  ; $\Gam ma=\cup_{ i = 1}^r
\Ga mma _i$  is  an o ns ingular varie t y  of${ \Bbb P} ^2_ X$. Blo win g u p $ {\B bb  P}^2_X$along $\ Ga mm a$  p rod ucesa  familyof  ra ti ona l sur f aces,param eter iz ed by$X$ : $ S _X { \ stac kr el {b}{ \lo ng right arro w }}{ \Bbb P} ^2_X{\lon gri g htar ro w} X$. Let  $\pi$ denote  t he compose dmor phism$ S _X{\long rightarrow}X$. At any p o int $x= (P_ 1,\ld ots, P_r)$ of$X$ , thefib e r of $ \pi$ w ill b eden o t ed by $ S_ x$.  T his surfac e $S_ x$ is  s impl y the p rojective plane bl o wnup along the$r$  poi n t s$P_ 1 ,\ l dot s, P _r$ . 
Let us keep in  mind that  a re lative eff e cti ve  Cartie r divis or of $S_X$ o n $X$ issimply an  i deal s hea f ${\mathc al{I}}_D $ on $S_X $ , loc a ll y pri nci pal, a nd  no t a z ero-di v iso r inany fi be r of $ \pi$(s ee
Curves on_rational surfaces_{#sec.prelim}
===========================

In the introduction, the_situation has_been_described on_the_plane. Actually, most_of the proofs_will be done on_the plane blown-up_along_the $r$ points $P_1,\ldots,P_r$.

In this section, we shall describe the family of rational surfaces_obtained_by blowing_up_a_family of $r$ disjoint sections_in ${\Bbb P}^2$, and the_families of_curves on these surfaces. We shall also set_up_most of the_notations used in the article.

Families of rational surfaces and_relative divisors
---------------------------------------------------

Let $r$ be a positive_integer, and $X\subset_({\Bbb_P}^2)^r$_be the open subset_of $r$-tuples of distinct points. The_morphism ${\Bbb P}^2_X={\Bbb P}^2\times X{\longrightarrow}X$ is_naturally endowed with $r$ sections : $$\begin{array}{cccc}
\gamma_i :_& X &   _    _ _    _{\longrightarrow}&  _ _  _   {\Bbb P}^2\times X\\
&(P_1,\ldots,P_r)&_  _  {\longrightarrow}&   __  ___ _(P_i,(P_1,\ldots,P_r))
\end{array}$$ Let $\Gamma_i$_be_the image_of_$\gamma_i$ ; $\Gamma=\cup_{i=1}^r
\Gamma_i$ is a nonsingular_variety_of ${\Bbb P}^2_X$. Blowing up ${\Bbb P}^2_X$_along $\Gamma$ produces a_family_of rational surfaces, parameterized_by $X$ : $S_X{\stackrel{b}{\longrightarrow}}{\Bbb P}^2_X{\longrightarrow}X$. Let_$\pi$ denote the composed morphism $S_X{\longrightarrow}X$._At any_point $x=(P_1,\ldots,P_r)$_of $X$, the fiber of $\pi$ will be denoted by $S_x$._This surface $S_x$ is simply the_projective plane blown up_along the_$r$_points $P_1,\ldots,P_r$.

Let us_keep_in mind_that a relative effective Cartier divisor of_$S_X$ on_$X$ is simply an ideal sheaf_${\mathcal{I}}_D$ on $S_X$, locally_principal,_and not a zero-divisor in any_fiber of $\pi$ (see