Académique Documents
Professionnel Documents
Culture Documents
No. 10
Geometra algebraica
Oswaldo Lezama
Departamento de Matematicas
Facultad de Ciencias
Universidad Nacional de Colombia
Sede de Bogota
30 de junio de 2014
ii
Contenido
Pr
ologo
iv
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
5
7
10
11
13
17
23
2. Variedades afines
2.1. Variedades y algebras afines . . . . .
2.2. Morfismos polinomiales . . . . . . . .
2.3. Cambio de coordenadas . . . . . . .
2.4. Funciones racionales y anillos locales
2.5. Ideales con un n
umero finito de ceros
2.6. Ejercicios . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
26
26
28
35
41
48
52
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
53
53
56
61
63
70
.
.
.
.
71
71
75
79
85
4. El espacio proyectivo
4.1. Espacios proyectivos, espacios afines . . . .
4.2. Conjuntos algebraicos proyectivos . . . . .
4.3. Variedades proyectivas y algebras . . . . .
4.4. Algebraicos afines, algebraicos proyectivos
iii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
iv
CONTENIDO
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
101
. 101
. 105
. 107
. 113
.
.
.
.
.
.
115
. 115
. 123
. 127
. 131
. 140
. 144
145
Pr
ologo
La coleccion Cuadernos de algebra consta de 10 publicaciones sobre los principales
temas de esta rama de las matematicas, y pretende servir de material para preparar
los examenes de admision y de candidatura de los programas colombianos de doctorado en matematicas. Los primeros cinco cuadernos cubren el material basico de
los cursos de estructuras algebraicas y algebra lineal de los programas de maestra;
los cinco cuadernos siguientes contienen algunos de los principales temas de los
examenes de candidatura, a saber: anillos y modulos; categoras; algebra homologica;
algebra no conmutativa; algebra conmutativa y geometra algebraica. Cada cuaderno
es fruto de las clases dictadas por el autor en la Universidad Nacional de Colombia
en los u
ltimos 25 a
nos, y estan basados en las fuentes bibliograficas consignadas en
cada uno de ellos, como tambien en el libro Anillos, M
odulos y Categoras, publicado por la Facultad de Ciencias de la Universidad Nacional de Colombia, y cuya
edicion esta totalmente agotada (vease [18]). Un material similar, pero mucho mas
completo que el presentado en estas diez publicaciones, es el excelente libro de Serge
Lang, Algebra, cuya tercera edicion revisada ha sido publicada por Springer en el
2004 (vease [10]). Posiblemente el valor de los Cuadernos de
algebra sea su presentacion ordenada y didactica, as como la inclusion de muchas pruebas omitidas
en la literatura y suficientes ejemplos que ilustran la teora. Los cuadernos son:
1.
2.
3.
4.
5.
Grupos
Anillos
Modulos
Algebra
lineal
Cuerpos
6. Anillos y modulos
7. Categoras
8. Algebra
homologica
9. Algebra no conmutativa
10. Algebra
conmutativa y geometra algebraica
vi
PROLOGO
Captulo 1
Conjuntos algebraicos afines
1.1.
Preliminares algebraicos
1
f
K(x)
Proposici
on 1.1.5. Sea K un subcuerpo algebraicamente cerrado del cuerpo L.
Entonces,
(i) Cualquier elemento de L que sea algebraico sobre K est
a en K.
(ii) Si L es una extension finita de K, entonces L = K.
Demostracion. (a) Si z L es algebraico sobre K entonces z es raz de un polinomio
monico con coeficientes en K, pero como K es algebraicamente cerrado entonces
z K.
(b) Sea n = [L : K] y sea z L, entonces 1, z, . . . , z n son linealmente dependientes y por lo tanto existen a0 , . . . , an K tal que a0 + a1 z + + an z n = 0, es
decir, z es algebraico sobre K. Seg
un (a), z K. Por lo tanto, [L : K] = 1, es decir,
L = K.
Definici
on 1.1.6. Sea R un dominio de integridad (DI) que no es un cuerpo, se dice
que R es un dominio de valuaci
on discreta (DVD) si R es local, noetheriano
y su ideal maximal es principal.
Teorema 1.1.7. Sea R un DI que no es un cuerpo. Entonces, R es un DVD si y
s
olo si existe un elemento irreducible t R tal que cada elemento no nulo z R
puede ser escrito de manera u
nica en la forma z = utn , donde u R y n es un
entero no negativo. Se dice que t es un par
ametro uniformizante de R.
Demostracion. ) Sea M el maximal de R y sea M = hti. Sea z R no nulo, si z
es invertible entonces z = ut0 , sea entonces z no invertible, por lo tanto z M , con
lo cual z = z1 t. Si z1 es invertible, hemos terminado. Si z1 no es invertible, entonces
z1 = z2 t con lo cual z = z2 t2 . Se tiene la cadena
hzi hz1 i hz2 i
Esta cadena se detiene cuando zn1 = zn t, con zn invertible. Pero como R es noetheriano la cadena debe detenerse, por lo tanto, existe n tal que zn1 = zn t, con zn
invertible. Esto implica que z = zn tn , con zn invertible. Veamos ahora la unicidad:
1
si zn tn = zm tm con n > m, entonces zm
zn tnm = 1, de donde t resulta invertible en
M , pero esto no es posible. Por lo tanto, n = m y tambien zn = zm .
) Vamos a probar que M = hti es el u
nico ideal maximal de R y ademas que
R es un dominio de ideales principales (DIP ). Sea I un ideal maximal de R, como
R no es un cuerpo entonces I es no nulo, sea x I no nulo, entonces x = utn , donde
u R . De esto se sigue que I M , pero como I es maximal, entonces I = M .
Sea ahora J un ideal no nulo de R, y sea z no nulo de J, entonces z = utn , donde
u R , cada z determina un n, escojamos n mnimo y veamos que J = htn i: es
claro que htn i J, pero cualquier otro elemento de J es de la forma utm con m n,
por lo tanto utm = utmn tn htn i. Con lo anterior se tiene que R es un DI local y
noetheriano con su maximal principal.
1.2.
En esta seccion presentamos los objetos que estudia la geometra algebraica elemental: los conjuntos algebraicos del espacio afn, es decir, los conjuntos de ceros
comunes de polinomios fi (x1 , . . . , xn ) K[x1 , . . . , xn ], 1 i m.
Definici
on 1.2.1. Sea n 1 un entero. Entonces,
(i) El espacio afn de dimensi
on n sobre el cuerpo K se define por
An (K) := {(a1 , . . . , an ) | ai K, 1 i n}.
(ii) El plano afn es A2 (K).
(iii) La recta afn es A1 (K).
(iv) Un cero de un polinomio f K[x1 , . . . , xn ] es un elemento (a1 , . . . , an )
An (K) tal que f (a1 , . . . , an ) = 0.
(v) Una hipersuperficie es el conjunto de todos los ceros de un polinomio no
constante f y se denota por V (f ):
V (f ) := {(a1 , . . . , an ) An (K) | f (a1 , . . . , an ) = 0}.
(vi) Un hiperplano de An (K) es una hipersuperficie, donde f es de la forma
f = b0 + b1 x 1 + + bn x n .
(vii) Una curva plana afn es una hipersuperficie del plano afn.
(viii) Un hiperplano de A2 (K) es una recta.
Definici
on 1.2.2. Un subconjunto X de An (K) es algebraico si X es la colecci
on
de ceros de un conjunto S de polinomios de K[x1 , . . . , xn ]. En otras palabras, los
conjuntos algebraicos del espacio afn son los conjuntos de la forma
V (S) := {(a1 , . . . , an ) An (K) | f (a1 , . . . , an ) = 0 para cada f S}
donde S K[x1 , ..., xn ].
Notese que
V (S) =
\
f S
V (f ) .
xC
xC
1.3.
El siguiente teorema puede ser considerado como el dual del teorema 1.2.5.
Teorema 1.3.2. Sean X, Y An (K) y sea S K[x1 , . . . , xn ]. Entonces,
(i) X Y I(Y ) I(X).
(ii) S I(V (S)).
(iii) X V (I(X)).
(iv) V (I(V (S))) = V (S). Por lo tanto, si V es un conjunto algebraico del espacio
afn An (K), entonces V (I(V )) = V .
(v) I (V (I (X))) = I (X). Por lo tanto, si I es el ideal de un conjunto de puntos,
entonces I(V (I)) = I.
(1)
(2)
(2)
(p)
(p)
(p)
(p)
f (x1 , . . . , xn ) = (x1 a1 ) (xn a(1)
n ) (x1 a1 ) (xn an )
i
iC
T
I (Xi ), para cada
iC Xi
iC I (Xi ). Sea f
iC I (Xi ) y sea
S i C, luego I
(a1 , . . . , an ) iC Xi , entonces (a1 , . . . , an ) Xi0 para alg
un i0
C,
se tiene
S luego
que f (a1 , . . . , an ) = 0 ya que f I (Xi0 ), esto indica que f I
iC Xi .
Ejemplo 1.3.4. Si X An (K) no es un conjunto algebraico entonces puede ocurrir
que X 6= V (I (X)): consideremos el conjunto X = {(x, y) A2 (R) | y = sen (x)},
sabemos que X no es algebraico luego no se puede tener la igualdad X = V (I(X))
(de tenerse X sera algebraico).
Ejemplo 1.3.5. Si I K[x1 , . . . , xn ] no es un ideal de un conjuntos de puntos
entonces puede ocurrir que I 6= I (V (I)): en efecto, sea I = hf i, donde f es un
polinomio no constante de K[x], entonces V (I) es el conjunto de ceros que tiene f
en K. Si V (I) = , entonces I (V (I)) = K[x] y por lo tanto I $ I (V (I)). Esto
ocurre por ejemplo con f = x2 + 1 en R[x].
Ejemplo 1.3.6. En relacion con la propiedad (ix) del teorema 1.3.2, se tiene el
siguiente contraejemplo: sea p (x) = x2 + x Z2 [x], entonces p (a) = 0 para cada
a A1 (Z2 ) = Z2 , es decir, I(A1 (Z2 )) 6= 0.
De los teoremas 1.2.5 y 1.3.2 resultan las siguientes funciones: sea I la coleccion
de ideales de K[x1 , . . . , xn ], IP la coleccion de ideales de puntos, P la coleccion de
todos los subconjuntos de An (K) y la coleccion de algebraicos de An (K). Entonces,
sea v la funcion que asigna a cada ideal I el algebraico V (I) y sea i la funcion que
asigna a cada subconjunto X el ideal I(X),
v
I
P
I 7 V (I)
P
IP I
X 7 I(X).
10
1.4.
En esta seccion expresaremos los conjuntos algebraicos propios a traves de hipersuperficies. Ademas probaremos que si K es un cuerpo algebraicamente cerrado,
entonces cada abierto no vaco de An (K) es infinito.
Teorema 1.4.1. Sea K un cuerpo cualquiera. Entonces,
(i) Cada conjunto algebraico propio de An (K) es la intersecci
on de un n
umero
finito de hipersuperficies.
(ii) Si K es infinito, entonces An (K) no es la intersecci
on de un n
umero finito de
hipersuperficies, y por lo tanto, no es una hipersuperficie.
(iii) Si K es finito, entonces An (K) es una hipersuperficie.
Demostracion. (i) Sea V (I) un conjunto algebraico propio de An (K), donde I es
un ideal de K[x1 , . . . , xn ]. I 6= 0 ya que de lo contrario V (0) = An (K). Si I = h1i,
entonces V (h1i) = = V (x1 a) V (x1 b), donde a 6= b son elementos de K. Sea
entonces I un ideal no nulo y propio, I es f.g, digamos I = hf1 , . . . , fm i, donde los
polinomios fi no son constantes, 1 i m. Entonces, I = hf1 i + + hfm i y por lo
tanto V (I) = V (hf1 i + + hfm i) = V (hf1 i) V (hfm i) = V (f1 ) V (fm ).
(ii) Supongamos lo contrario, si An (K) = V (f1 ) V (fm ), donde fi no es
constante, 1 i m, entonces An (K) = V (fi ) para cada i. Resulta, I (An (K)) =
I (V (fi )) {fi }. Como K es infinito, I (An (K)) = 0 y por lo tanto fi = 0, lo cual
es una contradiccion.
(iii) Si K es finito entonces An (K) = V (f ), donde f es el polinomio no constante
de la prueba del teorema 1.3.2.
Proposici
on 1.4.2. Sean K un cuerpo infinito y f K[x1 , . . . , xn ] un polinomio
no constante. Entonces,
(i) V (f )c es infinito.
(ii) El complemento de cualquier conjunto algebraico propio es infinito. Por lo
tanto, cada abierto no vaco de An (K) es infinito.
(iii) Si K es algebraicamente cerrado y n = 1, entonces V (f ) es finito no vaco.
11
1.5.
12
13
(1.5.1)
1.6.
En esta seccion describimos todos los algebraicos del plano afn A2 (K). Seg
un el
teorema 1.5.6, para caracterizar todos los algebraicos basta conocer todos los irre-
14
15
16
17
1.7.
Esta seccion esta dedicada a probar el teorema de ceros de Hilbert y la correspondencia biyectiva que existe entre los conjuntos algebraicos irreducibles de An (K) y
los ideales primos de K[x1 , . . . , xn ], donde K un cuerpo algebraicamente cerrado. La
parte (ii) del teorema de ceros de Hilbert justifica completamente su nombre: sea
K un cuerpo algebraicamente cerrado y sean f1 , . . . , ft , g K[x1 , . . . , xn ] tales que
g (a1 , . . . , an ) = 0 para cada cero com
un (a1 . . . , an ) de f1 , . . . , ft . Entonces existe
r 1 tal que g r hf1 . . . , ft i.
En esta seccion supondremos siempre que K es algebraicamente cerrado.
Teorema 1.7.1 (Teorema de ceros de Hilbert). Sea I un ideal de K[x1 , . . . , xn ].
Entonces,
(i) V (I) = I = K[x1 , . . . , xn ].
(ii) I (V (I)) = I.
Demostracion. (i) ) Vamos a probar que si I es propio entonces V (I) 6= . Podemos suponer que I es maximal (de lo contrario existe J maximal tal que I J y
entonces V (J) V (I)). Sea L := K[x1 , . . . , xn ]/I, entonces L es un cuerpo que
contiene a K mediante la indentificacion a = a, para cada a K. Aplicamos ahora el teorema 1.1.3 y podemos asegurar que L = K de tal forma que para cada
1 i n, xi = ai , con ai K, es decir, xi ai I, luego hx1 a1 , . . . , xn an i I.
Pero notemos que hx1 a1 , . . . , xn an i es maximal de K[x1 , . . . , xn ]. En efecto,
18
(1.7.1)
) Si I = K[x1 , . .
. , xn ], entonces V (I) = V (K[x1 , . . . , xn ]) = .
(ii) Sabemos que I I (V (I)) (vease el teorema 1.3.2). Sea g I (V (I)),
donde I := hf1 , . . . , fr i. Definimos J := hf1 , . . . , fr , xn+1 g 1i K[x1 , . . . , xn , xn+1 ].
Notemos que V (J) = (supongamos lo contrario, si (a1 , . . . , an , an+1 ) V (J)
entonces fi (a1 , . . . , an ) = 0 para cada 1 i r, luego (a1 , . . . , an ) V (I), de
donde g (a1 , . . . , an ) = 0 y de esta forma an+1 g (a1 , . . . , an ) 1 = 0, es decir, 1 = 0,
lo cual es falso). Seg
un (i), J = K[x1 , . . . , xn , xn+1 ] y se tiene entonces la relacion
P
1 = ri=1 hi (x1 , . . . , xn , xn+1 ) fi + b (x1 , . . . , xn , xn+1 ) (xn+1 g 1) ,
con hi , b K[x1 , . . . , xn , xn+1 ]. Consideremos el cuerpo de fracciones del anillo de
1
polinomios K[x1 , . . . , xn , xn+1 ] y sea y := xn+1
, entonces la u
ltima relacion toma la
forma
P
1
1 = ri=1 hi x1 , . . . , xn , y1 fi + b x1 , . . . , xn , y1
g
1
y
en K(x1 , . . . , xn , xn+1 ). Existe m suficientemente grande tal que
P
y m = ri=1 ci (x1 , . . . , xn , y) fi + d (x1 , . . . , xn , y) (g y) K[x1 , . . . , xn , y],
con ci , d K[x1 , . . . , xn , xn+1 ]. Como y es una
indeterminada, hacemos y = g y
m
entonces g hf1 , . . . , fr i = I, es decir, g I.
El teorema de ceros de Hilbert permite obtener algunas conclusiones interesantes.
Corolario 1.7.2. Si I es un ideal radical de K[x1 , . . . , xn ], entonces I (V (I)) =
I. En consecuencia, los ideales radicales coinciden con los ideales de puntos y,
por lo tanto, existe una correspondencia biyectiva entre los ideales radicales de
K[x1 , . . . , xn ] y los conjuntos algebraicos.
Demostracion. La primera afirmacion se obtiene directamente del teorema de ceros
de Hilbert y demuestra ademas que los ideales radicales coinciden con los ideales
de puntos (vease el teorema 1.3.2). Para la segunda afirmacion podemos repetir el
19
I 7 V (I)
es inyectiva: si V (I1 ) = V (I2 ) entonces I (V (I1 )) = I (V (I2 )), luego I1 = I2 . es
sobreyectiva: sea V algebraico, sabemos que I(V ) R, luego (I(V )) = V (I (V )) =
V.
En relacion con la proposicion 1.5.4 se se tiene la siguiente propiedad.
Corolario 1.7.3. Si I es un ideal primo de K[x1 , . . . , xn ] entonces V (I) es irreducible no vaco. Existe una correspondencia biyectiva entre los ideales primos de
K[x1 , . . . , xn ] y los conjuntos algebraicos irreducibles no vacos de An (K). En esta
correspondencia los ideales maximales corresponden a conjuntos unitarios.
Demostracion. Si I es primo entonces I es un ideal radical y I (V (I)) = I, de donde
V (I) es irreducible no vaco (proposicion 1.5.4). Sea Spec(K[x1 , . . . , xn ]) la coleccion
de ideales primos de K[x1 , . . . , xn ] y sea V la coleccion de algebraicos irreducibles
no vacos de An (K), denotemos tambien por la restriccion de la funcion en el
corolario 1.7.2 a Spec(K[x1 , . . . , xn ]), se tiene entonces la correspondencia
Spec(K[x1 , . . . , xn ])
V
I 7 V (I) .
Por lo tanto, es inyectiva. Sea V (I) V, entonces I (V (I)) es primo y ademas
(I (V (I))) = V (I (V (I))) = V (I).
Si (a1 , . . . , an ) An (K), entonces hx1 a1 , . . . , xn an i es un ideal maximal
de K[x1 , . . . , xn ] (vease la demostracion del teorema de ceros de Hilbert, (1.7.1)) y
(hx1 a1 , . . . , xn an i) = V (hx1 a1 , . . . , xn an i) = {(a1 , . . . , an )}.
Recprocamente, sea I un ideal maximal y sea (a1 , . . . , an ) V (I), entonces
{(a1 , . . . , an )} V (I) y I (V (I)) I ({(a1 , . . . , an )}) = hx1 a1 , . . . , xn an i, es
decir, I hx1 a1 , . . . , xn an i, luego hx1 a1 , . . . , xn an i = I. Se tiene pues que
V (I) = V (hx1 a1 , . . . , xn an i) = {(a1 , . . . , an )}.
El siguiente corolario es una generalizacion del teorema 1.6.6 a dimension n.
Corolario 1.7.4. Sea f K[x1 , . . . , xn ] un polinomio no constante y sea f =
f1m1 frmr la descomposicion de f en producto de polinomios irreducibles. Entonces,
V (f ) = V (f1 ) V (fr ) es la descomposici
on irreducible de V (f ) y I (V (f )) =
hf1 fr i. Ademas, existe una correspondencia biyectiva, salvo multiplicaci
on por
constantes no nulas de K, entre los polinomios irreducibles de K[x1 , . . . , xn ] y las
hipersuperficies irreducibles de An (K).
20
Demostracion. ) Sea
V (I) finito, si V (I) = , entonces I = I (V (I)) = I () =
K[x1 , . . . , xn ], es decir, I = K[x1 , . . . , xn ], de donde 1 I, I = K[x1 , . . . , xn ]. En
este caso, dimK (K[x1 , . . . , xn ]/I) = 0 y el n
umero de puntos de V (I) coincide con
dimK (K[x1 , . . . , xn ]/I).
(1)
(1)
(r)
(r)
Sea pues V (I) = { a1 , . . . , an , . . . , a1 , . . . , an }, definimos los polinomios
(1)
(r)
fi = xi ai xi ai
para cada 1 i n. Notemos que fi I (V (I)) =
I, por lo tanto existe m suficientemente grande tal que fim I para cada 1 i n.
m
En el cociente se tiene entonces que fi = 0 y de esta forma xi rm es combinacion
lineal de 1, xi , . . . , xi rm1 . Usando esto, y mediante induccion, se puede concluir que
xi s es combinacion lineal de 1, xi , . . . , xi rm1 para cada s 0. Como esto es valido
para cada 1 i n, se tiene que {x1 m1 xn mn | 0 mi rm 1} genera a
K[x1 , . . . , xn ]/I.
) Sean v1 , . . . , vr V (I) algunos puntos de V (I) (si V (I) = , como vimos
antes, dimK (K[x1 , . . . , xn ]/I) = 0 y el n
umero de puntos de V (I) coincide con
dimK (K[x1 , . . . , xn ]/I)). Existen polinomios f1 , . . . , fr K[x1 , . . . , xn ] tales que para
i 6= j, fi (vj ) = 0 y fi (vi ) = 1, 1 i r. En efecto, veamos primero que si
V un conjunto algebraico propio de An (K) y u An (K) V , entonces existe un
polinomio f K[x1 , . . . , xn ] tal que f (v) = 0 para cada punto v V pero f (u) = 1:
V
V {u}, luego I (V {u})
I (V ), existe entonces un polinomio g tal que
g (v) = 0 para cada v V pero g (u) = c 6= 0. El polinomio f := c1 g cumple
las condiciones pedidas. El conjunto finito {v1 , . . . , vi1 , vi+1 , . . . , vr } es algebraico
propio; seg
un acabamos de ver, existe fi tal que fi (vj ) = 0 para i 6= j pero fi (vi ) = 1.
Esto es valido para cada 1 i r.
Notemos que f1 , . . . , fr K[x1 , . . . , xn ]/I son linealmente independientes sobre
K: en efecto, sean c1 , . . . , cr K tales que c1 .f1 + +cr .fr = 0, entonces c1 .f1 + +
21
22
W = V (J)
J/I.
Por el teorema de correspondencia de la teora de anillos, esta asignacion es inyectiva. Veamos que la correspondencia es sobreyectiva: sea J/I un ideal radical de
K[x1 , . .
. , xn ]/I, p
con I J , veamos
que J es un ideal radical de K[x1 , . . . , xn ]. En
efecto, J/I = J/I = J/I, luego J = J. Por lo tanto, W := V (J) V (I) y
(W ) = J/I.
Sea ahora W = V (J) irreducible no vaco contenido en V , con J radical, entonces
I (V (J)) = J es primo, luego J/I es primo de K[x1 , . . . , xn ]/I. De otra parte, si J/I
es primo, entonces J es primo que contiene a I y en consecuencia W := V (J) es
irreducible no vaco contenido en V (I) tal que (W ) = J/I.
Finalmente, sea {(a1 , . . . , an )} V (I) un punto, entonces {(a1 , . . . , an )} =
V (hx1 a1 , . . . , xn an i) y
(V (hx1 a1 , . . . , xn an i)) = hx1 a1 , . . . , xn an i/I.
Notemos que hx1 a1 , . . . , xn an i/I es maximal de K[x1 , . . . , xn ]/I ya que hx1
a1 , . . . , xn an i es maximal de K[x1 , . . . , xn ]. De otra parte, si J/I es maximal de
K[x1 , . . . , xn ]/I, entonces J es maximal de K[x1 , . . . , xn ] que contiene a I y en tal
caso, como vimos en la prueba del teorema de ceros de Hilbert, necesariamente
J = hx1 a1 , . . . , xn an i para alg
un punto (a1 , . . . , an ) An (K). Luego, V (J) =
V (hx1 a1 , . . . , xn an i) = {(a1 , . . . , an )} esta contenido en V (I) y (V (J)) =
J/I.
Ejemplo 1.7.11. Sea K un cuerpo algebraicamente cerrado y sean V1 y V2 algebraicos de An (K). Veamos que
p
I(V1 V2 ) = I(V1 ) + I(V2 ).
1.8. EJERCICIOS
23
p
En efecto, V ( I(V1 ) + I(V2 ) q
) = V (I(V1 ) + I(V2 )) = V (I(V1 )) V (I(V2 )) = V1 V2 ,
p
p
p
as I(V ( I(V1 ) + I(V2 ) )) =
I(V1 ) + I(V2 ) = I(V1 ) + I(V2 ) = I(V1 V2 ).
Veamos un contraejemplo para el caso en el cual el cuerpo K no es algebraicamente cerrado: en el plano afn real A2 (R) sean V1 = V (f ), con f = y x2 y
V2 = V (g), con g = y + 1. V1 es una parabola y V2 es una recta, por lo tanto V1 y V2
son infinitos, ademas f y g son ambos irreducibles. Luego
pI(V1 ) = hf i y I(V2 ) = hgi.
Como V1 V2 = , entonces I(V1 V2 ) = R[x, y], pero I(V1 ) + I(V2 ) 6= R[x, y] ya
que 1
/ I(V1 )+I(V2 ) = hyx2 , y+1i. En efecto, si 1 = p(x, y)(yx2 )+q(x, y)(y+1),
entonces tomando y = x2 se tiene que 1 = q(x, x2 )(x2 +1), pero por razones de grado
esto es imposible.
Ejemplo 1.7.12. Sea V = {(t, t2 , t3 )|t C}. Calculemos I(V ) y probemos que V
es irreducible. Notemos que V = V (y x2 , z x3 ) = V (y x2 ) V (z x3 ), sean
V1 = V (y x2 )p
y V2 = V (z x3 ). Aplicamos
el ejercicio anterior y obtenemos I(V ) =
p
I(V1 V2 ) = I(V1 ) + I(V2 ) = hy x2 > + < z x3 i ya que y x2 y z x3
son
es algebraicamente cerrado. Por lo tanto, I(V ) =
p polinomios irreducibles y C
2
2
3
hy x , z x i, pero hy x , z x3 i es primo. En efecto, este ideal es propio y
sean a, b C[x, y, z] tales que ab hy x2 , z x3 i, entonces existen p, q C[x, y, z]
tales que ab = p(y x2 ) + q(z x3 ). Resulta entonces que a(x, x2 , x3 )b(x, x2 , x3 ) = 0,
luego a(x, x2 , x3 ) = 0 o b(x, x2 , x3 ) = 0, es decir, a = p0 (y x2 ) + q 0 (z x3 ) o b =
p00 (y x2 ) + q 00 (z x3 ) con p0 , p00 , q 0 , q 00 C[x, y, z] (vease el ejercicio 1). Se tiene
entonces que I(V ) = hy x2 , z x3 i y V es irreducible.
1.8.
Ejercicios
24
1.8. EJERCICIOS
25
Captulo 2
Variedades afines
En este captulo, salvo que se advierta lo contrario, K denota un cuerpo algebraicamente cerrado. Estudiaremos los algebraicos irreducibles del espacio afn An (K), los
cuales llamaremos variedades, as como las funciones entre variedades. Muchos autores denominan variedad a los algebraicos que definimos en el captulo anterior,
vease por ejemplo [1], de tal forma forma que distingen las variedades de las variedades irreducibles. Nosotros sin embargo mantendremos la denominacion dada en
[4] en donde se asume que las variedades son los algebraicos irreducibles.
2.1.
Variedades y
algebras afines
En esta seccion mostraremos la correspondencia biyectiva que existe entre el conjunto de los morfismos polinomiales de dos variedades y la coleccion de homomorfismos
entre las algebras afines correspondientes.
Definici
on 2.1.1. Una variedad afn de An (K) es un conjunto algebraico irreducible de An (K).
Las variedades afines de An (K) las llamaremos simplemente variedades. Sea V
una variedad no vaca, sabemos que I (V ) es un ideal primo de K[x1 , . . . , xn ], y por
lo tanto, K[x1 , . . . , xn ]/I(V ) es un DI.
Definici
on 2.1.2. Sea V una variedad no vaca, K[x1 , . . . , xn ]/I(V ) es el anillo
de coordenadas o
algebra afn de V , y se denota por A (V ).
Notemos que A(V ) es una K-algebra y K se sumerge de manera natural en A(V ),
a 7 a, a K.
Sea X un conjunto no vaco cualquiera, notemos que el conjunto F (X, K) de
todas las funciones de X en K es un anillo conmutativo con unidad respecto de
las operaciones habituales: (F + G) (x) = F (x) + G (x), (F G) (x) = F (x) G (x),
26
2.1. VARIEDADES Y ALGEBRAS
AFINES
27
K[x1 , . . . , xn ]
P (V, K)
f 7 F
Es claro que es un homomorfismo de anillos, ademas, si (f ) = 0, entonces
F (a1 , . . . , an ) = 0 para cada (a1 , . . . , an ) V , es decir, f (a1 , . . . , an ) = 0 para cada
(a1 , . . . , an ) V , pero esto significa que f I (V ). En otras palabras, ker () =
I(V ). Finalmente, sea F P (V, K), entonces existe un polinomio f K[x1 , . . . , xn ]
tal que F (a1 , . . . , an ) = f (a1 , . . . , an ), esto indica que (f ) = F y as es sobre.
Algunas propiedades de las algebras afines son las siguientes.
Proposici
on 2.1.6. Sean V una variedad no vaca. Entonces,
(i) Existe una correspondencia biyectiva entre los subconjuntos algebraicos de V
y los ideales radicales de A(V ). En esta correspondencia las subvariedades no
vacas van en primos y los puntos en maximales.
(ii) Sea W 6= una subvariedad de V , es decir, una variedad no vaca contenida
en V , y sea IV (W ) el ideal primo en la correspondencia del numeral anterior.
Entonces,
28
A (V ) /IV (W )
= A (W ).
(iii) Las siguientes condiciones son equivalentes:
(a) V es un punto
(b) A (V )
=K
(c) dimK (A (V )) < .
Demostracion. (i) En el ejemplo 1.7.10 vimos que a cada algebraico W contenido en
V se le asigna el ideal radical J/I(V ), donde W = V (J) y J es un ideal radical de
K[x1 , . . . , xn ]. Vimos que en realidad J es u
nico para W , J = I(W ), de esta manera
la asignacion es
W IV (W ) := I(W )/I(V ).
Seg
un vimos, los irreducibles de V , es decir, las subvariedades de V van en primos
de A(V ) y los puntos en ideales maximales.
(ii) Si W = , entonces I(W ) = K[x1 , . . . , xn ] y el cociente K[x1 , . . . , xn ]/I(W )
es nulo, es decir, en este caso no definimos el algebra afn. Sea pues W 6= , tenemos
que
A(V )/IV (W ) = K[x1 , . . . , xn ]/I(V )/I(W )/I(V )
= K[x1 , . . . , xn ]/I(W ) = A(W ).
(iii) (a)(b): sea V = {(a1 , . . . , an )}, entonces I (V ) = hx1 a1 , . . . , xn an i es
maximal de K[x1 , . . . , xn ] y ademas A (V ) = K[x1 , . . . , xn ]/hx1 a1 , . . . , xn an i
=K
(vease la prueba del toerema de ceros de Hilbert).
(b)(c): dimK (A (V )) = 1
(c)(a): si dimK (A (V )) < , entonces V (I(V )) = V es finito (vease el corolario 1.7.5), ademas, por hipotesis V es irreducible no vaco, entonces V es un punto.
2.2.
Morfismos polinomiales
Las funciones entre variedades estan gobernadas por polinomios e inducen homorfismos entre las algebras afines correspondientes. En esta seccion estudiaremos tales
funciones.
Definici
on 2.2.1. Sean V An (K) y W Am (K) variedades no vacas. Un
morfismo polinomial de V en W es una funci
on : V W definida por
polinomios f1 , . . . , fm K[x1 , . . . , xn ] de tal forma que
(a1 , . . . , an ) = (f1 (a1 , . . . , an ) , . . . , fm (a1 , . . . , an ))
29
g (f1 , . . . , fm ) + I(V ).
Para ver que esta bien definido, necesitamos probar que dado g I(W ) entonces
g (f1 , . . . , fm ) I(V ). Pero para cada (a1 , . . . , an ) V tenemos que (a1 , . . . , an )
W , y por tanto
g (f1 , . . . , fm ) (a1 , . . . , an ) =g (f1 (a1 , . . . , an ) , . . . , fm (a1 , . . . , an ))
=g ( (a1 , . . . , an )) = 0,
como se anuncio. Tenemos entonces que es un homomorfismo de K-algebras.
Recprocamente, sea
: K[y1 , . . . , ym ]/I(W ) K[x1 , . . . , xn ]/I(V )
un homomorfismo de K-algebras, y sea (yi ) = fi , con fi K[x1 , . . . , xn ], 1 i m.
Se define entonces el morfismo polinomial
: An (K) Am (K)
(a1 , . . . , an ) 7 (f1 (a1 , . . . , an ) , . . . , fm (a1 , . . . , an )) .
Veamos que (V ) W : en efecto, sea (a1 , . . . , an ) V , puesto que W es algebraico,
W = V (I(W )) y basta probar que (f1 (a1 , . . . , an ) , . . . , fm (a1 , . . . , an )) V (I(W )).
30
31
En consecuencia,
: K[z1 , . . . , zr ]/I(Z) K[x1 , . . . , xn ]/I(V )
zi + I(W ) 7 gi (f1 , . . . , fm ) + I(V )
es decir, ( ) (zi + I(W )) = hi + I(V ) = (zi + I(W )). Esto muestra que
= .
Corolario 2.2.4. Sean V An (K), W Am (K) y Z Ar (K) variedades no
vacas y sean : A(Z) A(W ) y : A(W ) A(V ) homomorfismos de
algebras
afines. Entonces, = .
Demostracion. Sean (yi ) = fi y (zj ) = gj , donde fi K[x1 , . . . , xn ], 1 i m
y gj K[y1 , . . . , ym ], 1 j r. Entonces,
: A(Z) A(V )
zj 7 gj (f1 , . . . , fm )
y por lo tanto, viene definida de la siguiente manera:
: V 7 Z
(a1 , . . . , an ) 7 (h1 (a1 , . . . , an ) , . . . , hr (a1 , . . . , an ))
donde hj = gj (f1 , . . . , fm ), 1 j r. Pero esta es la definicion de .
Corolario 2.2.5. Sean V An (K), W Am (K) variedades no vacas. Entonces,
(i) Existe una correspondencia biyectiva entre la colecci
on de morfismos polinomiales de V en W y la colecci
on de homomorfismos de A(W ) en A(V ).
(ii) En la correspondencia anterior los isomorfismos polinomiales corresponden a
isomorfismos de las algebras afines.
Demostracion. (i) Sea M or (V, W ) la coleccion de morfismos polinomiales de V en
W y sea Hom(A(W ), A(V )) la coleccion de homomorfismos del algebra afn A(W )
en el algebra afn A(V ). Definimos entonces las aplicaciones
: M or (V, W ) Hom(A(W ), A(V ))
7
y
: Hom(A(W ), A(V )) M or (V, W )
7
32
Veamos entonces que = iM or(V,W ) y que = iHom(A(W ),A(V )) . Al final de la prueba del teorema 2.2.2 vimos que ( ) () = . Sea ahora
Hom(A(W ), A(V )), con (yi ) = fi , entonces para cada (a1 , . . . , an ) V se tiene que
(a1 , . . . , an ) = (f1 (a1 , . . . , an ) , . . . , fm (a1 , . . . , an )) y por lo tanto (yi ) = fi .
Esto significa que = , es decir, ( ) () = .
(ii) Sea ahora : V W un isomorfismo polinomial, entonces existe un morfismo polinomial : W V tal que = iW y = iV . Seg
un el corolario 2.2.3,
= iW = iA(W ) = y tambien = iV = iA(V ) = . Hemos
mostrado que es un isomorfismo de algebras.
Recprocamente, si : A(W ) A(V ) es un isomorfismo de algebras, entonces
existe : A(V ) A(W ) tal que = iA(W ) y = iA(V ) . Seg
un el corolario
2.2.4, = = iW y = = iV , es decir, es un isomorfismo
polinomial de variedades.
Usando lenguaje de categoras y funtores (vease [15]), podemos resumir algunas
de las propiedades anteriores de la siguiente manera.
Corolario 2.2.6. La coleccion de variedades afines es una categora equivalente a
la categora de las algebras afines.
Demostracion. Sea K un cuerpo algebraicamente cerrado que fijamos. Sea V la coleccion de las variedades afines sobre K y sea M or (V, W ) el conjunto de los morfismos
polinomiales de V en W . Entonces V es una categora. Sea A la coleccion de K-algebras afines, es decir, algebras de la forma K[x1 , . . . , xn ]/I, con n 1 e I un ideal
primo de K[x1 , . . . , xn ] ( notemos que V (I) es una variedad no vaca, corolario 1.7.3,
e I = I(V (I))). Sea Hom(A(W ), A(V )) el conjunto de homomorfismos del algebra
afn A(W ) en el algebra afn A(V ). Entonces es claro que A es una categora.
Se tiene el funtor contravariante G : V A definido por G(V ) := A(V ),
G() := tal y como vimos en la demostracion del teorema 2.2.2. El corolario 2.2.5 dice que G es fiel y pleno. Ademas, dada A un algeba afn, entonces
A = K[x1 , . . . , xn ]/I, con I ideal primo de K[x1 , . . . , xn ], luego V (I) es una variedad
de An (K) y G(V (I)) = K[x1 , . . . , xn ]/I(V (I)) = K[x1 , . . . , xn ]/I. Esto demuestra
que el funtor G es representativo.
Presentamos a continuacion una proposicion que u
til para demostrar que un
conjunto algebraico es irreducible. El resultado es valido para cuerpos no necesariamente algebraicamente cerrados. Ademas, notemos que los morfismos polinomiales
pueden ser definidos entre conjuntos algebraicos no necesariamente irreducibles.
Proposici
on 2.2.7. Sea : V W un morfismo polinomial y sea X un subconjunto algebraico de W , donde W no necesariamente es irreducible. Entonces,
as, si es sobreyectivo y 1 (X)
1 (X) es un subconjunto algebraico de V . Adem
es irreducible, entonces X es irreducible.
33
34
35
es un isomorfismo entre V y G f , donde la proyeccion es la inversa. En efecto, sea
V = V (I),
donde I es un ideal radical de K[x1 , . . . , xn]. Probaremos inicialmente
que G f = V (I +hxn+1 f i). Sea (a1 , . . . , an+1 ) G f , entonces (a1 , . . . , an ) V
y an+1 = f (a1 , . . . , an ), por lo tanto g (a1 , . . . , an ) = 0 para cada g I y an+1
f (a1 , . . . , an ) = 0, luego h (a1 , . . . , an+1 ) = 0 para cada h I + hxn+1 f i, con lo
cual (a1 , . . . , an+1 ) V (I + hxn+1
f i). La inclusion recproca se prueba en forma
similar. Se tiene entonces que G f es algebraico. Definimos el morfismo polinomial
sobreyectivo
V
G f
(a1 , . . . , an ) 7 (a1 , . . . , an , f (a1 , . . . , an ))
Seg
un el la proposicion 2.2.7, G f es una variedad.
Consideremos ahora el morfismo proyeccion del ejercicio anterior:
An+1 (K)
An (K)
(a1 , . . . , an+1 ) 7 (a1 , . . . , an )
Podemos restringir este morfismo a G f obteniendo un morfismo polinomial
G f
V
de tal forma que = iV y = iG (f ) .
2.3.
Cambio de coordenadas
Dentro de los morfismos polinomiales del espacio afn se destacan los cambios de
coordenadas que estudiaremos en la presente seccion.
Definici
on 2.3.1. Un cambio afn de coordenadas sobre el espacio afn An (K)
es un morfismo polinomial biyectivo
: An (K) An (K)
definido por polinomios lineales
f1 := f10 + f11 x1 + + f1n xn , . . . , fn := fn0 + fn1 x1 + + fnn xn .
Algunas propiedades de los cambios afines de coordenadas son las siguientes.
Proposici
on 2.3.2. Sea un cambio afn de coordenadas. Entonces,
36
f11 f1n
.. .
F = ...
.
fn1 fnn
Notemos que mX (0 ) = F , entonces se puede definir matricialmente en la siguiente
forma:
(a1 . . . , an ) = [a1 an ] F T + [f10 fn0 ] .
De igual manera, si es otro cambio afn de coordenadas definido matricialmente
por
(a1 . . . , an ) = [a1 an ] H T + [h10 hn0 ] ,
37
f11 fn1
1
0
..
.. .. = .. .
.
. . .
f1n fnn
n
0
Pero sabemos que la matriz de este sistema es invertible (parte (ii)), luego i = 0
para cada 1 i n.
Ejemplo 2.3.3. Notemos que en la definicion de cambio de coordenadas no se
necesita que K sea un cuerpo algebraicamente cerrado. As pues, un cambio de
coordenadas en el plano real afn es por ejemplo
: A2 (R) A2 (R)
(x, y)
7
(2x 3y + 2, x + 7y 8)
38
39
0
1 p1 p2
a
p1
1 q1 q2 b = q10
1 r1 r2
c
r10
0
1 p1 p2
d
p2
1 q1 q2 e = q20 .
1 r 1 r2
f
r20
Si la matriz de coeficientes tiene inversa, entonces cada uno de los sistemas tiene
solucion u
nica y se puede construir. La matriz de coeficientes se puede transformar
por medio de operaciones elementales de fila en la matriz
1
p1
p2
A = 0 q1 p 1 q2 p 2 .
0 r1 p 1 r2 p 2
A tiene inversa si, y solo si, det(A) = (q1 p1 ) (r2 p2 ) (r1 p1 ) (q2 p2 ) 6= 0.
Supongamos que det(A) = 0, entonces
(q1 p1 ) (r2 p2 ) = (r1 p1 ) (q2 p2 )
(1)
r2 p 2
q2 p 2
=
= mRP
q1 p 1
r1 p 1
40
F :=
1
0
..
.
0
1
0
0
..
.
g1 g2 gn
g1
a
gn 1
+ +
gn1
an ),
gn
bi := ai para 1 i n 1.
Pero (b1 , . . . , bn ) V (g), es decir, V (xn ) (V (g)). Hemos pues demostrado que
(V (g)) = V (xn ). Por lo tanto tomamos := 1 , y el caso r = 1 esta probado. Sea V = V (g1 , . . . , gr ), con g1 , . . . , gr polinomios de grado 1. Entonces V =
V (g1 , . . . , gr1 ) V (gr ); por induccion existe un cambio afn de coordenadas tal
que 1 (V (g1 , . . . , gr1 )) = V (xm+1 , . . . , xn ). Se tiene entonces que
1 (V ) = 1 (V (g1 , . . . , gr1 )) 1 (V (gr )) = V (xm+1 , . . . , xn ) V (g 0 ),
donde g 0 es un polinomio de grado 1 (vease la parte (a)). Como vimos en el caso r = 1, existe un cambio de coordenadas tal que (V (g 0 )) = V (xn ). Notese
que (V (xm+1 , . . . , xn )) = V (xm+1 , . . . , xn ), luego 1 (V ) = V (xm+1 , . . . , xn ). Entonces, tomando := 1 se tiene que 1 (V ) = V (xm+1 , . . . , xn ).
41
(c) Probemos ahora que m en el literal (b) es independiente de . Se tendra entonces que V es isomorfo como variedad a Am (K), y se dira que m es la
dimensi
on de V . Sean , dos cambios afines de coordenadas tales que 1 (V ) =
V (xm+1 , . . . , xn ) y 1 (V ) = V (xs+1 , . . . , xn ). Entonces 1 (V (xm+1 , . . . , xn )) =
V (xs+1 , . . . , xn ). Sea := 1 , entonces 1 (V (xm+1 , . . . , xn )) = V (xs+1 , . . . , xn ).
Supongamos que m 6= s, digamos m < s. Sean f1 , . . . , fn los polinomios del cambio
afn . Se puede probar que los polinomios fm+1 , . . . , fn resultan linealmente dependientes (vease el ejercicio 6 del presente captulo), lo cual resulta contradictorio con
la proposicion 2.3.2, parte (v).
2.4.
0
En efecto, como = hg 0 , entonces gh0 hg 0
g(P )
Esto hace que fe(P ) := h(P
sea una definicion
)
g
h
h(P )
h (P )
0
42
g1 f1
1 1
gi A (V ) , 1 i r. Se tiene entonces fe =
con
r.
Veamos ahora que LP (V ) es local: consideremos el conjunto
1
g1 e
gr e
f + + h fr ,
h 1
g
MP (V ) := {fe = LP (V ) | g (P ) = 0}.
h
Notemos que si fe = pq entonces hg = pq , de donde gq = hp y de esta forma
(gq hp) (P ) = 0, pero como g (P ) = 0 y h (P ) 6= 0, entonces necesariamente
p (P ) = 0. MP (V ) es un ideal maximal de LP (V ). En efecto, es claro que LP (V )
es un ideal. Veamos ahora que MP (V ) = LP (V ) LP (V ) : si hg MP (V ) entonces g (P ) = 0, supongamos que hg es invertible, entonces existe pq LP (V ) tal
que hg pq = 11 , por lo tanto gp = hq y de esta forma (gp hq) (P ) = 0, pero como
g (P ) = 0, entonces h (P ) = 0 o q (P ) = 0, lo cual es falso. Recprocamente, supongamos que hg
/ LP (V ) pero hg
/ MP (V ), entonces g (P ) 6= 0 con lo cual hg LP (V )
y ademas hg hg = 11 , pero esto es una contradiccion.
Adicionalmente, consideremos la funcion evaluacion en el punto P :
LP (V ) K
g (P )
g
7
h (P )
h
Esta funcion esta bien definida ya que si
g
h
p
q
g(P )
)
gq hp I(V ), con lo cual (gq hp) (P ) = 0, es decir, h(P
= p(P
. Esta funcion
)
q(P )
es un homomorfismo sobreyectivo de anillos con n
ucleo MP (V ), por lo tanto, K
=
LP (V ) /MP (V ).
(ii) Sea fe = hg K(V ) y sea P(fe) su conjunto de polos, consideremos el conjunto
43
Notemos que Jfe es un ideal de K[x1 , . . . , xn ] que contiene a I(V ): Jfe es no vaco
ya que contiene a I(V ), sean p1 , p2 Jfe, entonces p1 fe, p2 fe A(V ), con lo cual
p1 + p2 Jfe. De igual manera, para cada u K[x1 , . . . , xn ] se tiene que up1 Jfe.
Probemos entonces que
P(fe) = V (Jfe).
En efecto, sea Q P(fe), entonces h (Q) = 0 para cada denominador h en la
representacion de fe. Sea p Jfe, entonces pfe A(V ), es decir, p hg = t A(V ), por
lo tanto, pg ht I(V ), luego p (Q) g (Q) = 0. Si p (Q) 6= 0, entonces hg = pt sera
otra representacion de fe pero en la cual fe si esta definida. Esto contradice el hecho
que Q P(fe), por lo tanto p (Q) = 0 y de esta forma Q V (Jfe). Recprocamente,
sea Q V (J e), entonces para cada p J e se tiene que p (Q) = 0, sea fe = g una
f
A
R
W 7 IV (W ) := I(W )/I(V ).
Seg
un establecimos, los irreducibles de V , es decir las subvariedades de V , van
en primos de A(V ) y los puntos en ideales maximales. Sabemos que A(V ) es un
subanillo de LP (V ). Sea Spec(LP (V )) la coleccion de primos de LP (V ) y sea SP
la coleccion de subvariedades de V que contienen al punto P . Definimos entonces la
funcion
e
Spec(LP (V ))
SP
J 7 1 (J A(V ))
44
45
f (MQ (W )) = MP (V ), y K (W ) = K(V ).
Demostracion. (i) Sea
:V W
(a1 , . . . , an ) 7 (f1 (a1 , . . . , an ) , . . . , fm (a1 , . . . , an )) .
Tenemos
: A(W ) A(V )
t 7 t (f1 , . . . , fm )
Definimos entonces
f : LQ (W ) LP (V )
t
t (f1 , . . . , fm )
7
.
g
g (f1 , . . . , fm )
Notemos que g (f1 , . . . , fm ) (P ) = g (f1 (P ) , . . . , fm (P )) = g ( (P )) = g (Q) 6= 0.
0
Veamos ahora que
f esta bien definida: si gt = gt 0 , entonces tg 0 gt0 I(W ), y
para cada punto R W se tiene que (tg 0 gt0 ) (R) = 0. De otra parte,
t0 (f
1 ,...,fm )
g 0 (f1 ,...,fm )
ya que
t (f1 , . . . , fm ) g 0 (f1 , . . . , fm ) g (f1 , . . . , fm ) t0 (f1 , . . . , fm ) =
(tg 0 gt0 ) (f1 , . . . , fm ) I(V ).
En efecto, si U V entonces (U ) W y
(tg 0 gt0 ) (f1 , . . . , fm ) (U ) = (tg 0 gt0 ) (f1 (U ) , . . . , fm (U ))
= (tg 0 gt0 ) ((U ))
= 0.
Es claro que
f es un homomorfismo de anillos.
Notemos que
f |A(W ) = . Sea otro homomorfismo de anillos
: LQ (W ) LP (V )
tal que |A(W ) = , y sea
t
g
t(f1 ,...,fm )
g(f1 ,...,fm )
46
t
g = (g) gt = 1t = t .
(t)
t(f1 ,...,fm )
t
Si (g) 6= 0, entonces, gt = (g) = g(f
=
f
g . Si (g) = 0 =
,...,f )
g t
1g
g
1
1 ,...,fm )
MP (V ). Esto muestra que
f (MQ (W )) MP (V ).
(iii) Veamos primero que si no es sobreyectivo, entonces no necesariamente
se puede extender a todo K(W ). Sea un homomorfismo de anillos de
K(W
)
g1
en K(V ) tal que su restriccion a A(W ) coincide con . Como antes, 1 g =
g1 g1 = (g) g1 = 11 = 1. Pero en este caso (g) = g (f1 , . . . , fm )
podra ser nulo sin que g sea nulo. Es decir, g (f1 , . . . , fm ) podra anularse en todos
los puntos de V para g
/ I(W ). Por tal razon, no siempre podramos extender
hasta K(V ).
Si es sobreyectivo, entonces se extiende de manera u
nica. En efecto, si g
es no nulo, entonces g
/ I (W ), es decir, existe R W tal que g (R) 6= 0, por ser
sobreyectivo existe S V tal que (S) = R. En consecuencia, g (f1 , . . . , fm ) (S) =
g ( (S)) = g (R) 6= 0, lo cual indica que g (f1 , . . . , fm ) 6= 0. De
forma, tal y como
esta
t(f1 ,...,fm )
(t)
= (g)
.
vimos antes, si extiende a , entonces necesariamente gt = g(f
1 ,...,fm )
(iv) Por el corolario 2.2.5 sabemos si es un isomorfismo de variedades, entonces
es un isomorfismo de algebras afines. En forma mas precisa, si 1 es el morfismo
inverso de definido por
1 : W V
(b1 , . . . , bm ) 7 (f10 (b1 , . . . , bm ) , . . . , fn0 (b1 , . . . , bm )) ,
con f10 . . . , fn0 K[y1 , . . . , ym ], entonces
1 : A(V ) A(W )
f 7 f (f10 , . . . , fn0 )
es el homomorfismo inverso de , es decir, 1 = 1 = iW = iA(W ) y
tambien 1 = 1 = iV = iA(V ) .
Para los anillos locales tenemos entonces
]
1 : LP (V ) LQ (W )
f (f10 , . . . , fn0 )
f
7
h
h (f10 , . . . , fn0 )
47
]
f
=
]
1
1
g
=
t (f1 , . . . , fm )
g (f1 , . . . , fm )
y
f
f
]
=
f
1
h
=
f (f10 , . . . , fn0 )
h (f10 , . . . , fn0 )
]
f
f
vimos hace un momento,
f es un isomorfismo con (
f )1 =
]
1 .
Corolario 2.4.6. Sea : An (K) An (K) un cambio afn de coordenadas, sean
P An (K) y Q = (P ). Entonces,
48
(i)
f : LQ (An (K)) LP (An (K)) es un isomorfismo.
(ii) Si V An (K) es una variedad y P V , entonces existe un isomorfismo,
tambien denotado por
f , de LQ ( (V )) en LP (V ) tal que
f (MQ ( (V ))) =
MP (V ).
Demostracion. (i) Basta repetir los razonamientos de la prueba del teorema anterior
pero teniendo en cuenta que en este caso A (An (K)) = K[x1 , . . . , xn ]/I (An (K)) =
K[x1 , . . . , xn ]/0 (ya que K es infinito por ser algebraicamente cerrado). Por tanto, A (An (K)) = K[x1 , . . . , xn ] y K (An (K)) = K (x1 , . . . , xn ) es el cuerpo de las
fracciones racionales. Para
f se tiene entonces en este caso
]
1 : LP (A (K)) LQ (A (K))
f
f (f10 , . . . , fn0 )
7
.
h
h (f10 , . . . , fn0 )
isomorfismo de variedades de V en (V ), V
(V ): en efecto, (V ) es algebraico ya
que 1 es tambien un morfismo polinomial y (1 )1 (V ) = (V ) (vease el corolario
2.2.8). Ademas, (V ) es una variedad ya que 1 ((V )) = V es una variedad. El
resto es aplicar la parte (iv) del teorema anterior.
2.5.
Ideales con un n
umero finito de ceros
r
Y
i=1
2.5. IDEALES CON UN NUMERO
FINITO DE CEROS
49
Demostracion. Sea Li := LPi (An (K)). Puesto que I (An (K)) = 0, entonces para la
situacion que estamos estudiando se tiene que A (An (K)) = K[x1 , . . . , xn ]. Esto hace
que los elementos de Li sean de la forma pq con q (Pi ) 6= 0. Se tiene un homomorfismo
natural bien definido de K-algebras dado por
: K[x1 , . . . , xn ]/I
r
Y
(Li /ILi )
i=1
fe 7
f
f
,...,
1
1
Veamos que ker () = 0: sea fe ker (), entonces para cada 1 i r se tiene
que f1 = 01 . Luego f1 ILi y f1 = a11 hg11 + + a1s hgss , donde los polinomios g1 , . . . , gs
no se anulan en Pi y a1 , . . . , as I. Racionalizando denominadores encontramos un
polinomio ui tal que f ui I y ui (Pi ) 6= 0. Es decir, por cada i hemos encontrado
un polinomio ui K[x1 , . . . , xn ] tal que
f ui I y ui (Pi ) 6= 0.
(2.5.1)
d
Tr a I, ademasTV
r
I = I (V (I)) = I ({P1 , . . . Pr }) = i=1 I ({Pi }) = i=1 Ii . Como ri=1 Ii es f.g.
T
d
existe entonces d 1 tal que ( ri=1 Ii ) I. En efecto, se tiene la siguiente
propiedad
general: sean I, J ideales de un anillo conmutativo S tales que J I, con J f.g,
entonces existe un d 1 tal que J d I: para cada generador zi de J existe un
di 1 tal que zidi I, si J = hz1 , . . . , zt i, entonces d := d1 + + dt satisface la
condicion pedida. Tambien se puede probar que
!d
r
r
\
\
Iid =
Ii .
(2.5.2)
i=1
i=1
50
(2.5.6)
51
+ +
ai ti ei
1 1 1
+ + +
ar tr er
1 1 1
ai ti ei
1 1 1
ai ti
1 1
ai
.
ui
52
2.6.
Ejercicios
Captulo 3
Propiedades locales de curvas
planas
El proposito central del presente captulo es estudiar los puntos singulares de una
curva plana y sus respectivas rectas tangentes.
3.1.
Puntos m
ultiples y rectas tangentes
= 2x, f
= 1, por lo tanto, no existe P tal que ambas derivadas parciales sean
y
nulas, es decir, f no tiene puntos singulares. Notemos que la recta tangente a f en
el punto P0 = (0, 0) es y = 0.
(b)
y 2 x3 + x = 0
53
54
f
x
= 3x2 + 1, f
= 2y, entonces f no tiene puntos singulares. Notemos que en el
y
punto P0 = (0, 0) la recta tangente a f es x = 0.
(c)
y 2 x3 = 0
f
x
= 3x2 , f
= 2y. Entonces el u
nico punto singular es P0 = (0, 0). En P0 la curva
y
f tiene dos rectas tangentes: y = 0, y = 0.
(d)
y2 x3 x2 = 0
f
x
= 3x2 2x, f
= 2y, entonces el u
nico punto singular es P0 = (0, 0). En P0 la
y
curva f tiene dos rectas tangentes y = x, y = x.
(e)
2
x2 + y 2 + 3x2 y y3 = 0
f
x
= 2 (x2 + y 2 ) 2x + 6xy, f
= 2 (x2 + y 2 ) 2y + 3x2 3y 2 . Sea P = (a, b) un punto
y
singular, entonces
4a a2 + b2 + 6ab = 0
(1)
4b a2 + b2 + 3a2 3b2 = 0
(2)
2
a2 + b2 + 3a2 b b3 = 0
(3)
Si a 6= 0, entonces de (1) se tiene que
2 a2 + b2 = 3b
(4)
3.1. PUNTOS MULTIPLES
Y RECTAS TANGENTES
55
Notemos que
P0 f mP0 (f ) 1.
Ademas,
P0 es un punto simple mP0 (f ) = 1.
En este caso la recta tangente a f en el punto P0 es de la forma f1 = ax + by.
Seg
un lo anterior,
P0 es un punto m
ultiple mP0 (f ) 2.
De esta forma, mP0 (f ) es un parametro de f portador de informacion sobre los
puntos singulares y las respectivas rectas tangentes.
Definici
on 3.1.4. Sea f = fm + fm+1 + + fd la descomposici
on de la curva f en
suma de polinomios homogeneos, y sea fm k[x, y] de grado m 2, factorizado en
un producto de polinomios lineales (posiblemente con multiplicidades) en la forma
fm = ps11 pst t .
Las rectas tangentes a f en P0 se definen por pi = 0 cada una con multiplicidad
si , 1 i t.
Proposici
on 3.1.5. Sea f = hr11 hrt t la descomposici
on de una curva plana f en
producto de factores irreducibles. Entonces,
mP0 (f ) = r1 mP0 (h1 ) + + rt mP0 (ht ) .
Demostracion. Evidente.
La idea ahora es ampliar la nociones de multiplicidad y rectas tangentes a puntos
P = (a, b) 6= (0, 0). Para esto consideremos el siguiente cambio afn de coordenadas
(una traslacion en este caso)
: A2 (K) A2 (K)
(x, y) 7 (x + a, y + b) .
Se tiene entonces que (P0 ) = P y (g) = f , donde g := f (x + a, y + b). En efecto,
sea Q := (x0 , y0 ) g, entonces g(Q) = f (x0 + a, y0 + b) = 0 y (Q) = (x0 +a, y0 +b),
es decir, (Q) f . As pues, (g) f . Recprocamente, sea Q := (x0 , y0 ) f ,
entonces f (Q) = f (x0 , y0 ) = 0 y (Q0 ) = (x0 , y0 ), con Q0 := (x0 a, y0 b) g, es
decir, f (g). Como P0 g = 1 (f ), se induce entonces la siguiente definicion.
Definici
on 3.1.6. Sea f una curva plana y P = (a, b) f , se define
mP (f ) := mP0 (g), donde g := f (x + a, y + b) .
56
Notemos que si
g = gm + gm+1 + + gd
entonces
mP (f ) = mP0 (g) = m.
Ademas, si gm = ps11 pst t , donde pi = ci x + qi y corresponde una tangente a g en P0 ,
entonces (pi ) = p0i , con p0i := ci (x a)+qi (y b). En efecto, sea Q := (x0 , y0 ) pi ,
entonces, ci x0 + qi y0 = 0 y (Q) = (x0 + a, y0 + b) p0i . As pues, (pi ) p0i .
Recprocamente, sea Q := (x0 , y0 ) p0i , entonces ci (x0 a) + qi (y0 b) = 0, es
decir, Q0 := (x0 a, y0 b) pi y ademas (Q0 ) = Q, luego p0i (pi ). Se definen
entonces las rectas tangentes a f en P = (a, b) por ci (x a) + qi (y b) = 0.
Finalmente, notemos que P es un punto simple de f si, y solo si, mP (f ) = 1. En
g
g
efecto, f
(P ) = x
(P0 ) y f
(P ) = y
(P0 ), luego P es un punto simple de f si, y solo
x
y
si, P0 es un punto simple de g si, y solo si, mP0 (g) = 1 si, y solo si, mP (f ) = 1.
3.2.
Proposici
on 3.2.2. Sean V una variedad no vaca de An (K), I = I (V ) y P V .
Sea J un ideal de K[x1 , . . . , xn ] que contiene a I. Sea J 0 = J/I la imagen de J en
A(V ). Entonces
LP (An (K)) /JLP (An (K))
= LP (V ) /J 0 LP (V ) .
En particular,
LP (An (K)) /ILP (An (K))
= LP (V ) .
Demostracion. La inclusion natural
V
An (K)
57
es un morfismo polinomial, y por lo tanto, induce el siguiente homomorfismo sobreyectivo entre los anillos locales correspondientes
LP (An (K)) LP (V )
h
h
7
p
p
Resulta entonces el homomorfismo sobreyectivo
LP (An (K)) LP (V )
LP (V ) /J 0 LP (V ) .
n
h
p
bh
p
=b
0, luego
h
h1 z1
hr zr
=
+ +
p
p1 1
pr 1
donde hpii LP (An (K)) y zi J, 1 i r. Se tiene entonces que (p1 pr ) h
p (h01 z1 + + h0r zr ) I J, luego (p1 pr ) h p (h01 z1 + + h0r zr ) = v J, esto
hace que (p1 pr ) h = w J, luego hp = pp1wpr = w1 pp11pr JLP (An (k)) ya que
(pp1 pr ) (P ) 6= 0.
Por el teorema de homomorfismo de anillos se tiene que
LP (An (K)) /JLP (An (K))
= LP (V ) /J 0 LP (V ).
El isomorfismo de la segunda parte se obtiene directamente de lo ya probado tomando J = I. Notemos finalmente que a traves de este isomorfismo, el maximal MP (V )
corresponde a MP (An (K))/ILP (An (K)).
Proposici
on 3.2.3. Sea I = hx, yi. Entonces para cada n 1
dimK (K[x, y]/I n ) = 1 + 2 + + n =
n(n+1)
.
2
58
59
y
1
0
1
h x1 i en LP (f ). En el segundo caso
f = y + (yg + x2 h),
con h K[x] y donde en g es nulo o todos los terminos son de grado 1. De esta
manera y(1 + g) + x2 h hf i = I (V (f )), luego y(1 + g) = x2 h en A (f ), puesto que
x2 h
xh
= x1 1+g
y de esta manera y1 h x1 i.
(1 + g) (P ) 6= 0, entonces y1 = 1+g
) Debemos demostrar que P es un punto simple de f . Supongamos que la
siguiente identidad es cierta para cada n mP (f ):
mP (f ) = dimK MP (f )n /MP (f )n+1
(3.2.2)
Entonces, como estamos suponiendo que LP (f ) es un DV D, podemos aplicar la
proposicion 3.2.4: K LP (f ), LP (f ) /MP (f )
= K y este isomorfismo se puede
establecer de la siguiente manera:
LP (f ) K
g (P )
g
7
h (P )
h
es un homomorfismo de anillos sobreyectivo bien definido y su n
ucleo es MP (f )
(vease tambien la demostracion del
teorema 2.4.3). Aplicando la proposicion 3.2.4
n
n+1
resulta dimK MP (f ) /MP (f )
= 1. Por la identidad (3.2.2) podemos concluir
que P es un punto simple de f .
Probemos entonces la identidad (3.2.2). La prueba la haremos en cuatro pasos.
60
th
1g
th
1g
(3.2.3)
= LP (f ) /I n LP (f ) .
Pero por lo probado en el paso 1 se tiene que
n
LP A2 (K) /hf, I n iLP A2 (K)
= LP (f ) /MP (f ) .
De esta manera hemos demostrado (3.2.3).
61
0 K[x, y]/I nm
K[x, y]/I n
K[x, y]/hf, I n i 0
donde es el homomorfismo natural y viene dado por (g) = f g. Estamos
asumiendo que n m. Resulta entonces
dimK (K[x, y]/I n ) = dimK K[x, y]/I nm + dimK (K[x, y]/hf, I n i)
es decir,
dimK (K[x, y]/hf, I n i) = dimK (K[x, y]/I n ) dimK K[x, y]/I nm
n (n + 1) (n m) (n m + 1)
=
2
2
m (m 1)
= nm
, con n m.
2
De (3.2.3) resulta
dimK (LP (f ) /MP (f )n ) = nm
m (m 1)
, con n m.
2
(3.2.4)
3.3.
Polinomio de Hilbert-Samuel
Definici
on 3.3.1. Sean V una variedad no vaca de Ar (K), P V y M el ideal
maximal del anillo local L := LP (V ). Entonces,
(n) := dimK (L/M n )
(3.3.1)
62
n (n + 1)
2
0+r1
1+r1
n1+r1
dimK (K[x1 , . . . , xr ]/I ) =
+
+ +
r1
r1
r1
n1
X k+r1
n+r1
=
=
r1
r
k=0
n
(n + r 1) (n + r 2) (n + r r) (n + r (r + 1))!
(n 1)!r!
(n + r 1) (n + r 2) n
=
r!
nr
=
+ terminos de grado < r.
r!
=
3.4. NUMERO
DE INTERSECCIONES
63
Proposici
on 3.3.3. En la definici
on 3.3.1 sea V = V (f ), donde f es un polinomio
irreducible de K[x1 , . . . , xr ] y sea P = (0, . . . , 0). Entonces, para n suficientemente
P (f )
grande, (n) es un polinomio de grado r 1 cuyo coeficiente principal es m
.
(r1)!
Demostracion. Al igual que en el paso 3 de la demostracion del teorema 3.2.5, se
tiene la siguiente sucesion exacta de K-espacios
0 K[x1 , . . . , xr ]/I nm K[x1 , . . . , xr ]/I n K[x1 , . . . , xr ]/hf, I n i 0,
donde I := hx1 , . . . , xr i. En forma similar a como vimos en el paso 2 de la demostracion del mencionado teorema, se tiene el isomorfismo
LP (f ) /MP (f )n
= K[x1 , . . . , xr ]/hI n , f i,
luego
dimK (LP (f ) /MP (f )n ) = dimk (K[x1 , . . . , xr ]/hI n , f i)
= dimK (K[x1 , . . . , xr ]/I n ) dimK K[x1 , . . . , xr ]/I nm .
Seg
un la demostracion de la proposicion anterior
r
n
n
dimK (L/M ) =
+ terminos de grado < r
r!
(n m)r
3.4.
N
umero de intersecciones
64
3.4. NUMERO
DE INTERSECCIONES
65
primer caso, f1 LP (A2 (K)) y de esta forma hf, gi = LP (A2 (K)). Esto indica que
I(P, f g) = dimK LP A2 (K) /hf, gi = 0.
La misma conclusion se obtiene si g (P ) 6= 0.
(v) ) Sea I (P, f g) = . Seg
un (iv), P f g. Supongamos contrariamente
que f y g no tienen factores irreducibles que pasen por P . Si f y g tienen un factor
irreducible com
un h pero no pasa por P , entonces h es un invertible de LP (A2 (K))
f g
y hf, gi = h h , h i. Por tal razon, f y g no tienen factores comunes irreducibles.
Luego, V (f, g) es finito (proposicion 1.6.1). Ademas, V (f, g) = V (hf, gi), y seg
un
el corolario 1.7.5, dimK (K[x, y]/hf, gi) < , pero P f g = V (f, g) y V (f, g) es
finito, entonces por el corolario 2.5.2
dimK (K[x, y]/hf, gi) dimK (LP (A2 (K)) /hf, gi) = I(P, f g).
Esto dice que I(P, f g) es finito, lo cual es una contradiccion.
) Supongamos ahora que f y g tienen un factor com
un irreducible h que pasa
por P , entonces hf, gi hhi, por lo tanto, se tiene un homomorfismo sobreyectivo
: LP A2 (K) /hf, gi LP A2 (K) /hhi,
de donde, dimK (LP (A2 (K)) /hf, gi) dimK (LP (A2 (K)) /hhi). Pero por la proposicion 3.2.2,
LP (A2 (K)) /hhi
= LP (h) A(h) = K[x, y]/hhi.
Luego, dimK (LP (A2 (K)) /hf, gi) dimK (K[x, y]/hhi). Pero seg
un la proposicion
1.4.2 V (hhi) es infinito, entonces dimK (K[x, y]/hhi) = (corolario corolario 1.7.5).
As, I(P, f g) = (que V (hhi) es infinito se puede probar tambien de la siguiente forma: como h es irreducible, entonces hhi es primo, y por lo tanto, V (hf i)
es irreducible no vaco. Entonces V (hhi) no puede ser finito, de lo contrario sera
reducible).
(vi) Teniendo en cuenta la simetra del problema y su caracter recurrente, basta
probar que I (P, f gh) = I (P, f g) + I (P, f h). Sin perdida de generalidad
podemos asumir que f y gh no tienen factores irreducibles comunes. Se tiene la
siguiente sucesion exacta
0 L/hf, hi
L/hf, ghi
L/hf, gi 0
donde L = LP (A2 (K)), se define por (z) := gz y (u) := u. En efecto, esta bien
definida ya que si z1 = z2 entonces z1 z2 hf, gi, de donde z1 z2 = af + bh, y
66
por lo tanto, gz1 gz2 = agf + bgh, con lo cual gz1 = gz2 en LP (A2 (K)) /hf, ghi.
De igual manera, como hf, ghi hf, gi entonces esta bien definido. Es claro
que y son homomorfismos de K-espacios. es inyectivo porque si z es tal que
(z) = gz = 0, entonces gz hf, ghi y gz = uf + vgh. Como z, u, v LP (A2 (K)),
entonces eliminando denominadores existe s K[x, y] tal que s (P ) 6= 0 y sz = c
K[x, y], su = a K[x, y], sv = b K[x, y]. Resulta, sgz = suf + svgh, es decir,
gc = af + bgh, o sea que g (c bh) = af . Esto quiere decir que f divide a g (c bh),
pero como f y g no tienen factores comunes, entonces f divide c bh, con lo cual
c bh = df . De esto se tiene que z = sc = bh+df
= sb h + ds f hf, gi, de donde z = 0.
s
Claramente es sobreyectivo. Veamos que Im () = ker (): ( (z)) = (gz) =
gz = 0. Tambien, si u ker (), entonces u = 0, con lo cual u hf, gi, es decir,
u = af + bg, y de esta forma b = bg = af + bg = u.
La exactitud de la sucesion implica que
dimK (L/hf, ghi) = dimK (L/hf, gi) + dimK (L/hf, hi)
es decir,
I (P, f gh) = I (P, f g) + I (P, f h) .
(vii) Sean m =: mP (f ) y n =: mP (g); si P
/ f g, entonces m = 0 o n = 0, y
tambien I (P, f g) = 0. Supongamos entonces que P f g y consideremos la
siguiente sucesion y diagrama de funciones:
2
2
LP (A (K)) /hf, gi
LP (A (K)) /hI n+m , f, gi 0
donde I := hx, yi, a, b := af + bg, (z) := zb, (b
z ) := bz1 , ht := bht . Veamos
que todas estas funciones estan bien definidas: si a1 = a2 y b1 = b2 entonces a1 a2
I n , b1 b2 I m , pero como m = mP (f ), entonces f I m y de igual forma g I n ,
por lo tanto, (a1 a2 ) f + (b1 b2 ) g I n+m , es decir, a1 f + b1 g = a2 f + b2 g. Si
z1 = z2 entonces z1 z2 I n+m < I n+m , f, g >, por lo tanto, zb1 = zb2 . La pruebas
para y son similares a esta u
ltima.
Es tambien evidente que estas funciones son K-lineales. Sea z Im (), entonces
\
z es de la forma z = af + bg y (z) = af + bg = af
+ bg = b
0; recprocamente,
n+m
0
si z ker (),
, f, gi, de donde z = z + af + bg, con z 0 I n+m ,
entonces z hI
0
luego a, b = af + bg = z + af + bg = z. Hemos probado que Im () = ker ().
es claramente sobreyectiva. Notemos que es tambien sobreyectiva. Esto prueba
que la fila superior es exacta.
Puesto que V (hI n+m , f, gi) = {P }, por el teorema 2.5.1 es un isomorfismo.
Con lo anterior se tiene lo siguiente:
dimK (K[x, y]/I n ) + dimK (K[x, y]/I m ) dimK (Im ()) = dimK (ker ()) .
3.4. NUMERO
DE INTERSECCIONES
67
Notemos que la igualdad anterior se cumple si, y solo si, es inyectiva. De otra
parte,
dimK K[x, y]/hI n+m , f, gi = dimK K[x, y]/I n+m dimK ker () .
Se obtiene entonces que
I (P, f g) = dimK LP A2 (K) /hf, gi
dimK LP A2 (K) /hI n+m , f, gi
= dimK K[x, y]/hI n+m , f, gi
dimK K[x, y]/I n+m dimK (K[x, y]/I n ) dimK (K[x, y]/I m )
(n + m) (n + m + 1) n (n + 1) m (m + 1)
=
2
2
2
= nm.
La igualdad se tiene si, y solo si, es inyectiva y dimK (LP (A2 (K)) /hf, gi) =
dimK (LP (A2 (K)) /hI n+m , f, gi). Esta u
ltima igualdad se cumple si, y solo si, es
un isomorfismo, es decir, si, y solo si, I n+m hf, gi en el anillo LP (A2 (K)).
La prueba de (vii) se completa con el siguiente lema.
Lema 3.4.3. (a) Sean f, g curvas planas las cuales no tienen tangentes comunes
en P . Entonces, en el anillo LP (A2 (K)) se tiene que I k hf, gi, para cada k
n + m 1, donde I = hx, yi, m = mP (f ) y n = mP (g).
(b) Con la notacion utilizada en la prueba del toerema, es inyectiva si, y s
olo
si, f y g no tienen tangentes comunes en P .
Prueba. Vease el lema de la seccion 3.3 de [4].
Podemos entonces completar la demostracion del teorema. Si la igualdad se
cumple, entonces es inyectiva y por la parte (b) del lema se tiene que f y g no tienen
tangentes comunes. Recprocamente, supongamos que que f y g no tienen tangentes
comunes, entonces por la parte (b) del lema se tiene que es inyectiva, y por la
parte (a), I k hf, gi en el anillo LP (A2 (K)) para cada k n+m1, en particular,
I n+m hf, gi, y en consecuencia se cumple la igualdad I (P, f g) = mn.
Teorema 3.4.4. Las siete propiedades del teorema 3.4.2 caracterizan unvocamente
al par
ametro I (P, f g). En otras palabras, si J (P, f g) es otro par
ametro con
las mismas siete propiedades, entonces J (P, f g) = I (P, f g).
Demostracion. Seg
un la propiedad (iii) podemos asumir que P = (0, 0). Seg
un la
propiedad (v) podemos suponer que f y g no tienen factores comunes que pasen por
P . Seg
un la propiedad (iv) podemos asumir que P f g. Seg
un la (vi) podemos
asumir que todos los factores irreducibles de f y de g pasan por P (aquellos factores
que no pasan por P no aportan en la sumatoria).
68
Supongamos por induccion que J (P, f g) = I (P, f g) para todas las curvas
f, g tales que J (P, f g) < n y sean f, g curvas tales que J (P, f g) = n. Consideremos los polinomios f (x, 0) , g (x, 0) K[x] con grados r s respectivamente.
En vista de la propiedad (i) no hay necesidad de considerar la opcion s < r. Se
presentan dos posibles casos.
Caso 1. r = 0: entonces f (x, 0) es la constante nula ya que f (0, 0) = 0. Esto
implica que f (x, y) = yh, con h K[x, y]. Por la propiedad (vi),
J (P, f g) = J (P, y g) + J (P, h g) .
Sea g (x, 0) = b0 xm + b1 xm+1 + + bsm xs = xm (b0 + b1 x + + bsm xsm ), con
b0 6= 0, entonces g (x, y) = g (x, 0) + ya, a K[x, y], y de esta manera
J (P, y g) = J (P, y g (x, 0))
= J P, y xm b0 + b1 x + + bsm xsm
donde la u
ltima igualdad se desprende de (vi) y (iv) (como b0 6= 0, entonces P no
anula a b0 + b1 x + + bsm xsm ). Seg
un (vii), J (P, y x) = 1, por lo tanto,
J (P, y g) = m.
Este mismo razonamiento, pero usando las propiedades de I, muestra que tambien
I (P, y g) = m. Por lo tanto,
n = J (P, f g) = J (P, y g) + J (P, h g) = I (P, y g) + J (P, h g) .
Ya que P y g, entonces m > 0, luego J (P, h g) < n, y por induccion
J (P, h g) = I (P, h g). Por lo tanto,
J (P, f g) = I (P, y g) + I (P, h g) = I(P, yh g) = I(P, f g).
Caso 2. r > 0: teniendo en cuenta (iv) y (vi), podemos multiplicar f y g por
constantes adecuadas de tal forma que f (x, 0) y g (x, 0) sean monicos. Sea
g 0 := g xsr f,
entonces J (P, f g 0 ) = J (P, f (g xsr f )) = J (P, f g), con gr (g 0 (x, 0)) =
0
s0 < s. Si r s0 podemos repetir este razonamiento: construimos g 00 := g 0 xs r
f,
00
00
0
00
0
s0 r
y entonces gr (g ) = s < s y ademas J (P, f g ) = J P, f g x f =
J (P, f g 0 ) = J (P, f g). Podemos continuar de esta manera (intercambiando f
y g , si es necesario, cuando s < r), hasta que alguna de las curvas c sea tal
69
3.4. NUMERO
DE INTERSECCIONES
que gr (c(x, 0)) = 0 y estaramos en el caso 1 ya probado. De esta forma, encontramos curvas a, b tales que J (P, f g) = J (P, a b) = I (P, a b). Pero a, b
fueron construidas a partir de f y g usando solamente las siete propiedades, entonces I (P, a b) = I (P, f g). Esto completa la prueba en el segundo caso, y por
lo tanto, la prueba total del teorema.
2
70
3.5.
Ejercicios
Captulo 4
El espacio proyectivo
En este captulo introducimos el espacio proyectivo a traves de un estudio paralelo
de las propiedades consideradas en los captulos 1 y 2. La mayora de las pruebas
de las afirmaciones son completamente analogas a las del caso afn. Se destaca la
version proyectiva del teorema de ceros de Hilbert.
4.1.
72
Los elementos de P 1 (K) son entonces clases de equivalencia, cada punto proyectivo
P = [x1 , x2 ] P 1 (K) es una clase de equivalencia, y de esta manera
P 1 (K) = {[x1 , x2 ] | (x1 , x2 ) A2 (K) 0}.
Sea [x1 , x2 ] P 1 (K); si x2 6= 0, entonces [x1 , x2 ] = [ xx21 , 1]; si x2 = 0, entonces x1 6= 0,
y en este caso [x1 , x2 ] = [1, 0]. Por lo tanto,
P 1 (K) = {[x,1] | x K} {[1, 0]}
73
= A2 (K) P 1 (K) .
Podemos entonces decir que el plano proyectivo P 2 (K) es union del plano afn
A2 (K) con una recta en el infinito, o tambien, que el plano proyectivo es union
del plano afn con la recta proyectiva.
Definici
on 4.1.1. El espacio proyectivo de dimensi
on n, P n (K), consta de
n+1
todas las rectas de A
(K) que pasan por el origen (0, . . . , 0) sin incluirlo:
P n (K) := {L | L es una recta de An+1 (K) que pasa por el origen sin incluirlo}.
Sea L una recta de P n (K), entonces
L = { (x1 , . . . , xn+1 ) | K 0},
donde (x1 , . . . , xn+1 ) es un punto no nulo de L.
P n (K) tambien se puede definir de la siguiente manera: definimos en An+1 (K)0
la relacion
(x1 , . . . , xn+1 ) x01 , . . . , x0n+1
(x1 , . . . , xn+1 ) y x01 , . . . , x0n+1 estan en la misma recta de An+1 (K)
que pasa por el origen x01 , . . . , x0n+1 = (x1 , . . . , xn+1 ) , K 0.
Se tiene entonces que
P n (K) = An+1 (K) 0/ ,
[x1 , . . . , xn+1 ] = { x01 , . . . , x0n+1 An+1 (K) 0 | (x1 , . . . , xn+1 ) x01 , . . . , x0n+1 }
= { (x1 , . . . , xn+1 ) | K 0}.
Los elementos de P n (K) son entonces clases de equivalencia, cada punto proyectivo
P = [x1 , . . . , xn+1 ] P n (K) es una clase de equivalencia, y de esta manera
P n (K) = {[x1 , . . . , xn+1 ] | (x1 , . . . , xn+1 ) An+1 (K) 0}.
x1
n
Sea [x1 , . . . , xn+1 ] P n (k); si xn+1 6= 0, [x1 , . . . , xn+1 ] = [ xn+1
, . . . , xxn+1
, 1]; si xn+1 =
0, [x1 , . . . , xn+1 ] = [x1 , . . . , xn , 0]. Por lo tanto,
= An (K) P n1 (K) .
74
Podemos entonces decir que el espacio proyectivo P n (K) es union del espacio afn
An (K) con el espacio proyectivo P n1 (K).
El conjunto {[x1 , . . . , xn , 0] | [x1 , . . . , xn ] P n1 (K)}
= P n1 (K) se acostumbra
tambien a denotar por H , y se denomina el hiperplano en el infinito, de tal
forma que tambien podemos escribir
P n (K)
= An (K) H .
Hay otra forma de descomponer el espacio proyectivo P n (K) como union de n + 1
espacios afines. En efecto, procedamos en forma recurrente como lo hicimos arriba.
n = 1: En P 1 (K) consideremos los conjuntos
U1 := {[x1 , x2 ] | x1 6= 0} = {[1, a2 ] | a2 K}
U2 := {[x1 , x2 ] | x2 6= 0} = {[a1 , 1] | a1 K}
Se tienen las funciones biyectivas
1 : A1 (K) U1
a2 7 [1, a2 ]
1
2 : A (K) U2
a2 7 [1, a2 ].
Luego
P 1 (K) = U1 U2
= A1 (K) A1 (K).
(4.1.1)
4.2.
75
Veremos a continuacion que los algebraicos del espacio proyectivo se definen en forma
natural y analoga a los algebraicos del caso afn. Probaremos ademas la version
proyectiva del teorema de ceros de Hilbert.
Definici
on 4.2.1. Sea f K[x1 , . . . , xn+1 ], decimos
que P = [a1 , . . . , an+1 ]
0
0
P n (K) es un cero
de
f
si
para
cada
a
,
.
.
.
,
a
1
n+1 [a1 , . . . , an+1 ] se tiene que
0
0
f a1 , . . . , an+1 = 0 , es decir,
f (a1 , . . . , an+1 ) = 0, para cada K 0.
Proposici
on 4.2.2. Sea f = fm + + fd K[x1 , . . . , xn+1 ] escrito como suma de
polinomios homogeneos, y sea P = [a1 , . . . , an+1 ] P n (K). Entonces, P un cero de
f si, y solo si, P es un cero de fi , para cada m i d. Adem
as, m 1.
Demostracion. Es claro que si P anula a cada componente homogenea de f entonces
P es un cero de f .
Para cada K 0 se tiene que
0 = f (a1 , . . . , an+1 )
= fm (a1 , . . . , an+1 ) + + fd (a1 , . . . , an+1 )
= m fm (a1 , . . . , an+1 ) + + d fd (a1 , . . . , an+1 )
= fm (a1 , . . . , an+1 ) + + dm fd (a1 , . . . , an+1 ) ,
luego fm (a1 , . . . , an+1 ) = 0 = = fd (a1 , . . . , an+1 ) (de lo contrario, la u
ltima
ecuacion tendra infinitas races). Pero para cada m i d se tiene que
fi (a1 , . . . , an+1 ) = i fi (a1 , . . . , an+1 ) = 0, para cada K 0,
es decir, P es un cero de fi , para cada m i d. Si m = 0, entonces f0 =
f0 (a1 , . . . , an+1 ) = 0, con lo cual f0 = 0. Esto completa la prueba.
Definici
on 4.2.3. Un algebraico (proyectivo) de P n (K) es el conjunto de ceros
de un subconjunto S de K[x1 , . . . , xn+1 ], y se denota por Vp (S). En otras palabras,
Vp (S) := {P P n (K) | f (P ) = 0 para cada f S}.
Veremos a continuacion que los algebraicos de P n (K) pueden ser generados por
ideales homogeneos en el sentido de la siguiente definicion.
Definici
on 4.2.4. Sea I un ideal de K[x1 , . . . , xn+1 ]. Se dice que I es homog
eneo
si para cada f = fm + + fd I se cumple que fi I , para cada m i d. El
ideal nulo es homogeneo.
76
Proposici
on 4.2.5. Sea I un ideal de K[x1 , . . . , xn+1 ]. I es homogeneo si, y s
olo si,
I es generado por un conjunto de polinomios homogeneos.
(i)
(i) Vp (I) = Vp
77
I
(ii) Vp ( I ) = Vp
= Vp (I )
78
4.3. VARIEDADES PROYECTIVAS Y ALGEBRAS
79
Vp (Ih ) = , luego C (Vp (Ih )) = C () = {(0, . . . , 0)}. Pero notemos que V (Ih )
C (Vp (Ih )). En efecto, basta repetir la prueba de la segunda parte de la proposicion
4.2.8: si V (Ih ) = , entonces no debemos probar nada. Sea (x1 , . . . , xn+1 ) V (Ih ),
entonces f (x1 . . . , xn+1 ) = 0 para cada f Ih . Si (x1 . . . , xn+1 ) = 0, entonces
(x1 , . . . , xn+1 ) C (Vp (Ih )). Sea (x1 , . . . , xn+1 ) 6= 0, sea f = f0 + f1 + + fd
Ih , entonces f0 , f1 , , fd Ih , con lo cual f0 (x1, . . . , xn+1 ) = 0 y de esta forma f0 = 0. Tambien, fi (x1 , . . . , xn+1 ) = 0 para 1 i d. Esto implica que
i fi (x1 , . . . , xn+1 ) = 0 = fi (x1 . . . , xn+1 ). Esto garantiza que f ([x1 , . . . , xn+1 ]) =
0, as, [x1 , . . . , xn+1 ] Vp (Ih ), con lo cual, (x1 , . . . , xn+1 ) C (Vp (Ih )).
Por lo anterior, V (Ih ) {(0, . . . , 0)}, pero como Ih es homogeneo y propio,
entonces (0, . . . , 0) V (Ih ), es decir, V (Ih ) = {(0, . . . , 0)}. A partir de estaigualdad obtenemos que I (V (Ih )) = I ({(0, . . . , 0)}) = hx1 , . . . , xn+1 i, es decir, Ih =
hx1 , . . . , xn+1 i.
Vp ( Ih ) = .
(ii) Sea Vp (Ih ) 6= , por la proposicion 4.2.16 C (Vp (Ih )) = V (Ih ), por lo tanto
I(C (Vp (Ih ))) = I(V (Ih ), y por la proposicion 4.2.14, Ih (Vp (Ih )) = I (V (Ih)). De la
version afn del teorema de ceros de Hilbert obtenemos que Ih (Vp (Ih )) = Ih .
Observaci
on 4.2.18. Si Vp (Ih ) = , entonces Ih (Vp (Ih )) = K[x1 , . . . , xn+1 ] (vease
el teorema 4.2.9, parte (x)).
4.3.
Variedades proyectivas y
algebras
Definici
on 4.3.1. Sea Vp P n (K) una variedad proyectiva no vaca y sea Ih (Vp )
su ideal primo homogeneo, se define el anillo de coordenadas homog
eneas de
la variedad Vp por
Ah (Vp ) := K[x1 , . . . , xn+1 ]/Ih (Vp ) .
Ah (Vp ) se denomina tambien el
algebra de la variedad proyectiva Vp . El cuerpo
de funciones homog
eneas de Vp es el cuerpo de fracciones de Ah (Vp ),
Kh (Vp ) := {
f
| f, g K[x1 , . . . , xn+1 ], g
/ Ih (Vp )}.
g
f
0
Kh (Vp ) | f, g son polinomios homogeneos del mismo grado} { }.
g
1
Observaci
on 4.3.2. En relacion con lo que vimos en la observacion 2.4.2 para el
caso afn, aqu en el caso proyectivo se tiene lo siguiente:
(i) Sea g un polinomio homogeneo y sea P = [a1 , . . . , an+1 ] P n (K), entonces
80
f (P )
g(P )
(a1 ,...,an+1 )
(a1 ,...,an+1 )
esta bien definida. En efecto, fg(a
= fg(a
para cada 6= 0. Es claro
1 ,...,an+1 )
1 ,...,an+1 )
que para polinomios no homogeneos o para polinomios homogeneos pero de diferente
grado, ze en P no esta bien definida.
(iii) Al igual que en el caso afn (vease el ejemplo 1.7.10), existe una correspondencia biyectiva entre las variedades proyectivas Wp Vp y los ideales primos
homogeneos de Ah (Vp ).
Proposici
on 4.3.3. Sea Vp P n (K) una variedad proyectiva no vaca. Entonces,
(i) K (Vp ) es un subcuerpo de Kh (Vp ).
(ii) K ( K (Vp ) ( Kh (Vp ), K ( Ah (Vp ) * K (Vp ) y se tiene el siguiente diagrama
K ,
&
K(Vp )
&
Ah (Vp ) , Kh (Vp )
+gf
K (Vp ), donde gr (f ) = d = gr (g) , gr (f 0 ) = d0 = gr (g 0 ). Entonces, fg + fg0 = f g gg
,
0
0
0
0
0
0
0
notemos que si f g + gf 6= 0, entonces gr (f g + gf ) = d + d = gr (gg ), con lo
0
0
cual fg + fg0 K (Vp ). Si f g 0 + gf 0 = 0, entonces fg + fg0 = gg0 0 = 01 K (Vp ). De igual
manera,
f f0
g g0
K (Vp ). Tambien,
1
1
K (Vp ), y si
f
g
lo cual fg K (Vp ) y fg fg = 11 .
(ii) Probemos ahora que K (Vp ) ( Kh (Vp ) y Ah (Vp ) * K (Vp ) : existe i tal
que xi
/ Ih (Vp ). En efecto,
p si xi Ih (Vp ) para cada 1 i n + 1, entonces
hx1 , . . . , xn+1 i Ih (Vp ) = Ih (Vp ), luego por el teorema 4.2.17, Vp (Ih (Vp )) = , es
decir, Vp = , lo cual es falso. Notemos que x1i Kh (Vp ), x1i
/ K(Vp ). En efecto,
si x1i K (Vp ), entonces x1i = fg , donde gr (f ) = d = gr (g), se tiene entonces que
xi g f Ih (Vp ), pero como Ih (Vp ) es homogeneo, entonces en particular f Ih (Vp ),
4.3. VARIEDADES PROYECTIVAS Y ALGEBRAS
81
f
g
f
K(Vp ) | g (P ) 6= 0}.
g
Proposici
on 4.3.5. Sea Vp P n (K) una variedad proyectiva no vaca. Entonces,
LP (Vp ) es un DI local de K(Vp ) que contiene a K y cuyo maximal es
MP (Vp ) = {
f
LP (Vp ) | f (P ) = 0}.
g
Adem
as, Ah (Vp ) * LP (Vp ) y se tiene el siguiente diagrama
K , LP (Vp ) , K(Vp )
&
Ah (Vp ) , Kh (Vp )
Demostracion. La prueba es como en la demostracion del teorema 2.4.3 y la dejamos
como ejercicio al lector. No podemos repetir la prueba del teorema 2.4.3 para intentar
demostrar que LP (Vp ) es noetheriano ya que en el caso proyectivo que nos ocupa
Ah (Vp ) * LP (Vp ).
Veamos ahora como definir los morfismos polinomiales homogeneos (proyectivos).
Sean Vp P n (K) y Wp P m (K) variedades proyectivas no vacas. Un morfismo
polinomial homogeneo debe ser una funcion
: Vp Wp
[a1 , . . . , an+1 ] 7 [f1 (a1 , . . . , an+1 ), . . . , fm+1 (a1 , . . . , an+1 )]
definida por medio de m + 1 polinomios homogeneos f1 , . . . , fm+1 K[x1 , . . . , xn+1 ]
del mismo grado d. En efecto, veamos un ejemplo en donde no todos los polinomios
son homogeneos:
: P 1 (K) P 1 (K)
[a1 , a2 ] 7 [a21 + a22 a1 , a21 ].
82
Entonces, [2, 0] = [1, 0], pero ([2, 0]) = [2, 4] 6= [0, 1] = ([1, 0]), es decir, no
esta bien definida. Consideremos otro ejemplo pero con polinomios homogeneos de
diferente grado:
: P 1 (K) P 1 (K)
[a1 , a2 ] 7 [a21 + a22 , a1 ].
Entonces, [2, 0] = [1, 0], pero ([2, 0]) = [4, 2] 6= [1, 1] = ([1, 0]).
Definici
on 4.3.6. Sean Vp P n (K) y Wp P m (K) dos variedades proyectivas no
vacas. Un morfismo polinomial homog
eneo es una funci
on
: Vp Wp
[a1 , . . . , an+1 ] 7 [f1 (a1 , . . . , an+1 ), . . . , fm+1 (a1 , . . . , an+1 )]
definida por medio de m + 1 polinomios homogeneos f1 , . . . , fm+1 K[x1 , . . . , xn+1 ]
del mismo grado d. Se dice que es un isomorfismo si existe un morfismo polinomial homogeneo : Wp Vp tal que = iWp y = iVp .
Proposici
on 4.3.7. Sea : Vp Wp un morfismo polinomial homogeneo definido
por medio de m+1 polinomios homogeneos f1 , . . . , fm+1 K[x1 , . . . , xn+1 ] del mismo
grado d. Entonces, induce los siguientes homomorfismos de anillo:
(i)
Ah (Wp )
Ah (Vp )
LQ (Wp )
LP (Vp )
t
h
t (f1 , . . . , fm+1 )
(ii) Si P Vp y (P ) = Q, entonces
t (f1 , . . . , fm+1 )
h (f1 , . . . , fm+1 )
t
h
K (Vp )
t (f1 , . . . , fm+1 )
h (f1 , . . . , fm+1 )
4.3. VARIEDADES PROYECTIVAS Y ALGEBRAS
83
Kh (Vp )
t
h
t (f1 , . . . , fm+1 )
h (f1 , . . . , fm+1 )
(Vp )
84
t
K ( (Vp ))
t
h
Kh ( (Vp ))
t
h
Ah (Vp )
t (f1 , . . . , fn+1 )
K (Vp )
t (f1 , . . . , fn+1 )
h (f1 , . . . , fn+1 )
Kh (Vp )
t (f1 , . . . , fn+1 )
h (f1 , . . . , fn+1 )
Si P Vp y (P ) = Q, entonces
LQ ( (Vp ))
t
h
LP (Vp )
t (f1 , . . . , fn+1 )
h (f1 , . . . , fn+1 )
es tambien un isomorfismo.
(iv) Sea Vp una variedad, entonces la restricci
on de a la variedad 1 (Vp ),
1 (Vp )
K (Vp )
f
g
Kh (Vp )
f
g
Vp
Ah 1 (Vp )
f (f1 , . . . , fn+1 )
K 1 (Vp )
f (f1 , . . . , fn+1 )
g (f1 , . . . , fn+1 )
Kh 1 (Vp )
f (f1 , . . . , fn+1 )
g (f1 , . . . , fn+1 )
85
Si P Vp y (Q) = P , entonces
LP (Vp )
f
g
LQ 1 (Vp )
f (f1 , . . . , fn+1 )
g (f1 , . . . , fn+1 )
es tambien un isomorfismo.
Demostracion. (i) Sea [a1 , . . . , an+1 ] 1 (Vp ), entonces ([a1 , . . . , an+1 ]) Vp =
Vp (Jh ), con Jh = hg (1) , . . . , g (r) i, donde g (i) es homogeneo de grado di , 1 i r.
Entonces, g (i) ([f1 (a1 . . . , an+1 ) , . . . , fn+1 (a1 . . . , an+1 )]) = 0, es decir, para cada 6=
0 se tiene que g (i) (f1 (a1 . . . , an+1 ) , . . . , fn+1 (a1 . . . , an+1 )) = 0, luego
g (i) (f1 (a1 . . . , an+1 ) , . . . , fn+1 (a1 . . . , an+1 )) = 0,
de donde, g (i) (f1 , . . . , fn+1 ) (a1 . . . , an+1 ) = 0 para cada 6= 0. Esto significa
que g (i) (f1 , . . . , fn+1 ) ([a1 . . . , an+1 ]) = 0 para cada
1 i r, luego [a1 , . . . , an+1 ]
(1)
(r)
Vp hg (f1 , . . . , fn+1 ) , . . . , g (f1 , . . . , fn+1 )i . Para establcer la otra contenencia
basta devolvernos (notemos que g (i) (f1 , . . . , fn+1 ) es tambien homogeneo de grado
di , 1 i r. ).
(ii) Sabemos por el literal anterior que 1 (Vp ) es un algebraico, sean V1 , V2
n
P (K) algebraicos tales que 1 (Vp ) = V1 V2 , entonces Vp = (1 (Vp )) =
(V1 ) (V2 ), pero como es un cambio homogeneo de coordenadas, entonces
1 es tambien un cambio homogeneo de coordenadas, y por el literal anterior,
1
(Vi ) = (1 ) (Vi ) es algebraico, i = 1, 2. Por lo tanto, (V1 ) = Vp o (V2 ) = Vp ,
es decir, V1 = 1 (Vp ) o V2 = 1 (Vp ). Esto muestra que 1 (Vp ) es una variedad.
El resto de la prueba es similar.
0
Notemos adicionalmente que si f10 , . . . , fn+1
son los polinomios homogeneos de
grado 1 que definen el cambio homogeneo de coordenadas 1 , entonces
1
0
0
(Vp ) = 1
(Vp ) = Vp hg (1) f10 , . . . , fn+1
, . . . , g (r) f10 , . . . , fn+1
i .
f
(iii) Seg
un vimos en la proposicion 4.3.3 ,
f y
f son homomorfismos bien
definidos. Pero como es biyectivo, entonces razonando como en el caso afn, es
decir, teniendo en cuenta que 1 es tambien un cambio homogeneo de coordenadas,
f
entonces ,
f y
f son isomorfismos.
(iv) Lo mismo que en (iii).
4.4.
86
87
d
r
xn+1 (f ) = xn+1 fd (x1 , . . . , xn ) + + xn+1 fr (x1 , . . . , xn ) = f .
Definici
on 4.4.3. Si I K[x1 , . . . , xn ] es un ideal, entonces su homogenizaci
on
se define por
I := hf | f Ii.
Si I K[x1 , . . . , xn+1 ] es un ideal, entonces se define su deshomogenizaci
on por
I := hf | f Ii.
Notemos que I es un ideal homogeneo de K[x1 , . . . , xn+1 ] ya que esta generado
por un conjunto de polinomios homogeneos.
Definici
on 4.4.4. Sean V An (K) un algebraico afn e I = I (V ) K[x1 , . . . , xn ].
Se define la homogenizaci
on de V como el algebraico proyectivo
V := Vp (I ) P n (K) .
Sea Vp P n (K) un algebraico proyectivo y sea Ih = Ih (Vp ) el ideal homogeneo
inducido. Se define la deshomogenizaci
on de Vp como el algebraico afn
(Vp ) := V ((Ih ) ) .
Se tienen las siguientes propiedades.
Teorema 4.4.5.
88
(i)
i
pero como fi = xdn+1
f0 + + fdi , entonces
(i)
(i)
89
90
91
92
(iv) del teorema 4.4.5, V es una variedad no vaca, con lo cual Ih (V ) es primo.
Definimos
Ah (V )
A (V )
de la siguiente manera: sea f Ah (V ) = K[x1 , . . . , xn+1 ]/Ih (V ), con V = Vp (I ),
entonces para f K[x1 , . . . , xn+1 ] y f K[x1 , . . . , xn ],
f := f .
Veamos que esta bien definido: si f = g, entonces f g Ih (V ), veamos que
f g I. Sea P V , entonces n+1 (P ) V , luego (f g) (n+1 (P )) = 0,
es decir, f (n+1 (P )) = g (n+1 (P )), luego, f ([a1 , . . . , an , 1]) = g ([a1 , . . . , an , 1]),
con P = (a1 , . . . , an ). Se tiene pues que f (a1 , . . . , an , 1) = g (a1 , . . . , an , 1), es decir,
f (a1 , . . . , an ) = g (a1 , . . . , an ), por lo tanto, f g I.
Las propiedades (ii) y (v) de la proposicion 4.4.2 muestran que es un homomorfismo de anillos (notemos que (1)
= 1 = 1). Ademas, es sobreyectivo ya que
si h K[x1 , . . . , xn ], entonces h = (h ) = h.
(ii) Definimos
ee
: K (V ) K (V )
f
f
7
g
g
En primer lugar recordemos que f y g son homogeneos del mismo grado. Veamos
e
ahora que e esta bien definido. Si g 6= 0, entonces g 6= 0. En efecto, si g = 0,
entonces g I = I (V ), entonces (g ) I . La idea es probar que g Ih (V ).
Sea Q V = Vp (I ), entonces g (Q) = xrn+1 (g ) (Q) = 0, donde xrn+1 es la mayor
0
potencia de xn+1 que divide a g. De otra parte, si fg = fg0 , entonces f g 0 gf 0
0
93
sea P =
(a1 , . . . , an ) V , resulta n+1 (P ) = [a1 , . . . , an , 1] V y por lo tanto
xrn+1 t (a1 , . . . , an , 1) = 0, de donde, t (a1 , . . . , an , 1) = 0 y (t ) (a1 , . . . , an ) = 0,
es decir, t (P ) = 0. Esto significa que t I = I(V ), lo cual es falso. Con lo anterior
s
(xsn+1 h )
x
h
e
=
obtenemos que xn+1
= ht .
r
n+1 t
(xrn+1 t )
ee
e
es inyectivo: supongamos que e fg = 01 , entonces fg = 01 , de donde, f = 0,
luego f I; pero tal y como vimos al principio de la prueba del presente numeral,
e
esto implica que f Ih (V ). Esto muestra que e es inyectivo.
(iii) Definimos
e : Ln+1 (P ) (V ) LP (V )
f
f
7
g
g
Notemos en primer lugar que si g (n+1 (P )) 6= 0, entonces g (P ) 6= 0. En efecto,
sea P = (a1 , . . . , an ) y supongamos que g (P ) = 0, sea g = h = h0 + h1 + + hd .
Entonces,
g (n+1 (P )) =xrn+1 (g ) ([a1 , . . . , an , 1])
=xrn+1 ([a1 , . . . , an , 1]) (g ) ([a1 , . . . , an , 1])
= (g ) ([a1 , . . . , an , 1])
= xdn+1 h0 + + hd ([a1 , . . . , an , 1])
=h0 (a1 , . . . , an ) + + hd (a1 , . . . , an )
=g (P )
=0,
lo cual es falso.
Como en (ii), e es un homomorfismo inyectivo de anillos bien definido.
s Resta
ver
xn+1 h
h
e
e
que es sobreyectivo. Vimos en (ii) que dado LP (V ) se tiene que r = h .
t
xrn+1 t
xn+1 t
4.5.
94
Proposici
on 4.5.1. Sean V An (K) y W Am (K) algebraicos afines, entonces
el producto cartesiano
V W := {(a1 , . . . , an ; b1 , . . . , bm ) | (a1 , . . . , an ) V y (b1 , . . . , bm ) W }
es un algebraico del espacio afn An+m (K). Se dice que V W es el producto
cartesiano de V y W .
Demostracion. Sabemos que V = V (I) y W = V (J), donde I es un ideal de
K[X] := K[x1 , . . . , xn ] y J es un ideal de K[Y ] := K[y1 , . . . , ym ]. Consideremos el
ideal H de K[X, Y ] := K[x1 , . . . , xn ; y1 , . . . , ym ] definido por H := hIi + hJi, donde
hIi, hJi son los ideales en K[X, Y ] generados por I, J, respectivamente (notemos
que se tienen las inyecciones canonicas de K[X] y K[Y ] en K[X, Y ]). Entonces,
V W = V (H).
En efecto, sea P = (a, b) = (a1 , . . . , an ; b1 , . . . , bm ) V W y sea h H, entonces
h = h1 f1 + + hr fs + h0i g1 + + h0s gs , con hi , h0j K[X, Y ] y fi I, gj J para
1 i r, 1 j s. Se tiene pues que
h (P ) = h1 (P ) f1 (P ) + + hr (P ) fs (P ) + h0i (P ) g1 (P ) + + h0s (P ) gs (P ) = 0,
es decir, V W V (H).
Recprocamente, sea P = (a, b) V (H), entonces dado f I se tiene que f H
y por lo tanto, f (P ) = f (a) = 0, es decir, a V (I) = V , de igual manera, b W ,
de donde, P V W , es decir, V (H) V W .
El producto anterior se puede extender tres o mas factores. Consideremos ahora
el caso proyectivo.
Definici
on 4.5.2. Sea f K[X, Y ], se dice que f es una biforma de grado (p, q), o
tambien que f es bihomog
eneo de grado (p, q), si f considerado como polinomio
de K[Y ][X] es homogeneo de grado p 0 y considerado como polinomio de K[X][Y ]
es homogeneo de grado q 0.
Ejemplo 4.5.3. f = 2x21 x2 y1 y2 + 3x1 x22 y12 4x31 y22 Q [x1 , x2 , y1 , y2 ] es bihomogeneo
de grado (3, 2). En efecto,
95
Proposici
on 4.5.4. Todo polinomio f K[X, Y ] se puede escribir de manera u
nica,
salvo sumando nulos, como una suma finita de polinomios bihomogeneos
f=
t
X
f(pi ,qi ) ,
i=1
96
grado (3, 2) .
Definici
on 4.5.6. Sea f K[X, Y ], se dice que P = [a, b] P n (K) Pm (K) es
un cero de f si f a01 , . . . , a0n+1 ; b01 , . . . , b0m = 0 para cada a01 , . . . , a0n+1 a =
[a1 , . . . , an ] y (b01 , . . . , b0m ) b = [b1 , . . . , bm ], es decir,
f (a1 , . . . , an+1 ; b1 , . . . , bm+1 ) = 0, para cada , K 0.
Pt
Proposici
on 4.5.7. Sea f =
i=1 f(pi ,qi ) K[X, Y ] escrito como suma de polinomios bihomogeneos, y sea P = [a, b] P n (K) P m (K). P es un cero de f si, y
s
olo si, P es un cero de f(i,j) , para cada 1 i t.
Demostracion. ) Para cada , K 0 se tiene que
0 = f (a1 , . . . , an+1 ; b1 , . . . , bm+1 )
r,s
X
=
f(i,j) (a1 , . . . , an+1 ; b1 , . . . , bm+1 )
i=0,j=0
r,s
i=0,j=0
97
Definici
on 4.5.8. Un algebraico (biproyectivo) de P n (K) P m (K) es el conjunto de ceros de un subconjunto S de K[X, Y ], y se denota por Vb (S). En otras
palabras,
Vb (S) := {P P n (K) P m (K) | f (P ) = 0 para cada f S}.
Veremos enseguida que los algebraicos de P n (K) P m (K) pueden ser generados
por ideales bihomogeneos en el sentido de la siguiente definicion.
Definici
on 4.5.9.
eneo si
Pt Sea I un ideal de K[X, Y ]. Se dice que I es bihomog
para cada f = i=1 f(pi ,qi ) I se cumple que f(pi ,qi ) I , para cada 1 i t.
Proposici
on 4.5.10. Sea I un ideal de K[X, Y ]. I es bihomogeneo si, y s
olo si, I
es generado por un conjunto de polinomios bihomogeneos.
Demostracion. ) Sea I = hf (1) , . . . , f (r) i un ideal bihomogeneo, donde f (j) =
Ptj
(j)
(j)
ij =1 f(pi ,qi ) , entonces f(pi ,qi ) I para cada ij y cada j, en consecuencia I =
j
j
j
j
(j)
hf p ,q | 1 ij tj , 1 j ri.
( ij ij )
) De manera similar a como vimos en la prueba de la proposicion 4.2.5, el
ideal I se puede generar por un conjunto finito de polinomios bihomogeneos, I =
(s)
hf (1) , . . . , fP
i, donde cada f (v) es bihomogeneo de grado (pv , qv ), 1 v s. Sea f
I, con f = tu=1 f(pu ,qu ) escrito como suma de polinomios bihomogeneos comenzando
desde (0, 0) hasta (d1 , d2 ) tal como vimos en la prueba de la proposicion 4.5.4. Existen
entonces polinomios g (1) , . . . , g (s) K[X, Y ] tales que f = g (1) f (1) + + g (s) f (s) .
Pt
(j)
Sea g (j) = ijj =1 g p ,q , con 1 j s. Entonces,
( ij ij )
!
!
t1
t
ts
X
X
X
(1)
(s)
f=
f(pu ,qu ) =
g p ,q
f (1) + +
g(pi ,qi ) f (s) ,
s
s
( i1 i1 )
u=1
i1 =1
ir =1
luego f(p1 ,q1 ) hf (1) , . . . , f (s) i I. Resulta, f f(p1 ,q1 ) I y podemos repetir este
razonamiento para f f(p1 ,q1 ) y obtenemos que f(p2 ,q2 ) I. Por recurrencia se tiene
que f(pu ,qu ) I para cada 1 u t.
Corolario 4.5.11. Todo algebraico de P n (K)P m (K) es de la forma Vb (Ib ), donde
Ib es un ideal bihomogeneo de K[X, Y ].
Demostracion. Sea Vb = Vb (S) un algebraico de P n (K) P m (K), entonces Vb =
Vb (hSi). Si S es vaco, entonces Vb = Vb (0) = K[X, Y ], y 0 es un ideal bihomogeneo
Pt
(j)
de K[X, Y ]. Sea S no vaco, y sea hSi = hf (1) , . . . , f (s) i con f (j) = ijj =1 f p ,q ,
( ij ij )
con 1 j s. Entonces,
98
Vp = Vp
(j)
hf p ,q
( ij ij )
| 1 ij tj , 1 j ri .
Definici
on 4.5.12. Sea X P n (K) P m (k), se define
Ib (X) := {f K[X, Y ] | f (P ) = 0 para cada P X}.
Proposici
on 4.5.13. Ib (X) es un ideal bihomogeneo.
P
Demostracion. Sea f Ib (X) con f = ti=1 f(pi ,qi ) , entonoces para cada P X se
tiene que f (P ) = 0, y por la proposicion 4.5.7 tenemos que f(pi ,qi ) (P ) = 0 para cada
1 i t, es decir, f(pi ,qi ) Ib (X).
Definici
on 4.5.14. X P n (K) P m (k) es irreducible si para cada par de
algebraicos V1 , V2 de P n (K) P m (k) se tiene que
X = V1 V2 X = V1
o X = V2 .
Un algebraico irreducible de P n (K) P m (k) se dice tambien que es una variedad
biproyectiva.
Se tiene el siguiente resultado.
Teorema 4.5.15. Sea Vb un algebraico de P n (K) P m (K). Entonces,
Vb es irreducible no vaco Ib (Vb ) es un ideal primo de K[X, Y ].
Demostracion. Se deja como ejercicio al lector.
Este teorema permite definir los siguientes anillos.
Definici
on 4.5.16. Sea Vb una variedad no vaca, entonces
Ab (Vb ) := K[X, Y ]/Ib (Vb )
es un DI y se denomina el anillo de coordenadas bihomog
eneas de la variedad
Vb . El cuerpo de fracciones de Ab (Vb ) se denota por Kb (Vb ) y se denomina cuerpo
de funciones bihomog
eneas de la variedad Vb . De igual manera, se define
K (Vb ) := {
f
Kb (Vb ) | f, g son polinomios bihomogeneos del mismo grado},
g
f
K (Vb ) | f (P ) 6= 0},
g
99
4.6. EJERCICIOS
4.6.
Ejercicios
0B
B
Ah (Vp ) 0,
donde (g) := f g y es el homomorfismo canonico.
(ii) Demuestre que si d > n, entonces
dimK ({g Ah (Vp )|g es homogeneo de grado d} {0}) = dn
n(n3)
.
2
100
Captulo 5
Curvas planas proyectivas
El presente captulo corresponde a la version proyectiva de las propiedades estudiadas en el captulo 3. Asumimos nuevamente que K es un cuerpo algebraicamente cerrado.
5.1.
Definiciones
Definici
on 5.1.1. Sean f, g dos polinomios homogeneos no constantes de K[x, y, z],
se dice que f g si existe K {0} tal que g = f . La relaci
on es de
equivalencia y la clase de f sera denotada tambien por f , es decir,
f = {f | K {0}.
Se dice que f es una curva plana proyectiva, su grado es el grado de f . Se dice
que la curva es irreducible si f es irreducible.
Definici
on 5.1.2. Sea f (x, y, z) una curva plana proyectiva y sea P P 2 (K), se
define la multiplicidad de f en P de la siguiente manera:
(i) Si P = [p1 , p2 , 1], entonces mP (f ) := mP 0 (f ), donde P 0 = (p1 , p2 ).
(ii) Si P = [p1 , 1, 0], entonces mP (f ) := mQ (g), donde g := f (x, z, y) y Q =
[p1 , 0, 1].
(iii) Si P = [1, 0, 0], entonces mP (f ) := mQ (g), donde g := f (z, y, x) y Q =
[0, 0, 1].
Notemos que la parte (ii) de la definicion anterior obedece al cambio proyectivo
de coordenadas : P 2 (K) P 2 (K) gobernado por la matriz
1 0 0
F = 0 0 1
0 1 0
101
102
Es decir, los polinomios homogeneos de grado 1 que gobiernan esta matriz son
f1 = x, f2 = z, f3 = y. Ademas notemos que (Q) = P . En efecto, (Q) =
[p1 , 0, 1]F T = P .
Para la parte (iii) el cambio proyectivo de coordenadas es gobernado por la
matriz
0 0 1
G= 0 1 0
1 0 0
y por tanto, por los polinomios f1 = z, f2 = y, f3 = x. Ademas notemos que (Q) =
P . En efecto, (Q) = [0, 0, 1]GT = P .
Proposici
on 5.1.3. Sea P = [p1 , p2 , p3 ] P 2 (K) y : P 2 (K) P 2 (K) un cambio
proyectivo de coordenadas definido por los polinomios lineales fi = ci1 x + ci2 y + ci3 z,
1 i 3. Sea Q P 2 (K) tal que (Q) = P , entonces
mQ (f (f1 , f2 , f3 )) = mP (f ) .
Demostracion. La prueba se realiza siguiendo las ideas del caso afn y la dejamos
como ejercicio a los lectores.
Proposici
on 5.1.4. Sea f es una curva plana proyectiva y sea P = [a1 , a2 , a3 ]
2
P (K). Entonces,
P f mP (f ) 1.
Demostracion. Consideremos los tres casos posibles.
(i) Sea P = [a1 , a2 , 1]. Notemos que P f P 0 = (p1 , p2 ) f . En efecto, si P
f , entonces f (P ) = 0, luego f (P 0 ) = 0. Recprocamente, si f (P 0 ) = 0, entonces
z r (f ) = f , de donde z r (f ) (P ) = z r (P ) (f ) (P ) = (f ) (P ) = f (P 0 ) = 0.
Entonces, P f P 0 f mP 0 (f ) 1 mP (f ) 1.
(ii) Sea P = [p1 , 1, 0], entonces P f Q g, donde g = f (x, z, y) y Q =
[p1 , 0, 1]. Seg
un (i), Q g mQ (g) 1, pero mQ (g) = mP (f ), luego P f
mP (f ) 1.
(iii) Sea P = [1, 0, 0], entonces P f Q g, donde g = f (z, y, x) y Q =
[0, 0, 1]. Seg
un (i), Q g mQ (g) 1, pero mQ (g) = mP (f ), luego P f
mP (f ) 1.
Proposici
on 5.1.5. Sea f es una curva plana proyectiva irreducible.
(i) Si P = [a1 , a2 , 1] f , entonces LP (f )
= LP 0 (f ), donde P 0 = (a1 , a2 ).
(ii) Si P = [p1 , 1, 0], entonces LP (f )
= LQ (g), donde g = f (x, z, y) y Q =
[p1 , 0, 1].
(iii) Si P = [1, 0, 0], entonces LP (f )
= LQ (g), donde g = f (z, y, x) y Q = [0, 0, 1].
5.1. DEFINICIONES
103
2
2
2
d 1, recordemos que K (A (K))
= K (A (K)) = K (P (K)) y el isomorfismo
viene dado por
f
f
.
g
g
En particular, si g = z, entonces zfd LP (P 2 (K)), y mediante el isomorfismo se
tiene que
f
f
f
d = .
d
z
(z )
1
Notemos entonces que
P 0 = (x, y).
f
1
104
Definici
on 5.1.7. Sean f y g dos curvas planas proyectivas y sea P = [x, y, 1]
2
P (K), definimos el n
umero de intersecciones de f y g en el punto P por
I (P, f g) := dimK (LP (P 2 (K)) /hf , g i).
Notemos que Vp (z) = {[a1 , a2 , 0] | a1, a2 K no son simultaneamente nulos}, es
decir, Vp (z) = P 1 (K) es la recta en el infinito, es decir, el polinomio homogeneo
z define la recta en el infinito. Si en zfd cambiamos z por cualquier polinomio homogeneo h de grado 1 que no contenga a P = [x, y, 1], entonces en LP (P 2 (K)) se
d
d
tiene que hfd = hz zfd , pero hz es un elemento invertible, luego en la definicion de
I (P, f g) se puede cambiar f por cualquier elemento de la forma hfd , esto mismo
vale para g .
Proposici
on 5.1.8. I (P, f g) tiene las siguientes propiedades:
(i) I (P, f g) = I (P, g f ).
(ii) I (P, f (g + hf )) = I (P, f g), con h K[x, y, z] homogeneo y gr (h) =
gr (g) gr (f ).
(iii) Sea : P 2 (K) P 2 (K) un cambio proyectivo de coordenadas tal que (Q) =
P . Entonces, I (P, f g) = I (Q, 1 (f ) 1 (g)). Por lo tanto, se puede
asumir sin perdida de generalidad que P = [a1 , a2 , 1].
(iv) I (P, f g) = 0 P
/ f g.
(v) I (P, f g) = f y g tienen al menos un factor irreducible com
un que
pase por P . Por lo tanto, I (P, f g) es un entero no negativo si, y s
olo si, f
y g no tienen factores comunes irreducibles que pasen por P .
(vi) Si f = f1r1 ftrt es una factorizaci
on de f y g = g1s1 glsl es una factorizaci
on
de g, entonces
t P
l
P
I (P, f g) =
ri sj I (P, fi gj ) .
i=1j=1
5.2.
105
Proposici
on 5.2.1. Existe una correspondencia biyectiva entre las curvas planas
d(d+3)
proyectivas de P 2 (K) de grado d 1 y el espacio proyectivo P 2 (K).
Demostracion. Sea f una curva plana proyectiva de grado d 1, entonces f es una
suma de terminos de la forma (a,b,c) xa y b z c , donde (a,b,c) K y a, b, c son enteros
no negativos tales que a + b + c = d. La cantidad de monomios M de la forma
M = xa y b z c es (d+1)(d+2)
. Para un f dado, no necesariamente todos los coeficientes
2
(a,b,c) son distintos de cero pero tambien no todos son nulos. Sea n = (d+1)(d+2)
,
2
n
entonces cada f P
determina un juego de coeficientes (1 , . . . , n ) A (K) de tal
n
forma que f =
i=1 i Mi . Puesto que f es una curva proyectiva, entonces para
cada 6= 0 en K se tiene que f = f , luego a f le asignamos el punto proyectivo
[1 , . . . , n ] P n1 (K).
n1
Recprocamente, dado
(K) construimos el poliPnun elemento [1 , . . . , n ] P
nomio homogeneo f = i=1 i Mi , el cual es de grado d. Finalmente notemos que
n 1 = d(d+3)
.
2
Ejemplo 5.2.2. (i) Si d = 1, entonces las rectas de P 2 (K) conforman P 2 (K).
Recordemos que una recta en P 2 (K) es un polinomio homogeneo de grado 1, el cual
se puede visualizar en A3 (K) como como todas las rectas contenidas en un plano
que pasa por el origen.
(ii) Si d = 2, entonces las conicas ax2 + by 2 + cz 2 + dxy + exz + f yz conforman
a P 5 (K).
(iii) Si d = 3, entonces las c
ubicas conforman a P 9 (K).
(iv) Si d = 4, entonces las cuarticas conforman a P 14 (K).
Proposici
on 5.2.3. Sea P 2 (K) el plano proyectivo.
(i) Sea P P 2 (K). El conjunto de curvas de P 2 (K) de grado d 1 que contienen
d(d+3)
al punto P conforman un hiperplano de P 2 (K).
(ii) Si : P 2 (K) P 2 (K) es un cambio proyectivo de coordenadas mediante los
polinomios homogeneos f1 , f2 , f3 de grado 1, entonces la funci
on
{Curvas de grado d}
{Curvas de grado d}
f 7 f (f1 , f2 , f3 )
es un cambio proyectivo de coordenadas de P
d(d+3)
2
(K).
Demostracion. (i) Sea P = [p1 , p2 , p3 ] P 2 (K) y sea f una curva plana que pasa
P
d(d+3)
por P , entonces f = ni=1 i Mi , donde [1 , . . . , n ] P 2 (K). Entonces, f (P ) =
106
Pn
]
pertenece
al
hiperplano
1
n
i=1 Mi (P ) yi , entonces
Pn
2
f = i=1 i Mi es una curva plana deP
grado d en P (K) que pasa por el punto P .
(ii) Sabemos que una curva f = ni=1 i Mi de P 2 (K) de grado d es un punto
d(d+3)
de P 2 (K) identificado por [1 , . . . , n ]; notemos que f (f1 , f2 , f3 ) es tambien una
d(d+3)
curva plana de grado de d, es decir, es un punto del espacio proyectivo P 2 (K).
P
d(d+3)
Mas exactamente, f (f1 , f2 , f3 ) = ni=1 i Mi (f1 , f2 , f3 ) P 2 (K). Sean
i=1
d(d+3)
2
d(d+3)
d(d+3)
P 2 (K)
P 2 (K)
[1 , . . . , n ] 7 [h1 (1 , . . . , n ) , . . . , hn (1 , . . . , n )].
P
Se P
tiene ([1 , . . . , n ]) = ni=1 i Mi (f1 , f2 , f3 ), luego el coeficiente de Mi (x, y, z)
en ni=1 i Mi (f1 , f2 , f3 ) debe ser hi (1 , . . . , n ). Comparando coeficientes se pueden
calcular los polinomios hi , los cuales van a depender de cij .
es biyectivo y su inverso viene dado por
f 7 f (f10 , f20 , f30 )
donde f10 , f20 , f30 son los polinomios que definen 1 .
Corolario 5.2.4. Sea P 2 (K) el plano proyectivo.
(i) Sean P1 , . . . , Pr puntos distintos en P 2 (K). Entonces, el conjunto de curvas
proyectivas de grado d 1 que pasan por estos puntos constituyen una subvard(d+3)
iedad lineal de P 2 (K) (una subvariedad lineal proyectiva es el conjunto
de ceros de un conjunto finito de polinomios homogeneos de grado 1).
(ii) Sea P P 2 (K) y sea r d + 1. El conjunto de curvas f de P 2 (K) de grado
d tales que mP (f ) r constituyen una subvariedad lineal VP con dimensi
on
r(r+1)
d(d+3)
2 .
2
Demostracion. (i) Seg
un (i) de la proposicon 5.2.3, el conjunto de curvas de grado
d(d+3)
2
d en P (K) que pasan por Pi constituyen un hiperplano Vp (hi ) de P 2 (K). Por
5.3. TEOREMA DE BEZOUT
107
tanto, el conjunto de curvas proyectivas de grado d en P 2 (K) que pasan por los
puntos P1 , . . . , Pr viene dado por Vp (h1 ) Vp (hr ) = Vp (h1 , . . . , hr ).
(ii) Puesto que un cambio proyectivo de coordenadas de P 2 (K) induce un cambio
d(d+3)
proyectivo de coordenadas en P 2 (K), y como ademas la multiplicidad de una
curva es invariante
cambios, entonces se puede asumir que P =
Pdmediante tales
di
[0, 0, 1]. Sea f = i=0 fi (x, y) z , donde fi (x, y) es homogeneo de grado i, una
curva proyectiva de P 2 (K) tal que mP (f ) r. Recordemos que cada curva de estas
d(d+3)
es un punto de P 2 (K).
P Notemos entonces que mP (f ) r es equivalente a que
m(0,0) (f ) r, pero f = i fi (x, y), luego mP (f ) r f0 = = fr1 = 0, pero
esto es equivalente a que los coeficientes de todos los monomios xi y j z k en f sean nulos
para i + j r 1. Pero la cantidad de tales coeficientes es 1 + 2 + 3 + + r = r(r+1)
.
2
As pues, la dimension de la subvariedad Vp , como espacio vectorial sobre K, es
d(d+3)
r(r+1)
.
2
2
5.3.
Teorema de B
ezout
108
109
p 1 q1
p 2 q2
=
a
b
.
110
I (P, f g) = mn.
P f g
Demostracion. Seg
un el literal (iv) de la proposicion 5.1.8, si f, g son dos curvas planas proyectivas de P 2 (K) y P P 2 (K) es tal que P
/ f g, entonces
I (P, f g) = 0. Por lo tanto, para puntos P
/ Vp (f, g) el ndice I (P, f g) = 0, y en
la suma del enunciado del teorema solo se deben considerar puntos de f g. Ademas,
seg
un la proposicion 5.3.1, f P
g = Vp (f, g) es finito, digamos Vp (f, g) = {P1 , . . . , Pt }
(si Vp (f, g) es vaco entonces P f g I (P, f g) = 0 y el teorema de Bezout sera
falso ya que m y n son no nulos).
Seg
un la proposicion 5.3.3, existe una recta L en P 2 (K) que no pasa por los
puntos de Vp (f, g); mediante un cambio proyectivo de coordenadas podemos asumir
que L = z (la recta en el infinito). As pues, podemos asumir que todos los puntos
de Vp (f, g) no estan en la recta z, y por lo tanto, tienen tercera coordenada igual a
1. Se tiene pues que
X
I (P, f g) =
P f g
t
X
I (Pi , f g)
i=1
t
X
dimK LPi P 2 (K) /hf , g i .
i=1
111
I (P, f g) =
P P 2 (K)
t
X
dimK LPi0 A2 (K) /hf , g i
i=1
0R
RR
R
A 0,
donde (r) := (gr, f r), (a, b) := af + bg y es el homomorfismo canonico. Es
claro que es inyectivo; tambien = 0, es decir, Im () ker (). Si (a, b)
ker () entonces af = bg, pero como
f y g no tienen componentes comunes se
a
debe tener que g | a, de donde g = (a, b). As, ker () Im () y en conclusion
Im () = ker (). Tambien, Im() = ker(). Como es sobre, entonces la sucesion
resulta exacta.
Si restringimos la sucesion a las formas que se indican a continuacion
0 Rdmn
Rdm Rdn
Rd
Ad 0
(5.3.1)
entonces esta u
ltima sucesion es tambien una sucesion exacta de K-espacios vectoriales. Resulta entonces que
dimK (Ad ) = dimK (Rd ) dimK (Rdm Rdn ) + dimK (Rdmn )
(d + 1) (d + 2) (d m + 1) (d m + 2) (d n + 1) (d n + 2)
=
2
2
2
(d m n + 1) (d m n + 2)
2
= mn.
Paso 2. Veamos que la funcion
:AA
h 7 zh
112
p
p1
h0 + +hp K[x, y] K[x, y, z], entonces h = z h0 +z h1 + +hp es homogeneo
de grado p; si p d, entonces z 0 h es homogeneo de grado p = d + (p d), es decir,
en este caso q = 0 y r = p d 0; si p < d, entonces z dp h es homogeneo de grado
d, es decir, en este caso q = d p 0 y r = 0. Se tiene entonces
que z q h Ad+r ,
Pmn
q
z h = i=1 i z r ai ; existen
con lo cual existen escalares i , 1 i mn tales que
P
mn
q
r
entonces polinomios
Resulta,
i z ai + bf +
Pmn b, c K[x, y, z] tales que z h = i=1
Pmn
Pcg.
mn
q
(z h ) = h = i=1 i ai + b f + c g , con lo cual, h = i=1 i ai = i=1 i a0i .
Para terminar veamos
a01 , . . . , a0mn son linealmente
Pque
Pmn independientes: sean i ,
mn
0
1 i mn tales que i=1 i ai = 0, entonces
( i=1 i ai ) = bf + cg , donde
Pmn
u
v
w
b, c K[x, y]. Existen u, v, w 0 tales que z ( i=1 P
ease la
i ai ) = z b f + z c g (v
mn
u
proposicion 4.4.2, numeral (vi)); de aqu se tiene que i=1 i z ai = 0 en Ad+u , pero
como z u a1 , . . . , z u amn son linealmente independientes, entonces cada i = 0. Esto
5.4. EJERCICIOS
113
I (Pi , f g) = mn
i=1
t
X
i=1
t
X
mPi (f ) mPi (g) > mn, luego por el corolario 5.3.5, f y g tienen
i=1
5.4.
Ejercicios
114
f f
, ,
x y
o,
f
z
6= 0.
Captulo 6
Topologa de Zariski, haces y
esquemas
El proposito central del presente captulo es introducir los elementos necesarios para
definir la nocion abstracta y general de esquema. Esto se hara a traves del lenguaje
de la topologa de Zariski de un anillo conmutativo, los prehaces y los haces.
6.1.
Sea R un anillo conmutativo arbitrario y sea Spec(R) la coleccion de todos los ideales
primos de R. En esta seccion presentamos la topologa de Zariski para Spec(R) y
la relacionaremos con las topologas de Zariski de An (K) y P n (K) que vimos en los
captulos precedentes. Necesitamos como preliminares algunos hechos elementales
de anillos conmutativos (veanse [11] y [14]). Salvo que se advierta lo contrario, en
adelante R denotara un anillo conmutativo.
Proposici
on 6.1.1. Los idempotentes de R/rad(R) pueden ser levantados, es decir,
si e es un idempotente de R/rad(R), entonces existe u R idempotente tal que
e = u.
Demostracion. e e2 rad(R), luego existe n 1 tal que (e e2 )n = 0. Si n = 1
hemos terminado. Sea n 2. Entonces,
P
P
0 = (e + (e2 ))n = nk=0 nk enk (e2 )k = nk=0 nk enk (1)k (e2 )k =
Pn
P
n
k
n+k
= en + nk=1 nk (1)k (e)n+k =
k=0 k (1) (e)
P
P
en + nk=1 nk (1)k1 (1)ek1 en+1 = en en+1 nk=1 nk (1)k1 ek1 = en en+1 t,
P
con t := nk=1 nk (1)k1 ek1 . Resulta, en = en+1 t. Sea u := en tn , entonces u =
en tn = en+1 ttn = en+1 tn+1 = = e2n t2n = u2 , es decir, u es idempotente. Notemos
115
116
(i) V () = Spec(R).
(ii) V (R) = .
p
(iii) V (S) = V (hSi) = V ( hSi), para cada S R. As, V (I) = V ( I), para cada
ideal I de R.
P
(iv) V (I ) = V ( I ) = V ( I ), donde {I } es una colecci
on no
vaca de ideales de R.
(v) V (I1 ) V (I2 ) = V (I1 I2 ) = V (I1 I2 ), donde I1 , I2 son ideales de R.
(vi) (Spec(R), V) es un espacio topol
ogico definido por cerrados y se conoce como
el espectro primo del anillo R.La topologa correspondiente se denomina la
topologa de Zariski.
117
(xviii) Sean R
T
U homomorfismos de anillos. Entonces, (gf ) = f g e
118
119
120
f (Spec(T )), entonces de la hipotesis se tiene que Spec(R) = V (ker(f )), es decir, ker(f ) rad(R). Recprocamente, si ker(f ) rad(R), entonces Spec(R) =
V (ker(f )), es decir, f (Spec(T )) = Spec(R), lo cual indica que f (Spec(T )) es denso en Spec(R).
(xxiii) (a)(b): Supongamos que Spec(R) no es conexo, entonces Spec(R) =
V (I) V (J), con V (I) V (J) = , V (I), V (J) 6= . Consideremos dos casos.
Caso 1. rad(R) = 0. Se tiene entonces que Spec(R) = V (I J), luego I J = 0.
Ademas, = V (I)V (J) = V (I J), por lo tanto, hI Ji = I +J = R. Del teorema
chino de residuos (vease [11]) obtenemos R = R/(I J)
= R/I R/J (notese que
I, J son propios ya que V (I), V (J) 6= ).
Caso 2. Consideremos el anillo cociente R0 := R/rad(R). Seg
un (xxi), Spec(R0 )
121
tampoco es conexo. Puesto que rad(R0 ) = 0, entonces, tal como vimos en el caso 1, se
tiene que R0
= R10 R20 . Sea e R0 correspondiente al idempotente (1, 0) R10 R20 .
Notemos que e es idempotente no trivial de R0 . Seg
un la proposicion 6.1.1 existe
u R idempotente tal que u = e. Es claro que u 6= 0, 1 y ademas R
= uR(1u)R.
Observemos que uR es un anillo con identidad u, de igual manera (1 u)R es un
anillo con identidad 1 u.
(b)(c): Sea R
= R1 R2 . Entonces (1, 0) es un idempotente no trivial de
R1 R2 , luego R tiene idempotentes no triviales.
(c)(a): Sea e 6= 0, 1 un idempotente de R. Entonces e(1 e) = 0 P para cada
P Spec(R). Resulta {e} P , o, {1 e} P , es decir, P V (e), o, P V (1 e).
Esto significa que Spec(R) = V (e) V (1 e). Ademas, V (e) V (1 e) = (de lo
contrario existira P primo tal que e, 1 e P , es decir, 1 P ). Esto prueba que
Spec(R) no es conexo.
(xxiv) Consecuencia directa de (xxiii) si se tiene en cuenta que los u
nicos idempotentes de un anillo local son los triviales.
(xxv) Recordemos (vease [11]) que los ideales primos de RS 1 son de la forma
1
P S , donde P es un ideal primo de P tal que P S = . Entonces, seg
un el numeral
(xvii), : Spec(RS 1 ) Spec(R), definida por (P S 1 ) = 1 (P S 1 ) = P , es
una funcion continua con imagen Spec(R)S := {P Spec(R)|P S = }. Tambien
sabemos que : Spec(RS 1 ) Spec(R)S es biyectiva. Veamos que la inversa
: Spec(R)S Spec(RS 1 ) de es tambien continua. Tenemos que (P ) = P S 1 ;
sea X as un abierto basico de Spec(RS 1 ), entonces 1 (X as ) = Xa Spec(R)S . Para
esto probemos que (X as ) = Xa Spec(R)S : En primer lugar observemos que
X as = X a1 para cada s S. Sea P S 1 Spec(RS 1 ) tal que a1
/ P S 1 , entonces
1
1
1
a
/ P y (P S ) = (P S ) = P , es decir, P Xa Spec(R)S . Recprocamente,
si P Xa Spec(R)S , entonces a1
/ P S 1 y (P S 1 ) = P , es decir, P (X a1 ).
Esto completa la prueba ya que una base de Spec(R)S es {Xa Spec(R)S |a R}.
Para la segunda afirmacion recordemos que (vease [11]) para Rb el sistema S es
k
{b |k 0} , luego Spec(R)S = Xb . Por u
ltimo, si b
/ rad(R), entonces de (xiii) se
obtiene que Xb es compacto; si b rad(R), entonces Xb = es compacto.
Consideremos ahora algunas propiedades de separacion y su conexion con propiedades de tipo algebraico.
Definici
on 6.1.6. Un espacio topol
ogico W es T1 si dados dos puntos distintos
x, y W existen abiertos U, V tales que x U, y
/ U, x
/ V, y V . Adem
as, se
dice que W es Hausdorff si dados x, y W distintos, existen abiertos U, V tales
que x U, y V con U V = .
Proposici
on 6.1.7. Un espacio topol
ogico W es T1 si, y s
olo si, para cada punto
x W se tiene que {x} = {x}.
122
123
Ejemplo 6.1.10. (i) Notese que Spec(Z) = {hpi|p es primo} {0}. Puesto que
primos y maximales no coinciden, entonces Spec(Z) no es T1 . En general, si R es un
DIP , entonces Spec(R) = {hpi|p es irreducible} {0}, luego Spec(R) no es T1 . En
particular, si K es un cuerpo, entonces Spec(K[x]) no es T1 .
(ii) Sea K un cuerpo, entonces para cada n 1, Spec(K[x1 , . . . , xn ]) no es T1 ya
que 0 es primo pero no es maximal.
(iii) De los ejemplos anteriores se puede notar que si R es un DI que no es un
cuerpo, entonces Spec(R) no es T1 ya que 0 es primo no maximal.
(iv) Sea n 2, entonces Spec(Zn ) = {hpi|p es primo y p|n}. Entonces en este
caso primos y maximales coinciden (vease [11]), por lo tanto Spec(Zn ) es T1 , luego
Hausdorff.
(v) Sea R semisimple, es decir, un producto finito de cuerpos (vease [14]), entonces primos y maximales coinciden, por lo tanto Spec(R) es T1 , luego Hausdorff.
Ejemplo 6.1.11. Sea f una curva plana irreducible de A2 (K) y sea P f un punto
simple. Entonces Spec(LP (f )) tiene solo dos puntos, el cero y el ideal maximal de
LP (f ): En efecto, seg
un el teorema 3.2.5, LP (f ) es un DV D, esto hace que los
ideales no nulos de LP (f ) sean principales y de la forma htn i, con t el generador de
MP (f ) y n 0 (vease la demostracion del teorema 1.1.7). Notese que el u
nico ideal
primo no nulo se obtiene con n = 1. As pues, los primos de LP (f ) son 0 y MP (f ).
As pues, LP (f ) no es T1 . Las msimas conclusiones podemos sacar para el caso de
una curva plana proyectiva (vease el corolario 5.1.6). De otra parte, y de manera
mas general, si V es una variedad no vaca de An (K), entonces la descripcion de
Spec(LP (V )) esta dada, seg
un el teorema 2.4.4, en terminos geometricos a traves de
las subvariedades no vacas de V que contienen el punto P .
6.2.
Espacios noetherianos
Definici
on 6.2.1. Un espacio topol
ogico X es noetheriano si cada cadena ascendente de conjuntos abiertos se estabiliza.
Notemos que la condicion anterior es equivalente a que cada cadena descendente
de cerrados se estabiliza. Esta u
ltima condicion es equivalente a que en cada coleccion
no vaca de cerrados hay elemento minimal.
Teorema 6.2.2. Si R es noetheriano, entonces Spec(R) es noetheriano.
Demostracion. Consideremos una cadena descendente de cerrados de Spec(R),
V (I1 ) V (I2 )
En R se tiene entonces la cadena ascendente de ideales
J1 J2 , con Jk := I1 + + Ik , k 1.
124
125
Proposici
on 6.2.6. Sea K un cuerpo algebraicamente cerrado. Entonces, para cada
n 1, M ax(K[x1 , . . . , xn ]) y An (K) son espacios homeomorfos.
Demostracion. De acuerdo con el corolario 1.7.3 se tiene la siguiente correspondencia
biyectiva
M ax(K[x1 , . . . , xn ])
An (K)
(a1 , . . . , an ) 7 hx1 a1 , . . . , xn an i
Probemos que y 1 son continuas. Veamos primero que 1 es continua. Sea
V (S)c un abierto no vaco de An (K), demostremos que (V (S)c ) = X(S) M , con
M := M ax(K[x1 , . . . , xn ]). Sea (a1 , . . . , an ) V (S)c , entonces (a1 , . . . , an )
/ V (S).
Existe un polinomio f S tal que f (a1 , . . . , an ) 6= 0, ademas, (a1 , . . . , an ) =
hx1 a1 , . . . , xn an i := P . Sabemos que P es maximal, y notemos que P X(S)
ya que f
/ P . Hemos probado que (V (S)c ) X(S) M . Recprocamente, sea
P un ideal maximal en X(S), entonces S * P y por lo tanto existe un polinomio
f S tal que f
/ P . Sabemos que cada maximal de K[x1 , . . . , xn ] es de la forma
P = hx1 a1 , . . . , xn an i, para alg
un (a1 , . . . , an ) An (K) (vease la demostracion
del corolario 1.7.3), ademas (a1 , . . . , an ) = P . Pero el punto (a1 , . . . , an ) V (S)c
ya que f (a1 , . . . , an ) 6= 0 (si suponemos lo contrario, entonces f P , vease la
demostracion de la parte (x) del teorema 1.3.2 ). As pues, P (V (S)c ) y hemos
demostrado la igualdad (V (S)c ) = X(S) M . Esta igualdad indica que V (S)c =
1 (X(S) M ), lo cual demuestra que es tambien continua.
Proposici
on 6.2.7. Sea K un cuerpo. Entonces An (K) y P n (K) son espacios noetherianos.
Demostracion. La propiedad para An (K) se puede establecer al menos de dos formas: del corolario 6.2.4 y de la proposicion 6.2.6 (usando que K es algebraicamente
cerrado), o tambien, de manera directa, de la proposicion 1.5.5 (sin usar que K es
algebraicamente cerrado).
Para P n (K) podemos tambien hacer al menos dos pruebas. Consideremos una
cadena descendente de algebraicos proyectivos
(1)
(2)
Vp (Ih ) Vp (Ih ) ,
resulta entonces
(1)
(2)
(1)
Ih
(2)
Ih
(n)
es decir,
126
finita de espacios noetherianos es un espacio noetheriano y entonces aplicar la descomposicion (4.1.1). Para esta prueba no usamos que K es algebraicamente cerrado
(la sola definicion de P n (K) no requiere dicha condicion).
La siguiente propiedad generaliza los teoremas 1.5.6 y 4.2.12 a espacios noetherianos arbitrarios.
Proposici
on 6.2.8. Sea X un espacio noetheriano. Entonces existen cerrados irreducibles X1 , X2 , . . . , Xm X tales que X = X1 Xm , con Xi * Xj para
i 6= j. Esta descomposicion es u
nica salvo el orden. Los cerrados Xi se denominan
las componentes irreducibles de X.
Demostracion. La prueba del teorema 1.5.6 se puede repetir cambiando algebraico
por cerrado.
Observaci
on 6.2.9. Para un espacio topologico arbitrario X es tambien posible
definir sus componentes irreducibles. En efecto, una componente irreducible de
X es un elemento maximal en la coleccion de irreducibles de X (un subconjunto
X 0 de X es irreducible si X 0 con la topologa inducida es un espacio irreducible).
Se puede probar que una componente irreducible es un conjunto cerrado. Ademas,
mediante el lema de Zorn, es posible establecer que cada subconjunto irreducible de
X esta contenido en una componente irreducible, y, puesto que cada subconjunto
unitario {x} de X es irreducible, entonces X es union (no necesariamente finita) de
sus componentes irreducibles.
Terminamos esta seccion con un ejemplo de espacio topologico noetheriano asociado a un anillo graduado (vease [17]).
Ejemplo 6.2.10. Sea R un anillo, recordemos que R se dice graduado si posee una
familia de subgrupos {Rk }kZ de su grupo aditivo R+ que satisface las siguientes
condiciones:
(i) Rk Rl Rk+l , para cualesquiera k, l Z.
P
(ii) R = kZ Rk .
Para k Z, Rk se denomina la componente homog
enea de grado k y los elementos de Rk se dice que son homog
eneos de grado k. La familia P
{Rk }kZ se
denomina una graduaci
on de R. Si Rk = 0 para k < 0, es decir, R = kN Rk ,
se dice que R es un anillo graduado positivamente. Sea K un cuerpo, si R es
una K-algebra, se dice que R es graduada si ademas de las condiciones anteriores
se tiene que Rk es un K-subespacio de R.
Un ejemplo clasico de algebra graduada es K[x1 , . . . , xn ] con graduacion positiva
K[x1 , . . . , xn ]k := {f K[x1 , . . . , xn ]|f es homogeneo de grado k}, k 0.
DE ESPACIOS Y ANILLOS
6.3. DIMENSION
127
6.3.
Dimensi
on de espacios y anillos
(6.3.1)
128
(6.3.2)
129
DE ESPACIOS Y ANILLOS
6.3. DIMENSION
): Seg
un (iii), dim(Y ) dim(X). Supongamos que dim(Y ) dim(X), entonces dim(Y ) = dim(X). Como Y 6= X, entonces considerando cualquier cadena
para Y , y teniendo en cuenta que X es cerrado e irreducible con dimension finita,
tendramos que dim(X) > dim(Y ).
Pasamos ahora a establecer la relacion entre la dimension de una variedad afn
(proyectiva) y la dimension de Krull del algebra afn (homogenea) correspondiente.
Para esto comencemos recordando la nocion de dimension de Krull de un anillo
conmutativo R ([17]). La dimensi
on de Krull de R, denotada dim(R), es el
supremo de las longitudes n de todas las cadenas de la forma
P0 ( P 1 ( ( Pn ,
(6.3.3)
130
no vacos de Spec(R),
In1
I1
I0 . En efecto,
en R la cadena de ideales primos In
I
,
con
lo
cual
x
I
,
es
decir,
x
Ii1 . Por
i
i1
u
ltimo, si Ii = Ii1 , entonces V (Ii ) = V ( Ii ) = V ( Ii1 ) = V (Ii1 ). Lo anterior
demuestra que dim(Spec(R)) dim(R).
(ii) Esto es evidente ya que los primos de R/rad(R) son de la forma P/rad(R),
con P primo de R.
(iii) Por definicion, dim(I) = dim(R/I), luego dim(I) = dim(Spec(R/I)) =
dim(V (I)).
(iv) Cada cadena de ideales primos P0
P1
Pn = P induce la cadena
de cerrados, irreducibles no vacos V (P ) = V (Pn ) ( V (Pn1 ) ( ( V (P0 ), luego
h(P ) codimSpec(R) V (P ). Recprocamente, si V (P )
V (I1 )
V (In ) es
una cadena de cerrados irreducibles
no
vac
os,
entonces,
tal
como
vimos
en
(i), se
I1
P = P , por lo tanto,
codimSpec(R) V (P ) h(P ).
Para la segunda igualdad, basta recordar que los primos de RP son de la forma
QRP , donde Q es un primo de R tal que Q P , con lo cual h(P ) = dim(RP ).
(v) Consecuencia directa de (iv), (iii), (i) y de (6.3.2).
(vi) De (v) y (iv) resulta dim(RM ) dim(R), luego sup{dim(RM )}M M ax(R)
dim(R). Sea P un ideal primo, entonces existe M maximal tal que P M . Esto
implica que h(P ) h(M ) = dim(RM ), pero dim(R) = sup{h(P )}P Spec(R) , de
donde, dim(R) sup{dimRM }M M ax(R) .
Podemos ya calcular la dimension de variedades afines y proyectivas.
Teorema 6.3.5. Sea K un cuerpo algebraicamente cerrado.
(i) Sea V una variedad no vaca de An (K). Entonces,
dim(V ) = dim(A(V )).
(ii) Sea Vp una variedad proyectiva no vaca de P n (K). Entonces,
dim(Vp ) = dim(P roj(Ah (Vp ))).
131
Demostracion. (i) Esto es consecuencia del ejemplo 1.7.10 ya que a una cadena de
cerrados, irreducibles no vacos de V corresponde una cadena de primos de A(V ), y
viceversa.
(ii) Notese que no podemos aplicar la observacion 4.3.2 (iii) ya que en Ah (Vp ))
no podemos considerar todos los primos sino solamente los homogeneos, en otras
palabras, dim(Vp ) 6= dim(Ah (Vp ))). Sin embargo, tal como vimos al final del ejemplo 6.2.10, existe una correspondencia biyectiva entre P roj(Ah (Vp )) y las subvariedades no vacas de Vp , ademas, la topologa de P roj(Ah (Vp )) es la inducida de
Spec(Ah (Vp )), por lo tanto, dim(Vp ) = dim(P roj(Ah (Vp ))).
6.4.
Prehaces y haces
En esta seccion definimos las nociones de prehaz y haz sobre un especio topologico
arbitrario X y estudiaremos estas construcciones en dos casos particulares, a saber:
cuando X = Spec(R), con R un anillo conmutativo arbitrario, y en el caso en que
X = V es una variedad afn o proyectiva no vaca.
Definici
on 6.4.1. Sea X un espacio topol
ogico. Un prehaz F sobre X se define
por:
(i) A cada abierto U X se le asocia un conjunto F(U ). F() es unitario.
(ii) A cada par de abiertos U V de X se asocia una funci
on FUV : F(V ) F(U )
que satisface las siguientes condiciones:
(a) FUU = iF (U ) , para cada abierto U de X.
(b) Para cualesquiera abiertos U V W de X se tiene que FUW = FUV FVW
Los conjuntos F(U ) se denominan las secciones del prehaz F.
Si los conjuntos F(U ) son grupos, anillos o modulos, etc., se asume ademas que
las funciones FUV son homomorfismos de esas estructuras y F() := {0}. Si F es
un prehaz sobre X y U X es un abierto, entonces sobre U se induce de manera
natural una estructura de prehaz, denotada por F|U , tal que F|U (V ) := F(V ), para
0
0
cada abierto V U , y (F|U )VV := FVV , con V V 0 U .
Usando el lenguaje de las categoras y funtores (vease [15]) un prehaz se puede
interpretar como un funtor contravariante: en efecto, si X es un espacio topologico,
sea X la categora cuyos objetos son todos los abiertos de X y M orX (U, V ) es vaco
si U * V , y es unitario con u
nico elemento la inclusion si U V . De esta manera,
F es un funtor contravariante de la categora X en la categora de los conjuntos
(grupos, anillos, modulos, etc.).
Sea R un anillo conmutativo, queremos ahora definir una estructura de prehaz R
para Spec(R). Comenzamos asumiendo que R es un DI con cuerpo de fracciones K.
132
(6.4.1)
Xf U
133
S
forma zS= ab , con b
/ P . Esto muestra que z R( iC Ui ). Recprocamente, sea
z R(
S iC Ui ), debemos probar que dado i C, z R(Ui ). Sea P Ui , entonces
P iC Ui , luego z tiene una representacion en la forma z = ab , con b
/ P . Esto
prueba que z R(Ui ).
Vamos ahora a estudiar el caso general de un anillo conmutativo. Sea U un
abierto no vaco; parece natural definir R(U ), al igual que en el caso de un dominio
de integridad, como la interseccion de todos los anillos Rf tal que Xf es un abierto
basico contenido en U Sin embargo, estos anillos no estan contenidos en un anillo
com
un, por lo tanto la interseccion carece de sentido. Cambiamos la interseccion por
el lmite proyectivo, es decir, definimos
R(U ) :=
lm
Xf U Rf .
(6.4.2)
(6.4.3)
134
Para completar la construccion del prehaz R necesitamos definir un homomorfismo de anillos de RVU : R(V ) R(U ) para U V abiertos de Spec(R). Sea U no
vaco y sea (zf ) R(V ), con zf Rf y Xf V , consideremos el subarreglo (zh ) de
(zf ) con la condicion Xh U . Notemos que (zh ) no es vaco ya que todos los basicos
contenidos en U estan contenidos en V . Definimos entonces
RVU ((zf )) := (zh ),
(6.4.5)
(6.4.6)
(6.4.7)
135
Definici
on 6.4.4. Sea X un espacio topol
ogico y F un prehaz sobre X. Se dice que
F es un haz sobreSX si para cada subconjunto abierto U X y cada cubrimiento
abierto de U , U = iC Ui , se cumplen las siguientes condiciones:
(i) Si z, z 0 F(U ) son tales que FUUi (z) = FUUi (z 0 ) para cada i C, entonces
z 0 = z.
(ii) Sea {zi |zi F(Ui )}iC una colecci
on de elementos tal que para cualesquiera
U
Ui
i, j C se tiene que FUi Uj (zi ) = FUijUj (zj ). Entonces, existe un elemento
z F(U ) tal que FUUi (z) = zi , para cada i C.
Seg
un (i), el elemento z de la condicion (ii) es u
nico. De otra parte, si F es un
haz sobre X y U X es un abierto, entonces el prehaz inducido F|U es un haz
sobre U .
Proposici
on 6.4.5. Sea R un DI. Entonces el prehaz R de la proposici
on 6.4.2
define una estructura de haz sobre Spec(R).
Demostraci
on. Sea U un abierto no vaco de Spec(R) con cubrimiento abierto U =
S
U
.
Sean
z, z 0 R(U ) tales que RUUi (z) = RUUi (z 0 ) para cada i C. Puesto
iC i
que los homomorfismos RUUi son los identicos, entonces es claro que z = z 0 . De
manera similar se establece la condicion (ii) de la definicion 6.4.4. Para U = las
dos condiciones se cumplen trivialmente.
Veamos ahora el caso general. Para esto utilizaremos las identificaciones del teorema 6.4.3, es decir, asumiremos que R(Xf ) = Rf , R(Spec(R)) = R y la identificacion
(6.4.7). Cuando f es nilpotente, Rf es el anillo trivial.
Teorema 6.4.6. Sea R un anillo. Entonces el prehaz R del teorema 6.4.3 define
una estructura de haz sobre Spec(R).
Demostracion. Debemos demostrar las condiciones (i) y (ii) de la definicion 6.4.4.
(i) La prueba de esta parte incluye los mismos pasos que veremos a continuacion
para la demostracion de (ii), y se deja como ejercicio (vease tambien [19]).
(ii) Si U = las dos condiciones se cumplenStrivialmente. Sea U un abierto no
vaco de Spec(R) con cubrimiento abierto U = iC Ui . Dividimos la demostracion
de este numeral en tres pasos.
Paso 1. Supongamos inicialmenteSque U = Spec(R) y el recubrimiento es con
abiertos basicos, es decir, Spec(R) = iC Xfi . Este caso lo podemos a su vez dividir
en dos pasos.
Paso 1.1. Por compacidad, podemos considerar el caso Spec(R) = Xf1 Xfr .
Xf
Xf
Sean zl R(Xfl ) = Rfl , 1 l r, de tal forma que RXfi Xf (zi ) = RXfj Xf (zj ),
i
j
i
j
es decir, tenemos
136
ai f n
Rfi Rfi fj , zi =
ai
fin
ai fjn
(fi fj )n
Rfj Rfi fj , zj =
aj
fjn
aj fin
(fi fj )n
a fn
con (fi fjj)n = (fijfji)n (notese que podemos tomar el mismo n ya que solo tenemos un
n
umero finito r de abiertos basicos; ademas, si fi fj es nilpotente, recordemos que
definimos en este caso Rfi fj como el anillo trivial). Las asignaciones anteriores son
las dadas por (6.4.3) al considerar por ejemplo Xfi Xfj = Xfi fj Xfi y la relacion
fi fj = fi fj , es decir, all f = fi fj , g = fi , u = fj y k = 1.
Existe m 0 tal que (fi fj )m (ai fjn aj fin ) = 0, para 1 i, j r. Sea wi := ai fim
y sea k := m + n, entonces zi = fwki y ademas wi fjk = wj fik . Notemos que el ideal
i
Spec(R)
n(i)
n(j)
ai fj
aj fi
,
(fi fj )n(j)
Spec(R)
Xf
RXfi Xf (zi )
i
j
fi
n(i)
n(j)
Xfj
ai f
a f
RXf Xf (zj ), es decir, (fi fjj)n(i) = (fijfji)n(j) , para todo
i
j
paso 1, S
sea f1i la imagen de fi en el homomorfismo
i, j C. Como hicimos en el
natural R Rf ; notemos que X f =
1
iC
137
tenemos zi0 :=
ai fj n(i)
(1)
1
f f
( 1i 1j )n(i)
Spec(Rf )
RX f
aj f n(j)
( 1i )
1
fi fj n(j)
(1 1)
X fj
X fi
i
1
i
1
j
1
j
1
(z) = zi0 , para cada i C. Luego, RXff (z) = zi , para cada i C. En efecto,
i
i
1
En particular
zi0
ai f n(i)
(f fi )n(i)
a
fp
f
( 1i )q
af q fip
.
(f fi )p+q
ai
n(i)
fi
ai f n(i)
.
(f fi )n(i)
(6.4.8)
Debemos encontrar un elemento z R(U ) tal que RUUi (z) = zi , para cada i C.
Expresemos cada Ui comoSunion de todos los abiertos basicos de Spec(R) que
estan contenidos en Ui , Ui := jC(i) V(i,j) (hemos modificado la notacion de (6.4.1)).
S
Al simplificar y escribir l := (i, j) se tiene entonces que Ui = Vl Ui Vl . Sea wl :=
RUVli (zi ); probemos inicialmente que
V
(6.4.9)
con l1 := (i1 , j1 ), l2 := (i2 , j2 ). Para esto observemos que Vl1 Vl2 Vl1 Ui1 ,
Vl1 Vl2 Vl2 Ui2 , Vl1 Vl2 Ui1 Ui2 Ui1 , Ui2 , luego el lado izquierdo de
(6.4.9) es
V
U U
RVll1 Vl (wl1 ) = RVll1 Vl RVli1 (zi1 ) = RVli1Vl (zi1 ) = RVli1Vli2 RUii1 Ui (zi1 ),
1
y el derecho es
V
U U
RVll2 Vl (wl2 ) = RVll2 Vl RVli2 (zi2 ) = RVli2Vl (zi2 ) = RVli1Vli2 RUii2 Ui (zi2 ),
1
138
S
b
Sasicos con Vl Ui e i recorriendo C, luego U = l Vl . Entonces Xf = Xf U =
asico Xf es union de abiertos basicos; consideremos
l (Xf Vl ), es decir, el abierto b
la coleccion de elementos {zl R(Xf Vl )}, con zl := RVXlf Vl (wl ). Esta coleccion
satisface la condicion (ii) de la definicion 6.4.4. En efecto,
X V
X V
X V
V V
V
RXlf1 Vll2 Xf Vl RVll1 Vl (wl1 );
1
2
1
2
X V
V
RXff Vll2 Xf Vl RXlf2 Vl (wl2 ) =
1
2
2
V V
V
RXlf1 Vll2 Xf Vl RVll2 Vl (wl2 );
1
RXlf2 Vl
Xf Vl2 (wl1 )
Xf Vl2 (wl2 )
S
basta entonces usar (6.4.9). Aplicando el paso 2 al abierto basico Xf = l (Xf Vl ),
X
obtenemos un elemento zf R(Xf ) tal que RXff Vl (zf ) = zl , para cada l. Con esto
podemos encontrar un z R(U ) tal que RUXf (z) = zf . En efecto, probemos que
X
el arreglo z := (zf ) satisface (6.4.4). Tenemos que RXgg Vl (zg ) = zl , para cada l,
X
U
RXgh (zg ) = zh . Por (6.4.7), RX
(z) = zf .
f
S
0
U
Por u
ltimo, sea zi := RUi (z); considerando nuevamente Ui = Vl Ui Vl se tiene
que
f
g
139
(ii) Sea Vp una vaiedad no vaca de P n (K), entonces sobre Vp existe una estructura canonica de haz definida de la siguiente manera: Up es un abierto de Vp ,
entonces F() := {0}, y para Up 6= se toma
F(Up ) := {e
z :=
f
g
P U
LP (V ) y F(V ) = A(V ).
Observaci
on 6.4.9. (i) Seg
un vimos en la observacion 4.3.2 , cada elemento ze
F(Up ) define una funcion del abierto no vaco Up en el cuerpo K, esta funcion tambien
(P )
la podemos denotar por ze, ze(P ) := fg(P
, P Up . En este caso f, g son polinomios
)
homogeneos del mismo grado. La funcion ze : Up K definida de esta manera se
dice que es una funcion regular sobre Up . As pues,
F(Up ) = {e
z : Up K|z es regular}.
(ii) Notemos que se tienen las siguientes inclusiones (vease la proposicion 4.3.5):
K F(Up ) LP (Vp ) K(Vp ), para cada P Up .
Ademas,
140
F(Up ) =
P Up
LP (Vp ).
Definici
on 6.4.10. Sea X un espacio topol
ogico y sea F un haz sobre X. Para cada
punto x X se define el tallo (stalk) de F en x por
Fx := l
m
U 3x F(U ).
El lmite inductivo se toma sobre todos los cerrados U de X que contienen al
elemento x y se toma como relacion de orden V U si, y solo si, U V . De
la definicion de lmite inductivo se tiene que un elemento de Fx es una clase de
equivalencia xc
un abierto U 3 x; dos clases
U con representante xU F(U ), para alg
U
V
xc
c
olo si, existe W 3 x, con W U, V con FW
(xU ) = FW
(xV ).
U, x
V son iguales si, y s
Ejemplo 6.4.11. (i) Sea R un anillo y R el haz establecido en el teorema 6.4.6; sea
P un punto de Spec(R), entonces RP = RP es un anillo local. En efecto,
RP = l
m
/ Rf = RP .
f P
(ii) Sea K un cuerpo algebraicamente cerrado, V una variedad no vaca de An (K)
y F el haz definido en el teorema 6.4.7. Entonces, para cada punto P V se tiene
que FP = LP (V ) es un anillo local. De igual manera, si Vp es una variedad proyectiva
de P n (K) y P Vp , entonces FP = LP (Vp ) es un anillo local.
6.5.
Esquemas
Definici
on 6.5.1. Un espacio anillado es una pareja (X, F), donde X es un
espacio topologico y F es un haz de anillos sobre X. (X, F) es local si para cada
x X el tallo Fx es un anillo local.
Un morfismo : (X, F) (Y, G) entre espacios anillados se define por:
(i) Una funcion continua : X Y .
(ii) Dado un abierto U de Y , se tiene un homomorfismo de anillos U : G(U )
F(1 (U )).
(iii) Para cualesquiera abiertos U V de Y el siguiente diagrama es conmutativo:
1
1 (V )
1 (U )
F( (V )) F(1 (U ))
x
x
V
U
G(V )
GV
G(U )
6.5. ESQUEMAS
141
142
Con la notacion del teorema 6.4.7 se obtienen otros ejemplos notables de espacios
anillados asociados a variedades afines y proyectivas. Estos ejemplos son tambien de
tipo local.
Proposici
on 6.5.5. Sea K un cuerpo algebraicamente cerrado.
(i) Si V una variedad no vaca de An (K), entonces (V, F) es un espacio anillado
local.
(ii) Si Vp una variedad no vaca de P n (K), entonces (Vp , F) es un espacio anillado
local.
Demostracion. Consecuencia directa del teorema 6.4.7 y del ejemplo 6.4.11.
Con todos los ingredientes presentados en las secciones anteriores podemos ya
introducir la nocion de esquema.
Definici
on 6.5.6. Un esquema es un espacio anillado (X, F) en el cual cada
punto x X tiene una vecindad U tal que el espacio anillado inducido (U, F|U ) es
isomorfo a (Spec(R), R), para alg
un anillo R.
Teorema 6.5.7. Si R es un anillo, entonces (Spec(R), R) es un esquema, denominado esquema afn.
Demostracion. En este caso trivial, dado el ideal primo P Spec(R), en calidad
de vecindad U se puede tomar todo el espacio Spec(R) de tal forma que el espacio
anillado inducido no solo es isomorfo sino igual a (Spec(R), R).
Proposici
on 6.5.8. La colecci
on de esquemas afines es una categora. Adem
as,
existe un funtor contravariante de la categora de los anillos en la categora de los
esquemas afines.
Demostracion. Se obtiene de manera directa de la proposicion 6.5.4.
Concluimos el captulo asociando a cada variedad afn (proyectiva) no vaca un
esquema.
Teorema 6.5.9. Sea K un cuerpo algebraicamente cerrado. Sea V una variedad afn
(proyectiva) no vaca. Sea Ve la colecci
on de variedades no vacas contenidas en V .
e la colecci
Sea U V un abierto y sea U
on de variedades no vacas contenidas en
U . Entonces
e definen una topologa para Ve .
(i) Los conjuntos U
e ) := F(U ), con F(U ) y F U0 como en el teorema 6.4.7,
(ii) La asignacion F(U
U
define un esquema (Ve , F).
143
6.5. ESQUEMAS
f1 U
f2 = U^
Demostracion. (i) = e
; Ve = Ve ; U
en es posible demostrar
1 U2 ; tambi
que la union arbitraria de abiertos es un abierto.
(ii) Realizaremos la prueba del caso afn, la del caso proyectivo es similar cambiando A(V ) por P roj(Ah (Vp )) (vease el ejemplo 6.2.10).
Seg
un el teorema 6.4.7, (Ve , F) es un espacio anillado. Sea W un elemento de
Ve , es decir, una variedad no vaca contenida en V ; en calidad de una vecindad en
Ve que contenga a W escogemos a Ve , y entonces notemos que (Ve , F|Ve ) = (Ve , F).
Solo resta demostrar que el espacio anillado (Ve , F) es isomorfo a (Spec(A(V )), R):
sabemos que existe una correspondencia biyectiva entre las variedades contenidas
en V y los ideales primos de A(V ) (vease el ejemplo 1.7.10), en efecto, tenemos la
funcion biyectiva
Ve
Spec(A(V )), W := V (J) V 7 J/I(V ).
g
h
g
n
f
g
n.
f
Si X es union de b
la asignacion anterior
induce un homomorfismo de
T
S
Sasicos, entonces
1
anillos X de R( Xfi ) = A(V )fi en F( ( Xfi )), ze 7 ze. Este homomorfismo
hace conmutativo el diagrama de la definicion 6.5.1.
Todo lo anterior demuestra que es un morfismo de espacios anillados. De
manera analoga se puede establecer que 1 es tambien un morfismo de espacios
anillados. Esto completa la demostracion.
En la proposicion 6.2.6 habamos visto que si K es un cuerpo algebraicamente cerrado, entonces, para cada n 1, M ax(K[x1 , . . . , xn ]) y An (K) son espacios homeomorfos. De la demostracion del teorema anterior se tienen las siguientes conclusiones.
Corolario 6.5.10. Sea K un cuerpo algebraicamente cerrado. Entonces, para cada
n1
n (K) son espacios homeomorfos.
^
(i) Spec(K[x1 , . . . , xn ]) y A
n (K) son espacios homeomorfos.
(ii) P roj(Ah (Vp )) y P^
144
6.6.
Ejercicios
Demuestre
que
si
Spec(R)
es
T1 ,
entonces
10. Sea R un anillo. Demuestre que las funciones RXgf : Rg Rf , RXgf ( gal ) :=
de la demostracion del teorema 6.4.3 estan bien definidas.
aul
f nl
Bibliografa
[1] Adams, W. W. and Loustaunau, P., An Introduction to Gr
obner Bases,
AMS, 1994. 26
[2] Atiyah, M.F and Macdonald, I.G., Introduction to Commutative Algebra,
Addison-Wesley, 1969.
[3] Cox, D., Little, J., and OShea, D., Ideals, Varieties, and Algorithms: An
Introduction to Computational Algebraic Geometry and Commutative Algebra,
Springer, 1992.
[4] Fulton, W., Algebraic Curves. An Introduction to Algebraic Geometry, reprint,
2008. 26, 67
[5] Greuel, G. and Pfister, G., A Singular Introduction to Commutative Algebra,
Springer, 2002.
[6] Harris, J., Algebraic Geometry: a first course, Springer, 1992.
[7] Hartshorne, R., Algebraic Geometry, Springer, 1997.
[8] Hulek, K., Elementary Algebraic Geometry, AMS, 2003.
[9] Kunz. E., Introduction to Commutative Algebra and Algebraic Geometry,
Birkhauser, Boston, 1991.
[10] Lang, S., Algebra, Springer, 2004. iv
146
BIBLIOGRAFIA