Parametrizacaopuiseux 44 56

UNIVERSIDADE ESTADUAL DE MARINGA CENTRO DE CIENCIAS EXATAS DEPARTAMENTO DE MATEMATICA PROGRAMA DE POS-GRADUACAO EM MATEMATICA
ORLANDO CATARINO DA SILVA
Parametrizaco de Curvas Planas a
Maring a 2009
Dissertao apresentada ao Programa de Psca o Graduao em Matemtica do Departamento de ca a Matemtica, Centro de Cincias Exatas da Univera e sidade Estadual de Maring, como requisito para cial para obteno do t ca tulo de Mestre em Matemtica. a Area de concentrao: Geometria Algbrica. ca e
Orientador: Prof. Dr. Marcelo Escudeiro Hernandes
Maring a 2009

Dissertao apresentada ao Programa de Ps-Graduao em Matemtica do Departamento ca o ca a de Matemtica, Centro de Cincias Exatas da Universidade Estadual de Maring, como parte a e a dos requisitos necessrios para a obteno do t a ca tulo de Mestre em Matemtica pela Comisso a a Julgadora composta pelos membros:
COMISSAO JULGADORA
Prof. Dr. Marcelo Escudeiro Hernandes Universidade Estadual de Maring/Presidente a
Profa. ???????? Universidade ???????
Prof. ??????? Universidade ??????
Profa. ?????? Universidade ??????
Aprovada em: ????????????????. Local de defesa: ????????????, Bloco F-67, campus da Universidade Estadual de Maring. a
S acaba quando termina.. o
Agradecimentos
Agradeo a Deus, e toda minha familia, principalmente a minha irm, que me ajudou c a de todas as formas, dando fora e incentivo, que nunca permitiu que eu desistisse. Agradeo c c tambm a todos meus amigos e minha namorada, que estiveram comigo durante toda essa e jornada, compartilhando momentos de alegria de frustasso. A todos professores do dea partamento de matemtica da UEM, e tambm aos professores com quem tive o prazer de a e estudar durante a graduao, agradeo. tenho um agradecimento especial ao meu orientador, ca c professor Marcelo Escudeiro Hernades, que me muito me ajudou, durante todo mestrado.
RESUMO
Neste trabalho temos como objetivo descobrir quando duas curvas algebrides planas o em duas variveis so equisingulares, ou seja, quando elas possuem o mesmo semigrupo de vala a ores associado a essas curvas. Para alcanar tal objetivo, devemos estudar suas parametrizac ces. Apresentaremos algumas formas de como obter uma parametrizao para essas curvas, o ca lembrando que estamos trabalhando em um Corpo K de caracteriza qualquer.
Parametrization of ...
ABSTRACT
In this work we prove the existence, uniqueness of solution and we give decay rate for the energy associated to the problem
Sumario
Introduo ca 1 Preliminares
9 11
1.1 Anel das Sries de Potncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 e e 1.2 Teorema da Preparao de Weierstrass . . . . . . . . . . . . . . . . . . . . . . 14 ca 1.3 Lema de Hensels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 1.4 Curvas Algebrides Planas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 o 2 Parametrizaes de Newton-Puiseux co 26
2.1 O Corpo de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 2.2 Teorema de Newton-Puiseux . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 2.3 Parametrizao de Newton-Puiseux . . . . . . . . . . . . . . . . . . . . . . . . 42 ca 3 Parametrizaes de Hamburger-Noether co 57
3.1 Resoluo de Singularidades de Curvas Planas . . . . . . . . . . . . . . . . . . 57 ca 3.2 Parametrizao em Caracter ca stica Positiva . . . . . . . . . . . . . . . . . . . . 67 4 Equisingularidade 78
4.1 Indice de Interseo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78 ca 4.2 Semigrupo de Valores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
4.3 Semigrupos e Resoluo de singularidades . . . . . . . . . . . . . . . . . . . . 103 ca Indice Remissivo Bibliograa 110 111
Introdu ao c
Neste trabalho estudaremos algumas propriedades de curvas algebro des planas irredut veis com duas variveis em um corpo K de caracter a stica qualquer. Nosso objetivo e determinar quando duas curvas so ou no equisingulares, ou seja, se as curvas possuem o a a mesmo semigrupo de valores associado. Quando K = C essa relao pode ser vista como ca equivalncia Topolgica entre duas curvas. e o Curvas planas podem ser dadas como ser de potncias, f K[[X, Y ]], ou como es e parametrizaes. Dependendo da forma que a curva for dada, existem diferentes mtodos co e para o estudo das mesmas, essas diferentes formas depende exclusivamente da caracter stica do corpo K em questo. a No primeiro cap tulo, apresentaremos resultados preliminares que possuem grande importncia para o que seguir. Como por exemplo, as propriedades do Anel das ser de a a es potncias, e o Teorema da Preparao de Weierstrass, esse ultimo, permitir mostrar que e ca a todo curva equivalente a um polinmio de Weierstrass. e o No segundo cap tulo, nos restrigiremos a um corpo de K com caracter stica zero e demonstraremos o famoso teorema de Newton-Puiseux, em seguida apresentaremos um algor timo que permit encontrar uma parametrizao para uma curva plana irredut com a ca vel coecientes nesse corpo. No terceiro cap tulo, retomamos nossa ateno a um corpo K de caracter ca stica qualquer. Apresentaremos na primeira seo uma tecnica chamada Resoluo de singularidades, ca ca
10 que permit encontrar uma parametrizao para uma curva plana qualquer. Apartir dessa a ca parametrizao, mostraremos como encontrar as Parametrizaes de Hamburge-Noether, que ca co possuem propriedades interessantes que ajudaram a obter o semigrupo associado a curva. No quarto cap tulo, deniremos o semigrupo associado a curva plana, e relacionaremos os diferentes resultados apresentados at ento, para descrever o semigrupo de uma e a curva plana qualquer. Esse ultimo cap tulo permitir armar se duas curvas planas so ou a a no equisingulares. a
Cap tulo 1
Preliminares
Neste cap tulo apresentamos denies e resultados bsicos que sero utilizados no co a a decorrer do trabalho. Alguns sero demonstrados e outros apenas enunciados. Neste caso, a indicaremos referncias precisas de suas demonstraes. e co
1.1
Anel das Sries de Potncias e e

Sejam X e Y indeterminadas sobre um corpo K, denotamos K[[X, Y ]] o conjunto de
todas somas formais do tipo
Pi
i=0
onde cada Pi um polinmio homogneo de grau i nas indeterminadas X e Y com coecientes e o e em K. Consideramos o polinmio nulo como sendo um polinmio homogneo de qualquer o o e grau. Os elementos de K[[X, Y ]] sero chamados sries de potncias formais nas indea e e terminadas X e Y , com coecientes em K.

Sejam f =
i=0
Pi e g =
i=0
Qi elementos de K[[X, Y ]]. Por denio temos ca
f = g Pi = Qi , i N.
Em K[[X, Y ]], denimos as seguintes operaes: co
1.1 Anel das Sries de Potncias e e 1. f + g = 2. f g =

i=0 i=0
12
i=0 (Pi
Pi +
i=0
i=0
Qi =
+ Qi );
k j=0 Pkj Qj .
Pi .
Qi =
k=0 Ck ,
onde Ck =
a E fcil vericar que, com estas operaes, K[[X, Y ]] um anel comutativo com co e unidade chamado o anel das sries de potncias formais em X e Y com coecientes em e e K. O anel K[[X, Y ]] tem como subanis, o corpo K e o anel dos polinmios K[X, Y ]. e o Os elementos de K[[X, Y ]] podem ser representados explicitamente sob a forma
f=
k=0 i+j=k
ai,j X i Y j
onde ai,j K. O seguinte resultado descreve os elementos invers veis de K[[X, Y ]]. Proposio 1.1. Um elemento f = ca P0 = 0. Demonstrao: ca g=
i=0 i=0
Pi K[[X, Y ]] invers e vel se, e somente se,
Suponha que um elemento f =
i=0
Pi seja invers vel, ento existe a
Qi K[[X, Y ]] tal que
1 = f g = P0 Q0 + (P1 Q0 + P0 Q1 ) + . . .
mas tal equao equivalente ao sistema de equaes: ca e co P0 Q0 = 1 P Q +P Q =0 1 0 0 1 . . . P Q + P Q + ...+ P Q = 0 n 0 n1 1 0 n . . .
1.1 Anel das Sries de Potncias e e
13
Da primeira equao do sistema anterior, segue que P0 Q0 = 1, consequentemente ca P0 = 0. Reciprocamente, suponha que P0 = 0. Ento o sistema anterior tem uma soluo a ca dada da seguinte forma:
1 1 1 Q0 = P0 , Q1 = P0 (P1 Q0 ), . . . , Qn = P0 (Pn Q0 + . . . + P1 Qn1 ).
Assim, tomando g =
i=0
Qi K[[X, Y ]] temos que f g = 1 e, neste caso, f 1 = g. Portanto,
f invers em K[[X, Y ]]. e vel
Exemplo 1.2. Seja f = 1 + X C[[X]]. Da Proposio (1.1), segue que f invers ca e vel, pois
P0 = 1 = 0. Alm disto, temos que f = e

i=0
(1)i X i .
Dizemos que dois elementos f e g em K[[X, Y ]] so associados, se existe uma a unidade u de K[[X, Y ]], tal que f = ug.
Denio 1.3. Seja f = ca

i=n
Pi K[[X, Y ]], onde cada Pj um polinmio homogneo de e o e
grau j e Pn = 0. O polinmio homogneo Pn chamado forma inicial de f , o inteiro n o e e e chamado de multiplicidade de f e denotado por mult(f ). Se f = 0, pe-se mult(f ) = . e o De acordo com a Proposio 1.1, temos que f K[[X, Y ]] invers ca e vel, se e somente se, mult(f ) = 0. Com respeito a multiplicidade das sries de potncias temos as seguintes propriedades: e e Proposio 1.4. Sejam f, g K[[X, Y ]]. Ento, ca a 1. mult(f g) = mult(f ) + mult(g); 2. mult(f g) min{mult(f ), mult(g)}, com de igualdade vlida sempre que mult(f ) = a mult(g).
1.2 Teorema da Preparao de Weierstrass ca

14
Demonstrao: Basta considerar f = ca

i=n
Pi e g =
i=m
Qi , onde cada Pi e Qi so polinmios a o
homogneos de grau i com Pn = 0 e Qm = 0 e analisar as expresses de f.g e f g. e o
Note que a noo de multiplicidades de sries de potncias representa um papel ca e e semelhante ao grau dos polinmios. o O anel K[[X, Y ]] um dom e nio. Denotaremos por M = X, Y o ideal de K[[X, Y ]] gerado por X e Y , que um ideal maximal. e
1.2
Teorema da Preparao de Weierstrass ca

Nesta seo, temos como por objetivo apresentar o Teorema da Preparao de ca ca
Weierstrass que permitir considerar as equaes de curvas planas de modo mais cmodo. a co o Apesar da maioria dos resultados serem vlidos para vrias varveis, nos restringiremos ao a a a caso que nos interessa, ou seja, duas variveis. a Denio 1.5. Um pseudo-polinmio (respectivamente um polinmio de Weierstrass) ca o o em Y uma srie de potncias em K[[X, Y ]] da forma e e e P (X, Y ) = Y n + a1 (X)Y n1 + ... + an (X) K[[X]][Y ] onde n 1 e mult(ai (X)) 1, (respectivamente mult(ai (X)) i) para todo i = 1, ..., n. Denio 1.6. Dizemos que f K[[X, Y ]] \ {0} regular em Y (respectivamente em X) ca e de ordem n, se existe n N tal que Y n | f (0, Y ), mas Y n+1 f (0, Y ) (respectivamente no caso da varivel X). Se f regular em Y (respectivamente em X)de ordem n = mult(f ), a e ento diremos simplesmente que f regular em Y (respectivamente em X). a e No que segue, vamos nos referir a um K-automorsmo de K[[X, Y ]] como sendo uma mudana de coordenadas. Vamos mostrar que, a menos de mudana de coordenadas e c c
1.2 Teorema da Preparao de Weierstrass ca
15
multiplicao por uma unidade, um elemento de K[[X, Y ]], pode ser considerado como um ca polinmio de Weierstrass. o Lema 1.7. Seja f K[[X, Y ]] \ {0}, ento existe uma mudana de coordenadas T , tal que a c T (f ) regular em Y . e Demonstrao: Considere f (X, Y ) = ca
i,j
cij X i Y j .
Tome o termo X a Y b , tal que para qualquer outro termo X Y de f temos a < ou, caso a = , temos b < . Escolha u N com u > b. Consideremos f (Y u , Y ) =
i,j
Cij Y iu+j .
Se i > a, ento i a 1, assim (i a)u u > b, ou seja, (i a)u b > 0, ou ainda, a (i a)u + j b > j 0, isto , iu + j > au + b. e Se i = a e j > b, ento (i a)u + j b > 0, isto , iu + j > au + b. a e Assim, em f (Y u , Y ) o termo de menor ordem Y au+b . Consideremos o K-automorsmo e T : K[[X, Y ]] K[[X, Y ]] X X +Yu Y Y. Escreva agora f (X, Y ) =
k=n
Fk (X, Y ), onde Fk um polinmio homogneo de grau k. e o e dij X i Y j , temos
Escrevendo Fk (X, Y ) =
i+j=k
T (f ) = T (
k=n
Fk (X, Y )) =
k=n
T (Fk (X, Y )).
1.2 Teorema da Preparao de Weierstrass ca Agora observe que dij (X +Y u )i Y j =

i+j=k i+j=k
16
T (Fk (X, Y )) =
dij Y ui+j +Xhk (X, Y ) = Fk (Y u , Y )+Xhk (X, Y ).
Assim, Fk (Y u , Y ) + Xh(X, Y ) = f (Y u , Y ) + Xh(X, Y ).

k=n
T (f ) =
k=n
T (Fk (X, Y )) =
Como f (Y u , Y ) tem ordem au + b, temos que T (f ) regular em Y de ordem au + b. e
Como estamos prontos para apresentar o resultado principaldesta seo. ca Teorema 1.8. (Preparao de Weierstrass) Seja F K[[X, Y ]] regular em Y de ordem n, ca ento existem unicos G, H K[[X, Y ]], tais que F = GH, onde G uma unidade e a e H = Y n + a1 (X)Y n1 + ... + an (X) K[[X]][Y ]. Mais ainda, se mult(F ) = n, ento mult(ai (X)) i, para todo i = 1, ..., n. a Demonstrao: Tome F = F0 (Y ) + F1 (Y )X + F2 (Y )X 2 + . . .. Queremos encontrar G e ca H da forma G = G0 (Y ) + G1 (Y )X + G2 (Y )X 2 + ... H = H0 (Y ) + H1 (Y )X + H2 (Y )X 2 + ... tais que F = GH. Isto equivalente ao sistema e F0 = G0 H0 F1 = G0 H1 + G1 H0 F2 = G0 H2 + G1 H1 + G2 H2
1.2 Teorema da Preparao de Weierstrass ca ou seja, Fm =

i+j=m
17
Gi H j .
Mostraremos como proceder por induo sobre m. ca Se m = 0, como F (0, Y ) = Y n + ... com = 0, ento F0 (Y ) = F (0, Y ) = a G0 (Y )H0 (Y ) e tomamos H0 (Y ) = Y n e G0 (Y ) = =
F (0,Y ) Yn F1 G0
K \ {0}.
Para m = 1, temos F1 = G0 H1 + G1 H0 , isto , e
0 = H1 + G1 H0 . G
Tome H1 como a soma dos termos de grau menor que n em Y que ocorrem em
F1 G0
K[[Y ]]. Assim, G1 =

F1 H1 G0 H0
K[[Y ]].
Agora vamos supor que possamos obter Gi e Hi para todo i < m. Temos que, Fm = G0 Hm + G1 Hm1 + ... + Gm1 H1 + Gm H0 . Observe que apenas os valores Hm e Gm no so conhecidos, ento ao escrevermos a a a
Fm (G1 Hm1 +...+Gm1 H1 ) G0
0 = Hm + Gm H0 . G
Tomamos Hm igual a soma dos termos de grau menor que n que aparecem do lado esquerdo da equao anterior, e assim ca Gm =
Fm (G0 Hm +G1 Hm1 +...+Gm1 H1 ) H0
K[[Y ]].
Portanto, basta tomar G = G0 + G1 X + G2 X 2 + ... K[[X, Y ]] que unidade, pois e G0 = K \ {0}, e H = H0 + H1 X + H2 X 2 + ...+ = Y n + a1 (X)Y n1 + ... + an1 (X)Y + an (X).
A unicidade de G e H segue do processo descrito. Como F = GH regular em Y de ordem n, se mult(F ) = n, ento devemos ter que e a mult(ai (X)) i para todo i = 1, . . . n.
1.2 Teorema da Preparao de Weierstrass ca Agora apresentaremos um exemplo de como preparar uma srie ` Weiestrass. e a
18
Exemplo 1.9. Vamos aplicar o mtodo descrito no teorema anterior para a seguinte srie e e de potncias: e f (X, Y ) = Y 5 + (1 + X)Y 4 2X 3 Y 3 + 4X 5Y 2 + (X 7 4X 5 3X 6 2X 3 2X 4 )Y + X 6 X 8 . Em primeiro lugar, vamos escrever f , como um elemento de K[[Y ]][X]. f (X, Y ) = (Y 5 +Y 4 )+Y 4 X+(2Y 3 2Y )X 3 2Y X 4 +(4Y 2 4Y )X 5 +(3Y +1)X 6 Y X 7 X 8 . logo, f (X, Y ) = F0 + F1 X + F2 X 2 + F3 X 3 + F4 X 4 + F5 X 5 + F6 X 6 + F7 X 7 + F8 X 8 . Queremos encontrar G e H da forma G = G0 + G1 X + G2 X 2 + . . . e H = H 0 + H 1 X + H 2 X 2 + . . . tais que, f = GH. 0) f (0, Y ) = F0 = (Y 5 + Y 4 ). Assim, Y 5 + Y 4 = G0 H0 , e podemos escolher H0 = Y 4 e G0 =
Y 5 +Y 4 Y4
= Y + 1.
1) F1 = (1 + Y )H1 + G1 Y 4 . Como F1 = Y 4 , tomamos H1 = 0 e G1 = 1. 2) 0 = F2 = (1 + Y )H2 + G2 Y 4 . Basta tomar H2 = 0 e G2 = 0. 3) 2Y 2Y 3 = F3 = (1 + Y )H3 + G3 Y 4 . Assim,

2Y 2Y 3 1+Y 2Y 2Y 3 1+Y Y = H3 + G3 1+Y . Como
4
= 2Y + 2Y 2 4Y 3 + 4Y 4 4Y 5 + 4Y 6 4Y 7 + . . ., tome H3 = 2Y + 2Y 2 4Y 3 ,
e temos G3 = 4. 4) 2Y = F4 = (1 + Y )H4 + (2Y + 2Y 2 4Y 3 ) + G4 Y 4 . Como 2Y 2 + 6Y 3 6Y 4 + . . ., tome H4 = 2Y 2 + 6Y 3 , e temos G4 = 6. 5) F5 = 4Y 2 4Y = (1 + Y )H5 + (2Y 2 + 6Y 3 ) + G5 Y 4 . Como

4Y +6Y 2 6Y 3 1+Y 2Y 2 +4Y 3 1+Y
4Y + 10Y 2 16Y 3 + 16Y 4 . . ., tome H5 = 4Y + 10Y 2 16Y 3 , e temos G5 = 16. 6) F6 = 13Y = (1+Y )H6 +(12Y +18Y 2 32Y 3 )+G6 Y 4 , como
1+9Y 18Y 2 +32Y 3 1+Y
1 + 8Y 26Y 2 + 58Y 3 58Y 4 + . . ., tome H6 = 1 + 8Y 26Y 2 + 58Y 3 e temos G6 = 58. Como se trata de sries de potncia, o processo pode continuar indenidamente. e e
1.3 Lema de Hensels Neste exemplo, aproximaes para G e H so: co a G = (Y + 1) + 1X + 0X 2 + 4X 3 6X 4 + 16X 5 58X 6 + . . . e
19
H = Y 4 + 0X + 0X 2 + (2Y + 2Y 2 4Y 3 )X 3 + (2Y 2 + 6Y 3 )X 4 + (4Y + 10Y 2 10Y 3 )X 5 + (1 + 8Y 26Y 2 + 58Y 3 )X 6 + . . . K[[X]][Y ].
1.3
Lema de Hensels
Nesta seo estabeleceremos um importante critrio de redutibilidade em K[[X]][Y ]. ca e
Denotaremos o grau de um polinmio P (X) K[[X]] por degX P (X), por convenincia o e deniremos o grau do polinmio nulo como . o O resultado abaixo, indica que o carter redut ou irredut de um elemento em a vel vel K[[X]][Y ] se mantm em K[[X, Y ]]. e Lema 1.10. Seja f K[[X]][Y ] um pseudo-polinmio. Ento f redut em K[[X, Y ]] se, o a e vel e somente se, f redut em K[[X]][Y ]. e vel Demonstrao: Suponha que f redut em K[[X, Y ]], ento, existem f1 , f2 K[[X, Y ]], ca e vel a no unidades, tais que f = f1 f2 . Como f pseudo-polinmio, segue que regular em Y , a e o e ento f1 e f2 so regulares em Y . Pelo Teorema da Preparao de Weierstrass, existem U1 e a a ca U2 unidades em K[[X, Y ]] tais que H1 = U1 f1 e H2 = U2 f2 , onde H1 , H2 so polinmios de a o Weierstrass. Tomando U = U1 U2 , temos que
Uf = (U1 f1 )(U2 f2 ) = H1 H2 K[[X]][[Y ]].
Como, f = 1f um pseudo-polinmio, segue da unicidade do Teorema da preparao de e o ca Weierstrass que U = 1. Logo, f = H1 H2 e portanto f redut em K[[X]][Y ]. e vel
1.3 Lema de Hensels
20
Lema 1.11. Sejam p e q dois polinmios no constantes relativamente primos em K[Y ] de o a grau m e n respectivamente. Dado um polinmio F K[Y ] com degY (F ) < m + n existem o dois polinmios, unicamente determinados g, h K[Y ] com degY (h) < m e degY (g) < n, o tais que F = gp + hq. Demonstrao: Como p e q so relativamente primos em K[Y ] existem polinmios , ca a o K[Y ] tais que 1 = p + q. Logo temos
F = F p + F q.
(1.1)
Do algoritmo da diviso para polinmios, temos a existncia de polinmios r e h K[Y ] com a o e o degY (h) < degY (p) = m, tais que F = pr + h. Substitu ndo (1.2) em (1.1) segue que (1.2)
F = F p + (pr + h)q = F p + prq + hq = (F + rq)p + hq.
Pondo g = F + rq, temos F = gp + hq. Note que degY (h) < m, logo resta mostar que degY (g) < n. Com efeito, como degY (F ) < m + n segue que degY (F hq) < m + n, pois degY (F hq) min{degY (F ), degY (hq)}. Assim, gp = F hq e
degY (g) + degY (p) = degY (gp) = degY (F hq) < m + n.
Como degY (g) + m < m + n, segue que degY (g) < n. Para nalizar a demonstrao basta mostrar que g e h so unicos. De fato, suponha ca a que gp + hq = g p + h q com degY (h), degY (h ) < m e degY (g), degY (g ) < n. Como p e q so a
1.3 Lema de Hensels
21
relativamente primos, e (g g )p = (h h)q, segue que p|(h h) o que implica h h = 0, pois caso contrrio, existiria t K[Y ] \ {0}, tal que h h = pt. Assim, (g g )p = ptq, ou a seja, g g = tq. Uma vez que degY (g), degY (g ) < n, temos que degY (g g ) < n. Absurdo, pois degY (qt) n, j que degY (q) = n. Logo h h = 0 implicando que h = h e g = g . a Portanto g e h so unicos. a Usando o resultado anterior, podemos apresentar o teorema abaixo conhecido como Lema de Hensel. Teorema 1.12. Seja f K[[X]][Y ] mnico, tal que f (0, Y ) = p(Y )q(Y ) onde p, q K[Y ] o so relativamente primos e no constantes de graus m e n respectivamente. Ento existem a a a dois polinmios, unicamente determinados, g, h K[[X]][Y ] de graus m e n respectivamente, o tais que f = gh, com g(0, Y ) = p(Y ) e h(0, Y ) = q(Y ). Demonstrao: Se d = degY (f ), ento como f mnico temos d = degY (f (0, Y )) = m+n. ca a e o Assim, podemos escrever f = f0 (Y ) + Xf1 (Y ) + X 2 f2 (Y ) + . . . onde f0 (Y ) = f (0, Y ) e fi (Y ) = 0 ou deg Y (fi (Y )) < d para todo i 1 Queremos determinar g(X, Y ) = p(Y ) + Xg1 (Y ) + X 2 g2 (Y ) + . . . h(X, Y ) = q(Y ) + Xh1 (Y ) + X 2 h2 (Y ) + . . . onde gi (Y ), hi (Y ) K[Y ] so nulos ou tem grau menor que m ou n, respectivamente, tais a que f = gh. Da igualdade anterior, segue para i 1, que
fi (Y ) = p(Y )hi (Y ) + g1 (Y )hi1 (Y ) + . . . + gi1 (Y )h1 (Y ) + gi (Y )q(Y ).
(1.3)
1.4 Curvas Algebrides Planas o
22
E poss resolver a equao (1.3) em gi (Y ) e hi (Y ) recursivamente, pois p(Y ) e q(Y ) so vel ca a relativamente primos. De fato, suponha que temos determinados gj (Y ) e hj (Y ) de grau menor que m e n respectivamente para todo j < i 1, ento de (1.3) temos a igualdade a
p(Y )hi (Y ) + q(Y )gi (Y ) = fi (Y ) g1 (Y )hi1 (Y ) . . . gi1 (Y )h1 (Y )
a qual, em virtude do Lema (1.12), pode ser resolvida em um unico modo em gi (Y ) e hi (Y ) de grau menor que m e n respectivamente, se no forem nulos. a
1.4
Curvas Algebrides Planas o

Nesta seo, introduziremos o objeto central deste trabalho, a saber, as curvas algeca
brides planas. o Denio 1.13. Uma curva curva algebride plana (f ) a classe de equivalncia de ca o e e elementos no-invers a veis f de K[[X, Y ]]\{0} mdulo a relao de associados, isto , o ca e (f ) = {uf ; u unidade em K[[X, Y ]]}. e
Segue da denio anterior que (f ) = (g) se, e somente se, existe uma unidade ca u K[[X, Y ]], tal que g = uf . Como a multiplicidade de uma srie de potncias invariante quando multiplicamos e e e por uma unidade, podemos denir a multiplicidade de uma curva algebride plana (f ) como o sendo a multiplicidade de f . Uma curva algebride de multiplicidade 1 ser chamada suave. Quando a multiplio a cidade maior do que 1, diremos que a curva singular. e e Seja (f ) uma curva algebride plana. Diremos que a curva (f ) irredut o e vel, se a
23
srie f irredut em K[[X, Y ]] . Note que esta noo independe do representante de (f ). e e vel ca Dada (f ) uma curva algebride plana, considere a decomposio de f em fatores o ca irredut veis em K[[X, Y ]] f = f1 f2 . . . fn . As curvas algebrides planas (fj ) para j = 1, ..., r, so chamadas ramos da curva (f ). A o a curva (f ) ser chamada reduzida, se (fi ) = (fj ) para todo i = j, isto , quando fi e fj no so a e a a associadas. Vrias propriedades de curvas algebrides planas so preservadas por mudana a o a c de coordenadas, ou seja, K-automorsmos de K[[X, Y ]]. Isto motiva a proxima denio. ca Denio 1.14. Duas curvas algebrides planas (f ) e (g) so ditas equivalentes, denoca o a tando neste caso (f ) (g), se existe um K-automorsmo de K[[X, Y ]], tal que ((f )) = (g). Em outras palavras, (f ) e (g) so equivalentes se existem um K-automorsmo e uma a unidade u K[[X, Y ]], tais que (f ) = ug. No que segue estaremos interessados em explorar propriedades de curvas algebrides o planas irredut veis, que sero denominadas simplesmente de curvas invariantes, mdulo a a o relao de equivalncia acima introduzida. ca e Observao 1.15. Dada uma srie f K[[X, Y ]]\{0}, pelo Lema (1.7), existe uma mudana ca e c de coordenadas de modo que (f ) regular em Y e deste modo, segundo o Teorema da e Preparao de Weierstrass Teorema (1.8), existe uma unidade u K[[X, Y ]] tal que u(f ) ca um polinmio de Weierstrass em Y . Desta forma, toda curva equivalente a uma outra e o e cuja srie representante um polinmio de Weierstrass em Y. e e o E natural iniciar o estudo de curvas algebrides plana irredut a partir do caso o vel suave, nesta situao temos o seguinte resultado: ca Proposio 1.16. Se (f ) e (g) so duas curvas suaves, ento (f ) (g). ca a a
1.4 Curvas Algebrides Planas o Demonstrao: Como (f ) uma curva suave, temos que mult(f ) = 1, ou seja, ca e
24
f = X + Y + h(X, Y )
com h(X, Y ) M2 , = 0 ou = 0. Se = 0, ento f regular em Y de ordem 1. Assim a e pela observao anterior, temos que ca
(f ) (Y + a(X))
com mult(a(X)) 1. Considerando a mudan de coordenadas ca : K[[X, Y ]] K[[X, Y ]] X X Y Y a(X) temos que (Y + a(X)) = Y . Deste modo, temos que (f ) (Y + a(X)) (Y ). Se = 0 e = 0, isto , f regular em X de ordem 1, ento a mudana de coordenadas e e a c : K[[X, Y ]] K[[X, Y ]] X Y Y X nos mostra que (f ) equivalente a uma curva suave cuja srie representante regular em Y e e e de ordem 1 e como antes (f ) (Y ). O mesmo argumento, permite concluir que (g) (Y ) e assim (f ) (g).
Suponha que (f ) uma curva algebride plana de multiplicidade n, ento e o a
f=
i=n
fi
onde cada fi um polinmio homogneo em K[[X, Y ]] de grau i e fn = 0. Chamamos a curva e o e
25
(fn ) de cone tangente da curva (f ). Como qualquer polinmio homogneo em K[[X, Y ]] o e em duas indeterminadas com coecientes em um corpo algebricamente fechado se decompe o em produto de fatores lineares, podemos escrever
s
fn =
i=1 s
ci (ai X + bi Y )ri
onde
i=1
ri = n, ci , ai , bi K para i = 1, ..., s e ai bj aj bi = 0, se i = j. Deste modo, o cone
tangente de (f ) consiste das formas lineares (ai X + bi Y ) com i = 1, ..., s, onde cada reta tem multiplicidade ri e so chamadas retas tangentes de (f ). a Se a curva (f ) tem multiplicidade 1, isto , se (f ) suave, ento o cone tangente (f ) e e a consiste de uma unica reta tangente de multiplicidade 1.
Cap tulo 2
Parametrizaes de Newton-Puiseux co
2.1
O Corpo de Laurent
Nesta seo, exploraremos o corpo de Laurent, objeto importante para o que seguir. ca a
Seja K((X)) o corpo de fraes do anel das sries de potncias formais em uma varivel K[[X]]. co e e a Dado h =
f g
K((X))\{0}, podemos escrever f = X m u e g = X n v, com m, n N e u e v
invers veis em K[[X]]. Assim, temos que h = X nm uv 1 = X r w onde r = n m Z e w uma unidade em K[[X]]. e Exemplo 2.1. Considere f = 2 + 3X 2 + X 4 + 5X 6 e g = X 5 + X 6 + X 7 + X 8 em C[[X]]. Ento, a h= f 1(2 + 3X 2 + X 4 + 5X 6 ) = = X 5 uv 1 5 (1 + X + X 2 + X 3 ) g X (2.1)
onde u = 2 + 3X 2 + X 4 + 5X 6 , v = 1 + X + X 2 + X 3 e v 1 = 1 X + X 4 X 5 + X 8 + . . ., este ultimo pode ser obtido como na demonstrao da Proposio 1.1. ca ca Logo, h = X 5 (2 + 3X 2 + X 4 + 5X 6 )(1 X + X 4 X 5 X 8 + . . .) h = X 5 (2 2X + 3X 2 3X 3 + 3X 4 3X 5 + 8X 6 8X 7 X 8 X 9 + . . .)
2.1 O Corpo de Laurent Portanto, h= 2 3 3 3 2 4+ 3 2+ 3 + 8X 8X 2 X 3 X 4 + . . . 5 X X X X X
27
Da equao (2.1) e do exemplo acima, segue que qualquer elemento h de K((X)) ca pede ser expresso da forma h = am X m + am+1 X m+1 + . . . + a1 X 1 + a0 + a1 X + a2 X 2 + . . .
onde m N e ai K para todo i m. Denimos a multiplicidade de h como mult(h) = m, pondo mult(0) = . Os elementos de K((X)) so chamados sries de potncias formais de a e e Laurent. Alm disto, note que K((X)) um corpo, Chamado de Corpo de Laurent. e e Proposio 2.2. Se T um K-automorsmo de K((X)), ento T (X) = X.u(X), onde ca e a u K[[X]] com u(0) = 0. Demonstrao: ca Seja T (X) = X r u(X), r Z e u K[[X]] unidade. Como T um e
homomorsmo temos T (X + X 2 + . . .) = T (X) + T (X 2 ) + . . . = X r u(X) + X 2r u(X 2) + . . . .
Se r < 0, temos que T (X + X 2 + . . .) K((X)). Absurdo, pois T um automorsmo. Logo, e r 0. Como T K-automorsmo, existe T 1 denido por T 1 (X) = X s v(X), s 0 e e v(X) unidade em K[[X]], tal que X = T T 1(X) = T (X s v(X)) = X rs v(X)r u(X s v(X)) = X rs w(X)
onde w(X) K[[X]] unidade. Assim, rs = 1 e w(X) = 1, segue que r = s = 1.
2.2 Teorema de Newton-Puiseux
28
2.2
Teorema de Newton-Puiseux
Uma vez que qualquer curva plana equivalente a uma denida por um polinmio e o
de Weierstrass em K[[X]][Y ], de grande utilidade determinar as ra deste polinmio no e zes o fecho algbrico de K[[X]][Y ]. No que segue, vamos considerar char(K) = 0 e denotaremos por e K((X)) o fecho algbrico de K((X)). Claramente, K((X)) deve conter as ra da equao e zes ca Y n X = 0 para todo inteiro positivo n, consequentemente deve conter os elementos da forma X 1/n . Deste modo, obtemos extenses K((X 1/n )) de K[[X]]. Denotaremos por Un , o o grupo multiplicativo das n-simas ra da unidade em K. Este grupo c e zes e clico e tem ordem n. Proposio 2.3. Temos que K((X 1/n )) K-isomorfo a K((X)). ca e Demonstrao: Dena a aplicao ca ca : K((X 1/n )) ai X i/n
ii0
K((X)) ai X i .
ii0
1) um K-homomorsmo. De fato, sejam f = e

im
ai X i/n e g =
jr
bj X j/n sries em e
K((X 1/n )), sem perda de generalidade suponha r < m, Assim, ai X i/n +
im jr
bj X i/n
=
im
ci X i/n
onde ci = ai + bi e bi = 0 se i < r, ou seja, ci X i/n

im
=
im
ci X i =
(ai + bi )X i =
im im
ai X i +
jr
bj X j = (f ) + (g).
2.2 Teorema de Newton-Puiseux Agora, sejam f, g K((X)), observe que ai X i/n

im jr
29
(f g) =
bj X j/n
=
k=0
ck X (i+j)/n
=
k=0
ck X i+j
onde ck =
k=0 t=0
ak bkt . Por outro lado,
(f ).(g) =
im
ai X i .
jr
bj X j =
k=0
ck X i+j ,
onde ck =
k=0 t=0
ak bkt . Portanto,
(f g) = (f ).(g).
Seja K e observe que ai X i/n

im
(f ) =
=
im
ai X i/n
=
im
ai X i =
im
ai X i = (f ).
Portanto, pelo que foi apresentado acima, um K-homomorsmo. e 2) injetora. De fato, se (f ) = (g), ento e a ai X i =
im jr
bj X j .
Multiplicando ambos os lados por X 1/n , temos

im
ai X i/n =
jr
bj X j/n , ou seja, f = g. di X i . Logo, basta

im
3) sobrejetora. De fato, seja h K((X)), ento h = e a tomar f K((X)) tal que f =

im
di X
i/n
, e teremos (f ) = h.
Portanto, pelos itens apresentados acima, conclu mos que um K-isomorsmo. e
30
Segue da Proposio (2.2), que qualquer K-automorsmo de K((X 1/n )) tal que ca e (X 1/n ) = b X 1/n para algum b K \ {0}. Lema 2.4. A extenso de corpos K((X 1/n )) : K((X)) nita e Galoisiana, com grupo de a e Galois G isomorfo ao grupo Un . Demonstrao: Seja K((X 1/n )) : K((X)) um K((X))-automorsmo. Logo, (X 1/n ) = ca b X 1/n , para algum b K \ {0}. Note ainda que, bn X = (b X 1/n )n = ((X 1/n ))n = ((X 1/n )n ) = (X) = X, pois xa os elementos de K((X)). Logo, bn = 1. Portanto, b Un e assim G nito com n elementos. e Tome h : G Un uma aplicao denida por h() = b , onde (X 1/n ) = b X 1/n . ca Mostraremos que h denida dessa forma um isomorsmo de grupos. e Sejam , G, ento a b X 1/n = (X 1/n ) = (b X 1/n ) = b (X 1/n ) = b b X 1/n = b b X 1/n ,
assim b = b b . Logo, h( ) = b = b b = h()h(). Portanto, h homomorsmo de e grupos. Temos que h injetora. De fato, dados , G suponha que h() = h(), ou seja, e b = b . Vamos mostrar que = . Seja
i
ai X i/n K((X)), com ai K ento, a
(
i
ai X i/n ) =
i
ai (X i/n ) =
i
ai b X i/n =
i
ai b X i/n =
i
ai (X i/n ) = (
i
ai X i/n ).
Logo, = . Portanto h injetora. e Resta mostrar que h sobrejetora. Uma vez que b Un depende de , ou seja, para e todo b Un existe G tal que h() = b , temos o desejado e com isso segue que h um e
2.2 Teorema de Newton-Puiseux isomorsmo de grupos.
31
Para concluirmos a prova, devemos mostrar que o unico corpo xado pelos elementos de G K((X)). e Suponha que
i
ai X i/n K((X 1/n )) invariante pela ao dos elementos de G, isto e ca
, dado G temos e ai X i/n = (

i i
ai X i/n ) =
i
ai (X i/n ) =
i
ai i X i/n ,
ou seja,
i
ai X i/n =
i
ai iX i/n , para todo Un . Logo, ai = ai i para todo i. Assim,
temos duas situaes: co Se ai = 0, ento a

i i
ai X i/n = 0 K((X)).
Se = 1. Como i Un temos que i = nt, onde t Z. Assim, ai X i/n =

i t
ant X nt/n =
t
ant X t K((X)).
Portanto, o corpo xado por G K((X)), o que conclui a prova. e
O lema acima nos mostra que os corpos K((X 1/n )) esto todos contidos em K((X)). a Assim, podemos denir K((X)) =
n1
K((X 1/n )) K((X)).
Os elementos de K((X)) podem ser escritos da forma
pi
=
i=1
bi X qi
2.2 Teorema de Newton-Puiseux com

pi qi
32
<
pi+1 , qi+1
bi K, pi , qi Z, qi > 0 ,para todo i e o conjunto {pi /qi ; i N \ {0}} admite
um denominador comum. Se b1 = 0, ento o nmero racional a u

p1 q1
chamado de multiplicidade de e denotado e
por mult(). Por comodidade denimos mult(0) = . Claramente, dados , K((X)) , temos mult(.) = mult() + mult() e que mult() min{mult(), mult()}, com igualdade vlida sempre que mult() = mult(). a Lema 2.5. Temos que K((X)) um subcorpo de K((X)). e Demonstrao: ca Sejam f, g K((X)) , ento existem r, s N tais que f K((X 1/r )) e a
g K((X 1/s )), temos que K((X 1/r )) K((X 1/rs )), pois bi X i/r =
i i
f=
bi (X i/rs )s K((X 1/rs )).
Do mesmo modo, g K((X 1/rs )). Como K((X 1/rs )) corpo segue que f + g, f.g, f /g K((X 1/rs )) K((X)) , este e ultimo quando g = 0.
Antes de apresentarmos o principal resultado desta seo, introduzimos um lema que ca ser utilizado na demonstrao do mesmo. a ca Lema 2.6. Seja K um corpo algebricamente fechado de caracter stica zero e n 2. Se P (Y ) = Y n + a2 Y n2 + ... + an K[Y ], tal que ai = 0 para algum i = 1, ..., n, ento P (Y ) admite duas ra distintas em K. e a zes Demonstrao: Como K algebricamente fechado temos que K contm todas as ra de ca e e zes
2.2 Teorema de Newton-Puiseux P (Y ). Logo, P (Y ) = (Y 1 )(Y 2 )...(Y n )
33
onde i K com i = 1, ..., n so as ra a zes de P (Y ). Suponha por absurdo que P (Y ) no a admita duas ra zes distintas, ou seja, todas as ra zes de P (Y ) sejam iguais, isto , i = e para i = 1, ..., n. Logo, P (Y ) = (Y 1 )(Y 2 ) . . . (Y n ) = (Y )n .
Assim, Y n + 0.Y n1 + . . . + an = P (Y ) = (Y )n , ou seja, ai = (1)i n i e a1 = n = 0. Como n 2 e char(K) = 0, segue que = 0, i ou ai = 0 para todo i = 1, ..., n, um absurdo.
Teorema 2.7. (Newton-Puiseux) Temos que K((X)) = K((X)) .
Demonstrao: No Lema (2.5) mostramos que K((X)) K((X)). Basta mostrar a outra ca incluso. Do Lema (2.4) temos que cada extenso K((X 1/n )) : K((X)) nita, portanto, a a e algbrica. Logo, para todo K((X)) existe p(Y ) K((X))[Y ], tal que p() = 0. e Sendo assim, basta provar que K((X)) algebricamente fechado. Como em um e corpo algebricamente fechado os unicos polinmios irredut o veis so os polinmios de grau 1. a o Mostraremos que todo polinmio em K((X)) [Y ] de grau maior ou igual a dois redut o e vel. Seja p(X, Y ) = a0 (X)Y n + a1 (X)Y n1 + ... + an (X) K((X)) [Y ] com n 2 e a0 (X) = 0. Podemos, sem perda de generalidade, supor que a0 (X) = 1.
34
Usaremos uma mudana de varivel para eliminar em p(X, Y ) o termo de grau n 1 c a em Y . Isto feito considerando o K((X)) -isomorsmo e : K((X)) [Y ] K((X)) [Z] Y Z n1 a1 (X).
Denotemos, q(X, Z) = (p(X, Y )) = p(X, Z n1 a1 (X)) = = (Z n1 a1 (X))n + a1 (X)(Z n1 a1 (X))n1 + . . . + an (X). Como (Z n1 a1 (X))n = Z n nZ n1 n1 a1 (X) + = Z n a1 (X)Z n1 + . . . e a1 (X)(Z n1 a1 (X))n1 = a1 (X)Z n1 (n 1)Z n2 n1 a1 (X)2 + . . . temos que q(X, Z) = Z n + b2 (X)Z n2 + ... + bn (X). Se bi (X) = 0 para todo i = 2, ..., n, teremos que q(X, Z) = Z n que redut em K((X)) [Z] e vel e portanto p(X, Y ) redut em K((X)) [Y ]. e vel Agora suponha que existe um ndice i tal que bi (X) = 0. O prximo passo ser o a executar outra mudana de varivel, transformando q(X, Z) em um elemento de K[[W ]] [Z]. c a Antes disso, denotamos por ui a multiplicidade de bi (X) e dena ui ;2 i n . i
ur r
u = min
Seja r com 2 r n, um ndice para o qual atingimos u, ou seja, u = aplicao ca : K((X)) [Z] K((W )) [Z] f (X, Z) f (W r , ZW ur ).
e considere a
Observe que um isomorsmo de K-lgebras que preserva o grau do polinmio e a o
2.2 Teorema de Newton-Puiseux em Z.
35
h(W, Z) = = = = = Assim,
W nur (q(X, Z)) W nur q(W r , ZW ur ) W nur ((ZW ur )n + b2 (W r )Z n2 W nur 2ur + . . . + bn (W r )) Z n + b2 (W r )Z n2 W 2ur + . . . + bn (W r )W nur Z n + (b2 (W r )W 2ur )Z n2 + . . . + bn (W r )W nur
h(W, Z) = Z +
i=2
ci (W )Z
ni
com ci (W ) = bi (W r )W iur . Temos que mult(ci (W )) = mult(bi (W r )W iur ) = mult(bi (W r )) iur .
Como ui = mult(bi (X)), temos mult(bi (W r )) = mult(bi (W )r ) = r.mult(bi (W )) = r.ui .
Logo, mult(ci (W )) = rui iur 0. De fato, suponha que exista 2 i n tal que rui iur < 0, ento rui < iur , ou seja, a n}. Note que cr (0) = 0, pois quando i = r temos mult(cr (W )) = 0. Observe tambm e que ci (W ) K[[W ]] =
j1 ui i
<
ur r
= u. Um absurdo, pois u = min{ uii ; 2 i
K[[W j/n ]], para 2 i n. Deste modo, existe um inteiro k tal

n
que h(W , Z) = Z +
i=2 k n
ci (W k ).Z
ni
K[[W ]][Z].
Uma vez que ci (W ) K[[W 1/pi ]], temos que k = mmc(p1 , ..., pn ).
36
Como cr (0) = 0 e a caracter stica de K zero, temos pelo Lema (2.6) que o polinmio e o
n n
ni
h(0, Z) = Z +
i=2
ci (0).Z
K[Z]
tem pelo menos duas ra zes distintas em K. Logo, h(0, Z) = p(Z).q(Z) e, pelo Lema de Hensel Teorema (1.12), existem h1 (W, Z), h2 (W, Z) K[[W ]][Z] de grau maior ou igual a um em Z, onde h1 (0, Z) = p(Z) e h2 (0, Z) = q(Z), tais que h(W k , Z) = h1 (W, Z)h2 (W, Z).
Disto, segue que (q(X, Z)) = W nur h(W, Z) = W nur h((W k )1/k , Z) = W nur h1 (W 1/k , Z)h2 (W 1/k , Z).
Como isomorsmo, temos que: e q(X, Z) = 1 (W nur ) 1 (h1 (W 1/k , Z)) 1 (h2 (W1/k , Z)). e 1 (h1 (W 1/k , Z)) = q1 (X, Z) e 1 (h2 (W 1/k , Z)) = q2 (X, Z) so polinmios em Z de grau a o maior ou igual a um, consequentemente q(X, Z) redut em K((X)) [Z]. e vel Agora, denotando q0 (X, Z) = 1 (W nur ) e aplicando o K((X)) -isomorsmo 1 temos: p(X, Y ) = 1 (q(X, Z)) = 1 (q0 (X, Z))1 (q1 (X, Z))1 (q2 (X, Z)), ou seja, p(X, Y ) redut em K((X)) [Y ]. Portanto, K((X)) algebricamente fechado e e vel e como K((X)) K((X)) o resultado segue.
Vamos explorar algumas consequncias do teorema acima. e
37
Como o grupo de Galois da extenso K((X 1/n )) : K((X)) isomorfo a Un , Lema a e (2.4), temos que um elemento de Un age sobre um elemento =
i
bi X i/n de K((X 1/n ))
do seguinte modo: =
i
bi (X 1/n )i =
i
bi i X i/n .
Lema 2.8. Sejam K((X)) \ K((X)) e n = min{q; K((X 1/q ))}. Considerando como um elemento de K((X 1/n )), temos que = para todo , Un com = . Demonstrao: Como K((X)), temos que n 2. Considere K((X 1/n )) dado por ca = (X 1/n ) =
ii0
bi X i/n . Note que,
=
ii0
bi (X 1/n )i =
ii0
bi i X i/n = (X 1/n ).
=
ii0
bi (X 1/n )i =
ii0
bi i X i/n = (X 1/n ).
Suponha, por absurdo, que (X 1/n ) = (X 1/n ). Neste caso, i bi = i bi para todo i e consequentemente i = i para todo i, desde que bi = 0. Seja d = mdc(n, i0 , i1 . . .) para os ndices ij tais que bi = 0. Temos que, d = 1. De fato, suponha que d = 1, como d = mdc(n, i0 , i1 . . .), ter amos que n = d.n e is = drs para todo s 0. Logo, =
ii0
bi X i/n =
ii0
bi X dri /dn =
bi X
ii0
ri /n
K((X
1/n
)). Mas n = n/d < n, o que um absurdo, pois n = min{q; e
K((X 1/q ))}. Sendo assim, segue que existem bi1 = 0, ..., bik = 0 e v, v1 , ..., vk Z, tais que vn + v1 i1 + . . . + vk ik = 1. Como , Un e i = i para todo i, segue que 1 = vn+v1 i1 +...+vk ik = ( n )v . . . ( ik )vk = (n )v . . . (ik )vk = vn+v1 i1 +...+vk ik = 1 , ou seja, = . Absurdo, pois por hiptese = . Portanto, = . o
O prximo resultado descreve a extenso algbrica principal de K((X)) determinada o a e
38
por , isto , o corpo K((X))(), obtido pela adjuno do elemento algbrico ao corpo e ca e K((X)) . Nessa situao, sabemos que ca
K((X))() = K((X))[] = {p(); p K((X))[Y ]}. Teorema 2.9. Seja K((X)) \ K((X)) e escreva = (X 1/n ) =
ii0
bi X i/n onde n =
min{q; K((X
1/q
))}. Ento, a
i) K((X))[[]] = K((X 1/n ));

n
ii) O polinmio minimal de sobre K((X)) dado por g(X, Y ) = o e

i=1
(Y i ). onde
i = ( i X 1/n ) para algum gerador xo do grupo Un ; iii) Temos que g(X, Y ) = Y n +a1 (X)Y n1 +...+an (X) K((X))[Y ], onde mult(ai (X))
(X) i.mult() = i.mult( ann ), em particular, se mult() 1 (respectivamente mult() > 0),
ento g(X, Y ) K[[X]][Y ] ser um polinmio de Weierstrass (respectivamente um pseudoa a o polinmio). o Demonstrao: ca Para mostrar (i), observe que K((X))[] K((X 1/n )), pois dado
K((X))[], temos que = a0 (X) + a1 (X) + a2 (X)2 + ... + ar (X)r onde ai (X) K((X)) K((X 1/n )) e =
ii0
bi X i/n K((X 1/n )). Como K((X 1/n )) corpo, e
segue que K((X 1/n )). Observe agora as seguintes extenses de corpos e seus respectivos grupos de Galois. o K((X 1/n ))
G G K((X))[] K((X))
39
Tome G , como K((X))[], segue que = = Id , pelo Lema (2.8), segue que = Id para todo G , logo G = {Id} e assim, |G | = 1. Dessa forma, [K((X 1/n )) : K((X))[]] = |G | = 1, ou seja, K((X 1/n )) = K((X))[] como quer amos. Para demonstrar (ii) observe que g(X, Y ) mnico e que i = ( iX 1/n ) = i , e o onde Un = { j ; j = 1, ..., n}, ou seja, cada i obtido de pela ao de um elemento de G. e ca Assim,
n

g(X, ) =
i=1
( i ) = ( 1 ).( 2 ) . . . ( n ).
Mas, n = n = 1 = ;. Logo, g(X, ) = 0. Resta mostrar que g(X, Y ) irredut e vel. Pelo Lema (2.4) temos que G isomorfo a Un , segue assim que n = |G| = degY (g(X, Y )), e
n
pois g(X, Y ) =
i=1
(Y i ). Por outro lado, como a extenso nita e char(K((X))) = 0, a e
segue do teorema fundamental da teoria de Galois, que |G| = [K((X))[] : K((X))] = deg(m ), onde m o polinmio minimal de . Assim, deg(m ) = n = degY (g(X, Y )), e o seguindo assim que g(X, Y ) irredut e g(X, Y ) = m . e vel Resta mostrar (iii). Denotemos por Si (z1 , . . . , zn , para i = 1, . . . , n, o polinmio o simtrico elementar de grau i nas variveis Z1 , . . . , Zn , ou seja, e a
Si (Z1 , . . . , Zn ) = J {1, . . . , n} J = i
jJ
Zj .
Temos que os coecientes de g(X, Y ) so dados por ai (X) = (1)i Si (1 , . . . , n ) K((X)). a
2.2 Teorema de Newton-Puiseux Deste modo,
40
mult(ai (X)) = mult(Si ) = mult J {1, . . . , n} J = i Em particular, mult(an (X)) = mult(Sn ) = mult
j minJ {mult( j )}. jJ jJ j . Mas, do item (ii) temos que
j{1,...,n}
mult(j ) = mult(( j X 1/n )) = mult( j (X 1/n )) = mult((X 1/n )) = mult(), para todo j = 1, . . . , n e i Un . Assim,
mult J J J = i Logo,
= mult(1 ) + . . . + mult(i ) = imult(). an (X) n
mult(ai (X)) minJ {mult(

jJ
j )} = i.mult() = i.mult
Observe que a igualdade ocorre quando i = n. Se mult() 1, ento mult(ai (X)) i.mult() i, ou seja, g(X, Y ) um polinmio a e o de Weierstrass. Por outro lado, se mult() > 0, temos que mult(ai (X)) i.mult() > 0 para todo i e g(X, Y ) um pseudo-polinmio. e o
Como consequencia do teorema anterior, temos a descrio das ra de um polinmio ca zes o de Weierstrass. Corolrio 2.10. Seja f K[[X]][Y ] um polinmio mnico irredut de grau n 1 e seja a o o vel
2.2 Teorema de Newton-Puiseux K((X)) uma raiz qualquer de f . Ento, a i) min{q; K((X 1/q ))} = n.
n
41
ii) Sendo os i s do Teorema (2.9), temos que f (X, Y ) =

i=1
(Y i ).
iii) Se f K[[X]][Y ] um polinmio de Weierstrass (respectivamente um pseudoe o polinmio), ento mult() 1 (respectivamente mult() > 0). Em particular, K[[X 1/n ]]. o a Demonstrao: ca Pelo Teorema (2.9), se = (X 1/p ) K((X)) com p = min{q;
K((X 1/q ))}, ento temos que o polinmio minimal de tem grau p, mas como f se anula em a o mnico e irredut e o vel, segue que f o polinmio minimal de , assim p = n = degY (f ). e o Os itens (ii) e (iii) seguem diretamente do item anterior e do Teorema (2.9).
Corolrio 2.11. (Teorema da funo impl a ca cita de Newton) Seja f (X, Y ) K[[X, Y ]] irrenf dut de multiplicidade n e suponha que vel (0, 0) = 0, ento existe (X 1/n ) K[[X 1/n ]] a Y n tal que f (X, (X 1/n )) = 0. Alm disso, qualquer K[[X 1/n ]] satisfazendo f (X, ) = 0 e e da forma = (X 1/n ) para algum Un . Demonstrao: ca nf = 0 e f (X, Y ) tem multiplicidade n, temos que f (X, Y ) e Y n regular de ordem n com respeito a Y . Segue do Teorema da Preparao de Weierstrass que ca Como existem U K[[X, Y ]] invers e A1 , A2 , . . . , An K[[X]] unicamente determinados tais que vel f.U = Y n + A1 (X)Y n1 + . . . + An (X) K[[X]][Y ],
com mult(Ai (X)) i para todo i = 1, . . . , n. Como f irredut em K[[X, Y ]] segue que f U tambm irredut em K[[X, Y ]] e vel e e vel e pelo Lema (1.10), segue que f.U irredut em K[[X]][Y ]. Tome K((X)) uma raiz e vel qualquer de f.U. Como f.U mnico, segue do Corolrio (2.10), que K[[X 1/n ]]. Como e o a U invers e f (X, ).U(X, ) = 0, segue que f (X, ) = 0. e vel
2.3 Parametrizao de Newton-Puiseux ca
42
Sabemos que o grupo de Galois G da extenso K((X 1/n )) : K((X))) isomorfo a a e

n
Un , pelo item (ii) do Corolrio (2.10), temos que f (X, Y ) = a ( iX 1/n ) com i Un .
i=1
(Y i ), onde i = i =
Observao 2.12. Como o anel K[[X]] um dom ca e nio de fatorao unica com corpo de ca fraes K((X)), segue do Lema de Gauss, que todo polinmio irredut co o vel em K[[X]][Y ] e irredut em K((X))[Y ]. vel
2.3
Parametrizao de Newton-Puiseux ca
Os resultados da seo anterior permitem introduzir a noo de parametrizao de ca ca ca
ramos planos.
Seja f =
i=n
Fi K[[X, Y ]] irredut com Fi K[[X, Y ]] homogneo de grau i e vel e
Fn = 0. Pelo Lema (3.3), temos que Fn = (aX + bY )n , com a, b K no simultaneamente a nulos. Se f regular em Y , ento podemos escrever e a f = a0 Y n + a1 Y n1 + . . . + an + Y n+1 .h(X, Y ),
(2.2)
com ai K[[X]], mult(ai ) i para todo i = 1, . . . , n, a0 (0) = 0 e h(X, Y ) K[[X, Y ]]. Proposio 2.13. Seja f K[[X, Y ]] uma srie de potncias irredut de multiplidade n e ca e e vel regular em Y . Escrevendo f como em (), temos que as seguintes condies so equivalentes: co a i) O cone tangente de (f ) (Y n ); e ii) Para todo i 1, temos mult(ai (X)) > i; Demonstrao: i) ii) Suponha que (Y n ) o cone tangente de (f ), ento f regular em ca e a e
2.3 Parametrizao de Newton-Puiseux ca Y . Assim, f pode ser escrito na forma f = a0 Y n + a1 Y n1 + ... + an + Y n+1 .h(X, Y ),
43
com ai K[[X]], a0 unidade, h(X, Y ) K[[X, Y ]] e mult(ai ) i para todo i = 1, ..., n. Devemos ter mult(ai ) > i, para todo i = 1, ..., n, pois caso contrrio, o cone tangente de f a no seria (Y n ). a ii) i) Imediato.
Note que a proposio anterior no depende da caracter ca a stica do corpo K. Sejam f K[[X, Y ]] irredut de multiplicidade n e regular em Y como em (2.13), vel p(X, Y ) K[[X]][Y ] um polinmio de Weierstrass de grau n associado a f como em (??) o e = (X 1/n ) K[[X 1/n ]] onde n = min{q N; K((X 1/q ))} tal que, p(X, ) = p(X, (X 1/n )) = 0. Se denotarmos T = X 1/n , ento temos (T ) K[[T ]] e a f (T n , (T )) = U 1 (T n , (T ))p(T n , (T )) = 0.
Neste caso, dizemos que
com bm K \ {0}, uma parametrizao de Newton-Puiseux para o ramo (f ). Note e ca que qualquer outra raiz de p(X, Y ) fornece outra parametrizao (T n , (T )) para (f ) onde ca (T ) = (T ), com uma raiz n-sima da unidade. Alm disto, como vimos estas so as e e a unicas parametrizaes de (f ) da forma (T n , (T )). co Observe que a condio n = min{q N; K((X 1/q ))} e f (X, ) = 0 indica que ca
X = Tn Y = (T ) =
bi T i
i=m
(2.3)
44
uma Parametrizao de Newton-Puiseux como em (2.3), n e os ca ndices i s para os quais bi = 0, so relativamente primos (ver demonstrao do Lema 2.8). a ca Note tambm que pelo Teorema 2.9, item (iii) e pelo Lema anterior, temos que e multT ((T )) = multX ((X 1/n )n ) = nmultX () n. Em particular, se o cone de (f ) (Y n ), ento pela Proposio 2.13 temos e a ca
multT ((T )) = multX (an (X)) > n. Como = (X 1/n ) =

i=m
bi X i/n com bm = 0, segue que multX () =
m . n
Assim, multT ((T )) =
n.multX () = m. Se f regular em X, ento temos os mesmos resultados apresentados, apenas troe a cando o papel de X por Y . Uma questo natural que surge : Como obter uma parametrizao de Newtona e ca Puiseux para uma srie f (X, Y ) K[[X, Y ]] irredut dada? Nosso prximo passo ape vel o e resentar um algoritmo introduzido por Newton que permite responder tal questo. Antes a porm, vamos apresentar um conceito que nos auxiliar na conquista de nosso objetivo. e a Denio 2.14. Seja f (X, Y ) = ca
,
c X Y K[[X, Y ]]. Chamamos de Pol gono de
Newton de f a poligonal convexa determinada pelos lados L1 , L2 , ..., Lr R2 satisfazendo + as seguintes propriedades: 1) Para todo Li , existe (i , i ) com ci i = 0 que pertence a Li ou se localiza acima de Li . 2) Existe ao menos um par (i , i ) e (j , j ) que pertencem a cada Lk , com ci i .cj j = 0. 3) Nenhum par (, ) com c = 0 se localiza abaixo de algum Li .
45
Podemos tambm denir o Pol e gono de Newton de f como sendo a poligonal convexa que delimita o fecho convexo em R2 do conjunto S = {(, ); c = 0}. + Exemplo 2.15. Seja f (X, Y ) = Y 4 2X 3 Y 2 + 4X 4 Y X 5 + X 6 . O pol gono de Newton de f e
4 2 1 3 4 5 6
Figura 2.1
No que segue, vamos apresentar um algoritmo para obter uma parametrizao de ca Newton-Puiseux de uma curva (f ) utilizando seu Pol gono de Newton. Teorema 2.16. (Mtodo de Newton) Existe um algoritmo que permite obter uma parametrizae co de Newton-Puiseux de uma curva (f ) at a ordem desejada. a e Demonstrao: ca A demonstrao consiste em exibir etapas que permitem obter uma ca
parametrizao de Newton-Puiseux para uma curva (f ) a partir de um representante, que ca em virtude da Observao (1.15), pode ser considerado como um polinmio de Weierstrass ca o no nulo a f (X, Y ) = Y n + a1 (X)Y n1 + ... + an (X). Lembremos que uma parametrizao de Newton-Puiseux obtida de uma raiz y K((X)) ca e de f (X, Y ). Escrevamos y = c1 X 1 + c2 X 1 +2 + c3 X 1 +2 +3 + . . . ,
46
com ci = 0, e i Q+ . Se escrevermos y = X 1 (c1 + y1 ) com y1 = c2 X 2 + c3 X 2 +3 + . . ., ento temos a 0 = f (X, y) = f (X, X 1 (c1 + y1 )) = (X 1 (c1 + y1 ))n + a1 (X)(X 1 (c1 + y1 ))n1 + . . . + an (X).
Como
l
(c1 + y1 ) =
i=0
l i
i y1 cli = cl + h(y1 ) 1 1
com h(0) = 0, ento 0 = f (X, Y ) se expressa como a

n1 n2 0 = X n1 cn + a1 (X)X (n1)1 c1 + a2 (X)X (n2)1 c1 + . . . + an (X) + g(X, y1), 1
onde cada termo de g(X, y1) tem ordem maior que a ordem de um termo da forma ai (X)X i1 ci , 1 para i = 1, ..., n. De fato, denotando
n2 n1 h1 (X) = X n1 cn + a1 (X)X (n1)1 c1 + a2 (X)X (n2)1 c1 + . . . + an (X), 1
temos ai (X)(X 1 (c1 + y1 ))i = ai (X)X i1 (ci + h(y1 )) = ai (X)X i1 ci + ai (X)X i1 h(y1 ). 1 1 Assim, um termo qualquer de g(X, y) um termo em ai (X)X i1 h(y1 ) e e multX (ai (X)X i1 h(y1 )) = i + i1 + multX (h(y1 )) > i + i1 = multX (ai (X)X i1 ci ), 1 onde i = multX (ai (X)) e c1 K \ {0}. Para que y seja raiz de f (X, Y ) devem haver ao menos dois termos da forma ai (X)X i1 ci 1 que se cancelam. Em particular, que atingem a menor ordem em h1 (X), ou seja, existem j
2.3 Parametrizao de Newton-Puiseux ca e k tais que j + j1 = k + k1 i + i1
47
para todo i = 1, ..., n Alm disso, se ai (X) = bi X i + . . . com bi = 0, ento a soma dos e a coecientes de todos os termos da forma ai (X)X i1 ci que atingem a menor ordem deve ser 1 zero. Logo, p(c1 ) =
i +i1 =j +j1
bi ci = 0 1
(2.4)
Note que os monmios que formam p(c1 ) so na verdade os coecientes dos termos o a que compe o cone tangente de h1 (X). o Para determinar 1 usaremos o pol gono de Newton de h1 (X) , onde
n1 n2 h1 (X) = cn + a1 (X)c1 + a2 (X)c1 + . . . + an (X). 1
Note que cada lado do pol gono de Newton considerado, contm ao menos dois pontos (j , j) e e (k , k). Alm disso, o coeciente angular da reta suporte deste segmento m = e e Assim, k 1 1 k = j j. m m
kj . k j
Isto sugere um modo de obter os poss veis valores para 1 , a saber, estaro entre os valores a
1 , m
onde m um coeciente angular da reta suporte de um segmento que compe o pol e o gono
de Newton de h1 (X). Como queremos obter 1 e este tal que e
j + j1 i + i1
para todo i = 0, . . . , n, temos que i j ji 1 1 ji 1 = m 1 . ji i j 1 1 j i m
2.3 Parametrizao de Newton-Puiseux ca Deste modo escolhemos 1 =

1 , m
48
onde m o menor coeciente angular dos segmentos que e
compem o pol o gono de Newton de h1 (X), considerando nas variveis c1 e X que coincide com a o pol gono de Newton de f (X, Y ). Deste modo, obetemos 1 e consequentemente podemos obter o polinmio p(c1 ) exibido em (2.4). o Como o polinmio p(c1 ) contm ao menos dois termos (os associados aos extremos o e do segmento de menor inclinao no pol ca gono de Newton) e K algebricamente fechado, o e polinmio p(c1 ) possui ao menos uma raiz no nula, que tomamos como valor de c1 . o a Tendo obtido c1 e 1 , podemos obter ci e i do mesmo modo, observando que devemos ter i > 0. De fato, para determinar c2 e 2 , lembremos que y = c1 X 1 + c2 X 1 +2 + . . . = X 1 (c1 + Y1 ), onde y1 = c2 X 2 + c3 X 2 +3 + . . .. Assim, 0 = f (X, y) = f (X, X 1 (c1 + y1 )) = h1 (X) + g1 (X, y1 )
onde h1 (X) formado por termos em X e c1 . Como observamos anteriormente temos que e em g1 (X, y1 ) todos os termos tem ordem em X maior do que um termo de h1 (X). Considere 1 = min{i +i1 }. Assim, podemos escrever 0 = f (X, y) = X 1 f1 (X, y1 ). Assim, basta repetir o argumento para f1 (X, y1 ) tomando y1 = X 2 (c2 + y2 ), onde y2 = c3 X 3 + c4 X 3 +4 + . . .. Agora devemos garantir que as condies mencionadas sobre y se concretizam. Inico cialmente vamos mostrar que o menor coeciente angular do pol gono de Newton de f1 (X, y) negativo, ou seja, 2 ser positivo. Alm disso, devemos garantir que y K((X 1/n )) para e a e algum n N , ou seja, deve haver i tal que para todo j com j > i os denominadores de i e j sejam iguais.
49
Considere o pol gono de Newton de f1 (X, Y ), mais especicamente o lado com o menor coeciente angular e sejam (i , i) e (k , k) os pontos extremos deste lado, tal que i > k. Assim, 1 = i + i1 = k + k1 . O pol gono de Newton ter um lado (segmento) da a forma
i k i k
Figura 2.2
i ou k k i
Temos 1 =
k i ik
= p , com mdc(p, q) = 1. q
Sem perda de generalidade podemos considerar q > 0. Note que se (l , l) pertence ao lado de extremos (i , i) e (k , k), ento a mk ml p = 1 = . ml k q E como q p, temos que q|(l k). Logo, l = k + qrl e como l k e q > 0, temos que rl 0. Desta forma, podemos escrever p(c1 ) como bj cj , 1
j +j1 =1
p(c1 ) =
onde j = k + qrj . Assim,

k+qrj
p(c1 ) =
j
bj c1
= ck 1
j
bj (cq )rj = ck (cq ). 1 1 1
(2.5)
Observe que o grau de p(c1 ) em c1 i, pois i j k para todo e ndice j tal que
50
1 = i + i1 = j + j1 . Como i o extremo do lado de menor coeciente angular do e pol gono de Newton, podemos escrev-lo como i = k + qri . Deste modo, (cq ) tem grau em e 1 cq igual a ri . Como i > k, q > 0 e ri = 1
ik , q
temos que o grau de (cq ) em cq positivo e 1 1 e
(0) = 0, pois k = k + qrk o que implica que rk = 0. Agora, se c1 uma raiz de multiplicidade e 1 de (z q ), ento podemos escrever e a (z q ) = (z c1 )e (z)
(2.6)
com (c1 ) = 0. Alm disto, note que e f1 (X, y1 ) = X 1 f (X, X 1 (c1 +y1 )) = X 1 (an (X)+an1 (X)X 1 (c1 +y1 )+. . .+X n1 (c1 +y1 )n ) = X 1
j +j1 =1
aj (X)X j1 (c1 + y1 )j +X 1
j +j1 >1
aj (X)X j1 (c1 + y1 )j .
Iremos agora analisar a parte selecionada, que denotamos por , lembrando que aj (X) = bj X j + bj+1 X j +1 + . . .. Assim, = X 1
j +j1 =1
bj X j +j1 (c1 + y1 )j +X 1
j +j1 =1
(aj (X) bj X j )X j1 (c1 + y1 )j .
Veja que a nova parte selecionada, usando (2.5) e (2.6) se resume a X 1

j +j1 =1
bj X 1 (c1 + y1 )j =
j +j1 =1
bj (c1 + y1 )j = p(c1 + y1 ) =
(c1 + y1 )k ((c1 + y1 )q ) = (c1 + y1 )k (c1 + y1 c1 )e (c1 + y1 ) =

k
=
s=0
k s
s e cks y1 y1 (c1 + y1 ) 1
e e+1 k+e = (ck y1 + kck1y1 + . . . + y1 )(c1 + Y1 ). 1 1
2.3 Parametrizao de Newton-Puiseux ca Observe que

w w
51
(c1 + y1 ) =
z=0 w
z (c1 + y1 ) =
z=0 w
z (cz + y1 (c1 + y1 )) 1
=
z=0
z cz + y1 1
z=0
z (c1 + y1 ) = (c1 ) + y1 (c1 + y1 ),
onde z K, (c1 + y1 ), (c1 + y1 ) K[c1 , y1 ]. Assim, recuperando a expresso de f1 (X, y1 ) a temos

e e+1 k+e f1 (X, y1 ) = (ck y1 + kck1 y1 + . . . + y1 )((c1 ) + y1 (c1 + y1 )) + g(X, y1 ) 1 1
e e+1 n = de y1 + de+1 y1 + . . . + dn y1 + g(X, y1)
onde de = ck (c1 ) = 0. Como f tem grau n em y e f (X, y) = X 1 .f (X, y1 ), segue que f1 1 tem grau n em y1 e assim
2 e e+1 n f1 (X, y1 ) = d0 (X) + d1 (X)y1 + d2 (X)y1 + . . . + de (X)y1 + de+1(X)y1 + . . . + dn (X)y1 .
Se d0 = 0, ento y1 = 0 raiz de f1 e y = x1 c1 raiz de f . Caso contrrio, isto , se a e e a e 1 d0 (X) = b0 X a0 + . . . com b0 = 0, ento a ordX de (X) = 0 ordX di (X) 0; i = 0, ..., n ordX di (X) > 0; i = 0, ..., e 1 Agora analisemos o pol gono de Newton de f1 (X, y1 ).
52
(0, e1 ) l1 e = e1 (a0 , 0)
Figura 2.3
Se o pol gono de Newton de f1 (X, y1 ) tiver mais de um lado, que ocorre se d0 = 0, ento e = e1 > l1 , onde l1 a projeo vertical do lado de menor inclinao do pol a e ca ca gono de Newton. Neste caso existe um lado do pol gono de Newton de f1 (X, y1 ) com inclinao m ca negativa. Assim, teremos 2 > 0, pois 2 = para todo i > 1. Para completarmos a demonstrao, devemos mostrar que o resultado desse procedca imento realmente fornece um elemento y K((X)) , isto , um elemento de K((X 1/s )) para e algum s 1. Para tanto recordemos que p(c1 ) = ck (cq ), onde 1 = 1 1 disso, tem grau
ik q p q 1 . m
O mesmo argumento garante que i > 0
com q > 0. Alm e
> 0 em cq e (0) = 0, ento deg() i k em c1 . a 1
Sendo c1 uma raiz de (z q ) de multiplicidade e1 1 e l0 = i k a projeo vertical e ca do lado de menor inclinao do pol ca gono de Newton de f , ou seja, l0 e1 . Para os argumentos nais, em cada passo denote: ei o extremo do lado de menor inclinao no pol ca gono de Newton de fi . li o comprimento da projeo do lado de menor inclinao no pol ca ca gono de Newton de fi . Assim, l0 e1 l1 e2 l2 e3 l3 . . .. No entanto, no podemos ter uma innidade de desigualdades estritas pois ei > 0 a
53
para todo i. Assim, existe um ndice i, onde ej = lj para todo j i. Logo, o pol gono de Newton de fj (X, Yj ) ter apenas um lado a
ej lj
Figura 2.4
Desta forma para todo j i, temos

ej qj ej
(z ) = (z cj ) j (z) = d
s=0
ej s
e
z s (cj )ej s = dcj j (1)ej + . . . .

e
Como Car(K) = 0, d = 0, pois j (cj ) = 0 e cj j = 0, temos que dej (X) = dcj j (1)ej = 0. Temos que o grau de (z qj ) em z e
ik qj
e ej i k. Como i k = lj , temos
ej
ik lj = ej ej qj lj . qj qj
Mas ej = lj , assim qj = 1 para todo j i. Lembrando que p1 p2 pi pj pj pj+1 , 2 = , . . . , i = , . . . , j = = , j+1 = ,... q1 q2 qi qj 1 1
1 =
temos que 1 , 2, . . . , i , . . . , j , j+1 admitem denominado comum, a saber s = mdc(q1 , q2 , . . . , qi1 ). Portanto y K((X s )) K((X)) .
1
2.3 Parametrizao de Newton-Puiseux ca Exemplo 2.17. Vamos obter uma parametrizao de Newton-Puiseux para a srie ca e f (X, Y ) = Y 4 2X 3 Y 2 4X 5 Y + X 6 X 7
54
Seja y = c1 X 1 + c2 X 1 +2 + . . . = X 1 (c1 + y1 ) uma raiz para f (X, Y ), onde y1 = c2 X 2 + c3 X 2 +3 + . . ., ento a 0 = f (X, y) = f (X, X 1 (c1 +y1 )) = (X 41 c4 2X 3 X 21 c2 4X 5 X 1 c1 + X 6 X 7 ) +4X 41 c3 y1 + 1 1 1
h1 (X) 2 3 2 6X 41 c2 y1 + 4X 41 c1 y1 + X 41 4X 3 X 21 c1 y1 2X 3 X 21 y1 4X 5 X 1 y1 . 1
O pol gono de Newton para h1 (X) . e i
4 2 1 3 (3, 2) (5, 1) 5 6 7
Figura 2.5
Vemos que os pontos {(0, 4), (3, 2), (6, 0)} pertencem ao lado do pol gono de Newton, e o coeciente angular desse lado m1 = e
2 . 3
Como 1 =
1 , m1
3 temos que, 1 = 2 .
Para encontrar c1 , basta calcular as ra zes de p(c1 ) =

1
b1 ci ,
j + j1 = 1 onde os bi ci so os coecientes dos termos que correspondem aos pontos pertencentes ao lado a
2.3 Parametrizao de Newton-Puiseux ca do pol gono de Newton de menor coeciente angular. Assim, p(c1 ) = c4 2c2 + 1 = 0 1 1 e obtemos c1 = 1. Sendo assim, temos 1 = f (X, y) obtemos
3 2
55
e adotaremos c1 = 1. Substituindo esses valores em
f (X, X 2 (1 + y1 )) = X 2 (X 2 (1 + y1 )4 2X 2 (1 + y1 )2 4X 5 (1 + y1 ) + X 2 X 2 )
f1 (X,y1 )
11
Agora, tome y1 = X 2 (c2 + y2 ), onde y2 = c3 X 3 + c4 X 3 +4 + . . ., e repita o processo, mas agora para f1 (X, y1 ). f1 (X, X 2 (c2 +y2 )) = X 2 (1+X 2 (c2 +y2 ))4 2X 2 (1+X 2 (c2 +y2 ))2 4X 5 (1+X 2 (c2 +y2 ))+ X2 X
9 11 2 9 9
= X 2 X 42 c4 4X 2 X 32 c3 + 4X 2 X 22 c2 4X 5 X 2 +4X 2 2 2
9 9 9 9
11 5 X 2
4 + X 2 X 42 y2 +
3 3 2 2 4X 2 X 32 y2 + 4X 2 X 42 c2 y2 + 4X 2 .X 22 y2 + 6X 2 X 42 c2 y2 + 2 2 12X 2 X 32 c2 y2 12X 2 X 32 c2 y2 + 4X 2 X 42 c3 y2 + 8X 2 X 22 c2 y2 4X 5 X 2 y2 . 2 2
9 9 9 9
Logo, obtemos h2 (X) = X 2 X 42 c4 4X 2 X 32 c3 + 4X 2 X 22 c2 4X 5 X 2 c2 + 4X 5 X 2 . 2 2 2

9 9 9 11
2.3 Parametrizao de Newton-Puiseux ca i
56
4 3 2 1
(4.5, 2) 5 5.5
Figura 2.6
Atravs do pol e gono de Newton de h2 (X), obtemos m2 = 4 e consequentemente, 2 = 1 . Calculando as ra zes do polinmio p(c2 ) = 4c2 4, obtemos c2 = 1, e podemos o 2 4 escolher c2 = 1. Para encontrar os demais termos, procedemos de forma anloga. a Como y = c1 X 1 + c2 X 1 +2 + . . ., substituindo os valores encontrados obtemos Y = X 2 + X 4 + . . . tomando X 4 = t, obtemos uma parametrizao de Newton-Puiseux da forma ca X = t4 Y = t6 + t7 + . . .
1 3 7
Cap tulo 3
Parametrizaes de co Hamburger-Noether
No cap tulo 2 vimos como obter uma parametrizao de Newton-Puiseux para ums ca curva algebride plana (f ) a partir de um representante f K[[X, Y ]] dado por um polinmio o o de Weierstrass quando a caracter stica de K zero. Neste cap e tulo, apresentaremos as chamadas parametrizaes de Hamburger-Noether, que como veremos, no ultimo cap co tulo, corresponde a uma forma adequada de proceder o estudo de curvas planas, no que diz respeito a equisingularidade quando o corpo considerado tem caracter stica arbitrria. a
3.1
Resoluo de Singularidades de Curvas Planas ca

Iniciemos esta seo com um conceito fundamental para o seguimento do trabalho. ca
Denio 3.1. Uma transformaao quadrtica do anel K[[X, Y ]] em K[[X1 , Y1 ]] um ca c a e homomorsmo de K-lgebras denido por a : K[[X, Y ]] K[[X1 , Y1 ]] X Y X1 X1 Y 1
3.1 Resoluo de Singularidades de Curvas Planas ca ou por : K[[X, Y ]] K[[X1 , Y1]] X Y X1 Y 1 Y1
58
Essas transformaes no so invers co a a veis, mas denem um isomorsmo entre K((X, Y )) e K((X1 , Y1 )), respectivamente o corpo de fraes de K[[X, Y ]] e K[[X1 , Y1 ]]. co A transformao por de ca
f (X, Y ) =
i=n
Fi (X, Y ) K[[X, Y ]],
onde Fi K[[X, Y ]] um polinmio homogneo de grau i, o elemento de K[[X1 , Y1 ]] denido e o e e por

n Fi (X1 , X1 Y1 ) = X1 i=n i=n in X1 Fi (1, Y1 ).
(f ) = f (X1 , X1 Y1 ) = A srie (f ) = e
1 n (f ) X1
1 n f (X1 , X1 Y1 ), X1
onde n = mult(f ), chamada de transformada e
estrita de f por e ser denotada por f (1) . O prximo teorema apresenta propriedades a o relacionadas a transformao estrita de uma srie de potncias em K[[X, Y ]]. ca e e Teorema 3.2. Sejam f e g elementos de K[[X, Y ]]. i) (f ) invers em K[[X1 , Y1 ]] se, e somente se, (f ) regular em X, isto , a e vel e e forma inicial de f da forma Fn = cX n + . . ., onde c K \ {0}. e ii) (f g) = (f ) (g); iii) mult( (f )) mult(f ); iv) Se f um polinmio de Weierstrass em K[[X]][Y ] de grau n com cone tangente e o (Y n ), ento (f ) um pseudo-polinmio de grau n em Y ; a e o v) Se f K[[X]][Y ] um polinmio irredut e o vel de Weierstrass de grau n, ento a (f ) irredut ou uma unidade. e vel
3.1 Resoluo de Singularidades de Curvas Planas ca
59
Demonstrao: i) Se escrevermos f (X, Y ) = ca

i=n
Fi (X, Y ), ento temos que a

in X1 Fi (1, Y1). i=n
1 1 (f ) = n (f ) = n f (X1 , X1 Y1 ) = X1 X1
Se (f ) invers e vel em K[[X1 , Y1]], ento mult( (f )) = 0 e Fn (1, 0) K \ {0}. a Como

n (Fn (X, Y )) = Fn (X1 , X1 Y1 ) = X1 Fn (1, Y1),
ento a
n n (Fn (X, 0)) = X1 Fn (1, 0) = cX1 + . . .
onde c K \ {0}. Ento Fn (X, 0) = cX n + . . ., ou seja f regular em X. a e Por outro lado, se f regular em X, ento Fn (X, Y ) = cX n + . . . com c K \ {0}. e a Logo, Fn (1, Y1 ) = (Fn (X, Y )) = 1 1 n (Fn (X, Y )) = n (cX1 + ...) = c + . . . n X1 X1
Assim, mult( (f )) = 0, ou seja, (f ) invers e vel. ii) Observe que (h) = (f g) = 1

1 m h(X1 , X1 Y1 ), X1 h
onde mh = mult(h), assim
m +m f g(X1 , X1 Y1 ) X1 f g
1 1 mf m f (X1 , X1 Y1 )g(X1 , X1 Y1 ) = (f ) (g). X1 g X1
iii) Temos que (f ) =

i=n
in X1 Fi (1, Y1) e em Fn (1, Y1) existem monmios de grau o
menor ou igual a n = mult(f ) = deg(Fn (X, Y )). Como mult( (f )) = deg(Fn (1, Y1)) e os monmios de Fn (1, Y1 ) no podem ser cancelados com outros monmios de (f ) porque os o a o demais monmios so mltiplos de X1 , segue que mult( (f )) mult(f ). o a u iv) Seja f = Y n + a1 (X)Y n1 + . . .+ an (X) K[[X]][Y ] um polinmio de Weierstrass o
3.1 Resoluo de Singularidades de Curvas Planas ca com cone tangente (Y n ), isto , mult(ai (X)) > i para todo i = 1, . . . , n, Temos que e (f ) = 1 1 1 n (f ) = n f (X1 , X1 Y1 ) = n (X1 Y1n + a1 (X1 )(X1 Y1 )n1 + . . . + an (X1 )) n X1 X1 X1 = Y1n a1 (X1 )Y1n1 a2 (X1 )Y1n2 an (X1 ) + + + ...+ . 2 n X1 X1 X1
60
(X Note que mult( ai Xi 1 ) ) > 0.Portanto (f ) um pseudo-polinmio de grau n em Y . e o
v) Temos que f (X, Y )Y N + a1 (X)Y n1 + . . . + an (X) K[[X]][Y ]
com mult(ai (X) i e (f ) = Y1n + com mult

ai (X1 ) i X1
an (X1 ) a1 (X1 ) n1 Y1 + . . . + K[[X1 ]][Y1 ] n X1 X1
0 para todo i = 1, . . . , n.
Assim, (f ) regular em Y1 de ordem m n, onde m = min k; mult( ank (X1 ) = 0 . e Xk

1
Se m < n, ento podemos escrever (f ) = ug com u = a unidade e g K[[X1 ]][Y1 ] regular em Y1 de ordem m. Como (f ) =
f (X1 ,X1 Y1 ) , n X1
anm (X1 ) m X1
= + . . . K[[X1 ]]
n n isto , f (X1 , X1 Y1 ) = X1 (f ) = X1 u(X1 Y1 )g(X1 Y1 ), e
nm m n escrevendo X1 = X1 X1 e usando que X = X1 e Y = X1 Y1 temos
f (X, Y ) = X nm u X,
Y Uma vez que X nm u X, X
Y X
X m g X,
Y X
Y = X nm + . . . e X m g X, X
K[[X]][Y ] regular em Y de
ordem m. Como f irredut e vel, a unica possibilidade que m = 0, isto , (f ) unidade. e e e Se m = n, suponha que (f ) = gh com g, h K[[X1 ]] regulares em Y1 de ordem
61
m1 > 0 e m2 > 0 respectivamente. Note que (f ) regular em Y1 de ordem n = m1 + m2 . e

Y Y Como no caso anterior, podemos armar que f (X, Y ) = X m1 g X, X X m2 h X, X Y Y com X m1 g X, X , X m2 h X, X
inK[[X]][Y ] regulares em Y de ordem m1 e m2 respectiva-
mente. Mas neste caso, f seria redut vel, uma contradio. ca
Corolrio 3.3. (Lema da Unitangente) Seja f K[[X]][Y ] um polinmio de Weierstrass de a o grau n, ento o cone tangente de f da forma (aY + bX)n . a e Demonstrao: Escreva f (X, Y ) = fn (X, Y ) + fn+1 (X, Y ) + . . . com fk (X, Y ) K[[X, Y ]] ca homogneo de grau k. Temos que e (f ) = fn (X1 , X1 Y1 ) fn+1 (X1 , X1 Y1 ) + + .... n n X1 X1
fk (X1 ,X1 Y1 ) n X1
Note que se fk (X, Y ) =

i+j=k
aij X i Y j , ento a
=
i+j=k
kn aij X1 Y j .
Deste modo, aij Y1j = (f )(0, Y1) K[Y1 ] \ K.

i+j=n
fn (1, Y1 ) =
Pelo item (v) do teorema anterior (f ) irredut e vel, assim, pelo Lema de Hensel, temos que (f ) = (aY1 + b)n e assim fn (X, Y ) = (aY + bX)n .
Seja K um corpo arbitrrio e seja f um elemento do ideal maximal M = X, Y de a K[[X, Y ]]. Denimos o anel local da curva (f ) como sendo o quociente K[[X, Y ]] . f
Of =
Se h K[[X, Y ]], denotaremos por h a classe residual de h em Of .
62
Proposio 3.4. Seja f K[[X]][Y ] um polinmio de Weierstrass em Y de grau n. Ento ca o a Of um K[[X]]-mdulo livre de posto n gerado pela classe residual y i de Y i com i = 0, . . . , n e o 1 em Of . Em outras palavras, Of = K[[X]] K[[X]]y . . . K[[X]]y n1.
Demonstrao: Sejam g, f K[[X, Y ]] tal que f = Y n + a1 (X)Y n1 + ... + an (X). Note ca que, se dividirmos g por f obtemos g = qf + r com r K[[X]][Y ] de grau menor que n em Y , ou seja, g = qf + cn (X) + cn1 (X)Y + . . . + c1 (X)Y n1 . Assim, g = qf + r = 0 + cn (X) + cn1 (X)y + . . . + c1 (X)y n1. Ento B = {1, y, . . . , y n1} gera Of como K[[X]]-mdulo. Agora se a o bn (X) + bn1 (X)y + . . . + b1 (X)y n1 = 0,
em Of , ento, a bn (X) + bn1 (X)Y + . . . + b1 (X)Y n1 = hf hf (bn (X) + bn1 (X)Y + . . . + b1 (X)Y n1 ) = 0. Como 0.f + 0 = 0 temos pela, unicidade do resto no algoritmo da diviso que bn (X) + a bn1 (X)Y + . . . + b1 (X)Y n1 = 0. Portanto, {1, y, . . . , y n1} linearmente independente e sobre K[[X]] e portanto base de Of . e
Proposio 3.5. Seja f K[[X]][Y ] um polinmio de Weierstrass irredut de grau n = ca o vel
3.1 Resoluo de Singularidades de Curvas Planas ca mult(f ) e f (1) = (f ) a transformada estrita de f , ento a Of Of (1) com igualdade se, e somente se, n = 1. Demonstrao: ca
63
Como f K[[X]][Y ] um polinmio de Weierstrass de grau n, temos e o
que pelo Teorema 3.2 que f (1) K[[X]][Y ] um pseudo-polinmio de grau n irredut e o vel. Assim temos, Of = K[[X]] + K[[X]]y + . . . + K[[X]]y n1 e Of (1) = K[[X1 ]] + K[[X1 ]]y1 + . . . +
n1 K[[X1 ]]y1 .
Como X = X1 e Y = X1 Y1 , temos que

n1 n1 n1 Of = K[[X1 ]]+K[[X1 ]]X1 y1 +. . .+K[[X1 ]]X1 y1 K[[X1 ]]+K[[X1 ]]y1 +. . .+K[[X1 ]]y1 = Of (1)
com igualdade se, e somente se, n = mult(f ) = 1.
Dado f K[[X]][Y ] um polinmio de Weierstrass irredut regular em Y , ento o vel a temos Of Of (1) . Pelo Teorema 3.2 temos que f (1) um pseudo-polinmio de grau n e o irredut vel, pelo Lema da Unitangente o cone tangente de f (1) da forma (aY1 +bX1 )n , fazendo e uma mudana de coordenadas, se necessrio, podemos considerar que f (1) regular em Y1 e c a e aps o Teorema da Preparao de Weierstrass, considerar f (1) um polinmio de Weierstrass o ca o irredut regular em Y . Assim, pela proposio anterior temos que Of (1) Of (2) . vel ca Deste modo, temos uma sequncia ascendente de K[[X]]-mdulos e o
Of Of (1) Of (2) . . . . Como cada Of (i) Noetheriano, temos que existe um e ndice N tal que Of (N) Of (N+1) e
64
assim mult(f (N ) ) = 1, ou seja, aplicando o processo anteriormente descrito, obteremos aps o um nmero nito de etapas, uma curva suave. u Agora estamos aptos a descrever o processo de resoluo de singularidades de uma ca curva algebride plana irredut o vel. Como as multiplicidades decrescem em uma certa etapa, temos que em algum estgio do processo obtemos uma curva suave (f (N ) ). A sequncia f, f (1) , . . . , f (N ) chamada a e e resoluo cannica de (f ) e (mult(f ), mult(f (1) ), . . . , mult(f (n) ) = 1) chamada de seca o e quncia de multiplicidade de f . e A resoluo cannica de uma singularidade um processo que permite obter uma ca o e parametrizao (1 (t), 2 (t)) para uma curva plana. De fato, no estgio nal da resoluo ca a ca cannica encontramos uma curva suave em uma indeterminada que pode, a menos de muo dana e coordenadas, ser assumida como Y . Como vimos, tambm por mudana de coordec e c nadas, podemos assumir que a expresso seja regular em Y e pelo Teorema da Preparao a ca de Weierstrass. Assim, podemos considerar que aps o processo de resoluo cannica, a o ca o expresso obtida seja da forma Y + g(X) que admite como parametrizao (t, g(t)). a ca Se procedermos as operaes inversas realizadas no processo da resoluo cannica, co ca o ento obteremos uma parametrizao para a expresso inicial de f da forma (1 (t), 2 (t)). a ca a Para ilustrar o que foi exposto acima apresentamos um exemplo. Exemplo 3.6. Vamos obter uma parametrizao atravs do processo de resoluo cannica ca e ca o para curva plana f (X, Y ) = Y 4 2X 3 Y 2 4X 5 Y + X 6 X 7 . Note que f est preparada a Weierstrass. Assim, f regular em Y de ordem 4 e nesse caso a e devemos usar para realizar a primeira tranformada estrita. Assim, f (1) = f (X1 , X1 Y1 ) 2 3 2 = f (1) = X1 X1 2X1 Y12 4X1 Y1 + Y14 . 4 X1
3.1 Resoluo de Singularidades de Curvas Planas ca Como f (1) regular em X1 de ordem 2, nesse caso devemos usar , o que nos d e a f (2) = f (X2 Y2 , Y2 ) 2 3 = f (2) = (Y2 + X2 )2 4X2 Y2 X2 Y2 . 2 Y2
65
Uma vez que o f (2) no regular em nenhuma varivel, devemos torn-la regular em uma a e a a varivel para continuar o processo. Para tanto, considere o automorsmo a : K[[X2 , Y2 ]] K[[X2 , Y2 ]] X2 Y2 Assim,
2 3 3 4 f (2) = (f (2) ) = Y22 4X2 Y2 4X2 X2 Y2 X2 .
X2 Y 2 + X2
Agora podemos continuar o processo com f (2) , no lugar de f (2) e temos f (3) = f (2) (X3 , X3 Y3 ) 2 2 = 4X3 + Y32 X3 4X3 Y3 X3 Y3 . 2 X3
Observe que f (3) regular e o processo naliza. Agora devemos encontrar um parametrizao e ca para f (3) . Neste caso, vamos calcular uma parametrizao mais diretamente. ca Fazendo f (3) = 0, temos
2 2 4X3 + Y32 X3 4X3 Y3 X3 Y3 = 0.
Assim,
2 X3 + 4X3
Y32 = 0, 1 + Y3 1 . 1 + Y3
ou seja, X3 = 2 (Y3 + 2) Como 1 Y3 3Y32 5Y33 =1 + ..., 1 + Y3 2 8 16
3.1 Resoluo de Singularidades de Curvas Planas ca temos que X3 = 2 (2 + Y32 Y33 + . . .) 4 4

2 Y3 4
66
Como f (3) = (0, 0) = 0 devemos considerar X3 = para f (3) e
3 Y3 4
+ . . .. Assim, uma parametrizao ca
Para obter a srie f (3) utilizamos o homomorsmo , ou seja, (X2 ) = X3 e (Y2 ) = e X3 Y3 . Assim, uma parametrizao para f (2) ca e X = 1 (t2 t3 + . . .) 2 4 Y = 1 (t3 t4 + . . .).
2 4
X = 1 (t2 t3 + . . .) 3 4 Y =t
3
Agora devemos aplicar o automorsmo inverso de , para encontrarmos uma parametrizao ca para f (2) , isto , e 1 : K[[X2 , Y2 ]] K[[X2 , Y2 ]] X2 Y2 X2 Y 2 X2 .
Logo, uma parametrizao para f (2) = 1 (f (2) ) ca e X = 1 (t2 t3 + . . .) 2 4 Y = 1 (t2 + 2t3 + . . .).
2 4
Agora podemos encontrar uma parametrizao para f (1) , lembrando que neste caso, (X1 ) = ca X2 Y2 e (Y1 ) = Y2 ,Assim, para f (1) temos X = 1 (t4 + 3t5 + . . .) 1 16 Y = 1 (t2 + 2t3 + . . .).
1 4
Finalmente podemos apresentar uma parametrizao para f , lembrando que (X) = X1 e ca
3.2 Parametrizao em Caracter ca stica Positiva (Y ) = X1 Y1 , temos que
67
uma paramatrizao para f . e ca
X= Y =
1 (t4 16 1 (t6 64
+ 3t5 + . . .)
5t7 + . . .).
Observe que 4, 2, 2, 1 a sequncia de multiplicidades que ocorreram na resoluo e e ca cannica de f . o
3.2
Parametrizao em Caracter ca stica Positiva
Nesta seo introduzimos uma forma especial de expressar uma parametrizao de ca ca uma curva plana, quando a caracter stica do corpo base qualquer, tal parametrizao ser e ca a chamada de Parametrizao de Hamburger-Noether. Para tanto considere uma parametrizaca co (x = 1 (t), y = 2 (t)) e suponha n = ordt (x) ordt (y). Construiremos a parametrizao a ca de Hamburger-Noether a partir de (x = 1 (t), y = 2 (t)) por meio de um algoritmo constitu por meio de divises sucessivas em K[[t]] como descrito a seguir. do o Divida y por x e desconsidere do quociente o termo independente, obtendo uma srie e y1 de ordem positiva. Repita o processo com y1 em vez de y, x sempre como divisor, desde que y1 seja uma srie de ordem maior ou igual a ordem de x. Pare caso contrrio. e a Note que apenas uma das seguintes armaes abaixo podem ocorrer: co A) Existem h > 0 e a0i K com 1 i h tais que y = a01 x + a02 x2 + . . . + a0h xh + xh z1
com 1 ordt (z1 ) < ordt (x).
3.2 Parametrizao em Caracter ca stica Positiva B) Existem a0i K com 1 i , tais que
68
y=
i=1
a0i xi .
No caso (A), repetimos o processo com (z1 , x) e novamente (A) ou (B) obtido. O e processo continua sempre que a condio (A) ocorre. ca Note que quando n = 1, obtemos a condio (B). Assim, aps um nmero nito de ca o u passos a condio (B) sempre ocorre, uma vez que as ordens das sries zi so decrescentes. ca e a Deste modo, obtemos uma expresso da forma: a y = a01 x + a02 x2 + . . . + a0h xh + xh z1 x = a z 2 + a z 3 + . . . + a z h1 + z h1 z 12 1 13 1 1h1 1 1 2 . . . i zr1 = ari zr
i=2
(3.1)
onde aij K, zi K[[t]], com 1 ordt (zr ) < ... < ordt (z1 ) < ordt (x) ordt (y). Denio 3.7. Uma parametrizao de Hamburger-Noether de (x = 1 (t), y = 2 (t)) ca ca e um conjunto de expresses do tipo (3.1). o Observao 3.8. Note que dado uma parametrizao de Hamburger-Noether sempre podeca ca mos recuperar uma representao paramtrica da curva, com parmetro zr , da forma ca e a x = (z ) 1 r y = (z )
2 r
Algumas vezes, denotaremos uma parametrizao de Hamburger-Noether pela exca presso a zi1 =
i h i ai+j zj + zj i zj+1
(3.2)
juntamente com as restries necessrias para os co a ndices i e para os coecientes aij .
3.2 Parametrizao em Caracter ca stica Positiva
69
Proposio 3.9. A parametrizao de Hamburger-Noether de (x = 1 (t), y = 2 (t)), com ca ca ordt (x) ordt (y) unicamente determinada pelas condies: e co i) aij K; ii) zi K[[t]]; iii) 1 ordt (zr ) < ... < ordt (z1 ) < ordt (x). Em particular a parametrizao de ca Hamburger-Noether no depende do parmetro t. a a Demonstrao: Para cada parametrizao H do tipo (3.1), seja L(H) = h+h1 +. . .+hr1 . ca ca Para toda curva plana (f ) denimos L(f ) = min{L(H), onde H uma parametrizao de e ca Hamburger-Noether da curva (f ). A prova ser feita usando induo sobre L(f ).Se L(f ) = 0, ento existe uma parametrizaa ca a co de Hamburger-Noether H para (f ) tal que L(H) = h + h1 + . . . + hr1 = 0. a Segue que h = h1 = ... = hr1 = 0. Logo, para essa parametrizao, o caso (A) no ca a ocorre, pois no existe h > 0. Assim, o caso (B) deve ocorrer, isto , existem a0i K, com a e 1 i tais que
y=
i=1
a0i xi .
Para outra parametrizao de Hamburger-Noether H , as condies (A) ou (B) deve ocorrer. ca co Se a condio (A) ocorrer, temos ca y = a01 x + a02 x2 + ... + a0h xh + xh z1 . Como H e H so parametrizaes de Hamburger-Noether da mesma curva, devemos ter a co
h h i i

a0i x +
i=1 i>h
a0i x =
i=1
a0i xi + xh z1 ,
3.2 Parametrizao em Caracter ca stica Positiva ou seja,

h
70
a0i x x z1 =
i>h i=1
(a0i a0i )xi .
Observe que o lado direito da igualdade tem ordem, se for no nulo, menor ou igual a a h.ordt (x). Por outro lado, o lado esquerdo tem ordem maior que h.ordt (x), o que um e absurdo. Se a condio (B) ocorrer, suponha que H = H e denote por q o primeiro inteiro ca para o qual a0q = a0q . Ento para a parametrizao H temos que a ca
y=
i=1
a0i xi .
Como antes, devemos ter

q1 q1 i i
a0i x +
i=1 iq
a0i x =
i=1
a0i x +
iq
a0i xi
q1
(a0i a0i )xi =

i=1 iq
(a0i a0i )xi
(a0i a0i )xi = 0.

iq
O que um absurdo, pois a0q = a0q . Assim, H = H . e Agora, seja (f ) uma curva tal que L(f ) = N > 0 e suponha que o resultado e verdadeiro para toda curva (g) tal que L(g) < N. Consideremos H uma parametrizao de Hamburger-Noether para (f ) que satisfaz ca L(H) = N e seja H uma outra parametrizao de Hamburger-Noether para (f ). Ento ca a
y a01 = a01 , uma vez que eles so os termos independentes da srie x . a e

Pelo modo que as parametrizaes de Hamburger-Noether foram constru co das temos que
3.2 Parametrizao em Caracter ca stica Positiva y = x(a01 + y1 ), isto , y = xa01 + xy1 , ou seja, y1 = e y = x(a01 + y1 ), isto , y = xa01 + xy1 , ou seja, y1 = e

71
yxa01 x yxa01 , x
e ento y1 = y1 . a

Considere agora a curva que admite a parametrizao (x, y1 ) e sejam H1 e H1 duas ca parametrizaes de Hamburger-Noether para esta curva. Note que tais parametrizaes foram co co obtidas de H e H respectivamente, apenas removendo os termos iniciais. Assim, L(H1 ) = L(H) 1 = N 1 < N e por hiptese de induo temos que H1 = H1 . Como a01 = a01 , o ca temos (H) = (H ). O exemplo abaixo ilustra como obter uma parametrizao de Hamburger-Noether a ca partir de uma parametrizao dada. ca Exemplo 3.10. Considere x(t) = 4t4 + 4t5 + t6 + 32t7 + 48t8 + 24t9 + 4t10 y(t) = 4t4 + 4t5 + t6 + 32t7 + 48t8 + 24t9 + 68t10 + 160t11 + 160t12 + 1104t13 + 3092t14 + 3842t15 +6656t16 + 15296t17 + 21696t18 + 17936t19 + 8960t20 + 2688t21 + 448t22 + 32t23 . Inicialmente note que y = x(1 + y1 ) onde y1 = 16t6 + 24t7 + 12t8 + 130t9 + 256t10 + 192t11 + 64t12 + 8t13 . Dividindo y1 por x obtemos y1 = xy2 , onde y2 = 4t2 + 2t3 . Observe que ordt (y2 ) < ordt(x), ento denotamos z1 = y2 . Agora repetimos o proa cesso para (z1 , x), e obtemos x = z1 w1 , onde w1 = t2 + 1 t3 + 8t5 + 8t6 + 2t7 . Agora, 2
1 w1 = z1 ( 1 + w2 ), onde w2 = 2t3 + t4 . Alm disto, w2 = z1 w3 onde w3 = 2 t. e 4

Observe que ordt (w3 ) < ordt (z1 ), ento denotamos w3 = z2 . a No prximo passo repetimos o processo para (z2 , z1 ), obtendo z1 = z2 v1 , onde v1 = o 8t + 4t2 . Temos v1 = z2 (16 + v2 ), onde v2 = 8t. Alm disto, v2 = z2 16. e Deste modo nalizamos o processo e obtemos a parametrizaao de Hamburger-Noether c como segue.
72
Lembremos que y = x(1 + y1 ) = x(1 + xy2 ) = x + x2 y2 . Como y2 = z1 , temos

2 3 y = x + x2 z1 . Alm disto, x = z1 w1 = z1 z1 ( 1 + w2 ) = 1 z1 + z1 w3 , pois w2 = z1 w3 . Como e 4 4 1 2 3 w3 = z2 , temos que x = 4 z1 + z1 z2 . 2 2 3 Finalmente, temos z1 = z2 v1 = z2 (z2 v2 +16) = z2 (16z2 +16) = 16z2 +16z2 . Portanto
a parametrizao de Hamburger-Noether obtida a partir de (x = 1 (t), y = 2 (t)) ca e y = x + x2 z 1
O prximo resultado possibilita obtermos uma parametrizao de Hamburger-Noether o ca da transformada estrita de uma curva, a partir de uma parametrizao da curva original. ca Proposio 3.11. Seja zj1 = ca
i i ajizj +zj j zj+1 uma parametrizao de Hamburger-Noether ca h
1 2 3 x = 4 z1 + z1 z2 z = 16z 2 + 16z 3 . 1 2 2
com 0 j r como em (3.2), obtida de uma parametrizao (x = 1 (t), y = 2 (t)) de uma ca curva (f ). Uma parametrizao de Hamburger-Noether da transformada estrita f (1) obtida ca e como segue.0 i) Se h > 1, ento a y1 = a02 x + . . . + a0h xh1 + xh1 z1 zj1 =
i i aji zj + zj j zj+1 . h
com 1 j r. ii) Se h = 1, ento a zj1 =

com 1 j r. Demonstrao: ca que f (1) x, y f (x, y) = =0 x xn Seja (x = 1 (t), y = 2 (t)) uma parametrizao da curva (f ). Sabemos ca

y onde n = ordt (x) = mult(f (X, Y )), ou seja, (x, x ) uma parametrizao para (f (1) ). e ca
73
Pelo algoritmo apresentado no in desta se, devemos retirar o termo indepencio ca dente na diviso x . Assim, se y = a01 x + a02 x2 + . . . + a0h xh + xh z1 , ento a y a y1 = y a01 = a02 x + . . . + a0h xh1 + xh1 z1 . x
Continuando com o algoritmo, quando h > 1, obtemos uma parametrizao de Hamburgerca Noether da seguinte forma: y1 = a02 x + . . . + a0h xh1 + xh1 z1 h i zj1 = aji zj + zj j zj+1 .
i ya01 x x
com 1 j r. Agora quando h = 1, temos y = a01 x + xz1 e y1 =
= z1 , ou seja,
y1 = z1 . Logo, obtemos uma pametrizao de Hamburger-Noether a partir da parametrizao ca ca (x = z0 , y1 = z1 ). Aplicando o algoritmo obtemos: zj1 =
com i j r.
A prxima proposio indica que a parametrizao de Hamburger-Noether permite o ca ca obter facilmente as multiplicidades que ocorrem no processo da resoluo cannica de uma ca o curva algebride plana (f ), ou seja, a sequncia de multiplicidades de (f ). o e Proposio 3.12. Seja ca zj1 =
i i ajizj + zj j zj+1 h
com 0 j r, uma parametrizao de Hamburger-Noether de uma curva (f ). e nj = ca ordt (zj ) para 0 j r, ento: a
74
i) as diferentes multiplicidades que ocorrem na resoluo cannica de (f ) so exataca o a mente os inteiros nj com 0 j r; ii) cada nj ocorre exatamente hj vezes na resoluo cannica com 0 j r, h0 = h ca o e hr = ; Demonstrao: ca Vamos provar (i) e (ii) simultaneamente por induo sobre o nmero ca u
m nimo M(f ) de transformaes quadrticas que so necessrias para tornar f suave. Como co a a a vimos, podemos supor f K[[X, Y ]] um polinmio de Weierstrass irredut regular em Y o vel de ordem n = mult(f ). Se M(f ) = 0, ento f regular e a e mult(f (0) ) = 1 = n0 = vf (z0 ) = vf (x),
pois ordt (x) = n. Se M(f ) = 1, ento f (1) regular. Como ordt (x1 ) = ordt (x) < ordt (y) a multiplicia e dade de f (1) deve ocorrer em y1 . Logo ordt (x1 ) > ordt (y1 ) = 1, deste modo, necessrio que e a os termos em y1 que contm x1 no existam, isso s ocorre se h = 1, assim y1 = z1 . Logo, e a o
mult(f ) = ordt (x) = ordt (z0 ) = n0
e mult(f (1) ) = ordt (y1 ) = ordt (z1 ) = ordt (z1 ) = n1 . Note que n0 ocorre 1 = h0 = h vez e que n1 = ordt (z1 ) ocorre vezes, pois mult(f (i) ) = 1 para todo i 1. Seja agora (f ) uma curva tal que M(f ) > 1 e assuma que o resultado vlido para e a todas as curvas tais que o nmero m u nimo M de transformaes quadrticas necessrias para co a a torn-las suave tal que M < M(f ). Se (f ) admite uma parametrizao de Hamburgera e ca
3.2 Parametrizao em Caracter ca stica Positiva Noether da forma f
75
ento pela proposio anterior, obtemos uma parametrizao de Hamburger-Noether para a ca ca f (1) da forma y1 = a02 x + . . . + a0h xh1 + xh1 z1 h i aji zj + zj j zj+1 , zj1 =
i
y = a01 x + a02 x2 + ...a0h xh + xh z1 x = a z 2 + a z 3 + ...a z h1 + z h1 z 12 1 13 1 1h1 1 1 2 . . . i zr1 = ari zr ,

i=2
com 1 j r.
Como M(f (1) ) = M 1, ento por hiptese de induo temos que as diferentes a o ca multiplicidades so exatamente a n0 = ordt (z0 ) n1 = ordt (z1 ) nr = ordt (zr ) ocorre ocorre . . . ocorre h 1 vezes h1 vezes vezes.
Como f, f (1) , f (2) , ..., f (M ) corresponde ` resoluo cannica de f , que est preparada a ca o a a Weierstrass, temos que
mult(f ) = ordt (x) = ordt (z0 ) = n0 ,
ou seja, n0 = ordt (z0 ) ocorre h vezes. O que prova o resultado.
Exemplo 3.13. Seja a curva (f ) apresentada no Exemplo 3.10 cuja parametrizao de ca
3.2 Parametrizao em Caracter ca stica Positiva Hamburger-Noether dada por ee y = x + x2 z 1 1 2 3 x = 4 z1 + z1 z2 z = 16z 2 + 16z 3 ,
1 2 2
76
onde z1 = 4t2 + 2t3 e z2 = 1 t. Note que h0 = h = 2 e h1 = 3. 2 Vamos calcular as parametrizaes de Hamburger-Noether das transformaes estrico co tas de (f ) e sua sequncia de multiplicidades. Como vimos, para f (1) temos a parametrizao e ca de Hamburger-Noether y = xz 1 1
e neste caso temos mult(f (1) ) = min{multt (y1 ), multt (x)} = multt (x) = 4. Para f (2) temos a parametrizao de Hamburger-Noether ca x = 1 z2 + z3z 1 2 4 1 z = 16z 2 + 16z 3
1 2 2
2 3 x = 1 z1 + z1 z2 4 z = 16z 2 + 16z 3 1 2 2
e neste caso temos mult(f (2) ) = min{multt (x), multt (z1 )} = multt (z1 ) = 2. Agora para f (3) temos a parametrizao de Hamburger-Noether ca x = 1 z + z2z 2 1 2 4 1 z = 16z 2 + 16z 3
1 2 2
e temos mult(f (3) ) = min{multt (x2 ), multt (z1 )} = 2.
Para f (4) temos a parametrizao de Hamburger-Noether ca x =z z 3 1 2 z = 16z 2 + 16z 3

1 2 2
e mult(f (4) ) = min{multt (x3 ), multt (z1 )} = 2.
3.2 Parametrizao em Caracter ca stica Positiva Agora para f (5) temos a parametrizao de Hamburger-Noether ca
2 3 z1 = 16z2 + 16z2
77
e mult(f (5) ) = multt (z2 ) = 1. O processo est nalizado, uma vez que (f (5) ) suave. Assim, mult(f (0) ) = mult(f (1) ) = a e 4, mult(f (2) ) = mult(f (3) ) = mult(f (4) ) = 2, mult(f (5) ) = 1. O que ilustra a Proposio ca 3.12. Corolrio 3.14. Sejam (f ) e (f) curvas com parametrizaes de Hamburger-Noether dadas, a co respectivamente, por zj1 =
i i aji zj + zj j zj+1 , h
com 0 j r
zj1 =
i
aji .zj i + zj hj zj+1 ,
com 0 j r.
Ento, (f ) e (f ), possuem a mesma sequncia de multiplicidades se, e somente se, r = r, hj = a e hj e nj = nj com 0 j r. Demonstrao: Imediato da Proposio 3.12. ca ca
Cap tulo 4
Equisingularidade
Neste ultimo cap tulo vamos utilizar os conceitos anteriormente apresentados para estudar uma importante relao de equivalncia entre curvas planas, chamada equisingularca e idade. Tal noo foi introduzida por Zariski na dcada 1930 e revela importantes informaes ca e co sobre as curvas planas. Em particular, quando K = C a noo de equisingularidade coincide ca com a equivalncia topolgica das curvas, para mais detalhes recomendamos ( ) e ( ). e o Para explorar a noo de equinsigularidade de curvas planas, necessitamos do conca ceito de semigrupo de valores, o qual abordamos na segunda seo deste cap ca tulo. Antes porm vejamos o conceito de e ndice de interseo entre duas curvas. ca
4.1
Indice de Interseo ca
Denio 4.1. Sejam f, g M. O ca ndice de interseao de f e g o inteiro (incluindo c e ) I(f, g) = dimK K[[X, Y ]] . f, g
Of g
Note que a denio anterior equivalente a I(f, g) = dimK ca e sentante de g K[[X, Y ]] em Of .
onde g o repree
O ndice de interseo satisfaz determinadas propriedades que reunimos no prximo ca o resultado.
4.1 Indice de Interseo ca
79
Teorema 4.2. Sejam f, g, h M, um automorsmo de K[[X, Y ]], u e v unidades em K[[X, Y ]]. O ndice de interseo satisfaz as seguintes propriedades: ca i) I(f, g) = I(g, f ); ii) I((f ), (g)) = I(uf, vg) = I(f, g); iii) I(f, g) < se, e somente se, f e g so relativamente primos em K[[X, Y ]]; a iv) I(f, gh) = I(f, g) + I(f, h); v) I(f, g) = 1 se, e somente se, (f ) e (g) so suaves e seus cones tangentes so a a distintos; vi) I(f, g + hf ) = I(f, g). Demonstrao: ca i) Este item imediato, uma vez que e K[[X, Y ]] K[[X, Y ]] = dimK = I(g, f ). f, g g, f
I(f, g) = dimK
ii) Dado um automorsmo de K[[X, Y ]] temos, pelo teorema da correspondncia e de ideais, que K[[X, Y ]] K[[X, Y ]] . f, g (f ), (g) Assim, I(f, g) = dimK K[[X, Y ]] K[[X, Y ]] = dimK = I((f ), (g)). f, g (f ), (g)
Alm disso, note que uf, vg = f, g onde u e v so unidades de K[[X, Y ]] e pore a tanto, I(f, g) = dimK K[[X, Y ]] K[[X, Y ]] = dimK = I(uf, vg). f, g uf, vg
iii) Se f e g possuem um fator no invers h comum, ou seja, f = ph e g = qh a vel
4.1 Indice de Interseo ca com h, p, q K[[X, Y ]], ento f, g h e a

K[[X,Y ]] h
80
K[[X,Y ]] . f,g
Assim,
I(f, g) = dimK
K[[X, Y ]] K[[X, Y ]] dimK = . f, g h
Pelo item ii), podemos assumir, sem perda de generalidade que f, g K[[X]][Y ] so polinmios a o de Weierstrass. Como f e g so primos entre si em K[[X]][Y ], pelo Lema de Gauss, o mesmo a ocorre em K((X))[Y ] que um dom de ideais principais. Assim, existem r, s K((X))[Y ] e nio tais que rf + sg = 1. Eliminando os denominadores, segue que existem p, q K[[X, Y ]][Y ] e a K[[X]] tais que pf + qg = a, ou seja, f, g = f, g, a . Se n = min{degY (f ), degY (g)}, ento a K[[X, Y ]] K[[X, Y ]] K[[X]]y n1 + K[[X]]y n2 + . . . + K[[X]] = dimK dimK nm < , f, g f, g, a a
dimK
onde m = mult(a(x)). iv) Suponha que f e g no so relativamente primos, ento pelo item (i) I(f, g) = a a a e I(f, gh) = . Assim, I(f, gh) = I(f, g) + I(f, h) = . Suponha agora que f e g so relativamente primos, isto , I(f, g) = dimK K[[X,Y ]] = dimK a e f,g . E suciente mostrar que a sequncia de K-espaos vetoriais e c Of Of Of 0. h gh g
Of g
<
4.1 Indice de Interseo ca exata, onde a aplicao induzida pela projeo cannica . e ca e ca o
Of g
81
: Of
Considere Of Denotando = temos,

Ker() Ker()
Of Of . g h g
g g h

Ker(), ou seja, Ker()

A aplicao denida por (z ) = (z + h ) = z g + g h onde z , g , h Of ca e ez
Of h
, que claramente um homomorsmo de K-espaos vetoriais. Vamos mostrar que e c
injetora. Suponha que (z ) = 0, ento e a

0 = (z ) = g z + g h ,

ou seja, g z g h . Deste modo, existe Of tal que g z = (g h ), ou seja, g (z h ) = 0. Como z , h , g Of , temos que z = z + f , h = h + f e g = g + f . Ento, a

(g + f ) ((z + f ) (h + f )) f ,
isto , g(z h) f . Assim, existe K[[X, Y ]] tal que g(z h) = f . e Como supomos que f e g so relativamente primos temos que f divide (z h), a ou seja, z h f . Ento, z h = 0, isto , z = h h a e z = z + h = 0 + h . Portanto injetora. e Para concluir a prova, observe que Im() =
g g h

e deste modo,
= Ker(). O que mostra que a
4.1 Indice de Interseo ca sequncia exata. Logo, e e Of Of Of Of Of gh g h g h e dimK Of Of Of = dimK + dimK . gh g h
82
Assim, I(f, gh) = I(f, g) + I(f, h), como quer amos. v) Suponha que f e g so suaves e seus cones tangentes so distintos. Ento, aps a a a o uma mudana de coordenadas que em virtude do item iii) no altera o c a ndice de interseo, ca podemos assumir que f = X + f1 e g = Y + g1 , onde f1 , g1 M2 . Podemos ento escrever a f = Xu + Y f2 e g = Y v + Xg2 onde u, v so unidades e f2 , g2 M. a Observe que Y (v u1g2 f2 ) = Y v Y u1 g2 f2 = Y v u1 g2 (f Xu) = Y v + Xg2 u1 g2 f = g u1 g2 f f, g . Como (v u1 g2 f2 )(0, 0) = v(0, 0) = 0, segue que v u1 g2 f2 unidade e portanto e Y f, g . De forma similar mostra-se que X f, g . Ento segue que f, g = X, Y , e portanto a K[[X, Y ]] K[[X, Y ]] = dimK = 1. f, g X, Y
I(f, g) = dimK
Por outro lado, suponha que mult(f ) 2 ou mult(g) 2, ou ainda, que (f ) e (g) suaves com reta tangente em comum. Aps uma mudana de coordenadas, suponha que o c f = Y f1 + f2 e g = Y g1 + g2 com f2 , g2 M2 e f1 , g1 K[[X, Y ]]. Logo f, g Y + M2 e
4.1 Indice de Interseo ca portanto, dimK Assim, I(f, g) 2. K[[X, Y ]] K[[X, Y ]] K[[X]] dimK = dimK = 2. 2 f, g Y +M X2
83
vi) A prova segue direto da denio de ca ndice de interseco, uma vez que f, g = ca f, g + hf .
Proposio 4.3. Sejam f K[[X, Y ]] uma srie de potncias irredut com degY (f ) = n ca e e vel e (1 (t), 2 (t)) uma parametrizao da curva (f ). A aplicao ca ca H : K[[X, Y ]] K[[1 (t), 2 (t)]] g g(1(t), 2 (t))
um homomorsmo sobrejetor de K-lgebras com ker(H ) = f . e a Demonstrao: H claramente um homomorsmo sobrejetor e f Ker(H ). ca e Por outro lado, seja g Ker(H ). Se dividirmos g por f , podemos escrever g = qf + r, onde q K[[X, Y ]] e r K[[X]][Y ] com degY (r) < n. Como g, f Ker(H ) temos que r Ker(H ). Se r = 0, ento g = qf f e o resultado est provado. Se r = 0, ento seja a a a s = mdc(f, r) K[[X]][Y ] com degY (s) degY (r) < n. Deste modo, existem a, b K[[X]][Y ] tais que s = af + br Ker(H ), ou seja, s(1 (t), 2 (t)) = 0, isto , s no unidade. Como e a e s | f , temos f = ps com p K[[X]][Y ] e n = degY (f ) = degY (p) + degY (s) < degY (p) + n, ou seja, degY (p) > 0, isto , p no unidade. Mas deste modo f seria redut e a e vel, uma contradio. ca
Denio 4.4. Seja f K[[X, Y ]] irredut ca vel. Denimos a valoraao associada a f de c
4.1 Indice de Interseo ca um elemento g K[[X, Y ]] como sendo vf (g) = ordt g((1 (t), 2 (t)) = ordt (H (g)), onde (1 (t), 2 (t)) uma parametrizao de f . Note que vf (g) = sempre que g f . e ca
84
Para o prximo teorema, usaremos um resultado de Algebra Linear que omitiremos o a demonstrao por fugir dos objetivos deste trabalho. ca Teorema 4.5. Sejam V um espao vetorial, L : V V uma transformao linear injetiva c ca e W um subespao vetorial de V , tal que L(V ) W . Temos que c
V i) W L(V ) ; L(W )
ii)Se
V W
V L(V )
possuem dimenso nita, ento a a dimK V W = dimK . L(W ) L(V )
Demonstrao: Ver [1], Teorema 4.3. ca O conceito anterior permite computar o ndice de interseo de outro modo, como ca mostra o prximo resultado. o Teorema 4.6. Sejam f e g pseudo-polinmios em K[[X]][Y ], onde f = f1 ...fr uma decomo e posio de f em fatores irredut ca veis, com fi = fj para i = j. Ento a
r
I(f, g) =
i=1
vfi (g).
Observe que se f for irredut vel, ento I(f, g) = vf (g). a Demonstrao: Se f e g possuem componentes comuns, nada temos a provar pois os dois ca termos da igualdade acima so innitos. a Suponha agora que f e g no possuem fatores comuns. Dos itens (ii) e (iv) do a
4.1 Indice de Interseo ca Teorema 4.2, temos que

r
85
I(f, g) = I(f1 . . . fr , g) = I(f1 , g) + I(f2 , g) + . . . + I(fr , g) =

i=1
I(fi , g).
E suciente mostrar que se f irredut e vel, ento I(f, g) = vf (g), onde vf (g) = ordt g((t), (t)) a a valorao de g com respeito a f e ((t), (t)) uma parametrizao de f . e ca e ca Considere a K-aplicao linear, ca L : K[[t]] K[[t]] h(t) h(t).g((t), (t)).
Como f no uma componente de g, segue da Proposio 4.3 que g((t), (t)) = 0, pois a e ca g f . Logo, se h(t).g((t), (t)) = 0, temos que h(t) = 0 e portanto L injetora. e Seja W = A = K[[(t), (t)]] um K-subespao vetorial de V = K[[t]]. Note que c
V Of A = K[[(t), (t)]] e que dimK W < .
Considere : K[[X, Y ]] K[[(t), (t)]] g(X, Y ) g((t), (t)). Claramente uma transformao linear sobrejetora com Ker() = f . Assim, pelo e ca Teorema do Isomorsmo temos K[[X, Y ]] K[[(t), (t)]] = A . f
Of =
Observe que Of A W = g A g((t), (t)) L(W ) pois ( g ) = A g((t), (t)).
4.1 Indice de Interseo ca Por outro lado, temos V K[[t]] = . L(V ) g((t), (t))
V E fato conhecido que dimK W < Veja [H] Corolrio do Teorema 4.2, e a
86
dimK
V = multt (g((t), (t))) < . L(V )
Assim, pelo teorema anterior, temos Of W V = dimK = dimK = multt (g((t), (t))) = vf (g) g L(W ) L(V )
I(f, g) = dimK como quer amos.
O teorema abaixo os d uma estimativa inferior para o a ndice de interseo entre ca duas curvas, em termos de suas multiplicidades. Teorema 4.7. Sejam f, g M, temos que I(f, g) mult(f )mult(g), com igualdade ocorrendo se, e somente se, (f ) e (g) no possuem tangentes em comum. a Demonstrao: Sejam f = f1 ...fr e g = g1 ...gs as respectivas decomposies de f e g em ca co fatores irredut veis. Pelo Teorema 4.2, tens (ii) e (iv), temos que
I(f, g) =
i,j
I(fi , gj ).
4.1 Indice de Interseo ca Por outro lado, temos que

r s
87
mult(f )mult(g) =
i=1
mult(fi )
j=1
mult(gj ) =
i,j
mult(fi )mult(gj ),
ou seja, devemos mostrar que
I(fi , gj )
i,j i,j
mult(fi ).mult(gj ).
Note que suciente mostrar o resultado para f e g irredut e veis. Pelo item (iii) do Teorema 4.2 podemos supor que f um polinmio de Weierstrass e o f = Y n + a1 (X)Y n1 + . . . + an (X).
Seja (1 (t) = tn + . . . , 2 (t) = tm + . . .) uma parametrizao para (f ). Pelo Lema ca ??, podemos considerar m > n. Como g irredut e vel, pelo Lema da Unitangente 3.3 podemos escrever g(X, Y ) = (aX + bY )k + gk+1 (X, Y ) + . . . , onde gm+1 Mm+1 . Assim, I(f, g) = multt ((a1 (t) + b2 (t))k + gk+1(1 (t), 2 (t)) + . . .). Basta analisar a multiplicidade de (a1 (t)+b2 (t))k pois, a multiplicidade das demais parcelas supera a multiplicidade da parcela inicial. Como (a1 (t) + b2 (t))k = (a(tn + . . .) + b(tm + . . .))k = (atn + btm )k + . . . ,
4.1 Indice de Interseo ca a menor ordem ocorre em (atn + btm )k , mas

k n m k
88
(at + bt ) =
s=0
(a)ks (b)s tn(ks)+ms + . . . ,
como m > n, temos que a menor ordem ocorre quando s = 0, isto , e (atn + btn )k = (a)k tnk + . . .
o que mostra que I(f, g) nk = mult(f )mult(g) com igualdade se, e somente se, a = 0, isto , o cone tangente de (g) no (Y ), o que equivale a dizer que (f ) e (g) possuem cones e a e tangentes distintos. Vamos apresentar uma frmula obtida por Max Noether, que relaciona o o ndice de interseo de duas curvas com sua multiplicidade e a de suas transformadas estrita. ca Seja f K[[X, Y ]] irredut de multiplicidade n e regular em Y . Sabemos que f vel possui uma parametrizao da forma ((t), (t)) com m = multt ((t)) > n = multt ((t)). ca Pelo Lema ??, podemos, aps uma mudana de coordenadas, assumir que n m. o c
n Considere f (1) (X1 , Y1 ) = (f ) = X1 f (X1 , X1 Y1 ). Pelo Teorema 3.2, item (iv), f (1) (X1 , Y1 )
regular em Y1 de ordem n e e f (1) (t), (t) (t) f ((t), (t)) = 0, ((t))n
segue que (t), (t) (t)
uma parametrizao de f (1) . Logo, para g K[[X, Y ]], temos e ca I( (f ), g) = multt g (t), (t) (t)
89
Proposio 4.8. Sejam (f ) e (g) duas curvas algebrides planas com f irredut ca o vel, ento a I(f, g) = mult(f )mult(g) + I(f (1) , g (1) ).
Demonstrao: Denote por n e n as multiplicidades de f e g, respectivamente. Aps uma ca o mudana de coordenadas, que no altera a multiplicidade de interseo, podemos dizer que c a ca f regular em Y . Seja ((t), (t)) uma parametrizao para (f ), ento (t), (t) e ca a (t) parametrizao para f (1) , assim temos ca (t) (t) g (t), (t) (t) (t) ((t))n
uma e
I(f (1) , g (1) ) = multt g (1) (t),
= multt
= n.n + multt (g((t), (t))) = n.n + I(f, g), ou seja, I(f, g) = n.n + I(f (1) , g (1) ) = mult(f )mult(g) + I(f (1) , g (1) ).
Sejam f e g duas curvas algebrides planas irredut o veis. Como vimos existe uma sequncia nita de N transformaes do tipo ou que so necessrias para que f (N ) e e co a a g (N ) possuam tangentes distintas. Esta observao, junto com a proposio anterior nos d ca ca a a clssica frmula obtida por Max Noether. a o Teorema 4.9. Sejam (f ) e (g) duas curvas algebrides planas irredut o veis. Com as notaes co anteriores, temos que
N
I(f, g) =
i=0
mult(f (i) )mult(g (i) ),
onde f (0) = f e g (0) = g. Demonstrao: ca Teorema 4.7. Segue diretamente da aplicao sucessiv da proposio anterior e do ca ca
90
Sejam (f ) e (g) duas curvas planas irredut veis com parametrizaes de Hamburgerco Noether dadas, respectivamente, por zj1 =
i
i aji zj + zj j zj+1 ,
com 0 j r
zj1 =
i
aji(zj )i + (zj )hj zj+1 ,
com 0 j r . .

Considere s o maior inteiro para o qual h = h , h1 = h1 , . . . , hs1 = hs1 e ajk = ajk para j < s e k hj . Seja i o menor ndice tal que asi = asi . Note que i hs + 1 e i hs + 1. Note que o inteiro N = h + h1 + ... + hs1 + i 1 indica o nmero de transformaes u co quadrticas que mantm as curvas com tangentes comuns. a e
s1

Proposio 4.10. Mantendo as notaes anteriores, dena S = ca co

j=0
hj nj nj , onde nj =
ordt (zj ) e nj = ordt (zj ). i) Se i hs e i hs , ento a I(f, g) = S + ins ns .

ii) Se i = hs + 1, ento a I(f, g) = S + hs ns ns + ns+1 ns .

iii) Se i = hs + 1, ento a I(f, g) = S + hs ns ns + ns+1 ns .

Demonstrao: Lembremos que pela frmula de Max Noether temos que ca o

N +1
I(f, g) =
i=0
mult(f (i) )mult(g (i) ),
4.1 Indice de Interseo ca onde N = h + h1 + . . . + hs1 + i 1.
91
Temos que as diferentes multiplicidades que ocorrem nas transformaes quadrtticas co a de (f ) e (g) de modo a manter as curvas com mesmas tangentes so n0 , n1 , ..., ns e n0 , n1 , ..., ns a com os nj repetido hj vezes e os nj repetido hj vezes. Por hiptese temos que hj = hj e o ajk = ajk quando j < s e k < hj . Assim as multiplicidades nj e nj ocorrem hj = hj vezes. Logo,
i

I(f, g) = h0 n0 n0 + . . . + hs1 ns1 ns1 +

l=1 i
mult(f (H+l) )mult(g (H+l) )
=S+
l=1
mult(f (H+l) )mult(g (H+l) ).
onde H = h + h1 + . . . + hs1 . i) Sabemos que as multiplicidades ns e ns , devem ocorrer respectivamente hs e hs vezes. Se i hs e i hs , ento como N = h+ h1 + ...+ hs1 + i1 a quantidade de vezes de a e transformaes quadrticas sob (f ) e (g) para manter as curvas com mesma tangente, ento co a a N + 1 a quantidade de exploses necessrias para obtermos curvas com tangentes distintas. e o a Assim as multiplicidades ns e ns devem ocorrer i vezes. Portanto, I(f, g) = S + ins ns .

ii) Como observamos, temos

i
I(f, g) = S +
l=1
mult(f (H+l) )mult(g (H+l) ).
Note que a multiplicidade ns ocorre hs vezes na resoluo cannica de (g) e so necessrias ca o a a N + 1 exploses para obtermos curvas com tangentes distintas, ou seja, a multiplicidade ns o
4.2 Semigrupo de Valores deve ocorrer hs + 1 vezes. Assim,

i
92
I(f, g) = S +
l=1
mult(f (H+l) )mult(g (H+l) ) = S + hs ns ns + ns ns+1 .
iii) Anlogo ao caso (ii), basta observar que nesse caso a multiplicidade ns deve a ocorrer hs + 1 vezes e assim obtemos

I(f, g) = S + hs ns ns + ns+1 ns .
4.2
Semigrupo de Valores
Iniciamos esta seo com a denio de semigrupo numrico. ca ca e
Denio 4.11. Um subconjunto N chamado de semigrupo ou monide numrico ca e o e se possui as seguintes propriedades: i) 0 ; ii) + para todo , . Exemplo 4.12. Dados inteiros 0 < v0 < . . . < vr , o conjunto = v0 , v1 , . . . , vr = {a0 v0 + . . . + ar vr ; ai N} um semigrupo, que chamamos semigrupo gerado por v0 , v1 , . . . , vr . e A prxima proposio mostra que todo semigrupo de N admite um conjunto nito o ca de geradores. Proposio 4.13. Seja N um semigrupo, existe um subconjunto {v0 , v1 , ..., vg } com ca 0 < v0 < v1 < ... < vg e g < v0 tal que = v0 , v1 , ..., vg .
4.2 Semigrupo de Valores Demonstrao: Considere a sequncia ca e v0 v1 v2 . . . vi . . . = min \ {0} = min \ v0 = min \ v0 , v1 = = min \ v0 , v1 , . . . , vi1 . = . .
93
Dados vk e vj como acima com k > j, temos que vk vj mod v0 . De fato, se vk vj mod v0 , ento vk vj = v0 com N. Assim vk = vj + v0 e a vk v0 , vj v0 , v1 , ..., vj . Absurdo, pois vk = min \ v0 , v1 , ..., vk1 . Segue assim que a sequncia acima estaciona para algum g, isto , = v0 , v1 , . . . , vg . e e Como vimos, dois geradores nunca so cngruos entre si modulo v0 . Assim, g < v0 . a o Observao 4.14. i) O natural v0 denido na proposio anterior chamado de multiplica ca e cidade do semigrupo ; ii) O conjunto de geradores {v0 , v1 , . . . , vr } dado no resultado anterior chamado de e sistema m nimo de geradores de . Considere uma curva (f ) dada parametricamente por X = 1 (t) Y = 2 (t) com 1 (t), 2 (t) K[[t]]. Podemos associar ` curva acima um semigrupo ou S(t), chamado semigrupo de a valores denido por:
= {multt g(1 (t), 2 (t)); g(1(t), 2 (t))} = 0; g K[[X, Y ]]}. Observao 4.15. de fato um semigrupo, pois temos que 0 = multt (1) e ca e
4.2 Semigrupo de Valores
94
dados , , ento existem g, h K[[X, Y ]] tais que multt (g(1(t), 2 (t))) = e a multt (h(1 (t), 2 (t))) = . Agora tome gh K[[X, Y ]] e observe que multt (gh(1(t), 2 (t)) = multt (g(1(t), 2 (t)).h(1 (t), 2 (t))) = + .
Agora introduzimos uma importante relao de equivalncia entre curvas planas. ca e Denio 4.16. Dizemos que duas curvas planas so equisingulares se elas possuem os ca a mesmos semigrupos de valores. Como comentamos anteriormente, na introduo do cap ca tulo, a equisingularidade uma importante relao de equivalncia entre curvas. Quando K = C e consideramos e ca e as curvas planas como conjunto de zeros de f C[[X, Y ]] em C2 , pode-se mostrar que a equisingularidade coincide com a equivalncia topolgica. O problema de classicao e o ca topolgica de curvas planas foi resolvido por Brauner, Burau e Zariski na dcada de 1930. o e Denio 4.17. Sejam f K[[X, Y ]] e = (1 (t), 2 (t)) uma parametrizao de f . Denca ca imos O := K[[1 (t), 2 (t)]] K[[t]]. Um resultado que utilizaremos, no que segue, que o corpo de fraes de O K((t)). e co e A demonstrao deste fato utiliza vrios resultados de Algebra Comutativa os quais fogem ca a do nosso objetivo principal, para o leitor interessado recomendamos [4]. Mostramos anteriormente que H : K[[X, Y ]] K[[1 (t), 2 (t)]] um homomorsmo e sobrejetor, com Ker(H ) = f , portanto K[[X, Y ]] O . f
Of =
Note que podemos escrever = {multt (g); g O \ {0}}. Como existem g, h O , tais que t =
g h
K((t)), temos que g = th e deste modo,
multt (h) = e multt (g) = multt (th) = multt (t) + multt (h) = 1 + . Assim, sempre
95
existem dois elementos consecutivos no semigrupo associado a uma curva. Tal fato permite provar que semigrupo de curvas planas admitem condutor c, isto , um elemento c , tal e que c 1 e c + para todo N. Observao 4.18. De fato. Um semigrupo = v0 , v1 , . . . , vr que possui dois elementos ca consecutivos admite um condutor c, pois se , + 1 , temos que 0, + 1, 2( + 1), 3( + 1), . . . , ( 1)( + 1) . Como mdc(, + 1) = 1, ento os elementos acima formam um sistema completo de resto a mdulo . Tome N tal que ( 1)( + 1), ento i( + 1) mod , com o a 0 i 1. Logo, i( + 1) = k, com k N, assim, = k + i( + 1) . Outro conceito importante que utilizaremos o que apresentamos a seguir. e Denio 4.19. Seja um semigrupo com condutor c e p \ {0}. A sequncia de ca e Apry de com respeito ` p denida por: e a e i) a0 = 0;
i1
ii) ai = min{ \
(aj + pN)}, com 1 i p 1.

j=0
A sequncia de Apry possui relevante propriedades como mostra o resultado abaixo. e e Proposio 4.20. Seja um semigrupo com condutor c e a0 < a1 < . . . < ap1 a sequncia ca e de Apry de com respeito ` p \ {0}. Temos: e a i) ai aj mod p;
p1
ii) =
i=0
(ai + pN);
iii) {p, a0 , a1 , . . . , ap1} um conjunto de geradores de ; e iv) c = ap1 p + 1. Demonstrao: ca
96
i) Suponha que ai aj mod p e ai > aj . Assim, ai aj = kp onde k N, ou seja, ai = aj + kp. Absurdo, pois contradiz a condio ii) da denio de sequncia Apry. ca ca e e ii) Segue da denio da sequncia de Apry. ca e e iii) Tome , ento existe um elemento al < da sequncia de Apry tal que a e e al mod p. Deste modo al = kp, ou seja, = al + kp al , p p, a1 , . . . , ap1 . Como p, a0 , . . . , ap1 , segue que {p, a0 , . . . , ap1 } gera . iv) Vamos mostrar que c 1 = ap1 p. Observe que dado N tal que ap1 , temos que = ai + kp para algum ai da sequncia de Apry de com respeito ` p. Como e e a ap1 ai devemos ter k N. Assim, . Agora note que, ap1 p . De fato, se ap1 p , ento, ap1 p ap1 mod p e assim ap1 no seria o elemento m a a nimo em sua classe residual mdulo p. o Tome agora N tal que, ap1 p < < ap1 . Temos ai mod p, para i < p1. Assim, ap1 p < = ai + p com Z. Logo, ap1 < ai + ( + 1)p, ou seja, + 1 > 0. Assim, 0 e = ai + p . Mostrando que ap1 p = c 1, e consequentemente c = ap1 p + 1.
Quando p a multiplicidade do semigrupo , chamaremos a sequncia de Apry de e e e com respeito ` p, simplesmente de sequncia de Apry de . a e e Exemplo 4.21. Considere o seguinte semigrupo de valores = 4, 6, 13 = {0, 4, 6, 8, 10, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, . . .},
4.2 Semigrupo de Valores a sequncia de Apry com respeito ` p = 6 : e e a e a0 = 0 a1 = min \ 6N = 4 a2 = min \ (6N (4 + 6N)) = 8 a3 = min \ (6N (4 + 6N) (8 + 6N)) = 13 a4 = min \ (6N (4 + 6N) (8 + 6N) a5 = min \ (6N (4 + 6N) (8 + 6N) (13 + 6N)) = 17 (13 + 6N) (17 + 6N)) = 21.
97
Logo, 0 < 4 < 8 < 13 < 17 < 21 a sequncia de Apry com resperito ` p = 6. e e e a Se considerarmos p = 4, obtemos a0 = 0 a1 = min \ 4N = 6 a2 = min \ (4N a3 = min \ (4N (6 + 4N)) = 13 (6 + 4N) (13 + 4N)) = 19.
Logo, 0 < 6 < 13 < 19 a sequncia de Apry de . e e e Pelo item iv) da proposio anterior temos que c = ap1 p + 1 = 19 4 + 1 = 16 ca o condutor deste semigrupo. e Como os elementos da sequncia de Apry so da forma ai = multt (gi (1 (t), 2 (t))) e e a com gi Of natural nos perguntar como obter um elemento gi Of que satisfaa a e c condio anterior. O prximo resultado nos auxilia nesta direo. Para tanto considere o ca o ca espao Mk denido no cap c tulo anterior. Proposio 4.22. Seja f K[[X]][Y ] um polinmio de Weierstrass irredut ca o vel de grau n. Assuma M1 = {0} e z0 = 1. Ento para todo k = 0, ..., n 1 existe um elemento a zk = y k + Mk1 Of tal que vf (zk ) v(Mk1 ). Demonstrao: ca A prova construtiva. Seja ((T ), (T )) uma parametrizao de (f ). e ca
Observe que z0 = 1 y 0 + M1 e vf (z0 ) = vf (1) = 0 v(M1 ) = {}. Como f um e
98
polinmio de Weierstrass de grau n, temos que vf (X) = n. Agora tome, z1 = y g(X), onde o g(X) K[[X]] = M0 tem a propriedade vf (z1 ) = vf (y g(X)) = multt ((T ) g((T ))) = n = vf (K[[X]]) = vf (M0 ) com N, ou seja, vf (z1 ) vf (M0 ). Note que M1 = K[[X]] K[[X]]y. Tome agora g1 (X) = 0 (X) + 1 (X)y M1 , tal que z2 = y 2 0 (X) 1 (X)y y 2 + M1 e quando visto como uma srie em t, no possui e a nenhum termo em t de ordem mltiplo de n ou de ordem v(z1 ) mais um mltiplo de n. Logo, u u
f v(z2 )
= multt (z2 ((T ), (T ))) {n, n + vf (z1 )} = vf (M1 ). Assim, vf (z2 ) vf (M1 ). Procedendo dessa forma obtemos zk y k + Mk para k = 0, . . . , n 1, tais que
vf (zk ) vf (Mk1 ).
Exemplo 4.23. Seja (f ) a curva com parametrizao ca x = t4 y = t6 + t7 .
Temos que n = 4 e z0 = 1. Tome z1 = y, pois vf (z1 ) = vf (y) = vf (t6 + t7 ) = 6 vf (M0 ) = vf (K[[X]]) = 4N. Tome agora z2 = y 2 x3 y 2 + M1 . Temos que vf (z2 ) = vf (y 2 x3 ) = vf (2t13 + t14 ) = 3 vf (M1 ) = 4N 6 + 4N.
Considerando z3 = y 3 x3 y y 3 + M2 , temos vf (z3 ) = vf (2t19 + 3t20 + t21 ) = 19 vf (M2 ) = 4N 6 + 4N 13 + 4N.
Logo, obtemos vf (z0 ) = 0, vf (z1 ) = 6, vf (z2 ) = 13 e vf (z3 ) = 19. Observao 4.24. Segue da proposio anterior que Mk = K[[X]]K[[X]]z1 . . .K[[X]]zk . ca ca Em particular, Of = K[[X]] K[[X]]z1 . . . K[[X]]zn1 , ou seja, temos que os elementos zk com k = 0, . . . , n 1 tambm geram Of como K[[X]]e mdulo. o
99
Lema 4.25. (Azevedo) Suponha que para k = 0, ..., n1 temos elementos zk = y k +Mk1 com vf (zk ) vf (Mk1 ), onde z0 = 1 e M1 = {0}. Ento para todo i e j com 0 i, j, i+j n1, a temos que vf (zi ) + vf (zj ) vf (zi+j ). Demonstrao: ca Escreva zi = y i + ai e zj = y j + aj com ai Mi1 e aj Mj1 . Temos
zi zj = y i+j + aj y i + ai y j + ai aj . Como zi+j = y i+j +ai+j com ai+j Mi+j1 , temos zi zj = zi+j ai+j +aj y i +ai y j +ai aj . Agora note que b = ai+j + aj y i + ai y j + ai aj Mi+j1 . Suponha que vf (zi+j ) < vf (zi zj ). Como b = zi zj zi+j temos vf (b) = vf (zi zj zi+j ) = min{vf (zi zj ), vf (zi+j )} = vf (zi+j ). Ento, vf (zi+j ) vf (Mi+j1 ). Absurdo! Portanto, a vf (zi+j ) vf (zi ) + v(zj ).
Observao 4.26. Temos que vf (zi ) < vf (zj ) quando 0 i < j n1. De fato, como j > i, ca podemos escrever j = i + (j i), ento pelo lema anterior temos vf (zi ) < vf (zi ) + vf (zji) a vf (zi+(ji) ) = vf (zj ). Proposio 4.27. Sejam f K[[X]][Y ] um polinmio de Weierstrass irredut de grau n, ca o vel z0 = 1 e z1 , . . . , zn1 elementos de Of , tais que, zk y k + Mk1 com vf (zk ) vf (Mk1 ). Denote por [r] a classe residual do inteiro r mdulo n, ento para todo k = 0, . . . , n 1, o a temos que
k
i) vf (Mk ) =
{vf (zi )} + nN;

i=0
ii) vf (zi ) vf (zj ) mod n, para todo i, j = 0, . . . , n 1 com i = j. iii) vf (zk ) = min{[vf (zk ] Demonstrao: ca i) Podemos assumir que n > 1, pois se n = 1, ento k = 0 e vf (M0 ) = vf (K[[X]]) = N. a S(f )}, para todo k = 0, . . . , n 1.
100
Procedemos por induo sobre k. Suponha que para todo k, tal que 1 k n 1 ca temos vf (Mk1 ) = {vf (zi ) + n; 0 i k 1; N}. Pela Observao 4.24 Mk = Mk1 + K[[X]]zk . Assim, podemos escrever qualquer elemento ca Mk na forma = + a(X)zk , com Mk1 e a(X) K[[X]]. Temos que vf () = vf (a(X)zk ). De fato, se o contrrio fosse verdade, usando a a hiptese de induo, ter o ca amos para algum i k 1, uma relao do tipo vf (zi ) + n = ca n + vf (zk ),, ou seja, vf (zk ) vf (zi ) = n n = ( )n. Como i k 1 < k, pela Observao (4.26), temos vf (zk ) vf (zi ) > 0, ou seja, ca ( ) > 0. Assim, vf (zk ) = vf (zi ) + ( )n vf (Mk1 ). O que um absurdo, pois e vf (zk ) vf (Mk1 ). Portanto, vf () = vf (a(X)zk ). Sendo assim, segue que vf () = vf () ou vf () = vf (a(X)zk ).
k1 k
1) Se vf () = vf (), ento vf () vf (Mk1 ) = a

i=0
{vf (zi ) + nN}

k
{v(zi ) + nN}.
i=0
2) Se vf () = vf (a(X)zk ), ento vf () vf (zk ) + N a

i=0 k
{vf (zi ) + nN}.
Portanto, vf (Mk ) =
{vf (zi ) + nN}.

i=0
ii) Suponha por absurdo que vf (zi ) vf (zj ) mod n para algum par de inteiros i e j) com i = j. Sem perda de generalidade suponha que i > j, ento vf (zi ) = vf (zj ) + n. Segue a da Observao 4.26 que > 0. Logo, por (i), temos que vf (zi ) vf (Mj ). Mas j < i, ou seja, ca vf (zi ) vf (Mj ) vf (Mi ) um absurdo. Portanto vf (zi ) = vf (zj ) mod n. iii) Tome S(f ) = vf (Of \ {0}), ento existe h Of tal que vf (h) = . Alm a e disso, se vf (h) = [vf (zk )], ento vf (Mk1 ) e assim, h Mk \ Mk1 . a Pelo item (i), temos = vf (zk ) + n, com 0, Portanto, min{[v(zk ] S(f )} =
4.2 Semigrupo de Valores v(zk ).
101
As condies (ii) e (iii), da proposio acima, dizem que ai = vf (zi ) para i = co ca 0, . . . , n 1, formam a sequncia Apry de S(f ). e e Corolrio 4.28. Sejam i e j dois inteiros distintos, tais que 0 i, j n1 e i (X), j (X) a K[[X]] \ {0}, ento vf (i (X)zi ) vf (j (X)zj ) mod n. a Demonstrao: Suponha que vf (i (X)zi ) vf (j (X)zj ) mod n. Sem perda de generalica dade podemos supor que vf (i (X)zi ) > vf (j (X)zj ), ento vf (i (X)) + vf (zi ) vf (j (X)) a vf (zj ) = n, com N. Como vf (i (X)) = i n e vf (j (X)) = j n, temos que
v(zi ) v(zj ) = n i n + j n = ( i + j )n.
Se vf (zi ) > vf (zj ), ento ( i + j ) > 0, ento vf (zi ) = vf (zj ) + ( i + j )n vf (Mj ), a a um absurdo. Se vf (zj ) > vf (zi ), ento vf (zj ) vf (zi ) = ( i + j )n = ( + i j )n, ou a seja, ( + i j ) > 0 e vf (zj ) = vf (zi ) + ( + i j )n vf (Mi ), tambm um absurdo. e Portanto vf (i (X)zi ) vf (j (X)zj ) mod n.
Corolrio 4.29. Seja 1 = w0 , w1 , ..., wn1 Of , tais que a i) wk y k + Mk1 para todo k = 0, . . . , n 1. ii) vf (w0 ), vf (w1 ), . . . , vf (wn1 ) so dois a dois no congruentes mdulo n. a a o Ento, vf (wk ) vf (zk ) para todo k = 0, . . . , n 1. a Demonstrao: Em primeiro lugar devemos mostrar que vf (wk ) no pertence a vf (Mk1 ). ca a
k1
Temos pelo item (i) da proposio anterior que vf (Mk1 ) = ca

i=0
{vf (zi ) + nN}. Se vf (wk )
vf (Mk1 ) ento vf (wk ) vf (zr ) mod n para algum r < k. a
4.2 Semigrupo de Valores Mas observe que w0 M0 M1 ... Mk1 w1 M1 M2 ... Mk1 . . . wk1 Mk1 .
102
Pela Proposio 4.27, item (ii), temos que vf (zi ) vf (zj ) mod n, para todo i, j = 0, . . . , 1, ca com i = j. Assim, temos que
vf (Mk1 ) = {vf (z0 ) + nN}
...
{vf (zk1 ) + nN},
uma unio disjunta, pois nenhum elemento vf (zi ) pertence a classe residual de outro elee a mento vf (zj ). Por hiptese temos que nenhum vf (wi ) deixa resto igual a outro vf (wj ) na diviso o a por n e como vf (wi ) vf (Mk1 ) para todo i = 0, . . . , k 1. Ento devemos ter que cada a vf (wi ) pertence a uma unica classe residual {vf (zi + nN}, ou seja, vf (wj ) vf (zr ) mod n para algum r = 0, . . . , n 1. Mas vf (wk ) vf (zr ) mod n, ento vf (wk ) vf (wj ) mod n, a absurdo, pois por hiptese vj (wi ) vj (wj ) mod n, para todo i, j = 0, . . . , n 1. Portanto, o vf (wk ) no pertence a vf (Mk1 ). a Para concluir a prova, observe que wk y k + Mk1 Mk e vf (wk ) no pertence a a vf (Mk1 ), ou seja, estamos nas hipteses da Proposio 4.27, e assim podemos aplicar os o ca resultados para wk . Mas antes observe que
k
vf (wk )
{vf (zi ) + nN},

i=0
e vf (wk ) vf (Mk1 ), ento vf (wk ) {vf (zk ) + nN} e assim, vf (wk ) = vf (zk ) + n com a N, ou seja, [vf (wk )] = [vf (zk )].
4.3 Semigrupos e Resoluo de singularidades ca Pelo item (iii) da Proposio 4.27, temos que ca
103
vf (wk ) = min{[vf (wk )] S(f )} = min{[vf (zk ] S(f )} = vf (zk ).
Portanto, vf (wk ) = vf (zk ), para todo k = 0, . . . , n 1.
4.3
Semigrupos e Resoluo de singularidades ca

Nesta seo relacionaremos o semigrupo de uma curva plana singular com a seca
quncia de multiplicidade obtida pelo processo de resoluo de singularidades na subseo e ca ca 4.2. Observao 4.30. Seja f (X, Y ) = a0 (X)Y n + a1 (X)Y n1 + . . . + an (X) + Y n+1 h(X, Y ) ca com a0 (0) = 0 e mult(ai (X)) > i, ento se f (1) = (f ) a transformada estrita de f por a e temos que I(f (1) , Y1 ) = mult(an (X)) n e I(f (1) , X1 ) = n. De fato, como f (1) = b0 (X1 )Y1n +b1 (X)Y1n1 +. . .+X1 Y1n+1 h(X1 , X1 Y1 ) com bi (X1 ) =
ai (X1 ) i X1
temos que mult(bi (X1 )) > 0 para todo i > 0 e assim I(f (1) , X1 ) = I(b0 (X1 )Y1n , X1 ) =
I(Y1n , X1 ) = n I(f (1) , Y1 ) = I(bn (X1 ), Y1 ) = I( an (X1 ) , Y1 ) = I(an (X1 ), Y1) n = mult(an (X1 )) n, n X1
mult(an (X1 ))
sendo que a ultima igualdade segue do fato de que podemos escrever an (X1 ) = uX1 com u K[[X, Y ]] unidade.
O prximo lema indica que h uma relao de incluso entre os semigrupos da curva o a ca a e de sua transformada estrita. Lema 4.31. Seja f K[[X, Y ]] uma srie de potncias irredut de multiplicidade n, regular e e vel em Y e f (1) = (f ) a transformada estrita de f . Ento S(f ) S(f (1) ). a
4.3 Semigrupos e Resoluo de singularidades ca Demonstrao: ca Assim, Of Of (1) .

n Seja g Of , ento g = g + f = g + X1 f (1) a

104
K[[X1 ,Y1 ]]a f (1)
= Of (1) .
Agora tome S(f ), ou seja, = I(f, h) = vf (h) = ordth((T ), (T )), onde h Of e ((T ), (T )) uma parametrizao de f . e ca
n n Como f (X1 , X1 Y1 ) = X1 f (1) (X1 , Y1) temos que = I(f, h) = I(X1 f (1) , h) =
nI(X1 , h) + I(f (1) , h). Note que se h(X, Y ) = X1 (X1 , Y1 ) + l(Y1 ), ento I(X1 , h) = I(X1 , X1 (X1 , Y1 ) + a l(Y1 )) = I(X1 , Y1d u) = dI(X1 , Y1 ) = d, com l(Y1 ) = Y1d u onde u uma unidade em K[[X, Y ]]. e Pela observao anterior n S(f (1) ). Logo, = nd + I(f (1) (X1 , Y1 ), h) S(f (1) ). ca Portanto, S(f ) S(f (1) ). O prximo resultado relaciona as sequncias de Apry do semigrupo S(f ) e S(f (1) ). o e e Proposio 4.32. Sejam f K[[X, Y ]] uma srie de potncias irredut ca e e vel, regular em Y com cone tangente (Y n ), f (1) = (f ), a0 < a1 < . . . < an1 e a0 < a1 < . . . < an1 respectivamente as sequncias Apry de S(f ) e S(f (1) ), com respeito ao inteiro n. Ento, e e a aj = aj + jn, para todo j = 0, . . . , n 1. Demonstrao: ca Da Obserao 4.30, temos que I(f (1) , X1 ) = n S(f (1) ). Dessa forma, ca

faz sentido calcular a sequncia de Apry de S(f (1) ). e e Como {a0 , a1 , . . . , an1 } forma um sistema residual completo mdulo n, o conjunto o {a0 , a1 + n, ..., an1 + (n 1)n} tambm um sistema residual completo mdulo n. Pelo e e o Corolrio 4.29, suciente mostrar que para todo k = 0, . . . , n 1 existe zk y k + Mk1 , tal a e que vf (zk ) = ak + kn. Para todo k = 0, . . . , n 1 dena Mk1 de forma anloga ` de Mk relativo ` f (1) a a a

4.3 Semigrupos e Resoluo de singularidades ca ao invs de f . Seja zk = e
105 + Mk1 Of (1) tal que v(zk ) = ak , cuja

y1 X1
+ mk1
y1 k ) X1
existncia assegurada pelas Proposies 4.22 e 4.27. e e co

k Multiplicando zk por X1 para k = 0, . . . , n 1, obtemos
k k X1 zk = X1
yk + mk1 k X1
k = y k + X1 mk1 y k + Mk1 .
Alm disso, denotando zk = X k zk temos e vf (1) (zk ) = vf (1) (X k zk ) = vf (1) (X k ) + vf (1) (zk ) = kn + ak , para todo k = 0, . . . , n 1. Logo,

vf (1) (z0 ) = a0 + 0n, vf (1) (z1 ) = a1 + 1n, . . . , vf (1) (zn1 ) = an1 + (n 1)n. a a o Note que vf (1) (z0 ), vf (1) (z1 ), . . . , vf (1) (zn1 ) so dois a dois no congruentes mdulo n. Portanto, pelo Corolrio 4.29, v(zk ) = v(wk ) = ak + kn para todo k = 0, . . . , n 1. a
O resultado anterior, permite obter concluses importantes e interessantes. o Corolrio 4.33. Sejam c e c(1) , respectivamente, os condutores de S(f ) e S(f (1) ). Ento a a c = c(1) + n(n 1) onde n a multiplicidade de f . e Demonstrao: Sabemos da Proposio 4.20 que c = an1 (n 1) e c(1) = an1 (n 1). ca ca Da Proposio anterior temos que an1 = an1 + (n 1)n. logo, ca c = an1 + (n 1)n (n 1) = c(1) + n(n 1).

4.3 Semigrupos e Resoluo de singularidades ca
106
Vimos no Lema 4.31 que S(f ) S(f (1) ), o prximo resultado estreita ainda mais o esta relao. ca Corolrio 4.34. S(f (1) ) e mult(f ) determinam S(f ) e a rec a proca tambm verdadeira. e e Demonstrao: ca

Dados S(f (1) ) e n = mult(f ) podemos calcular a sequncia Apry 0 = e e
a0 < a1 < . . . < an1 de S(f (1) ) com respeito a n S(f ) S(f (1) ). Pela Proposio 4.32, ca podemos obter a sequncia de Apry de S(f ) com respeito a n, ou seja, a0 = a0 + 0n < a1 = e e a1 + 1n < . . . < an1 = an1 + (p 1)n. Como, pela Proposio 4.20, {n, a1 , . . . , an1 } um conjunto de geradores de S(f ), ca e obtemos S(f ). Por outro lado, dado S(f ) podemos calcular a sequncia de Apry a0 < a1 < . . . < e e an1 de S(f ) com respeito a n = mult(f ) S(f ) S(f (1) ). Novamente pela Proposio ca 4.32, temos que aj = aj jn para j = 0, . . . , n1, formam a sequncia de Apry para S(f (1) ) e e com respeito a n. Assim, {n, a1 , . . . , an1 } um conjunto de geradores de S(f (1) ) e dessa e forma obtemos S(f (1) ).

O resultado anterior permite reformular a noo de equisingularidade em termos da ca sequncia de multiplicidades que ocorre na resoluo cannica de uma curva. e ca o Corolrio 4.35. Duas curvas planas so equinsigulares se, e somente se, elas possuem a a a mesma sequncia de multiplicidade na suas resolues cannicas. e co o Demonstrao: ca Considere a sequncia de multiplicidade na resoluo cannica de uma e ca o
curva (f ): mult(f ), mult(f (1) ), mult(f (2) ), . . . , mult(f (N ) ) = 1. Como f (N ) suave, o semigrupo associado a ela S(f (N ) ) = N. Alm disso, a e e e sequncia de Apry de N dada por aN = i. Como conhecemos mult(f (N 1) ), pela proposio e e e ca i anterior podemos determinar S(f (N 1) ).
107
Usando uma argumentao indutiva vemos que a sequncia de multiplicidade de f ca e determina e determinada pelo semigrupo S(f ). e Observao 4.36. Usando o Corolrio 4.33 repetidas vezes obtemos que o condutor do ca a
N
semigrupo de uma curva (f ) c = e

i=0
n(i) (n(i) 1) onde n(0) = mult(f ), n(i) = mult(f (i) ) e
N o nmero de transformaes quadrticas necessrias para tornar a curva suave. e u co a a Vamos nalizar o trabalho, vericando se trs curvas, apresentadas de modos distine tos, so equisingulares. a Exemplo 4.37. Considere as seguintes curvas planas: 1) (f ) dada por f (X, Y ) = Y 4 2X 3 Y 2 4X 5 Y + X 6 X 7 . 2) (g) dada pela parametrizao ca x(t) = t4 + t5 y(t) = t6 + t7 X = t4 Y = t6 + t7 .
3) (h) dada pela parametrizao ca
Vamos vericar se tais curvas so equisingulares. a Mostramos no Exemplo 3.6 que {4, 2, 2, 1} a sequncia de multiplicidade que ocore e reram na resoluo cannica de (f ). A partir desses dados encontramos o semigrupo associca o ado a curva (f ). Como f (3) suave, temos que S(f (3) ) = N. e Sabemos que a0 = 0 < a1 = 1 a Sequncia de Apry desse semigrupo com respeito e e e a ` mult(f (2) ) = 2. Pela proposio 4.32, temos que a0 = 0 < a1 = 3 a sequncia de Apry ca e e e de S(f (2) ) com respeito 2 e pela Proposio 4.20 item (iii) temos que S(f (2) ) = 2, 3 . Como ca mult(f (2) ) = mult(f (1) ) = 2, obtemos a mesma sequncia de Apry de S(f (2) ) com respeito e e a ` 2 e novamente pelas Proposies 4.32 e 4.20 item (iii), temos que a0 = 0 < a1 = 5 co e
(1) (1) (2) (2) (3) (3)
108
a sequncia de Apry de S(f (1) ) com respeito ` 2 e S(f (1) ) = 2, 5 . Agora, calculamos a e e a sequncia de Apry de S(f (1) ) com respeito ` mult(f ) = 4 e dessa forma obtemos a0 = 0 < e e a a1 = 2 < a2 = 5 < a3 = 7. Sendo assim, segue que a0 = 0 < a1 = 6 < a2 = 13 < a3 = 19 a sequncia de Apry com respeito a 4, do semigrupo S(f ), e portanto S(f ) = 4, 6, 13 . e e e Agora iremos calcular o semigrupo associado a curva (g). Para tanto encontremos uma parametrizao de Hamburger-Noether para essa curva. Como ordt(x(t)) < ordt (y(t)), ca devemos dividir y por x, assim y = xy1 , onde y1 = t2 . Como ordt (y1 ) < ordt(x), tome y1 = z1 . Repitimos o processo para {z1 , x}, ou seja, dividimos x por z1 . Aassim, x = z1 w1 , onde w1 = t2 + t3 . Como ordt (w1 ) = ordt (z1 ), dividimos w1 por z1 e assim w1 = z1 (1 + w2 ), onde w2 = t. Como ordt (w2 ) < ordt (z1 ), tome w2 = z2 . Repitimos o processo para {z2 , z1 }, isto , dividimos z1 por z2 . Assim, z1 = z2 v1 , e onde v1 = t. Como v1 = z2 temos o m do processo. Agora analisando cada parte do procedimento acima, obtemos a seguinte parametrizaco de Hamburguer-Noether: a y = xz 1
(1) (1) (1) (1)
e Sabemos da Proposio 3.12 que as diferentes multiplicidades que ocorrem na sequncia que ca torna (g) suave, so exatamente os inteiros nj = vg (zj ) com 0 j r, e cada nj repetido a e hj vezes, lembrando que a parametrizo de Hamburger-Noether esta escrita na forma ca zj1 =
i i aji zj + zj j zj+1 , h
2 2 x = z1 + z1 z2 z = z2 1 2
com 0 j r. Assim, n0 = vg (z0 ) = vg (x) = multt (x) = 4. Observe que, se j = 0 ento, z1 = y = a xz1 . Logo, h0 = 1, ou seja, a multiplicidade 4 ocorre uma vez. Do mesmo modo obtemos: n1 = vg (z1 ) = 2, com h1 = 2; n2 = vg (z2 ) = 1, com h2 = . Dessa forma, obtemos que {4, 2, 2, 1} a sequncia de multiplicidade para a curva e e
4.3 Semigrupos e Resoluo de singularidades ca (g) que a mesma sequncia de multiplicidade da curva (f ). Logo, S(g) = 4, 6, 13 . e e
109
Observe que a curva (h) est na forma de uma parametrizao de Newton-Puiseux. a ca No Exemplo 4.23, calculamos os elementos zk = y k + Mk1 Oh , denidos na Proposio ca 4.22, a saber v(z0 ) = 0, v(z1 ) = 6, v(z2 ) = 13 e v(z3 ) = 19. Pela Proposio 4.27, temos que ca ai = v(zi ) para i = 0, . . . , n 1, a sequncia Apry de S(h), ou seja, a0 = 0 < a1 = 6 < e e e a2 = 13 < a3 = 19 a sequncia de Apry de S(h). Sendo assim, pela Proposio 4.20 item e e e ca (iii), temos que S(h) = 4, 6, 13 . Desta forma temos que as curvas apresentadas acima possuem o mesmo semigrupo de valores. Portanto, essas curvas so equisingulares. a
Indice Remissivo
Srie e potncias formais, 11 e
Bibliografia
[1] HEFEZ, A., Irreducible plane curve singularities, Niteroi, 2002. [2] CAMPILLO, A., Lecture Notes in Mathematics, Edited by A. Dold and B. Eckmann, Springer-Verlag, Berlin Heidelberg, New York, 1980. [3] J.W.P. Hirschfeld; G. Kochmaros; F.Torres. Algebraic Curves ober a nite Fild. 1l Ed. Princenton University Press, 2008. [4] Atiyah, M.f., Macdonald, I.G.; Introduction to Commutative Algebra. Addison Wesley Publishing Company (1969). [5] Walker, R.J.; Algebraic Curves. Springer (1991). [6] Brieskorn, E., Knorrer, H.; Plane Algebraic curves. Birkhreser Verlog (1986). a

Parametrizacaopuiseux 44 56

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Parametrizacaopuiseux 44 56

Enviado por

Direitos autorais:

Formatos disponíveis

UNIVERSIDADE ESTADUAL DE MARINGA CENTRO DE CIENCIAS EXATAS DEPARTAMENTO DE MATEMATICA PROGRAMA DE POS-GRADUACAO EM MATEMATICA

ORLANDO CATARINO DA SILVA

Parametrizaco de Curvas Planas a

ORLANDO CATARINO DA SILVA

Parametrizaco de Curvas Planas a

Orientador: Prof. Dr. Marcelo Escudeiro Hernandes

ORLANDO CATARINO DA SILVA

Parametrizaco de Curvas Planas a

Prof. Dr. Marcelo Escudeiro Hernandes Universidade Estadual de Maring/Presidente a

Profa. ???????? Universidade ???????

Prof. ??????? Universidade ??????

Profa. ?????? Universidade ??????

S acaba quando termina.. o

Parametrizaco de Curvas Planas a

4.1 Indice de Interseo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78 ca 4.2 Semigrupo de Valores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92

Anel das Sries de Potncias e e

todas somas formais do tipo

Qi elementos de K[[X, Y ]]. Por denio temos ca

Em K[[X, Y ]], denimos as seguintes operaes: co

1.1 Anel das Sries de Potncias e e 1. f + g = 2. f g =

Pi K[[X, Y ]] invers e vel se, e somente se,

Suponha que um elemento f =

Pi seja invers vel, ento existe a

Qi K[[X, Y ]] tal que

mas tal equao equivalente ao sistema de equaes: ca e co P0 Q0 = 1 P Q +P Q =0 1 0 0 1 . . . P Q + P Q + ...+ P Q = 0 n 0 n1 1 0 n . . .

1.1 Anel das Sries de Potncias e e

Qi K[[X, Y ]] temos que f g = 1 e, neste caso, f 1 = g. Portanto,

f invers em K[[X, Y ]]. e vel

P0 = 1 = 0. Alm disto, temos que f = e

Denio 1.3. Seja f = ca

Pi K[[X, Y ]], onde cada Pj um polinmio homogneo de e o e

1.2 Teorema da Preparao de Weierstrass ca

Demonstrao: Basta considerar f = ca

Qi , onde cada Pi e Qi so polinmios a o

homogneos de grau i com Pn = 0 e Qm = 0 e analisar as expresses de f.g e f g. e o

Teorema da Preparao de Weierstrass ca

1.2 Teorema da Preparao de Weierstrass ca

Fk (X, Y ), onde Fk um polinmio homogneo de grau k. e o e dij X i Y j , temos

T (Fk (X, Y )).

1.2 Teorema da Preparao de Weierstrass ca Agora observe que dij (X +Y u )i Y j =

dij Y ui+j +Xhk (X, Y ) = Fk (Y u , Y )+Xhk (X, Y ).

Assim, Fk (Y u , Y ) + Xh(X, Y ) = f (Y u , Y ) + Xh(X, Y ).

Como f (Y u , Y ) tem ordem au + b, temos que T (f ) regular em Y de ordem au + b. e

1.2 Teorema da Preparao de Weierstrass ca ou seja, Fm =

Para m = 1, temos F1 = G0 H1 + G1 H0 , isto , e

K[[Y ]]. Assim, G1 =

1) F1 = (1 + Y )H1 + G1 Y 4 . Como F1 = Y 4 , tomamos H1 = 0 e G1 = 1. 2) 0 = F2 = (1 + Y )H2 + G2 Y 4 . Basta tomar H2 = 0 e G2 = 0. 3) 2Y 2Y 3 = F3 = (1 + Y )H3 + G3 Y 4 . Assim,

e temos G3 = 4. 4) 2Y = F4 = (1 + Y )H4 + (2Y + 2Y 2 4Y 3 ) + G4 Y 4 . Como 2Y 2 + 6Y 3 6Y 4 + . . ., tome H4 = 2Y 2 + 6Y 3 , e temos G4 = 6. 5) F5 = 4Y 2 4Y = (1 + Y )H5 + (2Y 2 + 6Y 3 ) + G5 Y 4 . Como

H = Y 4 + 0X + 0X 2 + (2Y + 2Y 2 4Y 3 )X 3 + (2Y 2 + 6Y 3 )X 4 + (4Y + 10Y 2 10Y 3 )X 5 + (1 + 8Y 26Y 2 + 58Y 3 )X 6 + . . . K[[X]][Y ].

Uf = (U1 f1 )(U2 f2 ) = H1 H2 K[[X]][[Y ]].

1.3 Lema de Hensels

F = F p + (pr + h)q = F p + prq + hq = (F + rq)p + hq.

degY (g) + degY (p) = degY (gp) = degY (F hq) < m + n.

1.3 Lema de Hensels

fi (Y ) = p(Y )hi (Y ) + g1 (Y )hi1 (Y ) + . . . + gi1 (Y )h1 (Y ) + gi (Y )q(Y ).

1.4 Curvas Algebrides Planas o

p(Y )hi (Y ) + q(Y )gi (Y ) = fi (Y ) g1 (Y )hi1 (Y ) . . . gi1 (Y )h1 (Y )

Curvas Algebrides Planas o

1.4 Curvas Algebrides Planas o

Suponha que (f ) uma curva algebride plana de multiplicidade n, ento e o a

onde cada fi um polinmio homogneo em K[[X, Y ]] de grau i e fn = 0. Chamamos a curva e o e

1.4 Curvas Algebrides Planas o

ri = n, ci , ai , bi K para i = 1, ..., s e ai bj aj bi = 0, se i = j. Deste modo, o cone