Algebra Local

Pedro Sancho de Salas 2001

 Indice General
1 Completacin o 1.1 Introduccin . . . . . . . . . . . . . . . . . . . . . . . o 1.2 Anillos noetherianos. Variedades algebraicas. Repaso 1.3 L mites inductivos y proyectivos . . . . . . . . . . . 1.4 Completacin . . . . . . . . . . . . . . . . . . . . . . o 1.4.1 Ejemplos de completaciones y graduados . . . 1.4.2 Topolog I-dica. Completacin I-dica . . a a o a 1.4.3 Artin-Rees . . . . . . . . . . . . . . . . . . . 1.4.4 Completacin y noetherianidad . . . . . . . . o 1.4.5 Teorema de Cohen . . . . . . . . . . . . . . . 1.5 Problemas . . . . . . . . . . . . . . . . . . . . . . . . 2 Teor de la dimensin local a o 2.1 Introduccin . . . . . . . . . . . . . . . . . . . . . o 2.2 Longitud de un mdulo . . . . . . . . . . . . . . o 2.3 Funcin de Hilbert . . . . . . . . . . . . . . . . . o 2.4 Dimensin en anillos locales noetherianos . . . . o 2.5 Teor de la dimensin en variedades algebraicas a o 2.6 Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 5 5 14 19 22 23 24 26 28 30 33 33 33 36 37 40 42 45 45 45 48 50 53 55 59 59 59 63 66 68 70 72

3 Anillos locales regulares 3.1 Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 3.2 Anillos locales regulares . . . . . . . . . . . . . . . . . . . . . . 3.3 Anillos locales regulares de dimensin 1 y anillos de valoracin o o 3.4 Cierre entero y anillos de valoracin . . . . . . . . . . . . . . . o 3.5 Finitud del cierre entero . . . . . . . . . . . . . . . . . . . . . . 3.6 Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 Desingularizacin de curvas o 4.1 Introduccin . . . . . . . . . . . . . . . . . o 4.2 Espectro proyectivo . . . . . . . . . . . . . 4.3 Explosin en un punto y desingularizacin o o 4.4 Multiplicidad de un punto singular . . . . 4.5 Multiplicidad de interseccin . . . . . . . o 4.6 Teoremas de Bzout y Max Noether . . . e 4.7 Ramas anal ticas . . . . . . . . . . . . . . 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4 4.8 4.9

INDICE GENERAL Puntos cuspidales y contacto maximal . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.8.1 Desingularizacin de curvas planas v el contacto maximal . . . . . . . . . . . o a Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 74 77 80

Indice de trminos e

Bibliograf a: 1. M. Atiyah, I.G. Macdonald: Introduccin al Algebra Conmutativa, Ed. Revert, Barcelona o e (1973). 2. W. Fulton: Curvas Algebraicas, Ed. Revert, Barcelona (1971). e 3. H. Matsumura: Commutative Algebra, W.A. Benjamin Co, New York (1970). 4. J.A. Navarro: Algebra Conmutativa Bsica, Manuales UNEX, n 19, (1996). a 5. R. Hartshorne: Algebraic Geometry, GTM n 52, Springer Verlag (1977).

Cap tulo 1

Completacin o
1.1 Introduccin o

Vamos a iniciar el estudio local, en un entorno de un punto, de las variedades algebraicas. Es decir, del estudio del anillo local de los grmenes de las funciones algebraicas de una variedad en un punto. e En las siguientes secciones abordamos la completacin de un anillo en un punto. Esta tcnica cono e siste en tomar los desarrollos de Taylor de las funciones en el punto. As el proceso de completacin , o puede entenderse como una aproximacin algebraico-anal o tica al estudio de las variedades. El completado del anillo de funciones algebraicas de una variedad en un punto reejar las propiedades locales a de la variedad en el punto. Si bien el proceso de completacin es ms drstico que el de localizacin. o a a o Por ejemplo, los anillos locales de una recta af y los de una cbica plana sin puntos singulares no n u son isomorfos pues no lo son sus cuerpos de funciones, sin embargo, los completados de sus anillos locales si son isomorfos (sobre un cuerpo algebraicamente cerrado). Demostraremos, mediante Artin-Rees, que el morsmo de completacin A A es plano. La o estructura de A es ms sencilla que la de A. As gracias a la platitud del morsmo de completacin, a , o muchos problemas se pueden simplicar estudindolos en A. a Nuestros objetivos sern demostrar las propiedades de exactitud de la completacin, que la coma o pletacin de un anillo noetheriano es noetheriano, que el morsmo de completacin es plano y el o o teorema de Cohen. El teorema de Cohen es un teorema de estructura de los anillos completos. Arma que, en general, la completacin de un anillo local noetheriano es un cociente de un anillo de series o formales, como sucede con los anillos de funciones de las variedades algebraicas.

1.2

Anillos noetherianos. Variedades algebraicas. Repaso

En Geometr Algebraica los espacios estudiados son objetos denidos por un nmero nito de ecuaa u ciones (la nitud es una condicin natural). Es decir, los ideales que se consideran son los generados o por un nmero nito de funciones. Los anillos cuyos ideales son nito generados se denominan noetheu rianos. Como veremos los anillos que usualmente aparecen en Geometr Algebraica y la Aritmtica a e son noetherianos, de forma que estos anillos proporcionan el marco natural para desarrollar su estudio. Ser natural comenzar estudiando los mdulos nito generados, cuyos submdulos sean nito a o o generados, en vez de limitarnos simplemente a los anillos cuyos ideales son nito generados. Las operaciones bsicas como producto tensorial, cocientes etc., se realizan de un modo mucho ms exible a a 5

Cap tulo 1.

Completacin o

y claro con los mdulos, y muchos de los objetos usuales en Matemticas tienen estructura de mdulo. o a o Denicin 1.2.1. 1 Un A-mdulo M se dice que es un A-mdulo noetheriano si todo submdulo o o o o suyo (propio o no) es nito generado. Denicin 1.2.2. o submdulos de M o
2

Un A-mdulo M se dice que es noetheriano si toda cadena ascendente de o M1 M2 Mn

estabiliza, es decir existe m >> 0 de modo que Mm = Mm+1 = . Proposicin 1.2.3. Las dos deniciones anteriores son equivalentes. o Demostracin. def1 def2 : Sea una cadena ascendente de submdulos de M , M1 M2 o o Mn . Sea M = Mi M . Como M es un submdulo de M , es nito generado. Escribamos o M = m1 , . . . , mr , con mj Mij . Sea m el mximo de todos los ij . Entonces trivialmente se a obtiene que M = Mm , luego Mm = Mm+1 = . def2 def1 : Sea M M . Sea m1 M y consideremos el submdulo de M , M1 = m1 . Si o M1 = M , sea m2 M M1 . Consideremos el submdulo de M , M2 = m1 , m2 . Repitiendo el o proceso, obtenemos una cadena de inclusiones estrictas m1 m1 , m2 que ha de ser nita, porque por la segunda denicin toda cadena estabiliza. Por tanto, existe un o m N tal que m1 , . . . , mm = M . Ejemplo 1.2.4. Los k-espacios vectoriales de dimensin nita son k-mdulos noetherianos. o o Proposicin 1.2.5. Todo submdulo de un mdulo noetheriano es noetheriano. o o o Proposicin 1.2.6. Todo cociente de un mdulo noetheriano es noetheriano. o o Demostracin. Sea M noetheriano y : M M/N un cociente. Dado un submdulo M M/N , o o 1 = (m1 ), . . . , (mr ) . tenemos que M = m1 , . . . , mr . Por tanto, M Proposicin 1.2.7. Sea o 0 M1 M2 M3 0 una sucesin exacta de A-mdulos. Se verica que M2 es noetheriano M1 y M3 son noetherianos. o o Demostracin. ) Esto es lo que arman las dos proposiciones anteriores. o ) Sea M M2 . El diagrama siguiente es conmutativo y las las son exactas: 0 M M1 M (M ) 0 0 M1 M2
i=1

M3 0

Tenemos que M M1 = m1 , . . . , mr y que (M ) = (n1 ), . . . , (ns ) . Por tanto, tenemos la igualdad M = m1 , . . . , mr , n1 , . . . , ns .

1.2.

Anillos noetherianos. Variedades algebraicas. Repaso

Ejercicio 1.2.8. Probar que M y M son noetherianos si y slo si M M es noetheriano. o Denicin 1.2.9. Se dice que un anillo es noetheriano si como A-mdulo es noetheriano, es decir si o o todo ideal es nito generado, o equivalentemente, si toda cadena ascendente de ideales estabiliza. Ejemplo 1.2.10. Los cuerpos, los anillos de ideales principales, como Z, k[x], son noetherianos. Un ejemplo de anillo no noetheriano, es el anillo de funciones diferenciales en la recta real: 1 1 Sea In el ideal de las funciones que se anulan en ( n , n ), n N. Tenemos que I1 I2 In es una cadena ascendente estricta de ideales en el anillo, luego no estabiliza. Por tanto, el anillo no es noetheriano. Corolario 1.2.11. Si A es noetheriano entonces todo A-mdulo nito generado es noetheriano. o Demostracin. Si A es noetheriano An es un A-mdulo noetheriano, por el ejercicio que sigue a o o la proposicin 1.2.7. Ahora bien, como todo mdulo nito generado es cociente de un libre nito o o generado, concluimos que los mdulos nitos son noetherianos. o Por tanto, sobre los dominios de ideales principales todo mdulo nito generado es noetheriano. o Ejercicio 1.2.12. Si A es noetheriano AS es noetheriano Ejercicio 1.2.13. Demostrar que Q[x, x1 , . . . , xn , . . . ]/((x n)xn ){nN} es localmente noetheriano pero no es noetheriano. Proposicin 1.2.14. Si A es un anillo noetheriano, entonces Spec A es un espacio topolgico noetheo o riano. (Un espacio topolgico se dice que es noetheriano si toda cadena descendente de cerrados o estabiliza). Demostracin. Sea C1 C2 Cn una cadena descendente de cerrados. Sean Ii los o ideales de funciones que se anulan en Ci . Luego (Ii )0 = Ci y tenemos la cadena I1 I2 In Cadena que estabiliza por ser A noetheriano. Es decir, existe m N de modo que Im = Im+1 = . Luego, Cm = Cm+1 = . Ejercicio 1.2.15. Demostrar 1. Todo espacio topolgico noetheriano es compacto. o 2. Todo abierto de un espacio topolgico noetheriano es noetheriano. o 3. Llamemos cerrado irreducible a todo cerrado que no es unin de dos cerrados propios. Todo o espacio topolgico noetheriano es unin de un nmero nito de cerrados irreducibles. o o u Ejercicio 1.2.16. Probar que en un anillo noetheriano el nmero de ideales primos minimales es u nito. Denicin 1.2.17. Un morsmo de anillos f : A B se dice que es nito si B es un A-mdulo o o o nito, con la estructura natural de A-mdulo que dene f en B (a b = f (a) b). En este caso, tambin se dice que B es una A-lgebra nita. e a
def

Cap tulo 1.

Completacin o

Ejemplo 1.2.18. R C es un morsmo nito. Proposicin 1.2.19. La composicin de morsmos nitos es nito. o o Demostracin. Sean A B C. Es decir, B = Ab1 + + Abn y C = Bc1 + + Bcm . Luego, o
n,m nito nito

C = (Ab1 + + Abn )c1 + + (Ab1 + + Abn )cm =

i=1,j=1

Abi cj

En conclusin, A C es un morsmo nito. o Proposicin 1.2.20. Sea A B un morsmo nito y A C un morsmo de anillos. Se verica o que C = A A C B A C es un morsmo nito. Corolario 1.2.21. Si A B es un morsmo nito entonces AS BS y A/I B/I B son morsmos nitos Denicin 1.2.22. Sea A B un morsmo de anillos. Se dice que b B es entero sobre A si o verica una relacin del tipo o bn + a1 bn1 + + an = 0, con ai A

Proposicin 1.2.23. Sean f : A B un morsmo de anillos y b B. Denotemos A[b] = {p(b) B, o para p(x) A[x]}. El morsmo A A[b] es nito b es entero sobre A. Demostracin. ) Sea b1 , . . . , bn un sistema generador del A-mdulo A[b]. Consideremos el endoo o morsmo de A-mdulos o b A[b] A[b] c c b Sea (aij ) una matriz asociada b en el sistema generador b1 , . . . , bn . Sea pc (x) = |(aij x Id| = xn + a1 xn1 + + an , con ai A. Se verica que pc (b) = 0, luego pc (b) = pc (b)(1) = 0 y b es entero sobre A. ) Sea p(x) = xn + a1 xn1 + + an , con ai A, tal que p(b) = 0. El epimorsmo A[x]/(p(x)) A[b], q(x) q(b) est bien denido. Por tanto, slo tenemos que demostrar que A[x]/(p(x)) es un a o A-mdulo nito generado. o Veamos que x, . . . , xn1 es un sistema generador de A[x]/(p(x)) (de hecho, es una base): 1, xn = (a1 xn1 + . . . + an ) x, . . ., xn1 1, xn+1 = (a1 xn + . . . + an x) x, x, . . ., xn x, . . ., xn1 1, ...

Observacin: Para la demostracin de ) slo es necesario suponer que A[b] est incluido en o o o a una A-lgebra nita. a Denicin 1.2.24. Dada una extensin de cuerpos k K y K, decimos que es algebraico o o sobre k, si es entero sobre k, que equivale a decir que es ra de un polinomio con coecientes en k. z

1.2.

Anillos noetherianos. Variedades algebraicas. Repaso

Ejemplo 1.2.25. Si es una ra n-sima de la unidad, entonces Q Q() es un morsmo nito. z e Ejemplo 1.2.26. El morsmo Spec k[x, y]/(y 2 x2 + x3 ) Spec k[x] denido por (, ) es un morsmo nito. Proposicin 1.2.27. Sea f : A B un morsmo de anillos. El conjunto de elementos de B enteros o sobre A forman una A-sublgebra de B. a Demostracin. Sean b1 , b2 B enteros sobre A. Tenemos que A A[b1 ] es un morsmo nito, y o A[b1 ] A[b1 , b2 ] es un morsmo nito porque si b2 verica una relacin entera con coecientes en A, o en particular la verica con coecientes en A[b1 ]. Por tanto, por la proposicin 1.2.19 A A[b1 , b2 ] o es un morsmo nito. Luego, por la observacin anterior, todo elemento p(b1 , b2 ) A[b1 , b2 ] B, con o p(x, y) A[x, y], es entero sobre A. Hemos concluido. Lema 1.2.28. Sea k un cuerpo. Las k-lgebras nitas a ntegras son cuerpos. Demostracin. Sea A una k-lgebras nita o a ntegra. Dado a A no nula, la homotecia A A, b ba es inyectivo por la integridad de A. Por tanto, por dimensiones, es isomorsmo. Luego a es invertible y A es cuerpo. Lema 1.2.29. Sea k un cuerpo. El espectro de una k-lgebra nita es un nmero nito de puntos a u cerrados. Demostracin. Las k-lgebras nitas son anillos noetherianos luego tienen un nmero nito de ideales o a u primos minimales. Si hacemos cociente por un ideal primo minimal obtenemos una k-lgebra nita a ntegra, luego es un cuerpo por el lema anterior. Por tanto, los ideales primos minimales son maximales y hemos concluido. Corolario 1.2.30. Sea A una k-lgebra nita y {x1 , . . . , xn } = Spec A. Se cumple que el morsmo a natural A Ax1 Axn es un isomorsmo. Luego toda k-lgebra nita es un producto de un nmero nito de k-lgebras a u a nitas locales. Demostracin. Para probar que un morsmo es isomorsmo basta verlo localmente. (Ax1 o Axn )xi = Axi porque (Axj )xi = 0 si i = j y (Axi )xi = Axi . Se concluye inmediatamente. Lema 1.2.31. Si f : A B es un morsmo nito e inyectivo, entonces el morsmo inducido f : Spec B Spec A es epiyectivo. Demostracin. Dado x Spec A, el morsmo Ax Bx es nito e inyectivo. Por Nakayama, px Bx = o Bx , luego Spec Bx /px Bx = . Es decir, la bra de x es no vac luego f es epiyectivo. a, Denicin 1.2.32. Llamaremos dimensin de Krull de un anillo A al supremo de las longitudes de o o las cadena de ideales primos de A, o equivalentemente al supremo de las longitudes de las cadenas de cerrados irreducibles de Spec A. Denotaremos a la dimensin (de Krull) de A por dim A. o Ejercicio 1.2.33. Demostrar que la dimensin de Krull de C[x, y] es dos. o
a

10

Cap tulo 1.

Completacin o

Teorema 1.2.34. Si f : A B es un morsmo nito entonces el morsmo inducido f : Spec B Spec A es una aplicacin cerrada de bras de dimensin cero y nitas. o o Demostracin. Sea C = (J)0 un cerrado de Spec B. Debemos demostrar que f (C) es un cerrado de o Spec A. Consideremos los diagramas A
f

Spec A

Spec B

A/J A B/J

(J A)0 = Spec A/J A Spec B/J = C

f |C

Basta ver que f |C es epiyectiva. Ahora bien, como A/J A B/J es un morsmo nito inyectivo, por el lema anterior concluimos que f |C es epiyectiva. La bra de un punto x Spec A es f 1 (x) = Spec Bx /px Bx . Observemos que si f 1 (x) = entonces Bx /px Bx es una Ax /px -lgebra nita. Concluimos por el lema 1.2.29 a Ejercicio 1.2.35. Probar que la inclusin natural k[x] k[x, y]/(xy 1) no es un morsmo nito. o Teorema 1.2.36 (del ascenso). Sea f : A B un morsmo nito. Sean px px A y py B ideales primos, de modo que f 1 (py ) = px . Existe un ideal primo py B, de modo que py py y f 1 (py ) = px . Demostracin. Por el teorema anterior f : Spec B Spec A es una aplicacin cerrada. Por tanto, o o f () = x. Luego como x x, existe un y y tal que f (y ) = x . Es decir, py py y y f 1 (py ) = px . Corolario 1.2.37. Si f : A B es un morsmo nito de modo que f : Spec B Spec A es epiyectivo (por ejemplo, si f es inyectivo) entonces dim A = dim B. Demostracin. Dada una cadena estricta de cerrados irreducibles y1 y2 yn de Spec B, o f (y1 ) f (y2 ) f (yn ) es una cadena de cerrados irreducibles estricta de Spec A, pues las bras son de dimensin cero (1.2.34). Por tanto, dim B dim A. o Sea ahora una cadena estricta de cerrados irreducibles x1 x2 xn de Spec A. Sea yn Spec B, tal que f (yn ) = xn . Por el teorema del ascenso, existe yn1 yn tal que f (yn1 ) = xn1 . As sucesivamente, obtendremos una cadena estricta de cerrados irreducibles y1 y2 yn de Spec B (de imagen por f , la cadena de Spec A). Por tanto, dim A dim B, luego dim A = dim B. Proposicin 1.2.38. Sea G un grupo nito de automorsmos de un anillo B. Se verica que o Spec B G = (Spec B)/G donde B G = {b B : g(b) = b, para todo b B} y (Spec B)/G es el espacio topolgico cociente o de Spec B por la relacin de equivalencia x x , si existe un g G tal que x = gx (es decir, o px = g(px )). En consecuencia, el morsmo natural : Spec B Spec B G es abierto, y el morsmo B G B cumple el teorema del descenso de ideales: dados dos ideales primos py py B G , y un ideal primo px B tal que px B G = py , entonces existe un ideal primo px px tal que px B G = py .

1.2.

Anillos noetherianos. Variedades algebraicas. Repaso

11

Demostracin. Empecemos observando que dada f B, el polinomio o

gG

(x g(f )) es un polinomio

mnico con coecientes en B G . Por tanto, B G B G [f ] es un morsmo nito. Por tanto, B G B o es un morsmo entero, luego epiyectivo y cerrado en espectros. Slo nos falta ver que las bras del morsmo Spec B Spec B G son rbitas por la accin de G. o o o G acta transitivamente sobre las bras del morsmo Spec B Spec B G : Obviamente, dado un u ideal primo px B, g(px ) corta a B G en el mismo ideal primo que px . Es decir, G acta en las bras. u Sea px es un ideal primo de B distinto de g(px ) = pg(x ) para todo g G. Supongamos que x, x tienen la misma imagen por el morsmo Spec B Spec B G , digamos y. Sabemos que px no est a incluido en ninguno de los g(px ), luego existe una f B que se anula en x y no se anula en ninguno de los g(x ). Entonces N (f ) = g(f ) B G se anula en x y no se anula en ninguno de los g(x ).
def gG Not

Llegamos a contradiccin, porque por un lado N (f ) ha de anularse en y y por el otro no. o Vayamos con la consecuencia. Sea U Spec B un abierto. Se cumple que V = g(U ) es
gG

un abierto y que 1 ((U )) = V , luego (U ) es un abierto. Por ultimo, sea x Spec B tal que (x ) = y . Hemos dicho ms arriba que es un morsmo cerrado, por tanto, (x ) = y . Luego a , tal que (x1 ) = y. Como las bras de son rbitas, tenemos que x = gx1 , para cierto existe x1 x o g G. Ahora es fcil ver que (gx ) = y y x = gx1 gx , i.e., pgx es el ideal px buscado. a

Teorema 1.2.39 (Descenso. Cohen-Seidenberg). Sea A un anillo ntegramente cerrado en su cuerpo de fracciones . Sea una extensin nita de cuerpos y A el cierre entero de A en . o El morsmo Spec A Spec A es abierto y A A cumple el teorema del descenso de los ideales. Demostracin. Sea la envolvente normal de , sobre . Sea A el cierre entero de A en . o Observemos los morsmos A A A , Spec A Spec A Spec A

Los morsmos inyectivos enteros, como los nitos, son epiyectivos en espectros. Por tanto, si Spec A Spec A es abierto entonces Spec A Spec A es abierto. Igualmente, si A A cumple el teorema del descenso de ideales, entonces A A tambin. e En conclusin, podemos suponer que es una extensin normal, digamos de grupo de o o G G o Galois G. Sea A el cierre entero de A en . Es fcil ver que A = A . Por la proposicin anterior, a G se cumple Cohen-Seidenberg para el morsmo A = A A . Para concluir, basta demostrar Cohen-Seidenberg para  / A A _ _  
G

 /G
G
n

es puramente inseparable, sobre , luego para todo b , existe un n N de modo que bp n n (donde 0 < p = car ). Por tanto, para todo b A, existe un n N de modo que bp A (pues bp

12

Cap tulo 1.

Completacin o

es entero sobre A). Se concluye, pues ha de vericarse que Spec A = Spec A, con las asignaciones Spec A p p A o Spec A / p = {b A : bpn p}  p

Denicin 1.2.40. Sea A una k-lgebra. Diremos que las funciones 1 , . . . , n A son algebraicamente o a independientes sobre k cuando el morsmo de k-lgebras k[x1 , . . . , xn ] A, p(x1 , . . . , xn ) p(1 , . . . , n ) a i i sea inyectivo; es decir, cuando cualquier relacin algebraica i1 ...in ai1 ...in 11 . . . nn = 0, con coeo cientes en k, tenga todos sus coecientes nulos. Lema 1.2.41 (de normalizacin de Noether). Sea A = k[1 , . . . , n ] una k-lgebra de tipo nito. o a Supongamos que k tiene un nmero innito de elementos1 . Existe un morsmo nito inyectivo u k[x1 , . . . , xr ] A Toda variedad algebraica af se proyecta de modo nito en un espacio af n n. Demostracin. Vamos a hacerlo por induccin sobre n. Para n = 0, no hay nada que decir (k = k). o o Supongamos que el teorema es cierto hasta n 1. Sea r el nmero mximo de {i } algebraicamente independientes entre s Si r = n, entonces u a . k[1 , . . . , n ] = k[x1 , . . . , xn ]. Podemos suponer entonces que n es algebraico sobre k[1 , . . . , n1 ]. Luego existe un p(x1 , . . . , xn ) k[x1 , . . . , xn ], donde la variable xn aparece, de modo que p(1 , . . . , n ) = 0. Escribamos p(x1 ,. . ., xn ) = ps (x1 ,. . ., xn ) + ps1 (x1 ,. . ., xn ) + . . . + p0 (x1 ,. . ., xn ) como suma de polinomios pi (x1 , . . . , xn ) homogneos de grado i. Sean xi = xi + i xn , entonces e p(x1 + 1 xn , . . ., xn1 + n1 xn , xn ) = ps (1 , . . ., n1 , 1)xs + n polinomio en x1 , . . ., xn1 , xn de grado en xn menor que s As pues, si eligimos 1 , . . . , n1 k de modo que ps (1 , . . . , n1 , 1) = 0, tendremos que n es o entero sobre k[1 , . . . , n1 ]. Por tanto, la composicin k[x1 ,. . ., xr ]
nito Hip.ind.

k[1 , . . . , n1 ] k[1 ,. . ., n1 , n ] = k[1 ,. . ., n1 , n ]

nito

es el morsmo nito buscado. Denicin 1.2.42. Sea A una k-lgebra, diremos que x Spec A es un punto racional si A/px = k. o a Proposicin 1.2.43. Sea A = k[x1 , . . . , xn ]/I e I = (p1 (x1 , . . . , xn ), . . . , pm (x1 , . . . , xn )). Se cumple o que los puntos racionales de Spec A se corresponden biyectivamente con las soluciones del sistema de ecuaciones p1 (x1 , . . . , xn ) = 0, . . . , pm (x1 , . . . , xn ) = 0
1 Esta

hiptesis no es necesaria, slo la imponemos porque la demostracin del lema es algo ms sencilla. o o o a

1.2.

Anillos noetherianos. Variedades algebraicas. Repaso

13

Demostracin. Sea x Spec k[x1 , . . . , xn ]. Si k[x1 , . . . , xn ]/px = k, entonces xi = i k. Por tanto, o xi i px y se cumple que px = (x1 1 , . . . , xn n ). Adems, se cumple la inclusin I = a o (p1 (x1 , . . . , xn ), . . . , pm (x1 , . . . , xn )) px si y slo si p1 (1 , . . . , n ) = 0, . . . , pm (1 , . . . , n ) = 0. En o conclusin, como los puntos racionales de A, se corresponden con los puntos racionales de k[x1 , . . . , xn ] o que contienen a I, los puntos racionales de A se corresponden biyectivamente con las soluciones del sistema de ecuaciones p1 (x1 , . . . , xn ) = 0, . . . , pm (x1 , . . . , xn ) = 0

Teorema 1.2.44 (de los ceros de Hilbert). Sea k[1 , . . . , n ] una k-lgebra de tipo nito y m a un ideal maximal. Entonces k[1 , . . . , n ]/m es una extensin nita de k. En particular, si k es o algebraicamente cerrado k = k[1 , . . . , n ]/m. Todo punto cerrado de una variedad algebraica af n sobre un cuerpo algebraicamente cerrado es racional. Demostracin. Obviamente k[1 , . . . , n ]/m es una k-lgebra de tipo nito sobre k. Por el lema de o a normalizacin de Noether, existe un morsmo nito o k[x1 , . . . , xr ] k[1 , . . . , n ]/m Por tanto, el trmino de la izquierda de la echa ha de tener dimensin cero, luego r = 0 y concluimos. e o Ejercicio 1.2.45. Calcular los ideales maximales de C[x1 , . . . , xn ] y los de C[x1 , x2 , x3 ]/(x2 + x2 + 2 1 x2 1). 3 Ejercicio 1.2.46. Sean X = Spec A y Y = Spec B dos variedades algebraicas sobre un cuerpo algebraicamente cerrado k. Denamos X k Y = Spec A k B. Probar que los puntos cerrados de la variedad algebraica X k Y son el producto cartesiano de los puntos cerrados de X pos los de Y . Proposicin 1.2.47. Sea f : X = Spec B Y = Spec A un morsmo entre variedades algebraicas o anes. La imagen por f de un punto cerrado es un punto cerrado. Demostracin. Dado un punto cerrado x X y f (x) = y, tenemos que py = f 1 px , luego el morsmo o A/py B/px es inyectivo. Por el teorema de los ceros de Hilbert, B/px es una extensin nita de k, o por tanto A/py tambin, luego es un cuerpo. Es decir, f (x) = y es un punto cerrado. e Corolario 1.2.48. Sea U X un abierto de una variedad algebraica af Los puntos cerrados de n. U se corresponden con los puntos cerrados de X que yacen en U . Demostracin. Sea x U un punto cerrado, sea Ua = Spec Aa X = Spec A un abierto bsico o a 1 conteniendo a x, tal que Ua U . Obviamente x es un punto cerrado de Ua . Aa = A[ a ] es una k-lgebra de tipo nito, luego Ua = Spec Aa es una variedad algebraica. Por la proposicin anterior a o aplicada a la inclusin Ua X, tenemos que x es un punto cerrado de X. Hemos concluido. o Corolario 1.2.49 (forma fuerte de los ceros de Hilbert). Sea k[1 ,. . ., n ] una k-lgebra de tipo a nito y f k[1 , . . . , n ]. Si f se anula en todo ideal maximal entonces es nilpotente. En particular, si una funcin se anula en todos los puntos racionales de una variedad algebraica af o n ntegra, sobre un cuerpo algebraicamente cerrado, entonces es nula.
def

14

Cap tulo 1.

Completacin o

Demostracin. Por el corolario anterior, el conjunto de los ideales maximales de k[1 , . . . , n ]f , se o corresponde biyectivamente con el conjunto de los ideales maximales de k[1 , . . . , n ] que no contienen a f . Como este ultimo conjunto es vac tenemos que k[1 , . . . , n ]f = 0, es decir, f es nilpotente. o, Denicin 1.2.50. Diremos que X = Spec A es o ntegra si A es un anillo ntegro. Corolario 1.2.51. Las subvariedades algebraicas ntegras estn determinadas por sus puntos cerrados. a Demostracin. Sea X = Spec A una variedad algebraica y Y X una subvariedad algebraica o ntegra. Sea p el ideal primo de las funciones que se anulan en Y . Basta ver p = mx
pmx

x=x

Obviamente el primer trmino de la igualdad est incluido en el segundo. Haciendo cociente por p, e a tenemos 0 mx en A/p. Por el corolario anterior mx son los nilpotentes. Ahora bien A/p es
x=x x=x

ntegra, luego 0 = mx . Hemos concluido.

x=x

1.3

L mites inductivos y proyectivos

Sea I un conjunto ordenado, diremos que es ltrante creciente si para cada par i, j I existe algn u k I que cumple que k i y k j. Denicin 1.3.1. Sea I un conjunto ltrante creciente. Un conjunto de objetos {Mi }iI de una o categor C, junto con morsmos fij : Mi Mj , para cada i j, diremos que es un sistema inductivo a de objetos de C si satisface las siguientes condiciones 1. fii = Id, para todo i. 2. fjk fij = fik siempre que i j k. Sin tanto formalismo, un sistema inductivo de objetos {Mi }iI es un r de echas o Mi Mk / p7 Ml ppp pp Mp / Mr M p8 q ppp pp / p7 Mt ppp pp /

Denicin 1.3.2. Sea {Mi }iI un sistema inductivo de objetos. Diremos que M (si existe) es el l o mite inductivo de este sistema inductivo, y lo denotaremos lim Mi , si se cumple una igualdad funtorial para todo objeto N HomC ( lim Mi , N ) = {(fi )
i i i

HomC (Mi , N ) | fi = fj fij para todo i j}

1.3.

L mites inductivos y proyectivos

15

Si lim Mi existe, entonces el morsmo Id HomC ( lim Mi , lim Mi ) dene morsmos i : Mi lim Mi , de modo que
i i i i

1. i = j fij 2. Dados {(fi ) HomC (Mi , N ) | fi = fj fij para todo i j}, entonces existe un unico morsmo f : lim Mi N , de modo que fi = f i .
i i

Se tiene tambin el rec e proco, si existe un objeto M , y morsmos i : Mi M , vericando estas dos condiciones, entonces M = lim Mi . Intuitivamente lim Mi es la desembocadura del r de echas, la cota superior m o nima
i i

Mi Mi

fi

/ Mj t9 tt t tt
j

fij

/ lim Mi p i p p p p p p '   xp N / ...

Teorema 1.3.3. En la categor de conjuntos los l a mites inductivos existen, expl citamente lim Mi = {
i i

Mi / : mi mj si existe un k de modo que fik (mi ) = fjk (mj )}

y j : Mj lim Mi , j (mj ) = mj .
i

Demostracin. Denotemos M = o
i

Mi / Dados {(fi )

j}, entonces la aplicacin f : M N , f (mi ) = fi (mi ) est bien denida y cumple que fi = f i . o a Rec procamente, dado f : M N , las aplicaciones fi = f i cumplen que fi = fj fij para todo i j. Estas asignaciones son inversas entre s luego hemos concluido. , Teorema 1.3.4. En la categor de A-mdulos los l a o mites inductivos existen, expl citamente lim Mi = {
i i

Hom(Mi , N ) | fi = fj fij para todo i

Mi / : mi mj si existe un k de modo que fik (mi ) = fjk (mj )}

y j : Mj lim Mi , j (mj ) = mj .
i

Demostracin. Rep o tase la demostracin anterior y prubese que los conjuntos denidos son Ao e mdulos y los morsmos morsmos de A-mdulos. o o Denicin 1.3.5. Un morsmo f entre dos sistemas inductivo de mdulos {Mi , fij } y {Ni , gij }, o o con el mismo conjunto ordenado de ndices, es una familia de morsmos fi : Mi Ni tales que fj fij = gij fi , cuando i j.

16

Cap tulo 1.

Completacin o

Todo morsmo f entre dos sistemas inductivos induce morsmos Mi lim Ni , que induce un morsmo f : lim Mi lim Ni , que expl citamente (en la categor de conjuntos) est denido por a a
i i i

f (mi ) = fi (mi ). Denicin 1.3.6. Diremos que una sucesin de morsmos de sistemas inductivos de mdulos {Mi } o o o {Mi } {Mi } es exacta si lo es la sucesin Mi Mi Mi para todo i. o Proposicin 1.3.7. La toma de l o mites inductivos es exacta. Es decir, si 0 {Mi } {Mi } {Mi } 0 son sucesiones exactas de sistemas inductivos de A-mdulos, entonces la sucesin de o o A-mdulos o f g 0 lim Mi lim Mi lim Mi 0
i i i fi gi

es exacta Demostracin. o 1. f es inyectiva: si 0 = f (mi ) = fi (mi ) entonces existe un k, tal que fik (fi (mi )) = 0. Por tanto, fi (fik (mi )) = 0 y fik (mi ) = 0, porque fi es inyectiva. Luego mi = 0. 2. Obviamente g es epiyectiva: Dado mi lim Mi , entonces existe mi tal que gi (mi ) = mi y g(mi ) = mi . 3. (gf )(mi ) = g(fi (mi )) = gi (fi (mi )) = 0. 4. Si g(mi ) = 0 entonces gi (mi ) = 0. Por tanto, existe un k, de modo que 0 = fik (gi (mi )) = gk (fik (mi )). Luego fik (mi ) = fk (mk ), por tanto, mi = fk (mk ) = f (mk ). Pasemos ahora a la denicin del l o mite proyectivo, que es el concepto dual de l mite inductivo. Sea I un conjunto ordenado, diremos que es ltrante decreciente si para cada par i, j I existe algn k I que cumple que k i y k j. u Denicin 1.3.8. Sea I un conjunto ltrante decreciente. Un conjunto de objetos {Mi }iI de una o categor C, junto con morsmos fij : Mi Mj , para cada i j, diremos que es un sistema proyectivo a de objetos de C si satisface las siguientes condiciones 1. fii = Id, para todo i. 2. fjk fij = fik siempre que i j k. Sin tanto formalismo, un sistema proyectivo de objetos {Mi }iI es un r de echas o / Mr / Mk / Ml / OOO NNN Mi OOO NNN ' ' Mj Mm O OOO OO' Mn
i

1.3.

L mites inductivos y proyectivos

17

Denicin 1.3.9. Sea {Mi }iI un sistema proyectivo de objetos. Diremos que el objeto lim Mi (si o existe) es el l mite proyectivo de este sistema proyectivo, si se cumple una igualdad funtorial HomC (N, lim Mi ) = {(fi )
i i i

HomC (N, Mi ) | fj = fij fi para todo i j}

Si lim Mi existe, entonces el morsmo Id HomC ( lim Mi , lim Mi ) dene morsmos i : lim Mi Mi , de modo que 1. j = fij i 2. Dados {(fi ) f: N
i lim Mi , i i i i i

HomC (N, Mi ) | fj = fij fi para todo i j}, entonces existe un unico morsmo de modo que fi = i f .

Se tiene tambin el rec e proco, si existe un objeto M , y morsmos i : M Mi , vericando estas dos condiciones, entonces M = lim Mi . Intuitivamente lim Mi es la fuente del r de echas, la cota inferior mxima o a
i i

lim Mi
i

fM

/ Mi fij / Mj O JJJfij A JJ M J$ M M M M 7 Mj M M N / ...

Ejercicio 1.3.10. Sea {k[x]/(xn )} el sistema proyectivo de k[x]-mdulos, de morsmos k[x]/(xn+1 ) o k[x]/(xn ) los morsmos naturales de paso al cociente. Probar que lim k[x]/(xn ) = k[[x]].
n

Teorema 1.3.11. En la categor de conjuntos los l a mites proyectivos existen, expl citamente lim Mi = {(mi )
i i

Mi | fij (mi ) = mj para todo i j}

y i : lim Mi Mi , i ((mj )) = mi .
i

Demostracin. Denotemos M = {(mi ) o

i

Mi | fij (mi ) = mj para todo i j}. Dados {(fi )

Hom(N, Mi ) | fj = fij fi para todo i j}, entonces la aplicacin f : N M , f (n) = (fi (n)) est o a

bien denida y cumple que fi = i f . Rec procamente, dado f : N M , las aplicaciones fi = i f cumplen que fj = fij fi para todo i j. Estas asignaciones son inversas entre s luego hemos concluido. ,

18

Cap tulo 1.

Completacin o

Teorema 1.3.12. En la categor de A-mdulos los l a o mites proyectivos existen, expl citamente lim Mi = {(mi )
i i

Mi | fij (mi ) = mj para todo i j}

y i : lim Mi Mi , i ((mj )) = mi .
i

Demostracin. Rep o tase la demostracin anterior. o Denicin 1.3.13. Un morsmo f entre dos sistemas proyectivos de mdulos {Mi , fij } y {Ni , gij }, o o con el mismo conjunto ordenado de ndices, es una familia de morsmos fi : Mi Ni tales que fj fij = gij fi , cuando i j. Todo morsmo f entre dos sistemas proyectivos induce morsmos lim Mi Ni , que induce un
i

morsmo f : lim Mi lim Ni , que expl citamente (en la categor de conjuntos, o mdulos) est a o a
i i

denido por f ((mi )) = (fi (mi )). Denicin 1.3.14. Diremos que una sucesin de morsmos de sistemas proyectivos de mdulos o o o {Mi } {Mi } {Mi } es exacta si lo es la sucesin Mi Mi Mi , para todo i. o Proposicin 1.3.15. La toma de l o mites proyectivos es exacta por la izquierda. Es decir, si 0 {Mi } {Mi } {Mi } son sucesiones exactas de sistemas proyectivos de A-mdulos, entonces la o sucesin de A-mdulos o o 0 lim Mi lim Mi lim Mi
i i i

es exacta Demostracin. Es una sencilla comprobacin, conocida la construccin expl o o o cita de los l mites proyectivos de mdulos. o Dado un morsmo de objetos f : M M , denotaremos f : HomC (N, M ) HomC (N, M ) a la aplicacin de conjuntos denida por f (g) = f g. Dado un sistema proyectivo {Mi , fij }iI de objetos o de una categor C, entonces {HomC (N, Mi ), fij }iI forma un sistema proyectivo de conjuntos. a Ejercicio 1.3.16. Consideremos para cada n N el epimorsmo natural de paso al cociente k[x] k[x]/(xn ). Probar que el l mite proyectivo de estos epimorsmos no es un epimorsmo. Proposicin 1.3.17. HomC (N, lim Mi ) = lim HomC (N, Mi ) o
i i

Demostracin. Tenemos o HomC (N, lim Mi ) = {(fi )

i i i

HomC (N, Mi ) | fj = fij fi para todo i j}

= lim HomC (N, Mi ) donde la primera igualdad es por la denicin de l o mite proyectivo, y la segunda igualdad por la construccin del l o mite proyectivo de conjuntos.

1.4.

Completacin o

19

Dado un sistema inductivo {Mi , fij }iI de objetos de una categor C, entonces {HomC (Mi , N ), fij }iI a forma un sistema proyectivo de conjuntos. Proposicin 1.3.18. HomC ( lim Mi , N ) = lim HomC (Mi , N ) o
i i

Demostracin. Tenemos o HomC ( lim Mi , N ) = {(fi )

i i i

HomC (Mi , N ) | fi = fj fij para todo i j}

= lim HomC (Mi , N ) donde la primera igualdad es por la denicin de l o mite inductivo, y la segunda igualdad por la construccin del l o mite proyectivo de conjuntos. Proposicin 1.3.19. El l o mite inductivo conmuta con el producto tensorial. Es decir, ( lim Mi ) A N = lim (Mi A N )
i i

Demostracin. o HomA (( lim Mi ) A N, R) =

i

= HomA ( lim Mi , HomA (N, R)) = lim HomA (Mi , HomA (N, R))
i i

= lim HomA (Mi A N, R) = HomA ( lim (Mi A N ), R)

i i

1.4

Completacin o
M = M0 M1 M2 Mn . . .

Denicin 1.4.1. Una ltracin de un A-mdulo M es una cadena de submdulos o o o o

Dada una ltracin {Mi } podemos denir una topolog en M : Una base de entornos de cada o a m M es {m + Mi }. Esta topolog viene denida por la seudomtrica d: a e d(m1 , m2 ) =
def

en 0

si m1 m2 Mn , y m1 m2 Mn+1 / si m1 m2 Mn para todo n

Una vez que hemos denido d, podemos hablar de sucesiones convergentes, de sucesiones de Cauchy y la completacin de M por d. o Denicin 1.4.2. Se dene la completacin de M respecto de la topolog denida por una ltracin o o a o o como el A-mdulo M M = {Md. de sucesiones de Cauchy}/{Md. de sucesiones converg. a cero} o o
def

20

Cap tulo 1.

Completacin o

Proposicin 1.4.3. M = lim M/Mj . o

jN j

Demostracin. Sea (mi ) lim M/Mj (luego mi+r = mi en M/Mi ). La sucesin (mi ) es de Cauchy, o o porque dado ej entonces d(mr , ms ) < ej , para todo r, s j. As pues, tenemos denido el morsmo lim M/Mj M , (mi ) [(mi )]
j

Dejamos como ejercicio la comprobacin de que est bien denido. o a Rec procamente. Sea (mi ) una sucesin de Cauchy. Dado ej , existe nj N de modo que o d(mr , ms ) < ej , para todo r, s nj . Es decir, mr ms Mj para todo r, s nj , i.e., mr = ms M/Mj para todo r, s nj . Observemos que el morsmo {Md. de sucesiones de Cauchy} M/Mj , (mi ) mnj o no depende del nj >> 0 escogido. En particular, dada una sucesin (mi ) convergente a cero, se tiene o que mnj = 0. Por tanto, los morsmos M M/Mj , [(mi )] mnj estn bien denidos y denen el morsmo a M lim M/Mj , [(mi )] (mnj )
j

Dejamos como ejercicio la comprobacin de que estas asignaciones son inversas entre s o . Observacin 1.4.4. Un ejemplo de sucesin de Cauchy lo constituyen las series o o

ms, toda sucesin de Cauchy es equivalente a una serie de esta forma: Por la proposicin anterior, a o o basta verlo para la sucesin de Cauchy (ni ), con ( i ) lim M/Mi ( i+1 = ni M/Mi ). Tenemos que o n n ni+1 ni = mi Mi . Por tanto, n1 = m0 ; n2 = etc. As pues,
i m1 + n1 =

i=0

mi (mi Mi ). Es

m1 + m0 ; n3 = m2 + n2 = m2 + m1 + m0 ,

M ={
i=0

mi , mi Mi }/{Series converg. a cero} Mn = 0 M M .

nN

o Proposicin 1.4.5. M con la ltracin {Mn } es separado o

i

nN

Demostracin. El ncleo del morsmo M M = lim M/Mi es Mn = 0. Luego, Mn = 0 o u

nN

M M . Si M es separado, dado m M existe un entorno Mn del cero que no contiene a m, es decir, m Mn . Luego Mn = 0. /
nN

Si Mn = 0, entonces d es una distancia, porque si d(m, m ) = 0 esto signica que m m Mn

nN

para todo n, es decir que m m Mn = 0, luego m = m . Luego M es separado.

nN

1.4.

Completacin o

21

Dadas dos ltraciones de A-mdulos {Mi } y {Ni } de M y N respectivamente, un morsmo de o ltraciones es un morsmo de A-mdulos f : M N tal que f (Mn ) Nn . Evidentemente un o morsmo f : M N de ltraciones induce un morsmo f : M = lim M/Mi N = lim N/Ni
i i

Teorema 1.4.6. Sea 0 M M M 0 una sucesin exacta de A-mdulos y {Mi } una o o ltracin de M . Si se consideran en M y M las ltraciones inducidas {M Mi }, {(Mi )}, la o sucesin de completados o b 0M M M 0 es exacta. Completar conserva sucesiones exactas. Demostracin. Tenemos las sucesiones exactas de sistemas proyectivos o 0 M /M Mi M/Mi M /(M ) 0 Por tanto, como el l mite proyectivo es exacto por la izquierda tenemos la sucesin exacta o 0M M M Slo nos falta ver la epiyectividad de : Dada una serie o que (mi ) = mi . Es obvio que (
i=0 b

mi , con mi (Mi ), sean mi Mi tales

i=0

mi ) =

i=0

o mi , luego por la observacin anterior hemos concluido.

Corolario 1.4.7. Mn es un submdulo de M y M /Mn = M/Mn , para todo n N. o Demostracin. Por el teorema Mn M y M /Mn = (M/Mn ). Ahora bien, (M/Mn ) = lim (M/Mn )/[Mi ] = o
i>n i

lim (M/Mn )/[Mi ] = lim M/Mn = M/Mn , con lo que concluimos.

i>n

Corolario 1.4.8. M es completo y separado, respecto de la topolog denida por la ltracin {Mn }, a o es decir, M = M . Demostracin. Es una consecuencia directa del corolario anterior y 1.4.5. o Denicin 1.4.9. Se dene el graduado de M por la ltracin {Mn } como el mdulo GM = o o o
i=0

Mi /Mi+1 .

Corolario 1.4.10. Si consideramos en M una ltracin {Mn } y en M la ltracin {Mn }, se verica o o que GM = GM . Demostracin. Completando 0 Mn+1 Mn Mn /Mn+1 0 obtenemos que Mn /Mn+1 = o Mn /Mn+1 . Como Mn /Mn+1 = Mn /Mn+1 , tenemos que Mn /Mn+1 = Mn /Mn+1 . En conclusin, o GM = GM .

22

Cap tulo 1.

Completacin o

1.4.1

Ejemplos de completaciones y graduados

nN

Ejemplo 1.4.11. lim C (R)/mn = R[[x ]], donde el m es el ideal de funciones diferenciables que se anulan en R. El morsmo natural C (R) lim C (R)/mn = R[[x ]] asigna a cada funcin su desarrollo de Taylor en . o
nN nN

Ejemplo 1.4.12. lim k[x]/(x)n = k[[x]]. El morsmo k[x] lim k[x]/(x)n = k[[x]], es el morsmo que considera cada polinomio como una serie.
Not def nN nN

Ejemplo 1.4.13. Nmeros p-dicos = Zp = lim Z/pn Z = { u a natural N lim Z/pn Z = { suma de potencias de p.
nN

an pn , 0 ai < p}. El morsmo

nN

an pn , 0 ai < p} asigna a cada nmero natural su desarrollo como u

nN

El espacio tangente a una variedad diferenciable en un punto es un concepto intr nseco, que no depende de la inmersin de la variedad diferenciable en un Rn . El espacio tangente a una variedad en o un punto se dene en trminos de su anillo de funciones diferenciables. Ya sabemos que la diferencial e de una funcin en un punto y los mdulos de diferenciales de Khler son conceptos algebraicos. En esta o o a seccin, dado un anillo local, deniremos el espacio tangente en el punto cerrado. Ser trivial observar o a que si el anillo local es noetheriano su espacio tangente es una variedad algebraica. Ms adelante, a con la ayuda imprescindible del polinomio de Samuel, desarrollaremos la teor de la dimensin de los a o anillos locales noetherianos, a travs de sus espacios tangentes. e Comencemos con un ejemplo sencillo. Consideremos el nodo en el plano af y 2 x2 + x3 = 0. El n cono tangente en el origen del nodo es aquella variedad homognea que mejor se aproxima al nodo. e El nodo innitesimalmente en el origen es equivalente a y 2 x2 = 0. As pues, diremos que el cono tangente a y 2 x2 + x3 = 0 en el origen es y 2 x2 = 0. En general, si una subvariedad X An , viene denida por los ceros de un ideal I k[x1 , . . . , xn ], entonces el cono tangente Cx X en el origen es la variedad denida por el ideal Ih = (fr )f I , donde fr es la parte homognea de grado ms pequeo e a n de f . Es decir, si pensamos que X es la interseccin de las variedades f = 0, con f I, entonces el o cono tangente es la interseccin de las variedades homogneas fr = 0.2 o e Cmo construir Ih ? Consideremos el ideal maximal mx = (x1 , . . . , xn ) k[x1 , . . . , xn ]/I de las o funciones de X que se anulan en el origen. Se verica que x x mr /mr+1 = {Polinomios homogneos p(x1 , . . . , xn ) de grado r}/{fr }f =fr +...+fn I e x x x x Por tanto, mr /mr+1 = k[x1 , . . . , xn ]/Ih . Hemos llamado a Spec mr /mr+1 el cono tangente de X r r en x. Demos ahora las deniciones con toda precisin y mayor generalidad. o Denicin 1.4.14. Sea mx A un ideal maximal, se dene el cono tangente en x de Spec A = X, o como Cx X := Spec GA = Spec mi /mi+1 . x x
i=0

n n. Ejemplo 1.4.15. El cono tangente de un espacio af en el origen es isomorfo al espacio af

2 Debemos

advertir que debemos tomar todas las f I y que no basta con tomar un sistema generador

1.4.

Completacin o

23

Ejemplo 1.4.16. El cono tangente en el origen de la curva Spec k[x, y, z]/(y + x + x3 + y 4 , y x + x2 ) es la recta Spec k[x, y, z]/(y + x, y x) = A1 Ejemplo 1.4.17. El espacio tangente de la interseccin de dos hipersupercies transversales es la o interseccin de los espacios tangentes. Con ms precisin: o a o Consideremos en el espacio af A3 = Spec k[x1 , x2 , x3 ] las supercies f1 (x, . . . , x3 ) = 0, f2 (x, . . . , x3 ) = n 0. Sea f1,n , f2,m las componentes homogneas de grado menor de f1 , f2 . Si f1,m y f2,m son primos e entre s entonces el cono tangente, en el origen, de la interseccin de las supercies es la interseccin , o o de los conos tangentes de las supercies (vase 4.4.3). e

1.4.2

Topolog I-dica. Completacin I-dica a a o a

Todos los ejemplos de completacin que hemos dado son casos particulares de completacin I-dica. o o a Restrinjmonos a esta situacin. a o Sea I un ideal de un anillo A y {Mn } una ltracin de un A-mdulo M . Diremos que {Mn } es o o una I-ltracin si se verica IMn Mn+1 para todo n N. Diremos que la I-ltracin es I-estable o o si existe un h N tal que para todo n > h se verica que IMn = Mn+1 . Proposicin 1.4.18. Todas las ltraciones I-estables de un A-mdulo M denen la misma topolog o o a. Es ms, se verica que dadas dos ltraciones {Mn }, {Mn } I-estables de M , existe un h tal que a Mn+h Mn Mn+h Mn para todo n para todo n

Demostracin. Sea h N de modo que para todo n h se verique que IMn = Mn+1 y IMn = Mn+1 . o Entonces, Mn+h = I n Mh I n M Mn y Mn+h = I n Mh I n M Mn . Denicin 1.4.19. Dado un ideal I A y un A-mdulo M , diremos que la ltracin I-estable o o o M IM I 2 M I n M . . . es la ltracin I-dica. o a a a La topolog denida por cualquier ltracin I-estable se denomina la topolog I-dica. a o De ahora en adelante, completar se entender que es completar respecto de la topolog I-dica. a a a Proposicin 1.4.20. Si I es un ideal nito generado, por ejemplo si A es un anillo noetheriano, o nM = I nM . entonces I Demostracin. Sabemos que I n M M por 1.4.7. Veamos que I n M I n M : Dado b I n y o
j=0

mj M , con mj I j M , entonces b

j=0

mj =

j=0

bmj I n M .

Nos falta probar I n M I n M : Tenemos que I n M = {

mj , mj I j M }. Como I es nito

jn

generado entonces I n es nito generado. Escribamos I n = (b1 , , br ). Luego dado mj I j M = I n I jn M tendremos que mj = b1 mj1 + + br mjr , con mji I jn M . Por tanto,

mj = b1
jn

mj1 + + br
jn

mjr I n M
jn

y hemos concluido.

24

Cap tulo 1.

Completacin o

Corolario 1.4.21. Si I es un ideal nito generado, por ejemplo si A es un anillo noetheriano, el completado de un mdulo por la topolog I-dica es completo y separado para la topolog I-dica, o a a a a i.e., M = M . Adems, M /I n M = M/I n M y GM = GM . a Demostracin. Es una consecuencia directa de la proposicin anterior y 1.4.7, 1.4.8, 1.4.10. o o

1.4.3

Artin-Rees

El teorema de Artin-Rees ser fundamental para demostrar que la completacin I-dica es exacta a o a (para mdulos nito generados), para demostrar que el morsmo de completacin es plano y en la o o teor de la dimensin para demostrar, mediante el polinomio de Samuel, el teorema del ideal principal a o de Krull. Denicin 1.4.22. Dado un ideal I A, llamaremos o DA = A I I 2 . . . dilatado de A por I o anillo de Rees en I. En general dado un A-mdulo M y una I-ltracin o o {Mn }, llamaremos dilatado de M por la I-ltracin a DM = M M1 M2 . . . . o Denicin 1.4.23. Diremos que A = An es un anillo graduado si los Ai son subgrupos aditivos o de A y para cada ai Ai y aj Aj entonces ai aj Ai+j . Observemos que DA es un anillo graduado. Si A es noetheriano entonces I = (1 , . . . , r ) es nito generado. El morsmo A[x1 , . . . , xr ] xi es epiyectivo, luego DA es noetheriano. Denicin 1.4.24. Sea A = An un anillo graduado. Diremos que un A-mdulo M = Mn es o o un A-mdulo graduado si para cada ai Ai y mj Mj entonces ai mj Mi+j . o Observemos que DM es un DA-mdulo graduado. o Lema 1.4.25. Sea A noetheriano, M un A-mdulo nito generado y {Mn } una I-ltracin. La o o ltracin es I-estable DM es un DA-mdulo nito generado. o o Demostracin. ) Supongamos que {Mn } es I-estable, i.e., existe un r N tal que {Mn } = o {M0 , . . . , Mr , IMr , I 2 Mr , . . . }. Observemos que el DA-submdulo de DM generado por M M1 o Mr DM es M M1 Mr IMr I 2 Mr . . . . Por tanto, DM =< M M1 Mr > es nito generado, porque M ,M1 , . . . , Mr son A-mdulos nito generados. o ) Rec procamente. Supongamos que DM =< n1 , . . . , ns > es nito generado. Podemos suponer e que los ni son homogneos. Sea r = max{gr ni , 1 i s}. Entonces DM =< n1 , . . . , ns >=< M M1 Mr >= M M1 Mr IMr I 2 Mr . . . . Luego la ltracin es I-estable. o Teorema 1.4.26 (de Artin-Rees). Sea A noetheriano, M un A-mdulo nito generado y M M o un submdulo. Consideremos en M la topolog I-dica. Se verica que la topolog inicial de M , o a a a a o por la inclusin M M es la topolog I-dica de M . Es ms, la ltracin {M I n M } es I-estable. o a a
nN nN nN

DA = A I I n . . . i

1.4.

Completacin o

25

Demostracin. Consideremos en M la I-ltracin {M I n M } y en M la I-dica. DM es un o o a DA-submdulo de DM , donde DA es noetheriano y DM es nito generado, por el lema anterior. o Entonces DM es nito generado y de nuevo, por el lema anterior, {M I n M } es I-estable. Corolario 1.4.27. Sea A noetheriano. La completacin I-dica de sucesiones exactas de A-mdulos o a o nito generados es exacta, i.e., si 0M M M 0 es una sucesin exacta de A-mdulos nito generados entonces o o 0M M M 0 es exacta. Demostracin. Sabemos que si completamos M por la ltracin {M I n M }, M por la ltracin o o o {I n M } y M por la ltracin {I n M }, entonces la sucesin completada es exacta. Ahora bien, por o o a Artin-Rees la ltracin {M I n M } es I-estable, luego completar por ella es completar por la I-dica o y hemos terminado. Ejercicio 1.4.28. Consideremos en el anillo k[x, y]/(y 2 x2 + x3 ) el ideal maximal (, y ). Probar x que k[x, y]/(y 2 x2 + x3 ) = k[[x, y]]/(y 2 x2 + x3 ). Probar que y 2 x2 + x3 descompone en producto de dos series (ramas), que se corresponden con los dos ideales primos minimales del anillo completo considerado. Ejercicio 1.4.29. Calcular la completacin de k[x1 , . . . , xn ]/(p1 (x1 , . . . , xn ), . . . , pr (x1 , . . . , xn )) por o el ideal (x1 , . . . , xn ). Corolario 1.4.30. Sea A noetheriano y M un A-mdulo nito generado, o M A A = M Demostracin. Si M es nito generado existe un epimorsmo o A . n . A = An M 0 . Ker es un submdulo de An , luego es nito generado y existe un epimorsmo Am Ker 0. En o conclusin, existe una sucesin exacta o o Am An M 0 Tensorializando por A A tenemos la sucesin exacta o Am A A = Am An A A = An M A A 0 Ahora bien, como la completacin de () es la sucesin exacta o o Am = Am An = An M 0 obtenemos que M A A = M . ()

26

Cap tulo 1.

Completacin o

Corolario 1.4.31. Si A es noetheriano, el morsmo A A es plano. Demostracin. Tenemos que ver que dada una sucesin exacta de A-mdulos o o o 0M M M 0 entonces 0 M A A M A A M A A 0 es exacta. Como tensorializar es exacto por la derecha, slo tenemos que ver que dada la sucesin o o exacta 0 M M entonces 0 M A A M A A es exacta. amos demostrado, por el corolario anterior, porque Si M y M fuesen nito generados, lo tendr A A es completar. M = lim Mi , siendo Mi los submdulos nito generados de M . Tenemos que M = lim (M Mi ), o pues M Mi , son los submdulos (con repeticiones) nito generados de M . Tenemos que 0 o M Mi Mi es exacta, con M Mi y Mi nito generados. Entonces 0 (M Mi )A A Mi A A son exactas. Luego 0 lim ((M Mi ) A A) lim (Mi A A) es exacta. Por la conmutacin del o l mite inductivo con producto tensoriales concluimos que 0 lim (M Mi ) A A = M A A lim Mi A A = M A A
i i i i i i

es exacta. Hemos terminado. Corolario 1.4.32 (Krull). Sea M un anillo A-mdulo noetheriano y I A un ideal incluido en el o radical de Jacobson de A. Se verica que M es separado para la topolog I-dica, i.e., I n M = 0. a a
nN

Demostracin. Sea N = I n M M . Por Artin-Rees sabemos que la ltracin {N I n M = N } o o es I-estable. Por tanto, IN = N y por Nakayama N = 0.
nN

1.4.4

Completacin y noetherianidad o

Queremos probar que el completado de un anillo noetheriano es noetheriano. Un anillo noetheriano y su completado tienen el mismo graduado y ste es noetheriano. Probaremos que si el graduado e de un anillo completo y separado es noetheriano el anillo es noetheriano y as obtendremos que el completado de un anillo noetheriano es noetheriano. Un teorema bsico en Anlisis y Geometr Diferencial, es el teorema de la funcin inversa. Toda a a a o aplicacin diferenciable f : X Y , entre variedades diferenciales, induce una aplicacin entre los o o anillos C (Y ) C (Y ) y los espacios cotangentes f : mf (x) /m2 (x) mx /m2 . El teorema de la x f funcin inversa arma que si f es un isomorsmo entonces f es un isomorsmo en un entorno de x. o Ahora bien, f es un isomorsmo si y slo si el morsmo inducido entre los graduados Gmf (x) C (Y ) o Gmx C (X) lo es. Anal ticamente, si el morsmo Gmf (x) C (Y ) Gmx C (X) es un isomorsmo entonces el morsmo C (Y ) C (X) es un isomorsmo. Hablemos ahora en Algebra y con toda precisin. o Teorema 1.4.33 (formal de la funcin inversa). Sean {Mn } y {Mn } ltraciones de M y M o respectivamente. Supongamos que M y M son completos y separados. Sea T : M M un morsmo de ltraciones y consideremos el morsmo GT : GM GM inducido. GT es isomorsmo (resp. epiyectivo, inyectivo) entonces T : M M es isomorsmo (resp. epiyectivo, inyectivo).

1.4.

Completacin o

27

Demostracin. Supongamos que GT es epiyectivo. o Sea m M . Como M/M1 M /M1 es epiyectivo existe m0 M , tal que m = T (m0 ) + m1 , con m1 M1 . Como M1 /M2 M1 /M2 es epiyectivo existe m1 M1 , tal que m1 = T (m1 ) + m2 , con m2 M2 . Es decir m = T (m0 ) + T (m1 ) + m2 . As sucesivamente, obtenemos una serie m = con mi Mi , de modo que la serie T (m) = T (
i=0 i=0 i=0 T T

mi ,

mi ) =

T (mi ) converge a m . Como M es

completo, T (m) = m y T es epiyectivo. Supongamos ahora que GT es inyectivo. Sea m M . Como M es separado existe r N de modo que m Mr y m Mr+1 . Entonces / 0 = m Mr /Mr+1 . GT (m) = T (m) = 0, porque GT es inyectivo. Luego T (m) = 0 y T es inyectivo. En particular, si GT es isomorsmo, T es isomorsmo. Lema 1.4.34. Sea A un anillo completo y separado por la topolog I-dica denida por un ideal a a I A. Si GA es noetheriano entonces A es noetheriano. Demostracin. Dado un ideal q A tenemos que ver que q es nito generado. o Consideremos en q la ltracin {q I n }. Entonces tenemos una inclusin natural o o Gq = (q I n )/(q I n+1 ) I n /I n+1
n n

Observemos que Gq es un ideal de GA de modo natural: Dado q (q I n )/(q I n+1 ) y p I m /I m+1 entonces pq = pq (q I m+n )/(q I m+n+1 ). Como GA es noetheriano, tendremos que Gq est generado por un nmero nito de elementos. a u Escribamos Gq = (fn1 , . . . , fnr ), donde puedo suponer que los fni (q I ni )/(q I ni +1 ). Consideremos en A la siguiente ltracin para cada i: A A .ni. A I I 2 . . . . El o . graduado de A por esta ltracin es GA[ni ] = I n /I n+1 , que es igual al anillo GA, pero decimos o que los elementos de grado n de GA[ni ] son los elementos de grado n ni de GA. De modo natural denimos una ltracin en la suma directa A . r . A. Denamos el morsmo, de ltraciones, o . A .r. A . (1, 0, . . . , 0) (0, 0, . . . , 1) Tomando graduados, obtenemos que el morsmo GA[n1 ] . r . GA[nr ] . (1, 0, . . . , 0) (0, 0, . . . , 1)
GT T n def

q fn1 fnr

Gq fn1 (q I n1 )/(q I n1 +1 ) Gq fnr (q I nr )/(q I nr +1 ) Gq

es epiyectivo. Por el lema anterior, T : A A q es epiyectivo. Ahora bien, como q es separado, porque es un subespacio de A, que es separado, tenemos que el morsmo de completacin i : q q o o es inyectivo. Por tanto, T ha de ser epiyectivo porque T = i T es epiyectivo. En conclusin, q es nito generado. Teorema 1.4.35. Si A es noetheriano entonces A es noetheriano.

28

Cap tulo 1.

Completacin o

Demostracin. Si A es noetheriano y I A es un ideal, entonces I = (1 , . . . , r ) es nito generado. o El morsmo (A/I)[x1 , . . . , xr ] GA = A/I I/I 2 I n /I n+1 . . . xi i es epiyectivo, luego GA es noetheriano. Por 1.4.21 tenemos que GA = GA. Por el lema anterior, A es noetheriano. Corolario 1.4.36. Si A es noetheriano entonces A[[x1 , . . . , xn ]] es noetheriano. Demostracin. Por el teorema de la base de Hilbert, si A es noetheriano entonces A[x1 , . . . , xr ] es o noetheriano. Completando A[x1 , . . . , xr ] por el ideal I = (x1 , . . . , xr ) A[x1 , . . . , xr ], tenemos por el teorema anterior que A[[x1 , . . . , xn ]] es noetheriano.

1.4.5

Teorema de Cohen

Teorema 1.4.37 (Cohen). Sea O un anillo local de ideal maximal m, completo y separado por la topolog m-dica. Si O contiene un cuerpo, existe una seccin del morsmo natural O O/m. a a o Demostracin. a) Supongamos que O contiene un cuerpo de caracter o stica cero. Por tanto, Q O. Consideremos el diagrama O = O O/m3 O/m2 O/m || Not K Vamos a ir levantando el morsmo K = O/m a O/m2 , posteriormente a O/m3 , y as sucesivamente hasta O = O. Sea K1 una Q-subextensin de K maximal con la condicin de que exista un diagrama conmutativo o o O/m2
/ O/m = K O eKK KK KK KK KK S  3 ? K1

Veamos que K1 = K: Dado a K, entonces a es trascendente sobre K1 , o es algebraico sobre K1 . Si a es trascendente, entonces sea a O/m2 tal que (a) = a. El morsmo K1 () O/m2 , a a est bien denido. Luego a a por la maximalidad de K1 , a K1 . Si a es algebraico sobre K1 , sea p(x) K1 [x] su polinomio m nimo a anulador. Sea a O/m2 tal que (a) = a. Para denir bien el morsmo K1 () O/m2 , a a, es necesario que p(a) = 0. Sea h m/m2 O/m2 . Desarrollando por Taylor obtenemos p(a + h) = p(a) + p (a)h + c h2 = p(a) + p (a)h a e Observemos que (p(a)) = p() = 0, luego p(a) m/m2 , Observemos tambin que p (a) es invertible, porque (p(x), p (x)) = (1) luego (p(a), p (a)) = (1) y como p(a) es nilpotente, p (a) es invertible. En conclusin, si escribimos h = p(a)/p (a) entonces h m/m2 , (a + h) = a y p(a + h) = 0. As pues, o cambiando a por a + h, tenemos que el morsmo K1 () O/m2 , a a est bien denido. Por la a a maximalidad de K1 , a K1 .

1.4.

Completacin o

29

En conclusin, K1 = K. o Sea ahora K1 una Q-subextensin de K maximal con la condicin de que exista un diagrama o o conmutativo / O/m2 O/m3 [66 O 66 66 ? 66 66 K 66 O 66 6, L  ? K1 Veamos que K1 = K: Dado a K, entonces a es trascendente sobre K1 , o es algebraico sobre K1 . Si a es trascendente, entonces sea a O/m3 tal que (a) = a. El morsmo K1 () O/m3 , a a est bien denido. a a Luego por la maximalidad de K1 , a K1 . Si a es algebraico sobre K1 , sea p(x) K1 [x] su polinomio m nimo anulador. Sea a O/m3 tal que (a) = a. Para denir bien el morsmo K1 () O/m3 , a a a, es necesario que p(a) = 0. Sea h m2 /m3 O/m3 . Desarrollando por Taylor obtenemos p(a + h) = p(a) + p (a)h + c h2 = p(a) + p (a)h Observemos que (p(a)) = p() = 0, luego p(a) m2 /m3 , Adems, p (a) es invertible, porque a a (p(x), p (x)) = (1) luego (p(a), p (a)) = (1) y como p(a) es nilpotente, p (a) es invertible. En conclusin, si escribimos h = p(a)/p (a) entonces h m2 /m3 , (a + h) = a y p(a + h) = 0. As pues, o cambiando a por a + h, tenemos que el morsmo K1 () O/m3 , a a est bien denido. Por la a a maximalidad de K1 , a K1 . As sucesivamente, vamos obteniendo morsmos K O/mn , que por paso al l mite proyectivo dene el morsmo K O = O buscado. b) Supongamos que O contiene un cuerpo de caracter stica p > 0. Procedamos del mismo modo que en el apartado a). Consideremos el diagrama O/m2 O/m

|| K a o Sea L el mximo subcuerpo de (K) = O/m con la condicin de contener a ( 1 (K))p . Observemos que 1 (K) = 1 (K 0) 1 (0), donde los elementos de 1 (K 0) son invertibles porque no son nilpotentes, y 1 (0) = m/m2 . Por tanto, ( 1 (K))p = 1 (K 0)p 0, que es un cuerpo. Luego el epimorsmo : ( 1 (K))p K p es un isomorsmo. Probemos que : L K es un isomorsmo. Dado a K, sea a 1 (K), tal que (a) = a. Se verica que ap L. Consideremos el epimorsmo L[x]/(xp ap ) L[a], x a Si p ap L entonces xp ap es irreducible en L[x], luego L[x]/(xp ap ) es cuerpo y el epimorsmo / a es isomorsmo. Contradiccin porque L es mximo y L L[a]. Si p ap L entonces ( p ap ) = a. o Luego es un isomorsmo. Tenemos el morsmo K = L O/m2 buscado.
1 1 2

30

Cap tulo 1. Consideremos ahora, el diagrama O/m3

Completacin o

/ O/m2 O ? K

De nuevo, sea L el mximo subcuerpo de (K) con la condicin de contener a ( (K))p . Oba o 1 1 1 1 servemos que (K) = (K 0) (0), donde los elementos de (K 0) son invertibles 1 1 1 porque no son nilpotentes, y (0) = m2 /m3 . Por tanto, ( (K))p = (K 0)p 0, que es un 1 cuerpo. Luego el epimorsmo : ( (K))p K p es un isomorsmo. 1 Probemos que : L K es un isomorsmo. Dado a K, sea a (K), tal que (a) = a. p Se verica que a L. Consideremos el epimorsmo L[x]/(xp ap ) L[a], x a / Si p ap L entonces xp ap es irreducible en L[x], luego L[x]/(xp ap ) es cuerpo y el epimorsmo a es isomorsmo. Contradiccin porque L es mximo y L L[a]. Si p ap L entonces ( p ap ) = a. o Luego es un isomorsmo. Tenemos el morsmo K = L O/m3 buscado. As sucesivamente, vamos obteniendo morsmos K O/mn , que por paso al l mite proyectivo dene el morsmo K O = O buscado. Corolario 1.4.38. Sea O un anillo local noetheriano de ideal maximal m, completo por la topolog a m-dica. Si O contiene un cuerpo se verica un isomorsmo a O O/m[[1 , . . . , n ]]

Demostracin. Por el teorema de Cohen, existe una seccin O/m O del cuerpo residual de m. Sea o o 1 , . . . , n un sistema generador de m. El morsmo O/m[[x1 , . . . , xn ]] O, s(x1 , . . . , xn ) s(1 , . . . , n ) es un epimorsmo porque en los graduados lo es. Por tanto, O O/m[[1 , . . . , n ]]

1.5

Problemas
jI

1. Si I es un conjunto ltrante creciente e i I es mximo, probar que lim Mj = Mi . a 2. Demostrar que todo mdulo es el l o mite inductivo de sus submdulos nito generados. o 3. Probar que todo anillo es l mite inductivo de Z-lgebras de tipo nito. Probar que todo anillo a es l mite inductivo de subanillos noetherianos.

1.5.

Problemas

31

4. Sea M un A-mdulo de presentacin nita. Probar HomA (M, lim Nn ) = lim HomA (M, Nn ). o o
n n

5. Sea M un A-mdulo y a A. Probar que lim HomA ((an ), M ) = Ma . o

n

6. Demostrar que el l mite inductivo de mdulos planos es plano. o 7. Sea x Spec A y M un A-mdulo. Demostrar que Mx = o
{xUa }

lim Ma .

8. Sea x un punto de un espacio topolgico X. Sea I el conjunto de entornos abiertos de x, o ordenados del siguiente modo: U V si U V . Sea C(U ) las funciones reales continuas sobre U , tenemos un sistema inductivo de anillos {C(U )}, donde los morsmos C(U ) C(V ) son los de restriccin. Probar que lim C(U ) es el anillo de grmenes de funciones continuas en x. o e Supongamos ahora que X es un espacio normal. Sea C(U ) = C(X)SU , donde SU es el sistema multiplicativo de las funciones que no se anulan en ningn punto de U . Si U V consideremos u e el morsmo natural C(V ) C(U ), f f . Probar que lim C(U ) es el anillo de grmenes de s s funciones continuas en x.
xU xU

9. Sea N0 N1 N2 Nn una sucesin decreciente de A-submdulos de N0 . Probar o o que lim Nn = Nn .

n n

10. Sea I un conjunto ltrante decreciente y J I un subconjunto con la propiedad de que dado i I existe j J tal que j i. Sea {Mi }iI un sistema proyectivo de objetos. Probar que lim Mi = lim Mj .
iI jJ

11. Probar que lim (Mi Ni ) = ( lim Mi ) ( lim Ni ), en la categor de A-mdulos, por ejemplo. o a
iI iI iI

12. Sea Xn X2 X1 X0 una sucesin de aplicaciones de entre conjuntos nitos o no vac os. Prubese que lim Xi es no vac e o.
i

13. Sea p(x) Z[x] y p Z. Probar que la condicin necesaria y suciente para que p(x) tenga una o ra en Zp es que tenga alguna ra en cada Z/pn Z, para todo n > 0. z z 14. Probar que Spec( lim Ai ) = lim Spec Ai . Probar que si A B es un morsmo entero (es decir, B es l mite inductivo de sublgebras nitas sobre A) entonces la aplicacin Spec B Spec A es a o epiyectiva y dim B = dim A. 15. Calcular el inverso de 1 + x en k[[x]]. Probar que el unico ideal maximal de k[[x]] es (x) Existe la ra cuadrada de 1 + x en k[[x]]? z 16. Sea I un ideal de un anillo noetheriano A, probar que Specmax A = Specmax (A/I)
i i

32

Cap tulo 1.

Completacin o

17. Sea x Spec A un punto cerrado. Probar (a) El completado es un concepto local: El completado mx -dico de A coincide con el complea tado mx Ax -dico de Ax . a (b) El cono tangente es un concepto local: Gmx A = Gmx Ax Ax . 18. (a) Demostrar que la completacin I-dica de M coincide con la completacin I-dica de M1+I . o a o a (b) Probar que Specmax A1+I = Specmax A/I. 19. Supongamos que A es un anillo noetheriano y M es nito generado. Probar que el ncleo del u morsmo M M coincide con el ncleo del morsmo M M1+I . u 20. Sea A un anillo noetheriano ntegro, I A un ideal propio. Probar que A es separado con la topolog I-dica. a a 21. Sea A un anillo noetheriano. Probar mn = 0. x
x,n

22. Sea A un anillo noetheriano y M un A-mdulo nito generado. Probar que M = 0 si y slo si o o sus completaciones en todo punto cerrado de Spec A son nulas. 23. Sean A y B dos k-lgebras y x Spec A = X, y Spec B = Y dos puntos racionales. Probar a que el cono tangente del producto de dos variedades es el producto de los conos tangentes de cada una de ellas C(x,y) (X k Y ) = Cx X k Cy Y

Cap tulo 2

Teor de la dimensin local a o

2.1 Introduccin o

A continuacin estudiamos el concepto de dimensin para anillos locales noetherianos, que incluye o o tanto a los anillos locales de las funciones de variedades algebraicas, como sus completaciones (por ejemplo los anillos de series formales). El concepto de dimensin es esencialmente local. o Geomtricamente decimos que una supercie tiene dimensin 2 porque observamos la cadena de e o cerrados irreducibles punto, curva, supercie. Cadena que tiene dos eslabones y no podemos conseguir una cadena de cerrados irreducibles con ms eslabones. En trminos del anillo de las funciones a e algebraicas de la supercie, estamos diciendo que en este anillo las cadenas de ideales primos ms a largas son de longitud 2. Por otra parte, para determinar un punto de la supercie como los ceros de n funciones, necesitaremos de dos funciones algebraicas, por lo menos. Llamaremos dimensin de un anillo local noetheriano al supremo de las longitudes de las cadenas de o ideales primos y veremos que coincide con el nmero m u nimo de parmetros necesarios para determinar a el punto cerrado. En general, el espectro Spec A de un anillo noetheriano no es una variedad algebraica, pero se puede denir el espacio tangente a Spec A en un punto y ste es una variedad algebraica. Variedad e a la que asociaremos el polinomio de Samuel, que nos permitir desarrollar con xito la teor de la a e a dimensin local en anillos locales noetherianos. o Por ultimo aplicaremos la teor de la dimensin en anillos locales noetherianos a las variedades a o algebraicas.

2.2

Longitud de un mdulo o

El concepto de longitud de un mdulo se corresponde con el concepto de dimensin en espacios o o vectoriales. Usualmente, se dene la dimensin de un espacio vectorial, como el nmero de vectores de o u o sus bases. Pero esta denicin no es la ms natural o intuitiva. Si intuimos que R3 es de dimensin 3 es o a porque observamos la cadena de inclusiones irrenable: punto, recta, plano, espacio. Puede denirse la dimensin de un espacio vectorial, como la longitud de las cadenas irrenables de subespacios o vectoriales. El concepto de base es ms elaborado, si bien es muy prctico. En los A-mdulos pueden a a o no existir bases, por tanto, seguiremos el otro punto de vista. 33

34

Cap tulo 2.

Teor de la dimensin local a o

Denicin 2.2.1. Diremos que un A-mdulo M = 0 es simple cuando sus unicos submdulos son o o o los triviales: 0 y M . Si M es un A-mdulo simple entonces M = m , luego M o A/ Anul m . Ahora bien, los submdulos de A/ Anul m se corresponden con los ideales de A que contienen a Anul m . Por tanto, o o A/m, M es simple si y slo si Anul m es un ideal maximal, es decir, M es simple si y slo si M o donde m es un ideal maximal de A. Denicin 2.2.2. Diremos que una cadena de submdulos 0 = M0 M1 Mn = M es o o una serie de composicin si los cocientes sucesivos Mi /Mi1 son A-mdulos simples. Diremos que la o o longitud de esta serie de composicin es n. o Como los submdulos de Mi /Mi1 se corresponden biyectivamente con los submdulos de Mi que o o contienen a Mi1 , el que Mi /Mi1 sea simple equivale a que no existe una cadena Mi1 N Mi .
= =

Por tanto, que una cadena de submdulos 0 = M0 M1 Mn = M sea simple equivale a decir o que no podemos aadirle ms eslabones. n a Denicin 2.2.3. Llamaremos longitud de M a la m o nima longitud de todas sus series de composicin. Si no existe ninguna serie de composicin diremos que la longitud de M es innita. Denotaremos o o a la longitud de un mdulo M por l(M ). o Sobre espacios vectoriales el concepto de longitud coincide con el de dimensin. o Proposicin 2.2.4. Todas las series de composicin de un mdulo tienen la misma longitud. o o o Demostracin. Si l(M ) = la proposicin es obvia. Supongamos que l(M ) = n < . o o Dado un submdulo propio N M se cumple que l(N ) < l(M ): Sea 0 = M0 M1 o Mn = M una serie de composicin de longitud m o nima de M . Si en 0 = M0 N M1 N Mn N = N quitamos los trminos repetidos obtenemos una serie de composicin en N , porque e o Mi N/Mi1 N Mi /Mi1 , luego Mi N/Mi1 N = Mi /Mi1 pues Mi /Mi1 es simple. Por tanto, l(N ) l(M ). Si l(N ) = l(M ) entonces Mi N/Mi1 N = 0 para todo i. Entonces, M1 N contiene estrictamente a M0 N = 0 y est incluido en M1 , luego M1 N = M1 . Sigamos, M2 N a contiene estrictamente a M1 N = M1 y est incluido en M2 luego M2 N = M2 Recurrentemente, a N = Mn N = Mn = M , lo que es contradictorio. As pues, dada una serie de composicin 0 = M0 M1 Mm = M , tenemos que l(M ) > o l(Mm1 ) > > l(M1 ), luego l(M ) m. Como m n = l(M ), tenemos que m = n. Observemos que hemos demostrado que si un mdulo es de longitud nita entonces todo submdulo o o suyo es de longitud nita. Es fcil probar que si un mdulo es de longitud nita entonces es nito a o generado, y por tanto, tambin todo submdulo ser nito generado. e o a Si un mdulo es de longitud nita todo cociente suyo tambin lo es, pues toda serie de composicin o e o dene por paso al cociente una serie de composicin (eliminando las igualdades que aparezcan en la o serie). Proposicin 2.2.5. La longitud es una funcin aditiva, es decir, dada una sucesin exacta 0 o o o i M M M 0 se cumple que l(M ) = l(M ) + l(M ). Demostracin. Si 0 = M0 M1 Mn = M y 0 = M0 M1 Mn = M son series o de composicin de M y M entonces o 0 = i(M0 ) i(M1 ) i(Mn ) = i(M ) = 1 (M0 ) 1 (M1 ) 1 (Mn ) = M

2.2.

Longitud de un mdulo o

35

es una serie de composicin de M , luego l(M ) = n + n = l(M ) + l(M ). o En particular, si consideramos la sucesin exacta o 0 M m M M (m , 0) (m , m ) M m 0

tenemos que l(M M ) = l(M ) + l(M ). La sucesin de morsmos de mdulos o o 0 M0 Ms1 Ms Ms+1 Mn 0
fs+1 fs fs+1

()

es exacta si y slo si son exactas las sucesiones 0 Im fs Ms Im fs+1 0. As si la sucesin o , o es exacta, tendremos que l(Im fs ) l(Ms ) + l(Im fs+1 ) = 0 y haciendo el sumatorio para todo s tenemos l(M0 ) l(M1 ) + + (1)n l(Mn ) = 0 Proposicin 2.2.6. M es de longitud nita M es noetheriano y Sop(M ) es un nmero nito de o u puntos cerrados. Demostracin. ) Recordemos que los mdulos simples son isomorfos a A/m, siendo m un ideal o o maximal. Si mx es un ideal maximal y px es un ideal primo distinto de mx entonces (A/mx )x = 0. Ahora ya, dada una serie de composicin o 0 = M0 M1 Mn = M tenemos que Mi /Mi1 A/mxi , siendo mxi ideales maximales. Por tanto, (Mi /Mi1 )x (A/mxi )x = 0, para todo punto x Spec A distinto de los xi . Luego Mx = (Mn )x = = (M0 )x = 0, para todo punto x Spec A distinto de los xi . En conclusin, el soporte de M es subconjunto de {xi }. o Adems, Mi /Mi1 a mi , para todo i. Luego M = mn + Mn1 = mn + mn1 + Mn1 = = mn , . . . , m1 . Luego M es nito generado. Como todo submdulo de M es de longitud nita o entonces es nito generado. En conclusin, M es noetheriano. o ) M = m1 , . . . , mn , luego M es un cociente de m1 mn . Si probamos que los mi son o de longitud nita entonces M es de longitud nita. Tenemos que mi son A-mdulos noetherianos, con soporte en un nmero nito de puntos cerrados, por ser submdulos de M . En conclusin, u o o podemos suponer que M = m . Es decir, M = A/I. Como Spec A/I = Sop A/I es un nmero u nito de puntos cerrados {x1 , . . . , xn }, tenemos que A/I = (A/I)x1 (A/I)xn . Tenemos que o probar que (A/I)xi son A-mdulos de longitud nita. Sea mxi A el ideal maximal correspondiente a xi . Tenemos que mxi (A/I)xi es el unico ideal primo del anillo noetheriano (A/I)xi , por tanto, es nilpotente. Tenemos pues una cadena (A/I)xi mxi (A/I)xi mm (A/I)xi = 0 xi Observemos que mi i (A/I)xi /mi+1 (A/I)xi es un A/mxi espacio vectorial de dimensin nita, luego o x xi o o o son A-mdulos de longitud nita. En conclusin, (A/I)xi es un A-mdulo de longitud nita.

36

Cap tulo 2.

Teor de la dimensin local a o

2.3

Funcin de Hilbert o

Sea A = R0 [1 , . . . , r ] un anillo graduado, R0 un anillo de longitud nita (de grado cero) y los i de e grado 1. Por ser R0 un anillo de longitud nita es notheriano y por tanto A tambin es noetheriano. Sea M = Mn un A-mdulo graduado nito generado. Obsrvese que el A-submdulo de M o e o generado por Mn es nito generado, por la noetherianidad de M . Por tanto, Mn es un R0 -mdulo de o nito generado. Como R0 es de longitud nita, Mn es un R0 -mdulo de longitud nita. o Denicin 2.3.1. Se llama funcin de Hilbert de M a HM (n) = l(Mn ). o o
def

Denicin 2.3.2. Se llama funcin de Samuel de M a SM (n) = o o Observemos que SM (n) = SM (n + 1) SM (n) = HM (n).

n1

def i=0

l(Mi ).

Proposicin 2.3.3. Sea R0 un anillo de longitud nita y consideremos el anillo graduado R0 [x1 , , xr ]. o Se cumple que n+r1 SR0 [x1 , ,xr ] (n) = l(R0 ) r Demostracin. Es un problema de combinatoria: Considrese variables {x1 , . . . , xr }, {y1 , . . . , yn1 } o e y escribamos (monomios con las x ordenadas y las y ordenadas)
i y1 yi1 x1 yi1 +1 yi2 x2 xr yir +1 yn1 xi1 xi2 i1 xrr ir1 1 2

El nmero de todas las combinaciones posibles es n+r1 . Como R0 [x1 , , xr ]/(x1 , , xr )n = u r i i i R0 xi1 x22 i1 xrr r1 , obtenemos SR0 [x1 , ,xr ] (n) = l(R0 ) n+r1 . 1 r
ir <n

Lema 2.3.4. Dada una funcin f : N Q denotemos por f (n) la funcin f (n) = f (n+1)f (n). o o Si f (n) es un polinomio para n > n0 entonces f (n) es un polinomio para n > n0 . Demostracin. Procedamos por induccin sobre el grado de f (n). Sigamos la convencin gr 0 = 1. o o o Si gr f (n) = 1 para n > n0 , es decir f (n) = f (n + 1) f (n) = 0 para n > n0 , entonces f (n) es constante para n > n0 y hemos terminado. Supongamos que gr f (n) = r, para n > n0 . Es decir, f (n) = a0 nr + a1 nr1 + + ar , para n > n0 , con a0 = 0. Se verica que (f a0 a0 r+1 r+1 n )(n) = f (n) ((n + 1) nr+1 ) r+1 r+1 = f (n) [a0 nr + pol. de grado menor que r]

a0 Por tanto, (f r+1 nr+1 )(n) es un polinomio de grado menor que r, para n > n0 . Luego, por a0 hiptesis de induccin, f (n) r+1 nr+1 es un polinomio, para n > n0 y concluimos que f (n) es un o o polinomio para n > n0 .

Teorema 2.3.5. Para n sucientemente grande, la funcin de Hilbert es un polinomio en n (polinomio o que llamaremos polinomio de Hilbert).

2.4.

Dimensin en anillos locales noetherianos o

37

Demostracin. Vamos a proceder por induccin sobre el nmero de generadores de A. o o u Si r = 0, como M es nito generado Mn = 0 para n > n0 , con n0 >> 0. Por tanto, HM (n) = 0 para n > n0 y concluimos. Supongamos cierto el teorema para A = R0 [1 , . . . , r1 ] y consideremos las sucesiones exactas 0 Kern Mn Mn+1 Cokern+1 0 0 Ker = Kern M M Coker = Cokern 0
n n r r

Como r anula a Ker y Coker, ambos son R0 [1 , . . . , r1 ]-mdulos nitos graduados. Por tanto, por o hiptesis de induccin o o HM (n) = HM (n + 1) HM (n) = HCoker (n + 1) HKer (n) es un polinomio para n > n0 . Por tanto, HM (n) es un polinomio para n > n0 , por el lema anterior. La funcin de Samuel es es un polinomio para n >> 0, ya que SM (n) = HM (n) (polinomio que o denominaremos polinomio de Samuel).

2.4

Dimensin en anillos locales noetherianos o

Supondremos que O es un anillo local noetheriano de ideal maximal m, e I un ideal m-primario. Si I es un ideal m-primario, entonces Spec O/I = {m}, y l(O/I) < , por 2.2.6. Escribamos I = (1 , . . . , r ). El graduado de O por I, GI O = O/I[1 , . . . , r ] es un anillo graduado, con O/I de i de grado 1. longitud nita y Sea M un O-mdulo nito y consideremos en l una ltracin I-estable, {Mn }. Sabemos que el o e o dilatado DM es un DI O = I n -mdulo nito. Por tanto, el graduado GM de M por la ltracin es o o un DI O-mdulo nito, luego es un GI O-mdulo nito. o o Denotaremos SM (n) = SGM (n) = l(M/M1 ) + l(M1 /M2 ) + + l(Mn1 /Mn ) = l(M/Mn ) o Proposicin 2.4.1. El grado y el primer coeciente de SM (n) no depende de la ltracin I-estable o considerada en M . Demostracin. Sean {Mn } y {Mn } dos ltraciones I-estables de M . Denotemos por SM (n) = o n ). Por 1.4.18 sabemos que existe un h tal que l(M/Mn ) y SM (n) = l(M/M Mn+h Mn Mn+h Mn con lo que se concluye la demostracin o Proposicin 2.4.2. El grado de SM (n) no depende de la ltracin I-estable considerada en M , ni o o del ideal m-primario I. por tanto, SM (n + h) SM (n) por tanto, SM (n + h) SM (n)

38

Cap tulo 2.

Teor de la dimensin local a o

Demostracin. Consideremos las ltraciones {I n M } y {mn M }. Basta probar, por la proposicin o o anterior, que SM,I (n) = l(M/I n M } y SM,m (n) = l(M/mn M ) tienen el mismo grado. Existe un k, tal que mk I. Por tanto, SM,m (kn) = l(M/mkn M ) l(M/I n M ) = SM,I (n), SM,I (n) = l(M/I n M ) l(M/mn M ) = SM,m (n) De donde se deduce que SM,I (n) y SM,m (n) son dos polinomios de igual grado. La siguiente proposicin har las veces del teorema del ideal principal de Krull. o a Proposicin 2.4.3. Si a O no es divisor de cero en M , entonces gr SM/aM (n) < gr SM (n). o Demostracin. Consideremos la sucesin exacta o o 0 aM M N = M/aM 0 La ltraciones {aM Mn }, {(Mn )} inducidas en aM y N por la ltracin Mn I-estable de M , son o por el teorema de Artin-Rees I-estables. De la sucesin exacta o 0 aM/aM Mn M/Mn N/(Mn ) 0 se deduce que SM/aM (n) = SN (n) = SM (n) SaM (n). Ahora bien, como M aM porque a no es divisor de cero, por 2.4.1, el grado y primer coeciente de SM (n) es igual al de SaM (n). Luego gr SM/aM (n) < SM (n). Denicin 2.4.4. Llamaremos dimensin de Krull de un anillo al mximo de las longitudes de sus o o a cadenas de ideales primos. Ejemplo 2.4.5. Z y k[x] son anillos de dimensin de Krull 1. C[x, y] es un anillo de dimensin de o o Krull 2. Como los ideales primos de un anillo A se corresponden con los cerrados irreducibles de Spec A, tenemos que la dimensin de Krull de A es igual a la mxima longitud de las cadenas de cerrados o a irreducibles de Spec A. Denicin 2.4.6. Sea O un anillo local noetheriano de ideal maximal m. Diremos que f1 , . . . , fn O o es un sistema de parmetros en O si (f1 , . . . , fn )0 = {m}. a Denotaremos que SO,I (n) = l(O/I n ). Diremos que SO (n) = l(O/mn ) es el polinomio de Samuel de O. Teorema 2.4.7. Sea O un anillo local noetheriano de ideal maximal m. Los siguientes nmeros son u iguales 1. Dimensin de Krull de O. o 2. Nmero m u nimo de parmetros de los sistemas de parmetros de O. a a 3. Grado del polinomio de Samuel de O. Demostracin. o
a

2.4.

Dimensin en anillos locales noetherianos o

39

a) Dimensin de Krull de O Nmero m o u nimo de parmetros de los sistemas de parmetros de O: a a Sea f1 un elemento no invertible de O que no se anule en ningn ideal primo minimal (existe: u si {pi } son los ideales primos minimales de O y gi se anula en todos los pj salvo en pi , entonces f1 = i gi ). Por tanto, dim O > dim O/(f1 ). Sea ahora f2 otro elemento que no se anula en ningn u ideal primo minimal de O/(f1 ), entonces dim O > dim O/(f1 ) > dim O/(f1 , f2 ). As sucesivamente, obtenemos una cadena 0 (f1 ) (f1 , f2 ) (f1 , . . . , fn ) . . . dim O > dim O/(f1 ) > dim O/(f1 , f2 ) > > dim O/(f1 , . . . , fn ) > . . . a que ha de nitizar para un n, por la noetherianidad de O, y lo har cuando O/(f1 , . . . , fn ) sea de dimensin cero. Por tanto, tenemos que (f1 , . . . , fn ) es un sistema de parmetros y dim O n. o a b) Nmero m u nimo de parmetros de los sistemas de parmetros de O grado del polinomio de a a Samuel de O: Sea (f1 , . . . , fr ) = I un sistema de parmetros. Tenemos que a (O/I)[x1 , . . . , xr ] xi  /
2.3.3

/ GI O = O/I I/I 2

fi
n+r1 r

es un epimorsmo. Luego SO,I (n) l(O/I[x1 , . . . , xr ]/(x1 , . . . , xr )n ) = l(O/I) dim{polinomios en r variables de grado menor que n} = l(O/I) n+r1 . Observemos que r grado r, luego gr SO,m (n) = gr SO,I (n) r. Hemos concluido. es un polinomio de

c) Grado del polinomio de Samuel de O dimensin de Krull de O: o Procedamos por induccin sobre gr SO (n). Si gr SO (n) = 0 entonces l(O/mn ) es constante. Por o tanto, l(mn /mn+1 ) = 0, es decir mn = mn+1 . Por Nakayama mn = 0, luego dim O = 0. Supongamos ya que gr SO (n) > 0. Sea p1 p2 pm una cadena de ideales primos de O. Sea f p2 p1 . Tenemos gr SO (n) gr SO/p1 (n) > gr SO/(p1 ,f ) (n) m 1 donde la ultima desigualdad es debido a la hiptesis de induccin y a que p2 m es una cadena o o p de ideales primos de O/(p1 , f ). Por tanto, gr SO (n) m y concluimos. Ejercicio 2.4.8. Probar que el anillo local de k[x1 , . . . , xn ] en el origen es un anillo de dimensin de o Krull n. Corolario 2.4.9. La dimensin de Krull de un anillo local noetheriano es nita y coincide con el o grado del polinomio de Samuel. No es cierto que si un anillo es noetheriano, pero no local, su dimensin de Krull sea nita. o Corolario 2.4.10 (ideal principal de Krull). Sea f O no invertible. Se verica dim(f )0 dim O 1 Adems, si f no es divisor de cero entonces a dim(f )0 = dim O 1
2.4.3

40

Cap tulo 2.

Teor de la dimensin local a o

Demostracin. Sea (f1 , . . . , fm ) un ideal m-primario de O/(f ), generado por el nmero m o u nimo de parmetros. Por el teorema anterior dim O/(f ) = m. Por otra parte, (f, f1 , . . . , fm ) es un ideal ma primario de O, luego dim O m + 1 = dim O/(f ) + 1 = dim(f )0 + 1. Por tanto, dim(f )0 dim O 1. Si f no es divisor de cero, entonces dim O/(f ) = gr SO/(f ) (n) < gr SO (n) = dim O y se concluye.
2.4.3

Corolario 2.4.11. Sea O un anillo local noetheriano de ideal maximal m. Sea O la completacin o m-dica de O. Se verica a dim O = dim O Demostracin. Sabemos que O/mn = O/mn , por tanto SO (n) = SO (n) y dim O = dim O. o b Ejercicio 2.4.12. Probar que dim k[[x1 , , xn ]] = n.

2.5

Teor de la dimensin en variedades algebraicas a o

Proposicin 2.5.1. Para todo ideal maximal mx k[x1 , . . . , xn ], se cumple que dim k[x1 , . . . , xn ]x = o n. En particular, dim k[x1 , . . . , xn ] = n. Demostracin. Por 1.2.44 k[x1 , . . . , xn ]/mx es una k-extensin nita de k. Por tanto, el morsmo o o i : k[x1 ] k[x1 , . . . , xn ]/mx , i(p(x1 )) = p(x1 ) tiene de ncleo un ideal primo no nulo Ker i = (p(x1 )). u Ahora ya, dim k[x1 , . . . , xn ]x = dim k[x1 , . . . , xn ]x /(p(x1 ))+1 = dim k[x1 ]/(p(x1 ))[x2 , . . . , xn ]x +1 = (n1)+1 donde la ultima igualdad se obtiene por induccin sobre n. o Teorema 2.5.2. La dimensin de Krull de una k-lgebra A de tipo nito o a ntegra es igual al grado de trascendencia de su cuerpo de funciones. La dimensin de una variedad algebraica o ntegra coincide con el grado de trascendencia de su cuerpo de funciones. Demostracin. Sea A una k-lgebra de tipo nito o a ntegra. Por el lema de normalizacin de Noether, o existe un morsmo nito k[x1 , . . . , xn ] A. Luego dim A = n. Localizando tenemos el morsmo nito k(x1 , . . . , xn ) Ak[x1 ,...,xn ]{0} . Por tanto, Ak[x1 ,...,xn ]{0} es una k(x1 , . . . , xn )-lgebra nita a ntegra, luego es un cuerpo que ha de ser AA{0} . Por tanto, el grado de trascendencia de AA{0} es n.
2.4.10

Observemos que dim(A/ rad A) = dim A. Por tanto, para calcular la dimensin de una variedad o o irreducible Spec A, basta calcular la dimensin de Spec(A/ rad A), que es una variedad algebraica ntegra. En general, toda variedad algebraica es unin de variedades algebraicas irreducibles y la o dimensin de la variedad es el mximo de las dimensiones de las componentes irreducibles de la o a variedad. Proposicin 2.5.3. Sea X = Spec A una variedad algebraica irreducible y x X un punto cerrado. o Se cumple que dim X = dim Ax .

2.5.

Teor de la dimensin en variedades algebraicas a o

41

Demostracin. Haciendo cociente por los nilpotentes, es decir, por el ideal primo minimal, podemos o suponer que A es un anillo ntegro. Por el lema de normalizacin de Noether existe un morsmo nito k[x1 , . . . , xn ] A. Tenemos o que dim X = dim k[x1 , . . . , xn ] = n. Sea my = k[x1 , . . . , xn ] mx . Slo nos falta ver que dim Ax = o dim k[x1 , . . . , xn ]y = n: Dada una cadena de ideales primos mx p1 pm , entonces my
= = = =

k[x1 , . . . , xn ] p1 k[x1 , . . . , xn ] pm es una cadena de ideales primos de inclusiones estrictas,

= =

porque en los morsmos nitos las bras son de dimensin cero. Luego, dim Ax dim k[x1 , . . . , xn ]y . o Dada una cadena de ideales primos my p1 pn , por el teorema de descenso podemos
= = =

construir una cadena mx p1 pm de modo que pi = k[x1 , . . . , xn ] pi . Luego, dim Ax

= = =

dim k[x1 , . . . , xn ]y y dim Ax = dim k[x1 , . . . , xn ]y . Teorema 2.5.4 (del ideal principal de Krull). Sea X = Spec A una variedad algebraica ntegra. Sea f A, no nula y no invertible. Se verica que la dimensin de toda componente irreducible de o (f )0 es dim X 1. Demostracin. Escribamos (f )0 = C1 Cs como unin de componentes irreducibles. Sea y o o C1 (C2 Cs ) un punto cerrado. Observemos que Spec(A/f A)y son puntos x X tales que x (f )0 y y x. Luego Spec(A/f A)y son los puntos x Y1 , tales que y x. Por 2.5.3, dim Y1 = dim(A/f A)y = dim Ay 1 = dim X 1. Denicin 2.5.5. Una cadena de cerrados irreducibles diremos que es maximal si no est incluida o a en ninguna otra mayor. Corolario 2.5.6. Toda cadena de cerrados irreducibles maximal de una variedad algebraica irreducible tiene la misma longitud. Demostracin. Sea X = Spec A la variedad algebraica irreducible. Sea x el punto genrico de X. o e Obviamente X es homeomorfo como espacio topolgico a Spec A/px . Por tanto, podemos suponer o que la variedad algebraica es ntegra. Demostraremos el corolario por induccin sobre la dimensin o o de Krull. Sea X X1 Xm una cadena de cerrados irreducibles maximal. Sea f A una funcin no o nula, que se anule en X1 . Sea (f )0 = Y1 Yr la descomposicin de (f )0 en cerrados irreducibles, o obviamente X1 es una de las componentes de la descomposicin. Por el teorema anterior dim X1 = o dim X 1, luego por induccin sobre la dimensin m 1 = dim X1 = dim X 1, y por tanto o o m = dim X. Denicin 2.5.7. Se dice que una variedad algebraica es catenaria si toda cadena de cerrados irreo ducibles maximal con extremos cualesquiera prejados tiene la misma longitud. Corolario 2.5.8. Las variedades algebraicas son catenarias. Demostracin. Sean Y Y cerrados irreducibles de una variedad algebraica X. Sea Y Y1 o Ym una cadena de cerrados irreducible maximal de Y . Toda cadena de cerrados irreducibles maximal de extremos Y, Y , junto con esta cadena, dene una cadena maximal de Y ampliada. Como las cadenas ampliadas son todas de la misma longitud, por el corolario anterior aplicado a Y , concluimos que toda las cadenas maximales de cerrados irreducibles de extremos Y, Y , tienen la misma longitud.

42

Cap tulo 2.

Teor de la dimensin local a o

2.6

Problemas
l(M/Mn ) =
n

1. Sea M = M0 M1 M2 Mn una cadena de A-submdulos de M . Probar que o

i=1

l(Mi1 /Mi ).

2. Sea A = k[1 , . . . , n ] una k-lgebra de tipo nito y sea O = Ax , donde x Spec A es un punto a o cerrado. Probar que si M es un O-mdulo de longitud nita entonces es un k-espacio vectorial de dimensin nita y o dimk M = l(M ) dimk O/mx 3. Sea A un anillo ntegro y f, g A no nulas. Probar que lA (A/(f g)) = lA (A/(f )) + lA (A/(g)) 4. Probar que si A es un anillo con un nmero nito de elementos, entonces es un anillo noetheriano u de dimensin cero. o 5. Escribamos el polinomio p(x, y) = pn (x, y)+pn+1 (x, y)+. . .+pm (x, y) como suma de polinomios homogneos pi (x, y) de grado i. Sea O = (k[x, y]/p(x, y))x0 , con mx0 = (x, y). Demostrar que e Gmx0 O = k[x, y]/(pn (x, y)). Calcular el polinomio de Samuel de O. 6. Sea O un anillo local noetheriano. Probar que la dimensin de Krull de O es igual a la dimensin o o n n+1 n n+1 del cono tangente Gm O = m /m en el origen (que es el ideal maximal m /m ).
n n=1

7. Sea A un anillo noetheriano. Probar que dim A[x] = 1 + dim A (Obsrvese que si p A es un e ideal primo entonces pA[x] es un ideal primo de A[x]). 8. Sea O un anillo local noetheriano de dimensin de Krull 2. Probar que el conjunto Spec O tiene o innitos puntos. 9. Sea A = k[x1 , x2 , . . . , xn , . . .] un anillo de polinomios de innitas variables. Sean pi = (x2i , . . . , x2i+1 1 ) y S = A pi .
i

(a) Probar que Specmax AS = {pi AS }i . (b) Probar que toda funcin no nula de AS pertenece a un nmero nito de ideales maximales. o u (c) Probar que AS es un anillo noetheriano. (d) Probar que dim AS = . (Nagata) 10. Sean X, Y variedades algebraicas. Probar que dim(X Y ) = dim X + dim Y (Util cese el Lema de Normalizacin de Noether). o 11. Sean Y, Y subvariedades irreducibles de una variedad algebraica irreducible X. Supongamos que Y Y = . Demustrese que e codim Y + codim Y codim(Y Y )

2.6.

Problemas

43

12. Sea f : X Y un morsmo entre variedades algebraicas irreducibles. Sea y f (X) un punto cerrado. Demustrese que e dim f 1 (y) dim X dim f (X) 13. Sea A = k[1 , . . . , n ] un anillo graduado, con gr i = 1. Probar (a) Si p A es un ideal primo, el ideal generado por los elementos homogneos de p es un e ideal primo. (b) Los ideales primos minimales de A son ideales primos homogneos. e (c) dim A = dim Aor , donde mor = (1 , . . . , n ). (d) dim A 1 es igual al grado del polinomio p(n) = dimk [A]n .

44

Cap tulo 2.

Teor de la dimensin local a o

Cap tulo 3

Anillos locales regulares

3.1 Introduccin o

Los anillos de funciones algebraicas de la cspide y 2 x3 = 0, el nodo y 2 x2 + x3 = 0, el cono u x2 + y 2 z 2 = 0 son no regulares en el origen y regulares en cualquier otro punto. El objetivo de este cap tulo es caracterizar localmente los anillos de funciones de las variedades algebraicas sin singularidades. Diremos que una variedad algebraica de dimensin n es regular en o un punto si y slo si existen n hipersupercies que se cortan transversalmente en el punto (contando o multiplicidades). Est denicin equivaldr a que el cono tangente a la supercie sea un espacio af a o a n y a que la completacin del anillos funciones algebraicas en el punto sea un anillo de series formales. o Daremos tambin criterios diferenciales que caractericen la regularidad. e Por ultimo, para el problema de la regularizacin de una variedad introduciremos los anillos de o valoracin. El procedimiento de regularizacin de las curvas por explosin, se estudiar en el siguiente o o o a cap tulo.

3.2

Anillos locales regulares

Denicin 3.2.1. Diremos que un anillo O local noetheriano de ideal maximal m es regular, si o dim O = dimO/m m/m2 . A m/m2 se le denomina espacio cotangente de Zariski. En Geometr Diferencial, si V es una variedad diferenciable, x V y mx es el ideal de las a funciones diferenciables que se anulan en x, entonces mx /m2 = Tx V es el espacio cotangente a V en x x. Si bien, el anillo de grmenes de una variedad diferenciable no es un anillo noetheriano, se cumple e que la dimensin de la variedad diferenciable coincide con la dimensin del espacio cotangente en todo o o punto. En este sentido se puede decir que las variedades diferenciables son regulares en todo punto. Denicin 3.2.2. Diremos que X = Spec A es regular en x X si Ax es un anillo local regular. o ntegros locales de ideales principales son anillos regulares. Por tanto, Ejemplo 3.2.3. Los anillos las localizaciones de Z en sus puntos cerrados son anillos regulares. Recordemos que dado f m decimos que es un parmetro. Observemos que para todo anillo O a local noetheriano dim O dimO/m m/m2 , porque si dimO/m m/m2 = n y f1 , . . . , fn es un sistema de parmetros obtenido por Nakayama, sabemos que dim O n. Por tanto, a O es regular dim O dimO/m m/m2 45

46

Cap tulo 3.

Anillos locales regulares

Proposicin 3.2.4. Un anillo O local noetheriano de dimensin n, es regular si y slo si existe un o o o sistema de parmetros f1 , . . . , fn que generan el ideal maximal m de O. a Demostracin. Si O es un anillo regular entonces n = dim O = dimO/m m/m2 . Si f1 , . . . , fn es o un sistema generador de m obtenido por Nakayama, ste ser el sistema de parmetros buscae a a a do. Rec procamente, si f1 , . . . , fn es un sistema de parmetros que generan m entonces dim O dimO/m) m/m2 , luego O es regular. Aunque no hayamos denido la multiplicidad de interseccin, digamos que esta proposicin se o o interpreta geomtricamente del siguiente modo: Una variedad algebraica irreducible X = Spec A de e dimensin n, es regular en un punto cerrado x X si y slo si existen n hipersupercies, fi = 0, que o o se cortan con multiplicidad 1 en x. Proposicin 3.2.5. El anillo local de k[x1 , . . . , xn ] en el origen es un anillo regular de dimensin n. o o Demostracin. Denotemos mx = (x1 , . . . , xn ). Por 2.5.1, dim k[x1 , . . . , xn ]x = n. Por la proposicin o o anterior, k[x1 , . . . , xn ]x es regular. Ejercicio 3.2.6. Probar que para todo ideal maximal mx k[x1 , . . . , xn ], entonces k[x1 , . . . , xn ]x es regular. El espacio af es regular en todo punto. n Teorema 3.2.7. O es regular si y slo si Gm O = O/m[x1 , . . . , xn ]. O es regular si y slo si el cono o o tangente en el punto cerrado es isomorfo a un espacio af n. Demostracin. Antes empezar con la demostracin, observemos que el graduado de Gm O = O/m o o m/m2 m2 /m3 en el ideal denido por el ideal maximal m/m2 m2 /m3 es isomorfo a Gm O. Como por Samuel, la dimensin de un anillo local O viene determinada por su graduado Gm O, o tendremos que la dimensin de Krull de Gm O localizado en el ideal maximal m/m2 m2 /m3 , o escribamos simplemente dim Gm O, es igual a dim O. Si O es un anillo regular de dimensin n, existe un sistema de parmetros f1 , . . . , fn que genera o a el ideal maximal m de O. Consideremos el epimorsmo graduado O/m[x1 ,. . ., xn ] xi Gm O = O/m m/m2 m2 /m3 fi

Veamos que es un isomorsmo: O/m[x1 , . . ., xn ] es un anillo de dimensin n en el origen. Si hubiese o ncleo, la dimensin del anillo imagen, es decir la de Gm O, en el punto denido por el ideal maximal u o m/m2 m2 /m3 ser menor que n = dim O. Contradiccin. a o Rec procamente, si Gm O = O/m[x1 , . . . , xn ], entonces dim Gm O = n, luego dim O = n. Adems, a tenemos tambin que e dimO/m m/m2 = dimO/m (x1 , . . . , xn )/(x1 , . . . , xn )2 = n Luego, dim O = dimO/m m/m2 y O es regular. Corolario 3.2.8. Sea O un anillo local noetheriano, de ideal maximal m. Sea O el completado o m-dico de O. Se cumple que O es regular si y slo si O es regular. a Demostracin. El corolario es consecuencia del teorema anterior y de que Gm O = Gm O. o b Proposicin 3.2.9. Si O es un anillo regular entonces es o ntegro.

3.2.

Anillos locales regulares

47

Demostracin. Sean f, g O. Sea m el ideal maximal de O. Recordemos que mn = 0. Por tanto, o nN existen r, s N de modo que f mr , f mr+1 , g ms y g ms+1 . Es decir, f mr /mr+1 y / / g ms /ms+1 son no nulas. Si O es regular entonces Gm O = O/m[x1 , . . . , xn ]. O/m[x1 , . . . , xn ] es un anillo ntegro. Por lo tanto, f g = f g mr+s /mr+s+1 no es nulo. Luego f g no es nulo y O es ntegro. Proposicin 3.2.10. Sea O un anillo local regular de ideal maximal m, completo por la topolog o a m-dica. Si O contiene un cuerpo se verica un isomorsmo a O O/m[[x1 , . . . , xn ]]

Demostracin. Por el teorema de Cohen, existe una seccin O/m O del cuerpo residual de m. Sea o o 1 , . . . , n un sistema generador de m obtenido por el Lema de Nakayama. El morsmo O/m[[x1 , . . . , xn ]] O, s(x1 , . . . , xn ) s(1 , . . . , n ) es un isomorsmo porque en los graduados lo es (recurdese 3.2.7). Por tanto, e O O/m[[x1 , . . . , xn ]]

Escribamos m = mx y sea f mx . Denotaremos a f mx /m2 como dx f , y diremos que dx f es x la diferencial de f en x. Por ejemplo, si consideramos p(x1 , . . . , xn ) mx = (x1 1 , . . . , xn n ) k[x1 , . . . , xn ], entonces por desarrollando por Taylor en (1 , . . . , n ), tenemos que dx p(x1 , . . . , xn ) = p p (1 , . . . , n )dx x1 + . . . + (1 , . . . , n )dx xn x1 xn

a En el caso de que el anillo A una k-lgebra y A/mx = k, dado f mx , se dene dx f = f f (x) mx /m2 , donde f (x) = f A/mx = k. x Teorema 3.2.11. Sea O un anillo local regular de ideal maximal mx . Sea I O un ideal. O/I es un anillo regular I est generado por un sistema de parmetros de diferenciales en x linealmente a a independientes. Demostracin. Denotemos por mx la clase de mx en O/I. o ) Sabemos que I = (f1 , . . . , fr ) de modo que {dx f1 , . . . , dx fr } son linealmente independientes en mx /m2 . Consideremos la sucesin exacta o x I mx mx 0 o Tensorializando por O O/mx obtenemos la sucesin exacta x 0 I/mx I mx /m2 mx /m2 0 x que es exacta por la izquierda, porque f1 , . . . , fr es un sistema generador de I/mx I linealmente 2 independiente en mx /mx . Por tanto, x dimO/mx mx /m2 = dimO/mx mx /m2 r = dim O r dim O/I x

48

Cap tulo 3.

Anillos locales regulares

Luego O/I es regular (de dimensin dim O r). o ) O/I es regular. Escribamos dim O = n y dim O/I = n r. Consideremos la sucesin exacta o I mx mx 0 Tensorializando por O O/mx obtenemos la sucesin exacta o x I/mx I mx /m2 mx /m2 0 x Sean pues f1 , . . . , fr I, de modo que f1 , . . . , fr sea una base del ncleo del epimorsmo mx /m2 u x x /m 2 . x m El epimorsmo O/(f1 , . . . , fr ) O/I es un isomorsmo: O/(f1 , . . . , fr ) es un anillo regular por ), de dimensin n r. Si hubiese ncleo, la dimensin de la imagen ser menor que n r, porque o u o a O/(f1 , . . . , fr ) es ntegro por ser un anillo regular. Por tanto, la dimensin de O/I ser menor que o a n r, contradiccin. o Por tanto, I = (f1 , . . . , fr ) con dx f1 , . . . , dx fr linealmente independientes. Ejercicio 3.2.12. Calcular los puntos regulares de C[x, y]/(y 2 x2 + x3 ). Los anillos locales de la Geometr Diferencial, si bien no son noetherianos, pueden considerarse, a si no somos rigurosos, como anillos regulares, pues sus completados son anillos de series formales. En Geometr Diferencial, es conocido que dada una variedad diferenciable X y {f1 , . . . , fr } C (X), a si dx f1 , . . . , dx fr son linealmente independientes para todo x {f1 = 0, . . . , fn = 0} entonces {f1 = 0, . . . , fn = 0} es una subvariedad diferenciable de X.

3.3

Anillos locales regulares de dimensin 1 y anillos de valoo racin o

Los anillos locales regulares de dimensin cero son los cuerpos. En la teor de Galois, se ha proo a fundizado en su estudio. Nuestro objetivo es el estudio de los anillos locales regulares de dimensin o uno. Los anillos de dimensin uno de la Geometr Algebraica son los anillos de funciones algebraicas o a de las curvas. En la clasicacin de la curvas algebraicas es fundamental el caracterizar los puntos o singulares (los puntos no regulares) de las curvas y la regularizacin o desingularizacin de stas. o o e Como veremos, los anillos locales regulares de dimensin uno son los anillos de valoracin discreta, y o o la interseccin de los anillos de valoracin que contienen a un anillo es su cierre entero, en el caso de o o anillos de curvas es el anillo de su desingularizacin. o Teorema 3.3.1. Sea O un anillo local noetheriano de dimensin 1. Se verica que O es regular si y o slo si O es un anillo de ideales principales. o Demostracin. ) Si O es regular de dimensin 1, su ideal maximal est generado por un parmetro o o a a t m. Si f es un elemento no nulo de O, entonces f = tn i, con i O invertible para un n N. Por tanto f O = tn O. Dado un ideal I, tendremos que I = tm O con m = min{n : f O = tn O, con f I}. ) Tenemos que dim m/m2 1. Luego dim O dim m/m2 y O es regular. Denicin 3.3.2. Sea un cuerpo. Una valoracin discreta de es una aplicacin epiyectiva o o o v : {0} Z que verica

3.3.

Anillos locales regulares de dimensin 1 y anillos de valoracin o o

49

1. v(f g) = v(f ) + v(g). 2. v(f + g) min{v(f ), v(g)} Dado un anillo O local regular de ideal maximal m y cuerpo de fracciones , podemos denir una valoracin discreta en (la valoracin m-dica): Dada f tenemos que f = a , con a, b O. Sea o o a b t un generador de m. Se verica que a = tn i y b = tm i donde i, i son invertibles de O. Entonces f = tnm i , con i invertible de O. Pues bien, si denimos v(f ) = n m, es fcil comprobar que v a es una valoracin discreta. Adems O coincide con las f de valor mayor o igual que cero. o a Rec procamente, veamos que dada una valoracin discreta v entonces Ov = {f : v(f ) 0} es o un anillo local regular de dimensin 1 de cuerpo de fracciones . o Sea v : {0} Z una valoracin. Observemos que v(1) = v(1 1) = v(1) + v(1) luego v(1) = 0. o Por tanto, 0 = v(1) = v(f f 1 ) = v(f ) + v(f 1 ), luego v(f 1 ) = v(f ). Cada ideal I Ov est generado por un elemento de valor m a nimo: Sea f I de valor m nimo, dado g I tenemos que v(g) v(f ) luego v(g/f ) = v(g) v(f ) 0. Luego g/f Ov y g = g/f f , es decir I = (f ). As pues, Ov es un anillo de ideales principales, luego noetheriano. Ov es un anillo local que no es un cuerpo, porque los invertibles son precisamente {f Ov : v(f ) = 0} y el ideal maximal es pv = {f Ov : v(f ) > 0}. Por tanto, Ov es un anillo local regular de dimensin 1. Adems, para o a toda f o bien f Ov o bien f 1 Ov , es decir, v(f ) 0 o v(f 1 ) = v(f ) 0 (esta propiedad junto con la noetherianidad va a caracterizar los anillos de valoracin discreta Ov ). Por tanto, el o cuerpo de fracciones de Ov es . Hemos obtenido la siguiente proposicin. o Proposicin 3.3.3. La correspondencia que asigna a cada valoracin discreta v de el anillo Ov = o o {f : v(f ) 0} es una correspondencia biun voca entre el conjunto de valoraciones discretas y los subanillos locales regulares de dimensin 1 de de cuerpo de fracciones . o Dada una valoracin discreta v diremos que Ov es un anillo de valoracin discreta. o o Denicin 3.3.4. Sea un cuerpo, diremos que un subanillo Ov es de valoracin si verica que o o para todo f o bien f Ov o bien f 1 Ov . Todo subanillo de valoracin de es o ntegro y su cuerpo de fracciones es . Diremos que es el anillo de valoracin trivial de . o Proposicin 3.3.5. Sea Ov un anillo de valoracin y I1 , I2 ideales de Ov . Entonces I1 I2 o o o I2 I1 . Demostracin. Si I1 I2 y I2 I1 , entonces existen f1 I1 , f1 I2 y f2 I2 , f2 I1 . Sabemos que o / / f1 /f2 Ov (o equivalentemente f2 /f1 Ov ). Por tanto, f1 = f1 /f2 f2 I2 , contradiccin. o Corolario 3.3.6. Todo anillo de valoracin es local. o Al ideal maximal se le denota pv y se le denomina el ideal de valoracin. o Proposicin 3.3.7. Si Ov es un anillo noetheriano de valoracin, no trivial, entonces Ov es un o o anillo local regular de dimensin 1. o Demostracin. Si Ov es noetheriano, todo ideal es principal, pues dado I = (f1 , . . . , fn ) tenemos o que (f1 ) (f2 ) (o rec procamente), luego I = (f2 , . . . , fn ). Recurrentemente obtendremos que I es principal. Por tanto, si Ov no es trivial, es un anillo local regular de dimensin 1. o

50

Cap tulo 3.

Anillos locales regulares

Dado un anillo de valoracin Ov de , denotemos por Ov el grupo de los invertibles de Ov . La o g si f g 1 Ov , es una relacin de orden total. relacin denida en el grupo /Ov por f o o Denotemos por v : /Ov el morsmo de paso al cociente. Se verica que 1. v(f g) = v(f ) + v(g) (denotamos la operacin de /Ov aditivamente). o

2. v(f + g) min{v(f ), v(g)} Rec procamente, dado un grupo G aditivo totalmente ordenado y v : G una aplicacin verio cando las dos condiciones anteriores, Ov = {f : v(f ) 0} es un anillo de valoracin. o

3.4

Cierre entero y anillos de valoracin o

Denicin 3.4.1. Diremos que un anillo A o ntegro, es ntegramente cerrado en su cuerpo de fracciones , si cumple que si una funcin f es entera sobre A entonces f A. Tambin se dice que A es o e normal. Sea A B un morsmo de anillos. Llamaremos cierre entero de A en B al subanillo de B formado por todos los elementos de B enteros sobre A. Dejamos que el lector pruebe que el cierre entero de un anillo ntegro en su cuerpo de fracciones es un anillo ntegramente cerrado. Proposicin 3.4.2. Los dominios de factorizacin unica son o o ntegramente cerrados en su cuerpo de fracciones. Demostracin. Sea A un dominio de factorizacin unica y su cuerpo de fracciones. Sea o o fraccin de modo que b sea primo con a. Si a es entero sobre A verica una relacin o o b a a ( )n + a1 ( )n1 + . . . + an = 0 b b Multiplicando por bn tendremos an + b = 0. Luego, como b es primo con a, habr de ser invertible y a f A. En conclusin, los unicos elementos enteros de sobre A son los de A. o Ejemplo 3.4.3. Z, k[x], k[x1 , . . . , xn ] son anillos ntegramente cerrados en sus cuerpos de fracciones. Lema 3.4.4. Los anillos de valoracin son o ntegramente cerrados en su cuerpo de fracciones. Demostracin. Sea Ov un anillo de valoracin y su cuerpo de fracciones. Sea f entero sobre o o Ov . Por tanto, verica una relacin entera o f n + a1 f n1 + + an = 0, a i Ov
a b

una

Si f 1 Ov , entonces f = a1 a2 f 1 f 1n Ov . Si f 1 Ov entonces f Ov , pues Ov / es un anillo de valoracin. En conclusin, Ov es o o ntegramente cerrado en su cuerpo de funciones. De otro modo: nv(f ) = v(f n ) = v(a1 f n1 . . .an ) min{v(a1 f n1 ), . . . , v(an1 f ), v(an )} min{(n 1)v(f ), . . . , v(f ), 0} de lo que se deduce que v(f ) 0. Teorema 3.4.5. Sea O un anillo ntegro local noetheriano de dimensin 1. Las siguientes condiciones o son equivalentes:

3.4. 1. O es regular. 2. O es un anillo de valoracin. o

Cierre entero y anillos de valoracin o

51

ntegramente cerrado en su cuerpo de fracciones . 3. O es Demostracin. Slo nos falta probar (3 1). o o Sea f un elemento no nulo del ideal maximal m de O. O/f O es un anillo local de dimensin o cero. Por tanto, el ideal maximal m en O/f O es nilpotente. Es decir, existe un n N de modo que mn f O. Sea n N m nimo vericando mn f O. Sea g mn1 de modo que g f O. / f 1 Vamos a probar que m = ( g ). Se verica que (g/f ) m f mn O. Si (g/f ) m = O entonces m es un O-mdulo isomorfo a O, luego es principal y O es regular. Si g/f m O, tendremos que o g/f m m. Por tanto, g/f es un endomorsmo de m, que ha de satisfacer el correspondiente polinomio caracter stico. Luego g/f es entero sobre O, as pues g/f O. Contradiccin porque o g f O. / Denicin 3.4.6. Un anillo A se dice que es un dominio de Dedekind si es noetheriano de dimensin o o 1 e ntegramente cerrado. Lema 3.4.7. Un anillo A ntegro, es ntegramente cerrado en su cuerpo de fracciones si y slo si es o localmente ntegramente cerrado. Demostracin. Sea A o ntegramente cerrado. Dado x Spec A veamos que Ax es ntegramente cerrado: Sea f entero sobre Ax . Por tanto, existe una relacin entera o f n + a1 /s1 f n1 + + an /sn = 0 con ai , si A y si (x) = 0

o o Sea t = s1 sn (luego t(x) = 0). Multiplicando la relacin anterior por tn obtenemos una relacin entera con coecientes en A de tf , luego tf A y f Ax . Rec procamente, supongamos que A es localmente ntegramente cerrado. Sea f entero sobre A. El morsmo A A[f ] es nito, luego localmente es nito, es ms es isomorsmo (porque A es a localmente ntegramente cerrado). Por tanto, A = A[f ] y f A, es decir, A es ntegramente cerrado. Proposicin 3.4.8. Si A es un dominio de Dedekind e I A un ideal no nulo, entonces I se escribe o de modo unico como producto de ideales primos. Demostracin. Sean {x1 , . . . , xm } = (I)0 . Sabemos por el teorema y lema anteriores que Axi es un o i anillo de ideales principales. Por tanto, Ixi = pni Axi , para cierto ni N unico. El ideal x
1 m pn1 pnm x x

a es igual localmente a I, luego son iguales globalmente. Evidentemente los exponentes ni estn determinados porque lo estn al localizar. a Denicin 3.4.9. Un morsmo O O inyectivo entre anillos locales de ideales maximales m,m se o dice que es dominante si m contiene a m, es decir, si m O = m. Lema 3.4.10. Sea A un anillo ntegro y su cuerpo de fracciones. Se verica que es entero sobre A si y slo si A[ 1 ]. o

52

Cap tulo 3.

Anillos locales regulares

Demostracin. Si es entero sobre A entonces existe una relacin entera o o n + + a1 + a0 = 0, Si A[ 1 ] entonces =

n

con ai A

Multiplicando por n+1 obtenemos 1 + an1 + + a0 n+1 = 0. Luego A[ 1 ].

i=0

ai ( 1 )i . Multiplicando por n tendremos n+1 a0 n an = 0

Es decir, es entero sobre A. Proposicin 3.4.11. Un anillo O local o ntegro, de cuerpo de fracciones es de valoracin si y slo o o si el unico anillo local O que contiene a O de modo que la inclusin O O sea un morsmo o dominante es O. Demostracin. Supongamos que O es de valoracin. Sea O un anillo local que contiene estrico o tamente a O Sea O O, entonces 1 O, por ser O de valoracin. Es ms, 1 pertenece al ideal o a maximal m o ideal de valoracin de O, porque O. En particular 1 O , luego 1 no puede o / pertenecer a su ideal maximal m , pues O . En conclusin, 1 m y 1 m y la inclusin o / o O O no es dominante. Supongamos ahora que en no hay anillos locales que dominen a O. Veamos en primer lugar que O es ntegramente cerrado: Si O es entero sobre O entonces el morsmo O O[] es nito. Sea mx un ideal maximal de O[], tal que mx O = m, que existe porque los morsmos inyectivos nitos en espectros son epiyectivos. Luego el morsmo O O[]x es dominante. En conclusin, O y O o es ntegramente cerrado. Sea ahora . Si mO[] = O[] entonces existe un ideal maximal mx O[] que contiene a mO[] y el morsmo O O[]x es dominante, luego es una igualdad y O. Si mO[] = O[] entonces existen ai m de modo que a0 + a1 + + an n = 1, luego (a1 + + an n1 ) = a1 + + an n = 1 a0 , que es un invertible de O. Por tanto, 1 O[] y por el lema 1 es entero sobre O. Por tanto, 1 O. En conclusin, O es de valoracin. o o Teorema 3.4.12. Sea A un anillo ntegro y un cuerpo que contiene a A. Sea A el cierre entero de A en . Entonces A = Ov
AOv

o donde Ov son subanillos de valoracin de . Demostracin. a) A o anillo Ov que contenga a A. Ahora bien, los anillos de valoracin son o ntegramente cerrados, luego pertenece a todo anillo Ov que contenga a A, es decir, Ov . b) A
AOv AOv AOv

Ov : Dado A es entero sobre A, luego es entero sobre cualquier

Ov : Si no es entero sobre A, entonces por el lema anterior, 1 A[ 1 ] A[ 1 ].

=

Por tanto, existe un ideal maximal mx A[ 1 ] que contiene a 1 . Consideremos el anillo local A[ 1 ]x . Sea Ov un anillo local maximal con la condicin de que domine a A[ 1 ]x (que existe por o o el lema de Zorn). Ov es un anillo de valoracin porque no admite morsmos dominantes. Se verica que 1 pv , donde pv es el ideal de valoracin de Ov , luego Ov . En conclusin, Ov A. o / o
AOv

3.5.

Finitud del cierre entero

53

Ejercicio 3.4.13. Sea A un subanillo de un cuerpo K y k un cuerpo algebraicamente cerrado. Sea un morsmo de anillos. Existe un subanillo Ov de valoracin de K que contiene a A y un f: A k o morsmo f : Ov k, de modo que f es una extensin de f y Ker f = pv . o Resolucin: Sea A un anillo local cumpliendo las propiedades exigidas a Ov y no dominado por o ningn otro anillo local cumpliendo las propiedades. u Prubese que A es e ntegramente cerrado en su cuerpo de fracciones. Sea K. Si 1 A entonces no es entero sobre A . Por tanto, por el lema, A [] = A []. / Por tanto, A [] A est incluido en el ideal maximal de A y tenemos el diagrama conmutativo a / A []/(A []) A /(A [] A ) A A YYYYY/ YYY[] YYYYYY YYYYYY f YYYYYY YYYYYY YYYYYY  YY, k o Con lo que llegaremos a contradiccin, por la denicin de A , salvo que A . En conclusin, A es o o de valoracin. o

3.5

Finitud del cierre entero

ntegro, ntegramente cerrado en su cuerpo de fracciones Lema 3.5.1. Sea A un anillo noetheriano . Sea una extensin nita separable de cuerpos. Entonces el cierre entero A de A en es o un A-mdulo nito. o Demostracin. Consideremos el diagrama o A A

es el cuerpo de fracciones de A: Dado f , verica una relacin algebraica con coecientes en , o n n1 digamos x +b1 x + +bn , con bi . Escribamos bi = ai /ai , con ai , ai A y sea a = a1 an . Es fcil comprobar que a f es entero sobre A, es decir a f A. Por tanto, f pertenece al cuerpo a y concluimos. de fracciones de A Consideremos en la mtrica T2 de la traza, T2 (f, g) = tr(f g). e Recordemos que tr(h) es la traza de la homotecia multiplicar por h en , que tr(h) = g(h), donde G = Homklg (, ) y es la envolvente de Galois de . Recordemos tambin que es e a separable si y slo si T2 es no singular. o Sea a1 , . . . , an A una base del -espacio vectorial . Sea w1 , . . . , wn la base dual de a1 , . . . , an . A travs del isomorsmo e h
iT2 gG

= ihT2 :

Hom (, ) h T2 (h, h ) = tr(h h )

se verica que iT2 : A Aw1 + + Awn : Dado h A, escribamos iT2 (h) = 1 w1 + + n wn , con i . Tenemos que ver que i A. Se tiene que i = iT2 (h)(i ) = tr(h ai ) = a
gG

g(h ai )

54

Cap tulo 3.

Anillos locales regulares g(h ai ) A. Recordemos que i y A

gG

Ahora bien, h ai A, luego g(h ai ) A, luego i =

es ntegramente cerrado, luego i A. a o En conclusin, A est incluido en un A-mdulo nito, luego por la noetherianidad de A, es un o A-mdulo nito. o Ejercicio 3.5.2. Probar que Z[ 2 5] no es ntegramente cerrado en su cuerpo de fracciones. Ejercicio 3.5.3. Demostrar que el cierre entero de Z[ 2 5] en Q[ 2 5] es nito sobre Z[ 2 5]. (Pista: Z Z[ 2 5] es nito y Z es ntegramente cerrado en su cuerpo de fracciones). Teorema 3.5.4. Sea A una k-lgebra de tipo nito a ntegra de cuerpo de fracciones . Sea una extensin nita de cuerpos. Entonces el cierre entero A de A en es un A-mdulo nito, de o o cuerpo de fracciones . Demostracin. Sea por el lema de normalizacin de Noether un morsmo nito k[x1 , . . . , xn ] A. o o Como el cierre entero de A en coincide con el cierre entero de k[x1 , . . . , xn ] en , podemos suponer que A = k[x1 , . . . , xn ]. Sea la envolvente normal de . El cierre entero de A en contiene a A. Luego si demostramos es un A-mdulo nito tendremos que A tambin lo es. As pues, que el cierre entero de A en o e podemos suponer que es una extensin normal de . o Sea G el grupo de Galois de . Sea G los elementos de invariantes por G. Denotemos por A al cierre entero de A en G . A coincide con el cierre entero de A en , luego A es un A -mdulo nito o por el lema anterior, pues G es una extensin separable (de Galois). As pues, para demostrar o que A es un A-mdulo nito basta ver que A es un A-mdulo nito. Observemos que G es un o o morsmo puramente inseparable. En conclusin, podemos suponer que A = k[x1 , . . . , xn ] y que es una extensin nita o o puramente inseparable de cuerpos. pm Sea car k = p > 0 y escribamos = [1 , . . . , r ]. Existe m >> 0 de modo que i = m k(x1 , . . . , xn ), para todo i. Escribamos p = pi /qi , con pi = i xi k[x1 , . . . , xn ] y qi = i xi i i m m k[x1 , . . . , xn ]. Sea k = k( p i , pm i )i y = k ( pm x1 , . . . , pm xn ). Se verica que i = p pi /qi , luego . De nuevo, podemos suponer para demostrar el teorema que = . Ahora pm x , . . . , pm x ], pues k [ pm x , . . . , pm x ] es un bien, el cierre entero k[x1 , . . . , xn ] en es k [ 1 n 1 n k[x1 , . . . , xn ]-mdulo nito y es o ntegramente cerrado (porque es un anillo de polinomios). Hemos concluido. Denicin 3.5.5. Diremos que Spec A es una curva o ntegra af si A es una k-lgebra de tipo nito n a ntegra de dimensin 1. o Ejemplo 3.5.6. La recta af A1 = Spec k[x], la circunferencia Spec k[x, y]/(x2 + y 2 1). n Los cerrados propios de la topolog de Zariski de una curva a ntegra son los conjuntos nitos de puntos cerrados. El punto genrico es el unico punto denso. e Denicin 3.5.7. Diremos que un punto cerrado x Spec A es no singular si Ax es un anillo regular. o Diremos que es singular si Ax no es regular. Ejemplo 3.5.8. Spec k[x, y]/(y 2 x3 ) tiene un unico punto singular, el origen. Teorema 3.5.9. El nmero de puntos singulares de una curva u ntegra es nito.

3.6.

Problemas

55

Demostracin. Sea C = Spec A la curva o ntegra y el cuerpo de fracciones de A. Sea A el cierre entero de A en , que como sabemos, es un A-mdulo nito, de cuerpo de fracciones . Consideremos o la sucesin exacta o 0 A A A/A 0 Localizando en el punto genrico de la curva, tenemos que A/A es cero. Luego A/A es cero al localizar e en todos los puntos salvo en un nmero nito de puntos cerrados. Por tanto, A = A al localizar en u todos los puntos salvo un nmero nito de puntos cerrados. Por el lema 3.4.7, dado x Spec A, u Ax = Ax si y slo si Ax es o ntegramente cerrado en su cuerpo de fracciones, es decir si y slo si Ax o es regular, es decir, si y slo si x es no singular. En conclusin, los puntos singulares de C = Spec A o o coinciden con los puntos del soporte de A/A, que es un nmero nito de puntos. u

3.6

Problemas

1. Calcular el polinomio de Samuel de un anillo local regular de dimensin 2. o 2. Probar que un anillo local noetheriano O es un anillo regular de dimensin r si y slo si SO (n) = o o n+r1 . Para la suciencia seguir los pasos: r (a) O es regular si y slo si Gm O es un anillo regular en el origen. o (b) Si A = k[1 , . . . , n ] es una k-lgebra y mx = (1 , . . . , n ) y k es el cierre algebraico de k, a es regular en mx k k. probar que A es regular en mx si y slo si A k k o (c) Si A = k[1 , . . . , n ] es una k-lgebra graduada, con gr i = 1 y k con innitos elementos, a demostrar que existe un morsmo graduado nito k[x1 , . . . , xr ] A. (d) Probar que el morsmo anterior es isomorsmo si y slo si SA (n) = o 3. Probar que la localizacin de Z[x] en cualquier punto es un anillo regular. o 4. Calcular los puntos de Z[ 2 5] en los que no es regular. 5. Sea mx = (x1 , . . . , xn ) y O = (k[x1 , . . . , xn ]/(p1 , . . . , pr ))x . Supongamos que dim O = n r. pi Probar que O es regular si y slo si rg( xj (0)) = r. o 6. Sean X e Y dos k-variedades algebraicas y x X e y Y dos puntos racionales regulares. Probar que X k Y es regular en (x, y). 7. Sea A un anillo incluido en un cuerpo . Probar que f es entero sobre A si y slo si es o entero sobre A[f 1 ]. 8. Calcular los anillos de valoracin de Q. o 9. Calcular los anillos de valoracin de C(x), que contengan a C. o 10. Consideremos el morsmo C[x, y] C[[]], x , y sen. Demostrar que Ov = C(x, y) C[[]] es un anillo de valoracin discreta, tal que Ov /pv = C. o 11. Sea Ov un subanillo de valoracin del cuerpo . Prubese o e (a) Si B es un subanillo de valoracin de contenido en Ov , entonces existe un ideal primo o px de B de modo que Ov = Bx .
n+r1 r

56

Cap tulo 3.

Anillos locales regulares

(b) Si px es un ideal primo del anillo de valoracin B, entonces B/px es un subanillo de o valoracin de su cuerpo de fracciones. o (c) Sea : Ov Ov /pv el morsmo de paso al cociente. Si B es un subanillo de valoracin de o Ov /pv entonces 1 (B) es un subanillo valoracin. o (d) Existe una correspondencia biun voca entre los subanillos de valoracin contenidos en Ov o y los subanillos de valoracin de Ov /pv . o 12. Sea Ov un anillo de valoracin discreta de C(x, y) trivial sobre C. o
1 y 1 (a) Demostrar que Ov contiene a C[x, y], o a C[ x , x ], o a C[ y , x ]. y

(b) Si Ov contiene a C[x, y] y pv C[x, y] = px es una curva, demostrar que Ov = C[x, y]x . (c) Si Ov contiene a C[x, y] y pv C[x, y] = mx es un ideal maximal, por ejemplo mx = (x, y), y demostrar que Ov contiene a C[x1 , y1 ] con x1 = x, y1 = x o x1 = x , y1 = y. y (d) Con las notaciones obvias a partir del apartado anterior. Supongamos que pv C[xn , yn ] es un ideal maximal para todo n N. Demostrar que existe un m N, de modo que v(xm ) (o v(ym )) es m nimo entre todos los v(xn ), v(yn ). Demostrar que Ov = lim Ov /(pi ) = C[[xm ]] v y que por tanto Ov /pv = C.
i

13. Sea Z Z con el orden lexicogrco. Fijemos q(x, y) C[x, y]. Consideremos la aplicacin a o v : C[x, y] {0} Z Z, denida por, v(p(x, y)) = (n, m), donde p(x, y) = q(x, y)n r(x, y) (r(x, y) no divisible por q(x, y)) y m es la multiplicidad de p(x, y) en un punto q de q(x, y), dado. Demostrar que v extiende a una valoracin de C(x, y). o 14. Sea un nmero irracional positivo. Demostrar que la aplicacin v : C[x, y] Z + Z, denida u o por v( cn,m xn y m ) = min{n + m|cn,m = 0} extiende a una valoracin de C(x, y). o 15. Sea un cuerpo. Un valor absoluto en es una aplicacin f : R+ satisfaciendo los o siguientes axiomas (a) f (x) = 0 si y slo si x = 0. o (b) f (xy) = f (x)f (y), para todo x, y . (c) f (x + y) C max{f (x), f (y)} para todo x, y y cierto C R+ .1 Prubese que existe una correspondencia biun e voca entre los valores absolutos con C = 1 (no arquimedianos) y las valoraciones de con valores en R. (Pista: Dado un valor absoluto f , o prubese que log(f ) es una valoracin.) e
1 En Bourbaki, Commutative Algebra, puede verse: Se verica que C 1. Si C 2 la condicin tercera, supuestas o las dos primeras, equivale a f (x + y) f (x) + f (y). Todo valor absoluto dene la topolog donde la base de entornos a de un punto x es {y | f (x y) < }, para + . Si identicamos dos valores absolutos si denen la misma topolog podremos suponer que C = 1 o C = 2 (tomando f , para cierto + ), denominado valor absoluto a, arquimediano. As puede verse que los valores absolutos de estn en correspondencia con el conjunto de n meros a u primos positivos junto con el valor absoluto arquimediano estndar de . El teorema de Gelfand-Mazur, dice que si a es una -extensin de cuerpos, y posee una norma compatible con la estructura de lgebra de , entonces es o o a . El teorema de Ostrowski dice que si f es un valor absoluto arquimediano, entonces es una subextensin densa de o o y f es equivalente al valor absoluto estndar. a

C R C

3.6.

Problemas

57

16. Sea C = C . Impongamos = , 01 = , 1 = 0; a + = + a = , para todo a C; a = a = , para todo a C. Sea K un cuerpo. Sea f : K C una aplicacin o tal que f (x + y) = f (x) + f (y), f (x y) = f (x) f (y), f (1) = 1 siempre que los trminos escritos tengan todos sentido. Demostrar que los x K tales que e f (x) = (es decir, valor nito) forman un subanillo de valoracin de K. 2 o 17. Prubese que el anillo local de k[x, y] en el origen es e ntegramente cerrado pero no es un anillo de valoracin. o 18. Sea O un anillo local ntegro. Probar que el cierre entero de O en su cuerpo de fracciones es la interseccin de los anillos de valoracin del cuerpo de fracciones que dominan a O. o o 19. Sea A un anillo noetheriano ntegro de dimensin 1. Sea A el cierre entero de A en su cuerpo de o fracciones. Dado a A no nulo, probar que lA (A/aA) lA (A/aA). Probar que A es un anillo noetheriano de dimensin 1. o 20. Sea O un anillo local noetheriano ntegro, el cuerpo de fracciones de O y m = (a1 , . . . , an ) su ideal maximal. Probar (a) Si Ov es un ideal de valoracin de que domina a O, para algn i, Ov contiene a o u a O[ a1 , . . . , an , ai ] = B. Adems, m B es un ideal principal propio de B. ai ai (b) Existe un anillo local noetheriano de dimensin 1, en , que domina a O. o (c) Existe un anillo de valoracin discreta en que domina a O. o (d) El cierre entero de O en su cuerpo de fracciones es la interseccin de los anillos de valoracin o o discreta que lo dominan. 21. Sea A un anillo ntegro y A el cierre entero de A en su cuerpo de fracciones. (a) Si 0 = I A es un ideal, denir inclusiones naturales, A HomA (I, I) A. = HomA (I, I). (b) Si 0 = I A es un ideal radical, probar que HomA (I, A) A 22. Sea A un anillo noetheriano ntegro y A el cierre entero de A en su cuerpo de fracciones. Sea Y Spec A el conjunto de los puntos x, tales que Ax no sea ntegramente cerrado en su cuerpo de fracciones. Sea I un ideal radical no nulo que se anule en todo Y . (a) Dada h =
h g

A, probar que (Anul(hA/(hA A)))0 = {x Spec A : h Ax } Y . /

(b) Probar que existe n N de modo que I n Anul(hA/(hA A). (c) Probar que si A = HomA (I, I) entonces A es ntegramente cerrado en su cuerpo de fracciones.

2 Sea K es el cuerpo de funciones meromorfas sobre una variedad anal tica compleja de dimensin 1. Entonces o f : K , g g(z0 ), siendo z0 un punto de la variedad, es un ejemplo del prrafo anterior. a

58

Cap tulo 3.

Anillos locales regulares

Cap tulo 4

Desingularizacin de curvas o
4.1 Introduccin o

En este cap tulo estudiaremos las singularidades de una curva. Probaremos que toda curva es birracional a una curva sin puntos singulares. Estudiaremos el proceso denominado de explosin que nos o permitir desingularizar las curvas. Deniremos la multiplicidad de una variedad en un punto. Cala cularemos la multiplicidad de interseccin de una curva y una hipersupercie en un punto. Veremos o que el nmero de ramas anal u ticas de una curva en un punto coincide con el nmero de puntos en los u que desingulariza la curva en el punto. Por ultimo, en el caso de una unica rama introduciremos el desarrollo en serie de Puiseux, que parametriza anal ticamente la curva. Fuera del estudio local de las variedades, probaremos el teorema de Bzout, que dice que dos curvas e planas proyectivas de grados n y m se cortan en n m puntos, contando grados y multiplicidades de interseccin. Probaremos tambin el lema de Max Noether, que nos permitir probar como ejercicios, o e a los teoremas de Pascal y Pappus.

4.2

Espectro proyectivo

En Geometr se dene el espacio proyectivo asociado a un espacio vectorial como el conjunto de a rectas (que pasan por el origen) del espacio vectorial. En Geometr Algebraica vamos a denir de a modo equivalente a partir de An = Spec C[x1 , . . . , xn ] el espacio proyectivo. Las unicas subvariedades V que queremos considerar en An son las variedades homogneas, es decir, las que contengan para e todo punto cerrado p V las rectas que pasan por p y el origen. As las subvariedades homogneas , e de dimensin menor sern las rectas que pasan por el origen, que se correspondern con los puntos o a a cerrados del espacio proyectivo que queremos asociarle a An . o e Si p(x1 , . . . , xn ) k[x1 , . . . , xn ] es una funcin que se anula en la variedad homognea V , escribamos p(x1 , . . . , xn ) = ps (x1 , . . . , xn ) + + pm (x1 , . . . , xn ) como suma de polinomios homogneos. e Tendremos que p(x1 , . . . , xn ) = s ps (x1 , . . . , xn ) + + m pm (x1 , . . . , xn ) = 0 en V Por tanto, pi (x1 , . . . , xn ) = 0 en V , para todo i. En conclusin, V = (I)0 , donde I es un ideal generado o por polinomios homogneos. Es fcil ver el rec e a proco, es decir, si V = (I)0 donde I es un ideal generado por polinomios homogneos, entonces para todo punto cerrado p = (1 , . . . , n ) V las rectas que e 59

60

Cap tulo 4.

Desingularizacin de curvas o

pasan por p y el origen estn contenidas en V . En particular, las subvariedades homogneas V An a e minimales son las rectas que pasan por el origen. Diremos que el espacio proyectivo Pn1 = Proj C[x1 , . . . , xn ] asociado a C[x1 , . . . , xn ] es el subconjunto de An de los ideales primos de C[x1 , . . . , xn ] generados por polinomios homogneos. Si e consideramos en Pn1 la topolog inducida por An , tendremos que los puntos cerrados de Pn1 se a corresponden con las variedades homogneas de An de dimensin ms pequea, que son justamente e o a n las rectas de An que pasan por el origen. h En Geometr Proyectiva se demuestra que Pn1 est recubierto por los subconjuntos Uxi = {rectas a a n de C = {(x1 , . . . , xn ) | xi C} que pasan por el origen y no yacen en el hiperplano xi = 0} y que stos se corresponden con los puntos del espacio af An1 , del modo siguiente: El morsmo e n An {xi = 0} An1 , (1 , . . . , n ) ( n 1 ,..., ) i i

tiene por bras las rectas que pasan por el origen y no yacen en el hiperplano xi = 0, es decir, induce la igualdad
h Uxi = {rectas (1 , . . . , n ) | i = 0}

An1

(1 , . . . , n ) 

/ ( 1 , . . . , n ) i i

h En Algebra Conmutativa, se prueba que Uxi = { x Proj C[x1 , . . . , xn ] que no yacen en (xi )0 } se identica con Proj C[x1 , . . . , xn ]xi ; y la composicin de los morsmos morsmo o h Uxi



/ An (xi )0 (1 , . . . , n )  C[x1 , . . . , xn ]xi o

/ An1 / ( 1 , . . . , n ) i i ? _ C[ x1 , . . . , xn ] x x
i i

h induce un homeomorsmo Uxi = Proj C[x1 , . . . , xn ]xi h Pn1 = Uxi .

Spec C[ x1 , . . . , xn ]. Adems se prueba que a xi xi

Procedamos con todo rigor y generalidad. Denicin 4.2.1. Diremos que un anillo R = Rn es un lgebra graduada si los Ri son subgrupos o a de R con la suma y si para cada ri Ri y rj Rj , entonces ri rj Ri+j Denicin 4.2.2. Sea R = Rn un lgebra graduada. Diremos que un ideal I R de un lgebra o a a
nZ nZ

graduada es homogneo si est generado por elementos homogneos, es decir, I = (ij )jJ con ij Rnj . e a e Ejercicio 4.2.3. Probar que un ideal I R es homogneo si cumple que si f = fs +fs+1 + +fn I e (fi elemento homogneo de grado i) entonces fi I para todo i. e Ejercicio 4.2.4. Probar que el conjunto de los elementos homogneos de un ideal primo es un ideal e primo homogneo. Probar que los ideales primos minimales de un anillo graduado son ideales primos e homogneos. e

4.2.

Espectro proyectivo

61

Llamaremos ideal irrelevante de R al ideal ( Rn ).

n=0

Denicin 4.2.5. Llamaremos espectro proyectivo de R, y lo denotaremos Proj R, al conjunto de o ideales primos homogneos que no contienen al ideal irrelevante. e Evidentemente Proj R Spec R. Consideraremos Proj R como espacio topolgico con la topolog o a inicial heredada de la topolog de Zariski de Spec R. Si denotamos (f )h a los ideales primos a 0 homogneos que contienen a f R y escribimos f = fn + fn+1 + fm , es obvio que (f )h = e 0 (fn , . . . , fm )h = (fn )h (fm )h . Por tanto, una base de abiertos de la topolog de Proj R son los a 0 0 0 abiertos
h Uf = {x Proj R, f px }, (f homogneo) / e

Si fm Rm es un elemento homogneo, entonces Rfm es una lgebra homognea, diciendo que el e a e gn grado de f r Rfm es n mr, para cada gn Rn .
m

a Denicin 4.2.6. Diremos que un morsmo de lgebras : R R graduadas es un morsmo o graduado de grado m N, si para cada fn Rn entonces (fn ) Rnm . Si : R R es un morsmo graduado entonces el morsmo inducido : Spec R Spec R, aplica ideales primos homogneos en ideales primos homogneos. Si suponemos que la imagen del e e ideal irrelevante por no est contenido en ms ideal primo homogneo que los que contengan al a a e irrelevante, tenemos denido un morsmo : Proj R Proj R, x (x), donde p(x) = 1 (px ) Ejemplo 4.2.7. Sea : k[x0 , x1 , x2 ] k[x0 , x1 , x2 ], (xi ) = ij xj , de modo que |ij | = 0. Se

cumple que es un isomorsmo graduado de grado 1, que induce un isomorsmo : P2 P2 . Diremos que es un cambio de coordenadas homogneo. e Proposicin 4.2.8. o 1. Se cumple que R Rfm es un morsmo de grado uno y
h Ufm = Proj Rfm

2. Si I es un ideal homogneo de R entonces R/I es es un lgebra graduada homognea, de modo e a e que el morsmo R R/I es un morsmo graduado de grado uno y Proj R/I = (I)h 0 Demostracin. Slo es observar que las igualdades equivalentes conocidas con los espectros restringe o o a los espectros proyectivos. Dada un lgebra graduada R denotaremos por R0 a la sublgebra de R formada por los elementos a a de grado cero de R. Por sencillez supondremos a partir de ahora que R = R0 [0 , . . . , n ], donde cada i es de grado 1. Teorema 4.2.9. Se verica 1. Proj R = (Proj R (i )h ). 0
i=0 n

62 2. (Proj R (i )h ) 0

Cap tulo 4.

Desingularizacin de curvas o es un homeomorsmo.

Spec R0 [ 0 , . . . , n ], donde i i
n n

h Demostracin. 1. Proj R = Ui , ya que (i )h = (0 , . . . , n )h = (pues (0 , . . . , n ) es el ideal o 0 0

irrelevante). n 2. Hemos sobreentendido que R0 [0 /i , . . . , n /i ] es el subanillo obvio de R0 [0 , . . . , n ]i = i

nZ

i=0

i=0

R0 [0 /i , . . . , n /i ]. La composicin de los dos morsmos naturales Proj R0 [0 , . . . , n ]i Spec R0 [0 , . . . , n ]i o Spec R0 [0 /i , . . . , n /i ], p (p R0 [0 /i , . . . , n /i ]), va a ser el homeomorsmo buscado. a Es obvio que todo primo homogneo p de R0 [0 , . . . , n ]i est determinado por sus elementos e homogneos de grado cero, es decir, por p R0 [0 /i , . . . , n /i ]. Es fcil comprobar que dado un ideal e a n primo q R0 [0 /i , . . . , n /i ] entonces q R0 [0 , . . . , n ]i = i q es un ideal primo homogneo de e R0 [0 , . . . , n ]i . Con lo que obtenemos una biyeccin o Proj R0 [0 , . . . , n ]i p

Spec R0 [0 /i , . . . , n /i ]

/ p R0 [0 /i , . . . , n /i ] q

q R0 [0 , . . . , n ]i o

n n A travs de esta identicacin (fn )h = (fn /i )h = (fn /i )0 en Spec R0 [0 /i , . . . , n /i ]. Es decir, e o 0 0 = es un homeomorsmo.

h Diremos que Ui es un abierto af de Proj R. n

Ejercicio 4.2.10. Consideremos Cn+1 {0}/ , donde (0 , . . . , n ) (0 , . . . , n ) si (0 , . . . , n ) = ( 0 , . . . , n ). Demostrar que la aplicacin Cn+1 {0}/ Proj C[x0 , . . . , xn ], (0 , . . . , n ) o (i xj j xi )ij es inyectiva de imagen los puntos cerrados de Proj C[x0 , . . . , xn ] = Pn (C). Ejercicio 4.2.11. 1. Demostrar que el epimorsmo C[x0 , x1 , x2 ] C[x0 , x1 , x2 ]/(x2 + x2 + x2 ) 2 1 0 dene una inmersin cerrada Proj C[x0 , x1 , x2 ]/(x2 + x2 + x2 ) P2 o 2 1 0 2. En cada uno de los abiertos anes de la curva proyectiva compleja plana Proj C[x0 , x1 , x2 ]/(x2 + 0 x2 + x2 ) complementario de los cerrados (xi )h , escribir las ecuaciones de la curva (deshomo1 2 0 geneizar). 3. Denir una curva proyectiva plana que en uno de los abiertos anes sea la curva plana af n y + x2 = 0. Corta la recta x = 0, a la curva y + x2 = 0, en algn punto del innito? u
h Ejercicio 4.2.12. Demostrar que R0 [ 0 , . . . , n ] R0 [0 , . . . , n ]/(i 1) y que por tanto, Ui i i h o e (i 1)0 . Probar que Ui (A1 {0}) = Ui . Dar una interpretacin geomtrica de estos resultados.

4.3.

Explosin en un punto y desingularizacin o o

63

4.3

Explosin en un punto y desingularizacin o o

Denicin 4.3.1. Sea A un anillo y p A un ideal. Se llama dilatado de A en p, o anillo de Rees o de A en p, al anillo graduado Dp A = A p p2 pn El morsmo natural Proj Dp A Spec A, q q A se denomina morsmo de explosin (o transforo macin cuadrtica cuando p sea maximal), centrada en (p)0 . o a Proposicin 4.3.2. Sea mx A un ideal maximal. El morsmo de explosin de Spec A en x o o : Proj Dmx A Spec A verica 1. 1 (Spec A x) = Spec A. 2. 1 (x) = Proj Gmx A. La bra de x es igual al espacio tangente en x de Spec A. Demostracin. 1. Consideremos el morsmo A A mx . Dado mx , tenemos que o 1 (U ) = Proj(A mx ) = Proj(A mx ) = Proj(A A ) = Proj A [t] = Spec A = U Ahora bien, como Spec A x = U obtenemos el punto 1. 2. Por ser x Spec A cerrado sabemos que 1 (x) = Proj [(A mx )/mx (A mx )] = Proj (A mx )/(mx m2 ) x = Proj(A/mx mx /m2 ) = Proj Gmx A x
mx

Observaciones: Dado y Spec A distinto de x, 1 (y) se corresponde con el punto de Proj Dmx A de ideal py (py mx ) (py m2 ) , pues ste es un ideal primo homogneo cuya imagen por e e x es y. Sea mx = (1 , . . . , n ). Dmx A = A mx . . . es una lgebra graduada generada por sus elementos a de grado uno. Es decir, tenemos la igualdad A[1 , . . . , n ] = A mx . . ., i (0, i , . . .). Dado n 1 n mx , hemos probado que Proj Dmx A ()h = Spec A[ , . . . , ]. Se cumple que A[ 1 , . . . , ] es 0
n isomorfo, con el isomorsmo obvio, al anillo A[ 1 , . . . , ], que es el subanillo obvio de A .

Ejercicio 4.3.3. Sea x An el origen. Probar que el morsmo de explosin de An en x o : Proj Dmx OAn An verica 1. 1 (An x) = An x.

64

Cap tulo 4.

Desingularizacin de curvas o

2. 1 (x) = Pn1 . La bra de x es igual a la proyectivizacin del cono tangente en x de An , que o coincide con el conjunto de direcciones en x. Dada una subvariedad C An se tiene un epimorsmo natural Dmx OAn Dmx OC , luego el cuadrado conmutativo i C = Proj Dmx OC Proj Dmx OAn = An C
i i

An

Probar que si C es una recta, que pasa por el origen, entonces C = C y i ( 1 (x)) se identica con la direccin denida por C. Probar que si n = 2 y C es la curva nodal y 2 x2 + x3 = 0, entonces o i ( 1 (x)) se identica con las dos direcciones denidas por las tangentes de C en x. Teorema 4.3.4. Sea A un anillo semilocal (i.e., con un nmero nito de puntos cerrados), noetheriu ano, ntegro, de dimensin 1. Sea mx un ideal maximal de modo que A/mx tenga innitos elementos. o Se verica Proj Dmx A = Spec A1 (anillo A1 que especicaremos). Demostracin. Escribamos mx = (1 , . . . , n ). Consideremos el isomorsmo graduado o Dmx A = A mx m2 x
def

A[1 , . . . , n ]  i

i o

h Sabemos que dado mx , Proj Dmx A()h = U = Spec A[1 /, . . . , n /] = Spec A[1 /, . . . , n /]. 0 h Para demostrar el teorema, basta encontrar mx tal que ()0 = , es decir no se anula en ningn u punto cerrado de Proj Dmx A. Por la proposicin anterior (y observaciones) buscamos mx de modo o que

1. no se anule en ningn punto cerrado de Proj Dmx A 1 (x) = Spec A x. Es decir, si u / denotamos por y1 , . . . , yr los puntos cerrados de Spec A distintos de x, buscamos mx myi para todo i. Geomtricamente, buscamos un parmetro que pase por x y no por los yi . e a 2. no se anule en ningn punto cerrado de 1 (x) = Proj Gmx A. Ahora bien, Gmx A es un anillo u que en el origen tiene la misma dimensin que A en x, que es 1. Por tanto, como los ideales o primos homogneos de Gmx A estn incluidos estrictamente en el ideal de funciones que se anulan e a en el origen (ideal irrelevante), son ideales minimales, luego un nmero nito. En conclusin, u o siguiendo las notaciones de las observaciones anteriores, si denotamos pxi = 0 pxi 1 pxi 2 / los ideales primos homogneos de Gmx A, buscamos mx de modo que pxi 1 mx /m2 . e x
=

Geomtricamente, buscamos un parmetro que pasa por x transversalmente. e a / o Sea e mx /m2 A/m2 tal que e pxi 1 para todo i (existe porque la unin de los subespacios x x propios pxi 1 no puede ser todo mx /m2 , ya que A/mx tiene innitos elementos). Consideremos ahora x el morsmo : A A/m2 A/my1 A/myn , a (, a, . . . , a) a x

4.3.

Explosin en un punto y desingularizacin o o

65

que es epimorsmo, como se comprueba localmente. Si mx es tal que () = (, 1, . . . , 1), entonces e es el parmetro buscado. a Observaciones: El anillo A1 = A[1 /, . . . , n /] del teorema no depende de la eleccin del o parmetro : Dado tal que ( )h = en Proj Dmx A, entonces ( /)0 = en Spec A[1 /, . . . , n /]. a 0 Luego / es invertible y A[1 / , . . . , n / ] A[1 /, . . . , n /] / = A[1 /, . . . , n /]. Por simetr a tenemos la inclusin A[1 /, . . . , n /] A[1 / , . . . , n / ] inversa, con lo que concluimos la igualdad. o El ideal mx A1 = (1 , . . . , n ) A[1 /, . . . , n /] = A1 . Denicin 4.3.5. El anillo A1 del teorema anterior se llama anillo de la transformacin cuadrtica. o o a o anillo de la explosin (en x). o Lema 4.3.6. Con las notaciones e hiptesis del teorema anterior, se verica que A = A1 el punto o cerrado x en el que estamos explotando es no singular. Demostracin. )mx = mx A1 , el cual es principal. o ) Proj conmuta con localizaciones. En el complementario de x, A y A1 son isomorfos. Localiceh mos en x, mx = (). Entonces Proj Dmx A = U = Spec A[/] = Spec A, luego A1 = A. Lema 4.3.7. Si Ov es un anillo de valoracin que contiene a A entonces A1 Ov . Por tanto, el o morsmo A A1 es nito. Demostracin. Escribamos mx = (1 , . . . , n ) y Dmx A = A[1 , . . . , n ]. Tenemos que Proj Dmx A = o Spec A[1 /i , . . . , n /i ]. Sea mx de modo que Proj Dmx A = Spec A[1 /, . . . , n /], es decir, A1 = A[1 /, . . . , n /]. Observemos que A[1 /i , . . . , n /i ]
/i invert. i

= A[1 /i , . . . , n /i ]/i = A[1 /, . . . , n /]i / = A1 i /

As pues, si Ov contiene a algn A[1 /i , . . . , n /i ] contiene a A1 . u a Sea j /i tal que v(j /i ) sea mxima para todo i, j. Entonces v(k /i ) 0 para todo k: Si v(k /i ) < 0 v(i /k ) > 0 v(j /i ) < v(j /i ) + v(i /k ) = v(j /i i /k ) = v(j /k ), lo que es contradictorio. Por tanto, A[1 /i , . . . , n /i ] Ov y A1 Ov . Como consecuencia, el morsmo A A1 es entero y como A1 = A[1 /, . . . , n /] el morsmo es nito. Teorema 4.3.8. Sea A un anillo semilocal, noetheriano, ntegro, de dimensin 1. Si el cierre entero o de A en su cuerpo de fracciones es un A-mdulo nito, entonces dicho cierre entero se alcanza por o un nmero nito de explosiones en puntos cerrados. u Demostracin. Sea x un punto singular de Spec A. Por el lema 4.3.6, sabemos que A est incluido o a estrictamente en A1 . Por el lema 4.3.7 sabemos que A1 est incluido en el cierre entero A de A en su a cuerpo de fracciones. As pues, tenemos A A1 A. Procediendo del mismo modo con A1 , tendremos A A1 A2 A. Como A es un A-mdulo o nito y A es noetheriano, este proceso es nito y terminar cuando An = A. a
= = =

66

Cap tulo 4.

Desingularizacin de curvas o

Denicin 4.3.9. La bra en el morsmo de explosin del punto por el que se explota se denomina o o bra excepcional. En las condiciones y notaciones del teorema anterior si consideramos la cadena Spec A = Spec An Spec An1 Spec A1 Spec A
n n1 1

a la cadena correspondiente de bras excepcionales es un orden nito arbolado que se conoce como a rbol de explosin de A. o

4.4

Multiplicidad de un punto singular

o Denicin 4.4.1. Se llama multiplicidad de un anillo local noetheriano Ox de dimensin r, al coo eciente de mayor grado de su polinomio de Samuel multiplicado por el factor r!. Lo denotaremos mx (Ox ). Ejemplo 4.4.2. Los anillos locales regulares son de multiplicidad 1: Si O es un anillo local regular de ideal maximal mx , sabemos que Gmx O = O/mx [x1 , . . . , xm ] y el polinomio de Samuel es SO (n) = n+m1 1 1 = m! nm + . . .. Por tanto, mx (O) = m! m! = 1. m Proposicin 4.4.3. Sea I A un ideal y f I r I r+1 . Denotemos por fr = f I r /I r+1 GI A. o Si fr es no divisor de cero en GI A entonces 1. (f ) I n = f I nr . 2. GI (A/(f )) = (GI A)/(fr ), donde I es el ideal I en A/(f ). Demostracin. 1. Es claro que f I nr (f ) I n . Probemos la inclusin inversa. Si h (f ) I n , o o entonces h = f g, con g A. Sea s N mximo con la condicin de que g I s I s+1 . Tenemos que ver a o que s nr. Escribamos 0 = gs = g I s /I s+1 . Entonces, por las hiptesis, 0 = fr gs I r+s /I r+s+1 , o luego h = f g I r+s+1 . Por tanto, r + s + 1 < n, es decir, s n r. / 2. Del diagrama conmutativo 0 / (f ) I n /(f ) I n+1
n

/ I n /I n+1 n nn7 nnn n f (1.) nnn nnn fr I nr /I nr+1

n

/ I n /I n+1
n

/0

obtenemos que GI (A/(f )) = (GI A)/(fr ). Ejemplo 4.4.4. Sea X es una hipersupercie de Am denida por un polinomio p(x1 , . . . , xm ) = pr (x1 , . . . , xm ) + + ps (x1 , . . . , xm ) que escribimos como suma de polinomios homogneos. Por la e proposicin anterior, la sucesin o o 0 Gm0 k[x1 , . . . , xm ]
pr (x1 ,...,xm )

Gm0 k[x1 , . . . , xm ] Gm0 OX 0

es exacta. Por tanto, el polinomio de Samuel de X en el origen 0 es SOX,0 (n) = m+n1 m+n1r m m = r nm1 + (m 1)!

4.4.

Multiplicidad de un punto singular

67

Luego la multiplicidad de X en el origen es igual r. En el caso particular de que X sea una curva plana entonces SOX,0 (n) = r n r(r 1) 2

siendo r la multiplicidad de X en el origen. Supongamos ahora que Ox es un anillo local noetheriano de multiplicidad mx (Ox ). Sea f Ox tal que f mr mr+1 y fr = f mr /mr+1 no sea un divisor de cero en Gmx Ox . Se cumple que x x x x mx (Ox /(f )) = r mx (Ox ): Consideremos la sucesin exacta o 0 Gmx Ox Gmx Ox Gmx (Ox /(f ) 0 Por tanto, SOx /(f ) (n) = SOx (n) SOx (n r) y un sencillo clculo demuestra lo requerido. a Lema 4.4.5 (de estabilidad del ideal). Sean A, mx , A1 como en el teorema 4.3.4, y A A1 el morsmo de explosin. Para todo s >> 0 se verica ms = ms A1 . o x x Demostracin. Sea mx = (1 , . . . , n ) y mx tal que A1 = A[1 /, . . . , n /]. Un sistema generador o 1 n n de A1 como A-mdulo lo forman los elementos de la forma 11 ++n . Como A1 es un A-mdulo o o
,..., nito, para un s >> 0 tendremos que A1 = { ps (1s n ) : ps polinomios homogneos de grado s}. e Observando que mx A1 = A1 , tendremos que ms A1 = s A1 ms . x x fr

Observacin: Si A es el anillo local de una curva plana en un punto racional, puede tomarse s o igual a la multiplicidad de A menos uno (vase). e Si A es una k-lgebra de tipo nito sobre un cuerpo algebraicamente cerrado y M es un A-mdulo a o de longitud nita, se verica que lA (M ) = dimk M porque toda cadena irrenable de A-submdulos o de M tiene como factores A-mdulos simples, que son isomorfos a A/m, siendo m un ideal maximal, o y A/m k. Notacin 4.4.6. A partir de ahora los anillos considerados sern siempre k-lgebras de tipo nitos o a a sobre un cuerpo algebraicamente cerrado. Sea A B un morsmo nito de anillos. Sea : Spec B Spec A el morsmo inducido en los espectros. Dado un punto x Spec A, 1 (x) = Spec B/mx B es un nmero nito de puntos cerrados, u digamos {y1 , . . . , yn }. Diremos que lA (B/mx )B es el nmero de puntos de la bra de x, contando u multiplicidades. Sabemos que B/mx B = (B/mx B)yi . Se dice que yi aparece con multiplicidad mi en 1 (x) si lB ((B/mx B)yi ) = mi . Observemos que dimk (B/mx B) =
i i

dimk ((B/mx B)yi ) =

i

mi

Teorema 4.4.7. Sean A, mx y A1 como en el teorema 4.3.4. El coeciente de grado uno del polinomio de Samuel de A, es decir, la multiplicidad de A en x es igual al nmero de puntos de la bra excepcional u (contando multiplicidades). El coeciente de grado cero del polinomio de Samuel de A es igual a lA (A1 /A). o Demostracin. Por el lema de estabilidad para n >> 0 se tiene la sucesin exacta o 0 A/mn A1 /mn A1 A1 /A 0 x x Tomando longitudes tenemos SAx (n) = lA (A1 /mn A1 ) lA (A1 /A) = lA (A1 /mx A1 )n lA (A1 /A), x porque mx A1 es principal. Por tanto, mx (A) = lA (A1 /mx A1 ) y SAx (0) = lA (A1 /A).

68

Cap tulo 4.

Desingularizacin de curvas o

Corolario 4.4.8. Sea A como en el teorema 4.3.4. Sea A su cierre entero en su cuerpo de fracciones. la cadena de las sucesivas explosiones; digamos que Ai+1 es la explosin Sea A A1 An = A, o de Ai en yi . Se cumple lA (A/A) =
yi rb.expl. a

SAi,yi (0)

Demostracin. lA (A/A) es el nmero de eslabones de las series de composicin de A-mdulo que o u o o comienzan en A y terminan en A. Si consideramos la sucesin A A1 An = A, tendremos o que lA (A/A) = lA (Ai+1 /Ai ). Ahora ya,
i

lA (A/A) =
i

dimk (Ai+1 /Ai ) =

i

dimk (Ai+1 /Ai ) =

yrb.expl. a

SAi,yi (0)

donde la ultima igualdad es consecuencia de la proposicin anterior. o Corolario 4.4.9. Si A es el anillo local de una curva plana sobre un, entonces lA (A/A) =
yrb.expl. a

my (my 1) 2

donde denotamos por my la multiplicidad del punto y. Demostracin. Los anillos locales de los puntos del rbol de explosin de A son anillos locales de o a o curvas planas. Ahora ya, se concluye por el teorema y corolario anterior, y el clculo del ejemplo a anterior. En conclusin, el nmero de puntos, contando multiplicidades, que aparece en la bra de un punto o u de una curva plana sobre un cuerpo algebraicamente cerrado, en el morsmo de desingularizacin, es o my (my 1) 1+ . 2
yrb.expl. a

4.5

Multiplicidad de interseccin de una curva con una hipero supercie

ntegros, tal que B/A es un A-mdulo de longitud o Lema 4.5.1. Sea A B un morsmo de anillos nita. Si a A es tal que A/aA y B/aB son A-mdulos de longitud nita entonces lA (A/aA) = o lA (B/aB).
a b Demostracin. Empecemos observando que el morsmo B/A aB/aA, ab, es un isomorsmo. o Por tanto, lA (aB/aA) = lA (B/A). Si consideramos el cuadrado conmutativo  / A aA_  _

  aB

 /B

4.5.

Multiplicidad de interseccin o

69

tendremos que lA (aB/aA) + lA (B/aB) = lA (B/aA) = lA (B/A) + lA (A/aA), y por lo tanto que lA (A/aA) = lA (B/aB). Denicin 4.5.2. Si X es una curva de un espacio af Am y H p(x1 , . . . , xm ) = 0 una hipersupero n cie que no pasa por ninguna componente de X, entonces X H es un nmero nito de puntos. Se llama u multiplicidad de interseccin de X con H en un punto x de X al nmero (X H)x = lOXH,x (OXH,x ) o u (que coincide con el polinomio de Samuel de OXH,x ). dimk OXH . Tenemos (C H) = dimk OXH =
xi CH def

Llamaremos nmero de puntos de corte de C con H, contando multiplicidades al nmero (CH) = u u

def

dimk OCH,xi =
xi CH

(C H)xi

Teorema 4.5.3. Sea C una curva y H una hipersupercie de un espacio af An , sobre un cuerpo n algebraicamente cerrado. La multiplicidad de interseccin de C y H en un punto x es el producto de o las multiplicidades de C y H en x ms las multiplicidades de interseccin en los puntos de la bra a o excepcional de las explosiones de C y H. Demostracin. Consideremos el diagrama de las variedades explotadas en x o C An H

C An H a Supongamos que x es el origen. Sea un parmetro transversal a C en x. Sabemos que C h n y si H p = pr + +pn = 0 (con pi polinomios homogneos de Spec OAn [x1 /, . . . , xn /] = U A e U h es p = p/ r = pr (x1 /, . . . , xn /) + + sr ps (x1 /, . . . , xn /) = 0. grado i) la ecuacin de H o Si denotamos por O1 al anillo de la explosin de OC,x en x, tenemos o (C H)x = l(OC,x /(p)) = l(O1 /(p)) = l(O1 /( r p ))
4.5.1

= r l(O1 /()) + l(O1 /p ) = mx (H) mx (C) +

4.4.6 yciclo.exc.
= 1 (x)

(C H)y

Corolario 4.5.4. La multiplicidad de interseccin, de una curva con una hipersupercie en un punto, o es mayor o igual que el producto de sus multiplicidades en dicho punto, siendo igual precisamente si sus espacios tangentes no tienen parte comn en dicho punto. En este caso, se dice que se cortan u transversalmente y, en el otro, que son tangentes en el punto. Demostracin. Sigamos las notaciones de la demostracin anterior. Consideramos los morsmos o o Tx C = Proj Gmx OC,x
|| Proj k[1 ,...,n ] || 1 (x)=Proj k[x1 ,...,xn ]

Tx An

|| Proj k[x1 ,...,xn ]/(pr )

Tx H

70

Cap tulo 4.

Desingularizacin de curvas o

Tenemos por la frmula nal de la demostracin anterior que la multiplicidad de interseccin, de una o o o curva con una hipersupercie en un punto es igual al producto de sus multiplicidades en dicho punto si y slo si o (C H)y = 0, que equivale a que Tx C Tx H es vac En caso contrario, la mulo.
yciclo.exc.
= 1 (x)

tiplicidad de interseccin, de una curva con una hipersupercie en un punto, es mayor estrictamente o que el producto de sus multiplicidades en dicho punto. Corolario 4.5.5. La multiplicidad de una curva en un punto es igual a la multiplicidad de interseccin o de la curva explotada con el ciclo excepcional. La multiplicidad de una curva en un punto es mayor o igual que la suma de las multiplicidades de los puntos de la bra excepcional de la curva explotada, y es igual si y slo si el ciclo excepcional es transversal a la curva explotada en todos los puntos de o corte. Demostracin. Sea A el anillo local de la curva en el punto dado, digamos x. Sea A1 el anillo de o la explosin de la curva. Sea un parmetro regular transversal a la curva en el punto. Tenemos o a que A/() es el anillo de la interseccin de la curva con la hipersupercie = 0, y su longitud es o justamente la multiplicidad de la curva. A1 /() es el anillo de la interseccin de la curva explotada o con el ciclo excepcional. Ahora ya, como l(A/()) = l(A1 /()), concluimos.

4.6

Teoremas de Bzout y Max Noether e

Si C es una curva proyectiva del espacio proyectivo Pn (k) y H es una hipersupercie que no pasa por ninguna componente de C, entonces C H es un nmero nito de puntos. Existe, por tanto, u un hiperplano H que no pasa por esos puntos. As pues, C H est incluido en el espacio af a n, An = Pn H . Deshomogeneizando tenemos que C H = Spec A. Diremos que el nmero de puntos u u u de corte de C con H, que denotaremos (C H), es el nmero dimk A. Nmero que no depende de la eleccin de H y es estable por cambios de cuerpo base. o Teorema 4.6.1 (de Bzout). El nmero de puntos de corte, contando multiplicidades y grados, de e u dos curvas proyectivas planas, sin componentes comunes, de grados r, r es r r . Demostracin. Podemos suponer que el cuerpo es algebraicamente cerrado. Podemos suponer que o el hiperplano del innito x0 = 0 no pasa por ninguno de los puntos de la interseccin de las curvas, o llammoslas C, C . e Escribamos C = Proj k[x0 , x1 , x2 ]/(pr (x0 , x1 , x2 )), C = Proj k[x0 , x1 , x2 ]/(pr (x0 , x1 , x2 )). Sea ,x 0 p(x, y) = pr (x0xr 1 ,x2 ) y p (x, y) = pr (xx,x1 ,x2 ) . Tenemos que probar que dimk k[x, y]/(p(x, y), p (x, y)) = r
0

rr . Denotemos S = k[x0 , x1 , x2 ]/(pr , pr ). Sabemos que (0 )0 = {(0 , x1 , x2 )} en Spec S. Por tanto, x x x x existe un m >> 0 de modo que (0 , x1 , x2 )m (0 ). El ideal I de funciones de S que son anuladas por x0 , es un ideal homogneo, digamos que generado por los elementos de grado menor o igual que e m . Por tanto, Im+m = (0 , x1 , x2 )m Im x0 I = 0. Sea n m + m , ahora ya x k[x, y]/(p(x, y), p (x, y)) = [Sx0 ]0 =
i

Si Sn = n i x0 x0

Sn

y obtenemos que dimk k[x, y]/(p(x, y), p (x, y)) = dimk Sn .

4.6.

Teoremas de Bzout y Max Noether e

71

Denotemos A = k[x0 , x1 , x2 ]. La sucesin o 0 /A q / AA / (pr q, pr q) (q, q )  / pr q + pr q /A / k[x0 , x1 , x2 ]/(pr , pr ) q /0 /q

es exacta. Si denotamos A[n] por el anillo k[x0 , x1 , x2 ], pero donde decimos que un polinomio homogneo de grado m, pm (x0 , x1 , x2 ) tiene grado m + n, entonces podemos escribir la anterior e sucesin exacta como la siguiente sucesin (la misma salvo la nueva convencin en los grados), de o o o modo que los morsmos aplican elementos de grado m en elementos de grado m: 0 A[r r ] A[r] A[r ] A k[x0 , x1 , x2 ]/(pr , pr ) 0 Grado a grado la sucesin es exacta. Por tanto, o m+2 m+2rr + 2 2 m+2r m+2r 2 2

dimk (k[x0 , x1 , x2 ]/(pr , pr ))m ) = para m r + r .

= rr

Ahora vamos a demostrar el teorema de Max Noether, con el que se podrn resolver mltiples a u problemas geomtricos, como los teoremas de Pascal y Pappus. e Dado un ideal homogneo (pn (x0 , x1 , x2 )) k[x0 , x1 , x2 ] y un punto x P2 (xi )h denotaremos e 0 [pn (x0 , x1 , x2 )]x = (pn (x0 /xi , x1 /xi , x2 /xi ))x k[x0 /xi , x1 /xi , x2 /xi ]x . Puede comprobarse que si x P2 (xj )h , entonces k[x0 /xi , x1 /xi , x2 /xi ]x = k[x0 /xj , x1 /xj , x2 /xj ]x y (pn (x0 /xi , x1 /xi , x2 /xi ))x = 0 (pn (x0 /xj , x1 /xj , x2 /xj ))x . Teorema 4.6.2 (Max Noether). Sean pi k[x0 , x1 , x2 ] polinomios homogneos (i = 1, 2, 3). Cone sideremos las curvas proyectivas planas Ci pi = 0. Supongamos que C1 , C2 no tienen componentes comunes. Existe una ecuacin o p3 = a p1 + b p2 con a, b polinomios homogneos de grados gr a = gr p3 gr p1 , gr b = gr p3 gr p2 , si y slo si para e o todo x C1 C2 se verica que [p3 ]x [p1 ]x + [p2 ]x . Demostracin. Es obvio que si p3 = a p1 + b p2 entonces [p3 ]x [p1 ]x + [p2 ]x . Veamos con el o rec proco. Por cambio homogneo de coordenadas, podemos suponer que x0 = 0 no pasa por ningn punto e u de C1 C2 , es decir, p1 (0, x1 , x2 ) es primo con p2 (0, x1 , x2 ). Sabemos que p3 p1 p2 = a n1 + b n2 xn3 x0 x0 0 Tenemos homogeneizando que xr p3 = a p1 + b p2 . Sea r m nimo en las igualdades de esta forma. 0 Si r > 0, entonces 0 = a (0, x1 , x2 )p1 (0, x1 , x2 ) + b (0, x1 , x2 )p2 (0, x1 , x2 ). Por tanto, a (0, x1 , x2 ) = h p2 (0, x1 , x2 ) y b (0, x1 , x2 ) = h p1 (0, x1 , x2 ). Luego a = a h p2 , b = b h p1 son divisibles
Not.

72

Cap tulo 4.

Desingularizacin de curvas o

por x0 y xr p3 = a p1 + b p2 . Dividiendo en esta igualdad por x0 llegamos a contradiccin, porque o 0 r 1 < r. En conclusin, o p3 = a p1 + b p2 En cuanto a los grados de a y b es fcil demostrar que se puede suponer que cumplen lo requerido. a

Proposicin 4.6.3. Sean Ci curvas proyectivas planas denidas por polinomios homogneos pi o e k[x0 , x1 , x2 ] (i = 1, 2, 3). Supongamos que C1 , C2 no tienen componentes comunes. Supongamos el cuerpo base k es algebraicamente cerrado. C3 verica las condiciones de Noether en un punto cerrado x C1 C2 , es decir, [p3 ]x [p1 ]x + [p2 ]x si 1) C1 y C2 son simples en x, se cortan transversalmente en x y x C3 . 2) El punto x es un punto simple de C1 y (C1 C3 )x (C1 C2 )x (es decir, la multiplicidad de interseccin de C3 con C1 en x es mayor o igual que la multiplicidad de interseccin de C2 con C1 o o en x). 3) C1 y C2 poseen tangentes distintas y mx (C3 ) mx (C1 ) + mx (C2 ) 1. Demostracin. Como la proposicin es local, podemos suponer que las curvas Ci son curvas planas o o anes de ecuaciones pi (x, y) = 0. 1) Por las hiptesis (k[x, y]/(p1 , p2 ))x = k. Por tanto, si denotamos mx el ideal maximal de las o funciones que se anulan en x, tenemos que mx = (p1 , p2 )x , luego (p3 )x (p1 , p2 )x . a 2) Si x es un punto simple de C1 , entonces mx = (t) en (k[x, y]/(p1 (x, y)))x . Adems, (pi (x, y)) = (t(Ci C1 )x ). Por tanto, (p3 (x, y)) (p2 (x, y)), luego (p3 )x (p1 , p2 )x . 3) Vamos a usar del lema de estabilidad para curvas planas, que dice si OC1 ,x OC1 ,x es el mx (C1 )1 mx (C1 )1 OC ,x = mx morsmo de explosin en el punto x entonces mx o
1

Por otra parte, si es un parmetro transversal a C1 en x, por el que explotamos, tenemos que a p2 (x, y) OC1 ,x = p (x/, y/) mx (C2 ) OC1 ,x = mx (C2 ) OC1 ,x porque C1 y C2 no tienen tangentes C ,x = mmx (C2 ) OC ,x . comunes en x. Por tanto, p2 (x, y) O 1 x 1 Con todo,
m p3 (x, y) mmx (C3 ) mx x (C1 )+mx (C2 )1 = mmx (C2 ) mmx (C1 )1 x x x mx (C2 ) mx (C1 )1 mx (C1 )1 = mx mx OC ,x = p2 (x, y) mx OC
1

1 ,x

= p2 (x, y)

mmx (C1 )1 x

p2 (x, y)OC1 ,x

por lo que (p3 )x (p1 , p2 )x k[x, y].

4.7

Ramas anal ticas

Sea O un anillo noetheriano ntegro local de dimensin 1, de modo que el cierre entero en su cuerpo o o de fracciones sea un O-mdulo nito. Denotemos mx su ideal maximal. Denicin 4.7.1. Se llaman ramas anal o ticas de O en x a los ideales primos minimales del completado O de O para la topolog mx -dica. a a

4.8.

Puntos cuspidales y contacto maximal

73

Teorema 4.7.2. Sea O el cierre entero de O en su cuerpo de fracciones . Denotemos por y1 , . . . , ys los puntos cerrados de Spec O. Se verica que O O O = ( lim (Oyi /mni )) y
i=1 n s

Por tanto, existe una correspondencia biun voca entre el espectro minimal de O = O O O y el espectro maximal de O. Demostracin. Se tiene que o x x O = lim O/mn = lim ( (O/mn )yi ) = ( lim (Oyi /mn Oyi )) x = ( lim (Oyi /mni )) y
i=1 n n s n i=1 i=1 n s s

donde la ultima igualdad se debe a que para s >> 0 ms mx Oyi . y Ahora bien, Oyi es un anillo local regular de dimensin 1, luego lim (Oyi /mni ) tambin. Por tanto, o e y este ultimo, tiene un slo ideal primo maximal y un slo ideal primo minimal. Hemos concluido. o o Considerese la sucesin exacta 0 O O C 0. Completando se obtiene 0 O O o C 0. Se verica que C = C ya que C es un O-mdulo nito de soporte x. En particular, si py es un o ideal primo m nimo de O, entonces Cy = 0, luego Oy = Oy . Teorema 4.7.3. Hay una correspondencia biun voca entre las ramas anal ticas y valoraciones de que dominan a O, esto es, entre el espectro minimal de O y el maximal de O. Demostracin. Si py es un ideal primo minimal de O, la bra de y por el morsmo Spec O Spec O es o o el espectro de Oy /py Oy = Oy /py Oy por el comentario anterior. Luego, la bra de y es un slo punto que habr de ser minimal. Por tanto, el espectro minimal de O est en correspondencia biun a a voca Por el teorema anterior, se sigue que hay una correspondencia entre el con el espectro minimal de O. espectro minimal de O y el maximal de O. Ejemplo 4.7.4. Sea C una curva plana p(x, y) = 0 y x el origen. Se tiene que OC,x = k[x, y]/(p) y OC,x = k[[x, y]]/(p). Se sabe que k[[x, y]] es un anillo de factorizacin unica (como todo anillo local regular). Por tanto, o p descompone en producto de series irreducibles p = f1 fr , diferentes entre s porque O no tiene nilpotentes porque O, que es producto de anillos regulares, no los tiene. As pues, las ramas anal ticas pueden ser interpretadas como las series en las que p factoriza.
n

4.8

Puntos cuspidales y contacto maximal

Denicin 4.8.1. Un punto de una curva se llama cuspidal si el cierre entero O del anillo local O o de la curva en el punto es un anillo local.

74

Cap tulo 4.

Desingularizacin de curvas o

Teorema 4.8.2. Sea C una curva plana sobre un cuerpo algebraicamente cerrado y x C un punto cuspidal. Existe un nmero natural cx > 0, llamado contacto maximal con la curva C en la cspide u u x, con las siguientes propiedades: 1. La multiplicidad de interseccin en x de la curva con otra curva regular en x, no excede al o contacto maximal, i.e., (C C )x cx . 2. La igualdad se verica si y slo si (C C )x no es mltiplo de la multiplicidad r de la curva en o u x. Demostracin. Como el anillo de la explosin O1 es local, y la multiplicidad de O en x es la multio o plicidad de interseccin de la bra excepcional con O1 , tenemos que la multiplicidad de O es mayor o estrictamente que la de O1 si y slo si la bra excepcional es tangente a la explosin de la curva (en o o x). As pues, si On es el primer anillo de la cadena de dilataciones, cuya multiplicidad r es menor estrictamente que la de O, se tienen dos posibilidades: 1. Para algn i n, las explosiones i-esimas Ci y Ci de C y C no se cortan. En este caso, u (C C )x = l r, siendo l el primero de tales ndices. 2. En otro caso, (C C )x = n r + (Cn Cn )x . Ahora bien, Cn es tangente a la bra excepcional, pues la multiplicidad ha descendido. Por otra parte, Cn no puede ser tangente a la bra excepcional, pues Cn1 es regular (porque C es regular) y la multiplicidad no puede descender al explotar. En conclusin, Cn y Cn son transversales y (C C )x = n r + r . o Por ultimo, sea C aquella curva que al explotar n-veces es una curva Cn regular en el punto considerado y corta transversalmente a Cn (existe). Tenemos que C es regular en x: la explosin de Cn1 , Cn es transversal a la bra excepcional, o pues lo es a Cn , luego Cn1 es regular. Por otra parte, Ci , para i n 1 es tangente a Ci , luego transversales a las bras excepcionales correspondientes. Por tanto, Ci es regular. Adems (C C )x = n r + r . a Con todo, n r + r es el contacto maximal y verica las propiedades exigidas. Sea O el anillo local de una curva en un punto cuspidal de multiplicidad m. Supongamos que el cuerpo base es algebraicamente cerrado de caracter stica cero. es local entonces O = k[[t]], siendo t un parmetro de O. Si f m m2 es transversal Como O a entonces m = l(O/(f )) = l(O/(f )) = l(O/(f )). Por tanto, f = tm , siendo una serie formal invertible. Por las hiptesis hechas sobre el cuerpo tiene ra n-sima en O = k[[t]]. Si denimos o z e t = t se verica que O = k[[t]] y f tn . As pues, todo elemento de O (y por tanto de O) admite = = n f conocido como desarrollo de Puiseux de dicho elemento. un desarrollo en serie formal en t En particular, si O = k[1 , . . . , xn ], donde x1 = 0 es transversal a Spec O, cada xi admite un x desarrollo de Puiseux xi = aj ( n x1 )j , con aj k.
j0

4.8.1

Desingularizacin de curvas planas v el contacto maximal o a

Para demostrar que las curvas desingularizan mediante un nmero nito de explosiones, el argumento u principal ha sido la nitud del cierre entero. En este apartado vamos a demostrar, dada una curva plana, la existencia de curvas de contacto maximal. Es decir, dada una curva y un punto de ella,

4.8.

Puntos cuspidales y contacto maximal

75

existe una curva regular, que pasa por el punto, con multiplicidad de corte con la curva dada, en el punto dado, mxima. Esta curva, vericar que pasa por el punto y los puntos de las sucesivas bras a a excepcionales siempre que no bajen de multiplicidad. Como la multiplicidad de corte de dos curvas es nita (siempre que no tengan componentes comunes) obtendremos que la multiplicidad de una curva en un punto habr de bajar despus de un nmero nito de explosiones. As podremos demostrar la a e u desingularizacin de las curvas planas por un nmero nito de explosiones. o u La razn fundamental de la introduccin de este apartado es que las tcnicas e ideas aqu desaro o e rolladas para la desingularizacin de curvas planas sern bsicamente las que utilizaremos ms tarde o a a a para la desingularizacin de supercies. o En este apartado supondremos que k es un cuerpo algebraicamente cerrado de caracter stica cero. Lema 4.8.3. Sea p(x, y) = 0 una curva de multiplicidad m en un punto p y sea D : k[x, y] k[x, y] una derivacin. Entonces la curva Dp(x, y) = 0 tiene multiplicidad mayor o igual que m 1. o Demostracin. Denotemos C p(x, y) = 0, mp (C) = m si y slo si p(x, y) mm mm+1 . Por tanto, o o p p p(x, y) = fi1 fim , con fij mp . As pues, Dp(x, y) = fi1 Dfij fim mm1 . Con lo que p concluimos. Observacin 4.8.4. El lema sigue siendo cierto para operadores diferenciales de orden 1, es decir, para o D = h + D0 , D(p) = h p + D0 p (con h k[x, y] y D0 derivacin). o
def

Lema 4.8.5. Con las notaciones anteriores, existe una derivacin D, tal que Dp(x, y) = 0 tiene o multiplicidad m 1 en p. Demostracin. Podemos suponer que p es el origen de coordenadas, es decir, mp = (x, y). Escribamos o p(x, y) como suma de polinomios homogneos e
m

p(x, y) = pm (x, y) + pm+1 (x, y) + + pn (x, y)

pm (x, y) =
r=0

r xr y mr

Como m 1, en la expresin de pm (x, y), parece x o y. Supongamos que aparece y, es decir, r = 0 o para algn r = m. Entonces u p(x, y) = (m r)r xr y mr1 +monomios de grado mayor o y r=0 igual que m Como
m r=0 m

(m r)r xr y mr1 = 0, concluimos que Dp(x, y) = 0 tiene multiplicidad m 1.

Denotemos A = k[x, y]. Sabemos que la explosin de A2 = Spec A en el origen, est recubierto o a por los abiertos anes Spec A[ x , y ], con t = x, y. Denotemos A = A[ x , y ]. t t t t Lema 4.8.6 (fundamental). Sea D : A A un operador diferencial de orden 1. Existe un operador diferencial de orden 1 D : A A tal que para todo P A (de multiplicidad m en el origen) se verica DP P = D( m ) tm1 t La transformada propia de la derivada es la derivada de la transformada propia.

76

Cap tulo 4.

Desingularizacin de curvas o

Demostracin. Todo operador diferencial de orden 1 es la suma de una homotecia y una derivacin. o o Basta demostrar el lema para cuando D sea una homotecia y para cuando sea una derivacin. o 1. Sea D = h una homotecia, i.e., DP = h P . Tomando D = t h se cumple la igualdad requerida. 2. Sea D una derivacin. Tenemos que o DP P P P = (tD)( m ) + (mDt)( m ) = D( m ) m1 t t t t donde D = m Dt + tD. Observemos que D es un operador diferencial de orden 1 porque m Dt es una homotecia y tD es una derivacin de At que deja estable a A, pues D( x ) = Dx x Dt y o t t y ) = Dy y Dt. D( t t

Observacin 4.8.7. La frmula del lema fundamental demuestra, directamente, para curvas planas, o o que la multiplicidad no aumenta despus de una explosin: Si C es de multiplicidad 1 en p, entonces e o la curva explotada es isomorfa a C y no hay nada que decir. Si C P = 0 es de multiplicidad m > 1, podemos suponer que DP es de multiplicidad m 1, luego por induccin sobre la multiplicidad, o podemos suponer que DP/tm1 es de multiplicidad menor o igual que m 1 (en los puntos de la bra excepcional). Por tanto, D(P/tm ) es de multiplicidad menor o igual que m 1 (en los puntos de la bra excepcional). Por los lemas anteriores, P/tm es de multiplicidad menor o igual que m (en los puntos de la bra excepcional). Denicin 4.8.8. Sea p C y Cr . . C una sucesin de transformaciones cuadrticas. Los o . o a puntos de 1 (p) se les llamar puntos de la curva C innitamente prximos a p. a o Teorema 4.8.9 (de existencia de curvas de contacto maximal). Sea p un punto de multiplicidad m de una curva plana C. Existe una curva plana C regular en p que pasa (sus transformadas propias) por todos los puntos de C innitesimalmente prximos a p de multiplicidad m. o Demostracin. Vamos a proceder por induccin sobre la multiplicidad m de C P = 0 en p. o o Si m = 1 la propia C es una curva de contacto maximal. Supongamos que m > 1. Consideremos un operador diferencial D de orden 1 tal que DP = 0 tenga multiplicidad m 1 en p. Por el lema fundamental todo punto de C innitamente prximo a p o de multiplicidad m es un punto de C DP = 0 innitamente prximo a p de multiplicidad m 1: o Sigamos las notaciones del lema fundamental. La explosin de C P = 0 en p tiene de ecuaciones o P/tm = 0, la explosin de C DP = 0 en p tiene de ecuaciones DP/tm1 = D(P/tm ) = 0. Por o tanto, si un punto de la explosin de C P = 0 en p tiene multiplicidad m, ste ser un punto de o e a la explosin de C DP = 0 en p de multiplicidad mayor o igual m 1. Como la multiplicidad no o aumenta despus de una explosin, tendremos que si un punto de la explosin de C P = 0 en p e o o e a o tiene multiplicidad m, ste ser un punto de la explosin de C DP = 0 en p de multiplicidad m 1. Argumentando del mismo modo con las curvas explotadas P/tm = 0 y DP/tm1 = D(P/tm ) = 0 concluimos. Por hiptesis de induccin, existe una curva C regular en p que pasa (sus transformadas propias) o o por todos los puntos innitamente prximos a p C DP = 0 de multiplicidad m 1. Por tanto, o C pasa (sus transformadas propias) por todos los puntos de C innitesimalmente prximos a p de o multiplicidad m.

4.9.

Problemas

77

En caso de una rama anal tica sabemos, por la subseccin anterior, que la curva del teorema es la o curva de mxima multiplicidad de interseccin. a o Corolario 4.8.10. Toda curva plana reducida desingulariza mediante un nmero nito de transforu maciones cuadrticas. a Demostracin. Escribamos la ecuacin de la curva 0 = p1 pr (con pi irreducibles y pi = pj cuando o o i = j, pues la curva es reducida). Explotando hasta separar las componentes, podemos suponer que la curva viene denida por los ceros de un polinomio P = 0 irreducible. Consideremos una curva P = 0, regular en p, que pase por todos los puntos innitesimalmente prximos a P = 0, de multiplicidad m. Como la multiplicidad de interseccin de stas dos curvas es o o e nita, por 4.5.3, tenemos que despus de un nmero nito de explosiones la multiplicidad de C ha de e u bajar estrictamente. Fcilmente concluimos. a

4.9

Problemas

1. Probar que los anillos de valoracin de C[x, y]/(x2 + y 2 1), que contienen a C, se corresponden o con los puntos de la circunferencia en el plano proyectivo. 2. Probar que las C-lgebras C[x, y]/(x2 + y 2 1), C[x] no son isomorfas aunque s son birracionala mente isomorfas. 3. Calcular el cierre entero de Z[ 2 5]. 4. Desingularizar la curva y 2 x7 = 0. Es esta curva birracional a la recta af n? 5. Calcular los anillos de valoracin del cuerpo de fracciones de C[x, y]/(y 2 x2 +x3 ), que contengan o a C. 6. Calcular la multiplicidad de interseccin de y 2 x3 + y 4 = 0 con yx + x3 + y 3 = 0 en el origen. o 7. Denir una curva plana que pase por el origen cuyo rbol de explosin en el origen sea a o 1 ppp ppp 3 NNN 1 NNN ppppp p 2 NNN NNN 1
y y y 8. Probar que el morsmo k[x, y]/(y 2 x2 + x3 ) [k[x, x ]/(( x )2 1 + x)] x 1 no es un morsmo nito.

9. Sean X e Y dos k-variedades algebraicas y x X e y Y dos puntos racionales. Probar que m(x,y) (X k Y ) = mx (X) my (Y ) 10. Probar que las cbicas proyectivas y 2 x3 1 = 0 y y 2 x3 2 = 0 se cortan en un unico punto u con multiplicidad 9.

78

Cap tulo 4.

Desingularizacin de curvas o

11. Parametrizar la curva x6 x2 y 3 y 5 = 0. Calcular sus soluciones racionales. 12. Probar el Teorema de Pascal: Si un hexgono est inscrito en una cnica irreducible, entonces a a o los lados opuestos se cortan en puntos alineados. 13. Probar el Teorema de Pappus: Sean R1 , R2 dos rectas; p1 , p2 , p3 R1 y q1 , q2 , q3 R2 (ninguno de ellos se encuentran sobre R1 R2 ). Sea Rij la recta que une pi y qj . Probar que los puntos pij = Rij Rji (i < j) estn alineados. a 14. Ley de grupo en las cbicas. Sea C una cbica plana no singular. Fijemos un punto p0 C. u u Dados dos puntos p, q C, la recta que pasa estos dos puntos, corta a C en un tercer punto r. Denamos : CC C, (p, q) r. Probar que la aplicacin CC C, (p, q) (p0 , (p, q)) o dota a C de estructura de grupo abeliano. 15. Sean C3 , C3 dos cbicas planas que se cortan en 9 puntos distintos, de manera que 6 de ellos u estn sobre una cnica. Probar que los tres restantes estn alineados. a o a 16. Demostrar que las tangentes a una cbica irreducible plana en 3 puntos alineados cortan a la u cbica en otros 3 puntos alineados. u 17. Demostrar que si un tringulo est inscrito en una cnica irreducible, entonces los puntos de a a o corte de cada lado del tringulo con la tangente a la cnica en el vrtice opuesto, estn alineados. a o e a 18. Probar que una recta que pase por dos puntos de inexin de una cbica plana irreducible pasa o u por un tercer punto de inexin. o 19. Probar que si una cbica pasa por ocho de los nueve puntos distintos de corte de otras dos u cbicas, entonces tambin pasa por el noveno. u e 20. Sea C3 una cbica plana y x C3 un punto de inexin. Probar que los puntos y C3 para u o los que existe una cnica que que cumpla mx (C3 C2 ) = my (C3 C2 ) = 3, son las terceras o intersecciones de las rectas que unen los puntos de inexin con x. o 21. Teorema de Cayley-Bacharay: Sea Cn+m3 una curva plana de n + m 3 que pasa por n m 1 de los puntos de interseccin de dos curvas de grados n y m. Probar que Cn+m3 pasa por el o punto restante. 22. Si una curva Cn+m de grado n + m ( > 3), pasa por n m (1)(2) de los n m 2 puntos distintos en los que se cortan dos curvas de grados n y m, entonces pasa tambin por los e restantes puntos siempre que dichos puntos no estn en una curva de grado 3. e 23. (a) Sea C la cbica plana y 2 = x2 + x3 . El haz de rectas y = tx dene un morsmo birracional u A1 C, x = t2 1, y = t3 t. Calcular el rea del ojo del lazo denido por la curva a y 2 = x2 + x3 . (b) Sea C la cbica plana y 2 = x3 . El haz de rectas y = tx dene un morsmo birracional u A1 C, x = t2 , y = t3 . 24. Probar que si una cnica tiene un punto singular entonces no es irreducible. o 25. Probar que si una cbica plana tiene dos puntos singulares entonces no es irreducible. u 26. Probar que si una curtica plana tiene cuatro puntos singulares entonces no es irreducible. a

4.9.

Problemas

79

27. Probar que (0, 0), (2, 0), (0, 2) son puntos singulares de la curtica plana xy(x + y 2) (x2 + a y 2 2x 2y)2 = 0 Existen ms puntos singulares? Parametrizar esta curtica (mediante un a a haz de cnicas). o 28. Justicar por qu las circunferencias x2 + y 2 1 = 0, x2 + y 2 2 = 0 han de ser tangentes en e algn punto del innito, sin hacer el clculo expl u a cito de sus tangentes en los puntos del innito. 29. Calcular la multiplicidad de interseccin de las cbicas proyectivas planas y 2 x3 = 0 con o u y 2 x3 1 = 0, en todos los puntos de interseccin. Poner un ejemplo de dos cbicas planas o u anes irreducibles, cuyos puntos de corte estn alineados. e

 Indice de Materias
A-lgebra nita, 7 a I-ltracin, 23 o Algebra graduada, 58 Arbol de explosin, 64 o Anillo ntegramente cerrado, 48 Anillo de la explosin, 63 o Anillo de la transformacin cuadrtica, 63 o a Anillo de Rees, 24, 61 Anillo de valoracin, 47 o Anillo de valoracin discreta, 47 o Anillo graduado, 24 Anillo local regular, 43 Anillo noetheriano, 7 Anillo normal, 48 Cierre entero, 48 Cohen-Seidenberg, 11 Completacin de un mdulo, 19 o o Cono tangente, 22 Contacto maximal, 72 Desarrollo de Puiseux, 72 Dilatado de un mdulo, 24 o Dimensin de Krull, 9, 38 o Dominio de Dedekind, 49 Elemento algebraico, 8 Elemento entero, 8 Elementos algebraicamente independientes, 12 Espacio noetheriano, 7 Espectro proyectivo, 59 Fibra excepcional, 64 a Filtracin I-dica, 23 o Filtracin I-estable, 23 o Filtracin de un mdulo, 19 o o Funcin de Hilbert, 36 o Funcin de Samuel, 36 o 80 Graduado por una ltracin, 21 o Ideal de valoracin, 47 o Ideal homogneo, 58 e Ideal irrelevante, 59 L mite inductivo, 14 L mite proyectivo, 17 Lema de Krull, 26 Lema de normalizacin de Noether, 12 o Longitud de un mdulo, 34 o Mdulo graduado, 24 o Mdulo noetheriano, 6 o Mdulo simple, 34 o Morsmo de explosin, 61 o Morsmo dominante, 49 Morsmo nito, 7 Multiplicidad de interseccin, 67 o Multiplicidad en un punto, 64 Polinomio de Hilbert, 36 Polinomio de Samuel, 37 Punto cuspidal, 71 Punto no singular, 52 Punto singular, 52 Ramas anal ticas, 70 Serie de composicin de mdulos, 34 o o Sistema de parmetros, 38 a Teorema Teorema Teorema Teorema Teorema Teorema Teorema de de de de de de de Artin-Rees, 24 Bzout, 68 e Cohen, 28 los ceros de Hilbert, 13 Max Noether, 69 Pappus, 76 Pascal, 76

 INDICE DE MATERIAS Teorema del ascenso, 10 Teorema del ideal principal de Krull, 39, 41 Teorema formal de la funcin inversa, 26 o Teorema fuerte de los ceros de Hilbert, 13 Topolog I-dica, 23 a a Transformacin cuadrtica, 61 o a Valoracin discreta, 46 o Variedad ntegra, 14 Variedades catenarias, 41

81