Está en la página 1de 66

Geometra Torica

Diego Ruiz Antoln


Trabajo Dirigido en Matem atica Fundamental
por
Nuria Corral Perez
Universidad de Cantabria
Departamento de Matematicas, Estadstica y Computaci on

Indice general
Introducci on 1
1. Construcci on de variedades t oricas 3
1.1. Conos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. Caras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3. Monoides . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2. Variedades anes toricas 21
2.1. Polinomios de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.2. Algunos resultados basicos de geometra algebraica . . . . . . . . . . 22
2.3. Variedades anes t oricas . . . . . . . . . . . . . . . . . . . . . . . . . 26
3. Variedades Toricas 37
3.1. Variedades algebraicas proyectivas . . . . . . . . . . . . . . . . . . . . 37
3.2. Abanicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.3. Ejemplos de variedades toricas . . . . . . . . . . . . . . . . . . . . . . 41
4. Subvariedades toricas invariantes 47
4.1. Construcci on de una subvariedad t orica invariante . . . . . . . . . . . 47
4.2. Abanicos cociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
5. La acci on torica y sus orbitas 55
5.1. La accion t orica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
Bibliografa 61

INDICE GENERAL
Introducci on
Una variedad t orica afn es una variedad algebraica X que contiene un toro
algebraico T = (C

)
n
como un abierto de Zariski denso y verica que la acci on del
toro T sobre si mismo se extiende a una accion del toro T sobre X.
As, (C

)
n
y C
n
son ejemplos de variedades t oricas anes. Otros ejemplos son la
curva plana C = V (y
2
x
3
) C
2
(c uspide) que es una variedad torica afn con toro
C 0 = C (C

)
2
= (t
2
, t
3
: t C


= C

o bien la variedad V = V (xy zw) C


4
que contiene al toro
V (C

)
4
= (t
1
, t
2
, t
3
, t
1
t
2
t
1
3
) : t
i
C


= (C

)
3
Como variedad algebraica, una variedad torica afn est a denida por los ceros de
un ideal en C[x
1
, ..., x
n
] generado por binomios de la forma
x

donde x

= x

1
1
x

n
n
, x

= x

1
1
x

n
n
y los vectores = (
1
, ...,
n
) y =
(
1
, ...,
n
) estan en (Z
0
)
n
.
A lo largo de la historia, las variedades toricas han recibido diversos nombres
y deniciones, desde la primera denici on formal dada por Demazure en [Dem],
hasta publicaciones mas recientes como [Ful] o [Ewa] (mas pr oximas al concepto
que planteamos en este trabajo).
La geometra torica supone un buen mecanismo para introducir al interesado en
el mundo de la geometra algebraica. Permite comprobar como funcionan resultados
de la teora de variedades algebraicas de forma m as elemental y sobre conocidos
ejemplos de variedades t oricas sencillas, como es el caso de C
n
, P
n
, P
1

n
. . . P
1
y
las supercies de Hirzebruch 1
q
. Como dice Fulton en su libro [Ful], las variedades
t oricas han proporcionado un destacable campo de pruebas para teoras generales.
1
2

INDICE GENERAL
Para construir una variedad t orica afn asociamos sucesivamente a un cono
en el espacio eucldeo R
n
, su cono dual en (R
n
)

que nos permite construir un


monoide S

= M con M un retculo en (R
n
)

. El ideal I

, que dene la variedad


algebraica X

, se obtiene a partir de un sistema de generadores del monoide S

. En
los captulos 1 y 2, describiremos el proceso de construcci on de variedades t oricas
desde la elecci on de un cono , hasta su variedad t orica afn asociada X

.
En el captulo 3, veremos c omo pegar variedades t oricas anes para obtener
variedades toricas proyectivas y como ejemplo, veremos c omo se pueden denir los
ejemplos cl asicos que hemos mencionado antes, como P
n
, mediante este proceso de
pegado de variedades.
En los captulos 4 y 5, describiremos la acci on del toro (C

)
n
sobre variedades
t oricas. Veremos que esta embebido en dicha variedad como una orbita densa (lo
cual da el apelativo de t orica a la variedad torica) y, por ultimo, daremos una
caracterizaci on de la variedad t orica como uni on disjunta de las orbitas de la acci on
del toro. De esta forma, veremos que las variedades t oricas est an relacionadas con
la teora algebraica de grupos, ya que de hecho, as es como las considero Demazure
al principio.
Para que el lector se haga una idea de la relevancia que tienen las variedades
t oricas en la actualidad, en el apendice A del libro [Cox] se menciona que desde
1991, las variedades t oricas tienen su propio n umero de clasicaci on 14M25 (en
la MathSciNet database). Del mismo modo, se han observado aplicaciones de las
variedades toricas en la programacion entera, la resolucion de sistemas de ecuaciones
polinomiales, la teora de c odigos, el modelado geometrico o la combinatoria.
Captulo 1
Construcci on de variedades t oricas
Como ya hemos mencionado en la introduccion, el proceso de construccion de
variedades t oricas (anes) asocia sucesivamente a un cono en el espacio eucldeo
R
n
, su cono dual en (R
n
)

, un monoide S

, una C- algebra R

nitamente generada
y, nalmente, una variedad algebraica X

. Es decir, seguimos el esquema:


S

En este primer captulo, vamos a introducir la denici on de cono y cono dual; pro-
baremos algunas propiedades que luego necesitaremos para la construcci on de una
variedad torica afn que se har a en el captulo 2. Terminaremos el captulo 1 con la
denici on de un monoide asociado a un cono y sus propiedades.
1.1. Conos
Denicion 1.1.1. Sea A = v
1
, ..., v
r
un conjunto nito de vectores en R
n
, el
conjunto:
= x R
n
: x =
1
v
1
+ ... +
r
v
r
,
i
R
n
,
i
0
se llama cono poliedrico convexo (en adelante, solo diremos cono). Los vectores
v
1
, ..., v
r
son los generadores de y lo denotaremos por = v
1
, ..., v
r
.
Si A = , entonces = 0 y lo llamamos el cono nulo.
Sean
1
el cono generado por v
1
, ..., v
r
y
2
el cono generado por w
1
, ..., w
s
,
denotaremos por =
1
+
2
al cono generado por v
1
, ..., v
r
, w
1
, ..., w
s
.
La dimension de se denota por dim() y es la dimensi on del menor espacio vectorial
que contiene a o, dicho de otro modo, es la dimension del subespacio vectorial
R = + ().
3
4 CAP

ITULO 1. CONSTRUCCI

ON DE VARIEDADES T

ORICAS
Ejemplo 1.1.2. Veamos algunos ejemplos de conos en R
2
, donde e
1
, e
2
es la base
canonica.
e
1
0
e
2
0
g
e
2
2e
1
-
e
1
e
2
0
s
e
1 =
t
< >
e
1 =
s
< >
e
2
,
=
g
< >
e
2
, e
2
2e
1
-
t
Observaci on 1.1.3. Un cono poliedrico convexo es un cono porque si un punto x
esta en , entonces todo punto x con real positivo (en adelante R
0
) esta en
.
Ademas, un cono es un conjunto convexo porque para todo par de puntos x,y en
, cualquier combinacion convexa de ellos x + (1 )y, [0, 1] esta en .
En adelante, denotaremos por N a un retculo isomorfo a Z
n
.
Denici on 1.1.4. Un cono es un cono racional si todos los generadores de dicho
cono pertenecen a N. Un cono es fuertemente convexo si no contiene ninguna recta
que pase por el origen, es decir, () = 0.
Denicion 1.1.5. Sea (R
n
)

= Hom
R
(R
n
, R) el espacio dual de R
n
y , la aplica-
ci on bilineal
, : (R
n
)

R
n
R
(u, v) u, v = u(v)
A cada cono podemos asociarle su cono dual :
= u (R
n
)

: u, v 0 , v
Ejemplo 1.1.6. Veamos cuales son los conos duales de los conos del Ejemplo 1.1.2.
Denotemos por e

1
, e

2
la base dual de la base canonica de R
2
.
1.1. CONOS 5
e
1
0
t
e
1 =
t
< >
e
2
0
t
*
-e
2
*
e
1
*
=< >
e
2
*
e
1
*
-e
2
*
, , t
e
1
e
2
0
s
e
1
e
2
0
s
*
*
e
1 =
s
< >
e
2
, e
1 =
s
< >
e
2
,
* *
e
2
0
g
e
2
2e
1
-
e
1
0
2e
2
e
1
+
* *
*
g
=
g
< >
e
2
, e
2
2e
1
-
=< >
, 2e
2
e
1
+
* *
g
e
1
*
Denicion 1.1.7. Llamaremos ortogonal del cono (o directamente cono ortogo-
nal ) al conjunto denido por:

= u : u, v = 0 para todo v
Observaci on 1.1.8. Se cumple que

= ( ).
Demostracion. Tenemos que ( ) = u (R
n
)

: u, v 0, u, v 0, v
= u (R
n
)

: u, v = 0 =

.
Lema 1.1.9. Todo cono se puede denir como una interseccion de semiespacios.
Cada elemento u (R
n
)

dene un semiespacio H
u
= v R
n
: u, v 0. De
este modo, si u
i

t
i=1
es un conjunto de generadores de , entonces:
=
t

i=1
H
u
i
= v R
n
: u
i
, v 0 u
i

6 CAP

ITULO 1. CONSTRUCCI

ON DE VARIEDADES T

ORICAS
Demostracion. Comprobamos la igualdad:
) Sea v , entonces u
i
, v 0 para todo u
i
por denicion de .
) Sea v R
n
con u
i
, v 0 para i=1,...,t. Tenemos que
1
u
1
+...+
t
u
t
, v
0 para todo
i
0, luego concluimos que v .
Ahora nos preguntamos que pasa si volvemos a calcular el dual de un cono dual,
es decir, dado cono en R
n
, nos preguntamos que forma tiene

.
Observaci on 1.1.10. Recordemos que existe un isomorsmo canonico entre R
n
y
(R
n
)

dado por:
: R
n
(R
n
)

v (v) : (R
n
)

R
u (v)(u) = u(v)
Proposicion 1.1.11. Dado un cono , entonces se tiene que

= .
Demostracion. Comprobaremos que y

se contienen mutuamente.
Debido al isomorsno can onico existente entre R
n
y (R
n
)

, podemos escribir

= v R
n
: u, v 0 para todo u .
Luego, si v , entonces u, v 0 para todo u por denici on de y as,


.
Sea v

. Veamos que si v / , entonces existe u tal que u, v < 0. Por
el Lema 1.1.9, tenemos que =
t

i=1
H
u
i
con = u
1
, ..., u
t
. Si v / , entonces
existe u
i
tal que v / H
u
i
, es decir, que u
i
, v < 0 y ya hemos encontrado el
u = u
i
que buscabamos. Debido al isomorsmo can onico existente entre R
n
y
(R
n
)

, tenemos que u
i
, v < 0 implica que v /

, luego

.
Dado un retculo N R
n
, podemos denir su retculo dual M = Hom
Z
(N; Z)

=
(Z
n
)

(R
n
)

y se verica la propiedad siguiente:


1.1. CONOS 7
Teorema 1.1.12 (Teorema de Farkas). Si es un cono racional, entonces es un
cono racional (respecto al retculo M).
Demostracion. Si = 0, entonces = (R
n
)

que es cono racional generado por la


base can onica e

1
, ..., e

n
. Si ,= 0, podemos suponer que existen generadores de
, v
i
no nulos, tal que v
i
N, 1 i r (ya que hemos supuesto que es racional).
Sea H
i
el hiperplano u (R
n
)

: u, v
i
= 0 y sea H
+
i
el semiespacio u (R
n
)

:
u, v
i
0. Tenemos que =

1ir
H
+
i
por el Lema 1.1.9.
Demostraremos que existe una familia nita u
j
: 1 j t M tal que =
u
1
, ..., u
t
por induccion sobre la dimensi on n del espacio vectorial ambiente.
Para n=1 es directo, porque podemos distinguir tres casos:
est a generado por vectores de la forma v
i
N R
>0
. Dado que todos
los generadores ser an proporcionales respecto de un factor estrictamen-
te positivo, podemos elegir uno s olo de ellos como generador del cono,
llamemoslo v
1
. De esta forma, = u R

: u, v
1
0 = H
+
1
, luego es
cono racional generado por e

1
.
De igual modo, si est a generado por vectores de la forma v
i
N R
<0
,
podemos concluir que es cono racional generado por e

1
.
Si est a generado por al menos un vector v
1
N R
>0
y al menos un
vector v
2
N R
<0
, entonces = R y tendremos = 0 que es cono
racional.
Vamos a probarlo para el caso general de dimensi on n, suponiendo que es
cierto para el caso de dimensi on n 1. Sea
k
= H
k
(

j=k
H
+
j
), 1 k r,
tenemos que
k
es cono en un espacio vectorial de dimension n 1. Por
hip otesis de inducci on, existe una familia nita de elementos u
k
j

s
k
j=1
M
que generan
k
.
Veamos ahora que est a generado por u
k
j

j,k
M, es decir,
=

j,k

k
j
u
k
j
:
k
j
0 = (u
k
j
)
j,k

) Sea u , entonces u, v 0 para todo v . Aqu distinguimos


dos casos:
8 CAP

ITULO 1. CONSTRUCCI

ON DE VARIEDADES T

ORICAS
Si existe v , v ,= 0, tal que u, v = 0, entonces existe un conjunto
de ndices I 1, ..., r tal que u, v
i
= 0 para todo i I y u, v
j
>
0 para j 1, ..., rI. Luego u H
i
para todo i I y u H
+
j
para
j 1, ..., r I. Por lo tanto, existe k I tal que u
k
, es decir,
u =
k
1
u
k
1
+... +
k
s
k
u
k
s
k
con
k
i
0. As que, nalmente, u (u
k
j
)
j,k
.
Si u, v > 0 para todo v , v ,= 0 Entonces existe, k tal que
u, v
k
> 0. Podemos escribir u = u
1
+ u
2
donde:

u
1
, v
j
= u, v
j
si j ,= k
u
1
, v
k
= 0

u
2
, v
j
= 0 si j ,= k
u
2
, v
k
= u, v
k

As tenemos, u
1
H
k
, u
2
H
j
para j ,= k y u
1
, u
2
H
+
i
para todo
i = 1, ..., r. Luego u
1

k
y u
2

j
con j ,= k. Es decir, que u se
puede expresar como combinacion lineal convexa de los generadores
de
k
y
j
para alg un j ,= k.
) Sea u (u
k
j
)
j,k
, entonces u =

j,k

k
j
u
k
j
con
k
j
0. Luego, u, v =

j,k

k
j
u
k
j
, v 0 para todo v (dado que u
k
j

k
), as que u .
Observaci on 1.1.13. Sin embargo, no se cumple que dado un cono fuertemente
convexo, su dual es tambien fuertemente convexo. Por ejemplo, sea = e
1
en R
2
,
tenemos que = e

1
, e

2
, e

2
y ( ) = e

2
, e

2
.
Tambien podemos escribir el dual de un cono como una intersecci on de forma
similar a la dada en el Lema 1.1.9.
Lema 1.1.14. Sea un cono racional generado por los vectores v
1
, ..., v
r
, entonces
=


i
donde
i
= v
i
: 0 es la semirrecta generada por el vector v
i
.
Demostracion. Observemos que
i
= u (R
n
)

: u, v 0, para todo v
i
=
u (R
n
)

: u, v
i
0, para todo 0 = u (R
n
)

: u, v
i
0. A partir de
esta observaci on, es f acil comprobar la igualdad:
) Sea u
r

i=1

i
, esto equivale a decir que u, v
i
0 para i = 1, ..., r.
As que para toda combinaci on lineal con coecientes positivos de los v
i
tene-
mos u,
1
v
1
+ ... +
r
v
r
0 si
i
0. Concluimos que, u .
1.2. CARAS 9
) Sea u , por denici on tenemos que u,
1
v
1
+ ... +
r
v
r
0 para todo

1
v
1
+ ... +
r
v
r
. En particular, tomando
i
= 1 y
j
= 0 para todo
j ,= i, tenemos que u, v
i
0. Repitiendo el mismo argumento para cada i,
obtenemos lo que queremos.
1.2. Caras
En esta secci on introducimos la denici on de cara de un cono y algunas de sus
propiedades. Una cara de un cono se obtiene haciendo la intersecci on del cono con
un hiperplano de la forma siguiente:
Denici on 1.2.1. Sea un cono y , entonces:
=

= v : , v = 0
es una cara de . Escribiremos < . A las caras de dimensi on uno las llama-
remos aristas. Observemos que el propio cono es cara de si mismo, basta tomar
= 0 (R
n
)

. Igualmente, el vector 0 constituye una cara de cualquier cono ya que


est a generada por el elemento =
r

i=1
u
i
con = u
1
, ..., u
r
. A todas las caras
que no son se las denomina caras propias del cono.
Ejemplo 1.2.2. Sea el cono = e
1
, e
2
, podemos determinar sus caras
1
= e
1
=
(e

2
)

,
2
= e
2
= (e

1
)

y sus caras no propias y 0.


e
1
e
2
0
s
t
1
t
2
Veamos algunas propiedades de las caras de un cono:
Proposicion 1.2.3. Sea un cono racional, entonces:
i) Toda cara de es un cono racional.
ii) Toda interseccion de caras de es una cara de .
iii) Toda cara de una cara de es una cara de .
10 CAP

ITULO 1. CONSTRUCCI

ON DE VARIEDADES T

ORICAS
Demostracion. Sea un cono racional:
i) Sean v
1
, ..., v
m
generadores de en N y sea . Consideramos la cara =

= v : , v = 0. Dado v , tenemos que v =


1
v
1
+... +
m
v
m
con
i
0, luego , v =
1
, v
1
+... +
m
, v
m
= 0 y dado que , v
i
0,
se cumplira que para cada i 1, ..., m o bien
i
= 0, o bien , v
i
= 0.
Es decir, existe I 1, ..., m tal que:

, v
i
= 0,
i
0 si i I
, v
i
, = 0,
i
= 0 si i / I
As, tenemos que si v , entonces v =

iI

i
v
i
con
i
0. Es decir, que
est a generado por v
i
: i I, y por lo tanto, es un cono racional.
ii) El resultado es consecuencia de la siguiente igualdad que probamos a conti-
nuaci on:
k

i=1
(

i
) = (
k

i
1

i
)

) Sea v
k

i=1
(

i
), tenemos que v y v

i
para todo i, es
decir, que
i
, v = 0. Dado que la aplicaci on , es bilineal, tenemos que

1
+ ... +
k
, v = 0, luego v (
k

i=1

i
)

como queramos ver.


) Sea v (
k

i=1

i
)

, tenemos que v y v (
k

i=1

i
)

, es decir,
que
k

i=1

i
, v = 0 y por la bilinealidad de la aplicacion , , tenemos que
k

i=1

i
, v = 0. Dado que v y
i
, tenemos que
i
, v 0 luego
debe ser
i
, v = 0 y as tenemos que v y v

i
para todo i, es
decir, que v
k

i=1
(

i
).
iii) Sean =

y =

con y

. Dividimos la demostracion
en dos pasos:
1.2. CARAS 11
En primer lugar, probamos que existe un n umero real positivo p su-
cientemente grande, tal que

+ p . Supongamos, por reduccion al


absurdo, que

+ p / para todo p R
>0
. Entonces,

+ p, v =

, v + p, v < 0 para alg un v .


Si , v , = 0, entonces existe p > 0 tal que p, v > [

, v[, esto
implica que

+ p, v 0, lo que va en contra de la hip otesis.


Si , v = 0, tenemos que

, v < 0 y que v

= , es decir,

, v 0, que no es posible.
Para concluir, veamos que = (

+ p)

) Sea v , por denici on vemos que =

,
luego v , , v = 0 y

, v = 0. Por tanto,

, v + p, v =

+ p, v = 0 y concluimos que v (

+ p)

.
) Sean v
1
, ...v
m
los generadores de ordenados de forma que los
s primeros sean generadores de y los r primeros sean generadores
de (r s), tenemos que:

, v
i
= 0 si i s
, v
i
> 0 si i > s

, v
j
= 0 si j r

, v
j
> 0 si j > r
Sea v (

+ p)

, tenemos que v , luego v =


m

i=1

i
v
i
con
i
0. Como v (

+ p)

, vemos que

+ p, v = 0
y desarrollando esta desigualdad,

+ p, v =
1

, v
1
+ ... +

, v
m
+ p
1
, v
1
+ ... + p
m
, v
m
=
r+1

, v
r+1
+ ... +

, v
m
+ p
s+1
, v
s+1
+ ... +
m
, v
m
= 0. Llegamos a que

i
= 0 para i r + 1, ..., s, s + 1, ..., m. Por tanto, , v = 0 y

, v = 0, as que v

y v

. Con esto ya podemos concluir


que v (

= .
Esto prueba que es una cara de .
12 CAP

ITULO 1. CONSTRUCCI

ON DE VARIEDADES T

ORICAS
Observaci on 1.2.4. Notemos que de la demostracion del punto i) de la Proposi-
cion 1.2.3, hemos deducido que dados los generadores v
1
, ..., v
m
de un cono , los
generadores de cualquier cara =

, , de seran aquellos v
i
tales que
, v
i
= 0.
Si es una cara de , al considerar los conos duales obtenemos
Proposicion 1.2.5. Si < , entonces .
Demostracion. Sea u , por denici on u, v 0 para todo v , luego u, w 0
para todo w < , es decir, u .
Observaci on 1.2.6. Sin embargo, no siempre es cierto que si < , entonces
< . Si consideramos en R
2
la cara = e
1
del cono = e
1
, e
2
. Efectivamente,
= e

1
, e

2
esta contenido en = e

1
, e

2
, e

2
, pero no es cara de porque no
existe

= tal que = .
Vamos a enunciar ahora una serie de resultados que usaremos para demostrar,
al nal de esta seccion, un resultado que establece una biyecci on entre las caras de
un cono y las caras de su dual .
Observaci on 1.2.7. Si =
1
+
2
, entonces =
1

2
.
Demostracion. Sean v
1
, ..., v
r
y w
1
, ..., w
s
generadores de los conos
1
y
2
res-
pectivamente. Consideramos =
1
+
2
y tenemos que = u (R
n
)

: u, v
0 v . Sean
i
= v
i
: 0 y
j
= w
i
: 0, en virtud del Lema 1.1.14,
tenemos que =
r

i=1

i

i=1

i
=
1

2
.
Observaci on 1.2.8. Si =
1

2
, entonces =
1
+
2
Demostracion. En la observaci on anterior, hemos visto que (
1
+
2
)=
1

2
.
Basta sustituir
1
y
2
por
1
y
2
en la igualdad respectivamente para obtener la
demostraci on.
Gracias a estas observaciones, ahora podemos dar el siguiente resultado sobre el
c alculo de la dimension del dual de un cono dado.
Proposicion 1.2.9. Sea un cono en R
n
, entonces dim( ) = codim( ()).
1.2. CARAS 13
Demostracion. Por denicion, dim( ) = dim( +( )). En virtud de la observaci on
anterior, +( ) = (()). Ahora bien, tenemos que (())= (())

ya
que v () implica que v (), luego cualquier elemento u (())
cumple que u, v 0 y u, v 0, es decir, u, v = 0, luego u ( ())

.
As nalmente, dim( ) = dim(( ())

) = codim( ()), como queramos


ver.
Proposicion 1.2.10. Si =

, con , es una cara de , entonces:


= +R
0
()
Demostracion. Dado que ambos miembros de la igualdad son conos, bastara probar
que sus duales coinciden. Por un lado, tenemos que

= y por el otro ( +)=
=

= . Vamos a concretar algunos detalles de la segunda igualdad.


Si v , entonces , v 0 porque v y, dado que , v 0
porque v , debe ser , v = 0. Por otro lado, si v

entonces , v = 0
que tambien implica , v = 0 luego v .
Ejemplo 1.2.11. Consideramos el cono = e
1
, e
2
y queremos calcular el dual
de la cara = e
2
= (e

1
)

. Por la proposicion anterior, tenemos que =


+e

1
= e

1
, e

1
, e

2
.
l 0 l
-
e
2
*
e
1
*
=
e
1
e
2
0
t
t
s
s
Vamos a denir la noci on de interior relativo de un cono y algunos resultados re-
lacionados con esta denicion que tambien nos ser an utiles en la prueba del Teorema
1.2.17
Denici on 1.2.12. El interior relativo

de un cono es el conjunto de elementos
de que no pertenecen a ninguna cara estricta de , es decir,

= v : , v > 0 para todo

.
Este conjunto es siempre no vaco. En particular, el cono 0 es igual a su interior
relativo.
14 CAP

ITULO 1. CONSTRUCCI

ON DE VARIEDADES T

ORICAS
Observaci on 1.2.13. El interior relativo

de un cono coincide con el interior
topologico de para la topologa usual del subespacio vectorial que genera.
Demostracion. Esto es consecuencia de que sabemos que si = u
1
, ..., u
t
, entonces
=
t

i=1
H
u
i
=
t

i=1
v R
n
: u
i
, v 0. La frontera topol ogica de con la topologa
usual es la intersecci on de los hiperplanos H
i
= v R
n
: u
i
, v = 0, lo que nos
lleva a que el interior topol ogico de con la topologa usual coincide con el interior
relativo.
Denicion 1.2.14. La union de las caras estrictas de ,

, se denomina borde
relativo de .
Proposicion 1.2.15. Dado un cono , se tiene que un elemento v esta en su
interior relativo

si, y solo si, v

.
Demostracion. Dados v y u , la igualdad u, v = 0 implica que u

si,
y s olo si, v

, ya que si v

, entonces u, v > 0 para todo w

, luego
si u, v = 0, entonces u

. Recprocamente, si u

, entonces u, x = 0 para
todo x . Tenemos, por hipotesis, que u, v = 0 ya que u

, luego w, v > 0
si w

, as que v

.
Veamos ahora que dado v , se cumple que v

si, y solo si, v

.
Para la implicaci on directa, sabemos que para todo v siempre se verica que

. Veamos que si v

, entonces se tiene la otra contenci on. Si u v

,
entonces u, v = 0, luego u

por la observacion anterior. Para la implicaci on


recproca, consideramos w

y tenemos que w, v > 0 porque w / v

, luego
v

.
Inclumos a continuaci on un resultado auxiliar que vamos a necesitar para dar
la prueba del Teorema 1.2.17.
Lema 1.2.16. Sea f : X Y una aplicacion suprayectiva y sean g, h : Y Z
tales que g f = h f. Entonces g = h.
Demostracion. Supongamos que g ,= h, entonces existe y Y tal que g(y) ,= h(y).
Como f es suprayectiva, existe x X tal que f(x) = y. Luego g(y) = g f(x) ,=
h f(x) = h(y) y, por tanto, g f ,= h f.
Finalmente, podemos probar la existencia de una biyeccion entre las caras de un
cono y las caras de su cono dual.
1.2. CARAS 15
Teorema 1.2.17. Si < , entonces

es una cara de con dim()+dim(

) = n. Esto nos da una biyeccion (con inversion de orden) entre las caras de y
las caras de .
Demostracion. Vamos a hacer la demostraci on por pasos:
Primero demostramos que si < , entonces

<
Las caras de son conos de la forma v

con v

N = N. Sea v
contenido en el interior relativo de , tenemos que:
v

= v

Estas igualdades se deben al hecho de que < entonces (por la


Observacion 1.2.5) y como v

, entonces v

(por la Proposici on
1.2.15). Esto prueba que

es una cara de .
Probemos que se verica la siguiente igualdad para las dimensiones,
dim() + dim(

) = n
Consideramos dim() = p n y dim() = q p.
Tenemos que si

= ( ), entonces

= ( ) = ( ).
As, podemos hacer la siguiente sustituci on dim(

) = dim(
( )) = dim(( + ())) por la Observaci on 1.2.7.
Finalmente, en virtud de la Proposici on 1.2.9, dim(( + ())) =
codim(( + ()) (() + )) = codim( + ()) = n q, tal co-
mo queramos ver.
Esta construcci on nos da una biyeccion (con inversion de orden) entre las caras
de y las caras de . Vamos a denotar por H a dicha biyecci on, de forma que
H es la aplicaci on:
H : Caras de Caras de

Sean y caras de con < , veamos que H invierte el orden, es decir,

<

. Dado que < , tenemos que

, luego

. Vamos a ver ahora que H es biyectiva. Ya hemos visto que es suprayectiva,


16 CAP

ITULO 1. CONSTRUCCI

ON DE VARIEDADES T

ORICAS
pues dada una cara , esta ser a de la forma v

con v y existe una cara


< ,tal que v est a en el interior relativo de , con v

como
hemos probado antes. Veamos que es inyectiva. Vamos a probar primero que

. Tenemos que

= (

= (

< =

Una vez demostrado que

, podemos armar que

porque H in-
vierte el orden y que

porque tambien es un cono y podemos conside-


rar

H la aplicacion con dominio en el conjunto de caras de . Luego

.
Ahora, consideramos la aplicacion G denida por G(

) = H(

H(

)) =

y de la igualdad

, deducimos que Id H = G H. Dado que H


es suprayectiva y en virtud del Lema 1.2.16, tenemos que G=Id. Dado que
G = H

H, tenemos que

H es inyectiva.
Por ultimo, basta probar que

H H = Id para ver que H es inyectiva y
concluir que H es biyectiva. Supongamos que

H H ,= Id, es decir, que
existe una cara de tal que

H H() = ,= . Dado que

H es su-
prayectiva (se puede comprobar repitiendo el proceso que hicimos para com-
probar que H es suprayectiva), tenemos que existe una cara de tal que

H() = . Es decir, que



H(H(

H())) = . Sin embargo, H(

H()) = , luego

H(H(

H())) =

H() = , pero tenamos que

H() = ,= , luego llegamos
a una contradiccion.
1.3. Monoides
Uno de los pasos en la construccion de variedades t oricas es obtener un monoide
a partir del dual de un cono. En esta secci on, deniremos el concepto de monoide y
una serie de resultados para poder realizar el paso mencionado.
Denici on 1.3.1. Un semigrupo (es decir, un conjunto no vaco S con una operacion
interna asociativa +) se llama monoide si es conmutativo, posee elemento neutro 0
y cumple la ley de simplicacion:
s + t = s

+ t = s = s

para s, s

, t S
1.3. MONOIDES 17
Lema 1.3.2. Si es un cono, entonces N es un monoide.
Demostracion. Es directo que la suma de elementos del conjunto N es asociativa,
conmutativa y posee elemento neutro (0,
n
..., 0) R
n
puesto que la operacion hereda
las propiedades de su homologa en el espacio vectorial R
n
. En cuanto a la ley de
simplicaci on, dados dos elementos (x
1
, ..., x
n
) y (y
1
, ..., y
n
) en N , para cualquier
elemento (z
1
, ..., z
n
) N que cumpla (x
1
+z
1
, ..., x
n
+z
n
) = (y
1
+z
1
, ..., y
n
+z
n
),
tenemos que x
i
= y
i
para i = 1, ..., n. Luego efectivamente, tambien se cumple la ley
de simplicacion.
Denicion 1.3.3. Un monoide S est a nitamente generado si existen elementos
a
1
, ..., a
k
S tales que:
para todo s S se tiene que s =
1
a
1
+ +
k
a
k
con
i
Z
0
.
Los elementos a
1
, ..., a
k
se llaman generadores del monoide. Un sistema de generado-
res es mnimo si ninguno de sus elementos est a generado por el resto de elementos
del sistema.
Lema 1.3.4 (Lema de Gordan). Si es un cono racional, entonces N es un
monoide nitamente generado.
Demostracion. Sea un cono racional y A = v
1
, ..., v
k
un conjunto de generadores
de , con v
i
N. Consideramos el conjunto K =
k

i=1
t
i
v
i
, 0 t
i
1 que es
compacto y, dado que N es discreto, tenemos que KN es nito. Veamos que KN
genera N. Sea v N, entonces v =
1
v
1
+ +
k
v
k
= (n
1
+ r
1
)v
1
+ +
(n
k
+ r
k
)v
k
= n
1
v
1
+ + n
k
v
k
+ 1
k

i=1
r
i
v
i
con n
i
Z
0
y 0 r
i
< 1. Dado que
v
i
K N y que
k

i=1
r
i
v
i
K N, ya tenemos lo que queramos.
Notacion 1.3.5. A partir de ahora, denotaremos S

= M.
Vamos a dar ahora una serie de ejemplos de monoides obtenidos a partir de los
conos del Ejemplo 1.1.6.
Ejemplo 1.3.6. En R
2
consideramos el cono = 2e
1
e
2
, e
2
y hallamos S

18 CAP

ITULO 1. CONSTRUCCI

ON DE VARIEDADES T

ORICAS
e
1
0
2e
2
e
1
+
* *
*
e
2
0
g
e
2
2e
1
-
S
g
En este ejemplo S

, marcado con los puntos grandes, no esta generado por los


vectores que generan = e

1
, e

1
+ 2e

2
sino que hay que a nadir el vector e

1
+ e

2
al conjunto de generadores de S

. Sin embargo, el lema de Gordan garantiza que el


conjunto de generadores es nito y, si seguimos la demostracion del lema de Gordan,
basta con elegirlos de entre los vectores contenidos en el conjunto K denido en la
demostracion.
Ejemplo 1.3.7. En R
2
consideramos el cono = e
1
, e
2
y hallamos S

e
1
e
2
0
s
e
1
e
2
0
*
*
Vemos en este caso que S

s que esta generado por los vectores que generan


= e

1
, e

2
.
Ejemplo 1.3.8. En R
2
consideramos el cono = e
1
y hallamos S

e
1
0
t
e
2
0
*
-e
2
*
e
1
*
t
1.3. MONOIDES 19
En este ejemplo S

tambien esta generado por los vectores que generan =


e

1
, e

2
, e

2
.
Proposicion 1.3.9. Sea un cono racional y =

una cara de , con S

,
entonces:
S

= S

+Z
0
()
Demostracion. Se prueba directamente intersecando ambos miembros de la igualdad
de la Proposici on 1.2.10 con M = (Z
n
)

.
Finalmente, vamos a demostrar un resultado que ser a util en secciones posterio-
res:
Lema 1.3.10. Sea un cono fuertemente convexo, el monoide Z
n
tiene un unico
sistema mnimo de generadores.
Demostracion. Sean a
1
, ..., a
l
y b
1
, ..., b
m
dos sistemas mnimos de generadores
distintos de N y podemos suponer que b
1
/ a
1
, ..., a
l
. Entonces, existen com-
binaciones
b
1
=
l

j=1

j
a
j
con
j
Z
0
y
a
i
=
m

k=1

ik
b
k
con
ik
Z
0
para i = 1, ..., l.
Operando adecuadamente, obtenemos que
b
1
=
m

k=1

k
b
k
con
k
=
l

j=1

jk
.
Dado que los b
k
forman un sistema mnimo de generadores del monoide, debe ser

1
> 0 o si no, b
1
sera combinaci on del resto de b
k
del sistema. Por otro lado, tambien
se cumple que
1
1. De no ser as, podemos obtener b
1
como combinaci on de
los generadores b
2
, ..., b
m
, es decir, que b
1
, pero eso entra en contradicci on
con que es fuertemente convexo. Luego
1
= 1 y
k
= 0 para todo k 2. Como
consecuencia,
j

jk
= 0 para todo j = 1, ..., l y k = 2, ..., m.
Como
1
=
l

j=1

j1
= 1, entonces existe j
0
tal que
j
0

j
0
1
= 1 y
j

j1
= 0
para todo j ,= j
0
. Luego
j
0
=
j
0
1
= 1. Por lo tanto, como
j
0
k
= 0 para todo
k = 2, ..., m, tenemos que a
j
0
=
m

k=1

j
0
k
b
k
=
j
0
1
b
1
= b
1
.
20 CAP

ITULO 1. CONSTRUCCI

ON DE VARIEDADES T

ORICAS
Si suponemos que existe s ,= j
0
tal que
s
,= 0, entonces
sk
= 0 para todo
k = 2, ..., m, por lo tanto, a
s
=
s1
b
1
.
Luego,
b
1
= a
j
0
+ a
s
+
l

j=j
0
,s

j
a
j
= b
1
+
s1
b
1
+
l

j=j
0
,s

j
a
j
Simplicando, tenemos que
l

j=j
0
,s

j
a
j
=
s1
b
1
, es decir, que b
1
. Pero esto
vuelve a contradecir nuevamente la hipotesis de que sea fuertemente convexo.
Luego, b
1
=
j
0
a
j
0
= a
j
0
, en contradiccion con la suposicion de que b
1
/ a
1
, ..., a
l
.
Captulo 2
Variedades anes toricas
Hasta ahora ya hemos alcanzado el tercer paso en nuestra construcci on de va-
riedades toricas anes. Vamos a construir, a partir de los monoides de la forma S

que hemos denido en la secci on anterior, algebras sobre el cuerpo de los n umeros
complejos. Finalmente, de estas algebras y mediante el uso de herramientas propias
de la geometria algebraica, llegaremos a dar una denicion de variedad t orica afn.
2.1. Polinomios de Laurent
Denotemos por C[z, z
1
] = C[z
1
, ..., z
n
, z
1
1
, ..., z
1
n
] el anillo de polinomios de
Laurent. Escribiremos un monomio de Laurent de la forma z

= z

1
1
z

n
n
con
C

y = (
1
, ...,
n
) Z
n
. El siguiente paso para denir variedades t ori-
cas esta basado en el siguiente isomorsmo entre el grupo aditivo Z
n
y el grupo
multiplicativo de monomios monicos de Laurent:
: Z
n
(Z
n
) C[z, z
1
]
= (
1
, ...,
n
) z

= z

1
1
z

n
n
Veamos que es un isomorsmo de Z
n
en (Z
n
).
es homomorsmo de grupos. Sean = (
1
, ...,
n
) Z
n
y = (
1
, ...,
n
)
Z
n
, tenemos que: (+) = (
1
+
1
, ...,
n
+
n
) = z

1
+
1
z

n
+
n
= z

es inyectiva. Directamente, si (
1
, ...,
n
) = z

1
1
z

n
n
= z

1
1
z

n
n
=
(
1
, ...,
n
) entonces
i
=
i
, i 1, ..., n
21
22 CAP

ITULO 2. VARIEDADES AFINES T

ORICAS
es suprayectiva porque el recorrido de la aplicaci on es la imagen del dominio
por .
Denici on 2.1.1. El soporte de un polinomio de Laurent f =

finita

a
z
a
se dene
por:
supp(f) = a Z
n
:
a
,= 0
Proposicion 2.1.2. Para un cono racional , el anillo
R

= f C[z, z
1
] : supp(f) S

es un algebra monomial nitamente generada (es decir, es una C-algebra generada


por monomios de Laurent).
Demostracion. Para probar que es una C- algebra, basta considerar como se com-
porta el soporte para la suma, producto y producto por escalares de polinomios
de Laurent. El soporte de la suma de monomios de Laurent est a contenido en la
uni on de los soportes de ambos sumandos. El soporte del producto de un polino-
mio por un escalar no nulo permanece constante. El soporte del producto de dos
monomios de Laurent es la suma de los soportes de los factores, que esta en S

porque es un monoide. Veamos que R

es nitamente generada. Sabemos que exis-


ten v
1
, ..., v
n
S

que generan S

(por el lema de Gordan). Dada la biyecci on


entre Z
n
y (Z
n
), tenemos que dado x S

, x =
1
v
1
+ +
n
v
n
,
i
Z
0
,
entonces (x) = z
x
= (z
v
1
)

1
(z
v
n
)

n
. Es decir, que cualquier monomio z
x
R

est a generado por z


v
1
, ..., z
v
n
.
2.2. Algunos resultados basicos de geometra al-
gebraica
En esta seccion vamos a recordar algunos resultados de geometra algebraica que
utilizaremos en la construcci on de variedades t oricas. Como referencia principal para
esta seccion se puede consultar el libro Algebraic Geometry de R. Hartshorne [Hart].
Pese a que todos los resultados que vamos a dar ahora se pueden enunciar sobre
cualquier cuerpo k, nosotros elegiremos darlos sobre el cuerpo C de los n umeros
complejos y denotaremos C[] = C[
1
, ...,
k
] el anillo de polinomios en k variables
sobre C.
2.2. ALGUNOS RESULTADOS B

ASICOS DE GEOMETR

IA ALGEBRAICA 23
Denici on 2.2.1. Dado un subconjunto E C[], el siguiente conjunto
V (E) = x C
k
: f(x) = 0 para todo f E
se llama el conjunto algebraico afn denido por E. Sea I el ideal generado por E,
entonces V(I)=V(E). Un subconjunto X de C
k
se dice que es un conjunto algebraico
afn si existe un subconjunto E C[] tal que X = V (E).
Denici on 2.2.2. Dado un subconjunto X C
k
, denimos:
I(X) = f C[] : f[
X
= 0
llamado el ideal de X.
Observaci on 2.2.3. Por lo tanto, tenemos que la aplicacion V manda subconjuntos
de C[] en conjuntos algebraicos anes y la aplicacion I manda subconjuntos de C
k
en ideales. Estas aplicaciones cumplen las propiedades siguientes cuya demostracion
se puede encontrar en [Hart, Pag. 3]
1. Si E
1
E
2
son subconjuntos de C[], entonces V (E
1
) V (E
2
).
2. Si X
1
X
2
son subconjuntos de C
k
, entonces I(X
1
) I(X
2
).
3. Dados dos subconjuntos X
1
, X
2
de C
k
, tenemos que I(X
1
X
2
) = I(X
1
)
I(X
2
).
Observaci on 2.2.4. Se puede demostrar que la union de dos conjuntos algebraicos,
la interseccion de cualquier familia de conjuntos algebraicos, el conjunto vaco y el
conjunto C
k
son conjuntos algebraicos (ver Proposicion 1.1. [Hart, Pag. 2]).
Denici on 2.2.5. En base a la observacion anterior, podemos denir la topologa de
Zariski sobre el espacio C
k
tomando como conjuntos abiertos los complementarios
de los conjuntos algebraicos en C
k
.
Observaci on 2.2.6. Dado que los cerrados de la topologa de Zariski en C
k
se co-
rresponden con los conjuntos de ceros de polinomios en C[], tenemos que la topologa
de Zariski en C
k
es menos na que la topologa usual en C
k
.
Denici on 2.2.7. Un subconjunto no vaco Y de un espacio topol ogico X es irre-
ducible si no se puede expresar como la uni on de dos subconjuntos propios de X,
cada uno de ellos cerrados en Y. El conjunto vaco no se considera irreducible.
24 CAP

ITULO 2. VARIEDADES AFINES T

ORICAS
Vamos a dar unos resultados sobre conjuntos irreducibles que nos ser an utiles en
captulos posteriores.
Denici on 2.2.8. Un ideal p en un anillo conmutativo R se dice que es primo si
p ,= R y para todo a, b R, se cumple:
ab p = a p o b p
Proposicion 2.2.9. Dado un anillo conmutativo R, un ideal p R es primo si, y
solo si, el anillo cociente R/p es dominio de integridad.
Demostracion. Ver [Hung, Pag. 127].
Proposicion 2.2.10. Un conjunto algebraico es irreducible si, y solo si, el ideal que
lo genera es primo.
Demostracion. Ver [Hart, Pag. 4].
Proposicion 2.2.11. Sean X

e Y

espacios topologicos y f : X Y un homeo-


morsmo con X X

e Y Y

. Se cumple que si X es irreducible en X

, entonces
Y es irreducible en Y

.
Demostracion. Supongamos, por reduccion al absurdo, que Y no es irreducible en
Y

. Entonces Y = Y
1
Y
2
con Y
1
, Y
2
subconjuntos propios de Y cerrados en Y . Dado
que f es homeomorsmo, tenemos que f
1
es continua, luego f
1
(Y
1
) y f
1
(Y
2
)
son cerrados en X y adem as, como la aplicacion f es biyectiva, tenemos que X =
f
1
(Y
1
) f
1
(Y
2
), luego X no es irreducible en X

. Esto contradice la hipotesis,


as que Y debe ser irreducible en Y

.
Denicion 2.2.12. Una variedad algebraica afn (o simplemente variedad afn) es
un subconjunto cerrado irreducible de C
n
respecto de la topologa de Zariski. Un
subconjunto abierto de una variedad afn es una variedad cuasi-afn.
Tenemos el siguiente resultado que relaciona un ideal a de C[] con el ideal
I(V (a)).
Teorema 2.2.13 (Teorema de los ceros de Hilbert (Nullstellensatz)). Sea a C[]
un ideal, entonces se tiene que
I(V (a)) =

a
donde

a es el radical del ideal a.


2.2. ALGUNOS RESULTADOS B

ASICOS DE GEOMETR

IA ALGEBRAICA 25
Dado un punto x = (x
1
, ..., x
k
) C
k
, denotaremos /
x
= (
1
x
1
, ...,
k
x
k
),
que es un ideal maximal (ver Ejemplo 1.4.4. [Hart, Pag. 4]). Como consecuencia del
resultado anterior, tenemos
Teorema 2.2.14 (Version debil del Nullstellensatz). Todo ideal maximal en C[] se
puede escribir como /
x
para un punto x C
k
.
Corolario 2.2.15. La correspondencia x /
x
es una biyeccion entre puntos de
C
k
e ideales maximales de / de C[].
C
k
/ C[], / ideal maximal = Spec(C[])
Esto nos permite dar la siguiente descripci on del conjunto V (I) para un ideal I.
Lema 2.2.16. Sea I un ideal de C[], entonces V (I) = x C
k
: I /
x
.
Demostracion. Lo probaremos por doble contenido:
) Sea x C
k
con I /
x
, entonces, para todo f I, tenemos que f() =
f
1
()(
1
x
1
) + + f
k
()(
k
x
k
), luego x V (I).
) Sea x V (I), entonces /
x
= I(x) I(V (I)) =

I I, como
queramos probar.
Denicion 2.2.17. Denotaremos el ideal de V = V (I) por I
V
= I(V (I)). Dire-
mos que R
V
= C[]/I
V
es el anillo coordenado del conjunto algebraico afn V(I).
Est a generado como C- algebra por las clases

j
de las funciones coordenadas
j
.
Teniendo en cuenta la relaci on entre los ideales maximales de C[] y C[]/I
V
(ver
Lema 1.20 [Ewa, Pag. 206]) obtenemos que los puntos de un conjunto algebraico afn
V = V (I) corresponden a los ideales maximales del anillo coordenado como muestra
el siguiente resultado.
Corolario 2.2.18. Existe una biyeccion:
V / R
V
: / ideal maximal = Spec(R
V
)
Observaci on 2.2.19. Dado un anillo R, para todo ideal a de R, denotamos V (a) =
m Spec(R) : a m. Tenemos que se cumplen las siguientes propiedades (ver
Lema 2.1. [Hart, Pag. 70])
26 CAP

ITULO 2. VARIEDADES AFINES T

ORICAS
1. Si a y b son ideales de R, entonces V (ab) = V (a) V (b).
2. Si a
i
es una familia de ideales de R, entonces V (

i
a
i
) =

i
V (a
i
).
Denici on 2.2.20. En base a la observaci on anterior y el Lema 2.2.16, podemos
denir la topologa de Zariski sobre el conjunto de ideales maximales de R, Spec(R),
tomando como conjuntos abiertos los complementarios de los conjuntos V (a) donde
a es un ideal de R.
Como consecuencia del Corolario 2.2.18, dada la topologa de Zariski en ambos
lados de la biyecci on, tenemos el homeomorsmo:
V

= Spec(R
V
)
Cada C- algebra R determina una variedad compleja afn Spec(R). Si elegimos
generadores de R, la C- algebra R se puede escribir como C[
1
, ...,
k
]/I donde I es
un ideal. Entonces Spec(R) se puede identicar con la subvariedad V(I) de C
k
.
2.3. Variedades anes toricas
En esta secci on describimos como se construye la variedad torica afn asociada a
un cono racional.
Denici on 2.3.1. La variedad afn torica correspondiente al cono racional es
X

:= Spec(R

).
Dado que la denici on de variedad t orica es demasiado abstracta para poder ma-
nejarla, nos interesa buscar una representacion de la misma en un adecuado espacio
afn C
k
. Estas representaciones geometricas se obtienen introduciendo coordenadas,
que se corresponden con una elecci on de generadores de S

.
El homeomorsmo V

= Spec(R
V
) muestra como podemos representar R

como
un anillo coordenado de varias maneras, seg un c omo elijamos los generadores de
S

. Diferentes elecciones dan diferentes representaciones de la variedad afn t orica


Spec(R

) en distintos espacios complejos C


k
. En adelante, denotaremos X

a algu-
na de esas representaciones, ya que todas son homeomorfas.Vamos a ver como se
construyen dichas variedades a traves de un ejemplo, para luego dar el caso general.
Por ultimo, veremos c omo dar la representaci on que hemos esbozado.
2.3. VARIEDADES AFINES T

ORICAS 27
Ejemplo 2.3.2. Tomamos el cono = e
2
, 2e
1
e
2
. Sea a
1
= e

1
, a
2
= e

1
+ e

2
y
a
3
= e

1
+ 2e

2
el sistema de generadores de S

. Por el isomorsmo , tienen una


correspondencia con los monomios de Laurent u
1
= z
1
, u
2
= z
1
z
2
y u
3
= z
1
z
2
2
. La
C-algebra R

se puede representar por:


R

= C[u
1
, u
2
, u
3
] = C[
1
,
2
,
3
]/I

donde la relacion a
1
+ a
3
= 2a
2
nos proporciona la relacion entre coordenadas
u
1
u
3
= u
2
2
. El ideal I

estara generado por la relacion


1

3
=
2
2
y la variedad
torica correspondiente al cono esta representada en C
3
por el cono cuadratico:
X

= V (I

) = x = (x
1
, x
2
, x
3
) C
3
: x
1
x
3
= x
2
2
.
Observaci on 2.3.3. En el caso general, el procedimiento es similar. Sean
a
1
, ..., a
k
un sistema de generadores de S

cada uno de ellos escritos de la for-


ma a
i
= (a
1
i
, ..., a
n
i
) S

. Por el isomorsmo , obtenemos los monomios de Lau-


rent u
i
= z
a
i
= z
a
1
i
1
z
a
n
i
n
C[z, z
1
]. La C-algebra R

= C[u
1
, ..., u
k
] se puede
representar por:
R

= C[
1
, ...,
k
]/I

para un ideal I

que determinamos de la siguiente forma. Expresamos las relaciones


entre los generadores de S

de la forma:
k

j=1

j
a
j
=
k

j=1

j
a
j
, con
j
,
j
Z
0
de donde obtenemos, gracias al isomorsmo , las relaciones monomiales:
(z
a
1
)

1
(z
a
k
)

k
= (z
a
1
)

1
(z
a
k
)

k
con z
a
i
= z
a
1
i
1
z
a
n
i
n
, es decir, las relaciones:
u

1
1
u

k
k
= u

1
1
u

k
k
entre las coordenadas y nalmente las relaciones binomiales:

1
1

k
k
=

1
1

k
k
(2.1)
que generan I

.
Ahora podemos construir representaciones de variedades toricas como sigue:
28 CAP

ITULO 2. VARIEDADES AFINES T

ORICAS
Teorema 2.3.4. Sea un cono racional en R
n
y A = (a
1
, ..., a
k
) un sistema de
generadores de S

, la correspondiente variedad torica X

esta representada por la


variedad afn V (I

) C
k
donde I

es un ideal de C[
1
, ...,
k
] generado por un n ume-
ro nito de relaciones binomiales de la forma (2.1) correspondientes a las relaciones
entre los generadores de S

.
Demostracion. Primero demostraremos que el conjunto
poslin(A) = (, ) (R
0
)
k
(R
0
)
k
:
k

j=1

j
a
j
=
k

j=1

j
a
j

de relaciones lineales positivas entre los generadores de S

es un cono racional en
R
2k
y, por lo tanto, el conjunto de relaciones lineales enteras y positivas
(, ) (Z
0
)
k
(Z
0
)
k
:
k

j=1

j
a
j
=
k

j=1

j
a
j

es un monoide nitamente generado por el lema de Gordan. Luego basta probar que
todo elemento de I

est a generado por una colecci on de relaciones binomiales como


describimos en (2.1).
Dados , poslin(A), tenemos que + poslin(A) y t poslin(A)
para todo t R
0
, luego poslin(A) es un cono en R
2n
.
Ahora bien, para un polinomio f() =

(Z
0
)
k

, tenemos que f(u) =

(Z
0
)
k

(Z
0
)
k

z
A
, donde z
A
= (z
a
1
)

1
(z
a
k
)

k
. Luego para todo
a S

, el coeciente c
a
de z
a
es

{:A=a}

. Tenemos que f I

si, y solo
si, todos los c
a
se anulan. Luego, en ese caso, si existe

,= 0 para alg un
Z
0
, entonces por ser S

un monoide, existe ,= que cumple que


A = A y

,= 0. El correspondiente binomio

) est a en I

(porque u

= z
A
z
A
= 0). Restandolo de f, llegamos a un polinomio
en I

con estrictamente menos terminos que f (f() = h() +

, luego
f()

= h() que tiene estrictamente menos terminos que f). Dado que
el n umero de terminos de f es nito, llegaremos a un punto en que todos los
c
a
= 0, luego f I

y ademas, est a generado por relaciones binomiales de la


forma (

) como hemos construdo arriba.


2.3. VARIEDADES AFINES T

ORICAS 29
Veamos ahora que dadas dos representaciones de una variedad torica, existe un
cambio de coordenadas entre ellas que nos permite manejar cualquiera de ellas sin
que por ello cambien las propiedades de la variedad.
Lema 2.3.5. Si R

= C[u
1
, ..., u
k
] y R

= C[v
1
, ..., v
l
] son dos representaciones de
R

, entonces existe un cambio de coordenadas entre (u


1
, ..., u
k
) y (v
1
, ..., v
l
).
Demostracion. Consideramos los sistemas de generadores a
1
, ..., a
k
y b
1
, ..., b
l
del
monoide S

tales que u
i
= z
a
i
y v
j
= z
b
j
. Dado que ambos son sistemas generadores,
se puede expresar los elementos de un sistema generador como combinaciones lineales
de los elementos del otro. De esta manera, b
j
=
k

i=1

j
i
a
i
con
j
i
Z
0
. Esto conduce,
mediante el isomorsmo a que v
j
= z
b
j
= z

j
1
a
1
z

j
k
a
k
= u

j
1
1
u

j
k
k
, es decir, el
cambio de coordenadas que busc abamos.
Ejemplo 2.3.6. Consideremos el cono = 0, el cono dual sera = (R
n
)

.
Podemos elegir diferentes sistemas de generadores de S

, por ejemplo:
e

1
, ..., e

n
, e

1
, ..., e

Tendremos que R

sera la C-algebra:
R

= C[z
1
, ..., z
n
, z
1
1
, ..., z
1
n
] = C[
1
, ...,
2n
]/I

donde
I

= C[](
1

n+1
1) + +C[](
n

2n
1)
luego, X

= V (
1

n+1
1, ...,
n

2n
1). Para n=1, la variedad obtenida es una
hiperbola compleja con asntotas en los ejes
1
= 0 y
2
= 0. Se puede proyectar de
forma biyectiva sobre el eje
2
= 0 obteniendo C

. Del mismo modo, para el caso


general, tenemos que X

es homeoforma a
T = (z
1
, ..., z
n
) C
n
: z
i
,= 0, i = 1, ..., n = (C

)
n
usando la proyeccion C
2n
C
n
en las primeras n coordenadas.
Denici on 2.3.7. El conjunto T = (C

)
n
se llama n-toro algebraico complejo.
Observaci on 2.3.8. Tenemos que el n-toro algebraico complejo cumple las siguien-
tes propiedades:
30 CAP

ITULO 2. VARIEDADES AFINES T

ORICAS
1. T incluye al toro real ya que T

= (S
1
)
n
(R
>0
)
n
.
2. T es cerrado como subconjunto de C
2n
, pero no lo es como subconjunto de C
n
.
Demostracion. 1. Basta considerar los puntos z C

en sus coordenadas polares


(, ), es decir, z = e
i
. Dado que cada elemento en C

est a unvocamente
determinado por su m odulo y argumento, tenemos que la aplicaci on
f : (C

)
n
(R
>0
)
n
(S
1
)
n
(z
1
, ..., z
n
) ([z
1
[, ..., [z
n
[, z
1
/[z
1
[, ..., z
n
/[z
n
[)
es una biyecci on. Por otro lado, las condiciones de continuidad necesarias para
que f sea un homeomorsmo son faciles de comprobar respecto de las topo-
logas usuales en cada uno de los conjuntos mencionados. Para ver una prueba
m as detallada, consultar [Ewa, Pag. 229-230].
2. Dado que la topologa usual es m as na que la topologa de Zariski, podemos
ver que en la topologa usual (C

)
n
= C
n
, luego T no es cerrado en C
n
. Sin
embargo, T es cerrado en C
2n
porque se dene como la subvariedad T =
V (
1

n+1
1, ...,
n

2n
1) C
2n
.
Vamos a enunciar el siguiente resultado auxiliar sobre topologa general para
poder probar a continuaci on un resultado muy importante sobre variedades toricas,
pues es la principal propiedad de las variedades t oricas que las distingue de otras
variedades algebraicas.
Observaci on 2.3.9. Sean
1
y
2
dos topologas denidas sobre X tales que
1

2
,
entonces para cualquier A X se cumple que A

2
A

1
.
Demostracion. Sea x A

2
, entonces x U para todo U
2
tal que U A ,= ,
pero como U
2

1
, tenemos que x U para todo U
1
con U A ,= , luego
x A

1
.
Proposicion 2.3.10. Sea un cono racional en R
n
, la variedad torica afn X

contiene al toro T = (C

)
n
como un subconjunto abierto de Zariski denso.
Demostracion. Sea a
1
, ..., a
k
el conjunto de generadores del monoide S

y sea
V (I

) C
k
una representaci on de X

. Sean a
i
= (a
1
i
, ..., a
n
i
) Z
n
y t T con
2.3. VARIEDADES AFINES T

ORICAS 31
t = (t
1
, ..., t
n
) (C

)
n
. El embebimiento h : T X

est a dado por:


h : T X

t = (t
1
, ..., t
n
) (t
a
1
, ..., t
a
k
)
donde t
a
i
= t
a
1
i
1
t
a
n
i
n
C

. Probemos que h es una biyeccion de (C

)
n
en X

(C

)
k
.
Est a bien denida. Sea t = (t
1
, ..., t
n
) T, tenemos que t
i
,= 0 para todo i,
luego t
a
j
i
i
,= 0 para todo i, j. De aqu, t
a
1
i
1
t
a
n
i
n
,= 0, luego t
a
1
i
1
t
a
n
i
n
C

,
as que (t
a
1
, ..., t
a
k
) (C

)
k
y, dado que a
1
, ..., a
k
generan S

, nalmen-
te obtenemos que R

= C[z
a
1
, ..., z
a
k
] = C[
1
, ...,
k
]/I

, por consiguiente,
(t
a
1
, ..., t
a
k
) V (I

).
Es inyectiva. Bastar a comprobar que podemos construir la aplicaci on inversa.
Sea a S

tal que a + e

i
S

, con e

1
, ..., e

n
base de (R
n
)

. Los monomios
de Laurent z
a
= f
0
(u), z
a+e

i
= f
i
(u) estan en R

= C[u] C[z, z
1
]. Sea t =
(t
1
, ..., t
n
) T con h(t) = x X

(C

)
k
, entonces f
i
(h(t)) = t
i
t
a
= t
i
f
0
(h(t))
luego t
i
= f
i
(h(t))/f
0
(h(t)) = f
i
(x)/f
0
(x) (observemos que f
0
(h(t)) ,= 0 por-
que t T).
Es suprayectiva. Sea x X

(C

)
k
, existe (f
1
(x)/f
0
(x), ..., f
n
(x)/f
0
(x)) :
h(f
1
(x)/f
0
(x), ..., f
n
(x)/f
0
(x)) = x (tenemos que f
0
(x) ,= 0, f
i
(x) ,= 0 para
i = 1, ..., n, porque x (C

)
k
).
Las condiciones de continuidad para que h sea un homeomorsmo se cumplen
porque la aplicacion h est a denida por monomios, as que para probar que
X

(C

)
k
es abierto, basta ver que (C

)
n
es abierto en C
n
, lo cual es cierto porque
(C

)
n
= C
n
(x
1
, ..., x
n
) C
n
: x
1
x
n
= 0 = C
n
V (x
1
x
n
).
Por otro lado, tenemos que en la topologa usual en C
k
, la adherencia
X

(C

)
k

usual
= X

y, dado que la topologa usual en C


k
es m as na que la topo-
loga de Zariski en C
k
, por la Observacion 2.3.9 tendremos que X

(C

)
k

usual

(C

)
k

Zariski
, luego X

(C

)
k

Zariski
= X

, asi que X

(C

)
k
es denso en
X

.
Observaci on 2.3.11. Esta ultima proposicion explica por que damos el nombre
torica a las variedades toricas.
Gracias a este ultimo resultado, podemos demostrar que las variedades toricas
son irreducibles, lo que nos permitira armar que las variedades toricas son varie-
dades anes en C
n
.
32 CAP

ITULO 2. VARIEDADES AFINES T

ORICAS
Proposicion 2.3.12. Las variedades toricas son irreducibles.
Demostracion. Primero demostraremos que dada una variedad t orica X

, entonces
(C

)
n
X

es irreducible en X

. Por la Proposicion 2.2.11, probar que (C

)
n
X

es irreducible en X

equivale a probar que (C

)
n
es irreducible en C
n
. Nuevamente,
debido a la Proposicion 2.2.11 y en base al Ejemplo 2.3.6, probar que (C

)
n
es irre-
ducible en C
n
es lo mismo que probar que V (
1

n+1
1, ...,
n

2n
1) es irreducible en
C
2n
. Como ya vimos en el Ejemplo 2.3.6, para el ideal I

= (
1

n+1
1, ...,
n

2n
1)
C[
1
, ...,
2n
] tenemos que el anillo coordenado R

= C[
1
, ...,
2n
/I

es de la forma
R

= C[z
1
, ..., z
n
, z
1
1
, ..., z
1
n
] que es anillo conmutativo y dominio de integridad,
luego por la Proposicion 2.2.9, tenemos que I

es ideal primo y, por la Proposici on


2.2.10, tenemos que V (
1

n+1
1, ...,
n

2n
1) es irreducible en C
2n
como queramos
ver.
Ahora vamos a probar que dado cualquier conjunto Y irreducible, entonces su adhe-
rencia Y tambien es irreducible. Podemos suponer por reduccion al absurdo que Y .
Entonces Y = Y
1
Y
2
con Y
1
, Y
2
subconjuntos propios de Y cerrados en Y . Tenemos
que Y Y = Y
1
Y
2
, luego Y Y
1
o Y Y
2
. Sin perdida de generalidad, suponer
que Y Y
1
. Tendremos que Y Y
1
Y , pero aplicando adherencias, tenemos que
Y Y
1
Y , es decir, que Y
1
= Y
1
= Y , lo que contradice que Y
1
sea subconjunto
propio, as que Y debe ser irreducible.
Finalmente, dado que (C

)
n
X

es irreducible y su adherencia es X

, tenemos que
X

es irreducible.
Ejemplo 2.3.13. Para los conos del Ejemplo 1.1.6, veamos cuales son los embebi-
mientos correspondientes seg un el Teorema 2.3.10.
Para el cono tenemos que S

esta generado por los vectores e

1
, e

2
, e

2
,
luego el embebimiento del toro en X

esta dado por (t


1
, t
2
) (t
1
, t
2
, t
1
2
).
Para el cono tenemos que S

esta generado por los vectores e

1
, e

2
, luego
el embebimiento del toro en X

esta dado por (t


1
, t
2
) (t
1
, t
2
).
Para el cono tenemos que S

esta generado por los vectores e

1
, e

1
+
e

2
, e

1
+ 2e

2
, luego el embebimiento del toro en X

esta dado por (t


1
, t
2
)
(t
1
, t
1
t
2
, t
1
t
2
2
).
Dada la estructura de espacio topol ogico de una variedad torica, podemos dar
su dimensi on. Vamos a recordar primero la denici on de dimension de un espacio
topologico:
2.3. VARIEDADES AFINES T

ORICAS 33
Denici on 2.3.14. Sea X un espacio topol ogico, denimos la dimension de X (de-
notada por dimX) como el supremo de todos los enteros n tal que existe una cadena
Z
0
Z
1
... Z
n
de subconjuntos irreducibles cerrados distintos de X. La dimen-
sion de una variedad afn o cuasi-afn es su dimensi on como espacio topologico.
Vamos a dar una caracterizaci on de la dimensi on de una variedad afn a partir
de su anillo coordenado.
Denici on 2.3.15. Dado un anillo R, denimos la dimension (de Krull) de R
(denotada por dimR) como el supremo de todos los enteros n tal que existe una
cadena p
0
p
1
... p
n
de ideales primos distintos de R.
Lema 2.3.16. Si Y es una variedad algebraica afn, entonces la dimension de Y es
igual a la dimension de su anillo coordenado R
Y
.
Demostracion. Ver [Hart, Pag. 6].
Corolario 2.3.17. La dimension de C
n
es n.
Demostracion. Dentro del anillo de polinomios C[
1
, ...,
n
] tenemos la siguiente ca-
dena de ideales primos (
1
) (
1
,
2
) ... (
1
, ...,
n
) = C[
1
, ...,
n
]. Luego la
dimensi on del anillo C[
1
, ...,
n
] es n y dado que es el anillo coordenado de C
n
, por
el Lema 2.3.16, tenemos que la dimensi on de C
n
es n.
Una vez denido el concepto de dimension de una variedad afn, veamos una
serie de resultados sobre dimension de variedades.
Proposicion 2.3.18. Si Y es una variedad cuasi-afn, entonces dimY = dim

Y .
Demostracion. Ver [Hart, Pag. 6].
Con estos resultados, nalmente podemos armar lo siguiente:
Corolario 2.3.19. Si es un cono racional en R
n
, entonces dimX

= n.
Demostracion. Para empezar, tenemos que (C

)
n
es abierto denso en C
n
como con-
secuencia de la Proposici on 2.3.10, luego la dimensi on de (C

)
n
es n debido a la
Proposicion 2.3.18. Del mismo modo, dado un cono R
n
, tenemos que (C

)
n
X

es abierto denso en X

, luego la dimensi on de X

es n.
Vamos a ver una serie de ejemplos de construccion de variedades t oricas anes
a partir de conos.
34 CAP

ITULO 2. VARIEDADES AFINES T

ORICAS
Ejemplo 2.3.20. Sea R
2
el cono siguiente:
e
1
e
2
0
s
e
1
e
2
0
s
*
*
e
1 =
s
< >
e
2
, e
1 =
s
< >
e
2
,
* *
Entonces S

esta generado por e

1
, e

2
, luego R

= C[
1
,
2
]. Por lo tanto, I

= 0
y X

= C
2
.
Ejemplo 2.3.21. Sea R
2
el cono siguiente:
e
1
0
t
e
1 =
t
< >
e
2
0
t
*
-e
2
*
e
1
*
=< >
e
2
*
e
1
*
-e
2
*
, , t
Entonces S

esta generado por e

1
, e

2
, e

2
, luego R

= C[u
1
, u
2
, u
3
] con u
2
= u
1
3
,
es decir, R

= C[
1
,
2
,
3
]/(
2

3
1). Por lo tanto, I

= (
2

3
1) y X

= C

1
C

2
.
Ejemplo 2.3.22. Podemos generalizar los Ejemplos 2.3.20 y 2.3.21 de la si-
guiente manera. Sea R
n
el cono generado por los vectores e
1
, ..., e
p
con
p n. Entonces S

esta generado por e

1
, ..., e

p
, e

p+1
, e

p+1
, ..., e

n
, e

n
, luego
R

= C[z
1
, ..., z
p
, z
p+1
, z
1
p+1
, ..., z
n
, z
1
n
] y X

= C
p
(C

)
np
.
Ejemplo 2.3.23. Consideramos en R
3
el cono e
1
, e
2
, e
3
, e
1
+ e
3
e
2
y tenemos
que S

= e

1
, e

3
, e

1
+ e

2
, e

3
+ e

2
, luego R

= C[u
1
, u
2
, u
3
, u
4
] con u
1
u
4
= u
2
u
3
, es
decir, R

= C[
1
,
2
,
3
,
4
]/(
1

3
). De aqu, obtenemos la variedad torica afn
X

= V (
1

4

2

3
), que por la Proposicion 2.3.10, contiene al toro (C

)
3
como
abierto Zariski denso.
Ejemplo 2.3.24. No siempre es necesario partir de un cono para construir una
variedad torica. Por ejemplo, sea S = 2, 3 Z el monoide generado por los
2.3. VARIEDADES AFINES T

ORICAS 35
elementos 2 y 3, tenemos que la C-algebra que obtenemos a partir de dicho monoide
es R = C[u
1
, u
2
] con u
3
1
= u
2
2
, es decir, R = C[
1
,
2
]/(
3
1

2
2
). De aqu, obtenemos
la variedad torica afn X = V (
3
1

2
2
), que por la Proposicion 2.3.10, contiene al
toro C

como abierto Zariski denso.


Antes de acabar esta secci on, vamos a denir el concepto de morsmo entre
variedades t oricas que usaremos m as adelante.
Denici on 2.3.25. Sea : C
k
C
m
una aplicacion monomial (es decir, toda
componente no nula de es un monomio con coordenadas en C
k
), y sean X

C
k
y X

C
m
variedades anes toricas. Si (X

) X

, entonces la aplicacion :=
[
X

es un morsmo llamado morsmo torico (afn) de X

en X

. Si es biyectivo
y su aplicaci on inversa
1
: X

es tambien un morsmo t orico, entonces


llamamos a un isomorsmo (torico) y decimos que X

y X

son isomorfos, escrito


X


= X

. Si =

, llamaremos a un cambio de coordenadas.


36 CAP

ITULO 2. VARIEDADES AFINES T

ORICAS
Captulo 3
Variedades Toricas
Del mismo modo que las variedades algebraicas proyectivas poseen un recubri-
miento abierto dado por variedades algebraicas anes, podemos construir variedades
t oricas proyectivas que tendr an un recubrimiento abierto dado por variedades toricas
anes.
3.1. Variedades algebraicas proyectivas
Antes de dar el proceso de construccion de variedades t oricas proyectivas, vamos
a recordar algunos resultados sobre variedades algebraicas proyectivas. Al igual que
en la Secci on 2.2, todos los resultados los daremos sobre el cuerpo C de los n umeros
complejos.
Recordemos que el n-espacio proyectivo sobre C es el conjunto de clases de equiva-
lencia de elementos (a
0
, ..., a
n
) C
n+1
(0, ..., 0) bajo la relaci on de equivalencia
(a
0
, ..., a
n
) (a
0
, ..., a
n
) con C

. Lo denotaremos P
n
C
, o simplemente P
n
.
Los elementos de P
n
se llaman puntos. Dado un punto P P
n
, llamaremos a cual-
quier (n + 1)-tupla (a
0
, ..., a
n
) dentro de la clase de equivalencia P conjunto de
coordenadas homogeneas de P y denotaremos P = [a
0
: ... : a
n
].
Ahora nos gustara dar una denici on similar de conjunto algebraico afn, pero para
el caso proyectivo. Dado un polinomio f C[
0
, ...,
n
] = C[], para que dena una
funci on sobre P, necesitamos que f(a
0
, ..., a
n
) = f(a
0
, ..., a
n
) para todo C

.
Es por ello que vamos a dar la siguiente denicion:
Denici on 3.1.1. Sea f C[], decimos que f =

finito
a
d
0
0
+...+
d
n
n
es un polinomio
37
38 CAP

ITULO 3. VARIEDADES T

ORICAS
homogeneo de grado d si para cada monomio a
d
0
0
+...+
d
n
n
se cumple que d
0
+...+d
n
=
d.
De esta forma, dado un polinomio homogeneo f C[], tenemos que
f(a
0
, ..., a
n
) =
d
f(a
0
, ..., a
n
) y as, la propiedad de que f se anule depende solo
de la clase de equivalencia de (a
0
, ..., a
n
). As, f puede denir una funci on de P
n
en 0, 1 de forma que para cada punto P P
n
con coordenadas homogeneas
(a
0
, ..., a
n
), f(P) = 0 si f(a
0
, ..., a
n
) = 0 y f(P) = 1 si f(a
0
, ..., a
n
) ,= 0. Esto
ya nos permite denir el concepto de conjunto algebraico proyectivo:
Denici on 3.1.2. Sea T un subconjunto de polinomios homogeneos de C[], el
conjunto
V (T) = P P
n
: f(P) = 0 para todo f T
se llama el conjunto algebraico proyectivo denido por T. Un subconjunto X de P
n
se dice que es un conjunto algebraico proyectivo (o simplemente conjunto algebraico
si se entiende por el contexto) si existe un subconjunto T de polinomios homogeneos
de C[] tal que X = V (T).
Podemos denir una topologa similar a la que d abamos en el caso afn, ya que
los conjuntos algebraicos proyectivos cumplen lo siguiente:
Observaci on 3.1.3. La union de dos conjuntos algebraicos proyectivos es una con-
junto algebraico proyectivo. La interseccion de una familia nita de conjuntos al-
gebraicos proyectivos es un conjunto algebraico proyectivo. El conjunto vaco y el
conjunto P
n
son conjuntos algebraicos proyectivos. La prueba de esta observacion es
similar a la que se da para el caso afn.
Denici on 3.1.4. Denimos la topologa de Zariski sobre P
n
tomando como con-
juntos abiertos los complementarios de los conjuntos algebraicos en P
n
.
Ahora que hemos denido una topologa sobre conjuntos algebraicos proyectivos,
podemos aplicar las deniciones de conjunto irreducible y dimensi on de un espacio
topologico. De esta forma, podemos denir:
Denici on 3.1.5. Una variedad algebraica proyectiva (o simplemente variedad pro-
yectiva) es un subconjunto cerrado irreducible en P
n
respecto de la topologa de
Zariski. Un subconjunto abierto de una variedad proyectiva es una variedad cuasi-
proyectiva. La dimension de una variedad proyectiva o cuasi-proyectiva es su dimen-
si on como espacio topologico.
3.2. ABANICOS 39
Ahora veremos c omo podemos dar un recubrimiento abierto de variedades alge-
braicas proyectivas P
n
mediante variedades algebraicas anes. Sea el abierto Zariski
U
i
= [a
0
: ... : a
n
] P : a
i
,= 0, tenemos que P
n
est a recubierto por los U
i
con
i = 0, ..., n. Ahora denimos
i
: U
i
C
n
tal que ([a
0
: ... : a
n
]) es el punto
(a
0
/a
i
,

i
..., a
n
/a
i
) C
n
. Notemos que la aplicacion est a bien denida porque a
i
,= 0
y (a
j
)/(a
i
) = a
j
/a
i
para cualquier C

.
Proposicion 3.1.6. La aplicacion es un homeomorsmo de U
i
con su topologa
inducida en C
n
con la topologa de Zariski.
Demostracion. Ver [Hart, Pag. 10-11].
Ahora, para cualquier variedad proyectiva en P
n
, podemos dar un recubrimiento
abierto mediante variedades anes como sigue:
Corolario 3.1.7. Sea Y una variedad proyectiva en P
n
, entonces Y esta recubierto
por los conjuntos abiertos Zariski Y U
i
con i = 0, ..., n, que son homeomorfos a
variedades algebraicas anes va la aplicacion
i
que hemos denido antes.
3.2. Abanicos
Vamos a denir el proceso de construcci on de variedades toricas (proyectivas) a
partir del pegado de variedades t oricas (anes) mediante cambios de coordenadas
adecuados. Para ello, daremos primero el concepto de abanico.
Denicion 3.2.1. Un abanico en el espacio eucldeo R
n
es una uni on nita de
conos tales que:
1. Todo cono de es fuertemente convexo, poliedrico y racional.
2. Toda cara de un cono de es cono de .
3. Si y

son conos de , entonces

es una cara com un de y

.
Llamaremos abanico dual al conjunto de los duales de los conos de un abanico y
lo denotaremos

.
En adelante, salvo que se diga lo contrario, todos los conos que se consideren
ser an fuertemente convexos, poliedricos y racionales.
40 CAP

ITULO 3. VARIEDADES T

ORICAS
Ejemplo 3.2.2. Veamos algunos ejemplos de abanicos en R
2
, donde e
1
, e
2
es la
base canonica.
= S
e
1 < >
s { } e
2
< > e
2
2e
1
- < >
t, , , , , 0 { }
e
2
e
2
e
1
e
1
0
e
1
e
1
-
e
2
e
2
-
s
1
s
0
s
2 s
3
= D
e
1 < >
{ }
e
2
< > , , , 0 { } ,
e
2
< > - e
1 < >
- s
0,
s
1,
s
2,
s
3,
e
1
e
2
0
s
e
2
2e
1
-
t
Antes de describir el proceso de pegado de variedades toricas anes, vamos a
destacar un isomorsmo natural existente entre la variedad torica X

y un subcon-
junto abierto de X

, siendo cara de , que nos permitir a describir la aplicacion de


pegado.
Sea una cara de un cono , entonces S

= S

+ Z
0
() donde M y
=

(por la proposicion 1.3.9). Es decir, que el monoide S

se obtiene a partir
del monoide S

a nadiendo el generador .
Como puede ser elegido como un elemento de un conjunto de generadores
a
1
, ..., a
k
de S

, podemos asumir que = a


k
y denotamos a
k+1
= .
Para obtener las relaciones entre los generadores de S

basta considerar las relacio-


nes entre los generadores de S

a nadiendo la relaci on a
k
+ a
k+1
= 0.
Esta ultima relacion se corresponde con la relacion multiplicativa u
k
u
k+1
= 1 en R

.
Como los generadores u
i
de R

y R

son precisamente las funciones coordenadas de


las variedades toricas X

y X

, tenemos que la proyecci on


C
k+1
C
k
(x
1
, ..., x
k
, x
k+1
) (x
1
, ..., x
k
)
identica X

con el subconjunto abierto de X

denido por u
k
,= 0. Este resultado
se puede escribir como:
Lema 3.2.3. Existe una identicacion natural X


= X

u
k
= 0.
Ahora podemos construir la aplicaci on de pegado entre variedades t oricas anes.
Supongamos que es la cara com un a dos conos y

contenidos en el abanico .
El Lema 3.2.3 nos permite pegar X

y X

a lo largo de su parte com un X

de la
3.3. EJEMPLOS DE VARIEDADES T

ORICAS 41
siguiente forma:
Sean (u
1
, ..., u
k
) y (v
1
, ..., v
l
) las coordenadas sobre X

y X

respectivamente. Por
el Lema 3.2.3, podemos dar la siguiente cadena de homeomorsmos:

,
: X

u
k
= 0 X

v
l
= 0
(u
1
, ..., u
k
) (u
1
, ..., u
k
, u
k+1
) (v
1
, ..., v
l
, v
l+1
) (v
1
, ..., v
l
)
Tenemos en cuenta que dentro de X

es posible hacer el cambio de coordenadas


z
b
j
= v
j
= u

1
j
1
u

k
j
k
= z

1
j
a
1
z

k
j
a
k
con j = 1, ..., l. Finalmente, ya podemos dar
la denicion de variedad torica.
Denicion 3.2.4. Sea un abanico en R
n
. Consideramos la uni on disjunta

donde dos puntos x X

y x

son identicados si
,
(x) = x

. El espacio
resultante X

se llama variedad torica (proyectiva).


Observaci on 3.2.5. El espacio X

de la Denicion 3.2.4 es un espacio topologico


dotado de un recubrimiento abierto formado por las variedades toricas anes X

con
. Esto se debe a que cada variedad torica afn X

con esta contenida


en C
k

= P
k
U
i
(como vimos en la Proposicion 3.1.6). Luego, dado que X

P
k
,
tendremos que X

U
i
= X

sera abierto en X

. Por esta razon y debido al Corolario


3.1.7, podemos armar tambien que X

es una variedad algebraica proyectiva.


3.3. Ejemplos de variedades toricas
Vamos a ver algunos de los ejemplos mas clasicos de variedades t oricas.
Ejemplo 3.3.1. Denotaremos por [t
0
: t
1
: t
2
] las coordenadas homogeneas del espa-
cio proyectivo P
2
. Podemos dar un recubrimiento de dicho espacio por las siguientes
cartas:
U
0
= [t
0
: t
1
: t
2
] P
2
: t
0
,= 0

= (t
1
/t
0
, t
2
/t
0
) = (z
1
, z
2
) : t
0
,= 0 = C
2
(z
1
,z
2
)
U
1
= [t
0
: t
1
: t
2
] P
2
: t
1
,= 0

= (t
0
/t
1
, t
2
/t
1
) = (z
1
1
, z
1
1
z
2
) : t
1
,= 0 =
C
2
(z
1
1
,z
1
z
1
2
)
U
2
= [t
0
: t
1
: t
2
] P
2
: t
2
,= 0

= (t
0
/t
2
, t
1
/t
2
) = (z
1
2
, z
1
z
1
2
) : t
2
,= 0 =
C
2
(z
1
2
,z
1
z
1
2
)
42 CAP

ITULO 3. VARIEDADES T

ORICAS
Ahora vamos a considerar en R
2
el abanico siguiente:
e
2
e
1
0
s
1
s
2
s
0
e
1
- e
2
-
s
0
s
2
s
1
e
2
e
2
e
1
e
1
e
1
- e
2
+
e
1
e
2
-
-
-
* * *
*
*
* *
*
Para cada cono
0
,
1
,
2
del abanico, podemos construir las siguientes variedades
toricas anes:
S

0
esta generado por e

1
, e

2
, luego R

0
= C[z
1
, z
2
] y X

0
= C
2
(z
1
,z
2
)
.
S

1
esta generado por e

1
, e

1
+ e

2
, luego R

1
= C[z
1
1
, z
1
z
1
2
] y X

1
=
C
2
(z
1
1
,z
1
z
1
2
)
.
S

2
esta generado por e

2
, e

1
e

2
, luego R

2
= C[z
1
2
, z
1
z
1
2
] y X

2
=
C
2
(z
1
2
,z
1
z
1
2
)
.
Veamos como pegamos X

0
con X

1
. Consideramos la cara com un a
0
y
1
, =

0

1
= e
2
. Con considerada como cara de
0
( =
0
(e

1
)

), tenemos que
X

= X

0
z
1
= 0 = C

z
1
C
z
2
en X

0
= C
2
(z
1
,z
2
)
(por el Lema 3.2.3). De la
misma forma, considerada como cara de
1
( =
1
(e

1
)

) da la subvariedad
X

= X

1
z
1
1
= 0 = C

z
1
1
C
z
1
1
z
2
en X

1
= C
2
(z
1
1
,z
1
z
1
2
)
. De esta forma,
contamos con la siguiente aplicacion de pegado:

0
,
1
: X

0
u
1
= 0 X

1
v
1
= 0
(z
1
, z
2
) (z
1
, z
2
, z
1
1
) (z
1
1
, z
1
1
z
2
, z
1
) (z
1
1
, z
1
1
z
2
)
Es decir, que podemos pegar X

0
con X

1
y considerar X

0
H X

1
= C
2
(z
1
,z
2
)
H
C
2
(z
1
1
,z
1
z
1
2
)

= U
0
U
1
= P
2
[0 : 0 : 1]. Del mismo modo, dando las aplicaciones
de pegado

0
,
2
y

1
,
2
, podemos pegar X

2
a P
2
[0 : 0 : 1] y obtenemos que
X

= P
2
.
Ejemplo 3.3.2. El ejemplo para P
2
se puede generalizar a P
n
, con n en-
tero positivo, considerando, en R
n
, el abanico X

generado por los vectores


e
1
, ..., e
n
, (e
1
+ ... + e
n
), es decir,
0
= e
1
, ..., e
n
y para cada i = 1, ..., n,
3.3. EJEMPLOS DE VARIEDADES T

ORICAS 43

i
= e
1
, ..., e
i1
, e
i+1
, ..., e
n
, (e
1
+ ... + e
n
). Tenemos que las variedades toricas
anes X

i
son copias de C
n
correspondientes a las cartas U
i
que recubren P
n
y
pegadas juntas permiten obtener X

= P
n
.
Ejemplo 3.3.3. Consideramos en R
2
el abanico X

:
e
2
e
2
e
1
e
1
0
e
1
e
1
-
e
2
e
2
-
s
1
s
0
s
2
s
3
e
2
e
2
e
1
e
1
0
e
1
e
1
-
e
2
e
2
-
s
1
s
0
s
2
s
3
que da los siguientes monoides:
S

1
gen.pore

1
, e

oo //
S

0
gen.pore

1
, e

OO

2
gen.pore

1
, e

OO
S

3
gen.pore

1
, e

// oo
las consecuentes C-algebras:
R

1
= C[z
1
1
, z
2
]
oo //
R

0
= C[z
1
, z
2
]
OO

2
= C[z
1
1
, z
1
2
]

OO
R

3
= C[z
1
, z
1
2
]
// oo
y, por ultimo, las variedades toricas anes siguientes:
X

1
= C
2
(z
1
1
,z
2
)
oo //
X

0
= C
2
(z
1
,z
2
)
OO

2
= C
2
(z
1
1
,z
1
2
)

OO
X

3
= C
2
(z
1
,z
1
2
)
// oo
El pegado de X

0
y X

1
da como resultado P
1
C con coordenadas ([t
0
: t
1
], z
2
)
donde z
1
= t
0
/t
1
. El pegado de X

2
y X

3
da como resultado P
1
C con coordenadas
([t
0
: t
1
], z
1
2
) donde z
1
= t
0
/t
1
. Pegando los dos P
1
C obtenidos, construimos
X

= P
1
P
1
con coordenadas ([t
0
: t
1
], [s
0
: s
1
]) donde z
2
= s
0
/s
1
.
44 CAP

ITULO 3. VARIEDADES T

ORICAS
Ejemplo 3.3.4. El ejemplo de P
1
P
1
se puede generalizar a P
1

(n)
P
1
,
con n entero positivo, considerando, en R
n
, el abanico generado por los vec-
tores e
1
, ..., e
n
, e
1
, ..., e
n
, es decir, cada
i
es de la forma
i
=
(1)
u
1
e
1
, ..., (1)
u
n
e
n
recorriendo cada (u
1
, ..., u
n
) 0, 1
n
. Tenemos que las va-
riedades toricas anes X

i
son conjuntos de la forma C
(i1)
CP
1
C
(ni)
C
y pegados juntos permiten obtener X

= P
1

(n)
P
1
.
Ejemplo 3.3.5. Denotaremos por ([
0
:
1
], [
0
:
1
:
2
]) las coordenadas ho-
mogeneas del espacio proyectivo P
1
P
2
. Vamos a considerar la hipersupercie en
P
1
P
2
, llamada supercie de Hirzebruch, denida por
1
q
= [
0
:
1
], [
0
:
1
:
2
]) :
q
0

0
=
q
1

1
.
Podramos recubrir la supercie de Hirzebruch con seis cartas de la forma 1
q
(V
i

U
j
) con V
i
= [
0
:
1
] P
1
:
i
,= 0 y U
j
las cartas descritas en el Ejemplo 3.3.1
que recubren P
2
. Sin embargo, la condicion
q
0

0
=
q
1

1
, que describe la supercie
de Hirzebruch, nos permite anar el recubrimiento, de manera que solo necesitamos
cuatro cartas como vamos a describir a continuacion:
Consideramos el conjunto 1
q
(V
1
P
2
), que podemos desarrollar como el con-
junto ([
0
/
1
: 1], [
0
,
1
:
2
] : (
0
/
1
)
q

0
=
1
,
1
,= 0 y, nalmente, como
el conjunto ([
0
/
1
: 1], [
0
: (
0
/
1
)
q

0
:
2
] :
1
,= 0. De aqu obtenemos
dos de las cuatro cartas que queremos construir:
W
1
= ([
0
/
1
: 1], [
0
/
2
: (
0
/
1
)
q
(
0
/
2
) : 1]) :
1
,
2
,= 0

=
(
0
/
2
,
0
/
1
) = (z
1
, z
2
) :
1
,
2
,= 0 = C
2
(z
1
,z
2
)
W
2
= ([
0
/
1
: 1], [1 : (
0
/
1
)
q
:
2
/
0
]) :
1
,
0
,= 0

=
(
2
/
0
,
0
/
1
) = (z
1
1
, z
2
) :
1
,
0
,= 0 = C
2
(z
1
1
,z
2
)
Consideramos el conjunto 1
q
(V
0
P
2
), que podemos desarrollar como el con-
junto ([1 :
1
/
0
], [
0
,
1
:
2
] :
0
=
1
(
1
/
0
)
q
,
0
,= 0 y, nalmente, como
el conjunto ([1 :
1
/
0
], [
1
(
1
/
0
)
q
:
1
:
2
] :
0
,= 0. De aqu obtenemos
las otras dos cartas que queremos construir:
W
3
= ([1 :
1
/
0
], [(
1
/
0
)
q
(
1
/
2
) :
1
/
2
: 1]) :
0
,
2
,= 0

=
(
1
/
2
,
1
/
0
) = (z
1
z
q
2
, z
1
2
) :
0
,
2
,= 0 = C
2
(z
1
z
q
2
,z
1
2
)
W
4
= ([1 :
1
/
0
], [(
1
/
0
)
q
: 1 :
2
/
1
]) :
0
,
1
,= 0

=
(
2
/
1
,
1
/
0
) = (z
1
1
z
q
2
, z
1
2
) :
0
,
1
,= 0 = C
2
(z
1
1
z
q
2
,z
1
2
)
3.3. EJEMPLOS DE VARIEDADES T

ORICAS 45
Ahora vamos a tomar en R
2
el abanico :
s
3
s
2
s
0
s
1
e
2
e
2
e
1
e
1
-
-
*
*
*
*
e
1
qe
2
-
* *
-
e
1
+
*
qe
2
*
qe
1
que da los siguientes monoides:
S

1
gen.pore

1
, e

oo //
S

0
gen.pore

1
, e

OO

2
gen.pore

1
qe

2
, e

OO
S

3
gen.pore

1
+ qe

2
, e

// oo
las consecuentes C-algebras:
R

1
= C[z
1
1
, z
2
]
oo //
R

0
= C[z
1
, z
2
]
OO

2
= C[z
1
1
z
q
2
, z
1
2
]

OO
R

3
= C[z
1
z
q
2
, z
1
2
]
// oo
y, por ultimo, las variedades toricas anes siguientes:
X

1
= C
2
(z
1
1
,z
2
)
oo //
X

0
= C
2
(z
1
,z
2
)
OO

2
= C
2
(z
1
1
z
q
2
,z
1
2
)

OO
X

3
= C
2
(z
1
z
q
2
,z
1
2
)
// oo
El pegado de X

0
con X

1
da como resultado X

0
H X

1
= C
2
(z
1
,z
2
)
H C
2
(z
1
1
,z
2
)

=
W
1
W
2
= 1
q
(V
1
P
2
). Del mismo modo, pegando X

2
con X

3
obtenemos
X

2
HX

= 1
q
(V
0
P
2
). Por ultimo, pegando ambas variedades entre si, obtenemos
(X

0
HX

1
) H(X

2
HX

3
)

= 1
q
, la supercie de Hirzebruch.
46 CAP

ITULO 3. VARIEDADES T

ORICAS
Captulo 4
Subvariedades toricas invariantes
En esta secci on vamos a denir el concepto de subvariedad torica invariante que,
combinado con la accion t orica sobre una variedad que deniremos en la siguiente
secci on, nos dar a una caracterizaci on de las variedades toricas mediante las orbitas
de la acci on mencionada.
4.1. Construcci on de una subvariedad torica in-
variante
En adelante, a veces construiremos variedades t oricas empezando directamente
por un cono en cierto espacio dual (R
n
)

. Dicha eleccion no esta en contra de el


proceso de construccion de variedades t oricas, dado que podemos construir el monoi-
de S

= M y a partir de ah, la C- algebra R

= f C[z, z
1
] : supp(f) S

y, por ultimo, la variedad t orica afn X

= Spec(R

). Empezamos considerando
un cono en R
n
y una cara propia del cono dual (notar que no siempre
R
n
contendr a a como cara por la Observaci on 1.2.6). Elegimos un sistema de
generadores a
1
, ..., a
k
del monoide S

y lo extendemos a un sistema de generadores


a
1
, ..., a
k
, a
k+1
, ..., a
q
del monoide S

.
Dichos sistemas de generadores producen coordenadas (u
1
, ..., u
k
) y
(u
1
, ..., u
k
, u
k+1
, ..., u
q
) de las variedades t oricas anes X

y X

respectiva-
mente. Podemos asumir que a
k+1
, ..., a
q
/ S

por la Observaci on 1.2.4. En ese caso,


es facil ver que ninguna de las funciones coordenadas u
k+1
, ..., u
q
son inversibles en
47
48 CAP

ITULO 4. SUBVARIEDADES T

ORICAS INVARIANTES
X

, luego existe una aplicacion natural
: X

X

(u
1
, ..., u
k
) (u
1
, ..., u
k
, 0, ..., 0)
Dado que las relaciones lineales entre a
1
, ..., a
k
en se mantienen en (y viceversa),
las ecuaciones que caracterizan X

no varan bajo la aplicacion .


Lema 4.1.1. es un morsmo torico inyectivo.
De esta forma, podemos identicar X

con la subvariedad cerrada (X

) =
X

u
k+1
= ... = u
q
= 0.
Denici on 4.1.2. Una subvariedad cerrada de la variedad torica afn X

se llama
subvariedad torica (cerrada) invariante si es de la forma (X

) = X

u
k+1
= ... =
u
q
= 0 como hemos descrito arriba.
Ejemplo 4.1.3. Sea = e
1
, e
2
un cono en R
2
y consideramos la cara = e

1
de
. Entonces X

= C
z
1
y (X

) es una subvariedad torica invariante correspondiente


al eje de coordenadas C
z
1
0 del plano afn X

= C
2
.
4.2. Abanicos cociente
Ahora, dado un cono en un abanico , vamos a describir la construcci on de una
variedad torica X
/
que este embebida en X

como subvariedad t orica invariante.


Primero consideramos la estrella de en , es decir, el conjunto de todos los conos

tales que contienen a como cara


st(, ) =

: <

.
Para no confundir con la notaci on

utilizada anteriormente, en esta secci on de-


notaremos por (R )

al subespacio vectorial w R
n
: w v = 0 para todo v
R , donde denota el producto escalar en R
n
. Usando la proyecci on ortogonal
: R
n
(R )

obtenemos la coleccion de conos


/ = (

) :

st(, ).
Veamos que efectivamente / es un abanico, pero antes vamos a probar un re-
sultado auxiliar que utilizaremos m as adelante. En adelante, llamaremos a la
proyeccion de R
n
sobre el espacio vectorial R .
4.2. ABANICOS COCIENTE 49
Observaci on 4.2.1. Se tiene que el espacio vectorial (R )

es isomorfo al espacio
vectorial cociente R
n
/(R ). Ademas, se cumple que (R
n
/(R ))

es isomorfo a

. De las deniciones de ambos, obtenemos:


(R
n
/(R ))

= Hom(R
n
/(R ), R)

= u R

= Hom(R
n
, R) : u(v) = 0 para todo v =
= u R

= Hom(R
n
, R) : u(v) = 0 para todo v R
Luego, dado u

, como R ker(u), entonces u induce un unico homomorsmo


u : R
n
/(R ) R, es decir, un elemento de (R
n
/(R ))

.
Lema 4.2.2. Dado

un cono en st(, ) R
n
, se cumple que (

)=

((R
)

, donde ((R )

denota el espacio vectorial dual de (R )

.
Demostracion. Dado un cono

st(, ), probaremos primero que (

)=

((R )

. Utilizando las deniciones, tenemos que:


(

)= u (R
n
)

: u, (v) 0 para todo v

= u (R
n
)

: u, v 0 para todo v

De hecho, como (

) (R )

, entonces podemos considerar ((

))
((R )

. Adem as, como R


n
= (R )

(R ), si v

, podemos escribir
de forma unica v = (v) + (v). Entonces tenemos:

((R )

= u ((R )

: u, v 0 para todo v

Como u, v = u, (v) + u, (v) y u, (v) = 0 (porque al tener que


u ((R )


= (R/(R ))

, se anula sobre los elementos de R ). As,


podemos concluir que:

((R )

= u ((R )

: u, (v) 0 para todo v

= (

)
Ahora, sea un cono

st(, ), vamos a probar que (

)=

. Utili-
zando las deniciones, tenemos que:

= u (R
n
)

: u, v 0 para todo v

= u (R
n
)

: u, v = 0 para todo v
50 CAP

ITULO 4. SUBVARIEDADES T

ORICAS INVARIANTES
Igual que antes, dado v

, escribimos v = (v)+(v). Luego, si u


,
entonces 0 u, v = u, (v) porque u, (v) = 0 (dado que u


= (R/
(R ))

como vimos en la Observacion 4.2.1), luego u (

). Esto prueba
que

). Recprocamente, si u (

), entonces u, v = 0 para
todo v por la igualdad que hemos probado antes, luego u

. Por
otro lado, dado v

, si escribimos como antes, v = (v) + (v), entonces


u, v = u, (v) 0, por estar (v) (

), luego u (

) y ya tenemos la
otra contenci on.
Proposicion 4.2.3. El conjunto / que acabamos de construir es un abanico en
(R )

.
Demostracion. Durante la demostraci on vamos a considerar cualquier elemento del
conjunto / de la forma (

) con

, dado que todos los elementos de dicho


conjunto son as. Aclarado este punto, procedemos a comprobar las propiedades que
debe cumplir un conjunto para ser abanico en (R )

.
Veamos que todo elemento de / es cono en (R )

. Dado

,
tenemos que

= v
1
, ..., v
n
. Cualquier elemento v

ser a de la for-
ma v =
1
v
1
+
n
v
n
. Va la proyeccion ortogonal , tenemos que
(v) =
1
(v
1
) +
n
(v
n
). Es decir, que cualquier elemento (v) (

)
est a generado por combinaciones con coecientes positivos de los elementos
(v
1
), . . . , (v
n
) (R )

, luego (

) es cono.
Ahora comprobamos que todo cono en / es fuertemente convexo. Su-
pongamos que existe v (

) / tal que v (

). Dado que
R
n
= (R )

(R ), tenemos que existen elementos w


1
, w
2

tales
que v = w
1
(w
1
) y v = w
2
(w
2
). De la combinaci on de ambas igual-
dades, tenemos que w
1
+ w
2
= (w
1
+ w
2
), es decir, que w
1
+ w
2
R .
Pero dado que w
1
, w
2

y es cara de

, w
1
+ w
2
debe estar en . Sea
=

con

, tenemos que w
1
+w
2
, = w
1
, +w
2
, = 0, pero
w
1
, 0 y w
2
, 0 porque w
1
, w
2

, luego w
1
, = 0 y w
2
, = 0,
as que w
1
, w
2
. Es decir, que (w
1
) = w
1
, luego v = 0, as que (

) es
fuertemente convexo.
Tambien hay que probar que todo cono de / es racional. Sea (

) /,
los generadores de

est an en

N. Por tanto, los generadores de (

)
4.2. ABANICOS COCIENTE 51
estar an en (

N) = (

) (N). Dado que (N) es un retculo respecto


del espacio vectorial (R )

, ya tenemos lo que queramos.


Hay que comprobar que toda cara de un cono en / es cono en /. Dicho
de otro modo, dado un cono (

) /, nos preguntamos si toda cara de


(

) es de la forma (

) con

cara de

. Sea = (

con (

),
como (

)=

, tenemos que

. Luego

es cara de

.
De hecho, dado que

, tenemos adem as que es cara de

. Mas a un,
= (

) ya que v

equivale a decir que v, = (v), +(v), = 0,


o lo que es lo mismo (v), = 0 (dado que (v), = 0 porque

),
es decir que (v) . Es decir, que para cualquier elemento de

, tenemos
que su proyecci on est a en y que cualquier elemento de es la proyecci on de
alg un elemento de

, luego debe ser = (

).
Finalmente, probaremos que la intersecci on de dos conos (

) y (

) en /
es una cara com un a (

) y (

). Dado que los conos

est an en el
abanico , tenemos que

es cara com un a

. Como hemos visto en


el punto anterior de la demostracion, toda cara de (

) es de la forma (

)
con cara de

. En este caso (

) = (

) (

) es cara tanto de (

)
como de (

).
Denicion 4.2.4. El abanico / que acabamos de construir se llama abanico
cociente de .
Lema 4.2.5. 1. Se cumple la igualdad
(/)=

st(, )
y cada cono =

(/)es una cara del correspondiente cono

.
2. El siguiente diagrama es conmutativo (

st(, ) denota el abanico dual de


st(, ))
st(, )

//
st(, )

(/)
//
(

)

(

)
52 CAP

ITULO 4. SUBVARIEDADES T

ORICAS INVARIANTES
Demostracion. 1. Gracias al Teorema 1.2.17, dado que es cara de

, tenemos
que

es cara de

.
2. Es consecuencia directa del punto 1. de este lema.
Ahora ya podemos comprobar que la variedad torica X
/
dada por el abanico
/ en (R )

se puede embeber en X

.
Lema 4.2.6. 1. Para cada cono =

en (/) existe un embebimiento


torico invariante X

.
2. Cada uno de estos embebimientos X

es compatible con el pegado de


variedades toricas anes en X
/
y X

respectivamente.
Demostracion. 1. Dado que es un elemento de (/)y una cara de

, podemos
aplicar directamente el Lema 4.1.1.
2. Es consecuencia directa del punto 1. de este Lema, ya que al ser invariante el
embebimiento X

, las funciones coordenadas conservan las relaciones


que mantienen, luego las aplicaciones de cambio de coordenadas.
Como consecuencia de este lema, la eleccion de determina un embebimiento
de X
/
en X

como subvariedad t orica invariante.


Ejemplo 4.2.7. Dado el abanico del Ejemplo 3.3.1, vamos a elegir el cono =
e
2
, luego (R )

= e
1
, e
1
. As, tenemos que
st(, ) =
0
,
1
,

st(, ) =
0
,
1
, e

1
, e

1
, e

/ = e
1
, e
1
, 0 (/)= e

1
, e

1
, e

1
, e

Es decir, que X
/
= P
1
y, por el lema anterior, podemos embeberla en X

= P
2
como la recta proyectiva P
1
0.
Ejemplo 4.2.8. Dado el abanico del Ejemplo 3.3.3, vamos a elegir el cono =
e
1
, luego (R )

= e
2
, e
2
. As, tenemos que
st(, ) =
0
,
3
,

st(, ) =
0
,
3
, e

1
, e

2
, e

/ = e
2
, e
2
, 0 (/)= e

2
, e

2
, e

2
, e

4.2. ABANICOS COCIENTE 53


Es decir, que X
/
= P
1
y, por el lema anterior, podemos embeberla en X

= P
2
como la recta proyectiva 0 P
1
. De igual modo, si ahora elegimos = e
1
,
tenemos:
st(, ) =
1
,
2
,

st(, ) =
1
,
2
, e

1
, e

2
, e

/ = e
2
, e
2
, 0 (/)= e

2
, e

2
, e

2
, e

Nuevamente, obtenemos que X


/
= P
1
, pero esta embebida en X

como la recta
proyectiva P
1
. Esto se debe a que para P
1
P
1
hemos elegido coordenadas
([t
0
: t
1
], [s
0
: s
1
]) con z
1
= t
0
/t
1
y z
2
= s
0
/s
1
. Luego, en el caso de X
/
tenemos
que z
1
= 0, es decir, t
0
= 0 y, por tanto, el embebimiento en X

esta dado por


[0 : 1] P
1
= 0 P
1
. Por otro lado, en X
/
tenemos que z
1
1
= 0, luego t
1
= 0
y el embebimiento en X

esta dado por [1 : 0] P


1
= P
1
. Del mismo
modo, podemos obtener las subvariedades toricas invariantes P
1
0 y P
1

de P
1
P
1
a partir de los conos e
2
y e
2
respectivamente.
54 CAP

ITULO 4. SUBVARIEDADES T

ORICAS INVARIANTES
Captulo 5
La acci on torica y sus orbitas
En esta seccion vamos a ver el motivo de que las variedades que estamos tratando
en este texto se llamen t oricas.
5.1. La accion t orica
El toro T = (C

)
n
es un grupo con la operacion de multiplicacion componente a
componente. La acci on del toro sobre cualquier variedad torica X

se describe de la
siguiente forma:
Denicion 5.1.1. Sea a
1
, ..., a
k
un sistema de generadores del monoide S

en
R
n
. Escribimos cada a
i
con coordenadas a
i
= (a
1
i
, ..., a
n
i
) con a
j
i
Z y cada t T
con coordenadas t = (t
1
, ..., t
n
) con t
j
C

. Un punto x X

tendr a coordenadas
x = (x
1
, ..., x
k
) C
k
. La aplicaci on dada por:
T X

(t, x) tx = (t
a
1
x
1
, ..., t
a
k
x
k
)
donde t
a
i
= t
a
1
i
1
t
a
n
i
n
C

es una acci on de grupo llamada la acci on t orica (natural)


sobre X

.
Observaci on 5.1.2. La accion esta bien denida.
Demostracion. Basta con comprobar que dados (x
1
, ..., x
k
) X

y (t
1
, ..., t
n
)
T, entonces (t
a
1
x
1
, ..., t
a
k
x
k
) cumple las relaciones binomiales de I

. Sea

, donde

1
1

k
k
y

1
1

k
k
quere-
mos ver que (x
1
t
a
1
)

1
(x
k
t
a
k
)

k
= (x
1
t
a
1
)

1
(x
k
t
a
k
)

k
, es decir, que
55
56 CAP

ITULO 5. LA ACCI

ON T

ORICA Y SUS

ORBITAS
(t
a
1

1
t
a
k

k
)(x

1
1
x

k
k
) = (t
a
1

1
t
a
k

k
)(x

1
1
x

k
k
). Esto es cierto, dado que
(x
1
, ..., x
k
) X

implica que x

1
1
x

k
k
= x

1
1
x

k
k
y que por la Proposici on 2.3.10,
se tiene que (t
a
1
, ..., t
a
k
) X

(C

)
k
, luego t
a
1

1
t
a
k

k
= t
a
1

1
t
a
k

k
.
Teorema 5.1.3. La accion torica es compatible con la aplicacion de cambio de
coordenadas entre diferentes representaciones de una variedad torica.
Demostracion. Sea un cono en R
n
, elegimos dos sistemas de generadores
a
1
, ..., a
k
y b
1
, ..., b
l
de S

. Por el Lema 2.3.5, existe un cambio de coordena-


das entre las representaciones V (I

) C
k
y V (I

) C
l
de la variedad torica X

.
Recordemos que el cambio de coordenadas vena dado de la siguiente forma.
Sea b
j
=
j
1
a
1
+ ... +
j
k
a
k
con
j
i
Z
0
y (x
1
, ..., x
k
) = (y
1
, ..., y
l
), entonces
y
j
= x

j
1
1
x

j
k
k
.
Veamos que (t
a
1
x
1
, ..., t
a
k
x
k
) = (t
b
1
y
1
, ..., t
b
l
y
l
), es decir, que la acci on torica es
compatible con el cambio de coordenadas. Efectivamente, para cada j = 1, ..., l, te-
nemos que t
b
j
y
j
= t
a
1

j
1
+...+a
k

j
k
x

j
1
1
x

j
k
k
= t
a
1

j
1
x

j
1
1
t
a
k

j
k
x

j
k
k
, lo cual naliza la
demostraci on.
Observaci on 5.1.4. El toro embebido X

(C

)
k
en la variedad X

es una orbita de
la accion natural del toro llamada la gran orbita. Se puede comprobar facilmente
que se corresponde con la orbita del punto (1,
n
. . ., 1) T.
Ahora, dado un abanico , queremos ver que las acciones t oricas naturales sobre
cada X

con se pueden extender a una acci on t orica natural sobre X

.
Teorema 5.1.5. Sea un abanico en R
n
, dado un cono y una cara < ,
la identicacion X


= X

u
k
= 0 del Lema 3.2.3 es compatible con la accion
torica natural sobre dichas variedades toricas.
Demostracion. Sea a
1
, ..., a
k
un sistema de generadores de S

con un cono del


abanico en R
n
. Obtenemos las funciones coordenadas (u
1
, ..., u
k
) de la variedad
t orica X

.
Sea una cara de , recordamos que podemos construir la variedad torica X

con
funciones coordenadas (u
1
, ..., u
k+1
) tal que las relaciones entre las funciones coor-
denadas de X

son las mismas que las de X

a nadiendo la relaci on u
k
u
k+1
= 1.
Dado t C
k+1
y x = (x
1
, ..., x
k+1
) X

, al aplicar la acci on t orica sobre X

ob-
tenemos el punto tx = (t
a
1
x
1
, ..., t
a
k+1
x
k+1
) que se corresponde, va la identicaci on
entre X

y X

u
k
= 0, con el punto (t
a
1
x
1
, ..., t
a
k
x
k
) X

u
k
= 0 que coincide
5.1. LA ACCI

ON T

ORICA 57
con la acci on t orica sobre el punto x

= (x
1
, ..., x
k
) X

u
k
= 0. Con esto queda
demostrado el teorema.
Este teorema implica que la acci on t orica sobre cada cono de un abanico es
compatible con la aplicaci on de pegado de variedades toricas anes. Finalmente,
podemos armar que:
Corolario 5.1.6. Dado un abanico en R
n
, la accion torica natural sobre las
variedades toricas anes X

para cada , inducen una accion natural torica


sobre la variedad torica X

.
Dado que la acci on t orica sobre cualquier variedad t orica est a descrita por mo-
nomios, podemos armar directamente el siguiente resultado.
Teorema 5.1.7. Respecto a la topologa usual y la topologa de Zariski en C
k
, la
accion torica sobre cualquier variedad torica X

es continua. La gran orbita es un


subconjunto abierto denso, luego cualquier otra orbita esta contenida en su clausura.
Ahora, como habamos adelantado antes, vamos a hablar sobre el comportamien-
to de las subvariedades t oricas invariantes respecto de la acci on t orica. Usaremos la
misma notacion que en el captulo anterior, es decir, consideramos un cono en R
n
y una cara propia del cono dual . Consideramos un sistema generador (a
1
, ..., a
k
)
de y lo extendemos a un sistema generador (a
1
, ..., a
k
, a
k+1
, ..., a
q
) de . De esta
forma, tomando u
i
= z
a
i
, tenemos que X


= X

u
k+1
= ... = u
q
= 0. Ahora
bien, el siguiente lema justica por que llamamos invariantes a las subvariedades
t oricas invariantes.
Lema 5.1.8. Toda subvariedad afn torica X

de una variedad torica afn X

es
invariante bajo la accion natural del toro sobre X

.
Ahora vamos a dar un par de resultados necesarios para poder demostrar que
cualquier variedad t orica se puede expresar como union disjunta de sus orbitas por
la accion t orica natural.
Teorema 5.1.9. La accion natural del toro sobre una subvariedad torica invariante
X

de X

esta dada por la accion inducida de un subtoro T

en T.
Demostracion. Podemos elegir una base v
1
, ..., v
r
, v
r+1
, ..., v
n
del retculo N tal
que v
1
, ..., v
r
es una base del espacio vectorial R y ( ) +v
1
, ..., v
r
. De
58 CAP

ITULO 5. LA ACCI

ON T

ORICA Y SUS

ORBITAS
aqu, tenemos un sistema de generadores a
1
, ..., a
m
, a
m+1
, ..., a
k
del monoide M
con = a
1
, ..., a
m
y a
i
/ para i m + 1 y las correspondientes coordenadas
(u
1
, ..., u
m
) y (u
1
, ..., u
m
, u
m+1
, ..., u
k
) de las variedades X

y X

respectivamente.
As, la acci on natural del toro de (C

)
r
sobre X

est a dada por s(x


1
, ..., x
m
) =
(s
a
1
x
1
, ..., s
a
m
x
m
) para s = (s
1
, ..., s
r
) (C

)
r
. Esta acci on es claramente compatible
con la acci on inducida por el subtoro T

= t T : t
r+1
= ... = t
n
= 1 de T sobre
la subvariedad t orica invariante X


= X

u
m+1
= ... = u
k
= 0.
Lema 5.1.10. Toda subvariedad torica invariante afn X

de X

contiene una unica


orbita O

que es relativamente densa en X

, es decir, X

es la clausura de una
orbita. Del mismo modo, toda clausura de una orbita en X

es una subvariedad
torica invariante afn X

para una unica cara de .


Demostracion. Para demostrar la primera armacion, sabemos que por el Teorema
5.1.9, la acci on natural del toro sobre una subvariedad torica invariante X

de X

est a dada por la accion inducida de un subtoro T

de T. Ahora bien, por el Teorema


5.1.7, la gran orbita de la acci on inducida por el toro T

es una orbita abierta densa


en X

, que ser a unica respecto de estas condiciones, porque cualquier otra orbita no
ser a densa en X

dado que estar a contenida en el complementario de la gran orbita,


que es un cerrado.
Para la segunda armacion, descomponemos el cono de la siguiente forma. Pode-
mos encontrar una base v
1
, ..., v
p
, v
p+1
, ..., v
n
del retculo Z
n
tal que v
1
, ..., v
p
es
una base de Z
n
con = ( ). Consideramos el subespacio lineal U

gene-
rado por v
p+1
, ..., v
n
. Con esto, consideramos = U

que es un cono racional


cumpliendo = +. Si es necesario, modicamos la base v
p+1
, ..., v
n
de U

Z
n
de forma que podamos asumir que v
p+1
, ..., v
n
.
Toda cara de se puede escribir de forma unica como = +
0
con
0
=
una cara de . Sea A() = a
p+2
, ..., a
k
el unico sistema mnimo de generadores
de Z
n
(ver Lema 1.3.10), entonces A(
0
) = A() es el sistema mnimo de
generadores de
0
Z
n
.
Consideramos un punto x X

que no este en la clausura de una orbita. As, res-


pecto del sistema coordenado (u
1
, ..., u
p
, u
p+1
, u
p+2
, ..., u
k
) correspondiente al sistema
mnimo de generadores A( ) = a
1
, ..., a
p
, a
p+1
, a
p+2
, ..., a
k
con a
i
= v
i
para i p
y a
p+1
= (a
1
+ ... + a
p
), hay coordenadas x
i
,= 0 para alg un i p + 2 (dado que
u
i
es inversible para i p + 1), luego A(x) = a
i
A( ) : x
i
,= 0, i p + 2 es
no vaco. Entonces,
0
= V (con V el espacio vectorial generado por A(x)) es la
5.1. LA ACCI

ON T

ORICA 59
cara m as peque na de conteniendo A(x). Tenemos que A(x) = A(
0
). Finalmente,
= +
0
tiene la propiedad de que el punto x est a en la orbita abierta densa de
X

, luego X

es la clausura de la orbita Tx.


Dado un cono jo de un abanico , podemos considerar la subvariedad t ori-
ca invariante X
/
de X

. Por el Lema 5.1.10, sabemos que, en el caso afn, una


subvariedad t orica invariante es una clausura de una orbita. Por el Teorema 5.1.9,
la acci on torica natural sobre dicha subvariedad esta inducida por la accion t orica
natural sobre la variedad ambiente restringida a un subtoro adecuado. Veremos que
esto tambien se conserva en el caso general.
Teorema 5.1.11. Dado un abanico en R
n
:
1. Toda orbita de la accion torica sobre la variedad torica X

es el embebimiento
T
k
de un toro de dimension k con 0 k n.
2. X

es la union disjunta de todas sus orbitas. Su n umero es nito.


Demostracion. 1. Consecuencia directa del Lema 5.1.10
2. Que X

sea union disjunta de sus orbitas se debe a la denici on de orbita (un


punto no puede estar en dos orbitas distintas). La segunda parte del enunciado
se demuestra inductivamente. Esto se debe a que cualquier subvariedad torica
X
/
contiene a un toro T
k
de dimensi on k como un subconjunto denso y
abierto y X
/
T
k
es subvariedad t orica de X
/
, luego podemos recubrirlo
con embebimientos de toros de menor dimension.
Denicion 5.1.12. Llamamos a cada uno de los T
k
del teorema anterior toro em-
bebido. En particular, T
n
= T se llama la gran orbita de X

.
60 CAP

ITULO 5. LA ACCI

ON T

ORICA Y SUS

ORBITAS
Bibliografa
[Bras] Jean-Paul Brasselet : Introduction to Toric Varieties, Marseille, 2006.
[Cox] David Cox, John Little, Hal Schenck : Toric Varieties, American Mathema-
tical Society, 2011.
[Cox2] David Cox, John Little, Donal OShea : Using Algebraic Geometry, Springer-
Verlag, Nueva York, 1998.
[Cox3] David Cox : Lectures on Toric Varieties, CIMPA School on Commutative
Algebra, Hanoi, 2005.
[Dem] Michel Demazure : Sous-groupes algebriques de rang maximum du groupe de
Cremona, Ann. Sci.

Ecole Norm. Sup. (4)3,(1970), 507-588.
[Ewa] G unter Ewald : Combinatorial Convexity and Algebraic Geometry, Springer-
Verlag, Nueva York, 1996.
[Ful] William Fulton : Introduction to Toric Varieties, Princeton University Press,
New Jersey, 1993.
[Hart] Robin Hartshorne : Algebraic Geometry, Springer-Verlag, Nueva York, 1977.
[Hung] Thomas W. Hungerford : Algebra, Springer-Verlag, Nueva York, 1974.
[Koop] Tialling C. Koopmans : Activity Analysis of Production and Allocation, John
Wiley & Sons, Nueva York, 1951.
[Mac] James MacLaurin : The Resolution of Toric Singularities, University of South
Wales, 2006.
[Mil] Ezra Miller : What is a Toric Variety?, Notices of the AMS (55)5, (2008),
586-587.
61
62 BIBLIOGRAF

IA
[Oda] Tadao Oda : Convex Bodies and Algebraic Geometry: An Introduction to the
Theory of Toric Varieties, Springer-Verlag, Alemania, 1988.
[Rock] R. Tyrrell Rockafellar : Convex Analysis, Princeton University Press, Prin-
ceton, 1970.
[Ver] Helena Verrill, David Joyner : Notes on toric varieties, 2002.