Notas y Ejercicios de Geometria Algebraica

Notas y ejercicios de Geometra Algebraica
Departamento de

Algebra
Universidad de Sevilla
18 de enero de 2010
c _2010 Antonio Rojas Leon
Este trabajo esta publicado bajo licencia Creative Commons 3.0 Espa na
(Reconocimiento - No Comercial - Compartir bajo la misma licencia)
http://creativecommons.org/licenses/by-nc-sa/3.0/es/
Usted es libre de:
copiar, distribuir y comunicar p ublicamente la obra
hacer obras derivadas
Bajo las condiciones siguientes:
Reconocimiento: Debe reconocer los creditos de la obra maestra espe-
cicada por el autor o el licenciador (pero no de una manera que sugiera
que tiene su apoyo o apoyan el uso que hace de su obra).
No comercial: No puede utilizar esta obra para nes comerciales.
Compartir bajo la misma licencia: Si altera o transforma esta obra,
o genera una obra derivada, solo puede distribuir la obra generada bajo
una licencia identica a esta.
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
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).
4
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) ,= .
5
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
6
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.
7
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:
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
8
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.
9
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.27). 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
10
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:
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).
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):
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).
11
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.18), 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.
n
k
un conjunto algebraico, y f /(X) una funcion
regular que no se anule en ning un punto de X. Probar que 1/f : X k es
tambien una funcion regular.
Ejercicio 1.16. 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.
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.
12
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
.
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.
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
].
2
C
la curva denida por la ecuacion x
a
= y
b
, donde
a, b son enteros positivos. Probar que X es irreducible si y solo si a y b son
primos entre s. ( Ayuda: Probar que el homomorsmo C[x, y]/x
a
y
b
C[t]
dado por x t
b
, y t
a
es inyectivo si a y b son primos entre s.)
Ejercicio 1.22. 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.23. Hallar la dimension de los conjuntos algebraicos del ejercicio
anterior, as como de cada una de sus componentes irreducibles.
Ejercicio 1.24. 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.25. Si V W A
n
k
son dos variedades de la misma dimension,
probar que V = W.
3
C
el conjunto algebraico denido por las ecuaciones
x
4
y
3
= x
5
y
3
= y
5
z
4
= 0. Probar que X es irreducible de dimension 1,
pero no puede denirse usando solo dos de las ecuaciones dadas. ( Ayuda: Usar
la aplicaci on t (t
3
, t
4
, t
5
))
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.28. 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
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.30. 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)
Ejercicio 1.31. Sean Y X A
n
k
dos variedades. Denimos /(X, Y ) como
el conjunto de funciones racionales f /(X) denidas en alg un punto de Y .
Probar que /(X, Y ) es un anillo local con cuerpo residual /(Y ).
13
14
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
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.19).
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
r
y
g
1
, . . . , g
s
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.
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.
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.
16
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.30 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.
17
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.30.
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:
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 .
18
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
19
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 funciones es isomorfo a k(x
1
, . . . , x
n
) para alg un n.
Corolario 2.22. Toda variedad afn Z de dimension d es birracionalmente
equivalente a una hipersupercie en A
d+1
k
Demostracion. Por el teorema de estructura de los cuerpos nitamente gene-
rados, /(Z) se pude expresar como una extension nita (y por tanto alge-
braica) de k(x
1
, . . . , x
d
). Es decir, existe un polinomio f k(x
1
, . . . , x
d
)[y] tal
que /(Z) = k(x
1
, . . . , x
d
)[y]/(f). Quitando denominadores, pordemos poner
f = g/h, con g, h sin factores comunes y g k[x
1
, . . . , x
d
, y]. La hipersupercie
denida por g en A
d+1
k
es entonces birracionalmente equivalente a Z.
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 composicion
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.
20
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 aplicaci on birracional entre
A
n1
k
y Z de la siguiente forma:
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 : Y Z es un
morsmo, el grafo de es el conjunto
:= (x, (x)) A
n
k
A
m
k
[x Y .
Probar que
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.
21
Ejercicio 2.18. Sean a, b enteros positivos, y X = 1(x
b
y
a
) A
2
C
. Probar
que la aplicacion : A
1
C
X dada por (t) = (t
a
, t
b
) es un birracional si y solo
si a y b son primos entre s, y es un isomorsmo si y solo si a = 1 o b = 1.
Ejercicio 2.19. Probar que todo automorsmo de A
1
k
(es decir, todo isomor-
smo : A
1
k
A
1
k
) es lineal: (t) = at + b para algunos a ,= 0, b k. Dar un
ejemplo de automorsmo de A
2
k
que no sea una aplicacion lineal afn.
22
Tema 3
Variedades en el espacio
proyectivo
3.1. Conjuntos algebraicos proyectivos
Recordemos la denicion de espacio proyectivo.
Denicion 3.1. Sea k un cuerpo. El espacio proyectivo de dimension n so-
bre k, denotado P
n
k
, es el conjunto de (n+1)-uplas no nulas A
n+1
k
(0, . . . , 0)
modulo la relacion de equivalencia siguiente: (x
0
, x
1
, . . . , x
n
) (y
0
, y
1
, . . . , y
n
)
si existe un k
tal que y
i
= x
i
para todo i = 1, . . . , n. La clase de equiva-
lencia de (x
0
, x
1
, . . . , x
n
) se denota (x
0
: x
1
: . . . : x
n
).
Dado un polinomio f k[x
0
, x
1
, . . . , x
n
], no esta denido el valor de f en un
punto x P
n
k
, ya que este valor sera distinto dependiendo del representante que
elijamos en A
n+1
k
para x. Sin embargo, si f es homogeneo, la expresion f(x) = 0
s tiene sentido: si x = (x
0
: x
1
: . . . : x
n
) = (y
0
: y
1
: . . . : y
n
), existe un ,= 0 tal
que y
i
= x
i
, y por tanto f(y
0
, y
1
, . . . , y
n
) =
d
f(x
0
, x
1
, . . . , x
n
), donde d es el
grado de f. En particular, f(y
0
, y
1
, . . . , y
n
) = 0 si y solo si f(x
0
, x
1
, . . . , x
n
) = 0.
En tal caso, decimos que f(x) = 0.
Para todo subconjunto S k[x
0
, x
1
, . . . , x
n
] formado por polinomios ho-
mogeneos, denimos 1(S) P
n
k
como el conjunto de los x P
n
k
tales que
f(x) = 0 para todo f S. En general, para S k[x
0
, x
1
, . . . , x
n
] arbitrario,
denimos 1(S) P
n
k
como el conjunto de los x P
n
k
tales que f(x) = 0 para
todo polinomio homogeneo f S.
Denicion 3.2. Un subconjunto X P
n
k
se dice algebraico si existe S
k[x
1
, . . . , x
n
] formado por polinomios homogeneos tal que X = 1(S).
Ejemplos 3.3.
1. El conjunto vaco = 1(1) y el espacio total P
n
k
= 1(0) son conjuntos
algebraicos.
2. El conjunto formado por un solo punto a = (a
0
: a
1
: . . . : a
n
) es algebraico:
a = 1(a
i
x
j
a
j
x
i
[0 i < j n).
3. Toda subvariedad lineal de P
n
k
es un conjunto algebraico, puesto que
esta denida por una cantidad nita de ecuaciones lineales homogeneas.
23
Exactamente igual que en el caso afn, se prueba:
Proposicion 3.4. La interseccion arbitraria y la union nita de subconjuntos
algebraicos de P
n
k
es un conjunto algebraico.
Y por tanto podemos denir:
Denicion 3.5. Se llama topologa de Zariski sobre P
n
k
a la topologa cuyos
cerrados son los conjuntos algebraicos.
3.2. Conjuntos algebraicos proyectivos e ideales
homogeneos
Como la suma de polinomios homogeneos no es homogeneo en general, en el
caso proyectivo no tiene sentido hablar del ideal de polinomios que se anulan
en un conjunto X P
n
k
. Pero s podemos considerar el ideal generado por ellos:
dado X P
n
k
, denimos J(X) como el ideal generado por todos los polinomios
homogeneos f k[x
0
, x
1
, . . . , x
n
] tales que f(x) = 0 para todo x X.
Denicion 3.6. Un ideal I k[x
0
, x
1
, . . . , x
n
] se dice homogeneo si esta ge-
nerado por polinomios homogeneos.
Ejercicio 3.1. Probar que un ideal I k[x
0
, x
1
, . . . , x
n
] es homogeneo si y s olo
si las componentes homogeneas de todo polinomio f I estan tambien en I.
Ejercicio 3.2. Para que un ideal I k[x
0
, x
1
, . . . , x
n
] sea radical es suciente
que para todo f k[x
0
, x
1
, . . . , x
n
] homogeneo tal que f
n
I para alg un n 1
se tenga que f I.
Del ejercicio anterior se deduce en particular que J(X) es un ideal radical
de k[x
0
, x
1
, . . . , x
n
].
La correspondencia entre ideales radicales y conjuntos algebraicos es un poco
mas complicada en el caso proyectivo. Para empezar, veamos que ideales I
verican 1(I) = .
Proposicion 3.7. Sea I k[x
0
, x
1
, . . . , x
n
] un ideal homogeneo. Las condicio-
nes siguientes son equivalentes:
1. 1(I) =
2. Para cada 0 i n, existe un m
i
1 tal que x
m
i
i
I
3.
I = 1 o x
0
, x
1
, . . . , x
n
.
Demostracion. 1 2) Sea Z A
n+1
k
el conjunto algebraico denido por I
visto como ideal corriente. Todo punto de Z distinto de (0, 0, . . . , 0) da lugar
a un punto proyectivo, que estara en 1(I). Como 1(I) = , concluimos que
Z (0, 0, . . . , 0). Aplicando el Nullstellensatz, se tiene que x
0
, x
1
, . . . , x
n

J(Z) =
I. En particular, x
i

I para todo i, y por tanto existe un m

i
1
tal que x
m
i
i
I.
2 3) Para todo 0 i n, x
i

I, as que x
0
, x
1
, . . . , x
n

I. Como
x
0
, x
1
, . . . , x
n
es maximal, debe ser
I = x
0
, x
1
, . . . , x
n
o
I = 1.
24
3 1) Si
I = 1, entonces 1
m
= 1 I, y por tanto 1(I) = . Si
I = x
0
, x
1
, . . . , x
n
, para cada 0 i n existe un m
i
1 tal que x
m
i
i
I.
Por tanto para todo (a
0
: a
1
: . . . : a
n
) 1(I) se tiene que a
m
i
i
= 0, por lo que
a
0
= a
1
= . . . = a
n
= 0, lo cual es imposible para un punto de P
n
k
.
Para el resto de ideales, la version proyectiva del Nullstellensatz es la si-
guiente:
Teorema 3.8. Sea I k[x
0
, x
1
, . . . , x
n
] un ideal homogeneo tal que 1(I) ,= .
Entonces J(1(I)) =
I.
Demostracion. La contencion
I J(1(I)) es trivial, ya que J(1(I)) es un

ideal radical que contiene a I. Veamos la contencion opuesta. Como J(1(I))
esta generado por polinomios homogeneos, basta probar que todo polinomio
homogeneo de J(1(I)) esta en
I. Sea f J(1(I)) homogeneo no nulo. Como

1(I) ,= , f no es una constante. Sea Z A
n+1
k
el conjunto algebraico afn
denido por I visto como ideal corriente. Entonces f se anula en todo punto de
Z distinto de (0, 0, . . . , 0) (ya que todo punto distinto del origen corresponde a
un punto del espacio proyectivo en el que f se anula). Pero tambien se anula en
(0, 0, . . . , 0) por ser homogeneo y no constante. Por tanto f J(Z) =
I por el
Nullstellensatz afn.
A partir de los dos ultimos resultados obtenemos:
Corolario 3.9. Las aplicaciones I 1(I) y X J(X) denen una co-
rrespondencia biunvoca entre el conjunto de ideales radicales homogeneos de
k[x
0
, x
1
, . . . , x
n
] distintos de x
0
, x
1
, . . . , x
n
y el conjunto de subconjuntos alge-
braicos de P
n
k
, que invierte las contenciones.
En particular, como k[x
0
, x
1
, . . . , x
n
] es noetheriano, todo subconjunto al-
gebraico de P
n
k
es el conjunto de ceros de una cantidad nita de polinomios
homogeneos.
3.3. Variedades proyectivas. Dimension
En esta seccion trasladaremos al caso proyectivo algunos conceptos que ya
hemos estudiado en el caso afn.
Denicion 3.10. Un conjunto algebraico X P
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. Una variedad proyectiva es un subconjunto
algebraico de P
n
k
irreducible.
Ejercicio 3.3. Sea I k[x
0
, x
1
, . . . , x
n
] un ideal homogeneo. Probar que I
es primo si y solo si para todos f, g k[x
0
, x
1
, . . . , x
n
] homogeneos tales que
fg I, o bien f I o bien g I.
Proposicion 3.11. Un conjunto algebraico X P
n
k
es irreducible si y solo si
J(X) es un ideal primo.
25
Demostracion. Sea X irreducible, y supongamos que J(X) no es primo. Por el
ejercicio 3.3, existen f, g k[x
0
, x
1
, . . . , x
n
] homogeneos tales que fg J(X),
pero ni f ni g estan en J(X). Deniendo Y = 1(f) X y Z = 1(f) Y se
tiene entonces que Y X, Z X, y Y Z = 1(fg) X = X, contradiciendo
la irreducibilidad de X.
Recprocamente, supongamos que X = Y Z con Y X y Z X. Sean
f J(Y )J(X) y g J(Z)J(X) homogeneos. Entonces fg es homogeneo y se
anula en todo punto de Y Z = X, y por tanto fg J(X). De modo que J(X)
no puede ser primo.
Corolario 3.12. Las aplicaciones I 1(I) y Z J(Z) denen una correspon-
dencia biunvoca entre el conjunto de ideales primos homogeneos de k[x
1
, . . . , x
n
]
distintos de x
0
, x
1
, . . . , x
n
y el conjunto de variedades proyectivas en P
n
k
, que
invierte las contenciones.
El siguiente resultado se traslada palabra por palabra desde el caso afn, con
identica demostracion:
Proposicion 3.13. Todo conjunto algebraico X P
n
k
puede descomponerse
como una union nita X = Z
1
Z
r
de variedades proyectivas. Si la des-
composicion 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, y
se denominan componentes irreducibles de X.
Denicion 3.14. La dimension de un conjunto algebraico X P
n
k
es el mayor
entero n tal que existe una cadena estrictamente creciente Z
0
Z
1

Z
n
X de variedades proyectivas. Una variedad proyectiva de dimensi on 1
(respectivamente 2, n 1) en P
n
k
se denomina una curva (resp. supercie,
hipersupercie) proyectiva.
El resultado siguiente, que no demostraremos, tambien es paralelo al corres-
pondiente resultado afn:
Proposicion 3.15. Una variedad proyectiva Z P
n
k
es una hipersupercie si
y solo si J(Z) esta generado por un polinomio homogeneo irreducible.
3.4. Funciones regulares y racionales. Varieda-
des cuasi-proyectivas
En el caso de los conjuntos algebraicos proyectivos, no podemos denir las
funciones regulares f : X k como aquellas dadas por un polinomio, ni siquiera
homogeneo, ya que el valor del polinomio en un punto dado x = (x
0
: x
1
: . . . :
x
n
) dependera de las coordenadas elegidas para representar al punto. Si f es
un polinomio homogeneo de grado d y multiplicamos las coordenadas de x por
,= 0, el valor de f(x
0
, x
1
, . . . , x
n
) quedara multiplicado por
d
. Sin embargo,
si g es otro polinomio homogeneo del mismo grado tal que g(x) ,= 0, el valor del
cociente f(x)/g(x) no depende de las coordenadas elegidas para x. Esto justica
la siguiente denicion:
Denicion 3.16. Sea Z P
n
k
una variedad proyectiva. Una funcion racional
f : Z k es un par (U, f) donde U Z es un abierto no vaco y f : U k
26
es una aplicacion tal que existen g, h k[x
0
, x
1
, . . . , x
n
] homogeneos del mismo
grado 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 3.4. Denir la suma y el producto de funciones racionales en Z, y
probar que con esas operaciones forman un cuerpo, que llamaremos el cuerpo
de funciones de Z.
Si Z P
n
k
es una variedad y f : Z k una funcion racional, se dice que
f esta denida en el punto x Z si existe un abierto U Z con x U y
polinomios g, h k[x
0
, x
1
, . . . , x
n
] con h(y) ,= 0 y f(y) = g(y)/h(y) para todo
y U. El conjunto de puntos donde f esta denida es un abierto, llamado el
abierto de denicion de f. El conjunto de funciones racionales denidas en
un punto x Z es un subanillo local del cuerpo de funciones, que llamaremos
el anillo local de x en Z, denotado O
Z,x
.
Denicion 3.17. Un subconjunto X P
n
k
se denomina variedad cuasi-
proyectiva si es un abierto de Zariski de una variedad proyectiva Z
Es decir, existen polinomios homogeneos f
1
, . . . , f
r
y g
1
, . . . , g
s
en k[x
0
, x
1
, . . . , x
n
]
tales que Z es el conjunto de puntos x P
n
k
en los que f
1
(x), . . . , f
r
(x) se anulan
y al menos uno de g
1
(x), . . . , g
s
(x) no se anula.
Denicion 3.18. Sea Z P
n
k
una variedad cuasi-proyectiva. Una funcion
racional f : Z k denida en todo punto de Z se denomina funcion regular.
El conjunto de funciones regulares en Z es un anillo, denotado O(Z).
3.5. El recubrimiento afn de una variedad pro-
yectiva
En esta seccion veremos como podemos reducir el estudio de las varieda-
des proyectivas (al menos localmente) al de variedades anes, para las cuales
tenemos metodos algebraicos potentes.
Para cada 0 i n, sea U
i
P
n
k
el abierto denido por x
i
,= 0. Como todo
punto del espacio proyectivo tiene al menos una coordenada no nula, los abiertos
U
i
recubren P
n
k
. Sea
i
: A
n
k
U
i
la aplicacion dada por
i
(x
1
, . . . , x
n
) = (x
1
:
. . . : x
i1
: 1 : x
i+1
: . . . : x
n
).
Ejercicio 3.5. Probar que
i
es continua para las topologas de Zariski.
Proposicion 3.19. La aplicacion
i
es un homeomorsmo, y para toda f
O(U
i
), f
i
es una funcion regular en A
n
k
. La aplicacion
: O(U
i
) /(A
n
k
) =
k[x
1
, . . . , x
n
] dada por
(f) = f es un isomorsmo de k-algebras.

Demostracion. Para ver que
i
es un homeomorsmo, basta comprobar que
: (x
0
: x
1
: . . . : x
n
) (x
0
/x
i
, . . . , x
i1
/x
i
, x
i+1
/x
i
, . . . , x
n
/x
i
) es una apli-
cacion inversa y que es continua. Sea Z = 1(h
1
, . . . , h
r
) A
n
k
un cerrado,
su imagen inversa por esta aplicacion sera el conjunto de puntos x U
i
tales
que h
j
(x
0
/x
i
, . . . , x
i1
/x
i
, x
i+1
/x
i
, . . . , x
n
/x
i
) = 0 para todo j. Como x
i
,= 0,
multiplicando por una potencia de x
i
obtenemos r polinomios homogeneos p
j
=
x
d
j
i
h
j
(x
0
/x
i
, . . . , x
i1
/x
i
, x
i+1
/x
i
, . . . , x
n
/x
i
) tales que
1
(Z) = 1(p
1
, . . . , p
r
),
y por tanto
1
(Z) es un cerrado.
27
Sea f O(U
i
), veamos que f
i
es una funcion regular. Como es claramente
una funcion racional, por el corolario 1.34 basta ver que esta denida en todo
punto a A
n
k
. Como f esta denida en
i
(a) U
i
, existen un abierto V U
i
con
i
(a) V y g, h k[x
0
, x
1
, . . . , x
n
] del mismo grado tales que h(y) ,= 0 y
f(y) = g(y)/h(y) para todo y V . Entonces g
i
y h
i
son polinomios en
k[x
1
, . . . , x
n
] tales que h
i
(z) ,= 0 y f
i
(z) = g
i
(z)/h
i
(z) para todo
z
1
i
(V ) (que es abierto por el ejercicio anterior). Por tanto f
i
esta denida
en a.
La aplicacion
preserva sumas, productos y constantes, y por tanto es un

homomorsmo de k-algebras. Para ver que es un isomorsmo, construyamos
el homomorsmo inverso. Sea p k[x
1
, . . . , x
n
], y sea (p)(x
0
, x
1
, . . . , x
n
) =
p(x
0
/x
i
, . . . , x
i1
/x
i
, x
i+1
/x
i
, . . . , x
n
/x
i
). Reduciendo a denominador com un,
podemos escribir (p)(x
0
, x
1
, . . . , x
n
) = q(x
0
, x
1
, . . . , x
n
)/x
d
i
, donde q es un po-
linomio homogeneo de grado d. Como x
d
i
no se anula en U
i
, (p) dene una
funcion regular en U
i
. Es un ejercicio facil comprobar que
i
y son inversas
la una de la otra.
Supongamos ahora que Z P
n
k
es una variedad proyectiva (respectivamen-
te cuasi-proyectiva). Entonces Z esta recubierta por los subconjuntos abiertos
Z
i
:= ZU
i
, y podemos identicar cada Z
i
con la variedad afn (resp. cuasi-afn)
1
i
(Z) A
n
k
.
Proposicion 3.20. Una funcion f : Z k es regular si y solo si f
i
:
1
i
(Z
i
) k es regular para todo i.
Demostracion. f es regular si y solo si su restriccion a cada abierto Z
i
lo es (ya
que la regularidad depende solo de un entorno de cada punto). Por otra parte,
la aplicacion biyectiva
i
: A
n
k
U
i
se restringe a una aplicacion biyectiva
i
:
1
i
(Z
i
) Z
i
, de tal manera que f : Z
i
k es regular si y solo si
f
i
:
1
i
(Z
i
) k lo es (repitiendo la prueba de la proposicion anterior).
Ejercicio 3.6. Sea Z = 1(f
1
, . . . , f
r
) P
n
k
una variedad proyectiva, con
f
1
, . . . , f
r
k[x
0
, x
1
, . . . , x
n
] homogeneos. Probar que
1
i
(Z
i
) = 1(

f
1
, . . . ,

f
r
)
A
n
k
, donde

f
i
(x
1
, . . . , x
n
) = f
i
(x
1
, . . . , x
i1
, 1, x
i+1
, . . . , x
n
).
3.6. La inmersi on del espacio afn en el espacio
proyectivo
Para i = 0, la aplicacion
0
: A
n
k
P
n
k
denida en la seccion anterior
nos da una inmersion (topologica) de A
n
k
como el subconjunto abierto de P
n
k
denido por x
0
,= 0. Si no se especica lo contrario, siempre que consideremos
al espacio afn como subconjunto del espacio proyectivo lo haremos mediante
esta inmersion. El complementario H
de A
n
k
en P
n
k
(es decir, el hiperplano
denido por x
0
= 0) se denominara hiperplano del innito.
Sea ahora X A
n
k
un conjunto algebraico. Su imagen por
0
es un subcon-
junto (no necesariamente algebraico) de P
n
k
.
Denicion 3.21. La clausura proyectiva X de X es la clausura de X en
P
n
k
para la topologa de Zariski, es decir, el menor subconjunto algebraico de P
n
k
que contiene a X.
28
Ejemplos 3.22.
1. Si X es la recta x
1
= 0 en A
2
k
, su clausura proyectiva es la recta x
1
= 0
en P
2
k
, que contiene a X y al punto en el innito (0 : 0 : 1).
2. Si X es la curva x
1
x
2
= 1 en A
2
k
, su clausura proyectiva es la curva
x
1
x
2
= x
2
0
en P
2
k
, que contiene a X y los dos puntos en el innito
(0 : 1 : 0) y (0 : 0 : 1).
Como X
A
n
k
= X
P
n
k
A
n
k
y X es cerrado en A
n
k
, se tiene que XA
n
k
= X. En
particular, la aplicacion X X entre conjuntos algebraicos anes y conjuntos
algebraicos proyectivos es inyectiva.
Lema 3.23. Si X A
n
k
es irreducible, tambien lo es su clausura proyectiva.
Demostracion. Supongamos que X = Y Z, donde Y, Z X son subconjuntos
cerrados. Entonces X = XA
n
k
= (Y A
n
k
) (Z A
n
k
). Como Y A
n
k
y Z A
n
k
son cerrados en X, que es irreducible, o bien X = Y A
n
k
o bien X = Z A
n
k
.
Supongamos que X = Y A
n
k
, entonces X Y . Pero Y es un cerrado y X es
el menor cerrado de P
n
k
que contiene a X, as que Y = X.
Proposicion 3.24. Sea Y P
n
k
una variedad proyectiva tal que Y A
n
k
,= .
Entonces Y = Y A
n
k
.
Demostracion. Como Y A
n
k
es el menor cerrado de P
n
k
que contiene a Y A
n
k
,
se tiene que Y A
n
k
Y . Supongamos que la contencion fuera estricta, entonces
existira un f k[x
0
, x
1
, . . . , x
n
] homogeneo que se anula en Y A
n
k
pero no en
todo Y . En particular, f se anula en Y A
n
k
. Sean Z = 1(f)Y y Y
= Y H
.
Como Y A
n
k
1(f)Y , se tiene que Y ZY
(Y A
n
k
)(Y H
) = Y ,
por lo que Y = ZY
. Por otra parte, Z ,= Y (ya que f se anula en todo Z pero

no en todo Y ) y Y
,= Y (ya que Y A
n
k
,= por hipotesis). Esto contradice la
irreducibilidad de Y .
Corolario 3.25. Las aplicaciones Z Z y Y Y A
n
k
denen una corres-
pondencia biunvoca entre el conjunto de variedades anes en A
n
k
y el conjunto
de variedades proyectivas en P
n
k
no contenidas en H
.
Veamos ahora como describir esta correspondencia explcitamente:
Proposicion 3.26. Sea Y = 1(f
1
, . . . , f
r
) P
n
k
una variedad proyectiva,
donde los f
i
k[x
0
, x
1
, . . . , x
n
] son polinomios homogeneos. Sea f
i
(x
1
, . . . , x
n
) :=
f
i
(1, x
1
, . . . , x
n
) k[x
1
, . . . , x
n
] (el deshomogeneizado de f
i
con respecto a x
0
)
para todo i = 1, . . . , r. Entonces Y A
n
k
= 1(f
1
, . . . , f
r
) A
n
k
.
Demostracion. Un punto (x
1
, . . . , x
n
) A
n
k
esta en Y si y solo si el punto
proyectivo correspondiente (1 : x
1
: . . . : x
n
) esta en Y , es decir, si y solo si
f
i
(1, x
1
, . . . , x
n
) = 0 para todo i. Pero por la denicion de f
i
, esto es lo mismo
que decir que f
i
(x
1
, . . . , x
n
) = 0 para todo i.
Para cada f k[x
1
, . . . , x
n
], denimos el homogeneizado de f con res-
pecto a x
0
como el polinomio homogeneo f
h
(x
0
, x
1
, . . . , x
n
) = x
d
0
f(x
1
/x
0
, . . . , x
n
/x
0
)
k[x
0
, x
1
, . . . , x
n
], donde d es el grado de f (es decir, multiplicamos cada mono-
mio de f por la potencia de x
0
necesaria para hacerlo homogeneo de grado d). El
polinomio original f se puede recuperar a partir de f
h
, ya que f(x
1
, . . . , x
n
) =
f
h
(1, x
1
, . . . , x
n
).
29
Ejercicio 3.7. Si g k[x
1
, . . . , x
n
] es un polinomio cualquiera y f k[x
0
, x
1
, . . . , x
n
]
un polinomio homogeneo tal que f(1, x
1
, . . . , x
n
) = g(x
1
, . . . , x
n
), probar que
f = x
e
0
g
h
para alg un e 0.
Proposicion 3.27. Sea Z = 1(I) A
n
k
una variedad afn, donde I k[x
1
, . . . , x
n
]
es un ideal primo. Entonces Z = 1(I
h
), donde I
h
k[x
0
, x
1
, . . . , x
n
] es el ideal
generado por el conjunto de los homogeneizados de los elementos de I con res-
pecto a x
0
.
Demostracion. Si f I, entonces f(x
1
, . . . , x
n
) = 0 para todo (x
1
, . . . , x
n
) Z.
Dicho de otra forma, f
h
(1, x
1
, . . . , x
n
) = 0, y por tanto Z 1(I
h
). Como Z es
la clausura de Z en P
n
k
y 1(I
h
) es cerrado concluimos que Z 1(I
h
).
Recprocamente, sea Z = 1(J), donde J es un ideal homogeneo. Para todo
g J y para todo (x
1
, . . . , x
n
) Z se tiene entonces que g(1, x
1
, . . . , x
n
) = 0.
Por tanto, g
(x
1
, . . . , x
n
) := g(1, x
1
, . . . , x
n
) J(Z) = I. Por el ejercicio 3.7 se
tiene entonces que g = x
e
0
g
h
para alg un e 1, y por tanto g I
h
. As que
J I
h
, y tomando 1 concluimos que 1(I
h
) 1(J) = Z.
En el resultado anterior no es posible reemplazar I por un conjunto nito
de generadores, como muestra el ejemplo siguiente:
Ejemplos 3.28. Sea Z A
3
C
la variedad 1(x
2
1
x
2
, x
2
1
x
3
). La clausura
proyectiva Z no es la variedad proyectiva denida por los polinomios x
2
1
x
2
x
0
y x
2
1
x
3
x
0
. Esta variedad tiene dos componentes irreducibles: la denida por
x
2
1
x
2
x
0
= x
2
x
3
= 0 (la verdadera clausura proyectiva de Z) y la componente
intrusa denida por x
0
= x
1
= 0.
En general, si Z = 1(f
1
, . . . , f
r
) es una variedad afn, el conjunto alge-
braico proyectivo 1(f
h
1
, . . . , f
h
r
) contiene a la clausura proyectiva de Z como
componente irreducible, posiblemente con otras componentes irreducibles con-
tenidas en H
.
3.7. Morsmos entre variedades cuasi-proyectivas
Sea X P
n
k
una variedad cuasi-proyectiva. La denicion de morsmo de X
en el espacio afn es similar a la del caso de una variedad cuasi-afn:
Denicion 3.29. Una aplicacion : X A
m
k
se dice un morsmo si existen
m funciones regulares f
1
, . . . , f
m
O(X) tales que (x) = (f
1
(x), . . . , f
m
(x))
para todo x X. Si Y A
m
k
es una variedad cuasi-afn, un morsmo : X
Y es un morsmo : X A
m
k
tal que (X) Y .
n
k
es una variedad cuasi-afn, probar que :
0
(X)
A
m
k
es un morsmo seg un esta denicion si y solo si
0
: X A
m
k
es un
morsmo seg un la denicion del tema anterior. Por tanto las dos deniciones
de morsmo son compatibles para variedades cuasi-anes.
La denicion de los morsmos hacia el espacio proyectivo es un poco mas
delicada. En las deniciones de morsmo que hemos visto hasta ahora la con-
dicion que tiene que cumplir una aplicacion : X Y para serlo es local. Es
decir, es una condicion (el que cada coordenada de sea regular) que tiene que
cumplirse en un entorno de cada punto de X. En particular, si X =
iI
U
i
es
30
un recubrimiento abierto de X, la aplicacion es un morsmo si y solo si cada
restriccion
|U
i
lo es. Si queremos que los morsmos hacia el espacio proyec-
tivo sigan vericando esta propiedad (y sean compatibles con las deniciones
anteriores) solo hay una forma posible de denirlos:
Denicion 3.30. Una aplicacion : X P
m
k
se dice un morsmo si es
continua y, para todo 0 i m, la restriccion :
1
(U
i
) U
i
es un morsmo
entre
1
(U
i
) y el espacio afn U
i
(usando las notaciones de la seccion 3.5). Si
Y P
m
k
es una variedad cuasi-proyectiva, un morsmo : X Y es un
morsmo : X P
m
k
tal que (X) Y .
En la practica, para construir morsmos entre variedades cuasi-proyectivas
usaremos el siguiente resultado mas explcito:
Proposicion 3.31. Sean X P
n
k
e Y P
m
k
variedades cuasi-proyectivas. Una
aplicacion : X Y es un morsmo si y solo si para todo z X existen un
abierto U X conteniendo a z y m+1 polinomios homogeneos f
0
, f
1
, . . . , f
m

k[x
0
, x
1
, . . . , x
n
] del mismo grado que no se anulan simultaneamente en ning un
punto de U tales que (x
0
: x
1
: . . . : x
n
) = (f
0
(x
0
, . . . , x
n
) : f
1
(x
0
, . . . , x
n
) :
. . . : f
m
(x
0
, . . . , x
n
)) para todo x = (x
0
: x
1
: . . . : x
n
) U.
Es importante notar que, aunque el valor de f
i
(x
0
, . . . , x
n
) no esta deter-
minado por el punto x = (x
0
: x
1
: . . . : x
n
) (ya que si elegimos otras coor-
denadas para x cambiara el valor de f
i
), el punto proyectivo (f
0
(x
0
, . . . , x
n
) :
f
1
(x
0
, . . . , x
n
) : . . . : f
m
(x
0
, . . . , x
n
)) s lo esta: si elegimos otras coordenadas
(y
0
: y
1
: . . . : y
n
) para x, existira un ,= 0 tal que y
i
= x
i
para todo i. Como los
f
i
son homogeneos del mismo grado d, se tendra entonces que f
i
(y
0
, . . . , y
n
) =
d
f
i
(x
0
, . . . , x
n
) para todo i, y por tanto (f
0
(x
0
, . . . , x
n
) : f
1
(x
0
, . . . , x
n
) : . . . :
f
m
(x
0
, . . . , x
n
)) = (f
0
(y
0
, . . . , y
n
) : f
1
(y
0
, . . . , y
n
) : . . . : f
m
(y
0
, . . . , y
n
)).
Demostracion. Sea : X Y un morsmo. Los abiertos V
i
:=
1
(U
i
) recu-
bren X, construiremos las funciones f
0
, f
1
, . . . , f
m
localmente en cada V
i
. Sea
por ejemplo i = 0 (la construccion es similar para todo i). Como : V
0
U
0
es un morsmo, para todo z V
0
existe un entorno z V V
0
tal que
para todo x V (x) (visto como elemento de U
0
P
m
k
) viene dado por
(1 : g
1
(x)/h
1
(x) : . . . : g
m
(x)/h
m
(x)), donde para cada j = 1, . . . , m g
j
y h
j
son
polinomios homogeneos del mismo grado y h
j
no se anula en V . Multiplicando
todas las coordenadas por el producto de los denominadores (que no se anula
en V ) obtenemos que (x) = (f
0
(x) : f
1
(x) : . . . : f
m
(x)), donde f
0
= h
1
h
m
y f
j
= g
j
h
1
h
m
/h
j
son polinomios homogeneos del mismo grado y f
0
no se
anula en V .
Recprocamente, supongamos que se cumple la condicion del enunciado. En
primer lugar, debe ser continua, ya que la continuidad es una propiedad local
y es continua en cada abierto U en el que pueda escribirse como (f
0
: f
1
:
. . . : f
m
) (ejercicio). Veamos que : V
0
U
0
es un morsmo. Sea z V
0
,
por hipotesis existe un entorno V V
0
de z y m + 1 polinomios homogeneos
f
0
, f
1
, . . . , f
m
k[x
0
, x
1
, . . . , x
n
] del mismo grado tales que (x) = (f
0
(x) :
f
1
(x) : . . . : f
m
(x)) para todo x V . Como (x) U
0
que, por denicion, es el
abierto en el que x
0
,= 0, se tiene que f
0
no se anula en V . Por tanto podemos
escribir (x) = (1 : f
1
(x)/f
0
(x) : . . . : f
m
(x)/f
0
(x)). Visto como punto afn,
(x) viene entonces dado por (f
1
(x)/f
0
(x), . . . , f
m
(x)/f
0
(x)). Cada coordenada
31
viene dada por el cociente de dos polinomios homogeneos del mismo grado, y
por tanto es un morsmo en V .
De la misma forma se prueba que : V
j
U
j
es un morsmo para todo
j = 1, . . . , m, y por tanto : X Y es un morsmo seg un la denicion
anterior.
Al denir un morsmo : X Y de esta forma, hay que tener cuidado
de que la denicion sea compatible: si = (f
0
: f
1
: . . . : f
m
) en un abierto
U y = (g
0
: g
1
: . . . : g
m
) en otro abierto V , se tiene que cumplir que
(f
0
: f
1
: . . . : f
m
) = (g
0
: g
1
: . . . : g
m
) en U V , es decir, que f
i
g
j
= f
j
g
i
en
todo punto de U V .
Ejemplos 3.32. Sea X P
3
k
la variedad denida por x
0
x
1
x
2
x
3
= 0. Las
aplicaciones (x
0
: x
1
: x
2
: x
3
) (x
0
: x
3
) y (x
0
: x
1
: x
2
: x
3
) (x
2
: x
1
)
denen morsmos (X U
0
) (X U
3
) P
1
k
y (X U
1
) (X U
2
) P
1
k
,
que se pegan para dar como resultado un morsmo : X P
1
k
, ya que en la
interseccion de los dominos se tiene que x
0
x
1
= x
2
x
3
, y por tanto (x
0
: x
3
) =
(x
1
: x
2
).
Ejercicio 3.9. Probar que la composicion de morsmos entre variedades cuasi-
proyectivas es un morsmo.
Denicion 3.33. Un morsmo : X Y entre variedades cuasi-proyectivas
se dice un isomorsmo si existe un morsmo : Y X tal que y
sean la identidad. En tal caso se dice que las variedades X e Y son isomorfas.
Ejemplos 3.34. Sea X P
2
k
la variedad denida por x
2
1
+ x
2
2
x
2
0
= 0 (la
clausura proyectiva de la conica x
2
+ y
2
1 = 0). Denimos (x
0
: x
1
) =
(x
2
1
+x
2
0
: x
2
1
x
2
0
: 2x
0
x
1
). Como x
2
1
+x
2
0
y x
2
1
x
2
0
no se anulan simultaneamente,
dene un morsmo P
1
k
X. El morsmo : X P
1
k
dado por (x
0
: x
1
:
x
2
) = (x
0
x
1
: x
2
) en X (1 : 1 : 0) y por (x
0
: x
1
: x
2
) = (x
2
: x
0
+ x
1
)
en X (1 : 1 : 0) es inverso de , y por tanto X es isomorfa a P
1
k
.
3.8. Aplicaciones racionales entre variedades cuasi-
proyectivas
La denicion de aplicacion racional para variedades cuasi-proyectivas es la
misma que para variedades cuasi-anes:
Denicion 3.35. Sean X P
n
k
e Y P
m
k
dos variedades cuasi-proyectivas.
Una aplicacion racional : X Y es un par (U, ) donde U X es un
abierto no vaco y : U Y un morsmo, modulo la relacion de equivalencia
siguiente: (U, ) (U
) si
|UU
=
|UU
.
Como (U, ) (U
,
U
) para todo abierto no vaco U
U, podemos su-
poner que (U) Z
i
para alg un i (donde Z
i
= Z U
i
seg un la notacion de
la seccion 3.5). Por tanto, una funcion racional viene dada por un abier-
to U X y m funciones regulares f
1
/g
1
, . . . , f
m
/g
m
en U (donde para cada
j, f
j
y g
j
son polinomios homogeneos del mismo grado) mediante la formula
(x) = (1 : f
1
(x)/g
1
(x) : . . . : f
m
(x)/g
m
(x)) (en el caso i = 0, en general el 1
ira en la posicion i-esima). Multiplicando por el producto de los g
j
, obtenemos
32
(x) = (g(x) : g(x)f
1
(x)/g
1
(x) : . . . : g(x)f
m
(x)/g
m
(x)), donde g y cada gf
j
/g
j
son polinomios homogeneos del mismo grado. En resumen:
Proposicion 3.36. Una aplicacion racional : X Y viene dada por
m + 1 polinomios homogeneos f
0
, f
1
, . . . , f
m
k[x
0
, x
1
, . . . , x
n
] del mismo gra-
do tales que f
0
, f
1
, . . . , f
m
, J(X), mediante la formula (x
0
: . . . : x
n
) =
(f
0
(x
0
, . . . , x
n
) : . . . : f
m
(x
0
, . . . , x
n
)). La aplicacion esta denida en el con-
junto X1(f
0
, . . . , f
m
) de puntos x X en los que alg un f
j
no se anula.
Otro conjunto de polinomios homogeneos g
0
, g
1
, . . . , g
m
dene la misma funcion
racional si y solo si f
i
g
j
f
j
g
i
= 0 en X para todos 0 i, j m.
Demostracion. Solo falta por probar la ultima armacion. Supongamos que
(f
0
: . . . : f
m
) y (g
0
: . . . : g
m
) denen la misma aplicacion racional, es de-
cir, las dos funciones coinciden en el abierto U en el que ambas estan denidas.
Entonces para todo x = (x
0
: . . . : x
n
) U se tiene que (f
0
(x
0
, . . . , x
n
) :
. . . : f
m
(x
0
, . . . , x
n
)) = (g
0
(x
0
, . . . , x
n
) : . . . : g
m
(x
0
, . . . , x
n
)), es decir, exis-
te ,= 0 tal que g
j
(x
0
, . . . , x
n
) = f
j
(x
0
, . . . , x
n
) para todo j. En particular,
f
i
(x
0
, . . . , x
n
)g
j
(x
0
, . . . , x
n
)f
j
(x
0
, . . . , x
n
)g
i
(x
0
, . . . , x
n
) = (f
i
(x
0
, . . . , x
n
)f
j
(x
0
, . . . , x
n
)
f
j
(x
0
, . . . , x
n
)f
i
(x
0
, . . . , x
n
)) = 0. Como f
i
g
j
f
j
g
i
= 0 en U, que es un abierto
denso de X, se tiene que f
i
g
j
f
j
g
i
= 0 en todo X.
Recprocamente, supongamos que f
i
g
j
f
j
g
i
= 0 en X para todos 0
i, j m, y sea x = (x
0
: . . . : x
n
) X un punto en el que (f
0
: . . . : f
m
)
y (g
0
: . . . : g
m
) esten denidas, es decir, que al menos un f
i
0
y al menos
un g
j
0
no se anulen en x. Entonces para todo j se tiene que f
i
0
g
j
f
j
g
i
0
=
0, es decir, g
j
(x
0
, . . . , x
n
) = [g
i
0
(x
0
, . . . , x
n
)/f
i
0
(x
0
, . . . , x
n
)]f
j
(x
0
, . . . , x
n
). En
primer lugar, haciendo j = j
0
vemos que := g
i
0
(x
0
, . . . , x
n
)/f
i
0
(x
0
, . . . , x
n
)
no se anula, y entonces g
j
(x
0
, . . . , x
n
) = f
j
(x
0
, . . . , x
n
) para todo j. Por tanto,
(f
0
(x
0
, . . . , x
n
) : . . . : f
m
(x
0
, . . . , x
n
)) = (g
0
(x
0
, . . . , x
n
) : . . . : g
m
(x
0
, . . . , x
n
)).
Terminamos repitiendo las siguientes deniciones y resultados del tema an-
terior, enunciados para el caso proyectivo:
Denicion 3.37. Sean X e Y variedades cuasi-proyectivas. Una aplicacion
racional : X Y se dice birracional si existe una aplicacion racional
: Y X tal que
: X X y
: Y Y son la identidad (como

aplicaciones racionales). En tal caso, las variedades X e Y se dicen birracio-
nalmente equivalentes. Una variedad cuasi-proyectiva X se dice racional si
es birracionalmente equivalente a A
n
k
(o lo que es lo mismo, a P
n
k
) para alg un
n.
Proposicion 3.38. Sean X e Y variedades cuasi-proyectivas. Las siguientes
condiciones son equivalentes:
a) X e Y son birracionalmente equivalentes.
b) Existen abiertos U X y V Y isomorfos.
c) /(X) y /(Y ) son isomorfos.
La prueba es la misma que en el caso afn (proposicion 2.20).
n
k
una variedad afn y X P
n
k
su clausura proyec-
tiva. Probar que /(X) = /(X).
33
n
k
es una variedad cuasi-proyectiva, probar que dimX =
dimX. En particular, dimP
n
k
= n.
Ejercicio 3.12. Sea Z = 1(f) A
n
k
una hipersupercie, donde f k[x
1
, . . . , x
n
].
Probar que Z = 1(f
h
).
Ejercicio 3.13. Cono afn de un conjunto algebraico projectivo. Sea X =
1(I) P
n
k
un conjunto algebraico, donde I k[x
0
, x
1
, . . . , x
n
] es un ideal ho-
mogeneo. El cono afn C(X) de X es el conjunto algebraico denido en A
n+1
k
por I, considerado como ideal corriente.
1. Probar que C(X) =
1
(X)(0, . . . , 0), donde : A
n+1
k
(0, . . . , 0)
P
n
k
es la proyeccion canonica (x
0
, x
1
, . . . , x
n
) (x
0
: x
1
: . . . : x
n
).
2. Probar que C(X) es irreducible si y s olo si X lo es.
Ejercicio 3.14. Descomponer como uni on de componentes irreducibles los con-
juntos algebraicos proyectivos siguientes:
1. 1(x
2
0
x
1
x
2
, x
0
x
1
x
2
x
3
) P
3
C
2. 1(x
2
0
+x
1
x
2
, x
2
0
x
1
x
2
+ 2x
2
3
) P
3
C
Ejercicio 3.15. Probar que O(P
n
k
) = k, es decir, toda funcion regular f :
P
n
k
k es constante. Deducir que, si Z es una variedad afn, todo morsmo
: P
n
k
Z es constante. En particular, P
n
k
no es isomorfo a ninguna variedad
afn para ning un n 1.
Ejercicio 3.16. Sea X P
n
k
una variedad proyectiva, U P
1
k
un abierto no
vaco y : U X un morsmo. Probar que se extiende de manera unica a
un morsmo : P
1
k
X. ( Ayuda: Empezar por el caso U = A
1
k
.) Probar que
no es cierto en el caso de que X sea afn.
Ejercicio 3.17. Sea A /
n+1
(k) una matriz (n + 1) (n + 1) invertible con
coecientes en un cuerpo k. Probar que la aplicacion : P
n
k
P
n
k
dada por
(x
0
: x
1
: . . . : x
n
) = (y
0
: y
1
: . . . : y
n
) con
y
0
y
1
.
.
.
y
n
= A
x
0
x
1
.
.
.
x
n
es un automorsmo de P
n
k
. Diremos que viene dado por la multiplicacion por
la matriz A. Probar que dos matrices A y B determinan el mismo automorsmo
si y solo si B = A para alg un k
.
Ejercicio 3.18. Probar que para toda terna de puntos distintos a, b, c de P
1
k
existe un automorsmo : P
1
k
P
1
k
tal que (1 : 0) = a, (1 : 1) = b y
(0 : 1) = c.
Ejercicio 3.19. Probar que todo automorsmo de P
1
k
viene dado por la multi-
plicacion por una matriz A /
2
(k). ( Ayuda: Considerar primero el caso en el
que el punto del innito es jo, y usar el ejercicio 2.19. Reducir el caso general
a este usando el ejercicio 3.18.)
34
Ejercicio 3.20. Sea : P
2
k
P
2
k
la aplicacion racional dada por (x
0
: x
1
:
x
2
) = (x
1
x
2
: x
0
x
2
: x
0
x
1
).
1. Determinar el mayor abierto de P
2
k
donde esta denida.
2. Probar que es birracional, y hallar su inversa.
3. Hallar abiertos U, V P
2
k
tales que : U V sea un isomorsmo.
Ejercicio 3.21. Si H P
n
k
es un hiperplano y P P
n
k
un punto que no esta en
H, probar que la proyeccion desde P sobre H (que a cada punto Q ,= P asocia
el unico punto de interseccion de la recta PQ con H) es una aplicacion racional
P
n
k
H. Hallar las ecuaciones de dicha aplicacion si n = 3, H es el plano
denido por x
0
+x
1
x
2
x
3
= 0 y P es el punto (1 : 1 : 0 : 1).
Ejercicio 3.22. La inmersion de Veronese. Dados dos enteros n 1 y d 0, sea
S(n, d) el conjunto de (n+1)-uplas de enteros no negativos = (
0
,
1
, . . . ,
n
)
tales que
0
+
1
+ +
n
= d. El conjunto S(n, d) tiene
n+d
d
elementos,
sea N =
n+d
d
1. Fijada una ordenacion

0
,
1
, . . . ,
N
de los elementos de
S(n, d), sea
n,d
: P
n
k
P
N
k
la aplicaci on racional dada por
n,d
(x
0
: x
1
: . . . :
x
n
) = (x
0
: x
1
: . . . : x
N
), donde x
i
= x
i
0
0
x
i
1
1
x
i
n
n
es el monomio cuyos
exponentes son las coordenadas de
i
.
1. Probar que
n,d
es un morsmo.
2. Probar que la imagen de
n,d
es la variedad proyectiva Z P
N
k
denida por
las ecuaciones y
i
y
j
= y
k
y
l
para todos i, j, k, l tales que
i
+
j
=
k
+
l
,
llamada variedad de Veronese.
3. Probar que
n,d
es un isomorsmo entre P
n
k
y Z.
4. Probar que toda hipersupercie de P
n
k
denida por un polinomio homogeneo
de grado d es la imagen inversa por
n,d
de un hiperplano en P
N
k
.
Ejercicio 3.23. La curva normal racional. La imagen X
d
de la inmersi on de
Veronese P
1
k
P
d
k
para n = 1 se llama la curva normal racional en P
d
k
.
1. Probar X
d
es el conjunto de puntos (x
0
: x
1
: . . . : x
d
) P
d
k
tales que la
matriz

x
0
x
1
x
d1
x
1
x
2
x
d
tiene rango 1.
2. Probar que X
d
es la clausura proyectiva de la imagen del morsmo :
A
1
k
A
d
k
dado por (t) = (t, t
2
, . . . , t
d
).
3. Probar que tres puntos distintos de X
d
nunca estan en la misma recta.
n
k
es una hipersupercie, probar que el abierto P
n
k
H
es isomorfo a una variedad afn. ( Ayuda: Usar el ejercicio 3.22.)
n
k
es una hipersupercie y L P
n
k
una recta, probar
que H L ,= . ( Ayuda: Considerar la inclusion L P
n
k
y usar los ejercicios
3.15 y 3.24.)
35
36
Tema 4
Propiedades de los
morsmos
4.1. Producto de variedades
El producto de dos variedades anes tiene una estructura natural de variedad
afn (ejercicio 1.14). Queremos generalizarlo al producto de dos variedades cuasi-
proyectivas. Es decir, identicar el producto cartesiano XY con una variedad
cuasi-proyectiva de manera natural, de forma que localmente la construccion
corresponda al producto natural de variedades anes.
Denicion 4.1. La inmersion de Segre es la aplicacion : P
n
k
P
m
k

P
nm+n+m
k
dada por
((a
0
: . . . : a
n
), (b
0
: . . . : b
m
)) = (a
0
b
0
: . . . : a
0
b
m
: a
1
b
0
: . . . : a
1
b
m
: . . . : a
n
b
0
: . . . : a
n
b
m
).
La inmersion de Segre esta bien denida, ya que si multiplicamos cada a
i
por una constante ,= 0 y cada b
j
por una constante ,= 0, cada coordenada
de la imagen quedara multiplicada por ,= 0, y por tanto representa el mismo
punto proyectivo.
Ademas, es inyectiva: si ((a
0
: . . . : a
n
), (b
0
: . . . : b
m
)) = ((a
0
: . . . :
a
n
), (b
0
: . . . : b
m
)), entonces existe un ,= 0 tal que a
i
b
j
= a
i
b
j
para todos
0 i n, 0 j m. Tomando un i
0
tal que a
i
0
,= 0, necesariamente
a
i
0
,= 0 tambien (de lo contrario todos los b
j
seran 0) y se tiene entonces que
b
j
= (a
i
0
/a
i
0
)b
j
para todo j, y por tanto (b
0
: . . . : b
m
) = (b
0
: . . . : b
m
). De la
misma forma se prueba que (a
0
: . . . : a
n
) = (a
0
: . . . : a
n
). Por tanto podemos
identicar P
n
k
P
m
k
con su imagen en P
nm+n+m
k
.
Proposicion 4.2. Si denotamos x
ij
(0 i n, 0 j m) las coordenadas de
P
nm+n+m
k
, la imagen de es la variedad proyectiva Z denida por las ecuaciones
homogeneas x
ij
x
kl
x
il
x
kj
= 0 para todos 0 i < k n, 0 j < l m.
Demostracion. Esta claro que la imagen de esta contenida en Z, ya que
(a
i
b
j
)(a
k
b
l
) (a
i
b
l
)(a
k
b
j
) = 0 para todos 0 i < k n, 0 j < l m.
Veamos que, recprocamente, todo punto de Z esta en la imagen de . Dado
un punto x = (x
ij
) Z, existen al menos un i
0
y un j
0
tales que x
i
0
j
0
,= 0.
Pongamos a
i
= x
ij
0
para todo 0 i n y b
j
= x
i
0
j
/x
i
0
j
0
para todo 0 j m.
37
Entonces a
i
b
j
= x
ij
0
x
i
0
j
/x
i
0
j
0
= x
ij
x
i
0
j
0
/x
i
0
j
0
= x
ij
, y por tanto x = ((a
0
:
. . . : a
n
), (b
0
: . . . : b
m
)) (P
n
k
P
m
k
).
Ejemplos 4.3. El producto P
1
k
P
1
k
es la variedad denida en P
3
k
por la ecuacion
x
0
x
3
x
1
x
2
= 0.
Denicion 4.4. Sean X P
n
k
e Y P
m
k
dos variedades cuasi-proyectivas. El
producto de X e Y es la imagen de X Y en P
nm+n+m
k
por la inmersion de
Segre.
Ejercicio 4.1. Si Y = y P
m
k
contiene un solo punto, probar que el producto
X Y es isomorfo a X.
Proposicion 4.5. El producto X Y es una variedad cuasi-proyectiva en
P
nm+n+m
k
.
Demostracion. Basta probarlo para conjuntos algebraicos y variedades proyec-
tivas, ya que si X = X
0
X
1
e Y = Y
0
Y
1
con X
i
e Y
j
proyectivas, se tiene que
(X Y ) = (X
0
Y
0
) (X
0
Y
1
) (X
1
Y
0
). Supongamos entonces que
X = 1(f
1
, . . . , f
r
) e Y = 1(g
1
, . . . , g
s
) son conjuntos algebraicos proyectivos.
Para todo j
0
= 1, . . . , m sea f
kj
0
(x
ij
) = f
k
(x
0j
0
, . . . , x
nj
0
), y para todo
i
0
= 1, . . . , n sea g
i
0
l
(x
ij
) = g
l
(x
i
0
1
, . . . , x
i
0
m
). Veamos que XY es el conjunto
algebraico denido por todos los f
kj
0
y todos los g
i
0
l
.
Si ((a
0
: . . . : a
n
), (b
0
: . . . : b
m
)) esta en X Y , entonces f
kj
0
(a
i
b
j
) =
f
k
(a
0
b
j
0
, . . . , a
n
b
j
0
) = b
d
k
j
0
f
k
(a
0
, . . . , a
n
) = 0, donde d
k
es el grado del polinomio
homogeneo f
k
, ya que (a
0
: . . . : a
n
) esta en X. Analogamente, g
i
0
l
(a
i
b
j
) = 0.
Recprocamente, supongamos que (a
i
b
j
) P
nm+n+m
k
es un punto de P
n
k

P
m
k
con f
kj
0
(a
i
b
j
) = g
i
0
l
(a
i
b
j
) = 0 para todo k, l, i
0
, j
0
. Al igual que antes se
tiene que f
kj
0
(a
i
b
j
) = b
d
k
j
0
f
k
(a
0
, . . . , a
n
), y por tanto b
d
k
j
0
f
k
(a
0
, . . . , a
n
) = 0 para
todo k, j
0
. Como debe existir al menos un j
0
tal que b
j
0
,= 0, concluimos que
f
k
(a
0
, . . . , a
n
) = 0 para todo k. Analogamente, g
l
(b
0
, . . . , b
m
) = 0 para todo l,
y por tanto (a
i
b
j
) X Y .
Finalmente, veamos que si X e Y son variedades tambien lo es X Y .
Supongamos que X Y = A B una descomposicion como union de cerrados.
Para todo (x, y) X Y , x Y es irreducible por el ejercicio 4.1, por tanto
x Y A o x Y B. Sea C X (respectivamente D X) el conjunto
de x X tales que xY A (resp. xY B). Es facil ver que C y D son
cerrados en X, y por lo visto anteriormente CD = X. Como X es irreducible,
o bien X = C (y entonces X Y = A) o bien X = D (y entonces X Y = B).
En cualquier caso, A y B no pueden ser ambos cerrados propios.
Si (a
0
: . . . : a
n
) esta en el abierto afn U
i
0
P
n
k
(es decir, a
i
,= 0) y
(b
0
: . . . : b
m
) esta en el abierto afn V
j
0
P
m
k
, entonces (a
i
b
j
) P
n
k
P
m
k
esta en
el abierto afn W
i
0
j
0
P
nm+n+m
k
(es decir, el conjunto de los (x
ij
) P
nm+n+m
k
tales que x
i
0
j
0
,= 0). Ademas, la restriccion : U
i
0
V
j
0
W
i
0
j
0
(P
n
k
P
m
k
)
es un isomorsmo. Por tanto, localmente la construccion del producto coincide
con el producto natural de espacios anes.
Ejercicio 4.2. Probar las armaciones del parrafo anterior.
Como es biyectiva sobre su imagen, las proyecciones canonicas
1
P
n
k

P
m
k
P
n
k
y
2
: P
n
k
P
m
k
P
m
k
inducen morsmos
1
: X Y X y
2
: X Y Y , que tambien llamaremos proyecciones.
38
Ejercicio 4.3. Describir explcitamente las proyecciones
1
y
2
: Z P
1
k
,
donde Z = (P
1
k
P
1
k
) P
3
k
es el producto denido por la ecuacion x
0
x
3
x
1
x
2
=
0.
Proposicion 4.6. El producto X Y junto con las proyecciones
1
: X
Y X,
2
: X Y Y es un producto en la categora de variedades cuasi-
proyectivas, es decir, dados dos morsmos : Z X y : Z Y entre
variedades cuasi-proyectivas, existe un unico morsmo : Z X Y tal que
1
= y
2
= .
Demostracion. Si (z) = (
0
(z) : . . . :
n
(z)) y (z) = (
0
(z) : . . . :
m
(z)),
donde los
i
(resp. los
j
) son polinomios homogeneos del mismo grado que
no se anulan simultaneamente en ning un punto, es facil ver que la aplicacion
(z) := (
i
(z)
j
(z))
ij
es un morsmo que cumple las condiciones pedidas.
Sea
: Z X Y otro morsmo que cumpla las condiciones, dado

por (z) = (
ij
(z))
ij
, y sea z Z. Existen al menos un i
0
y un j
0
ta-
les que
i
0
j
0
(z) ,= 0. Entonces
1
(z) = (
0j
0
(z) : . . . :
nj
0
(z)) = (z),
as que
i
(z) =
i
0
(z)
ij
0
(z)/
i
0
j
0
(z) para todo i. Analogamente,
j
(z) =
j
0
(z)
i
0
j
(z)/
i
0
j
0
(z) para todo j. Por tanto,
i
(z)
j
(z) =
i
0
(z)
j
0
(z)
ij
0
(z)
i
0
j
(z)/
i
0
j
0
(z)
2
=
i
0
(z)
j
0
(z)
ij
(z)/
i
0
j
0
(z)
(ya que
ij
0
(z)
i
0
j
(z) =
ij
(z)
i
0
j
0
(z)). Por tanto los morsmos = (
ij
)
ij
y
(
i
j
)
ij
coinciden en un abierto no vaco (la imagen inversa por del abierto
denido por x
i
0
j
0
,= 0), as que son iguales.
Finalmente veamos como caracterizar en la practica los subconjuntos cerra-
dos de P
n
k
P
m
k
:
Proposicion 4.7. Un subconjunto X P
n
k
P
m
k
es cerrado si y solo si existen
polinomios f
1
, . . . , f
r
k[x
0
, . . . , x
n
, y
0
, . . . , y
m
] homogeneos separadamente en
las x y en las y tales que
X = ((a
0
: . . . : a
n
), (b
0
: . . . : b
m
))[f
i
(a
0
, . . . , a
n
, b
0
, . . . , b
m
) = 0 para todo i = 1, . . . , r
Demostracion. Si X es un cerrado, existen polinomios homogeneos g
1
, . . . , g
r

k[x
ij
] tales que X = 1(g
1
, . . . , g
r
) (P
n
k
P
m
k
). Es decir, un punto ((a
0
: . . . :
a
n
), (b
1
: . . . : b
m
)) esta en X si y solo si g
k
(a
i
b
j
) = 0 para todo k = 1, . . . , r.
Es decir, si y solo si f
k
(a
0
, . . . , a
n
, b
0
, . . . , b
m
) = 0 para todo k si denimos
f
k
(x
0
, . . . , x
n
, y
0
, . . . , y
m
) = g
k
(x
i
y
j
). Ademas, los f
k
son homogeneos en las x
y en las y (del mismo grado).
Recprocamente, supongamos que existen tales f
1
, . . . , f
r
. Si cada f
k
es ho-
mogeneo en las x y en las y del mismo grado, es facil ver que se puede escribir
como g
k
(x
i
y
j
), con g
k
homogeneo. Por tanto X = 1(g
1
, . . . , g
r
) (P
n
k
P
m
k
)
sera un cerrado.
Veamos ahora que pasa si el grado de f
k
en las x y en las y es distinto. Sea
d el grado en las x, y e el grado en las y, y supongamos que d > e. Entonces
y
ed
0
f
k
, . . . , y
ed
m
f
k
son todos homogeneos en las x y en las y del mismo grado, y
se anulan simultaneamante si y solo si f
k
se anula (ya que alg un y
j
es siempre no
nulo). Por tanto X se puede expresar como el conjunto de ceros de polinomios
homogeneos en las x y en las y del mismo grado, y por el caso anterior concluimos
entonces que es cerrado.
39
4.2. Inmersiones. Morsmos proyectivos
se denomina una inmersion abierta (respectivamente cerrada) si su imagen
es un abierto (resp. un cerrado) de Y y : X (X) es un isomorsmo. Un
morsmo : X Y se denomina una inmersion si es composicion de una
inmersion abierta seguida de una inmersion cerrada.
Ejemplos 4.9. 1. Si X e Y son variedades anes y : X Y es un
morsmo, la aplicacion grafo X X Y dada por x (x, (x)) es una
inmersion cerrada por el ejercicio 2.14.
2. Si X = 1(xy 1) A
2
k
, el morsmo X A
2
k
dado por (x, y) (x, 0) es
una inmersion que no es abierta ni cerrada.
Ejercicio 4.4. Probar que la composicion de dos inmersiones abiertas (respec-
tivamente cerradas) es una inmersion abierta (resp. cerrada).
se dice proyectivo si = , donde : X P
n
k
Y es una inmersion cerrada
y : P
n
k
Y Y es la proyeccion.
Proposicion 4.11. Si X es una variedad proyectiva, cualquier morsmo :
X Y es proyectivo.
Demostracion. Sea j : X P
n
k
la inclusion. Como X es proyectiva, j es una
inmersion cerrada. La aplicacion : X P
n
k
Y dada por (x) = (x, (x))
es entonces tambien una inmersion cerrada (es la composicion del grafo de
X XY , que ya hemos visto que es una inmersion cerrada, con la inmersion
X Y P
n
k
Y ). Como = , concluimos que es proyectivo.
La propiedad fundamental de los morsmos proyectivos es la siguiente:
Proposicion 4.12. Todo morsmo proyectivo : X Y es cerrado, es decir,
la imagen de cualquier subconjunto cerrado de X es un cerrado en Y .
Demostracion. Sea = , con : X P
n
k
Y una inmersion cerrada y la
proyeccion. Una inmersion cerrada : X Z es una aplicacion cerrada: como
es un isomorsmo entre X e (X), la imagen de cualquier cerrado en X es
un cerrado en (X). Pero entonces tambien es un cerrado en Z, ya que (X) es
cerrado en Z. Por tanto basta probar que es una aplicacion cerrada.
Usando el recubrimiento afn de P
m
k
, podemos escribir Y =
m
i=0
Y
i
, con
Y
i
abierto en Y y cuasi-afn. Ademas, : P
n
k
Y Y es cerrado si y solo
si : P
n
k
Y
i
Y
i
es cerrado para todo i. Por tanto podemos suponer que
Y es cuasi-afn. Por el ejercicio 4.7, un cerrado de P
n
k
Y sera el conjunto de
ceros de una cantidad nita de polinomios f
1
, . . . , f
r
k[x
0
, . . . , x
n
, y
1
, . . . , y
m
]
homogeneos en las x. Su imagen por sera el conjunto de (b
1
, . . . , b
m
) Y tales
que los polinomios en k[x
0
, . . . , x
n
] obtenidos al sustituir para todo j y
j
por b
j
en f
1
, . . . , f
r
tienen una solucion com un en P
n
k
. Por tanto la proposicion es una
consecuencia del teorema siguiente.
Teorema 4.13. (Teorema fundamental de eliminacion). Sean f
1
, . . . , f
r

k[x
0
, . . . , x
n
, y
1
, . . . , y
m
] polinomios homogeneos en las x. Entonces existen poli-
nomios g
1
, . . . , g
s
k[y
1
, . . . , y
m
] tales que: dados b
1
, . . . , b
m
k, los polinomios
40
en k[x
0
, . . . , x
n
] obtenidos al sustituir los y
j
por los b
j
en f
1
, . . . , f
r
tienen una
solucion com un en P
n
k
si y solo si g
1
, . . . , g
s
se anulan en (b
1
, . . . , b
m
).
No daremos aqu la prueba, que puede encontrarse en [S, 5.2].
Corolario 4.14. Si X es una variedad proyectiva, toda funcion regular f : X
k es constante.
Demostracion. Una funcion regular f es simplemente un morsmo f : X A
1
k
.
Podemos ver f como un morsmo f : X P
1
k
, mediante la inclusion A
1
k
P
1
k
.
Como X es proyectiva, f(X) es un cerrado. No es el total, ya que no contiene
al punto del innito. Por tanto, f(X) tiene que ser un conjunto nito. Como
X es irreducible, y por tanto conexo, y f es continua, f(X) tambien debe ser
conexo. As que tiene que ser un solo punto.
Corolario 4.15. Si X es una variedad proyectiva e Y una variedad afn, todo
morsmo : X Y es constante.
Demostracion. Cada coordenada de es una funcion regular, y por tanto es
constante por el corolario anterior.
Corolario 4.16. Una variedad proyectiva de dimension > 0 no puede ser iso-
morfa a ninguna variedad afn.
4.3. Morsmos nitos
Denicion 4.17. Sea : X Y un morsmo de variedades anes, y
:
/(Y ) /(X) el homomorsmo de k-algebras correspondiente. El morsmo
se dice nito si /(X) es un
(/(Y ))-modulo nitamente generado.

Por [AM, Proposicion 5.1], esto es equivalente a decir que todo elemento de
/(X) es entero sobre
(/(Y )), es decir, satisface un polinomio monico con

coecientes en /(Y ).
Ejemplos 4.18. 1. El morsmo A
1
k
A
2
k
dado por x (x, 0) es nito: El
homomorsmo de k-algebras correspondiente est a dado por
(f(x, y)) =
f(x, 0) k[x], y de esta forma k[x] esta generado por 1 como
(k[x, y])-
modulo. En general, cualquier inmersion cerrada es un morsmo nito,
ya que en ese caso
es un homomorsmo sobreyectivo.
2. La inmersi on abierta A
1
k
0 A
1
k
no es un morsmo nito: el homo-
morsmo de k-algebras correspondiente es la inmersion k[x] k[x, 1/x],
y 1/x no es entero sobre k[x].
3. El morsmo : A
1
k
A
1
k
dado por (x) = x
2
es nito: el homomorsmo
de k-algebras correspondiente es f(x) f(x
2
), y k[x] es un k[x
2
] modulo
nitamente generado (ya que todo polinomio en k[x] puede escribirse en
la forma g(x
2
) +x h(x
2
)).
Proposicion 4.19. Sea : X Y un morsmo nito entre variedades anes.
Entonces, la imagen inversa
1
(y) de todo punto y Y es un conjunto
nito.
41
Demostracion. Sea x tal que (x) = y. Si X A
n
k
, cada coordenada x
i

k[x
1
, . . . , x
n
] es una funcion regular en /(X). Como es nito, x
i
es raz de
un polinomio monico p
i
(x) con coecientes en
(/(Y )), es decir, de la forma

g con g /(Y ). Aplicandolo a las coordenadas del punto x, obtenemos que
la coordenada i-esima de x es raz de un polinomio cuyos coecientes dependen
solo de g(x) = y. En particular, hay solo un n umero nito de posibilidades para
cada coordenada.
El recproco no es cierto, como muestra el segundo ejemplo anterior.
Proposicion 4.20. Todo morsmo nito y dominante entre variedades anes
es sobreyectivo.
Demostracion. Por la proposicion 2.10, que sea dominante es equivalente a
que
sea inyectivo. Por tanto podemos identicar /(Y ) con su imagen por
,
que es una sub-k-algebra de /(X).
Por la prueba de la proposicion 2.3, tenemos que probar que para todo ideal
maximal de /(Y ) (necesariamente de la forma m
y
para alg un y Y ), existe un
ideal maximal de /(X) (necesariamente de la forma m
x
para alg un x X) tal
que m
x
/(Y ) = m
y
. Pero esto es una consecuencia inmediata de los teoremas
5.8 y 5.10 de [AM] por ser /(X) una extension entera de /(Y ).
El lema de normalizacion de Noether admite la siguiente interpretacion
geometrica:
Proposicion 4.21. Toda variedad afn X A
n
k
de dimension m admite un
morsmo nito : X A
m
k
.
Demostracion. Por el lema de normalizacion de Noether ([AC, 4, corolario 5])
existen x
1
, . . . , x
d
/(X) algebraicamente independientes tales que k[x
1
, . . . , x
m
]
/(X) y /(X) es una extension entera de k[x
1
, . . . , x
m
]. El morsmo X A
m
k
correspondiente a dicha inclusion de k-algebras es el morsmo nito busca-
do.
Para variedades cuasi-proyectivas en general, denimos los morsmos nitos
localmente:
Denicion 4.22. Sea : X Y un morsmo entre variedades cuasi-proyectivas.
Se dice que es nito si para todo abierto afn U Y , la imagen inversa
1
(U) es afn y la restriccion :
1
(U) U es un morsmo nito entre
variedades anes.
Como la propiedad de ser nito es local, basta probarlo para los abiertos de
un recubrimiento nito afn de Y , que siempre existe (primero tomando el recu-
brimiento cuasi-afn estandar de una variedad proyectiva, y despues expresando
cada trozo cuasi-afn como union de abiertos basicos del tipo A
n
k
1(f), que
son isomorfos a una variedad afn).
Ejercicio 4.5. Sea X P
3
k
la supercie denida por la ecuacion x
0
x
1
x
2
x
3
=
0. Hallar dos familias de rectas r
i
y s
i
contenidas en X tales que dos rectas
de la misma familia no se corten, dos rectas de distintas familias se corten en
un punto y por cada punto de X pase exactamente una recta de cada familia.
42
Ejercicio 4.6. Probar que P
1
k
P
1
k
no es isomorfo a P
2
k
.
Ejercicio 4.7. Probar que un subconjunto X P
n
k
A
m
k
es cerrado si y s olo si
existen polinomios f
1
, . . . , f
r
k[x
0
, x
1
, . . . , x
n
, y
1
, . . . , y
m
] homogeneos en las x
tales que
X = ((a
0
: . . . : a
n
), (b
1
, . . . , b
m
))[f
i
(a
0
, . . . , a
n
, b
1
, . . . , b
m
) = 0 para todo i = 1, . . . , r
Ejercicio 4.8. Probar que un punto (x
0,0
: . . . : x
m,n
) P
mn+m+n
k
esta en
(P
n
k
P
m
k
) si y solo si el rango de la matriz
x
0,0
. . . x
0,m
.
.
.
.
.
.
.
.
.
x
n,0
. . . x
n,m
es 1.
Ejercicio 4.9. En cada uno de los ejemplos siguientes de familias de polino-
mios f
1
, . . . , f
r
en k[x
0
, . . . , x
n
, y
1
, . . . , y
m
] homogeneos en las x, determinar los
puntos (b
1
, . . . , b
m
) A
m
k
tales que al sustituir las y
j
por las b
j
en los f
i
los
polinomios obtenidos determinen un conjunto algebraico no vaco de P
n
k
, y com-
probar que se verica el teorema 4.13.
1. m = n + 1, x
0
y
1
, x
1
y
2
, . . . , x
n
y
n+1
2. n = 2, m = 3, x
1
x
0
y
1
, x
2
x
1
y
2
, x
0
x
2
y
3
3. n = 2, m = 3, x
0
y
1
x
1
, x
0
y
2
x
2
, x
2
0
y
1
x
1
x
2
Ejercicio 4.10. Si Z A
n
k
es una variedad afn, probar que la inmersi on
Z A
n
k
es un morsmo nito.
Ejercicio 4.11. Probar que todo morsmo : A
1
k
A
1
k
no constante es nito.
Ejercicio 4.12. Sea : X Y un morsmo nito y dominante entre varie-
dades anes. Probar que dim(X) = dim(Y ). ( Ayuda: Usar los teoremas going
up y going-down [AM, 5.11 y 5.16])
Ejercicio 4.13. Probar que el morsmo : A
1
k
X donde X A
2
k
es la curva
1(y
2
x
3
) y (t) = (t
2
, t
3
) es nito.
43
44
Tema 5
Singularidades
5.1. El espacio tangente a una variedad en un
punto
Sea X = 1(f
1
, . . . , f
r
) A
n
k
una variedad afn, y a = (a
1
, . . . , a
n
) un
punto de X. Una recta r que pase por a viene dada, en ecuaciones parametricas,
por x
1
= a
1
+ tv
1
, . . . , x
n
= a
n
+ tv
n
, donde

v = (v
1
, . . . , v
n
) es un vector de
direccion de la recta. Si sustituimos estos valores de x
1
, . . . , x
n
en las ecuaciones
de X, obtenemos r polinomios en la variable t:

f
1
(t) = f
1
(a +t

v ), . . . ,

f
r
(t) =
f
r
(a +t

v ), que se anulan para t = 0.
Denicion 5.1. La multiplicidad de interseccion de X y r en a es el
mnimo de las multiplicidades de

f
1
, . . . ,

f
r
en t = 0. La recta r se dice tangente
a X en a si la multiplicidad de intersecci on es 2.
Ejercicio 5.1. Probar que la multiplicidad de interseccion no depende de los
generadores f
1
, . . . , f
r
, solo del ideal f
1
, . . . , f
r
.
Si

w = (w
1
, . . . , w
n
) es otro vector de direccion y r
= a + t

w la recta
correspondiente, la multiplicidad de interseccion de X y la recta r
= a+t(

v +

w) es mayor o igual que el mnimo de las multiplicidades de interseccion de
X con r y r
. En efecto, si todo termino de

f
i
(a + t

v ) y todo termino de
f
i
(a + t

w) tienen grado m, entonces todo termino de

f
i
(a + t(
v +w)) =
f
i
(
1
2
(a + 2t

v +a + 2t

w)) tendra tambien grado m.
En particular, el conjunto de vectores

v tales que la recta a+t

v es tangente
a X en a junto con el vector

0 forman un subespacio vectorial de k
n
.
Denicion 5.2. El espacio tangente a X en a es el subespacio T
X,a
de k
n
formado por los vectores

v tales que la recta a +t

v es tangente a X en a.
Ejemplos 5.3. 1. Sea X A
3
C
la hipersupercie dada por z xy = 0, y
a = (0, 0, 0). Dado un vector

v = (v
1
, v
2
, v
3
), la recta parametrizada por
t(v
1
, v
2
, v
3
) es tangente a X en a si y solo si el polinomio v
3
tv
1
v
2
t
2
tiene
multiplicidad 2 en t = 0, es decir, si y solo si v
3
= 0. En este caso, el
espacio tangente a X en a es el subespacio (1, 0, 0), (0, 1, 0) C
3
.
2. Sea X A
3
C
la hipersupercie dada por z
2
xy = 0, y a = (0, 0, 0).
Dado un vector

v = (v
1
, v
2
, v
3
), la recta parametrizada por t(v
1
, v
2
, v
3
) es
45
tangente a X en a si y solo si el polinomio v
3
t
2
v
1
v
2
t
2
tiene multiplicidad
2 en t = 0, lo cual es siempre cierto. En este caso, el espacio tangente
a X en a es todo C
3
.
Sea

v un vector del espacio tangente a X en el punto a, y sea f = u/v
O
X,a
una funcion racional en X denida en a, dada por el cociente de dos poli-
nomios en k[x
1
, . . . , x
n
] tal que el denominador no se anula en a. Consideramos
la funcion racional

f(t) = f(a +t

v ) en k(t), y denotamos por
v
f la derivada
de

f(t) en t = 0. Es facil ver que se tienen las siguientes propiedades:

v
(f +g) =
v
f +
v
g

v
(fg) = g(a)
v
f +f(a)
v
g
Si f es una constante,
v
f = 0.
Ademas, si f = 0 como funcion racional en X, es decir, si f =
r
i=1
g
i
f
i

J(X)O
X,a
(donde g
i
(x) O
X,a
para i = 1, . . . , r), se tiene que
v
f =
v
(
r
i=1
g
i
f
i
) =
r
i=1
f
i
(a)
v
g
i
+g
i
(a)
v
f
i
=
r
i=1
g
i
(a)
v
f
i
= 0, ya que
v
f
i
= 0 por ser el
vector

v tangente a X en a.
Por tanto,
v
dene una aplicacion k-lineal O
X,a
k, que esta completa-
mente determinada por sus valores en el ideal maximal m
a
:= m
a
O
X,a
(ya que
cualquier funcion racional denida en a se puede expresar como suma de una
constante y una funcion racional que se anula en a: f = f(a) + (f f(a))).
Ademas,
v
se anula en las funciones de m
2
a
por la segunda propiedad. Por tan-
to, podemos ver
v
de forma natural como una aplicacion k-lineal de m
a
/ m
2
a
en k.
Proposicion 5.4. La aplicacion

v
v
es un isomorsmo de k-espacios
vectoriales entre el espacio tangente a X en a y el espacio dual de m
a
/ m
2
a
.
Demostracion. Dada una forma lineal : m
a
/ m
2
a
k, sea

v

el vector ((x
1
a
1
), . . . , (x
n
a
n
)). Esta claro que

v

es k-lineal, veamos que es el inverso
del homomorsmo

v
v
.
En primer lugar, veamos que

v

es un vector tangente a X en a. Sea
f J(X), hay que probar que el polinomio g(t) = f(a + t

v

) tiene un ce-
ro de multiplicidad 2 en t = 0. Claramente g(0) = f(a) = 0. Derivan-
do con respecto a t, obtenemos g
(t) =
n
i=1
i
f(a + t

v

)(x
i
a
i
), as que
g
(0) =
n
i=1
i
f(a)(x
i
a
i
) = (
n
i=1
i
f(a)(x
i
a
i
)) = (f) = 0, ya que
n
i=1
i
f(a)(x
i
a
i
) es justamente la componente de grado 1 de f, y por tanto
la diferencia f
n
i=1
i
f(a)(x
i
a
i
) esta en m
2
a
.
Si aplicamos
v
a x
i
a
i
, obtenemos la derivada en t = 0 de (a
i
+tv
i
)a
i
=
tv
i
, que es v
i
. Por tanto componiendo las aplicaciones

v
v
y

v

obtenemos la identidad.
Veamos la composicion en el otro sentido: dada , hay que probar que
v

=
. Como x
1
a
1
, . . . , x
n
a
n
generan m
a
/ m
2
a
como k-espacio vectorial, basta
probar que sus valores coinciden en estos elementos. Como hemos visto antes,

v
(x
i
a
i
) es la i-esima coordenada de

v para todo

v . Por tanto,
v

(x
i
a
i
)
es la i-esima coordenada de v
, que por denicion es (x

i
a
i
).
Corolario 5.5. El espacio tangente a una variedad en un punto es un invariante
local: si O
X,a

= O
Y,b
para dos variedades anes X, Y y dos puntos a X y
b Y , entonces los espacios tangentes a X en a y a Y en b son isomorfos.
46
Esto nos permite denir el espacio tangente a cualquier variedad cuasi-
proyectiva X en un punto a: basta tomar un abierto afn Z X que contenga
a a, y denir el espacio tangente a X en a como el espacio tangente a Z en a.
Proposicion 5.6. Sea X una variedad cuasi-proyectiva y a X. Entonces
dim
k
T
X,a
dimX.
Demostracion. Sea Z X un abierto afn que contenca al punto a. Como
O
X,a
es el localizado de /(Z) en un ideal maximal, se tiene que dimO
X,a
=
dim/(Z) = dimZ = dimX. El resultado se deduce entonces de [AM, corolario
11.15].
5.2. Puntos singulares
Denicion 5.7. Sea X una variedad cuasi-proyectiva y a X. Se dice que a
es un punto regular de X (o que X es regular en a) si dim
k
T
X,a
= dimX. En
caso contrario, se dice que a es un punto singular de X (o que X es singular
en a).
En otras palabras, el punto a X es regular si el anillo local O
X,a
es regular
([AM, Cap. 11]).
Sea X = 1(f
1
, . . . , f
r
) A
n
k
una variedad afn, y a = (a
1
, . . . , a
n
) X.
Un vector

v = (v
1
, . . . , v
n
) es tangente a X en a si y solo si los polinomios
f
1
(a+t

v ), . . . , f
r
(a+t

v ) tienen un cero doble en t = 0. Es decir, sus derivadas
se anulan para t = 0. Derivando por la regla de la cadena y sustituyendo t = 0,
obtenemos que (v
1
, . . . , v
n
) es tangente a X en a si y solo si se verican las
ecuaciones:
1
f
1
(a)v
1
+. . . +
n
f
1
(a)v
n
= 0
.
.
.
n
f
r
(a)v
1
+. . . +
n
f
r
(a)v
n
= 0
La dimension del espacio tangente sera entonces la dimension de el espacio de
soluciones de dicho sistema, es decir, n menos el rango de la matriz
1
f
1
(a)
n
f
1
(a)
.
.
.
.
.
.
.
.
.
1
f
r
(a)
n
f
r
(a)
(5.1)
El conjunto de puntos singulares de X es el conjunto de puntos de X en
los que esta matriz tiene rango < n dim(X). En particular, si X = 1(f) es
una hipersupercie, el conjunto de puntos singulares de X viene dado por las
ecuaciones f(x) =
1
f(x) = =
n
f(x) = 0.
Proposicion 5.8. Para todo entero m, el conjunto Z
m
de puntos a X tales
que dim
k
T
X,a
m es un cerrado.
Demostracion. Como toda variedad cuasi-proyectiva tiene un recubrimiento
abierto afn y la propiedad de ser cerrado es local, podemos suponer que X
es afn. Entonces el conjunto de puntos a X en los que dim
k
T
X,a
m es el
conjunto de puntos en los que el rango de la matriz 5.1 es n m. Es decir, el
conjunto de puntos en los que todos los menores de la matriz de orden > nm
se anulan. Esto nos da un conjunto de polinomios que denen Z
m
.
47
Corolario 5.9. El conjunto de puntos regulares de una variedad cuasi-proyectiva
es abierto.
Demostracion. Su complementario es el cerrado Z
d+1
, donde d = dimX.
Proposicion 5.10. El conjunto de puntos regulares de una variedad cuasi-
proyectiva X es no vaco.
Demostracion. De nuevo podemos suponer que X es afn. Consideremos primero
el caso en que X = 1(f) A
n
k
es una hipersupercie (de dimension n1), donde
f k[x
1
, . . . , x
n
] es un polinomio irreducible. El conjunto de puntos singulares
es entonces 1(f,
1
f, . . . ,
n
f). Si fuera el total, tendramos entonces que cada f
i
sera m ultiplo de f. Como el grado de f
i
es menor que el de f, eso solo es posible
si f
i
= 0 para todo i. En caracterstica 0 esto signica que f es constante. En
caracterstica p > 0, solo puede pasar si cada variable aparece elevada a p en f.
Entonces f sera una potencia p-esima, y por tanto no sera irreducible.
En el caso general, X es birracionalmente equivalente a una hipersuper-
cie por el corolario 2.22. En particular, tienen abiertos isomorfos, que podemos
suponer anes. Por el caso anterior, el conjunto de puntos regulares en la hiper-
supercie es un abierto no vaco, y entonces lo puntos correspondientes de X
son tambien regulares.
5.3. Explosiones
Denicion 5.11. La explosion de A
n
k
con centro O = (0, . . . , 0) es un
morsmo : X A
n
k
, donde X A
n
k
P
n1
k
es el conjunto algebraico denido
por las ecuaciones (con coordenadas x
1
, . . . , x
n
para A
n
k
e y
1
, . . . , y
n
para P
n1
k
)
x
i
y
j
x
j
y
i
= 0 para 1 i, j n, y : X A
n
k
es la restriccion a X de la
proyecci on A
n
k
P
n1
k
A
n
k
.
Es decir, X es el conjunto de pares ((x
1
, . . . , x
n
), (y
1
: . . . : y
n
)) tales que
existe un k (que puede ser 0) tal que x
i
= y
i
para todo i. Veamos la
estructura de con mas detalle.
Proposicion 5.12. La explosion : X A
n
k
de A
n
k
con centro O = (0, . . . , 0)
es un morsmo proyectivo sobreyectivo, e induce un isomorsmo :
1
(U)
U, donde U = A
n
k
O. La imagen inversa de O es O P
n1
k
.
Demostracion. La ultima armacion es evidente, ya que O P
n1
k
X.
Veamos que :
1
(U) U es un isomorsmo, construyendo su inversa: dado
x = (x
1
, . . . , x
n
) U, sea (x) = ((x
1
, . . . , x
n
), (x
1
: . . . : x
n
)). (x) esta bien
denido, porque x ,= O, y esta en X. Como es la proyeccion sobre A
n
k
, esta claro
que es la identidad. Por otro lado, dado z = ((x
1
, . . . , x
n
), (y
1
: . . . :
y
n
)) X se tiene que ( )(z) = ((x
1
, . . . , x
n
), (x
1
: . . . : x
n
)) = z, ya que
(x
1
: . . . : x
n
) = (y
1
: . . . : y
n
) por denicion de X.
El morsmo es proyectivo por denicion, ya que es composicion de una
inmersion cerrada seguida de la proyeccion A
n
k
P
n1
k
A
n
k
. Por tanto es
cerrado por la proposicion 4.12. Como su imagen es un cerrado que contiene al
abierto denso U, debe ser el total.
48
Podemos considerar que la explosion separa las direcciones de rectas que
pasan por O: por cada direccion (correspondiente a un punto del espacio pro-
yectivo P
n1
k
) obtenemos un punto en la imagen inversa de O en X.
Sea ahora Z A
n
k
un conjunto algebraico tal que O Z, y : X A
n
k
la
explosion de A
n
k
con centro O. La imagen inversa de Z por es la union de, por
un lado,
1
(Z O), que por la proposicion anterior es isomorfo a Z O,
y por otro lado E :=
1
(O) = O P
n1
k
.
Denicion 5.13. La explosion de Z con centro O es el morsmo : Y Z,
donde Y es el cerrado
1
(Z 0) X y es la restriccion de : X A
n
k
.
Es decir, Y es la union de las componentes irreducibles de
1
(Z) no conte-
nidas en E.
Proposicion 5.14. La explosion de Z en O es un morsmo birracional.
Demostracion. : Y Z induce un isomorsmo entre los abiertos
1
(Z
O) de Y y ZO de Z, y por tanto es birracional por la proposicion 3.38.
Si P Z es ahora un punto arbitrario, se dene la explosion de Z en P
como =
0
: Y Z, donde : A
n
k
A
n
k
es la traslacion de vector

OP y
0
: Y
1
(Z) es la explosion de
1
(Z) en O.
5.4. Resolucion de singularidades
A partir de ahora nos centraremos en el caso de las curvas en A
2
k
. Sea Z =
1(f) A
2
k
una curva que pase por O = (0, 0), donde f k[x, y] es un polinomio
sin termino independiente. Sea : Y Z la explosion de Z en O.
Llamaremos x, y a las coordenadas en A
2
k
y u, v a las coordenadas en P
1
k
. La
explosion X de A
2
en O esta denida en A
2
k
P
1
k
por la ecuacion xvyu = 0. La
imagen inversa de Z esta entonces denida por las ecuaciones xvyu = f(x, y) =
0. Como P
1
k
se descompone como union de las rectas anes U = v ,= 0

= A
1
k
y V = u ,= 0
= A
1
k
,
1
(Z) se descompone como union de dos abiertos anes.
En U podemos suponer v = 1, y entonces
1
(Z) esta denida por las ecuaciones
x = yu, f(x, y) = 0 en A
2
k
U

= A
3
k
. Eliminando la variable x, este conjunto es
isomorfo al denido en A
2
k
(con coordenadas y, u) por la ecuacion f(yu, y) = 0.
Tiene a la recta y = 0 como componente irreducible, que esta contenida en
1
(O) (ya que x = yu = 0 tambien). La parte que nos interesa es la union de
las otras componentes irreducibles, es decir, el conjunto de ceros del polinomio
g(y, u) obtenido al dividir f(y, yu) por la mayor potencia posible de y. En el
abierto V podemos poner u = 1, y entonces y = xu. En este abierto
1
(Z)
esta denida en A
2
k
(con coordenadas x, v) por la ecuacion f(x, xv) = 0, y para
eliminar la componente x = 0 debemos dividir f(x, xv) por la mayor potencia
posible de x.
Proposicion 5.15. Supongamos que O Z es un punto regular. Entonces
: Y Z es un isomorsmo.
Demostracion. Sabemos que :
1
(ZO) ZO es siempre un isomor-
smo. Basta ver entonces que induce un isomorsmo
1
(W) W, donde
W Z es un entorno de O.
49
Como O es un punto regular, el polinomio f(x, y) tiene termino lineal no
nulo. Supongamos que el coeciente de x es ,= 0 (el caso en el que el coeciente
de y es ,= 0 es similar). Sea : Z U la aplicacion racional dada por
(x, y) = (x/y, y). Como la explosion esta denida en U como (u, y) =
(uy, y), esta claro que es inversa de como funcion racional. Veamos que
esta denida en un entorno de O, y por tanto sera una inversa de como
morsmo.
Como el coeciente de x en f(x, y) es no nulo, podemos escribir f(x, y) =
xg(x)+yh(x, y), donde g(x) es un polinomio con termino constante no nulo. En-
tonces en Z tenemos que xg(x)+yh(x, y) = 0, y por tanto x/y = h(x, y)/g(x),
que esta denida en un entorno de 0 en Z por ser g(0) ,= 0.
Teorema 5.16. (Resolucion de singularidades). Sea Z A
2
k
una curva.
Entonces existe una sucesion nita Z
n
Z
n1
Z
1
Z de explosiones
con centros en puntos singulares tal que Z
n
no tiene puntos singulares.
Ejemplos 5.17. Sea Z = 1(y
2
x
3
x
2
). La curva Z tiene un unico punto
singular en O = (0, 0). Tomando la explosion con centro en O, obtenemos una
curva Z
1
Z. Calculemos los puntos singulares de Z
1
. Como hemos visto antes,
Z
1
tiene un recubrimiento compuesto de dos abiertos anes. En el primero, la
ecuacion de Z
1
(con cordenadas (u, y)) se obtiene haciendo el cambio de variable
(x, y) (uy, y) y eliminando los factores y. Haciendo el cambio de variable
obtenemos y
2
u
3
y
3
u
2
y
2
= 0, y dividiendo por y
2
, 1yu
3
u
2
= 0. Vemos que
la imagen inversa de (0, 0) contiene dos puntos: (1, 0) y (1, 0) (correspondiendo
a las dos rectas tangentes a Z en (0, 0)). Se comprueba facilmente que en este
abierto Z
1
no tiene puntos singulares.
En el otro abierto debemos hacer el cambio de variable (x, y) (x, vx),
y obtenemos x
2
v
2
x
3
x
2
= 0. Dividiendo por x
2
, la ecuacion de Z
1
es
v
2
x 1 = 0. De nuevo obtenemos dos puntos cuya imagen es (0, 0), que se
corresponden con los dos puntos obtenidos en el otro abierto. En este abierto
tampoco hay puntos singulares, como se ve facilmente tomando la derivada con
respecto a x.
Por tanto, con una unica explosion conseguimos desingularizar la curva Z.
Ejercicio 5.2. Sea : X Y un morsmo de variedades anes, a X y
b = (a) Y .
1. Probar que induce un homomorsmo natural d : T
X,a
T
Y,b
, que
llamaremos la diferencial de .
2. Probar que, si : Y Z es otro morsmo y c = (b), entonces d() =
(d) (d).
3. Concluir que dos variedades isomorfas tienen espacios tangentes isomorfos
en los puntos correspondientes.
Ejercicio 5.3. Sea X = 1(f) P
n
k
una hipersupercie proyectiva, donde f
k[x
0
, . . . , x
n
] es un polinomio homogeneo. Probar que el punto a X es singular
si y solo si
i
f(a) = 0 para todo i = 0, . . . , n.
50
Ejercicio 5.4. Hallar los puntos singulares de la supercie denida por x
2
1
x
2
2
+
x
2
0
x
2
2
+x
2
0
x
2
1
x
0
x
1
x
2
x
3
= 0 en P
3
C
.
Ejercicio 5.5. [S, Ej. II.1.16] Determinar para que valores de a la hipersuper-
cie denida por x
4
0
+x
4
1
+x
4
2
+x
4
3
ax
1
x
2
x
3
x
4
= 0 en P
3
C
tiene puntos singulares,
y hallar dichos puntos.
2
k
una curva que contenga y sea regular en O = (0, 0),
y : Y Z la explosion de Z en O. Probar que
1
(O) = ((0, 0), (a : b)),
donde (a, b) k
2
es un vector que genera el espacio tangente a Z en O.
Ejercicio 5.7. Sea Z = 1(y
2
x
3
) A
2
k
. Hallar una sucesion de explosiones
Z
n
Z
1
Z tal que Z
n
no tenga singularidades, y calcular la imagen
inversa de (0, 0) en Z
n
.
2
k
una curva de grado 3 con un punto singular P.
Probar que toda recta que pase por P corta a Z como mucho en un punto mas.
Usar este hecho para probar que Z es racional (ver ejercicio 2.11).
51
52
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
3. Variedades en el espacio proyectivo 23
3.1. Conjuntos algebraicos proyectivos . . . . . . . . . . . . . . . . . . 23
3.2. Conjuntos algebraicos proyectivos e ideales homogeneos . . . . . 24
3.3. Variedades proyectivas. Dimension . . . . . . . . . . . . . . . . . 25
3.4. Funciones regulares y racionales. Variedades cuasi-proyectivas . . 26
3.5. El recubrimiento afn de una variedad proyectiva . . . . . . . . . 27
3.6. La inmersion del espacio afn en el espacio proyectivo . . . . . . . 28
3.7. Morsmos entre variedades cuasi-proyectivas . . . . . . . . . . . 30
3.8. Aplicaciones racionales entre variedades cuasi-proyectivas . . . . 32
4. Propiedades de los morsmos 37
4.1. Producto de variedades . . . . . . . . . . . . . . . . . . . . . . . 37
4.2. Inmersiones. Morsmos proyectivos . . . . . . . . . . . . . . . . . 40
4.3. Morsmos nitos . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
53
5. Singularidades 45
5.1. El espacio tangente a una variedad en un punto . . . . . . . . . . 45
5.2. Puntos singulares . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
5.3. Explosiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
5.4. Resolucion de singularidades . . . . . . . . . . . . . . . . . . . . 49
54
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.
[S] I.R. Shafarevic. Basic Algebraic Geometry I. Second Edition Springer-Verlag
1988.
55

Notas y Ejercicios de Geometria Algebraica

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Notas y Ejercicios de Geometria Algebraica

Uploaded by

Copyright:

Available Formats

Notas y ejercicios de Geometra Algebraica

: X Y es otro morsmo de variedades, (

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

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

inducen una equivalencia

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

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

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

: /(Z) /(Y ). Esto se debe a que dada f = g/h : Z k

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

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

es inyectiva. Sea f /(Z) una funcion

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

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

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

. La proposici on anterior nos dice que:

inducen una equiva-

: Z Z son la identidad (como aplicaciones

Z) un abierto donde (resp.

). Analogamente, esta denida (y es la identidad) en V

). Los abiertos buscados son entonces U =

I para todo i, y por tanto existe un m

I J(1(I)) es trivial, ya que J(1(I)) es un

I. Sea f J(1(I)) homogeneo no nulo. Como

(f) = f es un isomorsmo de k-algebras.

preserva sumas, productos y constantes, y por tanto es un

. Por otra parte, Z ,= Y (ya que f se anula en todo Z pero

: Y Y son la identidad (como

1. Fijada una ordenacion

: Z X Y otro morsmo que cumpla las condiciones, dado

(/(Y ))-modulo nitamente generado.

(/(Y )), es decir, satisface un polinomio monico con

(/(Y )), es decir, de la forma

. En efecto, si todo termino de

, que por denicion es (x

You might also like