Capitulo I. Variedades algebraicas afines.

Al conjunto solucion de un sistema de ecuaciones algebraicas lo llamamos variedad

algebraica afn. Uno lo considera como objetos de la geometra en espacios afines. En
este captulo estudiaremos sus propiedades basicas y su relacion con la teora de ideales.
1. Definiciones y propiedades b
asicas de variedades algebraicas afines.
Un sistema de ecuaciones algebraicas sobre un campo K es un sistema de la forma
f1 (X1 , ..., Xn ) = 0
..
.

(1)

fm (X1 , ..., Xn ) = 0
donde f1 , ..., fm son polinomios en las variables X1 , ..., Xn con coeficientes en el campo K.
Dado un sistema de ecuaciones (1) nos interesamos en forma natural en el conjunto de
soluciones ya sea en K n o en Ln donde L es una extension del campo K. Un caso especial
del sistema (1) es el de sistemas lineales
n
X

aik Xk bi = 0

(aik , bi K; i = 1, ..., m)

(2)

i=1

que son estudiados en algebra lineal. Para dichos sistemas hay respuestas sencillas para
las siguientes preguntas que uno puede hacerce tambien para los sistemas (1):
a) En que casos el sistema (1) tiene solucion?
b) Es posible describir el conjunto solucion mediante una representacion parametrica y si
es as, en que forma se puede calcular?
c) Como puede uno imaginarse (dibujar) el conjuto solucion en forma geometrica?
d) Es posible medir el tama
no del conjunto solucion por medio de alguna funcion de dimension?
e) En que casos tiene el sistema (1) un conjunto finito de soluciones, cuantas soluciones
existen en tal caso y como podemos calcular dicho n
umero?
f) Como saber cuando dos sistemas de ecuaciones comparten en mismo conjunto solucion?
g) Si V es el conjunto solucion de un sistema (1), cuantos polinomios son extrictamente
necesarios para poder describir el conjunto V como solucion de un sistema de ecuaciones?
Naturalmente para sistemas de ecuaciones algebraicas en general, las respuestas a
las preguntas anteriores son mucho mas dificiles que para el caso de sistemas lineales.
Necesitaremos algun tiempo de estudio para poder dar respuestas satisfactorias a dichas
preguntas. En el captulo VI trataremos las preguntas d) y g) y en el captulo VIII nos
dedicaremos a la pregunta e).
Denotemos por AnL = Ln = {(x1 , ..., xn )|xi L} al espacio afn de dimension n sobre
una extension L del campo K. En dicho espacio se definen, como se hace para el caso de
1

algebra lineal, los subespacios afines (en especial puntos, rectas e hiperplanos) junto con
el concepto de paralelismo.
Definici
on 0.1 Un subconjunto V AnL se llama K-variedad algebraica afn (o conjunto
algebraico afn) si existe un sistema de ecuaciones algebraicas (1) para el cual el conjunto
V es el conjunto de soluciones de dicho sistema. Decimos entonces que V est
a definido
sobre K y llamamos a (1) el sistema de definici
on para V . El campo K es el campo de
definici
on y L el campo coordenado para V . A los puntos V AnK los llamamos puntos
K-racionales de V .
Es claro que si en (1) sucede que m = 0 entonces tenemos V = AnL como conjunto
solucion. Tambien el conjunto vacio resulta ser variedad algebraica afn con el sistema de
ecuaciones dado por una u
nica ecuacion 1 = 0.
Una K-variedad es tambien una K 0 -variedad para cualquier subcampo K 0 L que
contenga los coeficientes de alg
un sistema de definicion de la variedad V . Esto sucede
0
claramente si K es un campo intermedio de la extension L/K.
Continuamos con algunos resultados sencillos para variedades algebraicas afines.
Teorema 0.2 La nocion de K-vairedad algebraica afn es invariante bajo transformaciones de coordenadas afines definidas sobre K, esto es transformaciones de la forma
(Y1 , ..., Yn ) = (X1 , ..., Xn ) A + (b1 , ..., bn )
donde A = (ai,k ) es una matriz de n n y donde ai,k , bi K.
Claramente tenemos que al sustituir
(X1 , ..., Xn ) = (Y1 , ..., Yn ) A1 (b1 , ..., bn ) A1
en el sistema (1) podemos obtener el sistema de definicion en las variebles Y1 , ..., Yn para
la variedad resultante. Uno aplica transformaciones afines para simplificar los sistemas y
poder con mas facilidad encontrar soluciones de estos. Tambien utilizamos transformaciones de coordenadas para cituar nuestras variedades algebraicas en una mejor posicion.
Teorema 0.3 Intersecciones e uniones finitas de K-variedades algebraicas afines en AnL
son de nuevo K-variedades afines.
Demonstracion: Es suficiente demostrarlo para dos variedades V1 y V2 . Sea V1 y V2
definidas por los sistemas fi = 0 (i = 1, ..., m) y gj = 0 (j = 1, ..., l) respectivamente.
Entonces V1 V2 esta definido por el sistema fi = 0, gj = 0 (i = 1, ..., m; j = 1, ..., l), es
decir por la conjuncion de los dos sistemas. La union V1 V2 esta definida por el sistema
fi gj = 0

(i = 1, ..., m; j = 1, ..., l).

2

Como ejemplo tenemos la interseccion de dos superficies algebraicas en A3L que es una
curva algebraica. El concepto exacto de curva algebraica en dimensiones superiores sera
contemplado en el estudio de teora de la dimension (Cap. VI). La union finita de rectas
(configuracion de rectas) son tambien variedades algebraicas, por ejemplo, la union de
rectas sobre las que yacen las aristas de un poliedro.
Un n
umero finito de puntos K-racionales en AnL son de nuevo K-variedad.
Teorema 0.4 (Producto de variedades). Sean V1 AnL1 y V2 AnL2 dos K-variedades
entonces tambien el producto cartesiano.
V1 V2 AnL1 AnL2 = AnL1 +n2
es una K-variedad.
Demonstracion: Sea V1 el conjunto solucion del sistema fi = 0 (i = 1, ..., m) con
fi K[X1 , ..., Xn1 ] y V2 el conjunto solucion de gj = 0 (j = 1, ..., l) con gj K[Y1 , ..., Yn2 ].
Considerando el sistema conjunto fi y gj visto como sistema en el anillo de polinomios
K[X1 , ..., Xn1 , Y1 , ..., Yn2 ] vemos que su conjunto solucion es exactamente V1 V2 .
2
Considerar el producto de una variedad V AnL1 con una recta en AnL2 da lugar a un
cilindro en AnL1 +n2 .
Teorema 0.5 a) Si L contiene un n
umero infinito de elementos y si n 1 entonces
existe un n
umero infinito de puntos de AnL fuera de una K-variedad V 6= AnL .
b) Si L es algebraicamente cerrado y n 2 entonces toda K-hipersuperficie en AnL contiene
un n
umero infinito de puntos.
Demonstracion: a) Basta demostrar la afirmacion para el caso de una hipersuperficie.
Supongamos que dicha hipersuperficie esta definida por el polinomio f K[X1 , ..., Xn ].
Podemos suponer que la indeterminada Xn aparece en f , as podemos escribir
f = 0 + 1 Xn + ... + t Xnt

(3)

donde i K[X1 , ..., Xn ] (i = 1, ..., t), t > 0 y t 6= 0. Aplicando induccion podemos

suponer que existe (x1 , ..., xn1 ) Ln1 tal que t (x1 , ..., xn1 ) 6= 0. Entonces el polinomio
f (x1 , ..., xn1 , Xn ) es un polinomio no indenticamente cero en L[Xn ] que posee unicament
un n
umero finito de raices. Dado que L es infinito existe un n
umero infinito de posibles
xn L para las cuales f (x1 , ..., xn1 , xn ) 6= 0.
b) Sea la hipersuperfice definida por f = 0 con f dada como en (3). Dado que n 2 y
que un campo algebraicamente cerrado es infinito tenemos por a) que existe un n
umero
n1
infinito de puntos (x1 , ..., xn1 ) L
tales que t (x1 , ..., xn1 ) 6= 0. Para cada dicho
punto (x1 , ..., xn1 ) posee f (x1 , ..., xn1 , Xn ) una raiz xn en L. De esta forma mostramos
que f tiene un n
umero infito de raices.
2

Teorema 0.6 Sea n 1 y L algebraicamente cerrado. Sean dos hipersuperficies Hi

definidas por las igualdades fi = 0 (i = 1, 2) donde f1 , f2 K[X1 , ..., Xn ] son dos
polinomios libres de factores comunes. Entonces tenemos que
H1 H2 6= Hi

(i = 1, 2)

Para la demostracion aplicaremos el siguiente lema.

Lema 0.7 Sea R un dominio de factorizaci
on con campo de cocientes K. Sean f1 , f2
R[X] primos relativo, entonces tambien lo son en K[X]. Existe entonces d R \ {0} y
a1 , a2 R[X] tales que
d = a1 f1 + a2 f2
Demonstracion: Supongamos que tenemos fi = i h donde i , h K[X] (i = 1, 2),
donde h no es constante. Recorriendo los denominadores de los coeficientes de h a los i ,
por medio de productos y cocientes con elementos de R, podemos suponer que h R[X].
Escribamos ahora
X
i =
ik X k
(ik K, i = 1, 2).
Sea R el comun denominador de ik . Tenemos que
fi = i h

(i = 1, 2)

donde i := i R[X]. Un elemento primo de R que sea divisor de no puede ser

divisor de 1 y 2 al mismo tiempo ya que es el comun divisor de los coeficientes de 1
y 2 . Dicho divisor debe ser entonces divisor de h as que tenemos la igualdad
fi = i h

(i = 1, 2)

donde h R[X] es un polinomio no constante. Esto contradice la hipotesis de que f1 y f2

eran primos relativos en R[X]. Se sigue entonces que f1 , f2 son primos relativos tambien
en K[X].
Aplicando algoritmo de Euclides existen polinomios A1 , A2 K[X], tales que
1 = A1 f1 + A2 f2 .
Multiplicando la igualdad por un comun denominador d de los coeficientes de Ai (i = 1, 2)
tenemos la igualdad esperada
(a1 , a2 R[X])

d = a1 f1 + a2 f2

Demonstracion: (de 0.6)

Podemos suponer que Xn aparece en f1 . Escribimos entonces f1 = 0 + 1 Xn + ... + t Xnt
4

como en (3). Por el lema 0.7 existe un polinomio d K[X1 , ..., Xn1 ] \ {0} y a1 , a2
K[X1 , ..., Xn ] tales que
d = a1 f1 + a2 f2 .
(4)
Escojamos por 0.5 a) un punto (x1 , ..., xn1 ) Ln1 tal que
d(x1 , ..., xn1 ) t (x1 , ..., xn1 ) 6= 0.
Dado que L es algebraicamente cerrado existe algun xn L tal que f1 (x1 , ..., xn ) = 0.
De (4) no puede suceder que tambien f2 (x1 , ..., xn ) = 0 porque entonces tendriamos que
d(x1 , ..., xn1 ) = 0. As que (x1 , ..., xn ) H1 pero (x1 , ..., xn ) 6 H1 H2 .
2

Corolario 0.8 Dadas dos curvas H1 y H2 en el plano definidas por dos polinomios primos
relativos entonces H1 H2 esta formado por un n
umero finito de puntos. En otras palabras,
un sistema de ecuaciones
f1 = 0, f2 = 0
con polinomios f1 , f2 K[X1 , X2 ] primos relativos, tiene como conjunto soluci
on a un
n
umero finito de puntos en A2 .
Demonstracion: En esta situacion d K[X1 ] es un polinomio con un n
umero finito de
raices. Existe entoces un n
umero finito de posibles valores que puede tomar la coordenada X1 para los puntos de H1 H2 . Por un argumento simetrico para la coordenada X2
tenemos el resultado.
2