arxiv: v1 [math.ag] 4 Nov 2016

Transcription

1 UNE STRATIFICATION DE THOM-MATHER DE L ENSEMBLE ASYMPTOTIQUE D UNE APPLICATION POLYNOMIALE F : C n Ñ C n arxv: v1 [math.ag] 4 Nov 2016 NGUY ÊN THỊ BÍCH THỦY Abstract. Let F : C n Ñ C n be a polynomal mappng. We prove that the stratfcaton of the asymptotc set of F defned by la méthode des façon n [NT1] s a Thom-Mather stratfcaton. RÉSUMÉ. Sot F : C n Ñ C n une applcaton polynomale. Nous prouvons que la stratfcaton de l ensemble asymptotque de F défne par la méthode des façons n [NT1] est une stratfcaton de Thom-Mather. INTRODUCTION Sot F : C n pxq Ñ Cn pαq une applcaton polynomale. L ensemble asymptotque de F, noté S F, est l ensemble des ponts du but en lesquels l applcaton F n est pas propre. Dre que l applcaton F n est pas propre en un pont du but a P C n pαq peut être caractérsé des deux manères suvantes : 1) Il exste une sute tξ k u kpn Ă C n pxq dans la source telle que tξ ku tende vers l nfn et telle que l mage F pξ k q tende vers a. Ic, la sute tξ k u tend vers l nfn sgnfe que la norme eucldenne ξ k de ξ k dans C n pxq tend vers l nfn. 2) Il exste une courbe dfférentable γ : p0, `8q Ñ C n pxq, γpuq pγ 1puq,..., γ n puqq tendant vers l nfn et telle que F γpuq tend vers a lorsque u tend vers l nfn. Dans les années 90, Jelonek a étudé l ensemble asymptotque assocé à une applcaton polynomale F : C n Ñ C n de manère approfonde et l en a décrt les prncpales proprétés [J1]. La compréhenson de la structure de cet ensemble est très mportante par sa relaton avec la Conjecture Jacobenne (vor, par exemple, [Es]). Dans [NT1], nous fournssons une méthode, appellé la méthode des façons pour stratfer l ensemble asymptotque S F. La stratfcaton obtenue est une stratfcaton dfférentable et satsfat la condton de frontère. Cette méthode étude les comportaments des courbes tendant vers l nfn et telles que leurs mages tendent vers les ponts de S F comme sut : ces sutes seront labellsées sous la forme de façons (étole) (Défnton 2.13 de [NT1]) telles que chaque façon étole dfférente défnt des courbes correspondantes parallèles

2 2 NGUY ÊN THỊ BÍCH THỦY localement, qu, en fat, défnssent un feulletage complexe de dmenson 1 (Proposton 2.18 de [NT1]) dans l espace source C n. Les mages des feulletages correspondant aux dfférentes façons d approcher la parte sngulère de S F, ce qu nous permet de décomposer celle-c en strates. Nous obtenons une stratfcaton dfférentable de l ensemble asymptotc S F, qu satsfat auss la condton de frontère (Théorème 4.1 de [NT1]). Nous montrons dans cet artcle que la stratfcaton défne par les façons dans [NT1] est une stratfcaton de Thom-Mather. Pour montrer cela, nous utlsons l autre caractérsaton de l ensemble asymptotque, comme lmte des mages de courbes, lesquelles tendent vers l nfn. Lorsque ces courbes sont parallèles (défnssent un feulletage), la lmte des mages est une strate, lsse, obtenue comme lmte des mages du feulletage transverse. Nous monstrons que les mages de telles courbes consttuent les rayons des vosnages tubulares à la Thom-Mather ce qu démontre notre Théorème Une autre motvaton de cette étude résde dans le fat que connaître une stratfcaton d une varété sngulère permet de calculer son homologe d ntersecton: Dans [V-V], les auteurs ont contrut des varétés sngulères V F assocées à une applcaton polynomal F : C n Ñ C n telle que l homologe d ntersecton des ces varétés V F caractérse la propreté de F dans le cas le jacoban de F est partout non nul (Théorème 3.2 de [V-V] et Théorème 4.5 de [NT-V-V]). De plus, une stratfcaton de l ensemble asymptotque S F permet de fournr une stratfcaton de la varété V F. Notons que pour une applcaton fxée F, nous avons beaucoup de varétés assocées V F, mas les résultats de l homologe d ntersectons des varétés V F dans [V-V] et dans [NT-V-V] ne changent pas. Nous savons auss qu en general, l homologe d ntersecton d une varété sngulère dépend de sa stratfcaton. Cependant, l homologe d ntersecton d une varété sngulère est nvarant avec une stratfcaton de Thom-Mather. Alors, une stratfcaton de Thom-Mather de l ensemble asymptotque S F est nécessare pour calculer l homologe d ntersecton des varétés V F. Nous précsons donc les résultats obtenus dans [V-V] et dans [NT-V-V]. NOTATION Nous consdérons dans cet artcle des applcatons polynomales F : C n Ñ C n. Nous écrvons souvent F : C n pxq Ñ Cn pαq pour dstnguer entre la source et le but. 0. PRÉLIMINAIRES 0.1. Stratfcatons.

3 Défnton 0.1. Sot V une varété (dfférentable ou algébrque, ou analytque) de dmenson m. Une stratfcaton (S ) de V est la donnée d une fltraton V V m Ě V m 1 Ě V m 2 Ě Ě V 1 Ě V 0 Ě V 1 H de V telle que toutes les dfférences X V zv 1 sont ou ben vdes ou ben unons localement fnes de sous-varétés lsses connexes et localement fermées de dmenson, appelées strates. Sot S une strate de V et S est son adhérence dans V. S S zs est l unon de strates de V, pour toute strate S de V, alors nous dsons que la stratfcaton de V satsfat la proprété de frontère. Défnton 0.2 (vor [T], [M1]). Sot V une sous-varété d une varété lsse M. Nous dsons qu une stratfcaton de V est une stratfcaton de Thom-Mather s chaque strate S est une varété dfférentable de classe C 8 et s pour chaque strate S nous avons a) un vosnage ouvert (vosnage tubulare) T de S dans M, b) une rétracton contnue π de T sur S, c) une foncton contnue (tubulare) ρ : T Ñ r0, `8q qu est C 8 sur la parte régulère de V X T, tels que S tx P T : ρpxq 0u et s S Ă S j, alors ) l applcaton restrcton pπ, ρ q : T X S j Ñ S ˆ r0, `8q est une mmerson lsse, ) pour x P T X T j tel que π j pxq P T, nous avons les relatons de commutaton : 1) π π j pxq π pxq, 2) ρ π j pxq ρ pxq, lorsque les deux membres de ces formules sont défns. Remarque 0.3. Les condtons de Whtney mplquent des condtons de Thom-Mather L ensemble asymptotque. Sot F : C n pxq Ñ Cn pαq une applcaton polynomale. Notons S F l ensemble des ponts du but pour lesquels l applcaton F n est pas propre,.e., S F ta P C n pαq tel que Dtξ ku kpn Ă C n pxq, ξ k tend vers l nfn et F pξ k q tend vers au, où ξ k est la norme eucldenne de ξ k dans C n. L ensemble S F est appelé l ensemble asymptotque de F. Lemme 0.4. Le pont a appartent à S F s et seulement s l exste une courbe dfférentable γpuq : p0, `8q Ñ C n pxq tendant vers l nfn et telle que F γpuq tend vers a lorsque u tend vers l nfn. 3

4 4 NGUY ÊN THỊ BÍCH THỦY Rappelons qu l sufft, pour défnr S F de consdérer des courbes γpuq pγ 1 puq,..., γ n puqq tendant vers l nfn, au sens suvant : chaque coordonnée γ 1 puq,..., γ n puq de cette courbe ou ben tend vers l nfn ou ben converge. C est ce que nous ferons dans cet artcle. Défnton 0.5. Une applcaton polynomale F : C n pxq Ñ Cn pαq est dte domnante s l adhérence de F pc n pxq q est dense dans Cn pαq, c est-à-dre F pcn pxq q Cn pαq. Théorème 0.6. [J1] Sot F pf 1,..., F n q : C n Ñ C n une applcaton polynomale domnante. CrF 1,..., F n s : Pour chaque 1,..., n, consdérons une équaton rréductble de x sur ÿn k 0 φ k pf qxn k 0, où les φ k sont des polynômes et les n sont des enters postfs. Alors nous avons S F nď ta P C n : φ 0paq 0u La méthode des façons Dans [NT1], nous fournssons la méthode des façons pour stratfer la varété asymptotque d une applcaton polynomale domnante F : C n Ñ C n. La détermnaton des strates de la stratfcaton de l ensemble asymptotque nécesste deux étapes. La premère étape, qu, ben que est très sgnfcatve pour la constructon de la méthode, fournt une partton dont les éléments peuvent être des varétés sngulères. Un raffnement de cette partton est nécessare, en utlsant une verson plus fne: les façons étole. De manère plus précse, les courbes γ tendant vers l nfn et telles que leurs mages F γ tendent vers les ponts de S F seront labellsées sous la forme de façons et façons étole, respectvement Façons. Dans la premère étape, nous défnssons une façon du pont a P S F. Un pont a de S F est la lmte de F γpuq, où γpuq pγ 1 puq,..., γ n puqq : p0, `8q Ñ C n pxq est une courbe tendant vers l nfn. Nous classons les coordonnées γ 1 puq,..., γ n puq de la courbe γpuq en tros catégores : ) les coordonnées γ r puq tendant vers l nfn (cette catégore n est pas vde); ) les coordonnées γ js puq telles que lm uñ8 γ js puq est un nombre complexe ndépendant du pont a dans un vosnage de a dans S F. Cela sgnfe qu l exste des ponts a 1 vosns de a dans S F et des courbes γ a1 pγ1 a1 puq,..., γa1 n puqq : p0, `8q Ñ C n pxq tendant vers l nfn telles que lm uñ8 F γ a1 puq a 1 et lm uñ8 γj a1 s puq lm uñ8 γ js puq constante; ) les coordonnées γ l puq telles que lm uñ8 γ l puq est un nombre complexe dépendant du pont a (ce cas est le cas contrare du cas )).

5 Nous défnssons une façon du pont a P S F comme un pp, qq-uple p 1,..., p qrj 1,..., j q s d enters où les enters 1,..., p sont les ndces des coordonnées de la premère catégore et j 1,..., j q les ndces des coordonnées de la seconde catégore. Pour comprendre meux la défnton de façons, vor la Défnton 1.2 et la secton 1.2 de [NT1]. Nous donnons c un exemple pour éclarer cette Défnton. 5 Exemple 1.1. Sot l applcaton F : C 3 px 1,x 2,x 3 q Ñ C3 pα 1,α 2,α 3 q défne par F px 1, x 2, x 3 q px 1 x 2, x 2 x 3, x 1 x 2 x 3 q. Alors l ensemble S F est égal à ps F q 1 YpS F q 2 YpS F q 3, où ps F q 1 tα 2 0u, ps F q 2 tα 3 0u et ps F q 3 tα 1 0u. En fat ) Pour un pont a pα 1, 0, α 3 q P ps F q 1 tel que α 1 0 et α 3 0, l exste une courbe γ α 1 u, 1 u, α 3 tendant vers l nfn telle que l mage F γ tende vers a. Nous dsons α 1 qu une façon du pont a est p1qr2s, où (1) Le symbole (1) sgnfe que la premère coordonnée γ 1 puq α 1 u de la courbe γpuq tend vers l nfn. (2) Le symbole [2] sgnfe que la deuxème coordonnée γ 2 puq 1 u de la courbe γpuq tend vers zéro, qu est un nombre complexe fxé, lequel ne dépend pas du pont a p0, α 2, α 3 q quand a décrt ps F q 2 tα 3 0u. (3) La trosème coordonnée γ 3 puq α 3 α 1 de la courbe γpuq tend vers un nombre complexe α 3 α 1 dépendant du pont a pα 1, 0, α 3 q quand a vare. Alors, avec notre chox de labelser les courbes, l ndce 2 n apparatra pas dans la façon (1)[2] Notons que nous pouvons vérfer faclement que toute courbe ˆγpuq tendant vers l nfn telle que F ˆγpuq tende vers un pont de ps F q 1 admet la même façon p1qr2s. Nous dsons que la façon de ps F q 1 est p1qr2s. De la même manère que dans le cas ), nous avons : ) Pour un pont a pα 1, α 2, 0q P ps F q 2 tel que α 1, α 2 0, l exste une courbe γ ` α 1 u, u, α 2 u telle que γ tend vers l nfn et telle que F γ tend vers a. Nous avons la façon de ps F q 2 est p2qr1, 3s. ) Pour un pont a p0, α 2, α 3 q P ps F q 3, tel que α 2, α 3 0, l exste une courbe γ α3 α 2, α 2 u, u telle que γ tend vers l nfn et telle que F γ tend vers a. La façon de ps F q 3 est donc p3qr2s. v) Pour un pont a pα 1, 0, 0q P ps F q 1 X ps F q 2, où α 1 0, l exste deux courbes γ `α 1 u, 1 u, 1 u et ˆγ ` 1 u, uα 1, 1 u 2 telles que γ et ˆγ tendent vers l nfn et leurs mages F γ et F ˆγ tendent vers a. L ensemble 0α 1 zt0u a donc deux façons (1)[2,3] et (2)[1,3].

6 6 NGUY ÊN THỊ BÍCH THỦY v) Pour un pont a p0, α 2, 0q P S F2 X S F3, où α 2 0, l exste deux courbes γ `0, u, α 2 u et ˆγ α `0, 2 u, u telles que telles que γ et ˆγ tendent vers l nfn et leurs mages F γ et F ˆγ tendent vers a. L ensemble 0α 2 zt0u a donc deux façons (2)[1,3] et (3)[1,2]. v) Pour un pont a p0, 0, α 3 q P ps F q 3 X ps F q 1, où α 3 0, l exste une courbe γ `u, 1 u 2, α 3 u telle que γ tend vers l nfn et telle que F γ tend vers a. La façon de l ensemble 0α 3 zt0u est donc p1, 3qr2s. v) Enfn, consdérons l orgne 0 P ps F q 1 X ps F q 2 X ps F q 3, l exste quatre courbes 1 `λ,, u avec λ P C, pu, 0, uq, ` 1, u, 0 et pu, 0, µqus avec µ P C tendent vers l nfn et u 2 u 2 leurs mages tendent vers a. L orgne a donc quartre façons (3)[1,2], (1,3)[2], (2)[1,3] et (1)[2,3]. La partton de l ensemble S F, défne par des façons, est donnée par la fltraton : S F Ą 0α 1 Y 0α 2 Y 0α 3 Ą t0u Ą H. Fgure 1. La partton de S F défne par Ξ, pour l applcaton polynomale domnante F px 1, x 2, x 3 q px 1 x 2, x 2 x 3, x 1 x 2 x 3 q 1 Notons Ξpaq l ensemble de toutes les façons du pont a. La partton de S F défne par la relaton (1.2) a 1 a 2 s et seulement s Ξpa 1 q Ξpa 2 q 1 Revor l exemple, s l est trop complqué? On a vrament beson un exemple comme ça pour éclarer l artcle (ou)? S ou, refare le dessn.

7 est une partton fne de S F (Proposton 1.6 de [NT1]). Les sous-varétés de la partton de l ensemble asymptotque S F défne par la relaton 1.2, ben que très sgnfcatves pour la constructon de la méthode des façons, se révèlent malheureusement pouvor être sngulères, comme le montre de l exemple suvant (Proposton 1.11 de [NT1]). Exemple 1.3. Sot F : C 2 px 1,x 2 q Ñ C2 pα 1,α 2 q l applcaton polynomale domnante telle que F px 1, x 2 q px 1 x 2 q 2, px 1 x 2 q 3 ` x 1. S la courbe γpuq pγ 1 puq, γ 2 puqq : p0, `8q Ñ C 2 px 1,x 2 q tend vers l nfn telle que F γpuq pγ 1 puqγ 2 puqq 2, pγ 1 puqγ 2 puqq 3 ` γ 1 puq ne tend pas vers l nfn, alors γ 1 puq ne peut pas tendre vers l nfn. Comme γpuq tend vers l nfn, alors γ 2 puq dot tendre vers l nfn et donc S F n admet qu une seule façon κ p2qr1s. S nous chosssons les courbes coordonnées γ 1 puq et γ 2 puq tendant vers 0 et l nfn, respectvement, telles que le produt γ 1 puqγ 2 puq tend vers un nombre complexe α P C, alors F γpuq tend vers pα 2, α 3 q. L ensemble S F est donc la courbe α1 3 α2 2 dans C2 pα 1,α 2 q ayant un pont snguler à l orgne (vor Fgure 2). 7 α 2 S F O α 1 Fgure 2. L ensemble asymptotque S F de l applcaton F px 1, x 2 q px 1 x 2 q 2, px 1 x 2 q 3 ` x 1. Donc, un raffnement de la défnton des façons est nécessare afn d obtenr une stratfcaton en strates lsses. Cela est la deuxème étape de La méthode des façons. 2. Façons étole La queston est donc de savor pourquo, dans l exemple de l exemple 1.3, la partton de S F défne par les façons n est pas une stratfcaton. Nous devons comprendre la dfférence entre la façon r2sp1q à l orgne et la façon r2sp1q au pont a P S F zt0u : Pour un pont a pα 2, α 3 q dans S F zt0u, nous devons chosr la courbe ` 1 u r, αu s, où r dot être égal à s. À l orgne 0, nous devons chosr une courbe ` 1 u r, u s où r ą s. Nous voyons que

8 8 NGUY ÊN THỊ BÍCH THỦY nous devons étuder la vtesse de tendre vers zero et de tendre vers l nfn des courbes coordonnées. Dans l exemple c-dessus, s la vtesse de tendre vers zero de la premère courbe coordonnée est plus rapde que la vtesse de tendre vers l nfn de la deuxème courbe coordonnée, nous tendons à la parte sngulère de S F. Pour formalser l dée des façons étole, nous avons donc beson d abord de décrre la vtesse de tendre vers zero et de tendre vers l nfn des courbes coordonnées dans C. 1) D abord, nous décrvons la vtesse de tendre vers zero et de tendre vers l nfn des courbes coordonnées dans C : Notons que s une courbe ρ : p0, `8q Ñ C tend vers un nombre complexe λ dans C, alors nous pouvons consdérer que cette courbe tend vers 0 par changement de varables ρ λ. Pour cette rason, nous pouvons supposer qu une courbe ρ dans C ou ben tend vers zero, ou ben tend vers l nfn. Nous dsons que + la courbe ρ tend vers 0 avec le degré t s ρpuq pλ{uq t `, où λ P Czt0u, t P R, t ą 0 et les éléments dans... sont de la forme pλ 1 {uq r avec r ą t. + la courbe ρ tend vers l nfn avec le degré t s ρpuq λu t `, où λ P Czt0u, t P R, t ą 0 et les éléments dans... sont de la forme λ 1 k r avec r ă t. 2) Comparer la vtesse de tendre vers zero et de tendre vers l nfn des courbes coordonnées γ 1,..., γ n de la courbe γ pγ 1,..., γ n q : p0, `8q Ñ C n pxq comme sut : Sot κ p 1,..., p qrj 1,..., j q s une façon de S F et sot γ pγ 1,..., γ n q : p0, `8q Ñ C n pxq une courbe tendant vers l nfn avec la façon κ. Supposons que : γ r puq tend vers l nfn avec le degré l r, pour r 1,..., p, γ js puq tend vers 0 avec le degré l js, pour s 1,..., q. Le pp ` qq-uple pl 1,..., l p, l j1,..., l jq q est appelé pp ` qq-uple assocé à la courbe γ. Notons que, par un changement de paramètre, nous povons toujours supposer que les nombres l 1,..., l p, l j1,..., l jq du pp ` qq-uple d une courbe γ dans la défnton?? sont des enters naturels. + Défnr deux courbes équvalentes : Sot S ν une sous-varété de S F et κ p 1,..., p qrj 1,..., j q s une façon de S ν. Supposons γ, γ 1 : p0, `8q Ñ C n pxq deux courbes tendant vers l nfn avec la même façon κ telles que F γ et F γ 1 tendent vers deux ponts de S ν. Notons pl 1,..., l p, l j1,..., l jq q et pl 1 1,..., l 1 p, lj 1 1,..., lj 1 q q leurs deux pp ` qq-uples assocés aux courbes γ et γ 1, respectvement. Nous dsons que les deux courbes γ et γ 1 sont équvalentes s leur deux pp ` qq-uples assocés sont proportonnels, c est-à-dre (2.1) γ γ 1 ô pl 1,..., l p, l j1,..., l jq q λpl 1 1,..., l 1 p, l 1 j 1,..., l 1 j q q, où λ P Czt0u (Défnton 2.4 de [NT1]).

9 + Défnr un pont générque d une sous-varété de S F : Soent S ν une sous-varété de S F et κ une façon de S ν. Sot a un pont de S ν et γ : p0, `8q Ñ C n pxq une courbe tendant vers l nfn avec la façon κ telle que F γ tende vers a. Sot tˆγ u l ensemble des courbes équvalentes à γ Nous dsons que le pont a est un pont générque de S ν relatvement à la façon κ s l admet un vosnage ouvert U a de a dans S ν qu est un ensemble de lmtes de courbes F ˆγ, où ˆγ est équvalente à γ (Défnton 2.7 de [NT1]). L ensemble des ponts générques de S ν relatvement à une façon κ est dense dans S ν. + Formalser l dée des façons étole, comme sute: L dée de la Proposton 2.2 est la suvante : Étant donnée une façon fxée κ d un élément S ν de la partton de S F défne par la relaton (1.2), nous subdvsons S ν en utlsant la relaton d équvalence (2) entre les courbes γ : p0, `8q Ñ C n pxq admettant la façon κ. L mage (par l applcaton F ) de chaque classe d équvalence de la relaton (2) détermne une sous-varété de S ν, laquelle a une dmenson d autant plus pette que la vtesse de tendre vers zéro des courbes coordonnées est grande. Nous obtenons ans une sous-partton de S ν. À partr de ces sous-parttons, nous avons une nouvelle, bonne partton de S F (Défnton 2.6). C est-àdre, cette fos, cette partton est une stratfcaton (Théorème 2.7). Le procédé de classer les courbes tendant vers l nfn dans la source, qu sera formalsé sous forme de façons étole (Défnton 2.3) est très sgnfcatf : chaque classe d équvalence de la relaton (2) content des courbes parallèles localement, qu autrement dt, défnssent un feulletage de dmenson (complexe) 1 dans C n pxq (cf. Exemple??). Ce fat est la clé de la démonstraton du résultat prncpal de cet artcle : le Théorème 2.7. Procédé: Consdérons S ν un élément de dmenson ν de la partton de S F défne par la relaton (1.2) et consdérons une façon κ de S ν. L ensemble des ponts générques de S ν relatvement à la façon κ est dense dans S ν. Nous avons dm S κ ν 0 dm S ν, et S κ ν 0 S ν. S S κ ν 0 S ν, alors la démonstraton est fne. Snon, nous répétons le procédé c-dessus : Notons S κ ν 1 De plus, nous avons l ensemble des ponts générques de S ν zs κ ν 0. Nous avons dm S κ ν 1 dmps ν zs κ ν 0 q, et S κ ν 1 S ν zs κ ν 0. S κ ν 0 X S κ ν 1 H et S κ ν 1 Ă S κ ν 0. 9 Pusque S κ ν 0 est dense dans S ν, l vent dmps ν zs κ ν 0 q ă dm S κ ν 0, nous avons alors dm S κ ν 0 ą dm S κ ν 1.

10 10 NGUY ÊN THỊ BÍCH THỦY S S κ ν 1 S κ ν 0, la démonstraton est fne. Snon, nous contnuons ce procédé. Pusque ν est fn, l exste t ď ν, t P Nzt0u tel que les ponts générques de S κ ν t est S κ ν t. Donc ts κ ν u 0,...,t décrt une partton fne de S ν. Elle nous permettra de défnr une sous-partton de la partton de S F défne par les façons, laquelle sous-partton se révélera être une bonne stratfcaton. Proposton 2.2. [NT1] Sot S ν un élément de dmenson ν de la partton de S F défne par la relaton (1.2). Pour chaque façon κ de S ν, la relaton d équvalence (2) nous fournt une partton fne ts κ ν u 0,...,t de S ν, où t ď ν, t P N, telle que 1) ν dm S κ ν 0 ą dm S κ ν 1 ą dm S κ ν 2 ą ą dm S κ ν t, 2) S κ ν X S κ ν j H, pour 0 ď, j ď t et j, 3) S κ ν Ă S κ ν j pour ą j et 0 ď, j ď t. La partton ts κ ν u 0,...,t est appelée partton de S ν défne par la façon κ. Défnton 2.3. [NT1] Sot S ν un élément de la partton de S F défne par la relaton (1.2) et sot ts κ ν u 0,...,t la partton de S ν défne par une façon κ de S ν comme dans la Proposton 2.2. S t ě 1, nous défnssons les façons étole de la façon κ, comme sut : la façon κ de S κ ν 1 appelée la façon étole κ 1 de S ν, la façon de κ de S κ ν 2 appelée la façon étole κ 2 de S ν,... la façon κ de S κ ν t appelée la façon étole κ t de S ν. Par conventon, nous dsons que la façon κ est la façons κ 0 de S ν. Exemple 2.4. La façon (2)[1] de l ensemble asymptotque de l applcaton F px 1, x 2 q px 1 x 2 q 2, px 1 x 2 q 3 ` x 1 admet une seule façon étole p2qr1s 1. Chaque élément Sν κ de la partton Sν κ 0,...,t défn dans la Proposton 2.2 peut être assocé à pluseurs classes d équvalence de courbes, relatvement à la relaton d équvalence, mas nous fxons seulement une classe d équvalence de courbes correspondantes. Avec cette conventon, nous avons : Proposton 2.5. [NT1] Fxons une façon étole κ de S F. Sot U a un vosnage ouvert suffsamment pett d un pont a P S F tel que tout pont de U a admet la façon étole κ. Alors toutes les courbes correspondantes aux ponts de U a défnssent localement un feulletage de dmenson (complexe) 1 de l espace source C n pxq. Défnton 2.6. Consdérons S ν un élément de la stratfcaton de S F défne par les façons et ΞpS ν q l ensemble de toutes les façons de S ν. Nous défnssons S ν0 comme l ensemble

11 11 des ponts générques relatvement à au mons une façon de S ν, c est-à-dre : S ν0 ď Sν κ 0, κ P ΞpS νq où Sν κ 0 est défn comme dans la Proposton 2.2. Notons A ν0 S ν zs ν0. Nous défnssons S ν1 comme l ensemble des ponts générques relatvement à au mons une façon de A ν0 et nous notons A ν1 A ν0 zs ν1. En général, pour ě 1, nous défnssons S ν comme l ensemble des ponts générques relatvement à au mons une façon de A ν 1 et A ν A ν 1 zs ν. Nous obtenons une sous-partton de S ν. À partr de ces sous-parttons, nous obtenons ans une nouvelle partton de S F, appelée la partton de S F défne par les façons étole. Théorème 2.7. [NT1] Sot F : C n pxq Ñ Cn pαq une applcaton polynomale domnante. La partton de l ensemble asymptotque de F défne par les façons étole est une stratfcaton dfférentable satsfasant la proprété de frontère. 3. Une stratfcaton de Thom-Mather de l ensemble asymptotque Consdérons la stratfcaton ps q de S F défne par les façons étole. Nous allons prouver que la stratfcaton ps q est une stratfcaton de Thom-Mather. Pour fare cela, nous devons construre des vosnages tubulares des strates et les fonctons ρ et π correspondantes (cf. Défnton 0.2). En fat, nous allons construre les rayons des vosnages tubulares et les fonctons dstance ρ corrrespondant aux startes. L dée est d utlser les courbes correspondantes aux façons (Lemme 0.4). Les courbes correspondantes de chaque strate de ps q forment un feulletage (Proposton 2.5). L mage de ce feulletage fournra les rayons des vosnages tubulares. Les fonctons dstance ρ sont défnes par récurrence. Les foncton projecton π sont défnes automatquement le long des rayons des vosnages tubulares, ou, autrement dt le long des mages des coubres correspondantes aux façons. Les vosnages obtenus sont du type des vosnages tubulares efflés défns par Mare-Hélène Schwartz dans [MHS1, MHS2]. Pour formalser cette dée, nous avons beson d une relaton entre des strates adjacentes. Nous défnssons une relaton d ordre partelle entre les façons des strates de ps q dans la parte suvante La relaton entre les façons des strates de la stratfcaton de S F défne par les façons. Notons que dans la sute, quand nous concernons à une façon κ, alors κ peut être une façon étole, au sens de la Défnton 2.3. Défnton 3.1. Soent κ, κ 1 deux façons de S F telles que κ pi p qrj q s, et κ 1 pi p 1qrJ q 1s. Défnssons la relaton d ordre partelle κ ă κ 1 s nous avons l un des tros cas suvants :

12 12 NGUY ÊN THỊ BÍCH THỦY 1) ti p u Ľ ti p 1u et tj q u Ą tj q 1u. 2) ti p u ti p 1u et tj q u Ľ tj q 1u. 3) κ est une façon étole de κ 1. Défnton 3.2. Nous dsons que a ă a 1, où a, a 1 P S F, s pour tout κ 1 P Ξ pa 1 q, l exste κ P Ξ paq tel que κ κ 1 ou κ ă κ 1. Défnton 3.3. Nous défnssons l ordre du pont a de S F, notons orpaq, comme le nombre des façons de a. Remarque 3.4. D après la Défnton 3.1, alors s a ă a 1, nous avons orpaq ě orpa 1 q. Théorème 3.5. Soent a, a 1 P S F. Alors a ă a 1 s et seulement s stratepaq Ă stratepa 1 q, où stratepaq et stratepa 1 q sont des strates de la stratfcaton de S F défne par les façons étole, contennent a et a 1, respectvement. Preuve. Soent a, a 1 P S F tels que a ă a 1. Nous avons les deux cas suvants : 1) orpaq ą orpa 1 q : La Proposton?? dt que chaque façon de S F détermne une équaton algébrque obtenue à partr de facteurs de l équaton de l ensemble S F dans le Théorème 0.6. Comme orpaq ą orpa 1 q, et par la constructon des strates de la stratfcaton de S F défne par les façons étole (Défnton 2.6), l ensemble des équatons du système d équatons de stratepaq content l ensemble des équatons du système des équatons de stratepa 1 q. Cela sgnfe que stratepaq Ă stratepa 1 q. 2) orpaq orpa 1 q : l exste une façon κ pi p qpj q q de stratepaq et une façon κ 1 pipqpj 1 qq 1 de stratepa 1 q telles que κ ă κ 1. Dans ce cas-c, par la Défnton 3.1, nous avons deux possbltés : a) ou ben I p Y J q Ľ Ip 1 Y Jq 1 : la façon κ 1 n est pas une façon étole de κ. Il exste a 2 P S F tel qu une façon κ 2 pi 2 p qrj 2 q s de a 2 satsfat Ip 1 Y Ip 2 I p, Jq 1 Y Jq 2 J q (unons non nécessarement dsjontes). Cela sgnfe que stratepaq stratepa 1 qxstratepa 2 q. Nous avons donc stratepaq Ă stratepa 1 q. b) ou ben I p Y J q Ip 1 Y Jq 1 : la façon κ est une façon étole de κ 1. Par la Défnton 2.3 e la Défnton 2.6, la strate stratepaq est ncluse dans stratepa 1 q. Avant d utlser la relaton entre les façons dans le Théorème 3.5 c-dessus pour contrure des vosnages tubulares des strates de la stratfcaton de S F défne par les façons étole, nous avons beson de deux lemmes suvants Lemmes.

13 13 Lemme 3.6. Sot F : C n pxq Ñ Cn pαq une applcaton polynomale domnante, alors S F Y F pc n pxq q Cn pαq. Preuve. Pusque F est domnante, nous avons F pc n pxq q Cn pαq (cf. Défnton 0.5). Prenons a P F pc n pxq qzf pcn pxq q, alors l exste une sute tξ ku Ă C n pxq telle que F pξ kq tend vers a. S ξ k ne tend pas vers l nfn, alors ξ k tend vers x 0 P C n pxq et F pξ kq tend vers F px 0 q. Nous avons donc F px 0 q a, d où la contradcton avec a R F pc n pxq q. Donc ξ k tend vers l nfn et a P S F. Lemme 3.7. Sot a P C n pαq zs F, sot κ ν une façon d une strate S ν de la stratfcaton de S F défne par les façons étole et sot a ν un pont de S ν, suffsamment proche de a. Alors, nous pouvons toujours détermner une courbe dfférentable γ ν : r1, `8q Ñ C n pxq, telle que, d une part, lorsque u tend vers l nfn, γ ν puq tend vers l nfn avec la façon κ ν et F pγ ν puqq tend vers a ν, et d autre part, F pγ ν p1qq a. Preuve. D abord, pusque a ν P S F, alors, par le Lemme 0.4, Il exste une courbe dfférentable γ ν : r1, `8q Ñ C n pxq, telle que γ ν puq tend vers l nfn avec la façon κ ν et F pγ ν puqq tend vers a ν lorsque u tend vers l nfn. Comme a P C n pαq zs F, alors par le Lemme 3.6, nous avons a P F pc n pxq q. Détermnons mantenant la courbe γ ν telle que γ ν p1q est contenu dans F 1 paq, c est-àdre, F pγ ν p1qq a. D après le Théorème 2.7, S ν est une varété algébrque. Nous pouvons supposer que l équaton de S ν est φpαq 0 (notons que, par l équaton de S ν, nous entendons possblement un système d équatons). Sans perte de généralté, nous pouvons supposer que κ ν p1,..., pqrp ` 1,..., p ` qs, où q ` p ď n. La courbe γ ν peut s écrre sous la forme : (3.8) pf p`1 pa ν q ` 1 λ ν 1 u,..., f p`qpa ν q ` 1 λ ν q u, f 1 pa ν, λ ν 1,..., λ ν q, uq,..., f p pa ν, λ ν 1,..., λ ν q, uq, f p`q`1,..., f n q,

14 14 NGUY ÊN THỊ BÍCH THỦY où f l pa ν, λ ν 1,..., λν q, uq tend vers l nfn pour l 1,..., p et f p`q`1,..., f n tendent vers des nombres complexes fxés lorsque u tend vers l nfn. Pusque F pγ ν p1qq a et a ν P S ν alors pλ ν 1,..., λν q q est la soluton du système d équatons $ & F pγ ν p1qq a, % φpa ν q 0 nous pouvons donc toujours détermner la courbe γ ν. L exemple suvant llustre le Lemme 3.7 c-dessus. Exemple 3.9. Consdérons l applcaton polynomale domnante F : C 3 px 1,x 2,x 3 q Ñ C3 pα 1,α 2,α 3 q telle que F px 1, x 2, x 3 q px 2 1 1, x 2 ` 2, px 2 1 1qpx 2 ` 2qx 3 q. L ensemble asymptotque S F de F est l unon de deux plans tα 1 0u et tα 2 0u. Prenons le pont a 1 p0, 0, 2q appartent à une strate de dmenson 1 de S F et nous voyons que a 1 P tα 1 0uXtα 2 0u. Nous pouvons vérfer faclement qu une façon de a 1 est κ p3qr1, 2s. Prenons le pont a p3, 1, 3q P C 3 pα 1,α 2,α 3 q zs F. D après le lemme 3.6, le pont a est contenu dans F pc 3 px 1,x 2,x 3 q q. Cherchons mantenant une courbe γ1 : r1, `8q Ñ C 3 px 1,x 2,x 3 q telle que, d une part, γ 1 puq tende vers l nfn avec la façon p3qr1, 2s et F pγ 1 puqq tende vers le pont a 1 lorsque u tend vers l nfn, et que, d autre part, F pγ 1 p1qq sot a. Comme γ 1 puq tende vers l nfn avec la façon p3qr1, 2s et les deux premères coordonnées de F pγ 1 puqq tendent vers 0, donc γ 1 puq peut être écrt sous la forme: ˆ γ 1 puq 1 ` 1 λu, 2 ` 1 µu, x 3,u, où x 3,u Ñ 8 et λ, µ P C. Nous avons F pγ 1 puqq Pusque F pγ 1 puqq tend vers a 1 p0, 0, 2q, l vent : ˆ 2 λu ` 1 ˆ λ 2 u 2, 1 2 µu, λu ` 1 1 λ 2 u 2 µu x 3,u. x 3,u λµu 2, ˆ 2 F pγ 1 puqq λu ` 1 λ 2 u 2, 1 µu, 2 ` 1. λu Pusque F pγ 1 p1qq a p3, 1, 3q, nous avons λ µ 1. Nous avons donc ˆ γ 1 puq 1 ` 1 u, 2 ` 1 u, u2.

15 3.3. Théorème sur une stratfcaton de Thom-Mather de l ensemble asymptotque. Théorème Sot F : C n pxq Ñ Cn pαq une applcaton polynomale domnante. La stratfcaton de de l ensemble asymptotque de F défne par les façons étole est une stratfcaton de Thom-Mather. Preuve. La premère étape consste d une part à attacher à chaque strate S ν une ou pluseurs façons de S ν de manère à ce que pour chaque séquence de strates ncluant S ν 15 H Ă S 0 Ă S 1 Ă Ă S ν Ă Ă S n 1 corresponde une sute de façons κ 0 ă κ 1 ă ă κ n 1. D autre part, nous consdérons des vosnages V ν des strates S ν de S F, efflés au sens de M.-H. Schwartz ([MHS2]). Les vosnages tubulares que nous allons construre en sont des sous-tubes". La démonstraton est fate par récurrence décrossante, en commençant par la strate de dmenson la plus grande : S n 1, que nous notons S n0. A chaque étape, nous défnssons le vosnage tubulare ans que les fonctons ρ et π. Consdérons donc un pont a stué dans V n0 zp Ť νăn 1 V ν Y S F q. Nous pouvons chosr un pont a n 0 suffsamment proche de a et, pour toute façon κ n0 de S n 1 S n0, le Lemme 3.7 nous fournt le rayon F pγ n 0 puqq relant a à a n 0. Le vosnage tubulare T n0 de S n0 z Ť νăn 1 V ν est consttué de l ensemble des rayons F pγ n 0 puqq aboutssant aux ponts a n 0 de S n0 z Ť νăn 1 V ν. Pour tout pont a 1 F pγ n 0 puqq stué sur ce rayon, nous défnssons (3.11) π n0 pa 1 q a n 0 et ρ n0 pa 1 q d c pa 1, a n 0 q où d c pa 1, a n 0 q est la dstance curvlgne, de a 1 à a n 0, le long de la courbe F pγ n 0 q. Le cas général de la récurrence sut les mêmes technques que dans le cas de deux strates. Celu-c est cependant plus smple à explcter, ce que nous fasons c-dessous. Nous examnons ensute le cas général de la récurrence. Consdérons donc mantenant le cas de deux strates, plus précsément, la strate S n0 et une strate S n1 de dmenson mmédatement nféreure à celle de S n0. Nous allons construre le vosnage tubulare T n1 de S n1 en tros partes, la premère étant la plus délcate.

16 16 NGUY ÊN THỊ BÍCH THỦY 1) Nous notons κ n0 et κ n1 deux façons de S n0 et S n1 respectvement, telles que κ n1 ă κ n0. Consdérons un pont a stué dans pv n0 X V n1 qzs F. Nous pouvons, comme précédemment, chosr un pont a n 0 suffsamment proche de a, et utlser le Lemme 3.7. Nous pouvons supposer que κ n0 p1,..., pqrp ` 1,..., p ` qs, où q ` p ď n. La courbe γ 0 est construte comme dans la preuve du Lemme 3.7 et peut s écrre sous la forme : (3.12) pf p`1 pa n 0 q ` 1 pλ n 0 1 qu,..., f p`qpa n 0 q ` 1 pλ n 0 q qu, f 1 pa n 0, λ n 0 1,..., λn 0 q, uq,..., f p pa n 0, λ n 0 1,..., λn 0 q, uq, f p`q`1,..., f n q, où f l pa n 0, λ n 0 1,..., λn 0 q, uq tend vers l nfn pour l 1,..., p et f p`q`1,..., f n tendent vers des nombres complexes fxés lorsque u tend vers l nfn. Nous obtenons ans le rayon pa, a n 0 q du vosnage tubulare T n0. Le vosnage tubulare T n0 de S n0 dans V n0 X V n1 est construt de façon à ce que la longueur εpa n 0 q des rayons de T n0 tende vers 0 lorsque la dstance du pont a n 0 à la strate S n1 tend vers 0. Cette constructon correspond à celle des vosnages tubulares efflés de M.-H. Schwartz ([MHS2]). Appelons T ε n 0 le vosnage tubulare ans obtenu. Pour tout a n 0, notons ε 1 pa n 0 q εpa n 0 q{2. Nous obtenons ans un vosnage T ε1 n 0 construt par homothéte de rapport 1{2 (vor fgure 4). Nous construsons mantenant T n1 et défnssons les fonctons π n0, ρ n0 et π n1, ρ n1 dans T ɛ1 n 0 X V n1. Pour cela, consdérons un pont a de T ɛ1 n 0 X V n1. Nous pouvons chosr un pont a n 1 stué sur la strate S n1, suffsamment proche de a, et utlser le Lemme 3.7. Sans perte de généralté, nous pouvons supposer que κ n1 p1,..., pqrp ` 1,..., p ` q ` 1s. Nous obtenons une courbe γ n 1 ptq, laquelle peut s écrre sous la forme : (3.13) pg p`1 pa n 1 q ` 1 pλ n 1 1 qt,..., g p`q`1pa n 1 q ` 1 pλ n 1 q`1 qt, g 1 pa n 1, λ n 1 1,..., λn 1 q`1, tq,..., g ppa n 1, λ n 1 1,..., λn 1 q`1, tq, g p`q`2,..., g n q, où g l pa n 1, λ n 1 1,..., λn 1 q`1, tq tend vers l nfn pour l 1,..., p et g p`q`2,..., g n tendent vers des nombres complexes fxés lorsque t tend vers l nfn. Pusque F pγ n 1 p1qq a et

17 17 a n 1 P S n1 alors pλ n 1 1,..., λn 1 q`1q est une soluton du système d équatons $ & F pγ n 1 p1qq a,, % φ 1 pa n 1 q 0 où φ 1 est l équaton de la varété algébrque S n1. La courbe F pγ n 1 ptqq, allant de a à a n 1 est un rayon du vosnage tubulare T n1 de S n1 (vor fgure 3). Sot u j P p1, `8q une valeur fxée du paramètre u de la courbe γ n 0 puq, notons a j le pont F pγ n 0 pu j qq stué sur la courbe pa, a n 0 q. De la même manère que la courbe γ n 1 (formule (3.13)) nous pouvons construre des courbes F pγ n 1 j ptqq relant a j à a n 1 et avec le même paramètre Constructon t (vorde fgure ${\mathcal{t}}_{n_1} 3). \cap {\mathcal{t}}_{n_0}^{\epxlon'}$ S a n 1 n 1 b j b n b 0 n a 0 S n 0 a j a Fgure 3. Constructon de T n1 X T ɛ1 n 0. D une part, lorsque u j pa n 0, a n 1 q stuée dans la strate S n0. des rayons du vosnage tubulare T n1 tend vers l nfn, la courbe pa j, a n 1 q tend vers une courbe Les courbes pa j, a n 1 q et leur lmte pa n 0, a n 1 q sont de la strate S n1, que nous construsons. Par défnton, pour tout pont a 1 stué sur une courbe pa j, a n 1 q (ou sur la lmte pa n 0, a n 1 q), nous posons π n1 pa 1 q a n 1. D autre part, tout pont b stué sur la courbe pa, a n 1 q s écrt b F pγ n 1 pt qq pour une valeur t. Fxons cette valeur t du paramètre t. Pour u j allant de 1 à `8, l ensemble des ponts b j F pγ n 1 j pt qq décrt une courbe relant le pont b à un pont b n 0 de S n0. Le chox des courbes γ n 0 et γ n 1 ((3.12) et (3.13)) nous permet d affrmer que le pont b n 0 lm uj Ñ8pF pγ n 1 j pt qqq est stué sur la courbe pa n 0, a n 1 q. Par défnton, nous dsons que les ponts de la courbe pb, b n 0 q sont stués à même dstance" du pont a n 1, relatvement

18 18 NGUY ÊN THỊ BÍCH THỦY à la foncton ρ n1, plus précsément nous posons : ρ n1 pb q ρ n1 pb j q ρ n 1 pb n 0 q Ŕ b n 0 a n 1 pour tout t, où b Ŕn 0 a n 1 est le longueur de la courbe relant deux ponts b n 0 et a n 1, défn comme le longueur de deux ponts dans l espace C n, avec le sens classque. En partculer, ρ n1 paq ρ n1 pa j q ρ n1 pa n 0 q Ŕa n 0 a n 1. 2) Constructon de T n1 ztn ɛ 0. Dans V n1 zptn ɛ 0 X V n1 q, c est-à-dre dans la parte qu ne rencontre pas les vosnages tubulares des strates dont S n1 est adjacente, la stuaton est celle du Lemme 3.7, relatvement à la façon κ n1. Nous obtenons des courbes γ n 1 dont les mages par F sont des rayons de T n1, ce qu défnt la foncton π n1. La foncton ρ n1 est défne comme en (3.11). Fgure 4. Le vosnage tubulare T n1 en tros partes. 3) Constructon de T n1 X pt ɛ n 0 zt ɛ1 n 0 q. De même que dans le cas précédent, le Lemme 3.7 fournt des courbes γ n 1 rayons de T n1, ce qu défnt la foncton π n1. Dans V n1 X ptn ɛ 0 ztn ɛ1 0 q, la foncton ρ n1 est déjà défne sur V n1 X BpTn ɛ 0 q et sur V n1 X BpTn ɛ1 0 q. Nous la prolongeons de façon dfférentable, le long des courbes F pγ n 0 q en utlsant les fonctons de prolongement de Whtney ([Wh] IV, 27) (vor fgure 4). Remarquons que s l on a deux strates (ou plus) S n0 et S 1 n 0 telles que telles que S n1 Ă S n0 et S n1 Ă S 1 n 0, alors, comme les vosnages V n0 et V 1 n 0 prs au début de la constructon ne se rencontrent pas, la constructon précédente peut être effectuée séparèment relatvement aux deux strates (vor fgure 5). Cette constructon est smlare à celle de M.-H. Schwartz [MHS2]. Cec termne le cas de deux strates. Montrons mantenant que s la constructon est fate pour une sute de strates S nk 1,, S n1, S n0

19 19 Fgure 5. Cas d une strate dans le bord de deux strates. telles que S nk 1 Ă Ă S n1 Ă S n0, alors, s S nk est une strate telle que S nk Ă S nk 1, la constructon peut être fate pour la sute de strates S nk, S nk 1,, S n1, S n0. Consdérons une sute de façons κ nk ă κ nk 1 ă ă κ n1 ă κ n0 des strates correspondantes. Par hypothèse de récurrence, l exste des tubes T n autour des strates S n, cec pour 0,..., k 1 ans que des fonctons π n et ρ n satsfasant les condtons de Thom-Mather. Comme précédemment (cf 1) du cas de deux strates), nous construsons d abord le vosnage tubulare T nk dans V nk Ş 0 k 1 T n. Pour un pont a P Ş 0 k 1 T n, nous supposons donc construt un polyèdre curvlgne" P k 1 de sommets le pont a et des ponts a n tels que a n P S n, pour k 1,..., 0. Supposons le pont a suffsamment proche de S nk (.e. stué dans le vosnage V nk ) et consdérons un pont a n k P S nk proche de a. D après le Lemme 3.7, applqué à a et a n k, l exste une courbe γ n kpt k q jognant a et a n k, relatvement à la façon κ nk (vor fgure 6). Comme précédemment, chaque pont b d une arête a, a n du polyèdre curvlgne peut être jont au pont a n k par une courbe du même type, qu est un rayon du vosnage tubulare T nk de S nk que nous construsons. Lorsque le pont b tend vers a n P S n, nous obtenons une courbe pa n, a n kq stuée dans la strate S n et qu est également un rayon du vosnage tubulare T nk de S nk. Les courbes

20 20 NGUY ÊN THỊ BÍCH THỦY Fgure 6. La récurrence obtenues dépendent toutes du même paramètre t k. Nous obtenons ans un nouveau polyèdre curvlgne dont les sommets sont le pont a et les ponts a n tels que a n P S n, pour k,..., 0. Comme précédemment, chaque pont a 1 de la courbe pa, a n kq correspond à une valeur t k P r1, `8q du paramètre. En partculer, les ponts du polyèdre P k 1 correspondent à la valeur t k 0. Par défnton, nous posons ρ nk paq ρ nk pa n q pour k 1,..., 0 et tous les ponts du polyèdre obtenu à partr des ponts de P k 1 et correspondant à la même valeur t k du paramètre, ont même valeur de ρ nk. La constructon de T nk dans V nk z Ş 0 k 1 T n ans que la défnton des fonctons π nk et est alors smlare au cas de deux strates effectué c-dessus. ρ nk Il nous reste à précser la constructon des vosnages tubulares dans les deux cas suvants : 1) cas où l n exste pas de relaton entre les façons d une strate et de la strate stuée dans son bord. 2) cas où l on a pluseurs façons pour une même strate. Dans le premer cas, pusque la stratfcaton de S F défne par les façons étole est une stratfcaton algébrque, alors l y a une relaton entre des équatons des strates adjacentes. En utlsant cette relaton, la preuve est procédée avec le même chemn. Dans le second cas, supposons qu l exste r façons pour une même strate S ν. Supposons qu l exste deux sutes de strates ncluant S ν pour lesquelles les façons κ ν et κ 1 ν sont dfférentes. Cela mplque qu l exste deux strates S n et S 1 n dans le bord de S ν avec

21 dfférentes façons. Les rayons de la parte du vosnage tubulare T ν stuée dans T n construts avec des courbes γ n puq tands que les rayons de la parte du vosnage tubulare T ν stuée dans T 1 n sont construts avec des courbes γ 1 n puq. Nous obtenons donc des systèmes de courbes dfférents pour chaque parte du vosnage tubulare T ν de S ν. Nous pouvons donc conclure comme dans le premer cas. En fat les courbes obtenues dans ce cas sont de la forme suvante : Φpu, sq : s 1 F pγ ν 1 puqq ` ` s r F pγ ν r puqq, où d une part, les r courbes γ ν 1 puq,..., γν r puq tendant vers l nfn et telles que leurs mages tendent vers a ν correspondent aux r façons de S ν, et où d autre part, s 1 ` ` s r 1 et 0 ď s ď 1, pour 1,..., r, seule l une des valeurs s valant 1 dans chaque T ν X T n. [Es] [J1] [M1] References 21 sont A.R.P van den Essen, Polynomal Automorphsms and the Jacoban Conjecture, Sémnares et Congrès 2(1997), n 0 2, pp 55-81, Socété Mathématque de France. Z. Jelonek, The set of ponts at whch polynomal map s not proper, Ann. Polon. Math. 58 (1993), no. 3, J. Mather, Notes on topologcal stablty, 1970, mméographé, Harvard Unversty. [NT-V-V] T. B. T. Nguyen, A. Valette and G. Valette, On a sngular varety assocated to a polynomal mappng, Journal of Sngulartes volume 7 (2013), [NT1] T. B. T. Nguyen, La méthode des façons, ArXv: [NT2] [MHS1] [MHS2] T. B. T. Nguyen, Étude de certans ensembles sngulers assocés à une applcaton polynomale, Thèse, Unversté d Ax Marselle, ID : tel M. H. Schwartz, Classes caractérstques défnes par une stratfcaton d une varété analytque complexe, CRAS 260 (1965) et M. H. Schwartz, Champs radaux sur une stratfcaton analytque, Travaux en cours, Vol. 39, Hermann, Pars, [T] R. Thom, Ensembles et morphsmes stratfés, Bull. Amer. Math. Soc., 75, 2, , [V-V] [Wh] A. Valette and G. Valette, Geometry of polynomal mappngs at nfnty va ntersecton homology, Ann. I. Fourer vol. 64, fasccule 5 (2014), H. Whtney, Geometrc Integraton Theory Prnceton Mathematcal Seres 21, Prnceton, NJ and London: Prnceton Unversty Press and Oxford Unversty Press, (Nguy ên Thị Bích Thủy) UNESP, Unversdade Estadual Paulsta, Júlo de Mesquta Flho, São José do Ro Preto, Brasl E-mal address: bchthuy@blce.unesp.br