Sur l'intersection des courbes méromorphes
6
pages
Français
Documents
Le téléchargement nécessite un accès à la bibliothèque YouScribe Tout savoir sur nos offres
6
pages
Français
Documents
Le téléchargement nécessite un accès à la bibliothèque YouScribe Tout savoir sur nos offres
- cours - matière potentielle : au centre de mathematiques
- reponse
- probleme des modules pour les branches planes
- abhyankar
- version globale
- resultat decoule
- intersection des courbes meromorphes
- lemme d'abhyankar- moh
- probleme
Publié par
Langue
Français
Surl’intersectiondescourbesm´eromorphes
∗ Abdallah Assi
Re´sum´eemonusd´sunetronoignevsrel’dolabmuorefunlecaloleeudoN: aG.M.Greuel.Ellelielesmultiplicit´esd’intersectiondedeuxcourbes m´eromorphesetdeleurJacobien.Unedesapplicationsdecetteformule estlare´ponsedansuncasparticulierauprobl`emeJacobiendansleplan. On the intersection of meromorphic curves Abstractprove a global version of a local formula due to G.M. Greuel.: We It links the intersection multiplicities of two meromorphic curves and their Jacobian. Oneof the applications of this formula is the answer to the plane Jacobian problem in a particular case.
Introduction
n n−1 Soitf=y+a1(x)y+. . .+an(xmeˆoitunreaideu)pnlonyC((x))[y,]u`o C((xneicffieoca`sehprosrpcolensdatsrospleceisngd)e´eromesm´´eridess) des nombres complexesC. Lorsquef∈C[[x]][yeiss]8[r]ieT,eqr´ue´eadntmo int(f, fy) = int(fx, fy) +n−’dnitie´ceitetsrelamsignplicultio,1e´dtniu``aon l’origine etfx, fyleeldsesd´eriv´eespartise´dengieltnf[3] et [4], nous. Dans avonsdonne´uneversionglobaledecette´egalit´e:pr´ecisement,lorsquef∈ C[x][y], alors int(f, fy) = int(fx, fy) +n−1 +Afutienrtsdec´teisignel,’oi`nno 2 dansCetAf∈Nest tel queAf= 0 si et seulement si la famille (f− λ)λ∈Cst´eeera`ile`niuguqsi])[4],[3i(fininl’onetonettecsnaD.su´gnee´arilossn cette´egalit´eaucasou`fynrtselpme´eacrlpaacejieobJ(f, g),gnnaut´te polynˆomeunitairedeC((x))[y]. Nousdonnons ensuite deux applications: danslapremie`renousobtenonsunthe´ore`meded´ecompositiondeJ(f, g)
∗ Universite´d’Angers,Math.,49045Angerscedex01,France,email:assi@univangers.fr
1
lorsquefD´.enraalsiseunth´eorc`ueimteldbe.MeerelCei(c[´7g]n)eeirstedr´ ladeuxie`meondonneuner´eponseauproble`meJacobienlorsquef∈C[x][y] etquelafibrege´n´eriquedelafamille(f−λ)λ∈Ci.`oapl’infinxulpcasesse`eded 2 Leproble`meJacobiendansCceonmmcosen’´:tseiu ∗ (CJ) Soitf, g∈C[x, y]. SiJ(f, g)∈C, alorsC[f, g] =C[x, y]. Supposons quefospeds`neeuluesalpea`ecni’lfini,parleLemmed’bAyhnaakr Moh,silamultiplicite´d’intersectionint(fx, fy)derivesd´aptre´seseeillfxet 2 2 fydancCest 0, il existe un automorphismeσdeCtel queσ(f) =f◦σ 2 estunecoordonne´edeCA.qu´est)eCJ,(siinsaesa`’lneetvilae:vantnsuirtio (*) Soitf∈C[x, y]. Sifrola,infisacpluxdeinl’`aes`sdepsoqseupeul ∗ J(f, g)/∈Cpour toutg∈C[x, y]. Enparticulier,nousd´emontronsici(*)lorsquelafibreg´ene´riquedelafamille (f−λ)λ∈Ci.fininl’`aesaclpxuedede`ssop
1Suitescaract´eristiques n n−1 Soitf=y+a1(x)y+. . .+an(xomnˆrreiun)lypoibctdu´edeleC((x))[y], o`uC((xgnel´esipsdeecorirsesse´moro´mreesphend))x`oeaciefficdstnsnaC. n Sif∈C[[x]][y], alors on suppose de plus quef(0, y) =y´htelraP.eemr`eo 1/n de Newton il existey(x)∈C((x)) tel quef(x, y(x)) = 0, de plusf(x, y) = Q P i/n n(y−y(wx)). Soity(x) =aixet soit supp(y(x)) ={i, ai6= 0}. w=1i Les exposants de NewtonPuiseux defmocsusem´dtninfiesoit: |m0|=n,m1= inf{i∈supp(y(x));nne divise pasi}, et pour toutk≥2: mk= inf{i∈supp(y(x));dk= pgcd(m0, . . . , mk−1) ne divise pasi} Puisque pgcd (n, supp(f)) = 1, alors il existeh∈Ntel quedh+1On= 1. note par conventionmh+1= +∞. Remarquonsque la suite (mk)kne depend pas du choix de la raciney(x). Soit finalement la suite (rk)k≥0rapeinfie´d:|r0|=n,r1=m1et pour tout 2≤k≤h+ 1:rk=rk−1.(dk−1/dk) +mk−mk−1. −1 Remarque 1(voir [2]) Soitf∈C[[x]][y] (resp.f∈C[x][y]). L’ensemble −1 desmultiplicit´esd’intersectionint(f, g),g∈C[[x]][y] (resp.g∈C[x][y]), ou`int(f, gneerdro’lneigesd´)xse´rudultantenydefetg, est un semi groupe,not´eΓ(f), deZles notations cidessus, pour tout. Aveck= 0, . . . , h, rk>0 (resp.rk<0) etr0, r1, . . . , rhengendrent Γ(f). 1/q De´finition1Soitu(x)∈C((xntcotdace))dnO.nfie´eltiuavecfpar cont(f, u(x)) = maxw=1Ox(u(x)−y(wx,o`u))Oxesigd´eenrorden’lx. Soit n 2
gledectib´edueirrˆnmoopylnuC((x))[yltinnocetcatrtneeOn].efid´fetg par cont(f, g) = cont(g, y(x))N.asdunnoitinfipdnepedeuesqonot´eedttce choix de la raciney(x) def.
2Ler´esultatprincipal n n−1m m−1 Soitf=y+a1(x)y+. . .+an(x) etg=y+b1(x)y+. . .+bm(x) deuxpolynˆomesunitairesdansC((x))[ytoneNewte]tiosr`eoedemrlpah´eT Q Q n m Puiseux, dansC((x))[y],f(x, y) =(y−yi(x)) etg(x, y() =y− i=1j=1 1/n zj(xruottu)),o`upoi= 1, . . . , n(resp.j= 1, . . . , m),yi(x)∈C((x)) 1/m (resp.zj(x)∈C((x))). NotonsJ(f, g) =fxgy−fygx. Avecces notations on a la Proposition suivante: Proposition 1du´erreileibctomposanturtoutecnoqseuopuSppsofidans C((x))[y]def,int(fi, g)6= 0, alors on a: int(f, J(f, g)) = int(f, fy) + int(f, g)−n. D´emonstration.Soitfθenocpmsonaetri´rdecuitlbdeeufdansC((x))[y] et 1/nθ conside´ronsuneracineyα(x)∈C((x)) defθ(x, y`ou=),0nθ= degyfθ, alors: int(fθ, J(f, g)) =nθ.Ox(J(f, g)(x, yα(x))) Q PQ m ′ =n .O(( (y(x)−y(x))).( (−z .− θ xi6=α αi k=1k j6=(yα(x)−zj(x)))) k P QQ m ′ ( k=1j6=k(yα(x)−zj(x))).(−yα(x) (yα−yi))) i6=α Q PQ m ′ ′ =n .O(( (y−).(y− θ xi6=α α−yi)).( (yαzk j6=k αzj))) k=1 Q PQ m ′ ′ z).(y−z))) =nθ.(Ox( (yα−yi)) +Ox(k=1(yα−k j6=jk α i6=α Q MaintenantOx( (yα−yi)) = int(fθ, fy)/nθ. Deplus i6=α Q m int(fθ, g) =nθ.Ox( (yα−zj)), j=1 donc,parhypothe`se, P Q m n ′ ′ Ox( (y−z).(yα−zj)) = int(fθ, g)/nθ−1, k=1α kj6=k finalement int(fθ, J(f, g)) = int(fθ, fy) + int(fθ, g)−nθimplique notre. Ceci assertion.
Remarque 2Lorsquef, g∈C{x}[y],laformulecideulsussdtsea`eueurG ([6]).
3
