Apuntes de Geometra Algebraica

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

IN. CONJUNTOS ALGEBRAICOS

Demostracion. Sea X
i

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

IN. CONJUNTOS ALGEBRAICOS

Prueba del teorema. Sea f J(1(I)), veamos que f
m
I para alg un m 1.
Introduzcamos una nueva variable y, y consideremos el polinomio g = 1
yf(x
1
, . . . , x
n
) k[x
1
, . . . , x
n
, y]. Sea J = I k[x
1
, . . . , x
n
, y] + g. Claramente
1(g) = , as que por el lema debe ser J = k[x
1
, . . . , x
n
, y]. En particular,
existen g
i
k[x
1
, . . . , x
n
, y] (i = 0, . . . , r) y h
i
I (i = 1, . . . , r) tales que g
0
(1
yf) +g
1
h
1
+ +g
r
h
r
= 1. Sustituyendo y por 1/f y quitando denominadores
obtenemos una expresion f
m
= g
1
h
1
+ + g
r
h
r
para alg un m 1 con g
i

k[x
1
, . . . , x
n
], y por tanto f
m
I.
1.3. Funciones regulares. El anillo de coordena-
das de un conjunto algebraico
Denicion 1.12. Sea X A
n
k
un conjunto algebraico. Una aplicacion f : X
k se llama funcion regular si es la restriccion a X de una funcion

f : A
n
k
k
dada por un polinomio

f k[x
1
, . . . , x
n
].
Con las operaciones habituales, el conjunto de funciones regulares f : X k
es un anillo, que llamaremos anillo de coordenadas de X y denotaremos
/(X). Veamos como describir /(X) en funcion de J(X):
Proposicion 1.13. El anillo /(X) es isomorfo al cociente k[x
1
, . . . , x
n
]/J(X).
Demostracion. Por denicion, existe una aplicacion sobreyectiva : k[x
1
, . . . , x
n
]
/(X) dada por la restriccion a X. Un polinomio f k[x
1
, . . . , x
n
] esta en
el n ucleo si y solo si la funcion que dene en X es 0, es decir, si y solo si
f(x) = 0 para todo x X.

Esta es justamente la denicion de J(X), y por
tanto ker

= J(X). El primer teorema de isomorfa nos da el isomorsmo bus-
cado.
En particular, /(X) es una k-algebra nitamente generada. Ademas, co-
mo J(X) es un ideal radical, /(X) es reducida (es decir, no tiene elementos
nilpotentes).
Ejercicio 1.5. Recprocamente, probar que toda k-algebra nitamente generada
y reducida es isomorfa al anillo de coordenadas de alg un conjunto algebraico
X A
n
k
para alg un n.
De hecho, el conjunto de puntos de X se puede recuperar a partir de /(X)
como el conjunto de sus ideales maximales. Sea a = (a
1
, . . . , a
n
) X = 1(I) con
I un ideal radical. Como (a
1
, . . . , a
n
) = 1(x
1
a
1
, . . . , x
n
a
n
), tenemos
una contencion I x
1
a
1
, . . . , x
n
a
n
=: m
a
, que es maximal, y por tanto
m
a
dene un ideal maximal m
a
:= m
a
/I de /(X) = k[x
1
, . . . , x
n
]/I.
Ejercicio 1.6. Probar que m
a
es un ideal maximal de k[x
1
, . . . , x
n
].
Proposicion 1.14. La aplicacion a m
a
dene una correspondencia biunvoca
entre los puntos de X y los ideales maximales de /(X).
Demostracion. Como J J/J(X) es una correspondencia biunvoca entre
los ideales de k[x
1
, . . . , x
n
] que contienen a J(X) y los ideales de /(X) =
k[x
1
, . . . , x
n
]/J(X) que preserva la maximalidad, basta probar que a m
a
es una correspondencia biunvoca entre los puntos de X y los ideales maximales
1.4. VARIEDADES ALGEBRAICAS AFINES 7
de k[x
1
, . . . , x
n
] que contienen a J(X). La aplicacion es claramente inyectiva,
ya que podemos recuperar a a partir de m
a
: a = 1(m
a
). Falta probar que es
sobreyectiva.
Sea m k[x
1
, . . . , x
n
] un ideal maximal que contenga a J(X) (en particular,
es primo y por tanto radical). Como m ,= k[x
1
, . . . , x
n
] y J(1(m)) = m (por el
Nullstellensatz), 1(m) ,= . Sea a 1(m) X. La inclusion a = 1(m
a
)
1(m) implica que m m
a
. Como m es maximal, deducimos que m debe ser igual
a m
a
. Por tanto, todo ideal maximal proviene de alg un punto de X.
1.4. Variedades algebraicas anes
En general, un conjunto algebraico se puede descomponer como union nita
de otros subconjuntos algebraicos m as peque nos. Por ejemplo, en A
3
k
, el conjunto
1(xz, yz) se descompone como union del plano z = 0 y la recta x = y = 0. En
A
1
k
, 1(x
2
1) = 1 1.
Denicion 1.15. Un conjunto algebraico X A
n
k
se dice reducible si existen
dos subconjuntos algebraicos propios Y X y Z X tales que X = Y Z. De
lo contrario, X se dice irreducible.
La reducibilidad de X puede leerse en su anillo de coordenadas:
Proposicion 1.16. Sea X A
n
k
algebraico. Las siguientes condiciones son
equivalentes:
1. X es irreducible y no vaco
2. J(X) es un ideal primo
3. /(X) es un dominio de integridad
Demostracion. La equivalencia (2)(3) es un ejercicio facil de

Algebra Con-
mutativa. Veamos que (1)(2). Sea X irreducible, y supongamos que I := J(X)
no fuera primo. Entonces existen f, g k[x
1
, . . . , x
n
] tales que f, g / J(X) y
fg J(X). Es particular, (I + f) (I + g) = I. Sean Y = 1(I + f) e
Z = 1(I +g), tenemos que Y Z = 1((I +f) (I +g)) = 1(I) = X. Como
I I +f, Y X. Finalmente, Y ,= X, ya que f J(Y ) pero f / J(X) = I.
De la misma forma se prueba que Z X, y esto contradice el hecho de que X
sea irreducible.
Veamos ahora que (2)(1). Sea I = J(X) primo, y supongamos que X fuera
reducible: existen Y X y Z X tales que X = Y Z. Entonces, I J(Y )
e I J(Z). Elijamos f J(Y )I y g J(Z)I. Para todo x Y , f(x) = 0; y
para todo x Z, g(x) = 0. Por tanto, para todo x X = Y Z f(x)g(x) = 0,
as que fg J(X) = I. Pero esto contradice el hecho de que I sea primo.
Denicion 1.17. Una variedad algebraica afn en A
n
k
es un subconjunto
algebraico Z A
n
k
irreducible. Una k-algebra nitamente generada A se dice
afn si es un dominio de integridad.
Corolario 1.18. Las aplicaciones I 1(I) y Z J(Z) denen una co-
rrespondencia biunvoca entre el conjunto de ideales primos de k[x
1
, . . . , x
n
] y
el conjunto de variedades algebraicas anes no vacas en A
n
k
, que invierte las
contenciones.
8 TEMA 1. EL ESPACIO AF

IN. CONJUNTOS ALGEBRAICOS

Ejercicio 1.7. Sea Z A
n
k
una variedad, y X, Y A
n
k
conjuntos algebraicos.
Si Z X Y , probar que Z X o Z Y .
Proposicion 1.19. Todo conjunto algebraico X A
n
k
puede descomponerse
como una union nita X = Z
1
Z
r
de variedades. Si la descomposicion es
minimal (es decir, si ning un Z
i
puede eliminarse de ella sin que la union deje
de ser X), las variedades Z
i
estan unvocamente determinadas.
Demostracion. Por reduccion al absurdo, supongamos que X no tiene tal des-
composicion. En particular, X no es irreducible. Por tanto, podemos escribir
X = X
1
1
X
1
2
, con X
1
i
X. Como X no se puede expresar como union de va-
riedades, lo mismo debe ser cierto para alguno de los X
1
i
, pongamos para X
1
1
. En
particular, no es irreducible, y se puede expresar como X
2
1
X
2
2
, con X
2
i
X
1
1
.
Al menos uno de los X
2
i
no se pude expresar como union de irreducibles (ponga-
mos X
2
1
), as que X
2
1
= X
3
1
X
3
2
con X
3
i
X
2
1
. De esta forma construimos una
sucesion estrictamente decreciente X X
1
1
X
2
1
de conjuntos algebrai-
cos. Tomando los correspondientes ideales, tenemos una sucesion estrictamente
creciente J(X) J(X
1
1
) J(X
2
1
) de ideales en k[x
1
, . . . , x
n
], lo cual es
imposible por ser un anillo noetheriano.
Supongamos ahora que la descomposicion X = Z
1
Z
r
es minimal, y sea
X = W
1
W
s
otra descomposicion minimal. Para todo i = 1, . . . , r, Z
i

X = W
1
W
s
y por tanto (ejercicio 1.7) Z
i
W
j
para alg un j = 1, . . . , s. De
la misma forma, W
j
Z
l
para alg un l = 1, . . . , r. Entonces Z
i
W
j
Z
l
. Como
la descomposicion es minimal, debe ser i = l (de lo contrario podramos eliminar
Z
i
de la descomposicion y la union seguira siendo X). De modo que Z
i
= W
j
.
Toda variedad que aparezca en la primera descomposicion debe aparecer en la
segunda, y viceversa.
Denicion 1.20. Si X = Z
1
Z
r
es una descomposicion minimal de
X como union de variedades, las variedades Z
i
se llaman las componentes
irreducibles de X.
1.5. Dimensi on de un conjunto algebraico
El concepto de dimension es algo que tenemos claro intuitivamente, pero
denirlo matematicamente es casi siempre una cuestion delicada. En principio,
parece claro que la dimension de una variedad debe ser uno mas que el maximo
de las dimensiones de las variedades estrictamente contenidas en ella. Esto nos
da una denicion recursiva de la dimension, que podemos expresar tambien de
la siguiente forma:
Denicion 1.21. Sea X A
n
k
un conjunto algebraico. La dimension de X es
el mayor entero n tal que existe una cadena estrictamente creciente Z
0
Z
1

Z
n
X de variedades algebraicas anes en X.
Practicamente de la propia denicion se deduce:
Proposicion 1.22. La dimension de X A
n
k
es igual a la dimension de Krull
de su anillo de coordenadas /(X).
Demostracion. Las cadenas estrictamente crecientes Z
0
Z
1
Z
n
X
de variedades se corresponden biunvocamente con las cadenas estrictamente
1.6. FUNCIONES RACIONALES 9
decrecientes p
0
p
1
p
n
J(X) de ideales primos en k[x
1
, . . . , x
n
]
mediante la aplicacion Z J(Z), y estas se corresponden biunvocamente con
las cadenas estrictamente decrecientes p
0
p
1
p
n
de ideales primos en
/(X). La dimension de Krull de /(X) es por denicion la maxima longitud de
una tal cadena.
Corolario 1.23. La dimension de A
n
k
es n.
Denicion 1.24. Una variedad de dimension 1 (respectivamente 2, n 1) en
A
n
k
se denomina una curva (resp. supercie, hipersupercie) afn.
Denicion 1.25. Un conjunto algebraico X A
n
k
se dice equidimensional
si todas sus componentes irreducibles tienen la misma dimension.
Las hipersupercies anes son f aciles de clasicar:
Proposicion 1.26. Un conjunto algebraico X A
n
k
es equidimensional de
dimension n1 si y solo si J(X) es un ideal principal (distinto de 0 y el total).
En particular, X es una hipersupercie si y solo si J(X) esta generado por un
polinomio irreducible.
Demostracion. Basta probar la segunda armacion, puesto que todo ideal prin-
cipal (distinto de 0 y el total) es producto de ideales principales generados por
un polinomio irreducible. Supongamos que X es una hipersupercie, enton-
ces J(X) es un ideal primo tal que k[x
1
, . . . , x
n
]/J(X) tiene dimension n 1.
Por [AC, 4, Corolario 6], para todo ideal primo p k[x
1
, . . . , x
n
] se tiene que
ht(p) + dimk[x
1
, . . . , x
n
]/p = n. Por tanto J(X) tiene altura 1. Por [H, Propo-
sition 1.12A] todo ideal primo de altura 1 en k[x
1
, . . . , x
n
] es principal. Como
es primo, el generador del ideal debe ser irreducible.
Recprocamente, supongamos que J(X) esta generado por un polinomio irre-
ducible. Entonces J(X) es primo, y por tanto X es una variedad. Por el teorema
de los ideales principales de Krull ([AC, 3, Teorema 1]) J(X) tiene altura 1, y
por tanto por [AC, 4, Corolario 6] la dimension de /(X) (que es la de X) es
n 1.
La proposicion anterior no es cierta para conjuntos algebraicos arbitrarios:
en general, hacen falta mas de r polinomios para generar el ideal de una variedad
afn de dimension n r. Si X tiene dimension n r y J(X) esta generado por
r polinomios, se dice que X es interseccion completa.
Ejercicio 1.8. Si I k[x
1
, . . . , x
n
] es un ideal generado por r elementos, probar
que la dimension de cada componente irreducible de 1(I) es n r. ( Ayuda:
Usar [AC, 3, proposicion 3])
1.6. Funciones racionales
Ademas de las funciones regulares, en Geometra Algebraica juegan un papel
fundamental las llamadas funciones racionales.

Estas son funciones que solo
estan denidas en un abierto de una variedad, no en la variedad completa.
Gracias a que los abiertos de Zariski son grandes, podemos operar con funciones
racionales como si se tratara de funciones regulares.
10 TEMA 1. EL ESPACIO AF

IN. CONJUNTOS ALGEBRAICOS

Denicion 1.27. Sea Z A
n
k
una variedad afn. Una funcion racional f :
Z k es un par (U, f) donde U Z es un abierto de Zariski no vaco y
f : U k es una aplicaci on tal que existen g, h /(Z) con h(x) ,= 0 y
f(x) = g(x)/h(x) para todo x U, modulo la siguiente relacion de equivalencia:
(U, f) (U

, 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

IN. CONJUNTOS ALGEBRAICOS

Proposicion 1.33. Sea Z A
n
k
una variedad afn y f /(Z) no nulo. Deno-
temos por U
f
el abierto Z1(f) formado por los x Z tales que f(x) ,= 0.
Entonces O
Z
(U
f
) /(Z) es igual a /(Z)
f
, el localizado de /(Z) con respecto
al conjunto multiplicativo de las potencias de f.
Demostracion. La inclusion /(Z)
f
O
Z
(U
f
) es evidente: una funcion racional
h de la forma g/f
n
esta denida en U
f
, y la expresion h = g/f
n
es valida en
todo punto x U
f
, ya que f(x) ,= 0. Recprocamente, sea h una funcion racional
denida en U
f
. Hay que probar que h tiene una expresion de la forma g/f
n
con
g /(Z) y n 0.
Para todo punto x U
f
existe un abierto V
x
Z y funciones u
x
, v
x
/(Z)
tales que v
x
(y) ,= 0 para todo y V
x
y h = u
x
/v
x
en V
x
. Los abiertos V
x
[x
U
f
forman un recubrimiento de U
f
. Como U
f
es cuasi-compacto (ejercicio
1.17), existen un n umero nito de puntos x
1
, . . . , x
r
U
f
tales que los abiertos
V
i
:= V
x
i
para i = 1, . . . , x
r
recubren U
f
. Sean u
i
:= u
x
i
, v
i
:= v
x
i
. Todo punto
y U
f
esta en alg un V
i
, y en particular v
i
(y) ,= 0. Por tanto 1(v
1
, . . . , v
r
) no
contiene ning un punto de U
f
o, dicho de otra forma, esta contenido en 1(f).
En particular, f J(1(f)) J(1(v
1
, . . . , v
r
)). El Nullstellensatz nos
dice entonces que f
n
v
1
, . . . , v
r
para alg un n 1. Sea, por ejemplo, f
n
=
a
1
v
1
+ +a
r
v
r
con a
i
k[x
1
, . . . , x
n
]. Multiplicando por h y teniendo en cuenta
que hv
i
= u
i
en V
i
, obtenemos f
n
h = a
1
u
1
+ + a
r
u
r
en V := V
1
V
r
.
Por tanto, h = (V, a/f
n
) donde a = a
1
u
1
+ + a
r
u
r
.
Corolario 1.34. O
Z
(Z) = /(Z), es decir, las unicas funciones racionales de-
nidas en todo punto de Z son las funciones regulares.
1.8. Ejercicios adicionales
Ejercicio 1.12. Sean S
1
S
2
k[x
1
, . . . , x
n
]. Probar que 1(S
2
) 1(S
1
). Es
cierto el recproco?
Ejercicio 1.13. Sea X A
n
k
un subconjunto. Probar que 1(J(X)) es la clau-
sura de X en la topologa de Zariski.
Ejercicio 1.14. Si X A
n
k
e Y A
m
k
son conjuntos algebraicos, probar que
X Y A
n+m
k
es algebraico.
Ejercicio 1.15. Un elemento e de un anillo A se dice idempotente si e
2
= e.
Sea X A
n
k
un conjunto algebraico. Probar que X es conexo con respecto a
la topologa de Zariski si y solo si /(X) no contiene elementos idempotentes
distintos de 0 y 1.
Ejercicio 1.16. Sea X A
n
k
un conjunto algebraico. Dado f /(X), se dene
U(f) = X1(f), es decir, el conjunto de los x X tales que f(x) ,= 0. Probar
que los abiertos U(f)[f /(X) forman una base para la topologa de Zariski
de X.
Ejercicio 1.17. Sea Z A
n
k
una variedad afn, y U Z un abierto. Probar
que U es cuasi-compacto, es decir, para todo recubrimiento abierto U =

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

IN. CONJUNTOS ALGEBRAICOS

Tema 2
Morsmos entre variedades
anes
2.1. Morsmos
Como es habitual en Matematicas, una vez descritos los objetos con los
que vamos a trabajar, el siguiente paso es denir cuales son las aplicaciones
interesantes entre dos objetos jados.
Denicion 2.1. Sean Y A
n
k
y Z A
m
k
dos variedades anes. Un morsmo
entre Y y Z es una aplicacion : Y Z tal que existen m funciones regulares
f
1
, . . . , f
m
/(Y ) con (x) = (f
1
(x), . . . , f
m
(x)) para todo x Y .
Los morsmos pueden denirse de manera mas intrnseca:
Proposicion 2.2. Una aplicacion : Y Z es un morsmo si y solo si para
toda funcion regular f : Z k la composicion f : Y k es una funcion
regular.
Demostracion. Sea : Y Z un morsmo, dado por (x) = (f
1
(x), . . . , f
m
(x)).
Toda funcion regular f : Z k viene dada por un polinomio f k[x
1
, . . . , x
m
],
y entonces f viene dada por el polinomio g(x) := f(f
1
(x), . . . , f
m
(x))
k[x
1
, . . . , x
n
].
Recprocamente, supongamos que f es regular para toda funcion regular
f. En particular, si f(x) = x
i
para un i = 1, . . . , m jo, f es regular,
y por tanto viene dada por un polinomio f
i
k[x
1
, . . . , x
n
]. Entoces f(x) =
(f
1
(x), . . . , f
m
(x)).
De esta ultima caracterizacion se deduce que la composicion de dos mor-
smos es un morsmo. Todo morsmo : Y Z dene una aplicacion

:
/(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

: X Y es otro morsmo de variedades, (

.
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)) = (

g)(x) = (g)(x) = (0)(x) = 0, ya que g = 0 en

/(Z).
En cuanto a la unicidad, veamos que es posible recuperar a partir de

. Mas concretamente, si (y) = x veamos que (

)
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),

inducen una equivalencia

de categoras entre la categora de variedades anes y morsmos y la categora
opuesta a la de k-algebras anes y homomorsmos de k-algebras.
2.2. Variedades cuasi-anes
El concepto de variedad algebraica afn es demasiado restringido para poder
trabajar con exibilidad. Por eso vamos a aumentar la categora de variedades
anes a nadiendole los subconjuntos abiertos de esta.
Denicion 2.5. Una subconjunto X A
n
k
se denomina variedad cuasi-afn
en A
n
k
si es un abierto de Zariski de una variedad afn Z. En otras palabras, si
existen una variedad afn Z y un conjunto algebraico Y Z tales que X = ZY .
Por tanto, para toda variedad cuasi-afn X existen polinomios f
1
, . . . , f
n
y
g
1
, . . . , g
m
en k[x
1
, . . . , x
n
] tales que X es el conjunto de puntos x A
n
k
con
f
i
(x) para todo i y g
j
(x) ,= 0 para alg un j. Como todo abierto no vaco de Z es
denso, X determina Y y Z: Z es la clausura X e Y es el complementario de X
en Z.
Denicion 2.6. Sea X A
n
k
una variedad cuasi-afn. Una aplicaci on f : X
k se dice funcion regular si existe

f /(X) denida en X tal que f =

f
|X
.
Como las funciones de /(X) denidas en X son las funciones regulares, este
denicion es compatible con la anterior en el caso de que X sea afn. Al igual
que en el caso afn, denotaremos por /(X) el anillo de funciones regulares en
X.
Denicion 2.7. Sean Y A
n
k
y Z A
m
k
variedades cuasi-anes. Un mor-
smo entre Y y Z es una aplicacion : Y Z tal que existen m funciones
regulares f
1
, . . . , f
m
: Y k con (x) = (f
1
(x), . . . , f
m
(x)) para todo x Y .
Al igual que en el caso de morsmos entre variedades anes, tenemos:
Ejercicio 2.1. Probar que una aplicaci on : Y Z entre variedades cuasi-
anes es un morsmo si y solo si para toda funcion regular f : Z k la
composicion f : Y k es regular.
2.2. VARIEDADES CUASI-AFINES 17
Un morsmo : Y Z de variedades cuasi-anes induce por tanto un
homomorsmo de k-algebras

: /(Z) /(Y ) entre sus anillos de funciones

regulares. Sin embargo, el recproco en este caso no es cierto, como vemos en el
ejemplo siguiente:
Ejercicio 2.2. Sean Y = A
2
C
y Z = Y 0. Por el ejercicio 1.27 O
Z
(Y ) =
O
Z
(Z) = C[x, y]. Probar que no existe ning un morsmo : Y Z tal que

: C[x, y] C[x, y] sea la identidad.

Ejemplos 2.8.
1. La aplicacion : x (x, 1/x) es un morsmo entre A
1
k
0 y 1(xy
1) A
2
C
.
2. Dada una variedad Z A
n
k
, la aplicacion dada por (x
1
, . . . , x
n1
, x
n
)
(x
1
, . . . , x
n1
, 0) es un morsmo entre Z y el hiperplano H denido por
x
n
= 0. Su imagen es la proyecci on de Z sobre H. Esta proyeccion no es
necesariamente una variedad.
Sea : Y Z un morsmo de variedades cuasi-anes, y Y y z = (y)
Z. Dada una funcion racional denida en z f O
Z,z
:= O
Z,z
, se obtiene una
funcion racional

f = f en Y denida en y. En efecto, supongamos que

f = g/h en un entorno U de z, con g, h k[x
1
, . . . , x
m
] y h(z) ,= 0. Entonces

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 ). Esto se debe a que dada f = g/h : Z k

es posible que h sea identicamente nula. Por ejemplo, si : A
1
k
A
2
k
viene
dada por (t) = (t, 0) no tiene sentido hablar de

f, donde f(x, y) = 1/y. El

homomorsmo

: /(Z) /(Y ) se podra extender a los cuerpos de fracciones

si y solo si es inyectivo.
Denicion 2.9. Un morsmo de variedades cuasi-anes : Y Z se dice
dominante si su imagen (Y ) es densa en Z.
Por ejemplo, el morsmo 1(xy 1) A
2
k
A
1
k
dado por (x, y) = x es
dominante, puesto que su imagen es el abierto A
1
k
0.
Proposicion 2.10. Sea : Y Z un morsmo de variedades cuasi-anes.
es dominante si y solo si el homomorsmo correspondiente

: /(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

es inyectiva. Sea f /(Z) una funcion

regular que se anule en todo punto de la imagen de , es decir, tal que f =

f = 0. Por ser

inyectiva, f debe ser nula en todo Z. Es decir, J((Y ))

J(Z). Aplicando 1 y usando el ejercicio 1.13 concluimos que Z Z (Y ), es
decir, (Y ) es denso en Z.
Por tanto, un morsmo dominante : Y Z de variedades cuasi-anes
induce un homomorsmo (necesariamente inyectivo)

: /(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

es un isomorsmo de k- algebras, y dos variedades anes son isomorfas si y solo

si sus anillos de coordenadas lo son. Esto no es cierto en general si las variedades
son solo cuasi-anes, como muestra el primer ejemplo siguiente:
Ejemplos 2.12.
1. Si : A
2
C
(0, 0) A
2
C
es el morsmo dado por la inclusion,

:
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

: /(Z) /(Y ) (es decir, un homomorsmo de cuerpos constante

en k), que es simplemente el inducido por si = (U, ). Veamos que el
recproco es cierto:
Proposicion 2.16. Dado un homomorsmo de k-algebras : /(Z) /(Y ),
existe una unica aplicacion racional dominante : Y Z tal que

= .
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,
(

. La proposici on anterior nos dice que:

Proposicion 2.17. Las aplicaciones Z /(Z),

inducen una equiva-

lencia de categoras entre la categora de variedades anes y aplicaciones racio-
nales dominantes y la categora opuesta a la de cuerpos nitamente generados
sobre k y k-homomorsmos de cuerpos.
Demostracion. Lo unico que falta probar es que todo cuerpo K nitamente ge-
nerado sobre k es el cuerpo de funciones de alguna variedad afn. Sean x
1
, . . . , x
n
generadores de K sobre k. La k-algebra k[x
1
, . . . , x
n
] K es el anillo de coor-
denadas de alg un conjunto algebraico (ejercicio 1.5) que necesariamente ha de
ser una variedad X, porque todo subanillo de un cuerpo es un dominio de inte-
gridad. Por tanto, K = K(/(X)) = /(X).
2.5. Variedades birracionalmente equivalentes
Denicion 2.18. Sean Y y Z variedades cuasi-anes. Una aplicacion racional
: Y Z se dice birracional si existe una aplicacion racional

: Z Y
20 TEMA 2. MORFISMOS ENTRE VARIEDADES AFINES
tal que

: Y Y y

: Z Z son la identidad (como aplicaciones

racionales). Las variedades Y y Z se dicen birracionalmente equivalentes si
existe una aplicacion birracional : Y Z. Una variedad Y se dice racional
si es birracionalmente equivalente a A
n
k
para alg un n.
Ejemplos 2.19. Sea Z A
3
C
la cuadrica denida por la ecuacion z
2
= xy. Las
aplicaciones racionales A
2
C
Z dada por (a, b) (
b
2
b
2
a
,
a
2
b
2
a
,
ab
b
2
a
) y Z A
2
C
dada por (x, y, z) (
y
x1
,
z
x1
) son inversas la una de la otra, y por tanto son
birracionales. En particular, Z es racional.
Proposicion 2.20. Sean Y y Z variedades cuasi-anes. Las siguientes condi-
ciones son equivalentes:
a) Y y Z son birracionalmente equivalentes.
b) Existen abiertos U Y y V Z isomorfos.
c) /(Y ) y /(Z) son isomorfos.
Demostracion. Veamos que (a) (b). Sea : Y Z birracional, y : Z
Y su inversa. Sea U

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

). Los abiertos buscados son entonces U =

1
(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