UNIVERSIDAD NACIONAL DE INGENIERIA

FACULTAD DE CIENCIAS

ESCUELA PROFESIONAL DE MATEMATICA

Aspectos Fundamentales de la
Geometra Algebraica
por

Gerardo Zubiaga Rivera

Tesis para Optar
el Ttulo Profesional de

LICENCIADO en MATEMATICA

Prof. Manuel Toribio Cangana

Asesor
UNI, julio del 2010.


CIP - CATALOGO DE PUBLICACION

Zubiaga Rivera, Gerardo

Aspectos Fundamentales de la Geometra Algebraica /
Gerardo Zubiaga Rivera. EPM - FC - UNI, 2010.
71 p.
Tesis (Licenciatura)Universidad Nacional de Ingeniera,
Facultad de Ciencias, Escuela Profesional de Matematica,
Lima, 2010. Asesor: Manuel Toribio Cangana

A Mi Madre Esther Rivera

Agradezco a los Profesores Manuel Toribio, Carlos Chavez, Lord Barrera y Christian Valqui por la orientacion y sus sabios consejos para la culminacion del presente
trabajo. Tambien deseo agradecer a mi Madre y a mi familia, por su apoyo incondicional, y a todas aquellas personas que de una u otra forma me ayudaron a terminar
este trabajo.

iv

RESUMEN
A lo largo de todo el trabajo, k denotara un cuerpo fijo algebraicamente cerrado.

En el captulo 1 definimos las herramientas principales de la geometra

algebraica, a saber, las variedades algebraicas.

Dedicamos una seccion a las

variedades afines y otra a las variedades proyectivas, con un preambulo acerca de la

necesidad de introducir las variedades proyectivas en nuestro estudio (teorema de
Bezout). Definimos el anillo de funciones, que nos permite tender un puente entre
los elementos topologicos (variedades) y los elementos algebraicos. Terminamos
definiendo la categora de variedades, es decir, los morfismos entre estos objetos,
y probando la equivalencia de dicha categora con la de k-algebras finitamente
generadas.

En el captulo 2 empezamos por definir los conceptos de punto y

variedad singulares, en sus versiones geometrica y algebraica. Tambien incluimos
una seccion dedicada a los anillos de valoracion discreta, herramienta del algebra
que nos resultara muy u
til, para finalmente probar la existencia de una sola curva
proyectiva no singular en cada clase de equivalencia birracional. Hacemos esto con
ayuda de una herramienta abstracta llamada curva abstracta no singular, que es
fija para cada extension finitamente generada K/k de grado de trascendencia 1.

En el captulo 3 echamos un vistazo a los objetos de la geometra

algebraica moderna, los esquemas. Para esto es necesario primero definir el concepto de haz y los correspondientes morfismos entre estos. Damos a continuacion
los conceptos basicos de la categora de esquemas, incluyendo la prueba de la
equivalencia entre dicha categora y la de anillos conmutativos con identidad.
Terminamos este captulo con la definicion del funtor que relaciona a los esquemas
v

con las variedades algebraicas, definidas en la primera parte del trabajo.

Finalmente hacemos hincapie en los principales resultados obtenidos en

este trabajo, as como tambien damos referencias de hacia donde esta orientado el
mismo, y de que maneras se puede continuar esta investigacion.

vi

INDICE

VARIEDADES ALGEBRAICAS . . . . . . . . . . . . . . . . . . .

1.1

Variedades Afines . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2

El Teorema de los Ceros de Hilbert y el Teorema de Bezout .

1.3

Variedades Proyectivas . . . . . . . . . . . . . . . . . . . . . . . . .

10

1.4

El Anillo de Funciones de una Variedad . . . . . . . . . . . . . .

17

1.5

Funciones Regulares . . . . . . . . . . . . . . . . . . . . . . . . . .

22

1.6

Morfismos entre Variedades . . . . . . . . . . . . . . . . . . . . .

24

1.7

Aplicaciones Birracionales . . . . . . . . . . . . . . . . . . . . . . .

27

CURVAS NO SINGULARES . . . . . . . . . . . . . . . . . . . . . .

33

2.1

Variedades no Singulares . . . . . . . . . . . . . . . . . . . . . . .

33

2.2

Anillos de Valoraci
on Discreta . . . . . . . . . . . . . . . . . . . .

36

2.3

Clasificaci
on de Curvas no Singulares . . . . . . . . . . . . . . .

40

ESQUEMAS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

46

3.1

Prehaces y haces . . . . . . . . . . . . . . . . . . . . . . . . . . . .

46

3.2

Esquemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

53

3.3

Variedades como Esquemas . . . . . . . . . . . . . . . . . . . . . .

61

CONCLUSIONES . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

69

vii

BIBLIOGRAFIA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

viii

71

1.1

VARIEDADES ALGEBRAICAS

Variedades Afines
En esta primera seccion definimos los objetos basicos de la geometra

algebraica, las variedades afines, y revisamos algunas de sus principales propiedades.

Definici
on 1.1.1. Definimos el n-espacio afn como el conjunto de n-uplas de k y
lo denotamos por An (k) o simplemente An . A1 es la recta afn, mientras que A2 es
el plano afn.
Definici
on 1.1.2. Dado un subconjunto S de k[x1 , . . . , xn ], definimos el conjunto
algebraico afn determinado por S, y denotado por Z(S), como el conjunto de races
comunes a los elementos de S:


Z(S) := p An : f (p) = 0, f S .
Si S es un polinomio, Z(S) es llamado hipersuperficie.
Observaci
on 1.1.1. Es claro que si S T k[x1 , . . . , xn ], entonces
Z(T ) Z(S)
(a mas restricciones, menos soluciones). Es claro tambien que el conjunto S
k[x1 , . . . , xn ] y el ideal hSi de k[x1 , . . . , xn ] generado por S determinan el mismo
conjunto algebraico:
Z(S) = Z(hSi).
Ademas, por ser k[x1 , . . . , xn ] un anillo noetheriano (seccion 1.4), todo ideal es finitamente generado, luego todo conjunto algebraico esta determinado por una cantidad
finita de polinomios:
Z(S) = Z(f1 , . . . , fr ),
1

donde f1 , . . . , fr son generadores de hSi.

Otras propiedades importantes de los conjuntos algebraicos son las siguientes: la
interseccion arbitraria de conjuntos algebraicos es un conjunto algebraico, pues
\

Z(a ) = Z

para ideales a k[x1 , . . . , xn ], y la union finita de conjuntos algebraicos es un

conjunto algebraico, ya que
Z(a) Z(b) = Z(ab)
para ideales a, b k[x1 , . . . , xn ]. Como An = Z(0) y = Z(1) son conjuntos
algebraicos, concluimos que los conjuntos algebraicos son los conjuntos cerrados de
una topologa para An , llamada Topologa de Zariski.
Ejemplo 1.1.1. Como todo punto p = (a1 , . . . , an ) An es un conjunto algebraico,

pues {p} = Z(x1 a1 , . . . , xn an ), concluimos que todo conjunto finito de An es

un conjunto algebraico.

Ejemplo 1.1.2. Claros ejemplos de conjuntos algebraicos en el plano son la parabola

P : y = x2 y la circunferencia C : x2 + y 2 = 1, que se pueden denotar por Z(y x2 )
y Z(x2 + y 2 1) respectivamente.

Ejemplo 1.1.3. Otros ejemplos importantes son la parabola semic

ubica de Neil,
o c
ubica cuspidal, dada por la ecuacion y 2 = x3 , y el folio de Descartes dado por
y 2 = x3 + x2 .

C
ubica cuspidal

Folio de Descartes

Ejemplo 1.1.4. Si X An y Y Am son conjuntos algebraicos, entonces X Y

An+m tambien lo es. En efecto, si X = Z(S) para alg

un S k[x1 , . . . , xn ] y

Y = Z(T ) para alg

un T k[y1 , . . . , ym ] es facil ver que X Y = Z(S T ),
considerando a S y T como subconjuntos de k[x1 , . . . , xn , y1 , . . . , ym ].
Definici
on 1.1.3. Definimos ahora, para un conjunto X An , el ideal de X,
denotado por I(X), como sigue:


I(X) := f k[x1 , . . . , xn ] : f (p) = 0, p X .
Este conjunto es, en efecto, un ideal, que ademas es radical.
Observaci
on 1.1.2. Si Y An es un conjunto algebraico, I(Y ) es el mayor ideal

que define a Y . As como el operador Z, I es tambien decreciente: si X Y An ,

entonces
I(Y ) I(X).

Ademas, si {Y} es una familia de subconjuntos de An , se cumple que

I

I(Y ).

Bajo ciertas condiciones, Z e I son inversos uno del otro, pues

a = I(Z(a))
para todo ideal a de un conjunto de puntos, e
Y = Z(I(Y ))
para todo conjunto algebraico Y . Consecuentemente, para dos conjuntos algebraicos
X, Y An , se cumple que
I(X) = I(Y ) si y solo si X = Y.
El ideal de un punto p = (a1 , . . . , an ) An viene dado por
I(p) = hx1 a1 , . . . , xn an i,
y es un ideal maximal.
Definici
on 1.1.4. Dado un conjunto algebraico Y An , a veces es posible escribir
Y como union de conjuntos algebraicos mas peque
nos. Decimos entonces que un
espacio topologico Y es reducible si podemos escribir Y = Y1 Y2 , donde Y1 , Y2

son subconjuntos cerrados no vacos distintos de Y . Si Y no es reducible decimos

que es irreducible.
Observaci
on 1.1.3. El espacio Y es irreducible si cumple cualquiera de las tres
propiedades equivalentes siguientes:

1. Si F, G Y son cerrados tales que F G = Y , entonces F = Y o

G=Y.
2. Si U, V Y son abiertos tales que U V = , entonces U = o V = .
3. Todo abierto de Y es denso en Y .

Ademas, se tiene que Y es irreducible si y solo si I(Y ) es primo. En efecto, si

Y = Y1 Y2 , basta tomar f I(Y1 ) \ I(Y ) y g I(Y2 ) \ I(Y ), entonces f, g
/ I(Y )
pero f g I(Y1 ) I(Y2 ) = I(Y ), luego I(Y ) no es primo. Recprocamente, si
f, g
/ I(Y ) y f g I(Y ), tomamos Y1 = Y Z(f ) y Y2 = Y Z(g) para obtener el
resultado.
Proposici
on 1.1.1. Sea Y An un conjunto algebraico. Entonces podemos expresar Y de manera u
nica como union finita de conjuntos algebraicos irreducibles, es
decir, Y = Y1 Yr , donde Yi 6 Yj , para todo j 6= i. Tal descomposicion es
llamada descomposicion de Y en conjuntos algebraicos irreducibles.

Demostracion. Definamos S como la familia de conjuntos algebraicos que no son

union finita de conjuntos algebraicos irreducibles y veamos que S = . Tomemos
un elemento maximal I(Y ) de la familia formada por los I(Y ) con Y S (que
existe, pues k[x1 , . . . , xn ] es noetheriano). Como Y es reducible, podemos escribir
Y = Y1 Y2 con Y1 , Y2

I(Y1 ), I(Y2) y Y1 , Y2
/ S, es decir, estos

Y . Luego I(Y )

admiten descomposicion. As, Y es union finita de conjuntos algebraicos irreducibles

(las componentes de Y1 y Y2 ), una contradiccion. Luego S = y cualquier conjunto
S
algebraico se puede escribir de la forma Y = ri=1 Yi , para algunos Yi irreducibles. Si
S
Yi Yj , bastara con desechar Yi . Para la unicidad, supongamos que Y = ri=1 Yi =
Ss
S
j=1 Xj . Tendremos que Yi = Yi Y =
j Yi Xj . Pero Yi es irreducible, luego Yi

Xj(i) para alg

un j(i). Repitiendo el procedimiento para Xj(i) , obtenemos Xj(i) Yk ,
luego Yi = Xj(i) = Yk y r s. Analogamente, s r, y las descomposiciones son
iguales, salvo una permutacion.

Definici
on 1.1.5. Decimos que un conjunto algebraico irreducible en An , con la
topologa inducida, es una variedad afn. Un subconjunto abierto de una variedad
afn es una variedad cuasi-afn.
Ejemplo 1.1.5. Dado que k es infinito, An es irreducible, pues I(An ) = h0i es un
ideal primo.
Ejemplo 1.1.6. Para n = 1, se tiene que k[X] es un DIP, luego cualquier conjunto algebraico propio de A1 se puede escribir como Z(f ), para alg
un f k[X].

Concluimos que los u

nicos conjuntos algebraicos no vacos propios de A1 son los
subconjuntos finitos, y las u
nicas variedades son los puntos.

1.2

El Teorema de los Ceros de Hilbert y el

Teorema de Bezout
Enunciamos en esta seccion dos teoremas fundamentales de la geometra

algebraica, como son el Teorema de los Ceros de Hilbert (Nullstellensatz) y el Teorema de Bezout. Para probar el Teorema de los Ceros, enunciamos un resultado
cuya prueba se puede encontrar en [Matsumura2, teo. 5.3, pag. 33].
Teorema 1.2.1. Si m es un ideal maximal de k[x1 , . . . , xn ], entonces m es de la
forma hx1 a1 , . . . , xn an i, para algunos ai k.
La relacion exacta entre I y Z nos la termina de dar el Nullstellensatz,
o Teorema de los Ceros de Hilbert, que pasamos a enunciar.
Teorema 1.2.2. (Teorema de los Ceros de Hilbert.) Sea a k[x1 , . . . , xn ] un ideal.

Entonces I(Z(a)) = a.
p

Demostracion. Es claro que a I(Z(a)), luego a I(Z(a)) = I(Z(a)). Veamos

que I(Z(a)) a. Escribimos a = hf1 , . . . , fr i y sea f I(Z(a)). Consideremos

b = hf1 , . . . , fr , 1 f xn+1 i k[x1 , . . . , xn+1 ]. Si b 6= k[x1 , . . . , xn+1 ], entonces b m,
6

para alg
un ideal maximal m k[x1 , . . . , xn+1 ]. Tendremos que existen a1 , . . . , an+1
k tales que m = hx1 a1 , . . . , xn+1 an+1 i. Pero m es el n
ucleo del homomorfismo

sobreyectivo xi k[x1 , . . . , xn+1 ] 7 ai k. Luego, (k[x1 , . . . , xn+1 ]/m)

= k. Como
b m, Z(m) Z(b), luego (a1 , . . . , an+1 ) Z(b), es decir, fi (a1 , . . . , an ) = 0

para todo 1 i r y 1 f (a1 , . . . , an )an+1 = 0, lo que implica que 1 = 0, una

Pr
contradiccion. As, b = k[x1 , . . . , xn+1 ], y 1 =
i=1 hi fi + h(1 f xn+1 ), para
1
algunos h, hi k[x1 , . . . , xn+1 ] k(x1 , . . . , xn+1 ). Haciendo xn+1 = , obtenemos
f
P
1
un N suficientemente grande tendremos
1 = hi fi , hi = hi (x1 , . . . , xn , ). Para alg
f
P

fN =
h0i fi a, h0i k[x1 , . . . , xn ]. Por lo tanto, f a.
2
Observaci
on 1.2.1. Entre las consecuencias del teorema de Hilbert tenemos lo si-

guiente: si X An , entonces X = Z(I(X)). En efecto, sabemos que X Z(I(X)).

Supongamos ahora que Y es un conjunto cerrado tal que X Y ; tendremos entonces
que I(Y ) I(X), luego Z(I(X)) Y , lo que prueba la afirmacion.
Corolario 1.2.1. Se tienen biyecciones entre conjuntos algebraicos de An e ideales
radicales de k[x1 , . . . , xn ]; entre conjuntos algebraicos irreducibles e ideales primos;
entre puntos e ideales maximales.
Demostracion. Asociemos a cada variedad afn Y el ideal I(Y ). Si I(Y1 ) = I(Y2 ),
tendremos que Y1 = Y1 = Z(I(Y1 )) = Z(I(Y2 )) = Y2 = Y2 . Recprocamente, si I
es un ideal radical de k[x1 , . . . , xn ], entonces Y = Z(I) es una variedad afn, luego

I(Y ) = I(Z(I)) = I = I.
Sabemos que si Y es irreducible, I(Y ) es primo. Si p k[x1 , . . . , xn ] es un ideal

primo, Y = Z(p) es irreducible, pues I(Y ) = I(Z(p)) = p = p.

Finalmente, si p = (a1 , . . . , an ) An , entonces mp = hx1 a1 , . . . , xn an i es maximal. Sea entonces m un ideal maximal en k[x1 , . . . , xn ]. Como k es algebraicamente
cerrado, m es de la forma m = hx1 a1 , . . . , xn an i, luego p = (a1 , . . . , an ) define
I(p) = m.

2
En cuanto al teorema de Bezout, solo lo enunciaremos, mencionando

que se puede encontrar la prueba, por ejemplo, en [Fulton, seccion 5.3]. Previa7

mente, pasaremos a discutir algunos puntos acerca de la motivacion para dicho

teorema y para la definicion del espacio proyectivo.

Al estudiar la interseccion entre una conica (digamos, una elipse) y una

recta en el plano, vemos que estas se intersectan en a lo mas dos puntos. Una recta
y una c
ubica se intersectan en a lo mas tres puntos y dos conicas se intersectan en
cuatro puntos como maximo. Es natural preguntarse si dos curvas planas dadas
por polinomios f, g de grados r, s respectivamente se intersectaran en a lo mas
rs puntos y bajo que circunstancias se obtiene el teorema optimo: las dos curvas
dadas se intersectan en exactamente rs puntos. Vemos que:

1. Las dos curvas podran tener alguna componente irreducible en

com
un. Por ejemplo, si consideramos las curvas dadas por xy = 0 y x(y x) = 0,
vemos que las dos curvas estan compuestas por el eje y, y por lo tanto tienen
infinitos puntos en com
un. Debemos entonces considerar curvas sin componentes
irreducibles en com
un.

2. Sabemos que en R esto no siempre se cumple. Si consideramos

x2 + y 2 1 = 0 y x = 2, las curvas no se intersectan en R2 . Sin embargo, se

intersectan dos veces en C2 , en los puntos (2, i 3). Por lo tanto, debemos asumir
que el cuerpo base k es algebraicamente cerrado (lo cual haremos durante todo el
trabajo).

3. Siguiendo con el ejemplo de la circunferencia y la recta, vemos que

x2 + y 2 1 = 0 y x = 1 se intersectan solamente una vez en (1, 0), incluso en C2 .

Sin embargo, resolviendo el sistema formado por las ecuaciones obtenemos y 2 = 0,

luego la solucion y = 0 es una raz doble, por lo que debemos contarla dos veces.

Similarmente, la curva y 2 = x3 y la recta y = tx se intersectan en solo dos puntos,

(t2 , t3 ) y (0, 0), pero este u
ltimo es un punto doble, por ser un punto singular de
la curva (definimos punto singular al final de este captulo, y con mas detalle en
el siguiente captulo). As, debemos tambien tener en cuenta la multiplicidad de
interseccion de dos curvas en un punto.

4. Mientras estas condiciones extra nos dan la igualdad en los ejemplos

de arriba, a
un no podemos reemplazar la desigualdad por una igualdad en el caso de
interseccion de dos curvas planas cualesquiera. En efecto, consideremos el caso de
dos rectas paralelas. No importa que tan cuidadosamente contemos intersecciones,
dos rectas paralelas simplemente no se intersectan. As que para obtener una igualdad en nuestra ecuacion, necesitamos suposiciones mas fuertes, suposiciones que
fuercen a dos rectas paralelas a intersectarse. A
nadiremos entonces puntos en el
infinito al plano afn hasta que dos rectas distintas cualesquiera se intersecten exactamente una vez. Necesitaremos a
nadir un punto en el infinito para rectas paralelas.
Pensemos en a
nadir un punto en el infinito donde y = x y y = x + 1 eventualmente
se corten. Y que con las rectas y = 2x y y = 2x + 1? Ellas tambien necesitaran
un punto en el infinito, as que preguntamos, Puede ser el mismo punto que ya
a
nadimos? Por supuesto la respuesta debe ser no, pues si y = 2x compartiera un
punto en el infinito con y = x, entonces las rectas y = 2x y y = x se intersectaran dos veces: una en el origen y una en el infinito. As, el segundo par de rectas
paralelas debe tener su propio punto en el infinito. Siguiendo este argumento a su
conclusion logica, vemos que necesitamos exactamente un punto en el infinito para
cada posible pendiente de una recta.
Una manera de especificar coordenadas en nuestro nuevo plano proyectivo, es como sigue. Para puntos (x, y) en el plano afn, especificamos el mismo
punto en el plano extendido por [x : y : 1]. Para un punto en el infinito que esta
contenido en rectas de pendiente y/x, especificamos el punto por [x : y : 0]. Esto

nos da exactamente un punto por cada punto en el plano regular, mas exactamente
un punto por cada posible pendiente de una recta (las rectas verticales contienen
al punto [0 : 1 : 0]). Ademas, como existen varias formas de expresar una pendiente
y/x con diferentes valores de y y x (2, por ejemplo, se puede expresar 2/1 o 4/2
o 10/ 5, entre muchas otras), cada una de estas diferentes expresiones debe
corresponder al mismo punto. Mas generalmente, los puntos en el plano proyectivo
poseen tres coordenadas, no todas nulas, y dos caracterizaciones [a : b : c] y
[a0 : b0 : c0 ] representan el mismo punto si a0 = a, b0 = b y c0 = c para alguna
constante no nula . Definiremos el espacio proyectivo formalmente en la siguiente
seccion.

Estamos listos para dar un enunciado preciso del teorema de Bezout.

Teorema 1.2.3. (Teorema de Bezout) Si C y D son curvas (algebraicas) complejas proyectivas sin componentes comunes, entonces
X

pCD

i(C D, p) = (grad C)(grad D),

(1.1)

donde i(C D, p) es la multiplicidad de interseccion de C y D en el punto p.

Definimos la multiplicidad de interseccion de C y D en el punto p como
sigue:
i(C D, p) = dimk

Op
,
hf, gip

donde la curva proyectiva C define una curva afn por F (X/Z, Y /Z, 1) = f (x, y) = 0,
la curva proyectiva D define una curva afn por G(X/Z, Y /Z, 1) = g(x, y) = 0,
Op es el anillo de funciones racionales definidas en p (esto es, Op = { k[x, y] :
(p) esta definida}; ver seccion 1.5), y hf, gip es el ideal generado por f y g en Op .

10

Una de las cosas verdaderamente sorprendentes acerca de nuestra discusion hasta el momento es que al movernos al plano proyectivo y forzar la igualdad
en vez de la desigualdad para dos curvas de grado 1 (es decir, forzar dos rectas
distintas a que se intersecten exactamente una vez), obtenemos la igualdad en vez
de la desigualdad para dos curvas cualesquiera sin componentes comunes.

1.3

Variedades Proyectivas
Pasamos ahora a definir las variedades proyectivas.

Definici
on 1.3.1. Consideremos sobre An+1 \{0} la relacion de equivalencia definida

por z w z = w para alg

un k . Definimos el n-espacio proyectivo


sobre k como el cociente An+1 \ {0}
, y lo denotamos por Pn (k) o simple-

mente Pn . Si p Pn esta determinado por el punto (a0 , a1 , . . . , an ) An+1 \ {0},

decimos que (a0 , a1 , . . . , an ) son coordenadas homogeneas para p, y escribimos

p = (a0 : a1 : : an ).
Dado que no todo ai es nulo, se tiene que (a0 , a1 , . . . , an ) es tambien
un sistema de coordenadas homogeneas para p, para todo k . Es decir, p =
(a0 : a1 : : an ) = (a0 : a1 : : an ), k .

Definici
on 1.3.2. Sea f k[x0 , x1 , . . . , xn ]. Decimos que p Pn es una raz de f ,
lo que denotamos por f (p) = 0, si f (a0 , a1 , . . . , an ) = 0 para cualquier eleccion de
coordenadas homogeneas (a0 , a1 , . . . , an ) para p.
Observaci
on 1.3.1. Resulta claro que p es una raz de f si y solo si fi (p) = 0
P
para todo i, donde f =
fi es la descomposicion de f en formas de grado i.

En efecto, si fi (a0 , a1 , . . . , an ) = 0 para cualquier eleccion de coordenadas ho-

mogeneas (a0 , a1 , . . . , an ) para p, entonces la suma es tambien nula y f (p) = 0.

Recprocamente, supongamos que f (p) = 0 y fijemos coordenadas homogeneas

11

(a0 , a1 , . . . , an ) para p. Sea g() =

g() =

fi (a0 , a1 , . . . , an )i k[]. Tendremos que

fi (a0 , a1 , . . . , an ) = f (a0 , a1 , . . . , an ) = 0

para todo k, luego fi (a0 , a1 , . . . , an ) = 0 para todo i, es decir, fi (p) = 0 para

todo i. Esto nos permite restringir nuestro estudio a polinomios homogeneos.

Definido el concepto de raz de un polinomio en el caso proyectivo, podemos definir, como lo hicimos en el caso afn, los conjuntos algebraicos proyectivos
de manera analoga.
Definici
on 1.3.3. Sea S k[x0 , x1 , . . . , xn ].

Definimos el conjunto algebraico

proyectivo determinado por S como



ZP (S) := p Pn : f (p) = 0, f S .
Estos conjuntos tambien conforman los cerrados de la Topologa de
Zariski para el espacio proyectivo.
Observaci
on 1.3.2. Como en el caso afn, es claro que
ZP (S) = ZP (hSi),
luego un conjunto algebraico proyectivo esta definido por un n
umero finito de polinomios. Pero ademas, si ZP (S) = ZP (f (1) , . . . , f (l) ), podemos expresar cada poliP (j)
nomio como suma de formas, f (j) = fi , y por lo dicho anteriormente, tendremos

que

(1)

(l)

ZP (f (1) , . . . , f (l) ) = ZP (f0 , . . . , fr(1)

, . . . , f0 , . . . , fr(l)
).
1
l
Es decir, todo conjunto algebraico proyectivo esta definido por un n
umero finito de
formas, o equivalentemente, por un ideal homogeneo (es decir, un ideal generado

12

por polinomios homogeneos).

Una diferencia importante con el caso afn la da el ideal maximal

m = hx0 , x1 , . . . , xn i. Como ning
un elemento de Pn tiene todas sus coordenadas
homogeneas nulas, tendremos que ZP (m) = .
Ejemplo 1.3.1. Sea p Pn . Podemos suponer que alguna de sus coordenadas
homogeneas es 1, digamos a0 : p = (1 : a1 : : an ). Luego, {p} = Y = ZP (x1
a1 x0 , . . . , xn an x0 ). En efecto, si q = (b0 : b1 : : bn ) Y , entonces b0 6= 0 y
q = (b0 : a1 b0 : : an b0 ) = p.
Ejemplo 1.3.2. La curva c
ubica torcida parametrizada en terminos de coordenadas
homogeneas por (x30 : x20 x1 : x0 x21 : x31 ) = (z0 : z1 : z2 : z3 ) P3 , (x0 : x1 ) P1 , esta

dada por las ecuaciones z0 z2 = z12 , z0 z3 = z1 z2 , z1 z3 = z22 .

Definici
on 1.3.4. Al igual que en el caso afn, definimos el ideal de X por


IP (X) := f k[x0 , x1 , . . . , xn ] : f (p) = 0, p X
para todo X Pn . Es facil ver que, ademas, IP (X) es un ideal radical homogeneo,

para todo X Pn .

Observaci
on 1.3.3. Si X Y , entonces
IP (Y ) IP (X).
Definici
on 1.3.5. Un conjunto algebraicon proyectivo Y Pn es irreducible si
no puede ser expresado como union de dos conjuntos algebraicos proyectivos mas
peque
nos. En este caso, decimos que Y es una variedad proyectiva, mientras que un
subconjunto abierto de una variedad proyectiva es una variedad cuasi-proyectiva.
Observaci
on 1.3.4. Todo conjunto algebraico proyectivo se escribe de manera
u
nica como union de variedades proyectivas.
13

Observaci
on 1.3.5. Al igual que en el caso afn, si Y Pn es un conjunto algebraico, entonces Y es irreducible si y solo si IP (Y ) es primo.
En el espacio proyectivo tambien tenemos un resultado similar al teorema de los ceros, conocido como el Teorema de los Ceros Proyectivo. Para probarlo,
basta ver a los conjuntos algebraicos proyectivos como subconjuntos de An+1 .
Definici
on 1.3.6. Sea Y Pn . Definimos el cono de Y , y lo denotamos por C(Y ),

como su preimagen en An+1 \ {0} va la proyeccion canonica unida con el 0. Es

decir:


C(Y ) := p = (a0 , a1 , . . . , an ) An+1 : (a0 : a1 : : an ) Y o p = 0 .
Observaci
on 1.3.6. El cono de un conjunto algebraico proyectivo es simplemente

la union de las rectas afines que definen los elementos de Y Pn unida con el origen
de An+1 . Resulta claro pues que si Y 6= , entonces
I(C(Y )) = IP (Y ).
En efecto, si f I(C(Y )), tendremos que f (p) = 0 para todo p C(Y ), luego
f (p) = 0 para todo p Y si p 6= 0. Recprocamente, si f IP (Y ), fijemos p C(Y )
no nulo. Tendremos que p Y y f (p) = 0, luego f (p) = 0. Si p = 0, supongamos

que f (p) 6= 0. Entonces f = f0 + f1 + con f0 k . Como IP (Y ) es homogeneo,

entonces f0 IP (Y ) y k[x0 , x1 , . . . , xn ] = IP (Y ), es decir, Y = , una contradiccion.

Tambien se cumple que

C(ZP (a)) = Z(a)
(el cono de un conjunto algebraico proyectivo es un conjunto algebraico afn) para
cualquier ideal homogeneo a k[x0 , x1 , . . . , xn ] tal que ZP (a) 6= . Si p C(ZP (a))
14

es no nulo, entonces p ZP (a), luego f (p) = 0 para todo f a, y f (p) = 0. Si

p = 0 y f (p) 6= 0 para alg
un f a, tendremos que f = f0 + f1 + con f0 6= 0.
Como a es homogeneo, f0 a y h1i = a, contradiciendo la suposicion ZP (a) 6= .
Recprocamente, si p Z(a) y f a, se tiene que f (p) = 0, y por ser a homogeneo,

fi (p) = 0, luego i f (p) = f (p) = 0 para todo k y f (p) = 0, lo que prueba la

afirmacion.

Es facil ver que C(Y1 Y2 ) = C(Y1 ) C(Y2 ) para conjuntos algebraicos

Y1 , Y2 Pn . Luego cada componente irreducible de un cono es tambien un cono.

Si Y = Y1 Yr Pn es la descomposicion de Y , donde Yi = ZP (ai ) (ai

k[x0 , x1 , . . . , xn ] ideal primo) para todo i = 1, . . . , r, entonces
C(Y ) = C(Y1 ) C(Yr ) = Z(a1 ) Z(ar ).

Teorema 1.3.1. (Teorema de los Ceros Proyectivo.) Dados un ideal homogeneo

a k[x0 , x1 , . . . , xn ] y el ideal maximal m = hx0 , x1 , . . . , xn i, se cumple que:
(a) ZP (a) = si y solo si mN a, para alg
un N Z+ (es decir, m
(b) Si ZP (a) 6= , entonces IP (ZP (a)) =

a).

a.

Demostracion.
(a) ZP (a) = Z(a) {0}

a m.

(b) IP (ZP (a)) = I(C(ZP (a))) = I(Z(a)) =

a.

Corolario 1.3.1. Existe una correspondencia biyectiva entre conjuntos algebraicos

proyectivos e ideales radicales homogeneos de k[x0 , x1 , . . . , xn ] que no contienen a m,
y entre conjuntos algebraicos proyectivos irreducibles e ideales primos homogeneos
de k[x0 , x1 , . . . , xn ] que no contienen a m.
15

En adelante escribiremos simplemente Z e I en lugar de ZP e IP , si es

que no hay lugar a confusion.
Observaci
on 1.3.7. Veamos ahora que el n-espacio proyectivo puede ser cubierto
por nespacios afines, y que las variedades (cuasi-)proyectivas pueden ser cubiertas
por variedades (cuasi-)afines.
Sea Ui el abierto definido por xi , es decir,


Ui = p = (a0 : a1 : : an ) Pn : ai 6= 0 .
Claramente, Pn =

Sn

i=0

Ui . Definamos i : Ui An por

i (a0 : a1 : : an ) =

a0 a1
ai1 ai+1
an
, ,...,
,
,...,
ai ai
ai
ai
ai

y veamos que es un homeomorfismo. Consideremos i = 0, 0 = y U0 = U. es

claramente biyectiva, luego basta ver que identifica cerrados de U con cerrados de
An . Para un polinomio homogeneo f k[x0 , x1 , . . . , xn ] definamos
(f ) = f (1, x1 , . . . , xn ) k[x1 , . . . , xn ],
y para un polinomio g k[x1 , . . . , xn ] de grado e definimos el polinomio homogeneo
(g) de grado e por
(g) =

xe0

x1
xn
,...,
x0
x0

k[x0 , x1 , . . . , xn ].

Sea Y U un cerrado de U, y veamos que (Y ) = Z((a)), donde a = IP (Y ). En

efecto, si p = (1 : a1 : : an ) = (a1 , . . . , an ) (Y ), entonces
(f )(p) = f (1 : a1 : : an ) = 0

16

para todo f a homogeneo. Y si p = (a1 , . . . , an ) Z((a)) y f a es homogeneo,

entonces
f (1 : a1 : : an ) = (f )(p) = 0.
Como f es arbitrario, concluimos que (1 : a1 : : an ) Y y p (Y ).

Recprocamente, si W = Z(b) An (b = I(W )), entonces 1 (W ) = ZP ((b)) U.

En efecto, si p = (1 : a1 : : an ) 1 (Y ) y g b, entonces
(g)(p) = g(a1 , . . . , an ) = 0,

luego p Z((b)). Y si p = (1 : a1 : : an ) Z((b)), sea g b, entonces

g(a1, . . . , an ) = (g)(p) = 0.
Como g es arbitrario, concluimos que (a1 , . . . , an ) W y p 1 (W ).
Ejemplo 1.3.3. La variedad de Segre. Sean x0 , . . . , xn las coordenadas para Pn ,
y0 , . . . , ym las coordenadas para Pm , y t0 , . . . , tN las coordenadas para PN , donde
N = (n + 1)(m + 1) 1 = n + m + nm. Definimos S : Pn Pm PN por la formula
S((x0 : : xn ) (y0 : : ym )) = (x0 y0 : x0 y1 : : xn ym ).
S esta bien definida, pues si xi yj = 0 para todo i, j, y si x0 6= 0, entonces x0 y0 =
= x0 ym = 0, luego yj = 0 para todo j. Ademas, es inyectiva. En efecto, si

0
(x0 y0 : : xn ym ) = (x00 y00 : : x0n ym
), entonces xi yj = x0i yj0 , para alg
un 6= 0,
y0

para todo i, j. Si yj 6= 0, entonces xi = ( yjj )x0i , luego (x0 : : xn ) = (x00 : : x0n ).

Similarmente, (y0 : : ym ) = (y00 : : ym ). Finalmente, la imagen de S es una
subvariedad de PN , llamada variedad de Segre, ya que S(Pn Pm ) = Z, donde


Z = Z( tij tkl til tkj : i, k = 0, . . . , n; j, l = 0, . . . , m ).

17

Ejemplo 1.3.4. La superficie cuadrica en P3 . Del ejemplo anterior, es claro que la

superficie Q definida por la ecuacion xy zw = 0 es una variedad de Segre dada

por la inyeccion de Segre de P1 P1 a P3 . Si t = (0 , 1 ) P1 , el conjunto S(t P1 )

es la recta en P3 dada por 1 x = 0 w, 1 z = 0 y. Haciendo variar t obtenemos

una familia de rectas {Lt } tal que Lu Lt = siempre que Lu 6= Lt . Similarmente,

S(P1 t) es una recta, y al variar t obtenemos otra familia de rectas {Mt } con la

misma propiedad, y ademas se cumple que Lt Mu =un punto, para todo t, u.

1.4

El Anillo de Funciones de una Variedad

Habiendo definido los conceptos de variedad afn y proyectiva, asocia-

remos a estos objetos un anillo, que nos permitira trasladar cuestiones geometricas
y topologicas a cuestiones puramente algebraicas.
Definici
on 1.4.1. Dado el conjunto algebraico Y An , definimos el anillo de
funciones de Y o su anillo coordenado como el cociente k[x1 , . . . , xn ]/I(Y ), y lo
denotamos por A(Y ). Las clases de polinomios en A(Y ) tambien pueden ser vistas
simplemente como restricciones de funciones polinomiales a Y .
Ejemplo 1.4.1. Si Y = An es el n-espacio afn, entonces I(Y ) = h0i, luego A(Y ) =
k[x1 , . . . , xn ].
Ejemplo 1.4.2. Si Y es un punto, entonces A(Y ) = k.

En efecto, si Y =

{(a1 , . . . , an )}, escribimos cualquier polinomio f k[x1 , . . . , xn ] de la forma f =

(x1 a1 )f1 + + (xn an )fn + c (dividiendo sucesivamente por xi ai ), y tomando
clase modulo I(Y ), vemos que f = c en A(Y ).
Ejemplo 1.4.3. Sea Y = Z(y x2 ). Definimos el homomorfismo : k[x, y] k[x]

por (f ) = f para todo f k[x] y (y) = x2 . Si f (y) (k[x])[y] esta en el n

ucleo

de , es decir, si (f ) = f (x2 ) = 0, se tendra que f I(x2 ) = hy x2 i, luego

k[x, y]
N() = hy x2 i. Concluimos que A(Y ) =
= k[x].
hy x2 i
18

k[x, y]
. En efecto, basta
Ejemplo 1.4.4. Sea Y = Z(y 2 x3 ). Veamos que A(Y )
=
hy 2 i
ver que si f (x, y) = f0 (x)+f1 (x)y +f2 (x)y 2 +f3 (x)y 3 + es una funcion polinomial
definida en Y , entonces f (x, y) = f0 (x) + f1 (x)y + f2 (x)x3 + f3 (x)x3 y + =
(f0 (x) + f2 (x)x3 + ) + (f1 (x) + f3 (x)x3 + )y.

Una importante clase de anillos la conforman los anillos noetherianos,

que son aquellos donde todo ideal es finitamente generado. Existen definiciones
equivalentes que pasamos a repasar:
Proposici
on 1.4.1. Sea A un anillo. Son equivalentes:

1. A es noetheriano.
2. Toda cadena ascendente de ideales en A es estacionaria.
3. Toda familia de ideales de A posee un elemento maximal respecto de la
inclusion.

Demostracion.
1.2. Sea a1 a2 an una cadena ascendente de ideales en A.
S
Sea a = nZ+ an . a es claramente un ideal, y por 1. es finitamente
generado: a = ha1 , . . . , ar i. As, ai aj(i) para todo i = 1, . . . , r, para
alg
un j(i) Z+ . Fijemos N = max{j(i) : i = 1, . . . , r}. Tendremos

que a aN aN +k a, para todo k Z+ . Por lo tanto la cadena es

estacionaria.

2.3. Sea F = {a } una familia arbitraria de ideales en A, y elijamos a1 F.

Si a1 no es un elemento maximal de la familia, podemos elegir a2 F
tal que a1 a2 . Inductivamente podemos definir una cadena de
elementos de F que por 2. debe ser estacionaria. Concluimos que F
posee un elemento maximal.
19

3.1. Sea a A un ideal, y definamos F como la familia de ideales en A

finitamente generados que esten contenidos en a. Por 3., F posee un
elemento maximal, digamos b = ha1 , . . . , ar i. Basta ver que b = a.
Supongamos entonces que a posee un elemento a que no esta en b, y
definamos b0 = hb, ai a. b0 es un ideal finitamente generado, incluido
en a y que contiene propiamente a b, claramente una contradiccion.
Luego a = b es finitamente generado.

Cabe recalcar que las imagenes homomorfas de anillos noetherianos

tambien son anillos noetherianos. En efecto, toda imagen homomorfa de un anillo
es isomorfa a un cociente de dicho anillo, y toda cadena de ideales en el anillo
cociente corresponde a otra cadena similar en el anillo original.
Ejemplos de anillos noetherianos son los anillos principales, tales como Z, k y k[x].
Mas ejemplos de anillos noetherianos se obtienen a partir del siguiente teorema,
conocido como el Teorema Base de Hilbert.
Teorema 1.4.1. Si A es un anillo noetheriano entonces A[x] es un anillo noetheriano.
Demostracion. Sea A un anillo noetheriano y a A[x] un ideal. Definimos b A
como el ideal formado por todos los coeficientes principales de a, que es en efecto
un ideal, y debe ser finitamente generado. Escribimos entonces b = ha1 , . . . , ar i, y

fijamos fi = ai xni + el correspondiente elemento en a para todo i = 1, . . . , r. Sea

N > max{ni : i = 1, . . . , r}. Para cada m N, definimos bm como el ideal formado
por todos los coeficientes principales de elementos en a de grado m unido con el
0, que resulta ser en efecto un ideal de A, y por lo tanto es finitamente generado.
(m)

(m)

As, tenemos que bm = ha1 , . . . , arm i, y fijamos los respectivos elementos en a,

(m)

fi

m
0
m
= am
i x + a. Afirmamos entonces que a = h{fi } {fi }i = a. En efecto,

supongamos que a0 esta contenido propiamente en a y elijamos g a \ a0 de grado

mnimo, digamos g = axd + . Si d > N, escribimos b como combinacion de los
20

P
bi ai . Tendremos que ( bi xdni fi ) = d, y como su coefiP
ciente principal es b, entonces (g bi X dni fi ) < d. As, por la minimalidad de d
P
tendremos que g bi xdni fi a0 , obligando a que g este en a0 , una contradiccion.
generadores de b: b =

Similarmente, si d N, escribimos b como combinacion de los generadores de bd :

P (d)
P (d)
P (d)
b=
bi ai . Tendremos que ( bi fi ) = d, luego (g bi fi ) < d, llegando
nuevamente a una contradiccion. Concluimos que a = a0 es finitamente generado,

lo que concluye la prueba.

Corolario 1.4.1. k[x1 , . . . , xn ] es noetheriano para cualquier cuerpo k.

Como k[x1 , . . . , xn ] es un anillo noetheriano, el anillo cociente A(Y )
tambien lo es, para cualquier variedad Y . Es decir, cualquier cadena ascendente
de ideales es estacionaria. Al aplicar el operador Z a una cadena de este tipo,
obtenemos una cadena descendente de conjuntos cerrados en Y . Esto motiva la
siguiente definicion:
Definici
on 1.4.2. Decimos que un espacio topologico es noetheriano si toda cadena
descendente de subconjuntos cerrados es estacionaria. Por lo dicho arriba, toda variedad de An es un espacio topologico noetheriano. Definimos tambien la dimension
de un espacio topologico noetheriano X, denotada por dim X, como el supremo de
todos los N Z+ tales que existe una cadena X0 ! X1 ! ! XN de subconjuntos
cerrados irreducibles distintos en X. La dimension de una variedad afn o cuasi-afn
Y es simplemente su dimension como espacio topologico noetheriano, y es denotada
por dim Y . Podemos tambien definir la dimension de un anillo A (dim A) como el
supremo de todos los N Z+ tales que existe una cadena a0 a1 aN de
ideales primos distintos de A. As definida, es claro que
dim Y = dim A(Y ),
para cualquier conjunto algebraico Y An .
Ejemplo 1.4.5. dim An = n = dim k[x1 , . . . , xn ]. ([Hartshorne, teo. 1.9, pag. 6])
21

Proposici
on 1.4.2. Una variedad Y An tiene dimension n 1 si y solo si es de
la forma Y = Z(f ), para alg
un polinomio irreducible f k[x1 , . . . , xn ].
Demostracion. [Hartshorne, prop. 1.13, pag. 7]
(a) Si Y es un subconjunto de un espacio topologico

Proposici
on 1.4.3.

X, entonces dim Y dim X.

(b) Si X =

Ui es un cubrimiento abierto de X, entonces dim X =

sup{dim Ui }.
(c) Si Y es un cerrado de un espacio topologico irreducible X de dimension
finita tal que dim Y = dim X, entonces X = Y .

Demostracion. (a) Es claro, pues cualquier cadena de cerrados irreducibles F0

F1

Fn en Y corresponde a otra similar F0

F1

(b) Sabemos por (a) que sup{dim Ui } dim X. Si F0

F1

Fn en X.

FN es una

cadena de cerrados irreducibles en X, con F0 = {p}, elegimos un abierto Ui que

contenga a p. Tendremos que Fj Ui es un abierto denso en Fj , luego obtenemos
una cadena de cerrados irreducibles F0 Ui

F1 Ui

FN Ui en Ui y

dim X dim Ui sup{dim Ui }.

(c) Si tuvieramos Y

X, a cualquier cadena de cerrados irreducibles en Y

podramos agregarle X para obtener una cadena similar en X, contradiciendo la

hipotesis.

Definici
on 1.4.3. Sea Y Pn una variedad. Entonces I(Y ) es un ideal primo
(homogeneo). Definimos el dominio S(Y ) = k[x0 , x1 , . . . , xn ]/I(Y ), llamado el anillo
de funciones de Y , o su anillo coordenado homogeneo. S(Y ) es claramente un
anillo noetheriano, por lo que Y resulta ser un espacio topologico noetheriano. La
dimension de una variedad (cuasi-)proyectiva es simplemente su dimension como
espacio topologico noetheriano.

22

Ejemplo 1.4.6. Dado que n + 1 copias de An conforman un cubrimiento abierto

de Pn , concluimos de la proposicion anterior que dim Pn = sup{dim An } = n, y

dim S(Pn ) = dim k[x0 , x1 , . . . , xn ] = n + 1.

1.5

Funciones Regulares
En esta seccion definiremos los conceptos de variedad sobre k y de

funciones regulares.
Definici
on 1.5.1. Sea Y An una variedad cuasi-afn. Decimos que f : Y A1
es una funcion regular en p Y si existe un abierto U Y con p U tal que f =

g
h

en U, para algunos g, h k[x1 , . . . , xn ] y Z(h) U = . Decimos que f es regular

en Y si es regular en todo punto.
Lema 1.5.1. Toda funcion regular f : Y A1 es continua.
Demostracion. Como los cerrados no triviales de A1 son los subconjuntos finitos,
basta ver que f 1 (a) es cerrado en Y , para todo a A1 . Equivalentemente, debemos

probar que f 1 (a)U es cerrado en toda parte U de un cubrimiento abierto. Existen

entonces g, h A(Y ) tales que f =

g
h

en U y h(p) 6= 0 para todo p U. Luego

f 1 (a) U = {p U : g(p) ah(p) = 0} = Z(g ah) U, lo que culmina la prueba.

2

Definici
on 1.5.2. De manera similar al caso afn, sea Y Pn una variedad cuasi-

proyectiva. Decimos que f : Y A1 es regular en p Y si existe una vecindad U

de p tal que f = hg , para algunas formas g, h k[x0 , x1 , . . . , xn ] del mismo grado con
h 6= 0 en U. f es regular si es regular en todo punto de Y . El lema anterior tambien
se cumple para el caso proyectivo.
Definici
on 1.5.3. Definimos una variedad sobre k como una variedad afn, cuasiafn, proyectiva o cuasi-proyectiva.
23

Observaci
on 1.5.1. Sean f, g : Y A1 funciones regulares definidas en una variedad Y tales que f = g en alg
un abierto U Y . Tendremos que el cerrado
Z = Z(f g) contiene al abierto (denso) U, luego Z = Y y f = g.
Definici
on 1.5.4. Sea Y una variedad. Definimos el anillo de funciones regulares
de Y por O(Y ) = {f : Y A1 : f es regular}.

Sean p Y , U, V Y abiertos tales que p U V y f : U A1 , g : V A1

funciones regulares. Escribimos f g si f = g en U V . Por la observacion anterior,

es una relacion de equivalencia. Denotamos la clase de f por hU, f i, y definimos

el anillo local de p en Y por el conjunto de clases de estas funciones regulares tales
que p U, y lo denotamos por Op (Y ) o simplemente Op . Op es efectivamente un
anillo local, pues mp = {hU, f i Op : f (p) = 0} es un ideal. Ademas, Op /mp
=k

(basta considerar el homomorfismo evaluacion en p).

S
En pY Op escribimos hU, f i hV, gi si f = g en U V . El cociente por esta

relacion (de equivalencia) es llamado cuerpo de funciones de Y , y es denotado por

K(Y ). K(Y ) es efectivamente un cuerpo, pues la inversa de hU, f i es dada por

hV, f1 i, donde V = U \ Z(f )(6= ). De manera natural, obtenemos homomorfismos

inyectivos O(Y ) , Op (Y ) , K(Y ), para todo p Y .
Teorema 1.5.1. Sea Y An una variedad afn. Entonces
(a) O(Y )
= A(Y );
(b) para todo p Y , Op
= A(Y )mp y dim Op = dim Y ;
(c) K(Y )
= cf (A(Y )), K(Y ) es una extension finitamente generada de k
de grado de trascendencia igual a la dimension de Y .

Demostracion. Claramente, A(Y ) O(Y ), luego el homomorfismo natural de

A(Y )mp en Op es inyectivo. Ademas, si hU, f i Op , entonces f =

g
h

para al-

gunos g, h A(Y ) con h(p) 6= 0. Luego el homomorfismo tambien es sobreyectivo

y Op
= A(Y )mp . As, dim Op = dim A(Y ) dim(A(Y )/mp ) = dim A(Y ) = dim Y ,
24

y cf(A(Y )) = cf(Op ) = K(Y ). Finalmente, como A(Y ) es un k-algebra finitamente

generado, K(Y ) es una extension finitamente generada, y su grado de trascendencia
es igual a dim A(Y ) = dim Y . Para ver (a), es claro que A(Y ) O(Y ). Supongamos
entonces que f
/ O(Y ), para alg
un f K(Y ). Sea a = {h A(Y ) : hf A(Y )}.
a es un ideal de A(Y ), y como 1
/ a, a es un ideal propio. Luego esta contenido en
alg
un ideal maximal m, que es de la forma m = mp , para alg
un p Y , y p Z(a).
Si tuvieramos que f es regular en p, entonces f =

g
h

para algunos g, h A(Y ) con

h(p) 6= 0, una contradiccion. As, f

/ O(Y ).

Teorema 1.5.2. Sea Y Pn una variedad proyectiva con anillo coordenado S(Y ).
Entonces
(a) O(Y )
= k;
(b) Op
= S(Y )(mp ) , donde mp es el ideal de S(Y ) generado por los elementos
homogeneos que se anulan en p.
(c) K(Y )
= S(Y )(0) .
Demostracion. [Hartshorne, teo. 3.4, pag. 18]

1.6

Morfismos entre Variedades

Definido el concepto de variedad, veremos a continuacion los morfismos

entre estos objetos.

Definici
on 1.6.1. Sean las variedades X, Y . Decimos que : X Y es un
morfismo si es continua y para todo abierto V Y y para toda funcion regular

f : V A1 , se tiene que f : 1 (V ) A1 es una funcion regular. Claramente,

la composicion de morfismos es un morfismo. Decimos entonces que : X Y es

un isomorfismo si existe otro morfismo : Y X tal que = idY y = idX .
En tal caso, X e Y son isomorfas.
25

Observaci
on 1.6.1. Sea : X Y un isomorfismo. induce un homomorfismo
de k-algebras : O(Y ) O(X) dado por (f ) = f . Si f = 0, entonces

f (Y ) = 0 (pues es sobreyectiva). Luego es inyectiva. Si g O(X), entonces

g 1 O(Y ) y (g 1 ) = g. As, O(Y ) y O(X) son kalgebras tambien

isomorfas. Concluimos que O(Y ), Op y K(Y ) son invariantes, salvo isomorfismos.

Proposici
on 1.6.1. Sea Ui Pn el abierto definido por xi 6= 0. Entonces las
funciones i : Ui An definidas en la seccion 1.1 son isomorfismos.

Demostracion. En efecto, sabemos que i es un homeomorfismo. Basta comprobar

que las composiciones entre funciones regulares y i o 1
en funciones rei son tambi
gulares, lo que resulta claro si las vemos simplemente como fracciones de polinomios.
2
Proposici
on 1.6.2. Sean X una variedad, Y una variedad afn. Existe una correspondencia natural biyectiva entre morfismos de X a Y y homomorfismos de
kalgebras de A(Y ) a O(X).

Demostracion.

Si : X Y es un morfismo, definimos () : O(Y )

=

A(Y ) O(X) por ()(f ) = f .

Sea ahora h : A(Y ) O(X) un ho-

momorfismo de kalgebras. Definimos i = h(xi ) O(X), y : X An por

P
(p) = (1 (p), . . . , n (p)). Veamos que (X) Y . Si f =
ai xi11 xinn I(Y ),
entonces

f ((p)) =
=

ai ii1 (p) nin (p)

ai h(x1 )i1 (p) h(xn )in (p)

= h(f )(p) = 0.
Luego f ((X)) = 0 para todo f I(Y ) y (X) Y . Tendremos que es una
aplicacion de X a Y que induce h. Veamos que es en efecto un morfismo.

26

Lema 1.6.1. Sean X una variedad, Y An una variedad afn. Entonces =

(1 , . . . , n ) : X Y es un morfismo si y solo si i : X k es regular en X, para
todo i.
Demostracion. Claramente, si es un morfismo, entonces i = xi es regular.
Recprocamente, si xi es regular, entonces f es regular (y continua) para

todo f A(Y ). Si Z = Z(f1 , . . . , fr ) Y es un cerrado, entonces 1 (Z) =

Z(f1 , . . . , fr ) tambien lo es, luego es continua. Finalmente, para una
funcion regular g : V k (V Y abierto), podemos escribir localmente g =
luego tambien se cumple que localmente g =

g1
.
g2

As, g es regular.

g1
,
g2

Corolario 1.6.1. Sean X, Y variedades afines. Entonces X e Y son isomorfos si

y solo si A(X) y A(Y ) son isomorfos (como kalgebras).

Demostracion. Consecuencia inmediata de la proposicion anterior.

Teorema 1.6.1. Sean A un dominio y L su cuerpo de fracciones. Si K es una

extension algebraica finita de L y B es la clausura integral de A en K, entonces B
es un A-modulo finitamente generado y un k-algebra finitamente generado.

Demostracion. [Hartshorne, teo. 3.9A, pag. 20]

Proposici
on 1.6.3. Sea : X Y un morfismo. Entonces:
(a) para cada p X, induce un homomorfismo de anillos locales p :
O(p) (Y ) Op (X);
(b) es un isomorfismo si y solo si es un homeomorfismo y p es un
isomorfismo para todo p X.
Demostracion. (a) En efecto, si hV, f i O(p) (Y ), entonces h1 (V ), f i Op (X),
y esta correspondencia es un homomorfismo.
27

(b) Si es un isomorfismo, entonces es continua y existe 1 , que tambien es

continua. Claramente, el homomorfismo definido en (a) es un isomomorfismo, para
todo p X. Recprocamente, veamos que 1 es un morfismo, es decir, si V X

es un abierto y f una funcion regular en V , veamos que f 1 es regular en (V ).

En efecto, si (p) (V ), por hipotesis tenemos que la preimagen de hV, f i va el
isomorfismo p pertenece a O(p) , es decir, f 1 es regular en (p).

1.7

Aplicaciones Birracionales
En esta seccion definiremos el concepto de equivalencia birracional, y

mostraremos por medio de un ejemplo el metodo de desingularizacion conocido como

explosion.
Lema 1.7.1. Sean las variedades X, Y y los morfismos , : X Y . Si existe un


abierto U X tal que U = U , entonces = .

Demostracion. Supongamos que Y Pn . Componiendo con el morfismo inclusion,

podemos suponer que Y = Pn . Consideremos la variedad Pn Pn y el morfismo

: X Pn Pn . Sea = {(p, p) : p Pn } Pn Pn . Se tiene que

= Z({xi yj xj yi : i, j = 0, 1, . . . , n}) = Z es cerrado. En efecto, es claro que
Z. Recprocamente, si (p, q) Z, supongamos primero que xi = 0. Tendremos
que para alg
un xj 6= 0, 0 = xj yi , luego yi = 0. Si xi 6= 0, por lo anterior tendremos
que yi 6= 0, luego yj = (yi /xi )xj y p = q. Por hipotesis, ( )(U) . Como

U = X y es cerrado, ( )(X) . Por lo tanto = .

Definici
on 1.7.1. Sean las variedades X e Y . Una aplicacion racional, denotada
por : X 99K Y (que en general no esta definida en todo X), es una clase de
equivalencia de pares hU, U i donde 6= U X es un abierto, U : U Y es un
morfismo y hU, U i, hV, V i son equivalentes si U = V en U V . Gracias al lema
anterior, esta relacion es efectivamente de equivalencia. Dicha aplicacion racional es
dominante si para alg
un par hU, i, (U) es denso en Y .
28

Observaci
on 1.7.1. La composicion de aplicaciones racionales dominantes es
tambien una aplicacion racional dominante. En efecto, si tenemos las aplicaciones

racionales dominantes X 99K Y 99K Z y hV, i es un representante de , escribi-

mos U = 1 (V ). As, (U) V , y la composicion esta bien definida, por lo que

podemos considerar la categora de variedades y aplicaciones racionales dominantes.
Definici
on 1.7.2. Definimos una aplicacion birracional como una aplicacion

racional : X 99K Y que admite inversa. En este caso, decimos que X e Y son
birracionales o birracionalmente equivalentes.
Lema 1.7.2. Sea Y An la hipersuperficie definida por f k[x1 , . . . , xn ]. Entonces An \ Y es isomorfo a la hipersuperficie H An+1 definida por xn+1 f

1 k[x1 , . . . , xn+1 ]. En particular, An \ Y es afn y su anillo de funciones es

k[x1 , . . . , xn ]f .
Demostracion. Como A(H) = A[xn+1 ]/hxn+1 f 1i (A = k[x1 , . . . , xn ]), tendremos

que A(H) = Af . Sea el morfismo : H An definido por (a1 , . . . , an+1 ) =

(a1 , . . . , an ).

Claramente, corresponde al homomorfismo canonico de anillos

A , Af . es una biyeccion sobre su imagen {(a1 , . . . , an ) An : f (a1 , . . . , an ) =

1/an+1 } = An \ Y , y 1 (a1 , . . . , an ) = (a1 , . . . , an , 1/f (a1 , . . . , an )) es tambien un

morfismo (pues sus coordenadas son funciones regulares).

Proposici
on 1.7.1. En cualquier variedad Y , existe una base para la topologa que
consiste solo de subconjuntos afines abiertos.
Demostracion. Dado p Y , debemos mostrar que para todo abierto U Y con
p U, existe un abierto afn V U que contiene a p. Como U es una variedad,
podemos suponer que U = Y . Ademas, toda variedad esta cubierta por variedades
cuasi-afines, luego podemos suponer que Y es cuasi-afn en An . Sea W = Y \ Y , que

es un cerrado en An , y sea a = I(W ) k[x1 , . . . , xn ]. Como p

/ W , existe f a

tal que f (p) 6= 0. Sea H = Z(f ) An . Tendremos que W H y p

/ H, es decir
29

p Y \ H que es un abierto de Y . Pero Y \ H es un cerrado de An \ H, que por el

lema anterior es afn, luego Y \ H es afn.

Teorema 1.7.1. Sean las variedades X e Y . Se tiene una biyeccion entre:

(a) el conjunto de las aplicaciones racionales dominantes de X a Y , y

(b) el conjunto de homomorfismos de k-algebras de K(Y ) a K(X).

Ademas, esta correspondencia da una equivalencia de categoras de la de variedades y

aplicaciones racionales dominantes con la de extensiones de k finitamente generadas
y sus homomorfismos.
Demostracion. Sea : X Y una aplicacion racional dominante representada por
hU, U i. Asociamos a el homomorfismo siguiente: si f K(Y ) es una funcion
racional representada por hV, f i, donde V Y es un abierto y f una funcion

regular sobre V , entonces, como U (U) es denso en Y , 1

U (V ) es un abierto no
vaco de X, y f U es regular en 1
, f U K(X). Recprocamente,
U (V ). As
sea : K(Y ) K(X) un homomorfismo de k-algebras. Sabemos que Y esta
cubierto por variedades afines, luego podemos suponer que Y es afn. Sean y1 , . . . , yn
generadores de A(Y ) como k-algebra, y sea U X un abierto tal que (yi ) sea
regular en U para todo i = 1, . . . , n. define as un homomorfismo de k-algebras
A(Y ) O(U), que corresponde a un morfismo : U Y (prop. 1.6.2). define
una aplicacion racional dominante de X a Y , y vemos que para todo f K(Y ),

f =

g
h

(g)
(h)

= ( hg ). As, las correspondencias definidas son una inversa de la

otra. Para ver que se trata de una equivalencia de categoras, basta ver que K(Y ) es
una extension de k finitamente generada, y que si K/k es una extension finitamente
generada, entonces K = K(Y ) para alg
un Y . Si Y es una variedad, K(Y ) = K(U)
para cualquier abierto afn de Y , luego podemos suponer que Y es afn. Como K(Y )
es el cuerpo de fracciones de A(Y ), que a su vez es un k-algebra finitamente generado,
K(Y ) es una extension finitamente generada. Recprocamente, si K = k(y1 , . . . , yn ),
30

tomamos B = k[y1 , . . . , yn ], luego B es un cociente de k[x1 , . . . , xn ] y es el anillo

coordenado de alguna variedad afn Y .

Corolario 1.7.1. Sean las variedades X e Y . Son equivalentes:

(a) X e Y son birracionalmente equivalentes;
(b) existen abiertos U X, V Y isomorfos;
(c) K(X)
= K(Y ) como kalgebras.
Demostracion. De la definicion de cuerpo de funciones, es claro que (b) implica (c),
mientras que del teorema anterior se desprende que (c) implica (a). Veamos que (a)
implica (b). Sean hU, i, hV, i representantes de aplicaciones racionales dominantes
inversas entre X e Y , con U X, V Y . Entonces es la identidad en el
abierto 1 (U), y lo es en 1 (V ). As, 1 ( 1 (U)) X es isomorfo a

1 (1 (V )) Y .

Proposici
on 1.7.2. Toda variedad X de dimension positiva sobre k tiene la misma
cardinalidad de k.
Demostracion. Como Pn =

Sn

i=0

Ui , donde Ui
= An , entonces card(X) (n +

1)card(k)n = card(k). Supongamos ahora que X An es una variedad afn. Si

cada coordenada x1 , . . . , xn tomara solo una cantidad finita de valores, X sera
finito, luego al menos una coordenada (digamos x1 ) toma un n
umero infinito de
valores. Por teora de eliminacion, para que un punto con un valor dado de x1 este
en X, debe satisfacer una cantidad finita de ecuaciones e inecuaciones en x1 . Por
lo tanto, los posibles valores de x1 son un conjunto finito o el complemento de un
conjunto finito. Pero sabemos que no es lo primero, luego es card(k) menos una
cantidad finita, es decir, card(k).

Observaci
on 1.7.2. Como consecuencia, dado que dos curvas cualesquiera tienen
la misma cardinalidad y consideramos la topologa del complemento finito, estas son
homeomorfas.
31

Ejemplo 1.7.1. Un ejemplo de morfismo birracional es dado por las explosiones. La

explosion es un metodo para resolver singularidades en una curva plana C. En el
captulo 2 daremos la definicion exacta de punto singular. Por el momento, podemos
decir que un punto en una curva es no singular cuando la recta tangente a la curva
esta bien definida en dicho punto. Es decir, si la curva esta dada por C = Z(f ),
f k[x, y], y p C, p es no singular si la derivada parcial fx (p) 6= 0 o fy (p) 6= 0. En
tal caso, la recta tangente a C en p = (a, b) es dada por fx (p)(xa)+fy (p)(yb) = 0.
Este problema es local, por lo que nos podemos restringir al caso de curvas afines
C A2 . Supongamos que C es dada por C = Z(x3 + y 2 x2 ), que es singular

en el punto p = (0, 0) (los terminos de menor grado y 2 x2 = (y x)(y + x) nos

dan las rectas tangentes a C en p). La idea es separar las dos ramas de la curva que
pasan por p reemplazando p por dos puntos, que corresponden a las dos tangentes
de C en p. Para esto debemos pasar al espacio de dimension 3 y modificar el plano
reemplazando el punto p por el conjunto de rectas tangentes que pasan por p, es
decir, como las rectas que pasan por p son de la forma y = tx, consideramos el
conjunto B = {(x, y, t) A3 : y = tx}. B es un conjunto irreducible en A3 que

admite el morfismo proyeccion : B A2 dado por (x, y, t) 7 (x, y). Si x 6= 0,

la preimagen 1 (x, y) = {(x, y, y/x)}. Si x = 0 y y 6= 0, la preimagen 1 (x, y) es

vaca. Si (x, y) = p, la preimagen es la recta L de puntos (0, 0, t), t k. Decimos que

(B, ) es la explosion del plano en el punto p. Vemos que si B 0 y U son los abiertos

de B y A2 respectivamente dados por x 6= 0, entonces induce un isomorfismo de

B 0 en U con inversa dada por (x, y) 7 (x, y, y/x).

La imagen inversa de C = Z(x3 + y 2 x2 ) por es el conjunto de puntos (x, y, t)

tales que y = tx y x3 + y 2 x2 = 0, es decir, y = tx y x2 (x + t2 1) = 0.

Vemos que 1 (C) es reducible y se puede descomponer como la recta L definida

por x = y = 0 y una curva C 0 cuyas ecuaciones son y = tx y x + t2 1 = 0. Esta

curva es llamada la transformada estricta de C. Si proyectamos B sobre el plano
(x, t) por 0 : B A2 obtenemos un isomorfismo con inversa (x, t) 7 (x, xt, t).

Bajo esta proyeccion, C 0 es isomorfa a la parabola C 00 = Z(x + t2 1), que es no

32

singular. Como : C C 0 es birracional, decimos que C 0 es una desingularizacion

de C. Ahora sobre p hay dos puntos, correspondientes a las dos rectas tangentes de
C en p: (0, 0, 1).

33

2.1

CURVAS NO SINGULARES

Variedades no Singulares
En esta seccion, definimos el concepto de punto singular y variedad

singular, en sus versiones geometrica y algebraica.

Definici
on 2.1.1. Sea Y An una variedad afn y sea I(Y ) = hf1 , . . . , ft i. Decimos


fi
que Y es no singular en p Y si la matriz x
(p)
tiene rango n r, donde
j

r = dim Y ; el conjunto de puntos singulares de Y es denotado por Sing(Y ). Decimos

que Y es no singular si Y es no singular en todo punto.

Observaci
on 2.1.1. Geometricamente, como vimos en el captulo anterior, un
punto en una curva es no singular cuando la recta tangente a la curva que pasa
por dicho punto esta bien definida. En general, definimos el espacio tangente Tp (Y )
a Y en p = (a1 , . . . , an ) como el espacio vectorial con origen en p dado por las
ecuaciones lineales
n
X
f
(p)(xi ai ) = 0,
x
i
i=1

Tomando g =

f I(Y ).

hj fj I, tendremos que

!
X X hj
X g
fj
(p)(xi ai ) =
fj + hj
(p)(xi ai )
x
x
x
i
i
i
i
j
i
!
X X
fj
=
hj
(p)(xi ai )
x
i
i
j
X
X fj
=
hj (p)
(p)(xi ai ),
xi
j
i
y bastara tomar un conjunto de generadores en 2.1.

34

(2.1)

Las ecuaciones que definen Tp (Y ) tienen como matriz

fi
(p)
xj

, luego


fi
dim Tp (Y ) = n rang
(p) .
xj
As, p Y es no singular si y solo si dim Tp (Y ) = dim Y .
Definici
on 2.1.2. Sea A un anillo local noetheriano con ideal maximal m y k =
A/m. En general se tiene que dimk m/m2 dim A ([Atiyah-Macdonald, cor. 11.15,

pag. 121]); en caso que dimk m/m2 = dim A, el anillo A es llamado regular local.

Gracias al siguiente resultado debido a Zariski, podemos decir cuando

una variedad es no singular de una manera intrnseca.
Teorema 2.1.1. Sea Y An una variedad y p Y . Entonces Y es no singular en
p si y solo si Op es un anillo regular local.
Demostracion. Sea p = (a1 , . . . , an ) An y mp = hx1 a1 , . . . , xn an i. Definimos

: k[x1 , . . . , xn ] k n por (f ) = f (p). Tenemos que los (xi ai ) = ei forman una

base de k n , luego la imagen de mp es k n . Restringiendonos a mp , si f m2p escribimos

P
f = i,j gij (xi ai )(xj aj ), luego todas las derivadas parciales de f dependen

de los (xi ai ), y f (p) = (f ) = 0. Recprocamente, si (f ) = 0, escribimos

P
P
f
f
f =
fi (xi ai ), entonces x
=
gi (xi ai ) + fi y x
(p) = fi (p) = 0. As,
i
i

fi mp y f m2p . Luego induce un isomorfismo 0 : mp /m2p k n . Sea a = I(Y ) =



fi
hf1 , . . . , ft i. Entonces rang x
(p)
= dim (a) = dim a/m2p = dim(a + m2p )/m2p .
j
Por otro lado, si llamamos m al ideal maximal de Op = A(Y )mp , tendremos que
m/m2 = mp /(a + m2p ). En efecto, definimos
f mp 7 f mp A(Y )mp = m 7 f + m2 m/m2 ,

luego f 7 0 m/m2 si y solo si f a + m2p . Del isomorfismo 0 se tiene


 

que dim mp /m2p = n, y como mp /m2p = (a + m2p )/m2p mp /(a + m2p ) , entonces
35

fi
(p)
xj

+ dim(m/m2 ) = n. As, si r = dim Y = dim Op (teorema 1.5.1), en


fi
tonces Op es regular si y solo si r = dim(m/m2 ), si y solo si rang x
(p)
= n r.
j
rang

Ejemplo 2.1.1. Sean Y = An y p = (0, . . . , 0). Tendremos que dim Y = n y

A = A(Y ) = k[x1 , . . . , xn ]. Ademas,


Op = f /g : f, g A y g(0) 6= 0 .
A es un DFU, luego podemos asumir que los polinomios f y g son primos relativos.
Entonces f /g pertenece al ideal maximal m de Op si y solo si f (0) = 0. As, si
(f /g) + m2 m/m2 , podemos dividir f sucesivamente por x1 , . . . , xn para obtener
f = f1 x1 + + fn xn . Luego

f1
fn
x1 + + xn + m2
g
g




f1
fn
2
2
=
x1 + m + +
xn + m
g
g




fn
f1
+ m x1 + +
+ m xn .

g
g

f
+ m2 =
g

Concluimos que la dimension del k-espacio generado por x1 , . . . , xn (es decir, n) es

mayor o igual a la dimension de m/m2 . Como sabemos que la dimension de m/m2 es
menor o igual a la dimension de A = k[x1 , . . . , xn ], concluimos que dimk m/m2 = n,
y que el origen es (efectivamente) un punto no singular de An .
Ejemplo 2.1.2. Sea Y la curva y 2 = x2 (x + 1) (el folio de Descartes) en A2 . Esta
es una variedad afn de dimension 1, con un punto singular p = (0, 0). El anillo
coordenado de Y es el k-algebra k[x, y] generado por x, y, donde x e y cumplen que
y 2 = x2 (x + 1). El ideal maximal mp del anillo local Op esta generado por x, y;
veamos que esta es tambien una base de mp /m2p . En efecto, si
f
f0
mp
x + 0 y + m2p 2 ,
g
g
mp
36

entonces
f
f0
x + 0 y + m2p =
g
g

  0

f
f
2
2
x + mp +
y + mp
g
g0

 0


f
f
+ mp x +
+ mp y.

g
g0


Concluimos de manera similar al ejemplo anterior que mp /m2p es un k-espacio de

dimension 2, como esperabamos.

Definici
on 2.1.3. Sea entonces Y una variedad. Decimos que Y es no singular en
p Y si el anillo local Op es un anillo regular local. Decimos que Y es no singular
si es no singular en todo punto.

Para nuestro estudio, que esta centrado en curvas, la siguiente equivalencia resultara muy u
til.
Teorema 2.1.2. Sea A un dominio local noetheriano de dimension 1. Entonces A
es un anillo regular local si y solo si es un anillo de valoracion discreta.

Demostracion. [Atiyah-Macdonald, prop. 9.2, pag. 94]

37

2.2

Anillos de Valoraci
on Discreta
A continuacion definiremos una herramienta del algebra que nos

sera u
til en lo que resta del trabajo, as como tambien algunas equivalencias y
propiedades.
Definici
on 2.2.1. Sea K un cuerpo. Una valoracion discreta sobre K es una funcion
sobreyectiva v : K Z tal que
v(xy) = v(x) + v(y),
v(x + y) min{v(x), v(y)}.
Dado v, definimos



R = Rv = r K : v(r) 0 ,



m = mv = r K : v(r) > 0 .

Observaci
on 2.2.1. De la primera ecuacion tenemos que v(1) = v(1) + v(1), luego
v(1) = 0. Similarmente, 0 = v(rr 1) = v(r) + v(r 1 ), luego v(r 1 ) = v(r).
Teorema 2.2.1. (R, m) es un anillo local de dimension 1. El ideal m es de la forma
m = hti (t es llamado parametro uniformizante) y cualquier ideal no nulo de R es

de la forma htn i, para alg

un entero positivo n.

Demostracion. Es claro que R es un anillo, y m es un ideal. Ademas, r R \ m si y

solo si v(r) = 0, es decir v(r 1) = 0 y r es unidad en R, por lo tanto R es local y m es

maximal. Tomemos un ideal a de R y sea r a un elemento tal que v(r) es mnimo.
Veamos que a = hri. En efecto, si s a, entonces v(s/r) = v(s) v(r) 0, o sea,
s/r R y s = r(s/r) hri. As, todo ideal es principal, en particular m = hti,

donde v(t) = 1. Finalmente, si v(r 0 ) v(r), entonces r 0 /r R y r 0 = r(r 0/r) hri,

luego todo ideal es de la forma an = {r R : v(r) n}, para alg

un n Z>0 , y
an = htn i.

2
38

Definici
on 2.2.2. Decimos que R es un anillo de valoracion discreta (AVD) si
existe una valoracion discreta v sobre su cuerpo de fracciones K tal que R = Rv .
Lema 2.2.1. Un DIP local (R, m) es un AVD.
Demostracion. Sea m = hti. Definimos v : R Z0 por v(x) = max{m Z0 : x
htm i}, para todo x R. En todo DIP, los conceptos de elemento primo e irreducible

coinciden, y todo DIP es un DFU. Si x R podemos escribir x = tn x0 , donde t

no divide a x0 . Entonces htn+1 i esta contenido propiamente en hxi y hxi htn i.

Si t no divide a x, x
/ m y x U(R), luego v(x) = 0. As, v esta bien definido
y v(R) = Z0 . Veamos que v es una valoracion discreta. Si x, y R, escribimos

x = tn x0 , y = tm y 0, donde x0 , y 0 U(R). Tendremos que v(xy) = n+m = v(x)+v(y)

y (suponiendo n m) v(x + y) = v(tm (tnm x0 + y 0 )) m = min{v(x), v(y)}, luego

v es una valoracion discreta. Extendiendo v al cuerpo de fracciones K de R por

v(a/b) = v(a) v(b), veamos que Rv = R. Es claro que R Rv . Recprocamente,

si a/b Rv (es decir, v(a/b) = v(a) v(b) 0) escribimos a = tn a0 , b = tm b0 , donde

a0 , b0 U(R), luego a/b = tnm (a0 /b0 ) con a0 /b0 U(R) y a/b R. Por lo tanto,
Rv = R y R es un AVD.

Recordemos que, si R es un dominio con cuerpo de fracciones K, y x K

es un elemento que es raz de un polinomio monico con coeficientes en R, decimos
que x es entero sobre R. Decimos que R es ntegramente cerrado si todo elemento
entero sobre R esta en R.
Teorema 2.2.2. Sea R un dominio local noetheriano de dimension 1. Entonces R
es un AVD si y solo si es ntegramente cerrado.

Demostracion. Sea R un AVD con cuerpo de fracciones K y valoracion discreta v.

Entonces R es claramente un dominio euclidiano con la norma dada por v (v(0) = 0),
y por lo tanto un DFU. Como todo DFU es ntegramente cerrado en su campo de
fracciones, concluimos que R es ntegramente cerrado. Supongamos ahora que R es
39

un dominio local noetheriano ntegramente cerrado de dimension 1, y sea m su ideal

maximal.
Afirmacion: m es principal.
Sea a m. Para todo b R \ hai consideramos el ideal



(a : b) = r R : rb/a R = r R : rb hai .
Elegimos b R tal que (a : b) sea maximal respecto a la inclusion. Vemos que (a : b)
es primo, pues si xy (a : b) y x
/ (a : b), entonces xyb hai y xb
/ hai, por lo
que (a : xb) esta definido y y (a : xb). Como rb hai implica rxb hai, entonces
(a : b) (a : xb) y por la maximalidad de (a : b), (a : b) = (a : xb). As, (a : b)
es primo, y como R es local de dimension 1, m = (a : b). Veamos que (b/a)m = R.
Si x m, entonces x (a : b) y bx hai, luego (b/a)x R. Recprocamente, si
x R escribimos x = (b/a)(xa/b). Como (xa/b)b = xa hai, entonces (xa/b) m
y x (b/a)m. As, (b/a)m = R y m = R(a/b) = ha/bi.
Afirmacion: Todo ideal de R es principal.
Supongamos lo contrario, y definamos F como la familia de ideales de
R que no son principales. Sea a F un elemento maximal (que existe, pues R es

noetheriano). Tendremos que a m = hti, entonces a t1 a R. Como a es un

R-modulo finitamente generado, digamos a = hx1 , . . . , xn i, si a = t1 a tendramos

P
P
que t1 xi = j aij xj para algunos aij R. Es decir, j (ij t1 aij )xj = 0 para

todo i = 1, . . . , n. As, (x1 , . . . , xn ) es una solucion no trivial y det(ij t1 aij ) = 0.

Como t1 solo aparece en la diagonal, dicho determinante es de la forma (t1 )n +

a1 (t1 )n1 + = 0, y t1 sera integral sobre R y por lo tanto t1 R, obteniendo
R = m. Luego a esta contenido propiamente en t1 a y t1 a es principal. Pero

t1 a = hdi implica a = htdi, una contradiccion. Concluimos que F = . Por el lema

anterior, R es un AVD.

40

Corolario 2.2.1. Si R es un dominio de Dedekind, entonces Rp es un AVD, para

todo ideal primo p R.
Demostracion. R es un dominio noetheriano ntegramente cerrado de dimension 1,
luego Rp tambien lo es, y ademas es local. Por el teorema anterior, Rp es un AVD.
2
Proposici
on 2.2.1. Si A B son AVD con el mismo cuerpo de fracciones F ,
entonces A = B.
Demostracion. En efecto, sean vA y vB las respectivas valoraciones y supongamos
que B \ A 6= . Tendremos que vB (b) 0 y vA (b) < 0 para alg
un b B \ A
no nulo. Sea x F . Entonces existe n Z+ tal que nvA (b) < vA (x), luego
vA (bn ) < vA (x) y 0 < vA (xbn ). As, xbn = a A y x = abn A[b]. Tendremos

que F A[b] B F , llegando a la contradiccion B = F . Por lo tanto, A = B. 2

2.3

Clasificaci
on de Curvas no Singulares
En esta seccion demostraremos que toda curva es birracionalmente

equivalente a una curva proyectiva no singular. Para ello sera necesario definir
el concepto de curva no singular abstracta.
Sea K/k una extension finitamente generada con grado de trascendencia 1. Sea
CK = {R K : R es un AVD de K/k}. (Es decir, v(x) = 0 para todo x k .)
Lema 2.3.1. Para todo a K, {R CK : a
/ R} es un conjunto finito.
Demostracion. Claramente, {R CK : a
/ R} = {R CK : a1 = b mR }.
Si b k R, b
/ mR y el conjunto es vaco. Supongamos entonces que b
/ k.
Como k es algebraicamente cerrado, debemos tener k[b]
= k[x]. Ademas, como
K/k es finitamente generada, entonces K/k(b) tambien lo es, y como su grado de
trascendencia es 1, K/k(b) es algebraica. Luego K es una extension finita de k(b).
41

Sea B la clausura integral de k[b] en K. Del teorema 1.6.1, B es un k-algebra

finitamente generado (es noetheriano), es ntegramente cerrado y de dimension 1
(dim k[b] = 1). Es decir, B es un dominio de Dedekind. Sea Y la variedad afn con
el k-algebra B como anillo de funciones regulares. Y sera una curva (dim B = 1)
no singular por ser B ntegramente cerrado. Ademas, su cuerpo de funciones es K.
En efecto, si s K, s es algebraico sobre k(b), luego existe g k[b] tal que gs es
integral sobre k[b], luego esta en B. Esto prueba que el cuerpo de fracciones de B
es K. Supongamos ahora que b R, para alg
un R CK . Tendremos que k[b] R,
y por ser R ntegramente cerrado, B R. Consideremos el ideal primo (y por lo
tanto maximal, pues dim B = 1) m = mR B de B. Tendremos una inclusion de
AVDs Bm R. Por la u
ltima proposicion de la seccion anterior, Bm = R. As, R es
isomorfo al anillo local de alg
un punto xR de la curva Y . (Todo R CK es isomorfo
al anillo local de alg
un punto en una curva afn no singular con cuerpo de funciones
K). Finalmente, si ademas b mR , entonces b se anula en xR , y esto pasa solo para
un n
umero finito de puntos, lo que concluye la prueba.

Corolario 2.3.1. Todo AVD de K/k es isomorfo al anillo local de un punto en

alguna curva afn no singular.

Demostracion. Viene del lema anterior.

Llamaremos puntos a los elementos de CK . En tal caso, el punto p

CK es el AVD Rp CK . Fijando una curva, todos estos son distintos entre s
(proposicion 2.2.1) y existe un n
umero infinito de ellos (proposicion 1.7.2). As,
CK es infinito. Damos a CK la topologa del complemento finito. Si U CK es
un conjunto abierto, definimos el anillo de funciones regulares en U como O(U) =
T
on de U en k por f (p) = f + mp ,
pU Rp . Un elemento f O(U) define una funci

donde mp es el ideal maximal de Rp (f (p) k, pues por corolario anterior, RP /mP =

k). Si f, g O(U) definen la misma funcion, entonces f g mp para todo p U,
luego f = g (por el lema anterior). As, podemos identificar a los elementos de O(U)

42

con funciones de U en k. Ademas, (nuevamente por el lema anterior) todo f K

es funcion regular para alg
un abierto U, luego el cuerpo de funciones de CK es K.
Definici
on 2.3.1. Definimos una curva no singular abstracta como un abierto U
CK con su topologa inducida, y con la nocion de funcion regular.
Haremos a las curvas abstractas formar parte de la categora de variedades, para luego demostrar que efectivamente toda curva no singular es una
variedad.
Definici
on 2.3.2. Un morfismo : Y X entre curvas abstractas no singulares
o variedades es una aplicacion continua tal que para todo abierto U X y toda
funcion regular f : U k, f es una funcion regular en 1 (U).

Proposici
on 2.3.1. Toda curva cuasi-proyectiva no singular Y es isomorfa a una
curva abstracta no singular.

Demostracion. Sea K el cuerpo de funciones de Y . Entonces todo anillo local Op ,

p Y , es un AVD de K/k, y a puntos distintos le corresponden subanillos distintos
de K. Sea entonces U CK el conjunto de anillos locales de Y y sea : Y U
la biyeccion definida por (p) = Op . Veamos que U CK es abierto. Podemos
suponer que Y es afn (proposicion 1.7.1) con anillo de funciones A = A(Y ). A es
un k-algebra finitamente generado con cuerpo de fracciones K y U es el conjunto
de localizaciones en sus ideales maximales. Es decir, U es el conjunto de todos los
AVD de K/k que contienen a A. Supongamos que A = k[x1 , . . . , xn ]. Tendremos
que A Rp (Rp U) si y solo si xi Rp para todo i = 1, . . . , n. Por lo tanto,
T
U = Ui , donde Ui = {p CK : xi Rp }. Pero {p CK : xi
/ Rp } es finito, luego
Ui es abierto y U es abierto. As, U es una curva abstracta no singular. Para ver

que es un isomorfismo, basta ver que las funciones regulares son las mismas en
T
cualquier abierto. Esto es obvio pues para todo abierto V Y , O(V ) = pV Op .2

43

Proposici
on 2.3.2. Sean X una curva abstracta no singular, p X, Y una variedad proyectiva y : X \ {p} Y un morfismo. Entonces existe un u
nico morfismo
: X Y que extiende a .
Demostracion. Supongamos que Y Pn es un conjunto cerrado. Si extiende a

, entonces tendremos que (X) Y , luego podemos suponer que Y = Pn . Sea el

S
abierto U = Pn \Z(x0 xn ). Si (X \{p})U = , es decir, si (X \{p}) Z(xi ),

un i. Podemos
entonces (X \ {p}) Z(xi )
= Pn1 (pues es irreducible), para alg
entonces asumir que (X \ {p}) U 6= .
Sabemos que

xi
xj

es una funcion regular en U, luego fij =

xi
xj

es tambien regular

en un abierto de X, que podemos ver como funcion racional en X (fij K, donde

K es el cuerpo de funciones de X). Sea v la valoracion de K asociada al AVD Rp .
Sea ri = v(fi0 ), para i = 0, . . . , n. Como

xi
xj

xi /x0
,
xj /x0

tendremos que v(fij ) = ri rj .

Sea rk = min{ri : i = 0, . . . , n}, entonces v(fik ) 0 para todo i = 0, . . . , n,

luego f0k , . . . , fnk Rp . Definimos (p) = (f0k (p), . . . , fnk (p)) y (q) = (q), q 6= p.
nica. Para ver que es un morfismo, basta ver que induce funciones
Claramente, es u
regulares a partir de funciones regulares definidas en alguna vecindad de (p). Sea
el abierto Uk = Pn \ Z(xk ), entonces (p) Uk , pues fkk = 1. Uk es afn, con anillo
coordenado k[x0 /xk , . . . , xn /xk ]. Por construccion, las funciones correspondientes
f0k , . . . , fnk son regulares en p. Por lo tanto, para cualquier funcion regular definida
en alguna vecindad V Uk de (p), la correspondiente funcion definida por sera
regular.

Teorema 2.3.1. Sea K una extension finitamente generada de k con grado de

trascendencia 1. Entonces la curva no singular abstracta CK es isomorfa a una
curva proyectiva no singular.
Demostracion. Sea p C = CK . Entonces existen una curva afn no singular X y

q X tal que Rp
= Oq . Luego el cuerpo de funciones de X es K y X es isomorfo a
alg
un abierto de C. Es decir, todo punto p C posee una vecindad isomorfa a una
variedad afn.
44

Como C es cuasi-compacto, podemos cubrirlo con una cantidad finita de abiertos

Ui isomorfos a variedades afines Xi Ani . Xi es un abierto de Pni , y llamamos Yi

a su clausura. Yi Pni es una variedad proyectiva, y i : Ui Yi son isomorfismos

sobre su imagen.
Por la proposicion anterior, podemos extender i a i : C Yi . Consideremos la
Q
Q
Q
variedad proyectiva Yi , y sea : C Yi la aplicacion producto (p) = i (p).
Sea Y la clausura de la imagen de . Entonces Y es una variedad proyectiva y

: C Y es un morfismo cuya imagen es densa en Y (por lo tanto, Y es una

curva).
Veamos que es un isomorfismo. Si p C, p Ui para alg
un i. Tendremos un
diagrama conmutativo
CO

Ui

Yi

de morfismos dominantes, luego tenemos las inclusiones de anillos locales

Oi (p) (Yi ) , O(p) (Y ) , Op (C), donde Oi (p) (Yi )
= Op (C). Por lo tanto, por
1.6.3, p : O(p) (Y ) Op (C) es un isomorfismo.
Sea q Y . Oq es dominado por alg
un AVD R CK (basta tomar la localizacion
de la clausura integral de Oq en alg
un ideal maximal). Pero R = Rp para alg
un
p C y O(p)
= R, luego q = (p). Ademas, es inyectivo, pues distintos puntos
de C corresponden a distintos subanillos de K. Concluimos que : C Y es un
morfismo biyectivo tal que p es un isomorfismo, para todo p C. Nuevamente por
la proposicion 1.6.3, es un isomorfismo.

Corolario 2.3.2. Toda curva abstracta no singular es isomorfa a una curva cuasiproyectiva. Toda curva cuasi-proyectiva no singular es isomorfa a un abierto de una
curva proyectiva no singular.
Corolario 2.3.3. Toda curva es birracionalmente equivalente a una curva proyectiva
no singular.

45

Demostracion. En efecto, si Y es una curva con cuerpo de funciones K, entonces Y

es birracionalmente equivalente a CK , que es no singular y proyectiva.
Corolario 2.3.4. Las siguientes categoras son equivalentes:

(a) curvas proyectivas no singulares, y morfismos dominantes;

(b) curvas cuasi-proyectivas, y aplicaciones racionales dominantes;
(c) extensiones de k finitamente generadas de grado de trascendencia 1, y
k-homomorfismos.

Demostracion. Conocemos el funtor de a) a b). Para definir el funtor de b) a c),

hacemos corresponder a Y el cuerpo K(Y ). Este es un funtor por el teorema 1.7.1.
Sea entonces K un cuerpo del tipo c). Le asociamos la curva CK , que es una curva
proyectiva no singular, por el teorema. Si K2 K1 es un k-homomorfismo, este
induce va el funtor de b) a c) una aplicacion racional entre las curvas correspondientes. Esta se puede representar por un morfismo : U CK2 , donde U CK1
es un abierto. De la proposicion 2.3.2, tenemos una extension : CK1 CK2 . Si
K3 K2 K1 son dos homomorfismos, se sigue la unicidad de la proposicion 2.3.2
que los correspondientes morfismos C1 C2 C3 y C3 C1 son compatibles.
Por lo tanto, K 7 CK es un funtor de c) a a). Es claramente inverso del funtor
a)b)c), luego obtenemos una equivalencia de categoras.

46

3.1

ESQUEMAS

Prehaces y haces

Definici
on 3.1.1. Sea Top(X) la categora formada por los subconjuntos abiertos
de un espacio topologico X, donde los u
nicos morfismos entre estos objetos son las
inclusiones; as, convenimos que Hom(V, U) = si V * U, y que Hom(V, U) admite
un solo elemento si V U. Un prehaz F de anillos en X es un funtor contravariante
de Top(X) en la categora de anillos, tal que F() es el anillo trivial cero, denotado
simplemente por 0; si : U , V es una inclusion de abiertos en X, entonces
definimos el homomorfismo de anillos V U por V U := F() : F(V ) F(U).
Si F es un prehaz en X y U X es un subconjunto abierto, la asignacion V 7 F(V )
para todo conjunto abierto V U determina obviamente un prehaz en U, llamado

restriccion de F a U, y es denotado por F U ; esto es, si V1 V2 U, tendremos

V1 V2 : V1 , V2 y F U (V1 V2 ) = V2 V1 .

Para un prehaz F en X, nos referiremos a los elementos de F(U) como las secciones
de F sobre U, y F(X) es el conjunto de secciones globales de F. Llamaremos a U V

el homomorfismo restriccion y tambien escribiremos sV en lugar de U V (s) cuando
s F(U).

Definici
on 3.1.2. Un prehaz F en X es llamado haz si para todo subconjunto
S
abierto U de X y todo cubrimiento U = iI Ui , se cumplen:

i) Si s F(U) es tal que sUi = 0 para todo i I, entonces s = 0.



ii) Si para cada i I tenemos si F(Ui ) tal que si Ui Uj = sj Ui Uj para

todo i, j I, entonces existe s F(U) con sUi = si para todo i I.

Observaci
on 3.1.1. El elemento s de la condicion ii) es u
nico. En efecto, sea s0


F(U) tal que s0 Ui = si para todo i; luego para cada i I se cumple (s s0 )Ui = 0;
se sigue de i) que s = s0 .

47

Definici
on 3.1.3. Decimos que un par (X, F), donde X es un espacio topologico y
F es un haz de anillos, es un espacio anillado.
Ejemplo 3.1.1. Dada la variedad Y sobre k, asociamos a cada abierto U de Y el
T
anillo de funciones regulares O(U) = pU Op . As definido, y por las propiedades

vistas en el captulo 1, O es un haz de anillos en Y , mientras que (Y, O) es un espacio

anillado.

Ejemplo 3.1.2. Dado el espacio topologico X, asociamos a cada abierto U el anillo

F(U) de funciones continuas U R, considerando a R con su topologa usual. F
es un prehaz con la restriccion usual de funciones, y es un haz pues una funcion

f : U R es continua si y solo si es continua en cada restriccion f Ui , para todo

cubrimiento abierto {Ui } de U.

Ejemplo 3.1.3. Dado el espacio topologico X, asociamos a cada abierto U el espacio

vectorial F(U) formado por todas las funciones reales localmente constantes definidas
en U, modulo las funciones constantes. Decimos que F es un prehaz de espacios
vectoriales. Sin embargo, dado s F(U), existe un cubrimiento {Ui } de U tal que

sUi = 0, mientras que si U no es conexo, F(U) 6= {0}. Por lo tanto, F no es un haz.
Definici
on 3.1.4. Si F es un prehaz en X y p X, definimos el tallo Fp de F en

p como el lmite directo de los anillos F(U), donde U vara en la familia de abiertos
de X que contienen a p, relativo al sistema de homomorfismos V U para U V . Es
decir,
F(U) =
Fp = lim

pU

pU

F(U)/ ,

donde s t, con s F(U), t F(V ) si existe W U V vecindad de p tal que



sW = tW . Los elementos de Fp son denotados por sp := hU, si, donde U es una

vecindad de p y s F(U).

Observaci
on 3.1.2. Sean F un haz sobre X, U un abierto de X y sea s F(U) una
seccion tal que sp = 0 para todo p U. Entonces s = 0. En efecto, si hU, si = sp = 0

para todo p U, entonces para cada p existe una vecindad Up U tal que s = 0.
Up

Luego, por la propiedad de haz, s = 0.

48

Observaci
on 3.1.3. Sean F un haz sobre X, U un abierto de X y sea p U.

Entonces (F U )p = Fp . En efecto, dado un abierto V de X, se tiene hV, si =

hV U, sV U i.

Definici
on 3.1.5. El espacio anillado (X, F) es localmente anillado si Fp es un
anillo local para todo p X.
Ejemplo 3.1.4. El espacio anillado (Y, O) del ejemplo 3.1.1 es un espacio localmente
anillado.
Definici
on 3.1.6. Si F y G son prehaces de anillos en X, un morfismo de prehaces
: F G es una familia de homomorfismos de anillos (U) : F(U) G(U), donde
U es un subconjunto abierto de X; ademas, estos homomorfismos son compatibles
con las restricciones de F y G, es decir, siempre que tenemos V U, el diagrama
F(U)

(U )

G(U)

U V

0U V

F(V )

(V )

G(V )

es conmutativo, siendo y 0 las restricciones en F y G, respectivamente. Un morfismo entre los haces F y G es un morfismo de prehaces : F G. Decimos que el
morfismo es un isomorfismo si (U) : F(U) G(U) es un isomorfismo para cada
abierto U de X. Si : F G y : G H son dos morfismos de prehaces (haces),
la composicion de con es el morfismo de prehaces (haces) : F H,
definido como ( )(U) := (U) (U) para todo abierto U de X. Los prehaces
sobre X junto con los morfismos de prehaces forman una categora que denotamos
por Preh(X). Similarmente, denotamos por Hac(X) a la categora de haces sobre
X.

No tiene sentido hablar de morfismos de haces que estan definidos en

distintos espacios topologicos. Sin embargo, dada una funcion continua X Y ,
podemos definir un haz de anillos en Y a partir de uno en X.
49

Definici
on 3.1.7. Sea f : X Y una funcion continua. Dado el haz de anillos F

sobre X, definimos el haz imagen directa f F sobre Y por f F(V ) = F(f 1(V )).

Definici
on 3.1.8. Un morfismo de espacios anillados (X, FX ) (Y, FY ) es un par

(f, f ] ) formado por una aplicacion continua f : X Y y un morfismo f ] : FY

f FX de haces de anillos sobre Y .
Ejemplo 3.1.5. Sean X y Y dos variedades y : X Y un morfismo. Entonces

existe un morfismo de espacios anillados (X, OX ) (Y, OY ) inducido de forma

natural, donde es la funcion continua y el morfismo de haces de anillos OY OX
esta dado por
OY (U) OX (1 (U))
g 7 ]U (g) = g .
Observaci
on 3.1.4. Sea p X. El morfismo de haces f ] : FY f FX consiste

en particular de homomorfismos de anillos fV] : FY (V ) FX (f 1 (V )), para toda

vecindad V de f (p). Haciendo variar V a lo largo de todas las vecindades de f (p),

f 1 (V ) vara a lo largo de todas las vecindades de p, luego tomando lmites directos

obtenemos la aplicacion inducida
fp]

FY,f (p) = lim

FY (V )

f (p)V

lim

FX (f 1 (V )) = FX,p ,

pf 1 (V )

dada por
hV, si 7 hf 1(V ), fV] (s)i.
Veamos que esta bien definida. Si hV, si = hU, ti FY,f (p) , donde s FY (V ), t


FY (U), entonces sW = tW , para alguna vecindad W de p. Usando los diagramas

50

conmutativos
FY (V )


FY (W )

fV]

]
fW

f FX (V )

FY (U)

f FX (W )

FY (W )

]
fU

]
fW

f FX (U)


f FX (W )

vemos que

es decir,



fV] (s)f 1 (W ) = fU] (t)f 1 (W ) ,
hf 1 (V ), fV] (s)i = hf 1(U), fU] (t)i.

Definici
on 3.1.9. Un morfismo de espacios localmente anillados es un morfismo
(f, f ] ) de espacios anillados tal que, para cada p X, la aplicacion inducida de
anillos locales fp] : Ff (p) Fp es un homomorfismo local de anillos locales (es decir,

la preimagen del ideal maximal de Fp coincide con el ideal maximal de Ff (p) ).

Un isomorfismo de espacios localmente anillados es un morfismo que posee inversa.
Es decir, (f, f ] ) es un isomorfismo si y solo si f es un homeomorfismo y f ] es un
isomorfismo de haces.
Definici
on 3.1.10. Sea B una base para el espacio topologico X. Decimos que
una coleccion de anillos F(U) para U B y aplicaciones V U : F(V ) F(U) para
abiertos basicos U V forman un B-haz si satisfacen los axiomas de haces en los
abiertos basicos.
Proposici
on 3.1.1. Sea B una base para el espacio topologico X. Entonces todo
B-haz en X se extiende de manera u
nica a un haz sobre X.

51

Demostracion. Sea U X un abierto. Definimos F(U) como el lmite inverso de

los anillos F(V ) donde V vara sobre los abiertos V B contenidos en U. Es decir,
F(U) =

lim

F(V )

V U,V B

(fV )V U,V B

V U,V B

)

F(V ) : fV W = fW si W V U, W, V B .

Definimos ademas las proyecciones naturales UV : F(U) F(V ) por (fW ) 7 fV .

Comprobemos primero los axiomas de prehaz. Los homomorfismos restriccion estan
dados por la propiedad universal del lmite inverso: si U U 0 son abiertos de X,
0

tendremos que V U 0 , para todo abierto basico V U, luego UV : F(U 0 ) F(V )

0

esta bien definido y UV = V 0 V UV 0 , donde V 0 es un abierto basico contenido en U 0


0
0
((V 0 V UV 0 )(fW 0 ) = V 0 V (fV 0 ) = fV 0 V = fV = UV (fW 0 )). Por la propiedad universal
0

del lmite inverso, existe un u

nico U 0 U : F(U 0 ) F(U) tal que UV U 0 U = UV .

Si U 0 = U, tendremos que UV U U = UV , luego U U = id.

Para abiertos U 00 U U 0 de X, tendremos que

0

UV 00 U 0 U = UV 00 ,
para abiertos basicos V 00 U 00 . Similarmente,
00

UV 00 U U 00 = UV 00 ,
00

UV 00 U 0 U 00 = UV 00 .
Reemplazando estas dos u
ltimas ecuaciones en la primera, obtenemos
00

00

UV 00 U U 00 U 0 U = UV 00 U 0 U 00 ,

52

y finalmente, por la unicidad de la propiedad universal,

U U 00 U 0 U = U 0 U 00 .
Es decir, las restricciones se comportan bien para los abiertos de X.
Comprobemos ahora los axiomas de haz. Si U X es un abierto, {Ui } es un

cubrimiento abierto de U y (fW ) F(U) es tal que (fW )Ui = 0, vemos que
fV = UV (fW ) = (UV i U Ui )(fW ) = 0,

para cualquier abierto basico V Ui . Luego (fW ) = 0.

Ahora, dados el abierto U X, el cubrimiento abierto {Ui } de U y secciones


(fWi ) F(Ui ) tales que (fWi )Ui Uj = (fWj )Ui Uj , para todo i, j, tendremos que
fWi F(Wi ) para alg
un abierto basico Wi Ui , luego Wi U. Podemos definir

entonces (fW ) F(U) tomando todas las secciones fWi F(Wi ) para alg
un abierto
basico Wi Ui , para alg
un i. Ademas, si Vi Ui es un abierto basico, tendremos que
las proyecciones de F(U) y F(Ui ) sobre F(Vi ) son precisamente fVi , luego debemos

tener U Ui (fW ) = (fW )U = (fWi ).
i

Finalmente, si U B, la nueva definicion concuerda con la original. En efecto, si

fU F(U), tomamos
fV =

fU ,

V =U

fU  , V ( U.
V

As, (fV ) pertenece a la nueva definicion de F(U), y cualquier otro elemento de

Q
on, pertenecer a dicho conV U,V B F(V ) distinto de (fV ) no puede, por definici
junto.

53

3.2

Esquemas

Definici
on 3.2.1. Sea A un anillo y X = Spec A el conjunto de ideales primos de
A. Para cada subconjunto S de A, sea V (S) = {p X : S p} y sea C la coleccion

de estos conjuntos. Si a = hSi, se tiene que V (S) = V (a) = V ( a), as que C puede
ser considerado como la coleccion de conjuntos de la forma V (a), donde a es un ideal
radical de A. Si S = {f1 , . . . , fn }, escribimos V (S) = V (f1 , . . . , fn ). Vemos que:
(a) V (0) = X y V (1) = .
(b) Dados los ideales a1 , a2 de A, se tiene que
V (a1 a2 ) = V (a1 a2 ) = V (a1 ) V (a2 ).
(c) Dada la familia {ai }iI de ideales de A, se tiene que
\

V (ai ) = V

iI

X
iI

ai

=V

[
iI

ai .

As, existe una topologa sobre X tal que la familia de subconjuntos

cerrados de X coincide con C. La topologa as obtenida es llamada topologa espectral o topologa de Zariski de X.
Denotaremos a los elementos de X por x. Al referirnos al correspondiente ideal
primo de A escribiremos px .
Proposici
on 3.2.1. Sean x, y X = Spec A. Se cumplen las siguientes afirmaciones:
(a) V (px ) = {x}.
(b) {x} es cerrado si y solo si px es maximal.
Demostracion.
54

(a) En efecto, {x} =

apx

V (a) = V (

apx

a) = V (px ).

(b) Como px py si y solo si y V (px ), px es maximal si y solo si x es el

u
nico punto de V (px ).

Definici
on 3.2.2. Para todo f A, definimos Xf = X \ V (f ), llamado el abierto
basico determinado por f . {Xf } es efectivamente una base para la topologa de X:
si U X es un abierto, U es de la forma U = X \ V (a), para alg
un ideal a A, y
X \ V (a) = X \ V

X
f a

hf i

=X\

V (f ) =

f a

f a

X \ V (f ) =

Xf .

f a

Observaci
on 3.2.1. Los elementos de Xf = (Spec A)f (los ideales primos que no
contienen a f ) estan en correspondencia uno a uno con los ideales primos de Af .
Ademas, los abiertos basicos son cerrados bajo intersecciones finitas, es decir
n
\

Xfi = Xg ,

i=1

donde g = f1 fn A. En efecto, basta probarlo para i = 2, y el resultado

es inducido facilmente. x Xf1 Xf2 , es decir, x
/ V (f1 ) V (f2 ), si y solo si
f1 , f2
/ px , o equivalentemente, si y solo si f1 f2 = g
/ px .
Mas a
un, se tiene que Xf Xg si y solo si alguna potencia de f es m
ultiplo de g,
es decir
Xf Xg f n = gh, para alg
un h A.
En efecto, V (g) V (f ) (f px para todo x V (g)) si y solo si f
p
hgi, lo que prueba la afirmacion.

xV (g)

Lema 3.2.1. Sea {fi }iI un conjunto de elementos de A. Entonces X =

si y solo si 1 hfi iiI .

55

px =

iI

Xfi

Demostracion. Como

iI

X=

Xfi = X \

[
iI

Xfi

iI

\
iI

V (fi ), entonces

V (fi ) =

@x X : fi px , i I
@x X : hfi iiI px
hfi iiI = A.
2

Corolario 3.2.1. X es cuasi-compacto.

Demostracion. Basta probar que todo cubrimiento por abiertos basicos admite un
S
P
subcubrimiento finito. Si X = iI Xfi , entonces 1 hfi iiI , luego 1 = nj=1 gj fij
S
y X = nj=1 Xfij .
2
Definamos ahora un haz de anillos O sobre X = Spec A. Para ello,

en virtud de la u
ltima proposicion de la seccion anterior, bastara definir un B-haz
sobre los abiertos basicos Xf . Definimos entonces
O(Xf ) = Af
(as, para f = 1, se tiene que O(X) = O(Spec A) = A; esto generaliza la relacion
entre una variedad afn y su anillo coordenado). Si Xg Xf , entonces existe h A
tal que g n = f h, y el homomorfismo restriccion puede ser definido de la siguiente

manera:
Af Ag
a
a hm
7
.
fm
g nm
Veamos que estos abiertos basicos junto con estas restricciones constituyen un Bhaz:
56

Proposici
on 3.2.2. Sea X = Spec A y supongamos que Xf esta cubierto por abiertos Xfi Xf .
(a) Si g Af es tal que su imagen es 0 en cada Afi , entonces g = 0.
(b) Supongamos que tenemos elementos gi Afi tales que para todo par
gi , gj , estos tienen la misma imagen en Afi fj . Entonces existe g Af
cuya imagen en Afi es gi , para todo i.
Demostracion. Supongamos que g = b/f n y sea a = {a A : ab = 0}. Son
equivalentes:

i) g = 0 en Af .
ii) Existe un entero positivo m tal que f m b = 0 en A.
iii) f

a.

iv) x X y a px f px .
Las equivalencias i) ii) iii) son claras por definicion. Veamos que iii) iv). Si

a px , entonces a px = px . Por iii), f px . Recprocamente, por iv), f px

T

para todo px a, luego f px a px = a.

Supongamos entonces que g 6= 0 en Af , entonces existe x X con a px tal que

f
/ px , es decir, x Xf . Luego x Xfi , para alg
un i. Obtenemos el diagrama
conmutativo
Af

BB
BB
BB
BB
!

Apx

/ Af
i
{
{{
{
{{
{} {

(Af y Afi estan contenidos de manera natural en Apx ), y como la imagen de g en

Afi es cero, lo mismo pasa con la imagen de g en Apx , y con la imagen de b = g f n .
Luego, existe a
/ px tal que ab = 0, y a a, una contradiccion. Por lo tanto, g = 0.
57

Probemos ahora (b), primero para f = 1, Af = A y Xf = X. Escribimos gi =

hi /fini Afi , luego g fn = h . Como X es cuasi-compacto, podemos elegir un
subcubrimiento finito, y para un n suficientemente grande obtenemos gi fin = hi ,

para alg
un hi A. Como gi y gj son iguales en Afi fj , tendremos que
fjn hi = (fi fj )n gi = (fi fj )n gj = fin hj .
S
S
Por otro lado, como 1 h. . . , fi , . . .i y X = Xfi Xfin , entonces 1 hfin ii .
P n
P
Tendremos que 1 =
ei fi , para algunos ei A. Veamos que g =
ei hi es el
elemento que buscamos. Para todo j, en Afj se tiene
fjn g =

fjn ei hi =

fin ei hj = hj = fjn gj ,

y g = gj en Afj .
Para el caso general, hacemos X 0 = Xf , A0 = Af y fi0 = f fi , y aplicamos el caso ya
probado.

Definici
on 3.2.3. El haz sobre Spec A recien construido es llamado haz estructural
de X, y el par (Spec A, O) es llamado el espectro de A.
Observaci
on 3.2.2. Tambien podemos definir el haz estructural de la siguiente
manera: si U es un abierto de Spec A, definimos

O(U) =

s:U

xU

Apx : s(x) Apx y s es localmente constante .

En efecto, de [Hartshorne, prop. 2.2, pag. 71], se tiene que, as definido, el haz
cumple que O(Xf ) = Af , para todo f A. De la unicidad de la u
ltima proposicion
de la seccion anterior, podemos considerar este como el haz estructural. Ademas,
para todo x X se tiene que Ox , el tallo de O en x, es isomorfo al anillo local Apx .
Definici
on 3.2.4. Un esquema afn es un espacio localmente anillado (X, OX ) que
es isomorfo (como espacio localmente anillado) al espectro de alg
un anillo. Un
58

esquema es un espacio localmente anillado (X, OX ) tal que cada punto tiene una

vecindad U de manera que el espacio anillado (U, OX U ) es un esquema afn. Si

(X, OX ) es un esquema, y si no hay lugar a confusion, escribiremos simplemente

X para denotar tanto al esquema como al espacio topologico. Un morfismo de

esquemas es un morfismo de espacios localmente anillados. Un isomorfismo es un
morfismo que posee inversa. As, los esquemas junto con los morfismos de esquemas
forman una categora que denotaremos por Sch.
Observaci
on 3.2.3. Para dar un morfismo entre esquemas afines X = Spec A e
Y = Spec B basta dar un homomorfismo entre los respectivos anillos OY (Y ) = B y
OX (X) = A. En efecto, si
: B A
es un homomorfismo, basta definir
: X Y
por p 7 1 (p), y si U = Spec Bf es un abierto basico de Spec B, definimos
# (U) : OY (U) = Bf OX (U) = OX ( 1 (U)) = OX (Spec A(f ) )
(es claro que
x 1 (U) 1 (px ) U
f
/ 1 (px )
(f )
/ px
x Spec A(f ) ,
de ah la u
ltima igualdad) por a/f n 7 (a)/(f )n . Si (x) = y, entonces # define
un homomorfismo de anillos locales Bpy Apx definido por a/t 7 (a)/(t), que

59

es claramente local. Por lo tanto, (, # ) es un morfismo de esquemas. Ademas, se

tiene que # (Y ) = , lo que prueba el siguiente teorema.
Teorema 3.2.1. La categora de esquemas afines es equivalente a la categora de
anillos conmutativos con identidad.
Ejemplo 3.2.1. Sea A = k[x]hxi . Entonces el espacio topologico X = Spec A tiene
dos puntos, correspondientes a los ideales primos 0 y hxi. Sus abiertos son
U = {0} X.
Ademas, U = Xx . Luego el haz estructural esta dado por O(X) = A y O(U) = k(x)
siendo el homomorfismo restriccion la inclusion natural.
Ejemplo 3.2.2. Para el cuerpo k, definimos la recta afn A1k por Spec(k[x]) =
X. Sus puntos cerrados (los ideales maximales de k[x]) estan en correspondencia
biunvoca con los puntos de k (hx ai a). Pero ademas contiene un punto
cuya clausura es todo el espacio (0) llamado punto generico. As, los subconjuntos
cerrados propios de A1k son exactamente los subconjuntos finitos de A1k \ {0}. Si
f = (x a1 ) (x an ) k[x], tendremos que
Xf = X \ V (f )

= {0, hx ai}ak \ {hx ai i}ni=1 ,

donde ai Z(f ), y O(Xf ) = k[x]f .

Ejemplo 3.2.3. Consideremos ahora el plano afn A2k = Spec(k[x, y]). Los puntos
cerrados de A2k (ideales maximales) estan en correspondencia uno a uno con los
puntos de k 2 . Ademas de los puntos cerrados, existe un punto generico = h0i
k[x, y] cuya clausura es todo el espacio. Finalmente, para cada polinomio irreducible
f k[x, y], existe un punto = hf i cuya clausura esta formada por junto con
todos los puntos cerrados (a, b) para los cuales f (a, b) = 0 (f m(a,b) ). es un punto
generico de la curva irreducible f = 0. Si g es un elemento de k[x, y], el abierto
60

basico Spec(k[x, y])g esta compuesto por todos los ideales primos de k[x, y] excepto
aquellos hf i tales que f | g y aquellos hx a, y bi tales que (a, b) Z(g). El haz
estructural le hace corresponder a este abierto el anillo (k[x, y])g .
Definici
on 3.2.5. En general, si X es un espacio topologico y Z un subconjunto
cerrado irreducible de X, un punto generico de Z es un punto tal que Z = {}.
Ejemplo 3.2.4. Sea X = {p, q1 , q2 } el espacio topologico con abiertos , {p}, X1 =
{p, q1 }, X2 = {p, q2 } y X. Definimos el haz O sobre X por
O(X) = O(X1 ) = O(X2 ) = k[x]hxi ,

O({p}) = k(x),

con restricciones O(X) O(Xi ) la identidad y O(Xi ) O({p}) la inclusion obvia.

X es claramente un esquema, pues los puntos qi tienen vecindades Xi isomorfas al
esquema afn del ejemplo 3.2.1. Lo mismo sucede con p. Sin embargo, X no es un
esquema afn, pues
X 6= Spec O(X) = Spec k[x]hxi .
Definici
on 3.2.6. Sea S un esquema. Un esquema sobre S (o un S-esquema) es
un esquema X, junto con un morfismo de esquemas : X S. Se dice que S es
el esquema base y el morfismo es el morfismo estructural del S-esquema X. Si
X, Y son S-esquemas, un morfismo de esquemas f : X Y es un morfismo de
S-esquemas, si el diagrama
X@

@@
@@
@@


/Y






es conmutativo, donde las flechas oblicuas son los morfismos estructurales. Definimos
de manera natural la composicion de morfismos de S-esquemas. As, los S-esquemas
juntos con los morfismos de S-esquemas forman un categora que denotamos por
Sch(S). Si A es un anillo, entonces por abuso de notacion escribiremos Sch(A)
para denotar a la categora de esquemas sobre Spec A.

61

3.3

Variedades como Esquemas

En esta seccion vemos la relacion existente entre las nociones de es-

quema y variedad. El concepto de esquema es, en efecto, una generalizacion del

concepto de variedad. Sin embargo, para que una variedad sea un esquema, es necesario agregar puntos genericos por cada subconjunto irreducible para que la variedad
pueda ser vista como esquema.
Lema 3.3.1. Sea Y una variedad algebraica y sea t(Y ) el conjunto de todos los
subconjuntos cerrados e irreducibles de Y . Se cumplen las siguientes afirmaciones:

(a) t(Y ) es un espacio topologico, donde los cerrados de t(Y ) son los conjuntos t(F ) = {Z t(Y ) : Z F } con F cerrado en Y .
(b) Si F, F 0 Y son cerrados en Y , entonces F F 0 si y solo si t(F )
t(F 0 ).

(c) La aplicacion : Y t(Y ) definida por p 7 {p} es un homoeomorfismo entre Y y el subespacio de puntos cerrados de t(Y ). Ademas, la
aplicacion U 7 1 (U) es una biyeccion entre los abiertos de t(Y ) y
los abiertos de Y que preserva la inclusion.
Demostracion.(a) Veamos que t(F1 F2 ) = t(F1 ) t(F2 ) para cerrados
F1 , F2 Y . Si G es un conjunto cerrado e irreducible en F1 F2 (luego un conjunto
cerrado en Y ), entonces G = (G F1 ) (G F2 ) implica que G F1 o G F2 .
Luego G t(F1 ) t(F2 ) y t(F1 F2 ) t(F1 ) t(F2 ). Por otro lado, un conjunto
cerrado e irreducible de F1 o F2 es un conjunto cerrado e irreducible de F1 F2 ,
luego t(F1 ) t(F2 ) t(F1 F2 ).
Si G es un conjunto cerrado irreducible de

iI

Fi ({Fi }iI familia de

cerrados en Y ), entonces G es un conjunto cerrado irreducible en cada Fi , luego

T
T
T
T
t( iI Fi ) iI t(Fi ). Por otro lado, si G iI t(Fi ) tenemos que G iI Fi
62

y G es un cerrado irreducible en
T
T
t(F
)
=
t(
i
iI
iI Fi ).

iI

Fi , por lo tanto

iI

t(Fi ) t(

iI

Fi ). As,

Por lo tanto, los conjuntos de la forma t(F ) con F cerrado en Y con-

forman los cerrados para una topologa en t(Y ).

(b) Es claro que si Z t(F ) (es decir, si Z es un cerrado irreducible

de Y contenido en F ), entonces Z F 0 y Z t(F 0 ). Recprocamente, supongamos

que p F , luego {p} t(F ) t(F 0 ) y, finalmente, p t(F 0 ).

(c) Para un conjunto cerrado de V tenemos que


1 (t(F )) = p Y : {p} F = F,

luego 1 (t(F )) es un conjunto cerrado. Por lo tanto, es continua. Ademas,

Z t(Y ) es un punto cerrado si y solo si {Z} = {Z}. Veamos que {Z} = t(Z).
En efecto, si {Z} t(F ) para alg
un cerrado F Y , entonces Z F y, por (b),
t(Z) t(F ). As, Z t(Y ) es un punto cerrado si y solo si {Z} = t(Z), es decir,
si Z es un punto de Y . Luego (Y ) es precisamente el conjunto formado por los
puntos cerrados de t(Y ). Tambien tenemos que


(F ) = {p} t(Y ) : p F = t(F ) (Y ),
y se cumple la primera afirmacion. Por otro lado, puesto que 1 (t(F )) = F , la
inversa F 7 t(F ) establece una correspondencia biunvoca entre conjuntos cerrados
de Y y los conjuntos cerrados de t(Y ), luego existe una correspondencia biunvoca
entre conjuntos abiertos de Y y los conjuntos abiertos de t(Y ), y por (b), esta
preserva la inclusion.

Lema 3.3.2. Sea Y una variedad y sea F un cerrado de Y . Entonces la aplicacion

: t(Y \ F ) t(Y )\t(F ) dada por Z 7 Z
63

es un homeomorfismo.
Demostracion. Denotemos por U al abierto Y \ F . No hay dificultad
en verificar que la aplicacion dada por Z 7 Z U es la aplicacion inversa de ,
luego es una biyeccion. Por otro lado, los abiertos de t(Y )\t(Y \U) son de la forma
t(Y )\t(Y \W ), donde W es un abierto de Y contenido en U. Los abiertos de t(U)
son de la forma t(U) \ t(U G) = t(U) \ t(U \ W ), donde G es un cerrado de Y y W

es un abierto de Y contenido en U. Ademas, 1 (t(Y )\t(Y \W )) = t(U)\t(U\W )

para todo subconjunto abierto W de Y contenido en U. Por consiguiente, es un
homeomorfismo.

Lema 3.3.3. Sea Y una variedad afn con anillo de coordenadas el k-algebra A =
k[x1 , ..., xn ]/I(Y ). Para p Y sea mp el ideal maximal de A formado por todas las
funciones f A tales que f (p) = 0. Entonces existe un homomorfismo p : Amp k
tal que p (f /g) = f (p)/g(p).
Demostracion. Fijemos un punto p V . El homomorfismo A/mp
Amp /mp Amp dado por f + mp 7

f
1

+ mp Amp es un isomorfismo. En efecto, para

definir el homomorfismo inverso tomamos un elemento

f
g

+ mp Amp Amp /mp Amp

donde g 6 mp . Puesto que mp es un ideal maximal tenemos que mp + hgi = h1i,

luego existen mp y t A tales que + tg = 1, y es inmediato verificar que la
aplicacion

f
g

+ mp Amp 7 f t + mp esta bien definida y es la aplicacion requerida. Por

otro lado, el homomorfismo A k dado por f 7 f (p) es sobreyectivo con n

ucleo

mp , luego tenemos el isomorfismo A/mp

k dado por f + mp 7 f (p). Finalmente,
definimos p : Amp k como el homomorfismo compuesto

A/mp
k
Amp Amp /mp Amp

64

donde el primer homomorfismo es la proyeccion canonica. Veamos que p (f /g) =

f (p)/g(p) para f /g Amp : tenemos
f /g 7 f /g + mp Amp 7 f t + mp 7 f (p)t(p)
donde t A es tal que + tg = 1, para alg
un mp . Luego t(p)g(p) = 1, por lo
que p (f /g) = f (p)t(p) = f (p)/g(p).

Proposici
on 3.3.1. Sean Y una variedad, y : Y t(Y ) la aplicacion definida
por p 7 {p}. Entonces (t(Y ), OY ) es un esquema.
Demostracion. Sean U un abierto de Y y G = t(Y ) \ t(Y \ U) un abierto de t(Y ).

Afirmamos que (t(U), OU ) y (G, OY G ) son isomorfos como espacios anillados.

En efecto, sabemos que : t(U) G definido en el lema 3.3.2 es un homeomorfismo.

Sea entonces W un abierto de Y contenido en U. Tendremos que






OY G t(Y ) \ t(Y \ W ) = OY 1 t (Y ) \ t (Y \ W )
= OY (W ),

y
( OU ) t(Y ) \ t(Y \ W )



t(Y ) \ t(Y \ W )


= OU t(U) \ t(U \ W )



= OU 1 t(U) \ t(U \ W ) = OU (W ),
= OU

y como OY (W )
= OU (W ), entonces

# : ( OY )G ( OU )

es un isomorfismo. Esto prueba la afirmacion.

65

Por otro lado, si {Ui } es un cubrimiento abierto de Y , tendremos que

{t(Y ) \ t(Y \ Ui )} es un cubrimiento abierto de t(Y ) (si para alg
un Z t(Y )
T
tuvieramos Z
/ t(Y ) \ t(Y \ Ui ) para todo i, obtendramos Z Y \ Ui = ,

una contradiccion), es decir

t(Y ) =

[
i

t(Y ) \ t(Y \ Ui )
=

t(Ui ).

As, sera suficiente probar que t(Y ) es un esquema cuando Y es afn. Veamos que
t(Y ) es un esquema afn. Sean entonces A el anillo coordenado de Y y X = Spec A.
Sea el morfismo de espacios localmente anillados (, # ) : (Y, OY ) (X, OX ) (OX
el haz estructural de X) dado por
:Y
p

X
7

mp .

Sabemos que los puntos cerrados de X son los ideales maximales, luego es un
homeomorfismo entre Y y los puntos cerrados de X (pues (Z(I)) = (Y ) V (I)).
Ademas, para un abierto U X,
# (U) : OX (U) OY (U) = OY 1 (U)
s 7 # (U)(s) : 1 (U) k

p 7 p s(mp ) ,

donde p es el homomorfismo definido en el lema anterior. Veamos que # (U)(s)

es regular. En efecto, por definicion de s, existen una vecindad U 0 U de (p) y
elementos a, b A tales que s(q) =

a
b

Aq , para todo a U 0 . Luego, si 1 (U 0 ) es

una vecindad de p y q 1 (U 0 ), entonces

# (U)(s)(q) = q (s(mq )) = q

66

a
b

a(q)
.
b(q)

Por lo tanto, # (U)(s) es regular. Ademas, es claro que # es un homomorfismo

(pues p lo es), y # es un morfismo de haces. Veamos que es un isomorfismo. Basta
ver que # lo es para la base {Xf }f A . En efecto, sabemos que 1(Xf ) = Y \ Z(f ).
T
Como OX (Xf ) = Af = pY \Z(f ) Amp
= OY (Y \ Z(f )), entonces
I

Af

+3

OX (Xf )

# (Xf )

Af


OY (V \ Z(f ))

conmuta, y # es un isomorfismo.
Habiendo probado que existe un isomorfismo Y
= Spec A de espacios
anillados, veamos que lo mismo sucede para t(Y )
= Spec A.
Sea : Spec A t(Y ) dado por p 7 Z(p). es un homoemorfismo.
Sabemos que es biyectiva (los ideales primos de A corresponden a subvariedades de
Y ), y ademas (V (I)) = t(Z(I)). Ademas, hace conmutar

Y FF
FF

FF
FF
F"

/ t(Y )
v:
v
v
vv
vv
v
v

Spec A

y el haz de anillos de t(Y ) es dado por



OY (U) = OY ( (U)) = OY

(U)



mientras que el correspondiente haz imagen directa para t(Y ) es dado por
OX (U) = OX ( 1 (U)).

67

Luego definimos # : OV OX por

# (U) = # ( 1 (U))1 .
Como # es un isomorfismo, # tambien lo es. Por lo tanto, t(Y )
= Spec A y t(Y )
es un esquema.

Observaci
on 3.3.1. En la proposicion anterior, ademas de probar que t(Y ) es un
esquema, hemos probado que cuando Y es afn con anillo de coordenadas A, se
tiene un isomorfismo de esquemas t(Y )
= Spec A. Veamos que este es, ademas,
un isomorfismo de esquemas sobre k.

En efecto, basta dar un homomorfismo

k OY (t(Y )) = OY (Y ), y enviamos k a la funcion constante en Y .

Similarmente, el homomorfismo k A dado por 7 + I(Y ) corresponde a un
morfismo de esquemas Spec A Spec k, y ambos se corresponden por :
Spec AJ

JJJ
JJJ
JJJ
%

+3 t(Y )
v
v
vv
vv
v
vz v

Spec k

As, tenemos un isomorfismo t(Y )

= Spec A de esquemas sobre k.
Observaci
on 3.3.2. La aplicacion t : Var(k) Sch(k) es, ademas, un funtor
entre la categora de variedades algebraicas sobre k y la de esquemas sobre k. En
efecto, dado un morfismo de variedades f : X Y , definimos el morfismo de
espacios anillados t(f ) : t(X) t(Y ) por Z 7 f (Z). Es claro que f (Z) Y
es irreducible, luego f (Z) t(Y ). Por otro lado, un conjunto cerrado de t(Y ) es
de la forma t(F ), donde F es cerrado en Y , y no hay dificultad en verificar que
t(f )1 (t(F )) = t(f 1 (F )), de donde se sigue que t(f )1 (t(F )) es cerrado en X. Por

68

lo tanto, t(f ) es continua. Esta aplicacion hace el diagrama

V

t(V )

t(f )

t(W )

conmutativo. Para el abierto U = t(Y ) \ t(F ), tenemos los respectivos anillos de

secciones sobre U
OY (U) = OY (1 (U)) = OY (Y \ F )
t(f ) OX (U) = OX (t(f )1 (U)) = OX (f 1 (Y \ F )).
Definimos entonces t(f )# (U) : OY (Y \ F ) OX (f 1 (Y \ F )) por s 7 s f . Esto
prueba la afirmacion.
Corolario 3.3.1. Para n 0 tenemos
t(An )
= Ank .

69

CONCLUSIONES
En cualquier rama de las matematicas, existen problemas, a veces tan

difciles que nadie espera poder alg

un da resolver por completo, pero que sirven
para guiar el curso de los trabajos, para estimular la investigacion y para medir el
progreso en el campo. Uno de estos problemas para la geometra algebraica es el
problema de la clasificacion. En su forma mas fuerte, se busca clasificar todas las
variedades algebraicas salvo isomorfismos. Podemos dividir el problema en partes.
La primera parte es clasificar las variedades algebraicas salvo equivalencia birracional. Como hemos visto, esto es equivalente a clasificar extensiones
de k finitamente generadas salvo isomorfismos. Para esto, se define un invariante
birracional, llamado genero, que toma valores no negativos g 0. Para g = 0, existe
una u
nica clase de equivalencia birracional, formada por todas aquellas curvas birracionalmente equivalentes a P1 . Para g > 0, existe una familia continua de clases
de equivalencia birracional. En particular, las curvas con g = 1 son llamadas curvas
elpticas. As, para curvas, la respuesta a la clasificacion birracional esta dada por
el genero.
La segunda parte es identificar un buen subconjunto de una clase de
equivalencia birracional, como las variedades proyectivas no singulares, y clasificar
estas salvo isomorfismos. En el caso de curvas, como hemos visto, para cada clase
de equivalencia birracional existe exactamente una curva proyectiva no singular.
La tercera parte es estudiar que tan lejos esta una variedad arbitraria
del subconjunto bueno. En particular, queremos saber que debemos agragarle a una
curva para obtener una variedad proyectiva (ya sabemos que a cualquier curva se
le puede agregar una cantidad finita de puntos para obtener una curva proyectiva)
y tambien queremos conocer la estructura de las singularidades, y como se pueden
resolver para obtener una variedad no singular. Como vimos al final del primer

70

captulo, un buen metodo de desingularizacion es el de las explosiones, que se puede

generalizar a variedades de dimension arbitraria.

En cuanto a la teora de esquemas revisada en la u

ltima parte de este
trabajo, podemos decir que es el resultado del trabajo de Alexaner Groethendick y
sus colaboradores, y al poder trabajar con anillos arbitrarios, permite fusionar la geometra algebraica con la teora de n
umeros. En lo que a teora de n
umeros se refiere,
permitio probar las conjeturas de Weil y la conjetura de Mordell; y en geometra
algebraica permitio resolver los problemas de Brill-Noether-Petri, as como tambien
permitio el desarrollo de la clasificacion de superficies en todas las caractersticas.
En este trabajo, hemos desarrollado esquemas del tipo Spec A, la
generalizacion de una variedad afn. Sin embargo, existe tambien la generalizacion
de variedades proyectivas, a saber, los esquemas proyectivos. Su construccion es
paralela a la de las variedades proyectivas, y sus diferencias con los esquemas afines
son analogas a las diferencias entre variedades afines y proyectivas. Se considera
un anillo graduado S, y se define Proy S como el conjunto de los ideales primos
homogeneos que no contienen al ideal S+ (el ideal de S formado por los elementos
de grado 1). Estos esquemas completan la categora de esquemas sobre k, y hacen
del funtor t definido en la seccion 3.3 un funtor plenamente fiel. Los esquemas que
conforman la imagen de t son los esquemas integrales separados de tipo finito sobre
k. Esto nos dice que los anillos asociados a los abiertos de estos esquemas son, como
en el caso de variedades algebraicas, k-algebras finitamente generadas sin elementos
nilpotentes.

71

BIBLIOGRAFIA
[1]

R. Hartshorne, Algebraic Geometry, Springer-Verlag New York, 1977.

[2]

W. Fulton, Algebraic Curves, an Introduction to Algebraic Geometry, W.

A. Benjamin, Inc., 1969.

[3]

D. Perrin, Algebraic Geometry, an Introduction, Springer-Verlag London,

2008.

[4]

D. Bump, Algebraic Geometry, World Scientific Publishing Company,

1998.

[5]

D. Eisenbud y J. Harris, The Geometry of Schemes, Springer-Verlag New

York, 2000.

[6]

D. Mumford, The Red Book of Varieties and Schemes, Springer-Verlag

Berlin Heidelberg, 1999.

[7]

M. Atiyah e I. MacDonald, Introduction to Commutative Algebra,

Addison-Wesley Publishing Company, 1969.

[8]

H. Matsumura, Commutative Algebra, Benjamin/Cummings Publishing

Company, 1980

[9]

H. Matsumura, Commutative Ring Theory, Cambridge University Press,

1980

72