Aspectos Fundamentales de la Geometra

Algebraica
Gerardo Zubiaga Rivera
Facultad de Ciencias
Universidad Nacional de Ingeniera

julio 2010

Variedades Algebraicas
Variedades Afines
El Teorema de los Ceros de Hilbert y el Teorema de Bezout
Variedades Proyectivas
El Anillo de Funciones de una Variedad
Funciones Regulares
Morfismos entre Variedades
Aplicaciones Birracionales
Curvas no Singulares
Variedades no Singulares
Anillos de Valoraci
on Discreta
Clasificaci
on de Curvas no Singulares
Esquemas
Haces y Prehaces
Esquemas
Variedades como Esquemas

Definicion
Definimos el n-espacio afn por An (k) = An := k n .
Dado S k[x1 , . . . , xn ], definimos el conjunto algebraico afn
determinado por S como


Z (S) := p An : f (p) = 0, f S .

Observaciones
1. Si S T k[x1 , . . . , xn ], entonces Z (T ) Z (S)

2. Si el conjunto S k[x1 , . . . , xn ], entonces Z (S) = Z (hSi).

Todo conjunto algebraico afn se define por una cantidad
finita de polinomios (Hilbert).
3. Los conjuntos algebraicos son los conjuntos cerrados de una
topologa para An , llamada Topologa de Zariski.

Ejemplos
1. Todo p = (a1 , . . . , an ) An es un conjunto algebraico
({p} = Z (x1 a1 , . . . , xn an )) luego todo conjunto finito de
An es un conjunto algebraico.
2. La circunferencia, dada por Z (x 2 + y 2 1).

3. El folio de Descartes, dado por Z (x 3 + x 2 y 2 ).

Definicion
Para X An , definimos el ideal de X por:


I (X ) := f k[x1 , . . . , xn ] : f (p) = 0, p X .
I (X ) es un ideal radical.

Observaciones
1. Si X Y An , entonces I (Y ) I (X ).

2. a = I (Z (a)) para todo ideal a de un conjunto de puntos, e

Y = Z (I (Y )) para todo conjunto algebraico Y .
3. Para p = (a1 , . . . , an ) An , I (p) = hx1 a1 , . . . , xn an i, y
es un ideal maximal.

Proposicion
Todo conjunto algebraico Y An se escribe de manera u
nica como
Y = Y1 Yr ,
donde los Yi son irreducibles.

Definicion
Un conjunto algebraico afn irreducible, con la topologa de Zariski
inducida, es llamado variedad afn. Un subconjunto abierto de una
variedad afn es llamado variedad cuasi-afn.

Teorema (Teorema de los ceros de Hilbert)

Sea a k[x1 , . . . , xn ] un ideal. Entonces I (Z (a)) =

a.

Teorema (Teorema de Bezout)

Si C y D son curvas (algebraicas) complejas proyectivas sin
componentes comunes, entonces
X
i (C D, p) = (grad C )(grad D),
pC D

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

el punto p.

Definicion
Definimos el n-espacio proyectivo Pn como el conjunto de rectas en
An+1 .
p Pn es una raz de f k[x0 , x1 , . . . , xn ] (f (p) = 0) si
f (a0 , a1 , . . . , an ) = 0 para cualquier eleccion de coordenadas
homogeneas (a0 , a1 , . . . , an ) de p.

Observacion
f (p) = 0 si y solo si fi (p) = 0 para todo i , donde f =

fi .

Definicion
Dado 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.
Un conjunto algebraico proyectivo irreducible es llamado variedad
proyectiva; un abierto de una variedad proyectiva es llamado
variedad cuasi-proyectiva.

Observacion
Se cumple
ZP (S) = ZP (hSi),
luego un conjunto algebraico proyectivo est
a definido por un
n
umero finito de polinomios homogeneos, es decir, por un ideal
homogeneo.

Definicion
Definimos el ideal de X por


IP (X ) := f k[x0 , x1 , . . . , xn ] : f (p) = 0, p X

para todo X Pn . IP (X ) es un ideal radical homogeneo, para todo

X Pn .

Teorema (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 a).

(b) Si ZP (a) 6= , entonces IP (ZP (a)) = a.

Definicion
Dado Y An , definimos el anillo de funciones de Y o su anillo
coordenado por A(Y ) := k[x1 , . . . , xn ]/I (Y ).

Ejemplos
1. Si Y = An , entonces I (Y ) = h0i, luego A(Y ) = k[x1 , . . . , xn ].

2. Si Y es un punto, entonces A(Y ) = k.

Definicion
Definimos la dimension de una variedad Y , denotada por dim Y ,
como el supremo de todos los N Z0 tales que existe una cadena
Y0 ! Y1 ! ! YN
de subvariedades distintas en Y . Una cadena de este tipo
esta asociada a
a0 a1 aN
de ideales primos distintos de A(Y ). As,
dim Y = dim A(Y ),
para cualquier variedad Y An .

Definicion
Sea Y An 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 = gh en U, para algunos g , h k[x1 , . . . , xn ]. Decimos que f
es regular en Y si es regular en todo punto.

Definicion
Definimos una variedad sobre k como una variedad afn, cuasi-afn,
proyectiva o cuasi-proyectiva.

Definicion
Sea Y una variedad.
Definimos el anillo de funciones regulares de Y por
O(Y ) := {f : Y A1 : f es regular}.
Sea p Y . Definimos el anillo local de p en Y por el cociente
[
Op :=
O(U)/ ,
pU

donde f g si f = g en U V (f O(U), g O(V )).

Denotamos a la clase de f por hU, f i.
Definimos el cuerpo de funciones de Y por el cociente
[
K (Y ) :=
Op / ,
pY

donde hU, f i hV , g i si f = g en U V .

Teorema
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 .

Definicion
Sean X , Y variedades. : X Y es un morfismo si es continua y
para todo abierto V Y y toda funcion regular f : V A1 , se
tiene que f : 1 (V ) A1 es regular. : X Y es un
isomorfismo si posee inversa.

Proposicion
Sean X una variedad, Y una variedad afn. Existe una
correspondencia biyectiva entre morfismos de X a Y y
homomorfismos de k
algebras de A(Y ) a O(X ).

Definicion
Sean X , Y variedades. Una aplicaci
on racional, denotada por
: X 99K Y (que en general no est
a 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 .
un par hU, i,
Una aplicaci
on racional es dominante si para alg
(U) es denso en Y .
Definimos una aplicaci
on birracional como una aplicaci
on racional
: X 99K Y que admite inversa.

Teorema
Sean las variedades X e Y . Se tiene una biyecci
on 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
entre variedades y aplicaciones racionales dominantes y extensiones
de k finitamente generadas y sus homomorfismos.

Corolario
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 )
algebras.
= K (Y ) como k

Definicion
Sea Y An variedad afn y sea
 I (Y )= hf1 , . . . , ft i. Decimos que
fi
Y es no singular en p Y si x
(p) tiene rango n r , donde
j
r = dim Y . Y es no singular si es no singular en todo punto.

Definicion
Sea A un anillo local noetheriano con ideal maximal m y k = A/m.
En general se tiene que dimk m/m2 dim A; en caso que
dimk m/m2 = dim A, el anillo A es llamado regular local.

Teorema
Sea Y An variedad afn y p Y . Y es no singular en p si y solo
si Op es un anillo regular local.

Teorema
Sea A un dominio local noetheriano de dimensi
on 1. Entonces A es
un anillo regular local si y s
olo si es un anillo de valoraci
on discreta.

Sea K /k una extension finitamente generada con grado de

trascendencia 1. Sea CK = {R K : R es un AVD de K /k}.

Lema
Para todo a K , {R CK : a
/ R} es un conjunto finito.

Corolario
Todo AVD de K /k es isomorfo al anillo local de un punto en
alguna curva afn no singular.

Definicion
Llamaremos puntos a los elementos de CK . En tal caso, el punto
p CK es el AVD Rp K . Damos a CK la topologa del
complemento finito. Si U CK es un conjunto abierto, definimos
el anillo de funciones regulares en U por
\
O(U) =
Rp .
pU

Un elemento f O(U) define una funcion de U en k por

f (p) = f + mp , donde mp es el ideal maximal de Rp . Todo f K
es funcion regular para alg
un abierto U, luego el cuerpo de
funciones de CK es K . Definimos una curva no singular abstracta
como un abierto U CK con su topologa inducida, y con la
noci
on de funcion regular.

Proposicion
Toda curva cuasi-proyectiva no singular Y es isomorfa a una curva
abstracta no singular.

Teorema
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.

Definicion
Sea X un espacio topol
ogico. Un haz de anillos F en X es un
funtor contravariante de Top(X ) en la categora de anillos tal que
para S
todo subconjunto abierto U de X y todo cubrimiento
U = i I Ui , se cumplen:

1. Si s F(U) es tal que s U = 0 para todo i I , entonces
i
s = 0.
2. Si para cadai I tenemos si F(Ui ) tal que
si U U = sj U U para todo i , j I , entonces existe
i
j
i  j
s F(U) con s U = si para todo i I .
i

Definicion
Decimos que un par (X , F), donde X es un espacio topol
ogico y F
es un haz de anillos, es un espacio anillado.

Ejemplo
Dada la variedad Y sobre k, asociamos
T a cada abierto U de Y el
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.

Definicion
Si F es un haz en X y p X , definimos el tallo Fp de F en p por
G
F(U)
=
Fp = l
m
F(U)/ ,

pU

pU

donde s t, con s F(U),

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

Definicion

El espacio anillado (X , F) es localmente anillado si Fp es un anillo

local para todo p X .

Ejemplo
El espacio anillado (Y , O) del ejemplo anterior es un espacio
localmente anillado.

Definicion
Si F y G son haces de anillos en X , un morfismo de haces
: F G es una familia de homomorfismos de anillos
(U) : F(U) G(U), donde U X abierto, y el diagrama
F(U)

(U)

/ G(U)

UV

0UV

F(V )

(V )


/ G(V )

es conmutativo ( y 0 restricciones en F y G, respectivamente).

Definicion
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 )).

Definicion
Un morfismo de espacios anillados (X , FX ) (Y , FY ) es un par
(f , f # ) formado por una aplicaci
on continua f : X Y y un
morfismo f # : FY f FX de haces de anillos sobre Y .

Ejemplo
Sean X , Y variedades, : X Y un morfismo. 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 est
a dado por
OY (U) OX (1 (U))
g

7 #
U (g ) = g .

Observacion
Sea p X . Un morfismo de haces f # : FY f FX induce una
aplicaci
on
fp#

FY ,f (p) = l
m FY (V )

f (p)V

l
m

pf 1 (V )

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

dada por hV , si 7 hf 1 (V ), fV# (s)i.

Definicion
Un morfismo de espacios localmente anillados es un morfismo
(f , f # ) de espacios anillados tal que, para cada p X , la
aplicaci
on inducida de anillos locales fp# : Ff (p) Fp es un
homomorfismo local de anillos locales.

Definicion
Sea B una base para el espacio topol
ogico X . Decimos que una
coleccion de anillos F(U) para U B y aplicaciones
VU : F(V ) F(U) para abiertos b
asicos U V forman un
B-haz si satisfacen los axiomas de haces en los abiertos basicos.

Proposicion
Sea B una base para el espacio topol
ogico X . Entonces todo B-haz
en X se extiende de manera u
nica a un haz sobre X .

Definicion
Sea A un anillo y X = Spec A el conjunto de ideales primos de A.
Para cada ideal a de A, sea V (a) = {p X : a p}. Estos
conjuntos conforman los cerrados de una topologa sobre X
llamada topologa espectral o topologa de Zariski, y el espacio
topol
ogico X = Spec A es llamado el espectro de A.

Definicion
Para todo f A, definimos Xf = X \ V (f ), llamado el abierto
basico determinado por f .

Observaciones
1. {Xf }f A es base para la topologa de X : si
U = X \ V (a) X es un abierto,
!
X
\
[
[
X \V (a) = X \V
hf i = X \ V (f ) =
X \V (f ) =
Xf .
f a

f a

2. Se tiene que
Xf Xg f n = gh,
para algunos h A, n Z0 .

f a

f a

Definicion
Definimos un haz de anillos en X = Spec A por
O(Xf ) = Af .
Si Xg Xf , entonces existe h A tal que g n = f h, y el
homomorfismo restriccion se define de la siguiente manera:
Af
a
fm

Ag
a hm
7
.
g nm

Proposicion
Sea X = Spec A y supongamos que Xf est
a 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 .

Definicion
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.

Observacion
Se cumple que paraFtodo abierto U X , O(U) es el conjunto de
funciones s : U xU Apx tales que s(x) Apx y para todo
x U, existen una vecindad V U de x y elementos a, f A
tales que s(y ) = a/f py Apy , con f
/ py . Ademas, para todo
x X se tiene que
Ox
= Apx .

Definicion
Un esquema afn es un espacio localmente anillado (X , OX ) que es
isomorfo (como espacio localmente anillado) al espectro de alg
un
anillo.
Un 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.
Un morfismo de esquemas es un morfismo de espacios localmente
anillados. Un isomorfismo es un morfismo que posee inversa.

Teorema
La categora de esquemas afines es equivalente a la categora de
anillos conmutativos con identidad.

Ejemplo
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 .

Lema
Sea Y una variedad, y sea t(Y ) el conjunto de todos los
subconjuntos cerrados irreducibles de Y . Se cumplen las siguientes
afirmaciones:
1. t(Y ) es un espacio topol
ogico, donde los cerrados de t(Y )
son los conjuntos t(F ) = {Z t(Y ) : Z F } con F cerrado
en Y .
2. La aplicaci
on : Y t(Y ) definida por p 7 {p} es un
homoeomorfismo entre Y y el subespacio de puntos cerrados
de t(Y ).

Proposicion
Sean Y una variedad. Entonces (t(Y ), OY ) es un esquema.

CONCLUSIONES
Uno de los problemas que presenta la geometra algebraica es el de
la clasificacion. En el caso de curvas, como hemos visto, para cada
clase de equivalencia birracional existe exactamente una curva
proyectiva no singular.
En cuanto a la teora de esquemas, esta ha permitido fusionar la
geometra algebraica con la teora de n
umeros, y permitio el
desarrollo de la clasificacion de superficies en todas las
caractersticas.

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.