Documente Academic
Documente Profesional
Documente Cultură
Antonio Rojas Le on
28 de septiembre de 2009
2
Tema 1
El espacio afn. Conjuntos
algebraicos
1.1. Conjuntos algebraicos en el espacio afn
El principal objeto de estudio de la Geometra Algebraica son las llama-
das variedades algebraicas. As como, por ejemplo, las variedades diferenciales
se construyen pegando objetos difeomorfos a abiertos de R
n
, las variedades
algebraicas las construiremos pegando objetos isomorfos a subconjuntos alge-
braicos del espacio afn. De modo que el primer paso sera denir estos.
Denicion 1.1. Sea k un cuerpo. El espacio afn de dimension n sobre k,
denotado A
n
k
, es el conjunto k
n
de n-uplas de elementos de k.
Un polinomio f k[x
1
, . . . , x
n
] dene un subconjunto de A
n
k
, el conjunto
de sus ceros: todas las n-uplas (x
1
, . . . , x
n
) tales que f(x
1
, . . . , x
n
) = 0. Mas
generalmente, para cada subconjunto S k[x
1
, . . . , x
n
] tenemos el conjunto
de sus ceros 1(S) A
n
k
, formado por todas las n-uplas (x
1
, . . . , x
n
) tales que
f(x
1
, . . . , x
n
) = 0 para todo f S.
Estos seran precisamente nuestos objetos de
estudio.
Denicion 1.2. Un subconjunto X A
n
k
se dice algebraico si existe un S
k[x
1
, . . . , x
n
] tal que X = 1(S).
Ejemplos 1.3.
1. El conjunto vaco y el espacio total A
n
k
son conjuntos algebraicos, ya que
= 1(1) y A
n
k
= 1(0).
2. Cualquier subconjunto nito X = a
1
, . . . , a
r
A
1
k
es algebraico, ya que
X = 1((x a
1
)(x a
2
) (x a
r
)).
3. La diagonal A
n
k
formada por las n-uplas de la forma (x, x, . . . , x) es
algebraico: = 1(x
1
x
2
, x
1
x
3
, . . . , x
1
x
n
).
Ejercicio 1.1. Describir todos los subconjuntos algebraicos de A
1
k
.
Proposicion 1.4. La intersecci on arbitraria de subconjuntos algebraicos de A
n
k
es un conjunto algebraico.
3
4 TEMA 1. EL ESPACIO AF
iI
una familia arbitraria de subconjuntos algebraicos
de A
n
k
, con X
i
= 1(S
i
). Veamos que
iI
X
i
= 1(
iI
S
i
). En efecto, un punto
x = (x
1
, . . . , x
n
) A
n
k
esta en
iI
X
i
si y solo si esta en X
i
para todo i I,
si y solo si f(x) = 0 para todo f S
i
y para todo i I, es decir, para todo
f
iI
S
i
.
Por el contrario, la union de conjuntos algebraicos no es necesariamente
algebraico, como muestran el ejemplo 1.3 (2) y el ejercicio 1.1. Sin embargo:
Proposicion 1.5. La union nita de subconjuntos algebraicos de A
n
k
es un
conjunto algebraico.
Demostracion. Obviamente basta probarlo para la union de dos. Sean X
1
=
1(S
1
) y X
2
= 1(S
2
) dos subconjuntos algebraicos de A
n
k
. Veamos que X
1
X
2
=
1(S
1
S
2
), donde S
1
S
2
:= fg[f S
1
, g S
2
.
Si x X
1
= 1(S
1
), f(x) = 0 para todo f S
1
, luego f(x)g(x) = 0 para
todos f S
1
, g S
2
. Por tanto, x 1(S
1
S
2
). As que X
1
1(S
1
S
2
), y de la
misma forma se prueba que X
2
1(S
1
S
2
).
Recprocamente, sea x 1(S
1
S
2
). Si x X
1
X
1
X
2
, no hay nada
que probar. De lo contrario, debe existir un f
0
S
1
tal que f
0
(x) ,= 0. Como
f
0
(x)g(x) = 0 para todo g S
2
, deducimos que g(x) = 0 para todo g S
2
, es
decir, x 1(S
2
) = X
2
.
El ejemplo 1.3 y las proposiciones 1.4 y 1.5 implican que los subconjuntos
algebraicos de A
n
k
son los cerrados de una cierta topologa.
Denicion 1.6. Se llama topologa de Zariski sobre A
n
k
a la topologa cuyos
cerrados son los conjuntos algebraicos.
Hay que tener cuidado de no dejarse llevar por la intuicion cuando traba-
jamos con la topologa de Zariski, pues sus propiedades (si k = R o k = C)
son muy diferentes a la topologa eucldea a la que estamos acostumbrados. Por
ejemplo:
Ejercicio 1.2. Probar que en A
1
k
con la topologa de Zariski, dos abiertos no
vacos tienen interseccion no vaca (todo abierto es denso). En particular, A
1
k
no es un espacio de Hausdor.
Por restriccion se dene la topologa de Zariski en un conjunto algebraico
X A
n
k
cualquiera: los subconjuntos cerrados son los conjuntos algebraicos
contenidos en X.
1.2. Conjuntos algebraicos e ideales
Consideremos ahora la siguiente cuestion: Es posible recuperar el conjunto
S conociendo 1(S)? Tal y como esta planteada la pregunta, es facil ver que
no: por ejemplo, en A
1
k
0 = 1(x) = 1(x
2
) = 1(x, x(x 1)) = . . .. En
geneal, si a S le a nadimos cualquier m ultiplo de un elemento de S, o la suma de
dos elementos cualesquiera de S, el conjunto algebraico asociado no vara. Mas
concretamente:
Proposicion 1.7. Sea S k[x
1
, . . . , x
n
] e I = S el ideal generado por S.
Entonces 1(I) = 1(S).
1.2. CONJUNTOS ALGEBRAICOS E IDEALES 5
Demostracion. Es facil ver que 1(I) 1(S) (ejercicio 1.12). Recprocamente,
sea x 1(S). Veamos que f(x) = 0 para todo f I. Todo f I puede escribirse
como f =
r
i=1
f
i
g
i
con g
i
S y f
i
k[x
1
, . . . , x
n
]. Como g(x) = 0 para todo
g S, concluimos que f(x) =
r
i=1
f
i
(x)g
i
(x) = 0.
Como el anillo k[x
1
, . . . , x
n
] es noetheriano, todo ideal esta generado por un
n umero nito de elementos. Por tanto, del resultado anterior se deduce:
Corolario 1.8. Todo conjunto algebraico en A
n
k
se puede escribir como 1(S)
para un subconjunto nito S k[x
1
, . . . , x
n
].
Ya que es imposible recuperar el conjunto S a partir de 1(S), rebajemos
un poco nuestras expectativas: ser a posible recuperar el ideal S a partir de
1(S)? Veamos que en este caso la respuesta tambien es negativa, incluso en el
caso n = 1: en A
1
R
, el conjunto vaco se puede escribir como 1(1), o tambien
como 1(x
2
+1). De hecho, para cualquier polinomio f R[x] sin races reales,
1(f) = . El hecho de que haya polinomios sin races reales es una obstruccion
muy importante a la hora de estudiar variedades algebraicas. Para salvar esta
obstruccion, es necesario extender el concepto de variedad algebraica de manera
considerable. Por el momento, obviaremos este problema suponiendo a partir de
ahora que nuestro cuerpo k es algebraicamente cerrado (por ejemplo, k = C).
A un as, todava no es posible recuperar S a partir de 1(S): Por ejemplo, en
A
1
k
, 0 = 1(x) = 1(x
2
), pero x ,= x
2
. Sin embargo, estamos un poco
mas cerca: aunque los ideales no son iguales, sus radicales s lo son. As que
modicamos una vez mas la pregunta: Es posible recuperar el radical de S a
partir de 1(S)? Veamos que ahora la respuesta es armativa.
Sea X A
n
k
un subconjunto arbitrario. Denimos J(X) como el conjunto
de f k[x
1
, . . . , x
n
] tales que f(x) = 0 para todo x X.
Ejercicio 1.3. Probar que J(X) es un ideal radical de k[x
1
, . . . , x
n
].
Ejercicio 1.4. Sea S k[x
1
, . . . , x
n
]. Probar que
S J(1(S))
El recproco viene dado por el Nullstellensatz:
Teorema 1.9. (Nullstellensatz) Sea I k[x
1
, . . . , x
n
] un ideal. Entonces
J(1(I)) =
I.
En particular, si I es un ideal radical, J(1(I)) = I. La consecuencia mas
importante del teorema es la siguiente:
Corolario 1.10. Las aplicaciones I 1(I) y X J(X) denen una corres-
pondencia biunvoca entre el conjunto de ideales radicales de k[x
1
, . . . , x
n
] y el
conjunto de subconjuntos algebraicos de A
n
k
, que invierte las contenciones.
Antes de dar la prueba del teorema veamos el siguiente lema, que tiene
importancia por s mismo:
Lema 1.11. Si I k[x
1
, . . . , x
n
] es un ideal propio, 1(I) ,= .
Demostracion. Como I ,= k[x
1
, . . . , x
n
], esta contenido en un ideal maximal m.
El cociente K = k[x
1
, . . . , x
n
]/m es una extension nita de k por [AC, Tema
4, Corolario 11] o [AM, Corolario 5.24]. Como k es algebraicamente cerrado,
deducimos que k = K. Por otro lado, todo polinomio f m (en particular todo
f I) se anula en el punto P = ( x
1
, . . . , x
n
) A
n
K
. As que P 1(I) y por
tanto 1(I) ,= .
6 TEMA 1. EL ESPACIO AF
, f
) si f
|UU
= f
|UU
.
Ejercicio 1.9. Probar que es, en efecto, una relacion de equivalencia.
Si no se especica el abierto U, se sobreentiende que es el maximo abierto
donde la expresion dada para f tenga sentido (es decir, el abierto en el que
h ,= 0).
Queremos denir ahora la suma y el producto de dos funciones racionales.
Aqu nos encontramos con un problema: las dos funciones que queremos sumar o
multiplicar pueden tener diferentes dominios, y por tanto su suma o producto no
esta denido. Afortunadamente, las propiedades de la topologa de Zariski nos
dan la solucion: como Z es irreducible, dos abiertos no vacos tienen interseccion
no vaca (de lo contrario, sus complementarios seran una descomposicion de
Z como union propia de dos variedades). Por tanto, dos funciones racionales
cualesquiera pueden restringirse a un dominio com un.
Sean entonces (U, f) y (V, g) dos funciones racionales en Z. Denimos su
suma como la funcion racional (U V, f
|UV
+ g
|UV
), y su producto como la
funcion racional (U V, f
|UV
g
|UV
).
Proposicion 1.28. Con estas deniciones, el conjunto de funciones racionales
en Z es un cuerpo /(Z), llamado cuerpo de funciones de Z.
Demostracion. Probaremos unicamente la existencia de inversos, el resto de
propiedades se deja como ejercicio. Sea f : Z k una funcion racional no nula,
veamos que existe una funcion racional g tal que f g = 1. Sea U Z un abierto
tal que v(x) ,= 0 y f(x) = u(x)/v(x) para todo x U, con u, v k[x
1
, . . . , x
n
],
y sea V U el abierto denido por u(x) ,= 0. Es claro que la funcion racional
g : Z k dada por (V, v/u) es la inversa de f.
El cuerpo de funciones se puede calcular directamente conociendo el anillo
de coordenadas:
Proposicion 1.29. Sea Z A
n
k
una variedad afn. El cuerpo de funciones
/(Z) es el cuerpo de fracciones de /(Z).
Demostracion. Existe un homomorsmo de anillos evidente : /(Z) /(Z),
que lleva f en la funcion racional (Z, f/1). Este homomorsmo es inyectivo: si
(f) = 0, debe existir un abierto no vaco U Z tal que f
|U
= 0, y entonces
f = 0 (ejercicio 1.24). Como /(Z) es un cuerpo, esta aplicacion tiene una
extension unica : K(/(Z)) /(Z) al cuerpo de fracciones dada por (f/g) =
(f)/(g), que automaticamente es inyectiva. Solo hay que comprobar que es
sobreyectiva, pero esto se deduce inmediatamente de la denicion de /(Z).
1.7. El anillo local de una variedad en un punto
Sea Z A
n
k
una variedad afn y f : Z k una funcion racional. Se dice
que f esta denida en x Z si existen un abierto V Z conteniendo a
x y g, h /(Z) tales que h(y) ,= 0 para todo y V y f = (V, g/h). Si f
1.7. EL ANILLO LOCAL DE UNA VARIEDAD EN UN PUNTO 11
esta denida en x, tiene sentido hablar del valor f(x) de f en x: es simplemente
el valor g(x)/h(x) para cualquier expresion de f como cociente de funciones
regulares en un entorno de x. Por la relacion de equivalencia que dene las
funciones racionales, vemos que dos expresiones distintas de f como cociente de
funciones regulares deben dar el mismo valor de f(x).
Sin embargo, hay que tener cuidado de distinguir entre una funcion racional
f y una expresion particular de f como cociente de polinomios (as como, por
ejemplo, las expresiones sin x/(1 cos x) y (1 + cos x)/ sin x son distintas pero
denen la misma funcion real). Una funcion racional puede estar denida en
un punto sin que una expresion particular lo este, como muestra el ejercicio
siguiente:
Ejercicio 1.10. Sea Z A
4
C
la variedad 1(x
1
x
4
x
2
x
3
). Probar que la
funcion racional f : Z C dada por x
1
/x
2
esta denida en el punto (0, 0, 1, 1).
Ejercicio 1.11. Sea Z A
n
k
una variedad, x Z y f, g : Z k dos funciones
racionales denidas en x. Probar que su suma y su producto tambien estan
denidas en x.
Por tanto, el conjunto O
Z,x
de funciones racionales denidas en x es un
subanillo de /(Z).
Denicion 1.30. El anillo local de Z en x es el anillo O
Z,x
de funciones
racionales denidas en x.
El siguiente resultado justica el nombre (o mas bien, justica el por que a
un anillo con un unico ideal maximal se le llama local):
Proposicion 1.31. Para todo x Z, O
Z,x
es un anillo local.
Demostracion. Sea m O
Z,x
el conjunto formado por las funciones f tales
que f(x) = 0. Claramente m es un ideal. Sea f / m, y tomemos una expresion
f = g/h de f como cociente de funciones regulares en un abierto U que contenga
a x. Sea V U el abierto denido por g ,= 0. Como f(x) ,= 0, x V . Por tanto,
la funcion racional 1/f = (V, h/g) esta denida en x, es decir, f es invertible en
O
Z,x
. Por [AM, proposicion 1.6] concluimos que O
Z,x
es local y m es su unico
ideal maximal.
El anillo local O
Z,x
tambien se puede obtener a partir de /(Z):
Proposicion 1.32. Sea Z A
n
k
una variedad afn, y x Z. El anillo O
Z,x
es igual al localizado /(Z)
m
x
, donde m
x
/(Z) es el ideal maximal correspon-
diente a x seg un la proposicion 1.14.
Demostracion. Se deduce directamente de la denicion, ya que las funciones
racionales en O
Z,x
son las que tienen una expresion de la forma g/h donde
h /(Z) es una funcion regular con h(x) ,= 0, es decir, con h , m
x
.
Si U Z es un abierto, se dice que f esta denida en U si f esta denida
en todo punto de U. El conjunto de puntos de Z donde f esta denida es un
abierto llamado abierto de denicion de f.
Toda funcion racional f de Z denida en U dene una (verdadera) aplicacion
f : U k. Del ejercicio 1.11 se deduce inmediatamente que la suma y el
producto de funciones racionales denidas en U estan tambien denidas en U.
Por tanto, el conjunto de funciones racionales denidas en U forma un subanillo
de /(Z), que denotaremos O
Z
(U).
12 TEMA 1. EL ESPACIO AF
iI
U
i
existe un subrecubrimiento nito: J I, [J[ < y U =
iJ
U
i
.
1.8. EJERCICIOS ADICIONALES 13
Ejercicio 1.18. Sea Z A
n
k
una variedad, y a Z. Probar que el ideal maximal
m
a
asociado a a (proposicion 1.14) es el conjunto de las funciones f /(Z)
tales que f(a) = 0.
Ejercicio 1.19. Sea X A
n
k
un conjunto algebraico. Probar que existe una
correspondencia biyectiva entre las componentes irreducibles de X y los primos
minimales de J(X) en k[x
1
, . . . , x
n
].
Ejercicio 1.20. Hallar las componentes irreducibles de los siguientes subcon-
juntos algebraicos de A
3
C
:
1. X = 1(xy, x
2
z xz)
2. X = 1(z, xy y
2
, x
2
y
2
x + y)
Ejercicio 1.21. Hallar la dimension de los conjuntos algebraicos del ejercicio
anterior, as como de cada una de sus componentes irreducibles.
Ejercicio 1.22. Probar que la dimension de un subconjunto algebraico X
k[x
1
, . . . , x
n
] es el maximo de las dimensiones de sus componentes irreducibles.
Ejercicio 1.23. Si V W A
n
k
son dos variedades de la misma dimension,
probar que V = W.
Ejercicio 1.24. Sea Z A
n
k
una variedad, y f, g : Z k dos funciones
regulares. Si existe un abierto no vaco U Z tal que f
|U
= g
|U
, probar que
f = g.
Ejercicio 1.25. Hallar el abierto de denicion de las siguientes funciones ra-
cionales:
1. f(x) = x
1
/x
2
en Z = 1(x
1
x
4
x
2
x
3
) A
4
C
2. f(x) = (x + 1)/y en Z = 1(x
2
+ y
2
1) A
2
C
Ejercicio 1.26. Sea Z A
n
k
una variedad afn, y f = g/h : Z k una
funcion racional, con g, h /(Z). Si x Z es un punto tal que h(x) = 0 y
g(x) ,= 0, probar que f no esta denida en x.
Ejercicio 1.27. Sea f : A
2
C
C una funcion racional denida en el abierto
U = A
2
C
(0, 0). Probar que f esta denida en todo A
2
C
, y por tanto es una
funcion regular. ( Ayuda: Usar el ejercicio anterior)
14 TEMA 1. EL ESPACIO AF
:
/(Z) /(Y ) dada por f f . Esta aplicacion respeta la suma y el pro-
ducto y preserva las constantes, y por tanto es un homomorsmo de k-algebras.
Ademas, si
.
Veamos que todo homomorsmo de k-algebras /(Z) /(Y ) se obtiene de esta
forma:
Proposicion 2.3. Sean Y A
n
k
y Z A
m
k
dos variedades anes, y : /(Z)
/(Y ) un homomorsmo de k-algebras. Existe un unico morsmo de variedades
: Y Z tal que =
.
15
16 TEMA 2. MORFISMOS ENTRE VARIEDADES AFINES
Demostracion. Para cada i = 1, . . . , m, sea f
i
(x) = (x
i
) /(Y ). Veamos que
(x) := (f
1
(x), . . . , f
m
(x)) es el morsmo de variedades buscado. Por construc-
cion tenemos que
(x
i
) = f
i
(x) = (x
i
) para todo i, y por tanto
= (ya
que los x
i
generan la k-algebra /(Z)). Falta comprobar que la imagen de
esta en Z. Como Z = 1(J(Z)), basta comprobar que g((x)) = 0 para todo
g J(Z). Pero g((x)) = (
)
1
( m
y
) = m
x
, donde m
y
y m
x
son los ideales maximales de /(Y ) y /(Z) correspondientes a y y a x
respectivamente seg un la proposicion 1.14. Recordemos que m
y
es el ideal de
/(Y ) formado por las funciones regulares que se anulan en y (ejercicio 1.18).
Por tanto, f (
)
1
( m
y
) si y solo si
(f) m
y
, si y solo si f m
y
, si y
solo si f((y)) = f(x) = 0, si y solo si f m
x
.
La proposicion 2.3, junto con el ejercicio 1.5, muestran que:
Corolario 2.4. Las aplicaciones Z /(Z),
f = (g )/(h ) en un entorno
1
(U) de y, con (h )(y) = h(z) ,= 0. Por
tanto, induce un homomorsmo de k-algebras locales
: O
Z,z
O
Y,y
.
Hay que tener en cuenta sin embargo que, en general, no induce un ho-
momorsmo
: /(Z) /(Y )
es inyectivo.
Demostracion. Supongamos que es dominante, y sea f ker
. Entonces
f = 0, y por tanto f se anula en todo punto de la imagen de . Como el
conjunto de puntos donde f se anula es un cerrado y la imagen de es densa,
concluimos que f se anula en todo punto de Z. Por tanto
es inyectiva.
Recprocamente, supongamos que
f = 0. Por ser
: /(Z) /(Y ) de
cuerpos.
18 TEMA 2. MORFISMOS ENTRE VARIEDADES AFINES
2.3. Isomorsmos
Denicion 2.11. Un morsmo f : Y Z entre variedades cuasi-anes se
dice un isomorsmo si existe un morsmo g : Z Y tal que f g : Z Z y
gf : Y Y son el morsmo identidad. En ese caso, g se denomina el inverso
de f, y se denota por f
1
. Dos variedades cuasi-anes se dicen isomorfas si
existe un isomorsmo entre ellas.
Por el corolario 2.4, f es un isomorsmo de variedades anes si y solo si f
:
C[x, y] C[x, y] es un isomorsmo de C-algebras (la identidad) por el
ejercicio 1.27.
2. El morsmo del ejemplo 2.8 (1) es un isomorsmo: su inverso viene dado
por (x, y) x.
3. Si Z A
n
k
es una hipersupercie, la variedad cuasi-afn A
n
k
Z es isomorfa
a una variedad afn: en efecto, si Z viene denida por la ecuacion f = 0, el
morsmo (x
1
, . . . , x
n
) (x
1
, . . . , x
n
, 1/f(x
1
, . . . , x
n
)) es un isomorsmo
entre A
n
k
Z y la hipersupercie afn de A
n+1
k
denida por la ecuacion
x
n+1
f(x
1
, . . . , x
n
) 1 = 0.
Un isomorsmo es claramente una biyeccion pero, al contrario de lo que ocu-
rre con los homomorsmos entre objetos algebraicos (grupos, anillos, modulos),
un morsmo biyectivo no es necesariamente un isomorsmo:
Ejercicio 2.3. Sea : A
1
C
1(y
2
x
3
) A
2
C
el morsmo dado por t
(t
2
, t
3
). Probar que es biyectivo, incluso un homeomorsmo, pero no es un
isomorsmo.
2.4. Aplicaciones racionales
Las aplicaciones racionales se denen a partir de los morsmos exactamente
igual que las funciones racionales se denieron a partir de las funciones regulares:
Denicion 2.13. Sean Y A
n
k
y Z A
m
k
dos variedades cuasi-anes. Una
aplicacion racional : Y Z es un par (U, ) donde U Y es un abierto
no vaco y : U Z un morsmo, modulo la relaci on de equivalencia siguiente:
(U, ) (U
) si
|UU
=
|UU
.
Como es habitual, si no se especica U se sobreentiende que es el mayor
abierto donde la expresion dada para tenga sentido.
Denicion 2.14. Se dice que una aplicacion racional : Y Z esta de-
nida en y Y si existe un abierto U Y con y U y un morsmo : U Z
tales que = (U, ). El conjunto de puntos de Y donde esta denida es un
abierto llamado el abierto de denicion de .
2.5. VARIEDADES BIRRACIONALMENTE EQUIVALENTES 19
Denicion 2.15. Una aplicacion racional = (U, ) : Y Z se dice domi-
nante si lo es.
Ejercicio 2.4. Probar que la denicion anterior no depende del par (U, ) ele-
gido para representar . Es decir, probar que si (U, ) (U
), entonces es
dominante si y solo si
lo es.
Toda aplicacion racional dominante : Y Z induce un homomorsmo de
k-algebras
= .
Demostracion. Toda aplicacion racional dominante : Y Z es tambien
una aplicacion racional dominante : Y Z y viceversa (por restriccion a
Y
1
(Z)), as que podemos suponer que Y y Z son anes. Para cada i =
1, . . . , m, sea f
i
= (x
i
) /(Y ), y sea U
i
Y un abierto donde f
i
este denida.
Si = (f
1
, . . . , f
m
), Veamos que = (U, ) es la aplicacion racional buscada,
donde U = U
1
U
m
y = (f
1
, . . . , f
m
) : U A
n
k
. Por construccion,
(x
i
) = f
i
= (x
i
), y por tanto
= , ya que los x
i
generan /(Z) como
cuerpo sobre k.
Veamos que la imagen de es densa en Z. Como (Y ) = 1(J((Y ))), basta
probar que J((Y )) = J(Z). Sea g J(Z), entonces g = 0 en /(Z), y por
tanto g = (g) = 0, as que g J((Y )). Recprocamente, si g J((Y )),
g (y) = 0 para todo y Y , y por tanto (g) = 0. Como es inyectiva,
concluimos que g = 0 en /(Z), y por tanto en /(Z).
En general, la composicion de dos aplicaciones racionales f : X Y y
g : Y Z no esta denida, ya que g puede no estar denida en ning un punto de
la imagen de f: por ejemplo, si f : A
2
C
A
2
C
viene dada por f(x, y) = (x/y, 0) la
composicion f f no esta denida. Sin embargo, si f es dominante s es posible
denir la composicion (ejercicio 2.6). Ademas, con las notaciones anteriores,
(
: Z Y
20 TEMA 2. MORFISMOS ENTRE VARIEDADES AFINES
tal que
: Y Y y
Y (respectivamente V
Z) un abierto donde (resp.
) este denida. Entonces esta denida (y es igual a la identidad) en
U
1
(V
). Analogamente, esta denida (y es la identidad) en V
1
(U
)) y V =
1
(U
1
(V
)).
Si U Y y V Z son abiertos isomorfos, sus anillos de funciones regulares
tambien son isomorfos. En particular, tambien lo son sus cuerpos de fracciones,
que son justamente /(Y ) y /(Z).
Finalmente, (c) (a) es una consecuencia directa de la proposicion 2.16.
Corolario 2.21. Una variedad cuasi-afn Z es racional si y solo si su cuerpo
de fracciones es isomorfo a k(x
1
, . . . , x
n
) para alg un n.
2.6. Ejercicios adicionales
Ejercicio 2.5. Sea f : Y Z un morsmo de variedades cuasi-anes. Probar
que f es continuo para la topologa de Zariski.
Ejercicio 2.6. Sean f : X Y y g : Y Z dos aplicaciones racionales
con f dominante. Probar que existe un abierto U X tal que f esta denida
en U y g esta denida en f(x) para todo x U, y por tanto la composici on
g f : X Z tiene sentido.
Ejercicio 2.7. Sean f : X Y y g : Y Z dos aplicaciones racionales
dominantes. Probar que la composicion g f (que existe por el ejercicio 2.6) es
dominante.
Ejercicio 2.8. Sea f : Y Z un morsmo de variedades cuasi-anes. Probar
que su imagen f(Y ) es irreducible.
Ejercicio 2.9. Las hipercuadricas son racionales. Una hipersupercie Z A
n
k
se llama hipercuadrica si esta denida por un ideal generado por un polino-
mio irreducible de grado 2. Sea Z una hipercuadrica y P Z un punto. Si P
es sucientemente general, se puede construir una aplicacion birracional entre
A
n1
k
y Z de la siguiente forma:
2.6. EJERCICIOS ADICIONALES 21
Todo punto x = (x
1
, . . . , x
n
) A
n
k
determina un vector de direccion
x =
(1, x
1
, . . . , x
n
) en A
n+1
k
. El punto P y el vector
x determinan una recta r, que
corta a Z en alg un otro punto P
x
distinto de P (ya que el polinomio que dene Z
es de grado 2). La correspondencia x P
x
es la aplicacion birracional buscada.
Describir (sin pruebas) como se construira la aplicacion birracional inversa.
Usar esta construccion para obtener aplicaciones birracionales
a) entre A
1
C
y la c onica denida por x
2
y
2
= 1 en A
2
C
.
b) entre A
2
C
y la cuadrica denida por x
2
+ yz = 1 en A
3
C
.
En cada caso, determinar la aplicacion inversa.
Ejercicio 2.10. En cada apartado del ejercicio anterior, hallar subconjuntos
abiertos de cada una de las variedades tales que la aplicacion birracional hallada
induzca un isomorsmo entre ellos.
Ejercicio 2.11. Una c ubica singular. Sea Z A
2
C
la curva denida por la
ecuacion y
2
= x
3
+ x
2
. Probar que la aplicacion : A
1
C
Z dada por t
(t
2
1, t
3
t) es birracional. En particular, Z es racional. Es un isomorsmo?
En caso negativo, hallar abiertos U A
1
C
y V Z tales que
|U
: U V sea
un isomorsmo.
Ejercicio 2.12. Sea : A
2
C
A
2
C
el morsmo dado por (x, y) = (x, xy). Pro-
bar que es birracional y dominante, pero su imagen no es abierta ni cerrada.
Ejercicio 2.13. Probar que A
1
k
no es isomorfo a ning un subconjunto abierto
propio.
Ejercicio 2.14. Si Y A
n
k
y Z A
m
k
son variedades y : X Y es un
morsmo, el grafo de f es el conjunto
f
:= (x, f(x)) A
n
k
A
m
k
[x A
n
k
.
Probar que
f
es una variedad en A
n+m
k
isomorfa a Y .
Ejercicio 2.15. Probar que dos variedades anes isomorfas tienen la misma
dimension.
Ejercicio 2.16. Si Y, Z A
n
k
son variedades anes, probar que Y Z
=
(Y Z) , donde A
n
k
A
n
k
es la diagonal = (x, x)[x A
n
k
.
Ejercicio 2.17. Sea : Y Z una aplicacion racional entre variedades e y
Y un punto en el que este denida. Si la aplicacion O
Z,(y)
O
Y,y
inducida
por es un isomorsmo, probar que es birracional. En particular, existen
abiertos U Y y V Z con y U tales que : U V es un isomorsmo.
Esto muestra que el anillo local de una variedad en un punto contiene mucha
informacion sobre la variedad entera.
22 TEMA 2. MORFISMOS ENTRE VARIEDADES AFINES
Indice general
1. El espacio afn. Conjuntos algebraicos 3
1.1. Conjuntos algebraicos en el espacio afn . . . . . . . . . . . . . . 3
1.2. Conjuntos algebraicos e ideales . . . . . . . . . . . . . . . . . . . 4
1.3. Funciones regulares . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4. Variedades algebraicas anes . . . . . . . . . . . . . . . . . . . . 7
1.5. Dimension de un conjunto algebraico . . . . . . . . . . . . . . . . 8
1.6. Funciones racionales . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.7. El anillo local de una variedad en un punto . . . . . . . . . . . . 10
1.8. Ejercicios adicionales . . . . . . . . . . . . . . . . . . . . . . . . . 12
2. Morsmos entre variedades anes 15
2.1. Morsmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.2. Variedades cuasi-anes . . . . . . . . . . . . . . . . . . . . . . . . 16
2.3. Isomorsmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.4. Aplicaciones racionales . . . . . . . . . . . . . . . . . . . . . . . . 18
2.5. Variedades birracionalmente equivalentes . . . . . . . . . . . . . . 19
2.6. Ejercicios adicionales . . . . . . . . . . . . . . . . . . . . . . . . . 20
23
24
INDICE GENERAL
Bibliografa
[AC] L. Narvaez Macarro, A. Rojas Leon. Apuntes de
Algebra Conmutativa.
http://personal.us.es/arojas/files/notasAC.pdf
[AM] M.F. Atiyah, I.G. MacDonald. Introduccion al
Algebra Conmutativa. Ed.
Reverte.
[H] R. Hartshorne. Algebraic Geometry. Graduate Texts in Mathematics 52,
Springer.
25