1

Lema de Hensel y el Teorema de Newton

Ahora vamos a nalmente establecer y probar
Teorema de Newton. Sea k un campo algebraicamente cerrado, y sea
F(X, Y ) = Y
n
+a
1
(X)Y
n1
+ +a
n
(X) k ((X)) [ Y ]
sea un polinomio mnico de grado n > 0 en Y con coecientes a
1
(X), . . . , a
n
(X) en k((X)).
Asumamos que la caracterstica de k es cero o que ella no divide a n!. Entonces existe un entero
positivo m, el cual no es divisible por la caracterstica de k, tal que
F(T
m
, Y ) =
n

i=1
[Y
i
(T)] con
i
(T) k ((T))
Tenemos los siguientes dos suplementos
Suplementos I. si a
i
(X) k [[X]]parai = 1, 2, . . . , n entonces
i
(T) k [[T]] para i = 1, 2,
Suplemento 2. Si F(X, Y ) es irreducible en k((X)) [ Y ]entonces m = n est bien. En efecto, en este
caso, n es el mnimo permisible m. Adems, las races
1
(T), . . . ,
n
(T)pueden ser nombrados de modo
que
i
(T) =
1
(
i
T)donde es una raz n-sima de 1.. ( Una n
th
raz de 1 es llamada a ser primitiva
si todas las otras n
th
races de 1 son potencias de ella. Por ejemplo, en el caso de k = C tomamos
= e
2i
/n
Ejemplo. Consideremos Y
6
X
2
. Esto puede ser factorizado como Y
6
X
2
= (Y
3
X)(Y
3
X)(Y
3
+
X) = (Y X
1
/3
) . As 3 sirve como un denominador para el exponente de las series de potencias
fraccionarias relevantes en X. Esto es, 3 es un valor permisible de m. pero vemos que algn mltiplo de
3, digamos 15 por ejemplo debera hacer el trabajo as que podemos escribir Y
6
X
2
= (Y X
5
/15
)
Observacin. El conjunto de todos los exponentes m el cual hace el trabajo son los mltiplos de
algn entero positivo. Adems, n! debera siempre hacer el trabajo.
Historia. Newton prob este teorema alrededor de 1660. El fue revisado por Puiseux en 1850. La
historia relevante puede ser encontrada en G. Chrystal en su Textbook of algebra, vol 2, 396.
Usaremos las ideas Pre-Newton para dar una prueba de este teorema , la cual llamaremos la prueba
Shreedharacharya del teorema de Newton.
Sin embargo, usaremos el un lema post- Newton, el lema de hensel (1900). Brevemente, le lema de
Hensel dice que, dado F k [[ X ]] [ Y ], si F factoriza anteponiendo X igual a 0, entonces se factoriza.
Puede se establecido ms precisamente como sigue.
LEMA DE HENSEL. Sea k un campo, y sea
F(X, Y ) = Y
n
+a
1
(X)Y
n1
+ +a
n
(X) k [[X]] [ Y ]
sea un polinomio mnico de grado n > 0 en Y con coecientes a
1
(X), . . . , a
n
(X) en k [[ X ]].
Asumamos que F(0, Y ) = G(Y )H(Y ) donde
G(Y ) = Y
r
+b
1
Y
r1
+ +b
r
k [ Y ] y
H(Y ) = Y
s
+c
1
Y
s1
+ +c
s
k [ Y ]
son polinomios mnicos de grados r > 0 y s > 0en Y con coecientes b
1
, . . ., b
r
y c
1
, . . . ,c
s
en k
tal que GCD(G(Y ), H(Y )) = 1 ( Esto es, G(Y ) y H(Y )son coprimos lo cual signica que ellos no
tienen factor comn no constante en k [ Y ] .) Entonces existe polinomios mnicos nicos.
G(X, Y ) = Y
r
+a
1
(X)Y
r1
+ +a
r
(X) k [[ X ]] [ Y ] y
2
H (X, Y ) = Y
s
+b
1
(X)Y
s1
+ +b
s
(X) k [[ X ]] [ Y ]
de grados r y s en Y con coecientesb
1
(X), . . . , b
r
(X)yc
1
(X), . . . , c
s
(X) en k [[ X ]] tal que G(0, Y ) =
G(Y ), H(0, Y ) = H(Y ), yF(X, Y ) = G(X, Y )H(X, Y ).
Para explicar la evolucin de estas ideas, vamos a considerar el
TEOREMA DEL BINOMIO. Dice que (X + 1)
N
= X
N
+NX
N1
+ + 1 para algn entero no
negativo N. Ms generalmente, el dice que
(1 +X)
N
= 1 +NX +
N(N 1)
2!
X
2
+ +
N(N 1) (N i + 1)
i!
X
i
+
y que esta identidad se cumple cuando N es algn nmero racional. ( Actualmente, N incluso podra
ser algn nmero real o nmero complejo.)
As, en particular, si N =
m
n
, donde m y n son enteros con n > 0, entonces
(1 +X)
m
/n
= 1 +
m
n
X +
m
n
(
m
n
1) (
m
n
i + 1)
i!
X
i
+
y las series de potencias en el lado derecho pueden ser tomadas como una solucin para la ecuacin
Y
n
(1 +X)
m
= 0
Adems, todas las otras soluciones pueden ser obtenidas multiplicando las series de potencias por
potencias varias de la n
th
raz primitiva de 1.
Ntese que de la factorizacin obtenemos para Y
n
(1 + X)
m
es un caso especial del Lema de
Hensel. Poniendo X = 0 en la ecuacin obtenemos
(Y
n
1) =
n

i=1
(Y
l
)
,
donde
i
,=
j
para 1 i < j n. As si dividimos Y
n
1 en dos ( factores no constantes), entonces
ellos son coprimos. Por consiguiente, por el Lema de Hensel, podemos factorizar Y
n
(1 + X)
m
en
dos factores. Continuando en este sentido llegamos a la factorizacin de Y
n
(1 + X)
m
en factores
lineales. ( Note que cuando m deba estar en la presente situacin, 1 debera ser un valor permisible de
m ocurriendo en el caso relevante del Teorema de Newton.
PRUEBA DEL LEMA DE HENSEL. podemos escribirF = F(X, Y ), como series de potencias en
X con coecientes polinomiales en Y . As
F = F
0
(Y ) +F
1
(Y )X + +F
q
(Y )X
q
+ ,
donde F
0
= F
0
(Y ) = F(0, Y ) k [ Y ]es mnico con grad F
0
= n, y F
q
= F
q
(Y ) [ Y ] k con
grad F
q
< n para todos los q > 0. Deseamos encontrar
G = G
0
(Y ) +G
1
(Y )X + +G
i
(Y )X
i
+ , y
_

_
G
0
= G
0
(Y ) = G(Y ) k [ Y ] es m onico congrad G
0
= r,
H
0
= H
0
(Y ) = H(Y ) k [ Y ] es m onico congrad H
0
= s,
G
l
= G
l
(Y ) k [ Y ] con grad G
i
(Y ) < r para todo i > 0, y
H
j
= H
j
(Y ) k [ Y ] con grad H
j
(Y ) < s para todo j > o,
tal queF = GH. Ntese que F = GH expresa
3
F
q
=

i+j=q
G
l
H
j
para todo q 0
Hagamos induccin sobre q. El caso de q = 0 siendo obvio, sea q > 0. Supngase que se ha
encontrado G
i
y H
j
en k [ Y ], con grad G
i
< r y grad H
j
< s para 1 i < q y 1 j < q, satisfaciendo
la ecuacin de arriba para todos los valores de q ms pequeos que el dado. Ahora necesitamos encontrar
G
q
y H
q
en k [ Y ], con grad G
q
< r y grad H
q
< s, satisfaciendo la ecuacin
F
q
=

i+j=q
G
l
H
j
La ecuacin tambin se escribe como
G
0
H
q
+H
0
G
q
= U
q
,
donde
U
q
= F
q

l+j=ql<q,j<q
G
l
H
j
[ Y ] y claramente grad U
q
< n
As GCD (G
0
, H
0
) = 1, podemos escribir
G
0
H

+H
0
G

= 1 con G

k [ Y ] y H

k [ Y ]
Multiplicando ambos lados por U
q
obtenemos
G
0
H

q
+H
0
G

q
= U
q
con G

q
= U
q
G

k [ Y ] y H

q
= U
q
H

k [ Y ]
Ahora por el algoritmo de la divisin, podemos escribir H

q
= E
q
H
0
+H
q
donde E
q
, H
q
k [Y ] con
grad H
q
< s. Se deduce que U
q
= G
0
H
q
donde G
q
= G

q
E
q
G
0
k [ Y ]. Adems, si grad U
q
< n,
vemos que G
q
as obtenido automticamente cumplir la condicin grad G
q
< r.
As, por induccin hemos encontrado G
i
y H
j
con grad G
i
< r y grad H
j
< s para todos losi > o,
tal que
F
q
=

i+j=q
G
i
H
j
para todos los q 0
As hemos probado la existencia de G y H teniendo las propiedades deseadas. Para probar la
unicidad es suciente probar que
G
0
H
q
+G
q
H
0
= G
0
h
q
+g
q
H
0
para alg un g, h
q
k [ Y ]
G
0
(H
q
h
q
) = (G
q
g
q
) H
0
G
0
[ (G
q
g
q
) (porqueG
0
y H
0
soncoprimos)
(G
q
g
q
) = 0 (porque grad (G
q
g
q
) < grad G
0
)
G
q
= g
q
y H
q
= h
q
Esto prueba el Lema de Hensel.
Historia: Hensel prob este lema mientras estudiaba campos numricos p-dicos para varios nmeros
primos p. Los campos numricos p- dicos son ejemplos de campos valuados, esto es, de campos
con vluaciones. Podemos considerar la nocin de convergencia en tales campos justo como en R 0 C.
4
Ahora coompletamos la prueba del Teorema de newton.
Buscamos reducir al caso cuando el Lema de Hensel puede ser aplicado.Para hacer esto usaremos el
proceso de multiplicar las races por una constante y el proceso de crecimiento de las races por una
constante . Si
1
,. . .,
n
son las races de F, entonces el proceso de multiplicacin equivale a encontrar
un polinomio cuyas races son
1
,. . . ,
n
, mientras que el proceso de adiccin equivale a construir
un polinomio cuyas races son
1
+,. . . ,
n
+. En esta conexin (Aunque no la usaremos aqu), hay
todava un tercer proceso , es decir de encontrar un polinomio cuyas races son recprocas de las races
de F. Estos tres procesos pueden ser combinados en el cambio de races por una transformacin lineal
fraccionaria
1

1+

1+
. Una excelente referencia para tales cosas es el libro de Burnside- panton
Theory of Equations.
para usar el proceso de multiplicacin en la ecuacin
F(X, Y ) = Y
n
+a
1
(X)Y
n1
+ +a
l
(X)Y
n1
+ +a
n
(X),
notemos que para algn elemento diferente de cero =X
d
tenemos
F

(X, Y )
= X
dn
F(X, X
d
Y )
= Y
n
+a
1
(X)X
d
Y
n1
+ +a
i
(X)X
di
Y
ni
+ +a
n
(X)X
dn
Queremos arreglar las cosas de modo que todos los coecientes a
i
(X)X
di
son series de potencias en
X y al menos una de ellas tiene un valor diferente de cero en X=0. En otras palabras, queremos ord
a
i
(X)X
di
0 para todos los i con igualdad en al menos un valor de i. Esto nos forza a tomar
d = min
1in
(
ord a
i
(X)
i
)
Si F(X, Y ) = Y
n
entonces no tenemos nada para mostrar. As asumiendo que F(X, Y ) = Y
n
.
Ahora ord a
i
(X) ,= para algn i.. Entonces, para el d denido por la ecuacin de arriba tenemos
que d ,= . Sin embargo, el d asi encontrado no deba ser un entero pero es ciertamente un nmero
racional y puede ser escrito como d=

, donde y son enteros con > 0. Esto realmente equivale

a llamar X

= X y
F

(X

, Y ) = X
n
F(X

, X

Y )
= Y
n
+a

1
(X

)Y
n1
+ +a

i
(X

)Y
ni
+ +a

n
(X

)
con a

i
(X

) = a
i
(X

)X
i
k [[X

]] para todoi, y a

i
(0) ,= 0 para algni
Actualmente, precedemos el proceso de multiplicacin arriba por el truco de Shreedharacharya de
completar la n
th
potencia. Esto equivale a hacer el proceso de adicin con =
a1(X)
n
para obtener

F(X, Y ) = F(X, Y +
a
1
(X)
n
)
= Y
n
+a
1
(X)Y
n1
+ +a
i
(X)Y
ni
+ +a
n
(X)
con a
i
(X) k((X)) para todo i, y a
i
(X) = 0. Ahora si el coeciente de Y
n1
es cero par comenzar,
entonces resta cero despus del proceso de mulitplicacin. As, aplicando primero el truco de Schree-
dharacharya y entonces el proceso de multiplicacin, transforma F en un polinom,io mnico, digamos

F(X

, Y ), de grado n en Y con coecientes en k [[X

]] tal que el coeciente de Y

n1
es (identicamente)
cero pero el valor del coeciente de Y
ni
en X

= 0 es diferente de cero para algn i,. Ahora ya n no

es divisible por la caracterstica dek, para algn y k tenemos
(Y +)
n
=
_
Y
n
si = 0
Y
n
+nY
n1
+ +
n
con n ,= 0 si ,= 0
Por consiguiente,

F(0, Y ) puede ser dividido en dos factores coprimos no constantes en k [Y ]. Ahora
el Lema de Hensel puede ser aplicado para factorizar

F(X

, Y ) en polinomios de grados ms pequeos

5
en Y . As la caracterstica de k no divide an!, podemos continuar con este proceso ( o usar induccin
en el Y -grado de F) para factorizar

F en factores lineales. La factorizacin de F(X, Y ) en factores
lineales puede entonces ser obtenida por una sustitucin de la forma X = T
m
. Es tambin claro que
si a
i
(X) k [[X]]para todo i, entonces d 0. Se deduce que si a
i
(X) k [[X]]para todo i, entonces

i
(T) k [[T]]para todo i.
Esto prueva el Teorema de Newton, excepto para el suplemento 2 el cual discutiremos despus
NOTA. El mtodoSchreedharacharya de complexin del cuadrado de la n
th
potencia, al menos en
su encarnacinde completar el cuadrado para resolver una ecuacin caudrtica, data de cerca del ao
500A:D. Su versin versicada fue dada en Bhaskaracharya Beejaganit of 1150.
Series de Puiseux tomadas de wikipedia
En matemticas Las seires de Puiseux son una generalizacin de las series formales de potencias,
primero introducidas por Isaac Newton en 1676 y redescubiertas por Victor Puiseux en 1850, que
se cumple para negativos y exponentes fraccionarios de la indeterminada. El campo de las series de
Puiseux es una construccin (functorial) la cual, para algn campo ( de coecientes) K, da un campo
U
n=1

K((T
1
/n
)),
conteniendo el campo de las series formales de Laurent, el cual es algebraicamente cerrado de
caracterstica o cuando es as ( una denicin usualmente referida como el Teorema de Puiseux o
algunas veces el Teorema de Newton-Puiseux). La expansin de Puiseux es una generalizacin de las
series de Laurent (tambin de la expansin de las series formales), inicialmente defnida para funciones
algebraicas o (equivalentemente) ramas de curvas algebraicas ( un hecho tambin referido como el
Teorema de Puiseux) y el cual puede ser generalizado a varias cosas.
CAMPO DE LAS SERIES DE PUISEUX
Si K es un campo entonces podemos defnir el campo de las series de Puiseux con coecientes en k
( o sobre K) informalmente como el conjunto de expresiones formales de la forma
f=

+
k=k0
c
k
T
k
/n
donde n y k
0
son un nmero natural diferente de cero y un entero respectivamente : en otras
palabras, las series de Puiseux dieren de las series formales de Laurent en que ellas son permisibles
para exponentes fraccionarios de la indeterminada siempre que estos exponentes fraccionarios tengan
denominador acotado (aqu n), y justo cmo las series de laurent, Las series de Puiseux son permisibles
para exponentes negativos de la indeterminada siempre que estos exponentes negativos sean acotados
(aqu por k
0
). La adicin y la multiplicacin son como se espera: uno debe denirlas por medio de
subir el denominador de los exponentes para algbn comn denominador y entonces realizando la
operacin en el campo correspondiente de las series formales de Laurent.
En otras palabras, el campo de las series de Puiseux con coecientes en K es la unin de los campos
K((T
1
/n
)) (donde n tiene de ragno los nmeros naturales diferentes de cero), donde cada elemento de la
unin es un campo de las series formales de Laurent sobre T
1
/n
( consideradas comoun indeterminada),
y donde cada uno de los tales campos es considerado como un subcampo de los unos con n grande
reescribiendo los exponentes fraccionarios para usar un denominador grande (as T
1
/n
es identicado
con T
15
/30
como lo esperado.)
Esto da una denicin formal del campo de las series de Puiseux: es el directo lmite del sistema
directo, indexado sobre los n nmeros naturales diferentes de cero ordenados por divisibilidad, cuyos
objetos son todos K((T)) ( El campo de las series formales de Laurent, el cual reescribimos como
K((T
n
)) para claridad),
con un morsmo
K((T
m
)) K((T
n
))
siendo dado, cuando m divide n, por T
m
(T
n
)
n
/m
Valoracin y orden
Las series de Puiseux sobre un campo K forman campo valuado con grupo valuado Q(los racionales):
la valoracin v(f) de una series
f =

+
k=k0
c
k
T
k
/n
como est arriba denido para ser el racional ms pequeo k/n tal que los coecientes c
k
del trmino
con exponente k/n es diferente de cero ( con la convencin usual de que la valoracin de 0 es +). El
6
coeciente c
k
en cuestin es tpicamente llamado el coeciente de valoracin de f.
Esta valoracin a su vez dene una (translacin invariante) distancia ( la cual es ultramtrica), as
como una topologa sobre el campo de las series de Puiseux tomando la distancia desde f a 0 para ser
exp(-v(f)). Esto justica a posteriori la notacin
f =

+
k=k0
c
k
T
k
/n
como las series en cuestin, en realidad, convergen a f en el campo de las series de Puiseux ( esto
es en contraste con las series de Hahn las cuales no pueden ser vistas como series convergentes)
Si el campo base K est ordenado, entonces el campo de las series de Puiseux sobre K es tambin
naturalmente ( lexicogrcamente) ordenado como sigue: unas series f de Puiseux diferentes de cero
con 0 son declaradas positivas cuando su coeciente de valoracin lo es. Esencialmente, esto signica
que alguna potencia racional positva de la indeterminada T es hecha positiva, pero ms pequea que
algn elemento positivo en el campo base K.
Si el campo base K est dotado con una valoracin w, entonces podemos construir una valoracin
diferente sobre el campo de las series de Puiseux en k tomando la valoracin
w(f) de f =

+
k=k0
c
k
T
k
/n
sea w.v +w(c
k
)
donde v= k/n es la valoracin previamente denida ( c
k
es el primer coeciente diferente de cero) y
w es innitamente grande ( en otras palabras, el grupo valor de w esQ ordenado lexicogrcamente,
donde es el grupo valor de w). Esencialmente, esto signica que la valoracin previamente denida
v est corregida por una aproximacin innitesimal para tener en cuenta la valoracin w dada sobre
el campo base.
Cerradura algebraica de las series de Puiseux.
Una propiedad esencial de las series de Puiseux est expresada por el siguiente teorema, atribuido
a Puiseux ( para K = C) pero el cual era implcito en el uso de Newton del polgono de Newton en
1671 y posteriormente conocido como el Teorema de Puiseux o como el Teorema de Newton- Puiseux.
Teorema: si K es un campo algebraicamente cerrado de caracterpistica cero, entonces el campo de
las series de Puiseux sobre K es la clausura algebraica del campo de las series formales de Laurent
sobre K.
A grandes rasgos, la prueba procede esencialmente por inspeccin del polgono de Newton de la
ecuacin y extrayendo los coecientes uno por uno usando la forma valorativa del mtodo de Newton.
Previstas ecuaciones algebraicas que pueden ser resueltas algortmicamente en el campo base K, en-
tonces los coecientes de soluciones de las series de Puiseux pueden ser calculados para algn orden
dado:
Por ejemplo,la ecuacin X
2
X = T
1
tiene soluciones
X = T
1
/2
+
1
2
+
1
8
T
1
/2

1
128
T
3
/2
+
y
X = T
1
/2
+
1
2

1
8
T
1
/2
+
1
128
T
3
/2
+
(Uno fcilmente controla sobre los primeros trminos que la suma y el producto de estas dos series
son 1 y T
1
respectivamente): esto vlido cuando el campo base K tiene caracterstica diferente de 2.
Como las potencias de 2 en los denominadores de los coecientes del ejemplo previo deben llevarlo
a uno a cree, que la denicin del teorema no es verdadera enuna caracteristica positiva. El ejemplo
de la ecuacin de Artin Schreier X
p
-X=T
1
muestra esto: razonando con valoraciones se muestra que
X tendra la valoracin
1
p
, y si lo reescribimos como X=T
1
/p
+X
1
entonces
X
p
=T
1
+X
1
p
, as X
1
p
-X
1
=T
1
/p
y uno muestra similarmente que X
1
tendra la valoracin
1
p
2
y procediendo en cierta forma uno
obtiene las series
T
1
/p
+T
1
/p
2
+T
1
/
p
3
+
ya que esta serie no tiene sentido como una serie de Puiseux- porque los exponentes tienen de-
nominadores sin acotamiento- la ecuacin original no tiene solucin. Sin embargo, tales ecuaciones de
Eisenstein son esencialmente las nicas que no tienen solucin, porque, si K es algebraicamente cerrado
de caracterstica p>0, entonces el campo de las series de Puiseux sobre K es la clausura perfecta de la
mxima extensin ramicada suavemente de K.
7
Similarmente para el caso de la clausura algebraica, hay un teorema anlogo para la clausura real:
si K es un campo cerrado real, entonces el campo de las series de Puiseux sobre K es la clausura real
del campo de las series formales de Laurent sobre K.(Esto implica el teorema anterior ya que cualquier
campo algebraico cerrado de caracterstica cero es la nica extensin cuadrtica de un campo cerrado
real).
Hay tambin un resultado anlogo para la clausura p-dica: si K es un campo cerrado p-dicamente
con respecto a la valoracin w, entonces el campo de las series de Puiseux sobre k tambin es p-
dicamente cerrado.
Expansin de Puiseux de curvas algebraicas y funciones
CURVAS ALGEBRAICAS
Sea X una curva algebraica dada por una ecuacin afn F(x,y)=0 sobre un campo algebraicamente
cerrado K de caracterstica cero, y consideremos un punto p en X el cual podamos asumir que sea
(0,0). Tambin asumamos que X no es el eje coordenado x=0. Entonces una expansin de Puiseux de
( la coordeanada y de) X en un p es una f serie de Puiseux teniendo valoracin positiva tal que F(x,
f(x)) =0
Mas precisamente, denamos las ramas de X en p para ser los puntos q de la normalizacin Y
de X los cuales transforman a p. para cada q, Hay una coordenada local t de Y en q ( la cual es un
punto suave) tales que las coordenadas x y y puedan ser expresadas como series formales de potencias
de t, digamos x=t
n
+ ( as K es algebraicamente cerrado, podemos asumir que el coeciente de
valoracin sea 1) y y = ct
k
+ entonces hay una nica serie de Puiseux de la forma f=cT
k
/n
+ (
unas series de potencias en T
1
/n
), tales que y8t) = f(x(t)) ( esta ltima expresin es signicativa ya
que x(t)
1
/n
=t+ son una series de potencias bien denidas en t). Esta es una expansin de Puiseux
de X en p la cual es dicha para asociada para la rama dada por q ( o ms simplemente, la expansin
de Puiseux de la rama de X), en cada expansin de Pusieux de X en p es dada en este sentido para
una nica rama de X en p.
Esta existencia de una parametrizacin formal de las rams de una curva algebraica o funcin es
tambin referida al Teorema de Puiseux: tiene sin duda el mismo contenido matemtico como el hecho
de que el campo de las series de Puiseux es algebraicmanete cerrado y es la declaracin histrica ms
exacta de la declaracin del autor original..
Por ejemplo, la curva y
2
=x
3
+x
2
( cuya normalizacin es una lnea con coordenada t y transforma-
cin t(t
2
-1, t
3
-t) tiene dos ramas en el punto doble (0,0), correspondiendo a los puntos t=+1 y t=
-1, en la normalizacin, cuyas expansiones de Puiseux son y = x+
1
2
x
2
-
1
8
x
3
+ y y=-x -
1
2
x
2
+
1
8
x
3
+
respectivamente ( aqu, ambas son series de potencias porque la coordenada x son los puntos de corre-
spondencia en la normalizacin). En el punto suave (-1,0= ( la cual es t=0 en la normalizacin), tiene
una sola rama, dad por la expansin de Puiseux y = -(x+1)
1
/2
+(x+1)
3
/2
( la coordenada x se ramica
en este punto, por lo que no es una serie de potencias).
la curva y
2
=x
3
( cuya normalizacin es otra vez una lnea con coordenadas t y trnasformacin
t(t
2
, t
3
), en el otro miembro, tiene una sola rama en el punto cspide (0,0), cuya expansin de
Puiseux es y= x
3
/2
Convergencia analtica
Cuando K=C el campo de los nmeros complejos, las expansiones Puiseux denidas arriba son
convergentes en el sentido de que para una escogencia dada de la nsima raz de x, ellas convergen
para un [ x [ sucientemente pequeo, entonces se dene una parametrizacin analtica de cada rama
de X en la vecindad de p ( ms precisamente, la parametrizacin es por la n-sima raz de x)
Generalizacin
El campo de las series de Puiseux no est completo, pero su complecin puede ser fcilmente
descrita: es el campo de expresiones formales de la forma f=

c
e
T
e
, donde el soporte de los coecientes
( esto es, el conjunto de e tal que c
e
,= 0) es el rango de una sucesin creciente de nmeros racionales
que, o bien es nito o tiende a +. en otras palabras tales series admiten exponentes de denominadores
no acotados, previendo que hay nitamente muchos trminos de exponentes menos que A para alguan
cota dada A. Por ejemplo

+
k=1
T
k+
1
k
no es una serie de Puiseux, pero es el lmite de una sucesin
Cauchy de las series de Puiseux ( polinomios de Puiseux). Sin embargo, sobre esta complexin no est
8
todava mximamente completo en el sentido de que admite extensiones no triviales las cuales son
campos valuados teniendo el mismo grupo valor y el campo residuo, y por lo tanto la oportunidad de
completarlo ms:
las series de Hahn son adems una generalizacin de las series de Puiseux, Introducidas por Hans
Hahn ( en elo transcurso de la prueba del teorema de la incrustacin en 1907 y entonces estudiado por
l en su aproximacin al problema diecisieteavo de Hilbert), donde en lugar de exigir los exponentes
que tengan denomimador acotado que se requieren para formar un subconjunto bien ordenado del
grupo valor ( usualmente Qo R). Estas fueron luego ms generalizadas por Anatoly Maltsev y Berhard
Neumann para un escenario no conmutativo ( ellas entonces a veces son conocidas como las series
de hahn-Malcev- Neumann). usando series de hahn, es posible dar una descripcin de la clausura
algebraica del campo de las series de potencias en caracterstica positva la cual es de alguna forma
anloga al campo de las series de Puiseux.
TEOREMA DE PUISEUX
El teorema de Puiseux establece que una ecuacin polinmica f(x, y) = 0 tiene una solucin en
la cual y est expresado como series de potencias en potencias fraccionarias de x. En el este captulo
damos varis versiones de este teorema de aumento de nitidez. En la primera seccin presentamos el
algoritmo clsico de clculo de trminos sucesivos en las series de potencias y mostrar que esto da
una solucin. Sin embargo para obtener una serie de potencias convergente se requier ms trabajo, y
en la segunda seccin damos una aproximacin diferente dando una introduccin a la geometra de la
situacin y una prueba de existencia para la convergencia de soluciones de series de potencias.
La siguiente seccin corta rene los resultados describiendo las relaciones entre curvas, sus ramas,
tangentes y multiplicidades, las cuales son bsicas para captulos posteriores.
la cuarta seccin establece algunas propiedasdes bsicas de los anillos de series de potencias, en
particular que ellos son dominios de factorizacin nica, y deduce que las soluciones obtenidas en las
secciones precedentes deben todas ser las misma.
0.1. SOLUCIONES EN SERIES DE POTENCIAS
Deseamos resolver una ecuacin polinmicaf(x, y) = 0. hay varios caminos para encontrar una
solucin para y en trminos de x, pero comenzamos con una la cual da un mtodo efectivo de clculo.
Para esto, no se hace diferencia si permitimos a f ser series formales de potencias. Las bases del mtodo
de la prueba vienen desde Newton.
Teorema.Alguna ecuacin f(x, y) = 0, donde f es un polinomio con f(0) = 0 o ms generalmente
f C[[x, y]] con trmino constante cero, admite admite al menos una solucin en series formales de
potencias de la forma
x = t
n
, y =

1
a
r
t
r
, (alguno n N).
Prueba la idea bsica para construir series de potencias para resolver un problema es siempre
resolver por un trmino al tiempo. A menudo como aqu- la parte ms dura es conocer donde comen-
zar.As que tratamos de escribir
y = c
0
x

+t erminos de m as alto grado ( Q)

Ahora sustituimos para y en f(x, y). cada trmino a
r,s
x
r
y
s
en f contribuye a
r,s
c
s
0
x
r+s
, sumando
trminos de mayor orden. Cuando aadimos estos, los trminos de menor orden r + s enx tendern
a cancelarse.
para ver que esto implica, consideremos un plano (real) con coordenadas (r, s) para los cuales el
coeciente a
r,s
es diferente de cero. Las rectas r + s = C (donde C es constante) son todas de la
misma pendiente. Comenzando con C = 0 y aumentar sostenidamente C hasta que la primera vez la
recta correspondiente vaya a travs de uno de los puntos que hagamos marcado. Con el n de cancelar
0.1. SOLUCIONES EN SERIES DE POTENCIAS 9
los trminos en x
C
debe haber por lo menos dos de ellos. As esta lnea debe pasar a travs de los dos
puntos marcados. Esto nos lleva a la siguiente denicin.
El diagrama de Newton de f es el convexo de las regiones por encima a la derecha de los puntos
marcados (r, s) ( esto es, puntos con a
r,s
,= 0). Su frontera est compuesta por segmentos de lnea
recta. La unin de estos segmentos en la cual no se encuentran los ejes de coordenadas es el Polgono
de Newton de f.
Se deduce de la discusin de arriba que necesitamos escoger una lnear + s extendida a lo largo
de un borde de este polgono. Podemos escribir las coordenadas de los dos puntos en los nalesde este
borde como (r
0
s
0
) y (r
0
+ ka, s
0
kb) donde a, b y k son positivos y a y b son coprimos, as que los
puntos en el borde con coordenadas enteras son los (r
0
+ la, s
0
lb) con 0 l k. Cuando hacemos
la sustitucin de arriba en f, ninguna potencia de x menor que x
C
aparece, y el coeciente dex
C
es
k

l=0
a
r
0+la, solb
c
s0lb
0
Para simplicar la notacin pongamos
u
l
= a
r0+la, s0lb
para 0 l k,
y
(T) =
k

l=0
u
l
T
kl
Entonces el coeciente de x
C
debe ser escrito como c
s0kb
0
(c
b
0
). Hemos escogido la notacin as que
u
0
,= 0, u
k
,= 0.
Con estas preparaciones hechas, estamos listos para comenzar la parte constructiva de la prueba.
Primero comprobaremos sif es divisible porx: si es as luego por supuesto una solucin es parametrizada
por (x, y) = (0, t). En general, escribimosf como una potencia de x multiplicada por f

, dondef

no es
divisible por x, y de ahora en tratar slo con f

. ( Es necesario discutir este punto en el argumento ya

que aparecen en cada caso del proceso inductivo abajo.
Se deduce que el polgono de Newton, y una solucin T
0
de la ecuacin (T) = 0, y establecer
c
0
= T
1
/b
0
. As tiene un trmino no constante diferente de cero, T
0
y c
0
no puede ser cero. Tomamos
y = c
0
x
a
/b
como una primera aproximacin a la solucin def(x, y) = 0, y se mostrar que hay una
solucin de la clase deseada con este como primer trmino.
Establezcamos x = x
b
1
, y = x
a
1
(c
0
+y
1
), y sustituyamos en f(x, y) = 0. Por las opciones anteriores,
f(x
b
1
, x
a
1
(c
0
+y
1
))
es divisible por x
br0+as0
1
: dividiendo por esto da f
1
(x
1
, y
1
), digamos. Ahora repita el procedimiento
anterior, pero sustituyendo f, x, y por f
1
, x
1
, y
1
. Escribamos m
1
para el orden de f
1
(0, y
1
). Ntese
que f
1
(0, y
1
) es obtenido de los trminos en el borde del polgono previo de Newton dividiendo por
x
br0+as0
1
y por lo tanto se da por
(c
0
+y
1
)
s0kb
((c
0
+y
1
)
b
)
As tiene grado k, deducimos que m
1
kb m
0
Continuando repetidamente con este proceso despus de r pasos nos lleva a una expresin de la
forma
Y
r
:= x
a
0
b
0
(c
0
+x
a
1
b
0
b
1
(c
1
+x
a
2
b
0
b
1
b
2
(c
2
+ (c
r
+x
ar
b
0
b
1
...br
) ))), (1)
que se multiplica a una expansin en el aumento de potencias fraccionarias de x. Observe que Y
r
diere de Y
r1
slo en los coecientes de x
ar
b
0
b
1br
y trminos altos. Tambin, si el menor coeciente no
10
nulo en f(x, Y
r1
) es el coeciente de x
Mr1
entonces ya que el procedimiento equivale a desaparecer
este coeciente, tenemos M
r
> M
r1
.
Resta probar - y esto es un punto clave- que los denominadores b
0
b
1
. . . b
r
son acotados, o equivalen-
temente, que b
r
= 1 para todos los r sucientemente grandes. Para ver que esta preocupacin no tiene
fundamento, tenga en cuenta la expresin R(x) =

k=0
x
22
k
: si nuestras aproximaciones se com-
portaron como esta, no estara claro como tratar con las potencias de x mayores que la segunda.Vamos
a mostrar
Lema 2.1.2 Si b
r
> 1, entonces m
r
> m
r+1
As m
r
es una sucesin decreciente montona de enteros positivos, debe ser constante de algn
punto adelante, as del lema inplicar que b
r
= 1 de algn punto adelante. Por lo tanto todos los
Y
r
son series de potencias en x
d
= x
1
/d
para algn ajustado d, y as ellos convergen cada vez ms a
potencias cada vez ms altas de x
d
ellos convergen en el sentido m-dico para series de potencias Y

.
Los nmeros dM
r
, son tambin enteros, formando una sucesin estrictamente creciente, y as tendiendo
al innito. Por consiguiente f(x, Y

) = 0, y as tenemos una solucin exacta, completando la prueba

del teorema.
Prueba del lema As repetimos el mismo procedimiento en cada paso,basta con considerar el primer
paso. Por lo tanto suponga m
1
= m
0
. Entonces la menor potencia de y
1
en
(c
0
+y
1
)
m0kb
((c
0
+y
1
)
b
),
es de grado m
0
. Este polinomio es as un mltiplo constante de y
m0
1
. Ahora c
0
,= 0, as debemos
tener m
0
= kb, as en efecto el polgono de Newton tiene un solo borde. Sustituyendo z = y
1
+c
0
. Esto
produce (z c
0
)
bk
igual a un polinomio enz
b
. As el coeciente de z
1
en (z c
0
)
bk
es diferente de cero,
se deduce que b = 1.
Ela argumento nal falla si, en lugar de trabajar sobre C estamos trabajando sobre un campo de
caracterstica prima p, por entonces el coeciente crucial tambin puede desaparecer. Y el principal re-
sultado tampoco. En realidad consideremos la funcin R(x) =

k=0
x
22
k
citado antes como ejemplo.
Sobre un campo de caracterstica 2, tenemos R(x)
2
=

k=0
x
42
1k
; sustituyendo k = j + 1 da
R(x)
2
= x
2
+

j=0
x
42
j
= x
2
+x
2
R(x),
as que y = R(x) da una parametrizacin de la curva y
2
+ x
2
y + x
2
= 0. Ilustramos la naturaleza
efectiva de la prueba con un ejemplo simple ( ejemplos adicionales deben ser encontrados en (23)pp501-
5).
Ejemplo 2.1.1 Consideremos la ecuacin
y
4
2y
2
x
3
4yx
5
+x
6
x
7
= 0
El polgono de Newton consiste de una nica frontera que va desde (6, 0) a (0, 4), y los trminos
en el factorizados como (y
2
x
3
)
2
. As establecemos x = x
2
1
,y = x
3
1
(1 + y
1
). Cuando sustituimos, la
ecuacin resultante tiene un factor x
12
1
. Removiendo esto, el resultado se simplica a
y
4
1
+ 4y
3
1
+ 4y
2
1
4y
1
x
1
4x
1
x
2
1
Otra vez el polgono de Newton tiene una nica frontera, y los trminos en el son 4(y
2
1
x
1
). De
este modo substitumos x
1
= x
2
2
, y
1
= x
2
(1 + y
2
) en la ecuacin, y otra vez simplicar. El resultado
tiene un factor x
2
2
, pero tambin tiene un factor y
2
. Por consiguiente una solucin es dada por y
2
= 0,
as y
1
= x
2
y y = x
6
2
+x
7
2
, con x = x
4
2
.
0.2. CONVERGENCIA DE SERIES DE POTENCIAS 11
0.2. Convergencia de series de potencias
En esta seccin, mostraremos que si la ecuacin f(x, y) = 0 en el teorema 2.1.1 es holomrca,
entonces las soluciones obtenidas son todas ellas series de potencias convergentes. Hay varias rutas
posibles para lograr esto. Primero, es posible dar una vericacin directa de que las series convergen.
Segundo, debemos comenzar con la observacin de que si el orden m de f(0, y) es igual a 1, entonces
la solucin obtenida en el teorema 2.1.1 es holomrca, en virtud de la Funcin Implcita. El Teorema
1.4.2, que se aplica desde la hiptesis m = 1 es equivalente a la no desaparicin de
f
/y en 0. As la
prueba del Teorema 2.1.1 procede por reduccin eventualmente para este caso, debemos esto y entonces
tratar de revertir el argumento. Viendo el ejercicio 2.6.6 para obtener sugerencias sobre esta prueba.
Ahora sin embargo damos una prueba directa de la convergencia en un simple caso.
Lema 2.2.1 Si f Cxtiene orden n, existe g Cx con g
n
= f.
Prueba sea el trmino de menor grado en f seaax
n
. Escribamos f = ax
n
(1+E), y escojamos b C
con b
n
= a. Expandamos E =

1
E
r
x
r
, y sustituya en la expansin binomial
(1 +E)
n
1
= 1 +n
1
E +
n
1
(n
1
1)
1,2
E
2
+
n
1
(n
1
1)(n
1
2)
1,2,3
E
3
+
Ya que hay un solo nmero nito de trminos contribuyendo al coeciente de alguna potencia
particular x
r
, obtenemos unas series de potencias bien denidas G(x).
Para probar convergencia, usamos el hecho de que E Cx, existe R

> 0 tal que los trminos

[ E
r
[ R
r
son acotados. Podemos as encontrar un nmero R > 0 tal que

1
[ E
r
[ R
r
< 1. Ya que las
series binomiales tienen radio de convergencia a 1, se deduce que para [ x [< R las series obtenidas por
sustitucin convergen absolutamente, as todos reordenamientos son permisibles. Entonces las series
de potencias G(x) convergen para [ x [< R, y podemos establecer como g := bG.
Para el caso general, presentamos una aproximacin ms geomtrica, la cual es independiente de la
precedente. No es constructiva, lo complementa, no sustituye los argumentos de la seccin 2.1. Tenemos
que prepararnos para esto con un resultado importante que reduce muchas discusiones acerca de las
funciones holomrcas con los resultados sobre polinomios.
Geomtricamente, estamos pensando en la proyeccin de la curva f(x, y) = 0 sobre el eje x. Sobre
el origen x = 0 tenemos la parte f(0, y) = 0 de la curva. Recordamos que (a menos que f(0, y) 0)
debemos escribir f(0, y) = y
m
A(y)donde A(0) ,= 0 as que
1
A(y)
es tambin holomrca. En esta
situacin decimos que f(x, y) es regular en y de orden m.
Teorema 2.2.2 (Teorema de Preparacin de Weiertrass) Sea G Cx, y regular de orden s en
y. Entonces existe U Cx, ycon trmino no constante diferente de cero y A
r
C xpara 0 r < s
tal que
G(x, y) = U(x, y)
_
y
s
+
s1

r=0
A
r
(x) y
r
_
La prueba que damos depende del primer establecimiento de un tipo de algoritmo de la divisin.Es
conveniente, en efecto, para dividir por un polinomio universal P
s
(y, ) = y
s
+

s
1

i
y
si
, donde los
coecientes
i
son adems variables independientes.
Teorema 2.2.3 (Teorema de Divisin) Si F(x,y,) es holomrca eb (0,0,0) hay funciones holomr-
cas nicas Q(x,y,), A
i
(x,) para 1i s, tal que
F(x, y, ) = P
s
(y, )Q(x, y, ) +R(x, y, ),
donde R(x,y,)=

s
1
A
i
(x,)y
si
Prueba Un clculo directo equivale a la identidad
12
P
s
(z, ) P
s
(y, ) = (z y)
_
s

1
P
i1
(z, )y
si
_
,
y por consiguiente
1
z y

P
s
(y, )
(z y)P
s
(z, )
+
s

1
P
i1
(z, )
P
s
(z, )
y
si
.
Solo nos ocuparemos de los valores pequeos de y. Si es tomado para ser pequeo, las races de
P
s
(, ) = 0 son tambin pequeas, as debemos escoger un bucle alrededor 0 conteniendolos todos en
su interior. Multiplicando por F(x, z, ) e integrando alrededor de este bucle. Ya que por el Teorema
del Residuo de Caucly,
F(x, y, ) =
1
2i

F(x, z, )
z y)
dz,
obtenemos una ecuacin de la forma deseada con
Q(x, y, ) =
1
2i

F(x, z, )
(z y)P
s
(z, )
dz,
A
i
(x, ) =
1
2i

P
i1
(z, )F(x, z, )
P
s
(z, )
dz.
La unicidad es inmediata, ya que P
s
no puede dividir un polinomio diferente de cero, de grado
menor que s.
Prueba (Teorema de Preparacin de Weierstrass)
Ya que G(x, y) es regular de orden s, el coeciente de y
s
es c ,= 0. Aplicamos el Teorema de Divisin
para F(x, y, ) = G(x, y). Designando x = 0 entonces da
G(0, y) = P
s
(y, )Q(0, y, ) +
s

1
A
i
(0, )y
si
.
Primero establecemos = 0, dando G(0, y) = y
s
Q(0, 0, 0) +

s
1
A
i
(0, 0)y
si
. Se deduce por com-
paracin de potencias de y
si
parai 0 que Q(0, 0, 0) = c y A
i
(0, 0) = 0. Enseguida, diferenciando
ambos lados con respecto a
j
y entonces otra vez establecemos = 0.Obtenemos
0 = y
sj
Q(0, y, 0) +y
s
Q

j
(0, y, 0) +
s

1
A
i

j
(0, 0)y
si
.
Comparando los coecientes de las potencias de y nos lleva aqu a
A
i
/
j
= 0 si j < i y = c si j = i.
Ya que las entradas A
i
/
j
[ 1 i, j ndene una matrix no singular, debemos aplicar el
Teorema de la Funcin Inversa 1.4.2 en una vecindad de (0, 0) para obtener (determinada nicamente)
funciones holomrcas j = H
j
(x) tal que A
i
(x, H(x)) = 0 para cada i . Ahora sustituyendo H
j
(x)
para
j
en la ecuacin dada por el Teorema de Divisin da
G(x, y) = Q(x, y, H(x))P
s
(y, H(x)),
la cual es de la forma deseada ya que Q(0, 0, 0) = c ,= 0, mientras que P
s
(y, H(x)) = y
s
+

s
1
H
i
(x)y
si
.
0.2. CONVERGENCIA DE SERIES DE POTENCIAS 13
Notamos que para posteriores referencias que estos dos resultados nos permite realizar divisin en
esencialmente el camino usual.
Corolario 2.2.4 Sea F,G Cx, y con G regular de orden s en y.Entonces podemos escribir
F(x, y) = G(x, y)D(x, y) +
s

1
C
i
(y)x
si
Prueba Por el Teorema 2.2.2. podemos escribir
G(x, y) = U(x, y)
_
y
s
+
s1

r=0
A
r
(x)y
r
_
,
con U(0, 0) ,= 0 y del Teorema 2.2.3 ( con los roles de x y y intercambiados) obtenemos
F(x, y) = P
s
(y, )Q(x, y, ) +
s

1
B
i
(x, )y
si
Ahora sustituyendo
i
= A
sr
(x) en P
s
(x, ) produce U(x, y)
1
G(x, y), as se deducen los resul-
tados con D(x, y) = U(x, y)
1
Q(x, y, A(x))yC
i
(y) = B
i
(x, A(x)).
El Teorema de Preparacin de Weierstrass es la clave para probar propiedades de Cx, y consider-
adas como en un anillo abstracto. Uno dice, por brevedad, que un elemento de un (anillo conmutativo)
es una unidad si el tiene un inverso multiplicativo. Ya que la funcin U(x, y) del Teorema 2.2.2 tiene
trmino constante diferente de cero, se deduce que U es una unidad en Cx, yEnseguida establecemos
una nica factorizacin.
Teorema 2.2.5 El anillo Cx, y es un dominio de factorizacin nica.
Prueba las dos suposiciones esenciales son que algn elemento puede ser expresado como un pro-
ducto de factores que son irreducibles, no pueden ser factorizadas no trivialmente ( una factorizacin
con un factor una unidad es trivial), y que si un elemento tan irreductible divide a un producto, se
debe dividir una (al menos) de los factores: irreducibles son primos.
El caso de la primera variable es trivial: para Cx, los solo primos son los productos de x por
una unidad. Para el caso de polinomios, la nica factorizacin se deduce inductivamente del Lema de
Gauss, la cual se establece que si A es un dominio de factorizacin nica, as es A[t]. As Cx [y] es
un dominio de factorizacin nica.
Ahora para algn f Cx, y, suponga su imagen f en Cy de orden s, y escriba f = Ug como
en el Teorema 2.2.2. Entonces g pertenece al dominio de factorizacin nica Cx [y], as puede ser
expresado como un producto de factores irreducibles g
i
. Se deduce (de ajustar por factores constantes
si es necesario) que g
i
= y
si
con

s
i
= s.
Cada g
i
es irreducible en Cx, y. Por si, digamos, g
i
= hk entonces aplicando el teorema de
preparacin para h y para k muestra que podemos escribir h = U
h
h

, k = U
k
k

con U
h
, U
k
unidades
y h

, k

polinomios mnicos en Cx [y]. Ahora g

i
= (U
h
U
k
)h

, y por la clasula de unicidad del

teorema, se deduce que g
i
= h

. Pero a menos h

o k

es una constante, esto contradice al hecho de

que g
i
es irreducible en Cx [y].
Finalmente mostramos que algn g el cual es irreducible en Cx, yes primo. Suponga que g divide
h
1
h
2
. Como arriba se puede tomar g como un elemento de Cx [y]de grado s con g y
s
. Por el
corolario 2.2.4, podemos escribir
h
1
= gQ
1
+R
1
, h
2
= gQ
2
+R
2
con R
1
, R
2
polinomios de grado < s. Ahora ya que g divide h
1
h
2
, divide R
1
R
2
, la cual pertenece a
Cx [y]. Ya que esto es un anillo de factorizacin nica, y g es irreducible en el, g es tambin primo;
ya que lo divide el producto, lo divide uno de los factores,. Pero si g divide a R
i
, tambin lo divide h
i
Comencemos una segunda aproximacin al Teorema de Puiseux suponiendo que f(x,y) regular en
y de orden m y aplicando el Teorema de preparacin 2.2.2 para expresar f(x, y) como U(x, y) A(x, y)
14
como arriba. Ya que U(0, 0) ,= 0, existe una vecindad de 0en la cual U no desaparece. Podemos as
encontrar un nmero > 0 tal que, cuando [ x [< , [ y [< , todas las series de arriba son convergentes,
la frmula de arriba es verdadera cuando se evala en (x, y), y U(x, y) ,= 0. As el cero localizado de
f(x, y) en esta vecindad es el mismo como el de A(x, y).
la funcin A(x, y) es un polinomio en y, as tiene un discriminante D(A) Cx. Si D(A) es
idnticamente cero, A tiene un factor repetido: esto se deduce del lema 1.3.2 ya que Cx, yes un
dominio de factorizacin nica.Aplicando el algoritmo euclidiano para encontrar el mayor factor comn
h de A y A/y ,= 0. Debemos as aplicar el Teorema de la Funcin implcita para inferir que en una
vecindad de cierto punto existe una funcin holomrca y = y
i
(x) tal que y = y
i
(x) si y solo si
A(x, y) = 0.
Cada funcin y
i
est bien denida en una pequea vecindad del originalmente escogido punto x, y
as si movemos a x a travs de una trayectoria en la regin 0 <[ x [< 2 podemos continuar a darle
sentido a y
i
(x) insistiendo en que vara continuamente. Si la trayectoria retorna a su punto inicial,
debemos ciertamente nalizarla con un valor de y tal que A(x, y) = 0, pero esto no necesita ser el
mismo valor como y
i
. Pero ya que el da una solucin para la ecuacin, lo debe ser y
i
para algn j con
1 j m
Suponga que comenzamos en el punto x = , y dena funciones y
i
en una vecindad de este punto.
Se deduce de la anterior discusin que debemos considerar todas estas como funciones bien denidas
de x en la regin obtenida de 0 <[ x [< 2 cortando a lo largo del eje real negativo. Sin embargo,
si procedemos en torno a una trayectoria que rodea al origen - digase x = e
i
para 0 < < 2
entonces la y
i
debe retornar en un diferente orden. As ellos estn afectados por alguna permutacin
, digamos: la solucin y = y
i
(x) llegando a ser y = y
(i)
(x).
La permutacin del conjunto nito 1, . . . , mpuede ser descompuesto como un producto de
ciclos disjuntos. Equivalentemente, por renumeramiento de los objetos permutados, los disponemos,
digamos, (1) 2, (2) 3, . . . (m
1
1) m
1
, (m
1
) = 1, un ciclo de longitud m
1
y similarmente para
los restantes objetos permutados, con ciclos de longitudes de longitudes m
1
, m
2
, . . . que suman m. En
particular, para una trayectoria circundando al origen m
1
veces, la funcin y
1
(x) retorna a su valor
original. Este es el mismo comportamiento como para x
1
/m
1
. Ms precisamente, dena una m
th
1
raz z
de x comenzando en x = con zsiendo real, y procediendo de ah: encontramos que y
1
es una funcin
bien denida de z en 0 <[ z [< (2)
1
/m
1
.
Por el Teorema de Laurent, podemos expandir y
1
(x) como unas series de Laurent en z convergiendo
en esta regin. Los coecientes de la expansin y
1
=

r=
a
1,r
z
r
tienen representaciones integrales.
a
1,r
=
1
2i

y
1
(z)dz
z
r+1
.
y tomando esto sobre un crculo de radio da
[ a
1,r
[
1
2
,2
sup [ y
1
[

r+1

r
sup [ y
1
[
Si r 0, esto tiende a 0 como el radio del crculo, ya que y
1
(z) tiende a 0 con z. Asi a
1,r
= 0
para r < 0 as las series de Laurent son unas series de potencias, y tenemos una expansin en series
de potencias para y
1
en potencias positivas de z = x
1
/m
1
.
Se deduce del camino que hemos obtenido esta expansin de que la expansin correspondiente para
y

j
(1)
es obtenida sustituyendo ze
2ij/m1
para z.
Sumarizamos estas conclusiones en lo siguiente.
Teorema 2.2.6
(i) Alguna ecuacin f(x, y) = 0donde f Cx, y conf(0) = 0, f(0, y) ,= 0 admite al menos una
solucin de la forma y = g(x
1/m1
) con g Cz
(ii) Sif es regular de orden m en y, y escribimos f = UF con U una unidad y F un polinomio mni-
co de grado m eny, hay m de tales soluciones g
j
(x
1/mj
), todas distintas a menos que el discriminante
de F desaparezca idnticamente, y
0.3. CURVAS, RAMAS, MULTIPLICIDADES Y TANGENTES 15
F(y)
m

j=1
(y g
j
(x
1/mj
)).
hemos visto que las m soluciones de f(x, y) = 0 se dividen en grupos que corresponden a las rbitas
de : cada uno de estos grupos admite una parametrizacin comn (x, y) = (t
mj
,

r=1
a
j,r
t
r
). Como
un conjunto de solucioneses llamado una rama de la curvaf(x, y) = 0. Vemos de la parametrizacin
que geomtricamente esto debe ser considerado como una nica solucin de la ecuacin. Es ms simple
describir la estructura de una soloa rama que de una curva general y para muchos tpicos considerados
abajo consideraremos el caso de una sola rama primero.
El Teorema de Preparacin de Weierstrass nos permite dar un detallado tratamiento de los tipos
ms simples de singularidad.
Teorema 2.2.7 Sea C una curva con ecuacin f(x, y) = 0 con f de orden 2. Entonces existen
coordenadas en C
2
en el cual C es dado por y = 0 o y
2
+x
k
= 0 para algn k 2.
Prueba Haciendo un cambio lineal de coordenadas si es necesario, debemos suponer f regular en
y de orden 2. Por el Teorema 2.2.2, podemos expresar f en la forma U(x, y)(y
2
+ a(x)y + b(x)) con
U(0, 0) ,= 0, as C es dado por y
2
+a(x)y+b(x) = 0 : Haciendo el cambio de coordenadas y

y+
1
2
a(x),
reducimos a y
2
+ b

(x) = 0. Ahora bien b

= 0 y C es dado por y = 0, o b

tiene orden k para algn

k 2, as por el Lema 2.2.1 tenemos b

= x
k
para algn x

los cuales son unas series de potencias

convergentes en x de orden 1. Por lo tanto basta con tomar coordenadas (x

, y

).
Debido a razones la cuales aparecern despus, una singularidad la cual tiene ecuacin y
2
+x
k+1
= 0
en algunas coordenadas locales sern llamadas a ser del tipo A
k
.
Aunque el concepto de rama es uno importante geomtricamente, hay ocasiones cuando es con-
veniente considerar la ecuacin como teniendo m distintas soluciones. Hay varios formas para dar un
sentido preciso de esto. Despus de la anterior lnea de pensamiento, debemos arreglar un valor de
x, digamos, real y positivo (y pequeo) y considerar las m correspondientes soluciones para y. Estas
pueden ser expresadas como series

r=1
a
j,r
x
r/mj
en potencias fraccionarias de x: tales series son
llamadas series de Puiseux. Las potencias fraccionarias de x deben ser intepretadas como estos toman
do valores reales positivos cuando x es real y positivo: as las series pueden ser consideradas como
denidas en un sector [ argx [< , [ x [< . Referiremos a las distintas soluciones obtenidas en esta
forma como pro- ramas. Daremos una discusin ms cuidadosa en la seccin 4.1
0.3. Curvas, ramas, multiplicidades y tangentes
Comenzamos por sumarizar informalmente los resultados que queremos establecer en esta seccin.
Una ecuacin f(x, y) = 0determina una curva C; a la inversa cada curva tiene una ecuacin
esencialmente nica.
Una curva C tiene una nica descomposicin como una unin nita de ramas. Una parametrizacin
(x, y) = ((t), (t)) determina una nica rama; a la inversa cada rama tiene esencialmente una nica
buena parametrizacin. Una curva tiene una multiplicidad bien denida, la cual es la suma de las
multiplicidades de sus ramas.
Una rama tiene una nica direccin tangente en 0.
Procedemos a los detalles. Por el Teorema 2.2.5, el anillo Cx, y de funciones holomrcas (cada
una denida como una vecindad de 0) es un dominio de factorizacin nica. Sus elementos invertibles,
o unidades, son las series U(x, y) con trmino constante diferente de cero, as que U no desaparece en
una vecindad de 0.
Ahora formalicemos nuestra nocin de curva. Digamos que una funcin holomrca f Cx, yconf(0, 0) =
0, dene una curva C. As en alguna vecindad de 0, C consiste de los puntos (x, y) con f(x, y) = 0.
Consideraremos f = 0 y g = 0 como la misma curva solo si g = Uf para alguna unidad U.
Podemos factorizar f esencialmente nicamente como un producto nito f =

g
aj
j
, donde los
factores g
j
son distintos (as podemos escribir g
k
= Ug
j
para alguna unidad U sik ,= j) y no admitir
16
factorizaciones no triviales, y los a
j
son enteros positivos. Entonces las curvas B
j
denidas porg
j
= 0
son las ramas de C. Debemos escribir C =

a
j
B
j
. La curva es llamada a ser reducida si cadaa
j
= 1.
Supondremos usualmente que todas las curvas que ocurran son reducidas.
las curvasf = 0 y f
2
= 0 tienen los mismos puntos. Sin embargo, esta es la sola ambiguedad de
este tipo: si g
1
yg
2
son elementos irreducibles de Cx, ylos cuales no son mltiplos unidad de cada uno
de los otros, entonces en alguna vecindad de 0, 0 es el solo punto comn de las correspondientes ramas
B
1
y B
2
. Esto justica la denicin de arriba de la curva como una clase de equivalencia de ecuaciones
denidas.Ya que es cierto, como vamos a mostrar, podemos parametrizar cada rama por series de
Puiseux; las series de Puiseux son diferentes, y si la diferencia tiene orden k entonces se comporta para
x pequeo como x
k
, y as desaparece solo en x=0.
Consideremos una rama B con ecuacin g(x, y) = 0. De acuerdo al Teorema 2.2.6, a menos que
la rama coincida con x = 0, la ecuacin admite al menos una solucin de la forma y= (x
1/m
) con
Cz. Podemos escribir esto como una parametrizacin x = t
m
,y = (t). Previsto m como el mayor
factor comn de los denominadores de los exponentes ocurriendo en las series (x
1/m
), esto es una
buena parametrizacin, ya que si t
1
, t
2
dan el mismo punto, entonces t
m
1
= t
m
2
, as t
2
= e
2ir/m
t
1
para
algn r Z, as (t
1
) = (e
2ir/m
t
1
). Se deduce de nuestra escogencia de m que si r no es divisible por
m, las series de potencias (t) y (e
2ir/m
t
1
) no tienen coecientes idnticos. Entonces su diferneica
es diferente de cero en alguna vecindad 0 <[ t [< . As en una vecindad sucientemente pequea,
nuestra parametrizacin es injectiva, as es buena. Enseguida mostramos que todos los puntos de B en
una vecindad sucientemente pequea de 0 son dadas por la parametrizacin.
Lema 2.3.1 Dada una buena parametrizacin de una rama B, podemos escribir abajo una ecuacin
irreducible tal que un punto (lo sucientemente cerca a 0) satisface la ecuacin si y solo si si es dada
por la parametrizacin.
Prueba Sea la parametrizacin y =

1
a
r
t
r
, donde x = t
m
Primero renamos todos los trminos en
la expansin cuando r se encuentra en una sola clase de congruencia mdulo m, deniendo r = mq +s:
y =
m1

s=0
t
s
_

q=0
a
mq+s
t
mq
_
y as se dene
s
(x) =

q=0
a
mq+s
x
q
. Estas son series convergentes de potencias: dejamos la
prueba como ejercicio 2.6.3. Debemos ahora considerar las ecuaciones
t
a
y =
ma1

s=0
t
a+s

s
(x) +
m1

s=ma
t
a+sm
x
s
(x),
para 0 a m 1, como ecuaciones lineales simulteneas para las desconocidas t

con coe-
cientes en Cx, y. Ya que los valores t
a
preveen soluciones diferentes de cero para estas ecuaciones,
el determinante D(x, y) = 0 como una ecuacin para la rama.
Por construccin, D es un polinomio mnico de grado m en y. Hemos exhibido una solucin y
podemos inferir el resto m1: as podemos factorizar
D(x, y) =
m1

k=0
(y

1
a
r
e
2ikr/m
x
r/m
).
Se deduce que ( en una vecindad sucientemente pequea de 0) todas las soluciones de D(x, y) = 0
son dadas por la desaparicin de un factor, y entonces son dadas por la parametrizacin. Tambin se
deduce que D es irreducible en Cx, y, para algn elemento de este anillo cuya imagen en C
_
x
1/m
, y
_
es divisible por uno de los factores ya mencionados debe tambin ser divisible por todos los otros.
El mismo procedimiento trabaja para obtener una ecuacin de una parametrizacin para series
formales de potencias.
Ilustramos con el ejemplo 2.1.1. Comencemos con x = t
4
, y = t
6
+ t
7
entonces
0
(x) =
1
(x) =
0,
2
(x) =
3
(x) = x. El sistema de ecuaciones tiene la matriz
0.3. CURVAS, RAMAS, MULTIPLICIDADES Y TANGENTES 17
_
_
_
_
y 0 x x
x
2
y 0 x
x
2
x
2
y 0
0 x
2
x
2
y
_
_
_
_
con determinante y
4
2y
2
x
3
4yx
5
+x
6
x
7
.
La unicidad esencial de buenas parametrizaciones se deduce de un argumento relacionado a la
prueba del Teorema 2.2.6.
Lema 2.3.2 Sit y u son los parmetros para dos buenas parametrizaciones de la misma rama B,
podemos escribir u = (t) para algn Cttal que (0) = 0,

(0) ,= 0
Prueba Suponga que B tiene una multiplicidad m, ecuacin f(x, y) = 0 regular en y de orden
m, y buena parametrizacin (x, y) = ((t), (t)). Expandamos en potencias de t, y sea n el menor
exponente ocurriendo: (t) = at
n
+. . . , con a ,= 0. Entonces podemos escribir (t) = t
n
con t

= t+. . .
unas series convergentes de potencias.
Vemos en la prueba anterior que hay tambin una buena parametrizacin con parmetro z tal que
x = z
m
.Ahora ya que cada una de estas dene una biyeccin de 0 en el t o z plano y una vecindad
correspondiendo m distintos valores de t. Se deduce que m=n y z
m
=at
m
, as z=bt para alguna m
th
raz
b de a. Esto muestra que el parmetro t es equivalente a z; similarmente, as es u.
Similarmente, dada un (no necesariamente buena) parametrizacin con prmetro u, podemos es-
cribir u = (t) para alguna holomrca : si esto tiene orden N, entonces u = u
N
con uun buen
parmetro.
Enseguida discutimos las multiplicidades y tangentes. Si C est denido por la ecuacinf(x, y) = 0
(con f x, y), el orden def es llamado la multiplicidad de C en o. Lo denotamos por m
0
(C), donde
del punto 0 y la curva C puede omitirse si se desprende del contexto. Ya que el orden de un producto es el
producto de los rdenes, tenemos m(C) =

a
j
m(B
j
). La multiplicidad es una importante invariancia,
y multiplicidades jugarn un prominente rol en este libro.
Sea m = m
0
(C); denotamos por f
m
la suma de los trminos de grado ms bajo m en la expansin
de las series de potencias de f. Ya que esto es un polinomio homogneo en y y y, debemos factorizarlo en
factores lineales. Las lneas cuyas ecuaciones son estos factores lineales son llamadas lneas tangentes
a C en 0. Hay a lo ms m de tales lneas.
Si y ax no es un factor de f
m
, sustituyendo y = ax en f da una funcin de x de orden m; si
y ax es un factor obtenemos una funcin de orden alto. Entonces el nmero interseccin de C con
una lnea recta L a travs de 0 es igual a m si L no es una tangente, y ms grande quem si ellas es (la
lnea x = 0 debe ser includa por intercambio de los roles de x y y). Esta observacin es lo bastante
importante para nosotros recordarla.
Lema 2.3.3 Una lnea recta L es tangente a B en0 si y solo si si interseccin multiplicidad (L.B)
0
>
m(B).
Denimos que f es regular en y de orden M si M es el orden de f(0, y), si M es el nmero
interseccin de C con la lnea x = 0, As prevista x = 0 no es una tangente para C en 0, f ser regular
en y de orden m
0
(C).
Dada una rama B, escojamos coordenadas con y = 0 no una lnea tangente. Entonces una ecuacin
para B ser regular en y de orden m, y as B tiene una buena parametrizacin x = t
m
, y =

r=1
a
r
t
r
.
Sustituyendo en la ecuacipon y = ax de una lnea L da unas series de potencias en t cuyo orden es
el nmero interseccin B.L. Esto no puede ser menos que la multiplicidad m de B, as a
r
desaparece
para r < m . Ahora vemos que hay una nica tangente y = a
m
x. Adems reeemplazando t por e
2i/m
da series Puiseux todas con el mismo coeciente a
m
de x. Multiplicando estas da una ecuacin para B
cuyos trminos de orden m son justo (y a
m
x)
m
.
Diferenciando da
dx
dt
= mt
m
,
dy
dt
= ma
r
t
m
+. . . , as
dy
dx
a
m
como t 0. As la tangente a B en el
punto con parmetro t converge a la lnea y = a
m
x como t 0. La lnea recta desde 0 para este punto
tambin converge al mismo lmite. Asi la tangente denida algebraicamente arriba tiene las esperadas
propiedades geomtricas.
18
La curva C es suave en 0 si y solo si m
0
(C) = 1. Se deduce que C consiste de una nica rama
con multiplicidad 1. Si x = 0 no es tangente podemos tomar a x el mismo como parmetro en C.
Ya que y = (x) para holomrca, podemos tomar como sistema coordenado el par (x, y

) con
y

:= y (x): en esas coordenadas, C llega a ser una lnea recta. A veces podemos decir que 0 es un
punto simple de C, o C no es singular en 0 que signican lo mismo.
0.4. Factorizacin.
En esta seccin, la cual debe ser omitida en la primera lectura, claricamos varios puntos planteados
por los anteriores. Necesitamos mostrar que los procedimientos de las dos secciones precedentes nos
llevan a las mismas series de Pusieux: esto se deducir de una discusin ms fuerte de factorizacin en
anillos de series de potencias formales, y para esto necesitamos una versin del teorema de preparacin
vlido para estos.
Debemos considerar El Teorema de Puiseux como comienza Toda ecuacin tiene una raz: es-
ta denicin para nmeros complejos puede ser establecidad en trminos del campo de los nmeros
complejos siendo algebraicamente cerrado: hay una denicin correspondiente aqu, pero primero nece-
sitamos construir el campo.
Hay tambin un criterio usadio para la factorizacin en trminos del polgono de Newton.
Ya hemos visto que si R es un anillo de series de potencias formales o un anillo de series de
potencias convergentes, algn elemento de R con un trmino constante diferente de cero tiene un
inverso. Asociando a cada elemento de R su trmino constante dene un homomorsmo de anillo
: R C, cuyo kernel m es as un ideal en R. As algn elemento de R no tendido en m tiene
un inverso. As algn ideal en R no contenido en m contiene un elemento con un inverso, y entonces
contiene 1, as es el entero de R. As m es el nico ideal mximo (propio) en R. En general un anillo
R es llamado a ser un anillo local si tiene un ideal m tal que todos los elementos de R\ m tienen
inversas. As nuestros anillos son anillos locales. La terminologa reere al hecho de que tales anillos
fueron originalmente introducidos por estudio del comportamiento de una variedad algebraica cerca a
un punto particular; y esto es precisamente lo que estamos haciendo aqu.
Podemos tambin formalizar la propiedad clave de las series formales de potencias , que ellas pueden
ser construidas trmino a trmino. Un anillo local R con ideal maximal m es llamada est llamada
a ser completa si alguna sucesin a
i
R tal que para cada i, a
i
-a
i
m
i
converge m-dicamente: existe
un elemento a

R con a

-a
i
m
i
para cada i. Claramente esto se cumple para series formales de
potencias en algn nmero de variables. El teorema de preparacin para anillos de series formales de
potencias puede ahora ser establecido como:
Teorema 2.4.1 Sea R un anillo completo local con un ideal maximal m, as que K = R/m es un
campo. Seaf R[[y]] que tiene imagen f K [[y]] de orden s en y. Entonces f debe ser nicamente
expresado como un producto Ug, con U una unidad y g R[y] un polinomio mnico de grado s.
Prueba Denamos g
0
= y
s
; sea U
0
algn recorrido de R[[y]] de f/y
s
K [[y]]. Entonces tenemos
f U
0
g
0
m.R[[y]].
Supongamos inductivamente que podemos encontrar U
r
con U
r
U
r1
m
r
R[[y]] y polinomios
mnicos g
r
de grado s con g
r
g
r1
m
r
R[y] tal que f U
r
g
r
m
r+1
.R[[y]]: entonces U
r
converge
en el m-dico sentido a una unidad U y g
r
converge a un polinomio mnico g con f = Ug.
Para el paso de induccin escriba
(U
0
)
1
(f U
r
g
r
) =
s1

i=0
c
i
y
i
+y
s
B(y),
con c
i
R. Ya que el miembro derecho pertenece a m
r+1
.R[[y]], tenemos c
i
m
r+1
, y deniendo
U
r+1
= U
r
+U
0
B(y), g
r+1
= g
r
+
s1

i=0
c
i
y
i
0.4. FACTORIZACIN. 19
Entonces ya que tenemos (escribiendo

s1
i=0
c
i
y
i
=

por brevedad)
(U
0
)
1
(f U
r+1gr+1
) = U
1
0
(U
r
U
0
)

+B(y)(y
s
g
r
) B

,
con (U
r
U
0
) m.R[[y]]y (y
s
g
r
) m.R[[y]] ( de la siguiente manera por induccin) las condi-
ciones de arriba son fcilmente chequeadas. Tambin estas elecciones son determinadas nicamente
mdulo m
r+2
.
Se deduce, por la misma prueba como para el Teorema 2.2.5, que C[[x, y]] es un dominio de
factorizacin nica.
Corolario 2.4.2 para algn f C[[x, y]], con f(0, y) de orden m, existe N y una factorizacin
f(t
N
, y) = U(t
N
, y)
m

i=1
_
y

r=1
c
r,i
t
r
_
Prueba Por el Teorema 2.1.1, la ecuacin f(x, y) = 0 admite una solucin como unas series de
Puiseux: digamos (x, y) = (t
n
,

1
a
r
t
r
). Si sustitumos x = x
r
1
en f, podemos entonces sacar un
factor (y

1
a
r
x
r
1
). El cociente tiene el orden m en y decrecido por 1. Debemos ahora proceder por
induccin: cuando m de tales factores son sacados, el resultado tiene orden0 en y, as es una unidad.
Este resultado corresponde al Teorema 2.2.6. Ahora observemos que las series de potencias en este
resultado son nicamente determinadas, ya que la factorizacin se cumple, y y(x) puede solo dividir
y(x) si (x) (x). As si en efecto f Cx, y las series obtenidas deben ser la mismas cualquiera
sea el mtodo que hemos usados para obtenerlos
Esto se asemeja a la factorizacin de costumbre de polinomios sobre C, y en realidad el resulta-
do puede ser formulado de similar modo. Primero denamos un anillo P [[x]] como la unin de los
anillos C
__
x
1/n

. (estrictamente hablando introduciremos nuevas variables x

n
para n N sujeto a
las relaciones x
m
mn
= x
n
para m, n N, y entonces interpretar x
n
como x
1/n
.) Enseguida, C[[x]] es
hecho en un campo C[[x]]
_
x
1

colindando x
1
. Un elemento de este campo es una serie de la forma

r=v
a
r
x
r/n
, donde v no necesita ser positivo.
Correspondientemente tenemos el anillo P x, denimos como la unin de los C
_
x
1/n
_
, para
n N, y el campo P x
_
x
1

obtenido de el conlindando x
1
Entonces el Teorema de Puiseux puede ser establecido como:
Teorema 2.4.3 Los campos P [[x]]
_
x
1

, P x
_
x
1

son algebraicamente cerrados.

Prueba El argumento es el mismo para ambos casos: lo presentamos para las series formales de
potencias. Si y satisface una ecuacin polinmica f(y) = 0 sobre P [[x]]
_
x
1

, debemos suponer f
mnico. Reemplazando y por z = x
k
y para la adecuada k da z satisfaciendo una ecuacin g(z) = 0
todos de cuyos coecientes pertenecen a P [[x]]
Escogiendo un comn denominador n para los exponentes as para todos los coecientes pertenecientes
a C[[x
n
]]. Debemos ahora considerar a g el mismo como perteneciente a C[[x
n
, z]], y aplicar el teorema
para obtener una solucin para z como una serie de Puiseux en x
n
y por consiguiente en x, as como
un elemento de P [[x]]. Asi la cuacin para y tiene solucin en P [[x]]
_
x
1

Sobre un campo algebraicamente cerrado, una ecuacin polinmica de grado m siempre tiene m
races ( permitido para multiplicidades), las cuales se agregan las conclusiones arriba. La presencia de
races mltiples puede, como de costumbre, ser detectada aplicando el algoritmo euclidiano para testear
por un campo comn de f y f/y, o ms simplemente por el desaparecimiento del discriminante.
La consideracin del polgono de Newton de la ecuacin f lleva a diferentes tipos de resultados
sobre factorizacin.
Lema 2.4.4 Suponga la i
th
borde del polgono de Newton de f correspondiendo a un incremento
k
i
en la primera coordenada y a un decremento de n
i
en el segundo. Entonces la curva C denida por
C = 0 es la unin de las piezas B
i
, de multiplicidades min(k
i
, n
i
), y tal que cada rama de B
i
tiene
series de Puiseux de la forma
y = ax
ni/ki
sumando t erminos mayores, con a ,= 0,
20
y correspondientemente f =

f
i
donde el polgono de Newton de f
i
es un borde simple de (0, k
i
)
a (n
i
, 0).
Prueba Consideremos alguna rama B de C, dado digamos por x = t
n
, y =

a
r
t
r
, y con ecuacin
g(x, y) = 0. Si k es el menor valor de r tal que a
r
,= 0 entonces g tiene polgono de Newton consistiendo
de un borde simple, y si h es el mayor factor comn (k, n) y denimos k = hk

, n = hn

entonces los
trminos correspondientes en la ecuacin son (y
n

a
n
k
)
h
. Asi el polgono de Newton de la rama es el
segmento desde (k, 0) a (0, n).
Ahora supongamos que C tiene ramas B
j
cuyos polgonos de Newton son los segmentos desde
(k
j
, 0) a (0, n
j
); ordenamos las ramas as que las fracciones
nj
kj
son no-decrecientes. Entonces vemos
por inspeccin que el polgono de Newton deC comienza en (

j
k
j
, 0) y procede a su vez a travs de
los puntos (

jr
k
j
,

j>r
n
j
).
Por consiguiente, dado el polgono de Newton de la curva original, obtenemos la informacin deseada
sobre las ramas tomando los bordes separadamente, y para cada borde factorizando el polinomio
correspondiente a los trminos de la ecuacin en ese borde.
0.5. Notas
Seccin 2.1 El algoritmo es debido a Newton. Las contribuciones de Newton fueron bosquejadas
en cartas (142): vese tambin (143). Dos cartas incluyendo una crucial de 24/10/1676 para Oldenburg,
son reproducidas en (23) pp 495- 498. Esto enfatiza el uso del polgono de Newton para obtener el
trmino inicla de una solucin de series y muestra que Newton fue bien capaz de continuar de encontrar
resultados adicionales. No ahy una discusin de convergencia.Nuestro documento de Puiseux (152) es
datado de 1850.
Seccin 2.2 El desarrollo se deduce de textos estndar en teora de variable compleja: vese (81).
Ambas deniciones y pruebas del Teorema 2.2.2, Teorema 2.2.3 y Corolario 2.2.4 siguen siendo vlidos
si x es interpretado como una sucesin de variables complejas (x
1
, . . . , x
k
) en lugar de una sola variable .
Referencias adcionales son dadas en (190). Una prueba alternativa es dada en (79). La referencia original
para el Teorema de Preparacin de Weierstrass es (198). Tambin parece una inmediata consecuencia,
el Teorema de Divisin (Corolario 2.2.4) es debido (independientemente) a Stickelberger (173) y Spath
(170).
Seccin 2.3 El mtodo para pasar de una parametrizacin a una ecuacin es debido a (65) pp 56-58.
Seccin 2.4 El uso del teorema de preparacin para establecer propiedades algebraicas de O
n
fue
impulsao por Ruckert (157).
Se deduce que por la misma prueba como para el Teorema 2.2.5, junto con la induccin en n,
que, para algn n, cada uno de los anillos C[[x
1
, . . . , x
n
]] , Cx
1
, . . . , x
n
es un dominio de factor-
izacin nica. Argumentos similares muestran que estos anillos poseen propiedades estndar para
anillos polinmicos - noetherianos, de dimensin global (homolgica) n. Referimos al lector interesado
a (81) pp 74 -76; para ver tambin (79) Seccin 2.2.
El Lema 2.4.4 es un caso especial del Lema de Hensel, como puede ser establecido a continuacin .
Teorema 2.5.1 Sea RC[[x]]o Cx; escriba m para el ideal de las series con trmino constante cero.
Sea f(y) R[y] un polinomio, y suponga a R tal quef(a) pertenece al ideal f

(a)
2
~ m. Entonces
hay un nico b R tal que f(b) = 0 y b a f

(a) ~ m.
Vese (64) Teorema 7.3 para discusiones adicionales. Una versin ms simple es dada en (79) p 74.
Algunos autores deducen de estos resultados del teorema de aproximacin de Artin.
Caracterstica nita Ahora discutimos como los resultados en el texto necesitan ser modicados en
caracterstica p. Como se ha notado arriba, el teorema de Puiseux es falso en todos las formas estable-
cidas. El ejemplo dado: y = R(x) =

k=0
x
22
k
es algebraico, como lo satisfacey
2
+x
2
y +x
2
= 0. Sin
embargo, esta curva admite la parametrizacin racional (x, y) = (
t
2
1+t
,
t
1+t
2
), fcilmente desarrollado
como series de potencias en t, donde x = t
2
+t
3
+t
4
+ . El problema surge cuando se trata de inver-
0.5. NOTAS 21
tir esto para expresar t como series de potencias fraccionarias en x: obtenemos t =

k=1
x
12
k
+x.
Ntese tambin que la proyeccin sobre el eje x es una doble cubierta, con transformacin cubierta ,
donde (t) =
1
1+t
, dando (y) = y +x
2
y (x) = x.
La teora general es desarrollada en (27) . El punto de vista de Campillo es uno formal: estudiar
el anillo O, o adems su complexin O en el sentido m- dico. Entonces (27) 1.3.1 si tiene justo
una rama en 0 la cerradura integral Ode

Oest completa, rango anillo de valoracin discreta, y as es
isomrifco al anillo de series de potencias k [[t]]. Asi escogiendo un isomorsmo da una parametrizacin
local y el mapa compuesto.
k [x, y] k [] O O

= k [[t]]
da expresiones de x y y como series de potencias en t. El sustituto ms ecaz para el teorema de
Puiseux es la expansin de Noether - Hamburger: vese (27) para una exposicin.
En efecto hay siempre expansiones de series de potencias fraccionarias y =

x
r
. Los denomi-
nadores de los exponentes r

ya no se limitan, pero existe un entero N tal que todos los Nr

tienen
como denominador una potencia de p. La convergencia no puede ser denida, pero el conjunto de
exponentes r

est bien ordenado, lo cual hace las manipulaciones posibles. En realidad, las series que
satisfacen estas condiciones forman un campo algebraicamente cerrado (172). Una precisa caracteri-
zacin de la cerradura algebraica de k [[x]] fue dada por Kedlaya (98).
Un aspecto de lo que va mal en la caracterstica p es que el grupo cclico innito
1
(D

) que
es sustituido por el Grupo de Galois sobre k [[t]] de su cerradura algebraica (separable). Tambin en
algn ejemplo, solo un cociente nito de esto es relevante, esto no necesita ser abeliano. Aqu hay dos
ejemplos en caracterstica 2. En cada caso damos un polinomio g
i
deniendo una curva
i
: g
i
= 0, y
considerar la proyeccin
i
de
i
en el eje x.
g
2
= x +y
4
+y
5
.Aqu
2
no es cubrimiento normal; su grupo de Galois tiene orden 12 o 24, ya que
si ponemos la ecuacin para y en forma normal usando la preparacin de Weierstrass ( multiplicando
por una unidad 1+y+y
2
+y
3
+ ) conseguimos y
4
+xy
3
+xy
2
+xy+x sumando trminos superiores,
lo cual tiene cbica degenerada
3
+(x+x
2
)
2
+x
2
+(x
2
) adems de los trminos ms altos, o
3
+x
2
adems de los trminos ms altos , lo cual claramente no tiene una raz enk [[x]].
g
3
= x + y
4
+ y
7
. Tenemos un cubrimiento de Galois
3
con el grupo el grupo de cuatro. Las
transformaciones de cubrimiento sony y +y
2
+
2
y
3
+
3
y
4
+y
5
+

a
n
y
n
, donde
4
= , as
es algn elemento del campo de Galois F
4
, y a
n
es encontrado inductivamente igualando los coecientes
de y
n+6
en la ecuacin expresando invarianza de x bajo la transformacin.