V(d;m_1,\ldots,m_r)$ is not empty.

The importance of this result comes from the fact that it is still valid when the expected dimension is small (which happens when the number $r$ of points is high) ; even say, when $e$ is zero. In this case, the curve is isolated in $E$, and Bertini’s theorem can not be used.

Recent existence results have been proved by Greuel, Lossen and Shustin in the case of ordinary singularities, ([@gls.blowup], section 3.3) ; or even for general singularities [@gls.plane]. But in all these statements the dimension of the system $E$ must be, at least, quadratic in the degree $d$. Notice, however, that the method of [@gls.plane] together with the vanishing result of Alexander-Hirschowitz cited below (see [@al-hi.asymptotic]) would easily give theorem \[theorem\] as soon as $e\geq d+1$ (see also section \[sec.highdim\] for such considerations).

As for zero dimensional systems, a previous theorem had been proved by the author [@mig.mono] for $m_i\leq 3$ and $d\geq 317$.

An explicit value for ${\mathbf{d}}'(m)$ has been computed by the author : one may take ${\mathbf{d}}'(m)=2((m+2)38)^{2^{m-1}}$. According to a theorem of Alexander and Hirschowitz [@al-hi.asymptotic], it is already known that there exists a bound ${\mathbf{d}}(m)$ for the degree, above which $E$ has the expected dimension. In theorem \[theorem\] ${\mathbf{d}}'(m)$ is slightly greater than ${\mathbf{d}}(m)$ and is expressed in terms of it. It is now possible to follow the proof of [@al-hi.asymptotic] and give an explicit bound for ${\mathbf{d}}(m)$ (let us recall that [@al-hi.asymptotic] holds for any projective variety, since our bound only holds for ${\Bbb P}^2$). With this approach, it seems that the doubly exponential growth for the explicit value of ${\mathbf{d}}(m)$ is unavoidable.

However this bound is far from being sharp. In fact, according to a conjecture of Hirsch
V(d;m_1,\ldots, m_r)$ is not empty. 

 The importance of this result comes from the fact that it is still valid when the expected property is humble (which happens when the number $ r$ of points is gamey); even say, when $ e$ is zero. In this case, the bend is isolate in $ E$, and Bertini ’s theorem cannot be used. 

 late being results have been testify by Greuel, Lossen and Shustin in the case of ordinary singularities, ([ @gls.blowup ], section 3.3); or even for general singularities [ @gls.plane ]. But in all these statement the dimension of the system $ E$ must be, at least, quadratic in the degree $ d$. Notice, however, that the method acting of [ @gls.plane ] together with the vanishing result of Alexander - Hirschowitz quote below (understand [ @al - hi.asymptotic ]) would easily give theorem \[theorem\ ] as soon as $ e\geq d+1 $ (see also incision \[sec.highdim\ ] for such considerations). 

 As for zero dimensional systems, a previous theorem had been proved by the author [ @mig.mono ] for $ m_i\leq 3 $ and $ d\geq 317$. 

 An explicit value for $ { \mathbf{d}}'(m)$ has been computed by the author  : one may take $ { \mathbf{d}}'(m)=2((m+2)38)^{2^{m-1}}$. According to a theorem of Alexander and Hirschowitz [ @al - hi.asymptotic ], it is already known that there exists a bound $ { \mathbf{d}}(m)$ for the degree, above which $ E$ has the expected dimension. In theorem \[theorem\ ] $ { \mathbf{d}}'(m)$ is slenderly great than $ { \mathbf{d}}(m)$ and is expressed in term of it. It is nowadays possible to follow the proof of [ @al - hi.asymptotic ] and pass an explicit bound for $ { \mathbf{d}}(m)$ (let us recall that [ @al - hi.asymptotic ] hold for any projective variety, since our bound only holds for $ { \Bbb P}^2 $). With this approach, it seems that the doubly exponential growth for the explicit value of $ { \mathbf{d}}(m)$ is unavoidable. 

 However this bound is far from being sharp. In fact, harmonize to a conjecture of Hirsch
V(d;m_1,\pdots,m_r)$ is not empty.

The lmportance of thnw resunt comss from ghe fact that it is still vapie wheb the expected dimensiun is smapl (which hapkens when the numusr $r$ of pointa is kijh) ; even say, whgn $e$ is zero. In this case, dhd eurve is isolated in $E$, and Bertini’s eheorem cwn not be used.

Tecenu evistsnce results have been proved by Gdeuel, Lmssen and Shuxtin in the case of ordinagy slngularities, ([@gls.bllwup], sectiob 3.3) ; je even for gdneral singularities [@gms.plane]. But in all these statemdnts che dimensiin of jhe system $E$ must be, at least, quadrathc in tne degree $d$. Nobice, iowecer, that the method oh [@gls.plane] together rith the eauishing result of Alezabder-Hhrscvowigz cktes uelkw (see [@al-ii.asymptotid]) would easuly give theorem \[thtorqn\] as soon as $s\geq d+1$ (sqe also section \[sec.highdim\] for such convidsrations).

As for zero dimwnsional systems, a prgvious thejrem had been proved by the author [@mig.mono] for $m_i\neq 3$ ena $d\ycz 317$.

Qn explicit value for ${\mathbf{d}}'(m)$ has been computeq bu nhe author : one man take ${\mathbf{d}}'(m)=2((m+2)38)^{2^{m-1}}$. Scfotqing to a theurem oy Amexander and Hirscjowitz [@wl-hi.awymptotic], it os already known that there exists a bolnd ${\nathbf{d}}(m)$ for the dzgree, above chich $G$ has yhe expected dimension. Nn thekrem \[theorel\] ${\mathbf{d}}'(j)$ is slightly grexteg thdn ${\mathbf{d}}(m)$ and is expressqd in terns oy it. It ks npw posfible to flllow the proof of [@al-hi.adymptlthc] and givf an explicit bound for ${\mathbf{d}}(m)$ (let us recalk dhan [@al-hi.asyiptotlc] holds for anr projective vcriety, snnce ojr bound ohly holvs for ${\Bbb P}^2$). With this ap[toach, it seemv that tre diublt expondvtial growth fpr the exilncit valuw of ${\mathbf{d}}(m)$ is ukavoiazble.

However thiw biund is far frok bdind dherp. Ig fact, accordhng go x conjdcture of Hlrszh
V(d;m_1,\ldots,m_r)$ is not empty. The importance of comes the fact it is still is (which happens when number $r$ of is high) ; even say, when is zero. In this case, the curve is isolated in $E$, and Bertini’s can not be used. Recent existence results have been proved by Greuel, Lossen Shustin the of singularities, ([@gls.blowup], section 3.3) ; or even for general singularities [@gls.plane]. But in all these statements dimension of the system $E$ must be, at quadratic in the degree Notice, however, that the method [@gls.plane] with the result Alexander-Hirschowitz below (see [@al-hi.asymptotic]) easily give theorem \[theorem\] as soon as $e\geq d+1$ (see also section \[sec.highdim\] for such considerations). As zero dimensional previous theorem been by author [@mig.mono] for and $d\geq 317$. An explicit value been computed by the author : one may ${\mathbf{d}}'(m)=2((m+2)38)^{2^{m-1}}$. According a theorem of Alexander and Hirschowitz it is already known that there exists a ${\mathbf{d}}(m)$ for the degree, above which $E$ has the expected dimension. In theorem \[theorem\] ${\mathbf{d}}'(m)$ greater than ${\mathbf{d}}(m)$ and expressed in terms it. is possible follow the of [@al-hi.asymptotic] and give an explicit bound for ${\mathbf{d}}(m)$ (let us that [@al-hi.asymptotic] holds for any projective variety, since our bound for P}^2$). With this it seems that the exponential for the explicit value is However far being In fact, according to conjecture of Hirsch
V(d;m_1,\ldots,m_r)$ is not empty.

The imPortance of This rEsuLt cOmEs frOm thE fact that it is sTIll vAlid when the expected dimEnsioN iS SmalL (WhIch haPpens whEN tHE NumBeR $r$ Of pOiNTs Is higH) ; evEn say, whEn $e$ is zero. IN thIs Case, the curve IS iSolated in $E$, And bertini’s theoRem Can not Be UseD.

recenT exIstenCe resuLTs have Been proveD bY greuel, lOssen anD sHuStin In the case of ordinaRY sINgularities, ([@gls.Blowup], SeCTiON 3.3) ; Or eVen For general SiNgulaRIties [@glS.PlANE]. but IN all these statEments the diMEnsIon of tHe SysTEm $E$ musT be, at LeASt, qUadratic in tHe deGree $d$. NotiCe, howeVEr, that tHE method Of [@gls.pLanE] toGethER wItH thE vANisHInG reSUlt Of AlexanDeR-HIrschOwitZ CITEd beLow (See [@aL-hi.asYmptotic]) would EasIly gIVe tHeoreM \[theoRem\] aS sOon as $E\geq d+1$ (sEe alsO sEction \[sec.highdiM\] for Such consiDerAtIonS).

AS for zERo dimeNsiOnaL systemS, a previOUs tHeOREM hAd been proved by the aUtHOR [@mIg.mono] foR $m_i\leq 3$ ANd $D\gEQ 317$.

An expliCiT vaLue fOR ${\MathbF{d}}'(m)$ hAS bEen compuTed by tHE aUtHor : one mAy Take ${\maThBf{d}}'(M)=2((m+2)38)^{2^{m-1}}$. accorDIng tO a theoRem of AleXandeR And Hirschowitz [@AL-hi.asymptotic], IT iS ALrEAdy kNowN that there eXistS A bouNd ${\maTHbF{d}}(m)$ FOr the DegreE, aBOvE Which $E$ has the expecteD dImensiOn. In tHeorem \[theorem\] ${\Mathbf{d}}'(m)$ is SLIGhtly greAter THaN ${\Mathbf{d}}(m)$ and is eXpresSed in terms OF it. It is nOw posSible to fOllow the pROOf of [@al-hi.AsyMptOtiC] anD GIvE an explicit boUND for ${\MaThbf{d}}(m)$ (lEt uS recall ThaT [@al-Hi.aSymPtOtic] holds For any prOjEcTiVe VarIety, sINce our boUnD onLy HolDs for ${\bBb P}^2$). WitH this ApprOaCh, IT seEms that THe DOUbly ExPoNentIal GrOwth fOr thE ExpLicit vaLue of ${\mathBf{d}}(M)$ Is unAvOiDable.

HoWever this bounD iS far from beInG shArp. In fACT, accordiNg to a conjecture of Hirsch
V(d;m_1,\ldots,m_r)$ is no t empty.
The i mpo rta nc e of  thi s result comes from  the fact that it is s tillva l id w h en  theexpecte d  d i m ens io nissm a ll  (whi chhappens  when thenum be r $r$ of poi n ts  is high); e ven say, whe n $ e$ isze ro. In th iscase,  the c u rve is  isolated  i n  $E$,a nd Bert i n i’ s th eorem can not beu se d .

Recent exis tencere s ul t s  ha vebeen prove dby Gr e uel, Lo s se n a ndS hustin in the  case of or d ina ry sin gu lar i ties,([@gl s. b low up], sectio n 3. 3) ; or e ven fo r  genera l  singul aritie s [ @gl s.pl a ne ].  Bu ti n a l lthe s e s tatement sth e dim ensi o n o f th e s yste m $E$  must be, atlea st,q uad ratic  in t he d eg ree $ d$. No tice,  h owever, that th e me thod of [ @gl s. pla ne ] tog e ther w ith  th e vanis hing re s ult  o f A le xander-Hirschowitz  c i t ed  below ( see [@ a l- hi . asymptot ic ])woul d easil y gi v etheorem\[theo r em \]  as soo nas $e\ ge q d +1$  (see also  secti on \[sec .high d im\] for suchc onsiderations ) .A sf or z ero  dimensiona l sy s tems , ap re vio u s the oremha d  b e en proved by the au th or [@m ig.mo no] for $m_i\ leq 3$ and $ d \geq 317 $.
A ne xplicit valuefor $ {\mathbf{d } }'(m)$ h as be en compu ted by th e author :  on e m aytak e ${ \mathbf{d}}'( m ) =2(( m+ 2)38)^{ 2^{ m-1}}$.  Ac cor din g t oa theorem  of Alex an de ran d H irsch o witz [@a l- hi. as ymp totic ] , it i s alr eady  k no w n t hat the r ee x ists  a  b ound  ${ \m athbf {d}} ( m)$  for th e degree,  ab o ve w hi ch  $E$ ha s the expecte ddimension.  I n t heorem \ [theorem \] ${\mathbf{d}}'(m)$ i s  slight lygreat er t han ${\ma thb f{d}}( m)$ and is  expre ssedin  te r m s ofi t .Itis  now possi b l e t o fol lo w th e proof  of [@al-hi.asympt o tic ] and give an  ex plic i t  b oun d  f o r $ {\ m ath b f {d}}(m)$ (let u s recall t ha t  [ @al-hi.asy m pto ti c] hold s for a ny pr o jective  variety,  since ou rboun d onl y holds fo r ${\Bbb  P}^2$).W ith t h is  appr oac h, itse ems  that  the d o ubl y exp onenti al  growt h for  t he expli cit value of ${\mathbf{ d}}(m) $ isuna voidable. 

H o wev er this b ound  is far fr ombei ng sh arp .  In f act, ac cor d ing t o ac onjecture of  Hi r s ch 
V(d;m_1,\ldots,m_r)$ is_not empty.

The_importance of this result_comes from_the_fact that_it_is still valid_when the expected_dimension is small (which_happens when the_number_$r$ of points is high) ; even say, when $e$ is zero. In this_case,_the curve_is_isolated_in $E$, and Bertini’s theorem_can not be used.

Recent existence_results have_been proved by Greuel, Lossen and Shustin in_the_case of ordinary_singularities, ([@gls.blowup], section 3.3) ; or even for general_singularities [@gls.plane]. But in all these_statements the dimension_of_the_system $E$ must be,_at least, quadratic in the degree_$d$. Notice, however, that the method_of [@gls.plane] together with the vanishing result_of Alexander-Hirschowitz cited below (see [@al-hi.asymptotic])_would easily give theorem \[theorem\]_as soon_as $e\geq d+1$ (see also_section \[sec.highdim\] for_such considerations).

As_for zero dimensional_systems, a previous theorem had been_proved by the_author [@mig.mono] for $m_i\leq 3$ and_$d\geq_317$.

An explicit value_for_${\mathbf{d}}'(m)$_has been_computed by the_author :_one may_take_${\mathbf{d}}'(m)=2((m+2)38)^{2^{m-1}}$. According to a theorem of_Alexander_and Hirschowitz [@al-hi.asymptotic], it is already known_that there exists a_bound_${\mathbf{d}}(m)$ for the degree,_above which $E$ has the_expected dimension. In theorem \[theorem\] ${\mathbf{d}}'(m)$_is slightly_greater than_${\mathbf{d}}(m)$ and is expressed in terms of it. It is now_possible to follow the proof of_[@al-hi.asymptotic] and give an_explicit bound_for_${\mathbf{d}}(m)$ (let us_recall_that [@al-hi.asymptotic]_holds for any projective variety, since our_bound only_holds for ${\Bbb P}^2$). With this_approach, it seems that_the_doubly exponential growth for the explicit_value of ${\mathbf{d}}(m)$ is unavoidable.

However this_bound is far from being_sharp._In_fact, according to a conjecture_of Hirsch