Apunte MAT426
Apunte MAT426
Apunte MAT426
GEOMETRÍA ALGEBRAICA
Pedro Montero
GEOMETRÍA ALGEBRAICA
Pedro Montero
CONTENIDOS
Introducción. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2. Variedades algebraicas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.1. Variedades algebraicas afines y Topología de Zariski. . . . . . . . . . . . . . 39
2.2. Funciones regulares y morfismos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2.3. Variedades algebraicas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.4. Introducción a los esquemas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
2.5. Atlas algebraicos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
2.6. Producto de variedades y separación. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
2.7. Variedades algebraicas proyectivas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
2.8. Componentes irreducibles. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
2.9. Funciones racionales y aplicaciones racionales. . . . . . . . . . . . . . . . . . . . . 96
2.10. Blow-up de una variedad afín. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
2.11. Dimensión y morfismos finitos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
2.12. Dimensión de morfismos y aplicaciones. . . . . . . . . . . . . . . . . . . . . . . . . . 119
2.13. Espacio tangente de Zariski, variedades suaves y singulares . . . . . . 127
2.14. Morfismos suaves y Teorema de Bertini. . . . . . . . . . . . . . . . . . . . . . . . . . 142
2.15. Normalización y Teorema principal de Zariski. . . . . . . . . . . . . . . . . . . 149
4. Cohomología. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 229
4.1. Cohomología de Čech y Haces coherentes. . . . . . . . . . . . . . . . . . . . . . . . . 229
4.2. Cohomología coherente en variedades proyectivas. . . . . . . . . . . . . . . . . 242
4.3. Categorías abelianas y functores exactos. . . . . . . . . . . . . . . . . . . . . . . . . . 254
4.4. Resoluciones inyectivas y quasi-isomorfismos. . . . . . . . . . . . . . . . . . . . . . 259
4.5. Functores derivados. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 268
4.6. Resoluciones acíclicas y resoluciones flasque. . . . . . . . . . . . . . . . . . . . . . . 276
4.7. Cohomología de variedades afines y Teorema de Leray. . . . . . . . . . . . 284
4.8. Imágenes directas superiores. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 293
Índice. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 339
Bibliografia. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 345
INTRODUCCIÓN
Pedro Montero
Departamento de Matemática
Universidad Técnica Federico Santa María
Valparaíso, 2021
CAPÍTULO 1
Uj Ui
ϕj ϕi
Rn ϕ−1 ϕ−1 Rn
j i
ψij := ϕi ◦ ϕ−1
j
ϕj (Uj ) ϕi (Ui )
es una función de clase C ∞ (en el sentido usual). Por ejemplo, si para todo
punto p ∈ Ui escribimos
ϕi (p) = (x1 (p), . . . , xn (p)) ∈ Rn ,
entonces para cada j ∈ {1, . . . , n} la función coordenada xj : Ui −→ R, p 7→ xj (p)
es una función diferenciable. En particular, si conocemos todas las posibles
funciones diferenciables en una variedad M , entonces podemos conocer dicha
variedad al determinar las funciones coordenada en cada carta.
Más formalmente, hay dos formas equivalentes de definir una variedad difer-
enciable M :
(1) A partir de un atlas: definimos M como un espacio topológico junto
con un cubrimiento abierto {Ui }i∈I (i.e. M = i∈I Ui ) tal que para
S
ψij
−1
con inversa dada por ψij = ψji .
(2) A partir de un haz de funciones diferenciables: definimos M como un
espacio topológico junto con un haz F := CM
∞ tal que para todo abierto
ϕ
ψ
A
i.e., HomCA ((B, ϕ), (C, ψ)) = {f ∈ HomC (B, C) tal que ϕ = ψ◦f }.
En particular, la composición g ◦ f está dada por
B
f
/C g
/& D
ϕ
ψ ψ ~ θ
A A
donde ϕ = θ ◦ (g ◦ f ) puesto que θ ◦ g = ψ y ϕ = ψ ◦ f .
(2) La categoría opuesta C op , está dada por:
(a) Objetos: Obj(C op ) := Obj(C ), i.e., posee los mismos objetos que
la categoría original.
(b) Morfismos: HomC op (A, B) := HomC (B, A), i.e., se “dan vuelta”
todas las flechas de los morfismos de C .
El siguiente ejemplo será muy importante al momento de discutir de haces.
1.1. CATEGORÍAS Y FUNCTORES 13
ϕA ϕB
G(f )
G(A) / G(B)
tenemos que
∼ ∼
F ◦ G −−→ IdVecfin y G ◦ F −−→ IdVk .
k
Observación 1.2.5. — Más adelante, veremos que hay una equivalencia en-
tre las categorías de “variedades algebraicas afines sobre k” y de “k-álgebras
(abelianas) finitamente generadas y reducidas (i.e. sin nilpotentes no-nulos)”.
Esto generaliza al contexto algebraico la equivalencia entre las dos formas posi-
bles de definir una variedad diferenciable presentada al comienzo del Capítulo.
Recuerdo 1.2.6. — Recordemos que si u : H → H es un operador lineal
acotado en un espacio de Hilbert H, entonces el Teorema de representación
de Riesz implica que existe un único u∗ : H → H lineal acotado tal que
hu(f ), gi = hf, u∗ (g)i
para todos f, g ∈ H. Además, decimos que u∗ es el adjunto de u.
Esta noción de Análisis Funcional se generaliza naturalmente al contexto
de categorías.
Definición 1.2.7. — Sean F : C → D y G : D → C dos functores covari-
antes. Decimos que (F, G) es un par de functores adjuntos si para todos
A ∈ Obj(C ) y B ∈ Obj(D) hay una biyección natural
∼
τAB : HomD (F (A), B) −
→ HomC (A, G(B)).
1.2. TRANSFORMACIONES NATURALES Y FUNCTORES ADJUNTOS 17
HomD (F (A2 ), B2 )
∼ / HomC (A2 , G(B2 ))
τA2 B2
%
F (W ) / F (V ) / F (U )
rW,V rV,U
rV,U rV,U
ϕU
F (U ) / G (U )
`
U=
U1 U2
(7)
e.g. C = Conj o C = Ab, etc.
1.3. PREHACES Y HACES 23
rV,U rV,U
E (U ) / F (U )
secciones tales que si |Ui ∩Uj = sj |Ui ∩Uj para todos i, j ∈ I. Entonces,
existe una sección s ∈ F (U ) tal que s|Ui = si para todo i ∈ I.
(2) Unicidad. Si U = i∈I Ui es un cubrimiento abierto, y si s ∈ F (U )
S
es un haz.
¡Atención! — Sean F y G haces de grupos abelianos en X. Por definición,
un morfismo de haces ϕ : F → G es símplemente un morfismo entre los
prehaces subyacentes.
Observación 1.3.19. — Sea ϕ : F → G un morfismo de haces de grupos
abelianos. Entonces, el prehaz ker ϕ es siempre un haz.
En efecto, veamos las condiciones de pegado y unicidad simultaneamente:
Sea U ⊆ X un abierto y U = i∈I Ui un cubrimiento abierto. Consideremos
S
secciones si ∈ F (Ui ) tales que si ∈ (ker ϕ)(Ui ) para todo i ∈ I, i.e., ϕUi (si ) = 0
en G (Ui ). Si tenemos que
si |Ui ∩Uj = sj |Ui ∩Uj en F (Ui ∩ Uj ) para todos i, j ∈ I,
entonces el hecho que F es un haz implica que existe una única sección
s ∈ F (U ) tal que s|Ui = si para todo i ∈ I. Más aún, tenemos que
ϕU (s)|Ui = ϕUi (s|Ui ) = ϕUi (si ) = 0 en G (Ui ) para todo i ∈ I.
Dado que G es un haz, tenemos que ϕU (s) = 0 y luego s ∈ (ker ϕ)(U ).
Ejercicio 1.3.20. — El objetivo de este ejercicio es probar que el prehaz
Im ϕ no necesariamente es un haz. Para esto, sea X = C (o una variedad
×
compleja) y sea OX (resp. OX ) el haz de funciones holomorfas (resp. el haz
de funciones holomorfas que no se anulan) con estructura de grupo dada por
la adición (resp. multiplicación). Consideremos el morfismo exponencial
×
exp : OX −→ OX
×
dado por expU : OX (U ) → OX (U ), f 7→ e2πif . Probar que ker(exp) = Z, pero
que el prehaz Im(exp) no es un haz (la condición de pegado falla) y que el
prehaz coker(exp) tampoco es un haz.
1.3. PREHACES Y HACES 27
El ejercicio anterior nos pone en una posición incomoda, puesto que nos
gustaría poder definir un haz imagen. Es natural entonces preguntar, ¿cómo
construir un haz a partir de un prehaz?
Definición 1.3.21. — Sea F un prehaz de grupos abelianos en X. Defini-
mos el prehaz F + en X como el prehaz que asocia a cada abierto U ⊆ X al
grupo F + (U ) de “gérmenes compatibles” de F sobre U . Más formalmente,
( )
F (U ) := Fx tal que (?) ,
Y
+
(sx )x∈U ∈
x∈U
donde la condición de compatibilidad (?) está dada por
(?) Para todo x ∈ U , existe una vecindad abierta V ⊆ U de x y
una sección σ ∈ F (V ) tal que los gérmenes σy = sy coinciden en
Fy para todo y ∈ V .
En términos geométricos, tenemos que:
U
sx2
σ1 s x1 σ2
x1 x2 V2
V1
Fx
Ét(F )
σ(U )
σ π
X
x U
Una sección s ∈ F (U ) define una función
σ : U −→ Ét(F ), x 7−→ sx ∈ Fx
Además, los subconjuntos de Ét(F ) de la forma σ(U ) verifican los axiomas de
una base de una topología, y por ende permiten ver a Ét(F ) como un espacio
topológico.
Finalmente, notamos que el conjunto F + (U ) coincide exactamente con el
conjunto de funciones σ : U → Ét(F ) que son continuas respecto a la topología
que acabamos de definir. En particular, F + es un haz en X.
Lema 1.3.23. — Sea F un haz de grupos abelianos en X. Entonces, para
todo abierto U ⊆ X se tiene que
∼
jU : F (U ) −
→ F + (U )
es un isomorfismo.
Demostración. — Para la inyectividad, consideramos una sección s ∈ F (U )
def
tal que jU (s) = (sx )x∈U = 0 en F + (U ). En particular, por definición del tallo
Fx , existe un cubrimiento abierto U = i∈I Ui tal que s|Ui = 0 para todo
S
j j
ϕ+
F+ / G+
∼
es conmutativo. Luego, si G es un haz, entonces j : G −
→ G + es un isomorfismo
por el lema anterior, y así obtenemos el diagrama conmutativo deseado
ϕ
(†) F /G
=
j
ϕ+
F+
Para verificar la unicidad del morfismo ϕ+ , consideremos σ = (sx )x∈U una
sección de F + (U ), y sea U = i∈I Ui cubrimiento abierto junto con secciones
S
Ejemplo 1.3.26. —
(1) Sea G un grupo abeliano. El haz asociado al prehaz constante G es
exactamente el haz G de funciones localmente constantes, i.e., G+ = G.
(2) Sea F un haz de grupos abelianos en X y sea E ⊆ F un sub-haz
(i.e. un sub-prehaz que además es un haz). Definimos el haz cociente
F /E como el haz asociado al prehaz cociente (F /E )pre que definimos
anteriormente como
def
(F /E )pre (U ) = F (U )/E (U ) para todo abierto U ⊆ X,
i.e., (F /E ) := (F /E )+
pre .
(3) Sea ϕ : F → G un morfismo de haces de grupos abelianos, y sea
(coker ϕ)pre el prehaz cokernel que definimos anteriormente como
def
(coker ϕ)pre (U ) = coker(ϕU ) para todo abierto U ⊆ X.
Así, definimos el haz cokernel como el haz asociado al prehaz cokernel,
i.e., coker ϕ = (coker ϕ)+
pre .
ϕ(si ) = σ|Ui para todo i ∈ I. En otras palabras, son las secciones de G que
provienen localmente de secciones de F .
Definición 1.3.28. — Sea ϕ : F → G un morfismo de haces de grupos
abelianos en X. Decimos que ϕ es:
(a) inyectivo si ker(ϕ) = 0, donde 0 denota el haz asociado al grupo trivial.
def
(b) sobreyectivo si Im ϕ = (Im ϕ)+ pre = G .
(c) un isomorfismo de haces si es inyectivo y sobreyectivo.
La siguiente proposición es muy útil en la práctica, pues señala que para
comprender morfismos de haces basta observar el morfismo inducido a nivel
de tallos.
1.3. PREHACES Y HACES 31
U f (U )
(10)
En caso de serlo para todo U ⊆ X, decimos que f es una función abierta.
1.4. ESPACIOS ANILLADOS Y OX -MÓDULOS 33
como el morfismo de OX -módulos que en el abierto U ⊆ X está dado por (λϕ)(s) := λ|U · s
para toda sección s ∈ F (U ).
36 CAPÍTULO 1. TEORÍA DE CATEGORÍAS Y HACES
(L ∨ )∨ ∼
= L.
Indicación: Si F es un OX -módulo localmente libre de rango finito(14) y G
es un OX -módulo arbitrario, entonces ℋℴ𝓂OX (F , G )x ∼
= HomOX,x (Fx , Gx ).
Terminemos por discutir cómo podemos hacer pullback y pushforward de
haces de módulos utilizando morfismos de espacios anillados. Para esto, sea
(X, OX ) −→ (Y, OY )
un morfismo de espacios anillados dado por el par (f, ϕ), donde f : X → Y
es una función continua y donde ϕ : OY → f∗ OX es un morfismo de haces de
k-álgebras, i.e., para todo abierto V ⊆ Y tenemos un morfismo de k-álgebras
def
ϕV : OY (V ) −→ f∗ OX (V ) = OX (f −1 (V )).
Consideremos F un OX -módulo definido en X y G un OY -módulo definido
en Y . Entonces:
(1) Por definición, el haz imagen directa f∗ F es un f∗ OX -módulo. Más
aún, dado que poseemos un morfismo de haces ϕ : OY → f∗ OX podemos
definir una estructura de OY -módulo en f∗ F .
(2) Por definición, el haz imagen inversa f −1 G es un f −1 OY -módulo. Por
otra parte, la adjunción entre f −1 y f∗ (ver Ejercicio 1.4.3) implica que
hay un isomorfismo
Hom(f −1 OY , OX ) ∼
= Hom(OY , f∗ OX ).
Luego, el morfismo ϕ : OY → f∗ OX corresponde vía la adjunción a un
único morfismo ψ : f −1 OY → OX . Así, OX es dotado de estructura de
f −1 OY -módulo a través de ψ. Luego, para obtener un OX -módulo a
partir de f −1 G basta considerar la extensión por escalares (cf. Ejemplo
1.1.10 (2)):
f ∗ OX := f −1 G ⊗f −1 OY OX .
La discusión anterior puede resumirse en la siguiente definición.
Definición 1.4.12. — Sea (f, ϕ) : (X, OX ) −→ (Y, OY ) un morfismo de
espacios anillados en k-álgebras, y sea F (resp. G ) un OX -módulo (resp.
OY -módulo). Definimos
(1) El OY -módulo imagen directa mediante f∗ F .
(2) El OX -módulo imagen inversa (o pullback) mediante
f ∗ OX := f −1 G ⊗f −1 OY OX .
De hecho, esto es cierto para F localmente de presentación finita. Sin embargo, es falso
(14)
VARIEDADES ALGEBRAICAS
Demostración. — Para (1), basta notar que por definición se tiene la identidad
!
\ [
V (Si ) = V Si .
i∈I i∈I
Para (2), probaremos que
V (S1 ) ∪ V (S2 ) = V (S1 S2 ),
donde S1 S2 es el conjunto formado por todos los posibles productos
f1 f2 , con fi ∈ Si . En efecto, notamos que por definición se tiene que
V (S1 ) ∪ V (S2 ) ⊆ V (S1 S2 ). Por otro lado, si x ∈ / V (S1 ) ∪ V (S2 ) entonces
existen f1 ∈ S1 y f2 ∈ S2 tales que f1 (x) 6= 0 y f2 (x) 6= 0, lo cual implica que
(f1 f2 )(x) 6= 0 y con ello x ∈
/ V (S1 S2 ).
Corolario 2.1.7. — Las subvariedades afines V (S) ⊆ k n verifican los ax-
iomas de los conjuntos cerrados de una topología.
Demostración. — Por definición, basta probar que k n y ∅ son de la forma
V (S) para cierto S, que la intersección arbitraria de subvariedades afines es
subvariedad afín, y que la unión finita de subvariedades afines es una subvar-
iedad afín. Lo anterior es consecuencia del Ejemplo 2.1.3 y de la Proposición
2.1.6, respectivamente.
Estamos listos para dar la primera definición del espacio afín.
Definición 2.1.8. — Definimos la topología de Zariski de k n como la
topología obtenida al declarar como cerrados a las subvariedades afines, i.e.,
conjuntos de la forma V (S) para cierto S ⊆ O(An ). En particular, los abier-
tos de Zariski son los conjuntos de la forma
U = k n \ V (S) para cierto S ⊆ O(An ).
Denotamos por An a k n dotado de la topología de Zariski (i.e., los cerrados
son ceros de polinomios y los abiertos sus complementos), que llamaremos el
espacio afín.
Veamos algunas de las propiedades de la topología de Zariski. Para esto,
recordemos la siguiente definición de topología.
Definición 2.1.9. — Un espacio topológico X es noetheriano si toda suce-
sión decreciente de conjuntos cerrados es eventualmente constante. En otras
palabras, si
F0 ⊇ F1 ⊇ F2 ⊇ · · · ⊇ Fn ⊇ · · ·
42 CAPÍTULO 2. VARIEDADES ALGEBRAICAS
X
U
Y
tales que
r
X
B+ Gxj Qxj = 1.
j=1
Dado que X = V (I), tenemos que B = 0 en X y por ende deducimos (al
multiplicar por f ) que f = f · 1 = rj=1 Gxj (f Qxj ) = rj=1 Gxj Pxj =: P , de
P P
ejemplo, notando que no todo ideal de O(C) es principal (i.e., generado por
un elemento).
S
Sabemos que X = i∈I Ui , donde Ui es un abierto afín de X. Así,
[
U= Vi donde Vi := U ∩ Ui ,
i∈I
y luego Vi es un abierto de la variedad algebraica afín Ui . Luego, basta probar
que todo abierto V de una subvariedad afín Y ⊆ An (i.e., un cerrado de
Zariski) puede ser cubierto por abiertos afines.
Para esto último, consideramos un abierto de Zariski V ⊆ Y . Por definición,
existen polinomios f1 , . . . , fm ∈ O(An ) tales que
def
Y \ V = Y ∩ V (f1 , . . . , fm ) = {y ∈ Y tal que f1 (y) = · · · = fm (y) = 0}.
En particular, si para cada i ∈ {1, . . . , m} consideramos el abierto
def
Ufi := Y \ V (fi ) = {y ∈ Y tal que fi (y) 6= 0}
entonces tenemos que V = m
S
i=1 Ufi . Veamos que cada Ufi es un abierto afín
(i.e., isomorfo a una subvariedad afín de algún espacio afín):
t
{yt = 1} ∼
= {y 6= 0} ⊆ A1
def
En An+1 con coordenadas (y, t) = (y1 , . . . , yn , t) consideramos el cerrado de
Zariski
Wi := {(y, t) ∈ An × A1 = An+1 tal que y ∈ Y y tal que fi (y)t = 1},
y notamos que Wi → Ufi , (y, t) 7→ y es un morfismo regular biyectivo con in-
versa regular dada por y 7→ (y, fi1(y) ). Así, (U, OU ) es una variedad algebraica.
Notar que, a diferencia de OX |Y , el haz (OX / I Y )|Y tiene la ventaja de que sus secciones
(4)
def
función regular u ∈ B = O(Y ) tenemos el siguiente diagrama conmutativo:
ϕ
u_ ∈ B / A 3 ϕ(u)
_
uy ∈ OY,y OX,x 3 ϕ(u)x
_ _
evy evx
Idk
u(y) ∈ OY,y /ηy ∼
=k /k∼
= OX,x /mx 3 ϕ(u)(x)
def def
Así, para todo x ∈ X se cumple (f ∗ (u))(x) = u(f (x)) = u(y) = ϕ(u)(x) y
luego ϕ = f ∗ en B.
ιS " ∃! ϕ
b
S −1 A
es conmutativo.
La localización de anillos será crucial para probar el siguiente resultado.
Teorema 2.4.2. — Sea k un cuerpo algebraicamente cerrado. Entonces, hay
una equivalencia de categorías entre:
(1) La categoría Aff k,red de variedades algebraicas (reducidas) afines
definidas sobre k.
(2) La categoría Algk,red de k-álgebras conmutativas finitamente generadas
y reducidas (i.e., sin elementos nilpotentes no-triviales).
Demostración. — Dada una variedad algebraica afín X ⊆ An , el álgebra de
funciones regulares
O(X) =∼ k[X1 , . . . , Xn ]/ I (X)
es finitamente generada y reducida. Además, a cada morfismo f : X → Y
entre variedades algebraicas afines asociamos (de manera contravariante) un
morfismo f ∗ : O(Y ) → O(X) entre las k-álgebras correspondientes.
Para obtener la equivalencia de categorías, asociaremos (de manera functo-
rial) a cada k-álgebra reducida y finitamente generada A una variedad alge-
braica afín (X, OX ), llamada el espectro maximal de A:
2.4. INTRODUCCIÓN A LOS ESQUEMAS 61
Consideremos el conjunto
def
X := Specm(A) = {m ⊆ A ideal maximal}
de ideales maximales de A. Dotamos a X de la topología de Zariski obtenida
al declarar que los cerrados de X son los conjuntos de la forma
V (I) := {m ⊆ A ideal maximal tal que I ⊆ m}
para algún ideal I ⊆ A. Más aún, notamos que dado f ∈ A no-nulo los
abiertos de la forma
Uf := {m ⊆ A ideal maximal tal que f ∈
/ m} = X \ V (f )
forman una base de la topología de Zariski, y por ende(7) pueden ser utilizados
para definir un haz OX :
Para cada f ∈ A no-nulo, definimos
OX (Uf ) := Af ,
la localización de A respecto a f . Así, una sección s ∈ OX (Uf ) es un elemento
de la forma s = fun para ciertos u ∈ A y n ∈ N. Para definir los morfismos de
def
restricción, notamos que por definición se tiene que Uf ∩ Ug = Uf g , y por ende
basta considerar las inclusiones de la forma Uf g ⊆ Ug . En tal caso, definimos
el morfismo de restricción mediante
def def
OX (Uf ) = Af −→ OX (Uf g ) = Af g
u ug n
−
7
s= →
fn (f g)n
Veamos que el prehaz OX es efectivamente un haz. Para ello, consideremos
S T
Uf = i∈I Ugi cubrimiento abierto, i.e., V (f ) = i∈I V (gi ). Notar que está
última condición equivale a:
“Para todo ideal maximal m ⊆ A, se tiene que f ∈ m si y sólo si
gi ∈ m para todo i ∈ I.”
En particular, dado que f es invertible en Af (i.e., f ∈ / η para todo ideal
maximal η ⊆ Af ) se tiene que no existe un ideal maximal η ⊆ Af tal que
h{gi }i∈I i ⊆ η, i.e., el ideal generado por los {gi }i∈I es todo el anillo Af . Más
def
aún, dado que para todo mi ∈ N≥1 se tiene que V (gimi ) = V (gi ), podemos
reemplazar gi por gimi en el razonamiento anterior para deducir que:
(7)
Ver la Sección 2.5 de [Vak17] para más detalles sobre el hecho que basta definir un haz
utilizando una base de un espacio topológico (esto el haz en todo abierto).
62 CAPÍTULO 2. VARIEDADES ALGEBRAICAS
def
vi (gimi u) = 0 en Af ,
X
u=
i
de donde concluímos que s = 0 en Af , y con ello la unicidad deseada.
En conclusión, tenemos que (X, OX ) es un espacio anillado. Veamos ahora
que es una variedad algebraica afín:
Sean a1 , . . . , an ∈ A generadores de la k-álgebra A, y consideremos el mor-
fismo sobreyectivo
k[X1 , . . . , Xn ] A, Xi 7−→ ai
cuyo kernel es un ideal I ⊆ O(An ) que cumple A = ∼ O(An )/I.
Por hipótesis, A es reducida y por ende tenemos que I ⊆ O(An ) es un
ideal radical. Luego, V (I) =: Y ⊆ An es una variedad algebraica afín que
√
verifica I (Y ) = I (V (I)) = I = I, y luego O(Y ) ∼
= O(An )/ I (Y ) ∼
def
= A. En
2.4. INTRODUCCIÓN A LOS ESQUEMAS 63
∼g
TG,Id =
Xt
t
x
X0
Entonces, para t 6= 0 se tiene que Xt es una sub-variedad afín reducida
(una parábola), mientras que para t = 0 obtenemos un esquema afín
no-reducido (una recta doble).
Observación 2.4.6. — Más generalmente, Grothendieck introduce la no-
ción más general de espectro de un anillo conmutativo A arbitrario mediante
Spec(A) := {p ⊆ A ideal primo},
y define la correspondiente topología de Zariski al considerar como cerrados
de X = Spec(A) a los subconjuntos de la forma
V (I) = {p ⊆ A ideal primo tal que I ⊆ p}.
2.5. ATLAS ALGEBRAICOS 67
definimos
A (U ) := Ai (U )
a
/ ∼
i∈I
U ⊆Ui
donde
(s, Ui ) ∼ (t, Uj ), con s ∈ Ai (U ) y t ∈ Aj (U ), si se verifica que
t = ϕji (s) en Aj |Ui ∩Uj (U ).
Ui Uj
U
Uj Ui
αj αi
ψij := αi ◦ αj−1
αj (Uj ) ϕi (Ui )
deduce la sobreyectividad.
Más generalmente, tenemos el siguiente resultado (y definición) para var-
iedades algebraicas arbitrarias.
Teorema 2.6.5. — Los productos (finitos) existen en la categoría de var-
iedades algebraicas.
Demostración. — Sean X e Y variedades algebraicas. Consideremos cubrim-
ientos por abiertos afines {Ui }i∈I y {Vj }j∈J , respectivamente. Sabemos por
los resultados anteriores que Ui × Vj es una variedad algebraica afín, y luego
construiremos Z = X ×Y usando el atlas algebraico definido por los conjuntos
def
Zij := Ui ×Vj con i ∈ I y j ∈ J. En particular, Zij ∩Zkl = (Ui ∩Uk )×(Vj ∩Vl ).
Concretamente, dotamos al conjunto X × Y de la topología siguiente:
Un abierto en Z = X × Y es un subconjunto tal que su intersec-
ción con cada Zij es abierto en Zij .
Por ejemplo, cada Zkl es abierto en Z.
Por otro lado, dado que Ui y Uj pueden ser pegados mediante un atlas
algebraico, tenemos que las funciones regulares en Ui y Uj coinciden en la
intersección Ui ∩ Uj . Así, las funciones regulares en Zij y Zkl coinciden en la
intersección Zij ∩ Zkl , por lo que los abiertos {Zij }(i,j)∈I×J forman un atlas
algebraico. Así, Z = X × Y es una variedad algebraica.
Mas aún, si u : S → X y v : S → Y son morfismo regulares, entonces los
abiertos u−1 (Ui ) × v −1 (Vj ) forman un cubrimiento de S. Así, la propiedad
universal del producto se verifica localmente, y dado que “ser regular” es una
propiedad local, tenemos por ende que la propiedad universal del producto se
verifica globalmente.
2.6. PRODUCTO DE VARIEDADES Y SEPARACIÓN 73
0
X1 = A1
0
X2 = A1
def
Sea Z := X1 X2 = A1 × {1, 2}, y construyamos X como la variedad
`
U ×V
X
U V
Dado que el producto U × V es una variedad algebraica afín y que
∆X ⊆ X × X es un cerrado de Zariski, concluímos que el abierto U ∩ V es
isomorfo a un cerrado de una variedad algebraica afín.
2.6. PRODUCTO DE VARIEDADES Y SEPARACIÓN 75
Y ∼
= A1 Y ∼
= A1 ∼ A1
Y 6=
f2 (t) = t, t2 f3 (t) = t2 , t3
f1 (t) = (t, t)
Entonces, f1 y f2 son incrustaciones cerradas, pero f3 no lo es.
Recuerdo 2.7.3. — Sea V ∼ = k n+1 espacio vectorial. El espacio proyec-
∼ Pn es la variedad algebraica cuyos puntos corresponden a rectas
tivo P(V ) =
vectoriales en V .
En particular, si W ⊆ V es un sub-espacio vectorial no-nulo de dimension
dimk (W ) = m + 1, entonces
Pm ∼
= Λ := P(W ) ⊆ P(V ),
y decimos que Λ ⊆ Pn obtenido de este modo es un subespacio lineal de
∼ Pn .
dimensión m de P(V ) =
Ejemplo 2.7.4. — Sean Λ1 = P(W1 ) ∼ = Pm1 y Λ2 = P(W2 ) ∼
= Pm2 subespa-
cios lineales de P(V ) ∼ n
= P . Entonces, si m1 + m2 ≥ n tenemos que
Λ1 ∩ Λ2 = P(W1 ∩ W2 ) ∼
def
= Pd
es no-vacío de dimensión d ≥ m1 + m2 − n.
(11)
En inglés, closed immersion.
78 CAPÍTULO 2. VARIEDADES ALGEBRAICAS
X ⊆ Pn
Y = V (I) ⊆ An+1
•0∈Y
de grado di , entonces
def
V (I) = {x = [x0 , . . . , xn ] ∈ Pn tal que f1 (x) = · · · = fr (x) = 0}.
(2) Recíprocamente, debido a la construcción de Pn como cociente de
An+1 \ {0}, tenemos que toda subvariedad cerrada de Pn es de la forma
X = V (I) para cierto I ⊆ O(An+1 ) ideal homogéneo.
(3) Sea f ∈ k[X0 , . . . , Xn ] polinomio homogéneo no-nulo de grado d ≥ 1.
Decimos que
V (f ) = {[x0 , . . . , xn ] ∈ Pn tal que f (x0 , . . . , xn ) = 0}
es una hipersuperficie de grado d en Pn . Cuando d = 1 (resp. d = 2,
resp. d = 3, resp. d = 4, etc.) decimos que V (f ) = H es un hiper-
plano (resp. V (f ) = Q es una hipersuperficie cuádrica, resp. una
hipersuperficie cúbica, resp. una hipersuperficie cuártica, etc.). Por
ejemplo,
XF := {[x0 , . . . , xn ] ∈ Pn tal que xd0 + xd1 + . . . + xdn = 0} ⊆ Pn
es la hipersuperficie de Fermat de grado d, mientras que
XK := {[x0 , . . . , xn ] ∈ Pn tal que xd−1 d−1 d−1
0 x1 + x1 x2 + . . . + xn x0 = 0} ⊆ P
n
• [1, 0, 0]
80 CAPÍTULO 2. VARIEDADES ALGEBRAICAS
A2 f (A2 )
f
no es un cerrado de Zariski.
Corolario 2.7.12. — Sea X una variedad algebraica proyectiva y sea
f : X → k una función regular. Entonces, f (X) es un conjunto finito.
Demostración. — Consideremos la composición F : X → P1 dada por
f
F : X −−→ k = A1 ,→ P1 , x 7−→ [f (x), 1].
2.7. VARIEDADES ALGEBRAICAS PROYECTIVAS 83
ϕ : Pn × Pm −→ PN
([x0 , . . . , xn ], [y0 , . . . , ym ]) 7−→ [x0 y0 , x0 y1 , . . . , xi yj , . . . , xn ym ]
es un morfismo regular. Veamos que Σn,m := ϕ(Pn × Pm ) ⊆ PN es un cerrado
de Zariski y que Pn × Pm ∼= Σn,m (i.e., ϕ es un incrustamiento cerrado).
Para esto último, notemos que mediante el isomorfismo
∼
V ⊗ W −−→ Homk (V ∨ , W )
T = v1 ⊗ w1 + . . . + vr ⊗ wr 7−→ ψT : V ∨ → W
` 7→ `(v1 )w1 + . . . + `(vr )wr
tenemos que la imagen de ϕ, dada por los tensores simples de V ⊗ W , cor-
responde a aplicaciones lineales de rango 1. Explícitamente, si consideramos
coordenadas homogéneas z = k,l zkl ek ⊗fl de P(V ⊗W ) =
P ∼ PN y consideramos
los abiertos estándar
Wij = {[z] ∈ PN tal que zij 6= 0} ∼
= AN ,
entonces ϕ−1 (Wij ) = Ui × Vj , con
Ui = {[x] ∈ Pn tal que xi 6= 0} y Vj = {[y] ∈ Pm tal que yj 6= 0}.
En particular, si i = j = 0 tenemos que ϕ|U0 ×V0 : U0 × V0 → W0,0 está dada
por
1 x1 ··· xn
y1
x 1 y1 ··· x n y1
([1, x1 , . . . , xn ], [1, y1 , . . . , ym ]) −
7 →
.. .. ..
. . .
ym x1 ym · · · xn ym
que es un morfismo regular, y que define un isomorfismo entre U0 × V0 y el
conjunto cerrado dado por las matrices en W0,0 de rango ≤ 1.
El mismo argumento es válido para índices (i, j) arbitrarios, y obtenemos
así un isomorfismo entre Pn × Pm y la subvariedad cerrada Σn,m ⊆ PN dada
2.7. VARIEDADES ALGEBRAICAS PROYECTIVAS 85
por la condición
z00 z01 ··· z0n
z10
z11 ··· z1n
rango
.. .. .. ≤ 1,
. . .
zm0 zm1 · · · zmn
que a su vez equivale a
zik zil
det = zik zjl − zil zjl = 0
zjk zjl
para todos i, j ∈ {0, . . . , m} y k, l ∈ {0, . . . , n}.
Corolario 2.7.17. — El producto (finito) de variedades algebraicas proyec-
tivas es una variedad algebraica proyectiva.
Demostración. — Si X ⊆ Pn e Y ⊆ Pm son cerrados de Zariski, entonces la
imagen de
X × Y ⊆ Pn × Pm ,→ Pmn+m+n
es un cerrado de Σn,m .
Ejemplo 2.7.18. — La incrustación de Segre
P1 × P1 ,→ P3
([x0 , x1 ], [y0 , y1 ]) 7−→ [x0 y0 , x0 y1 , x1 y0 , x1 y1 ]
permite identificar P1 × P1 con la superficie cuádrica S ⊆ P3 dada por
z0 z 1
det = z0 z3 − z1 z2 = 0.
z2 z 3
Notar además que la forma cuadrática
Q : k 4 −→ k, (z0 , z1 , z2 , z3 ) 7−→ z0 z3 − z1 z2
es no-degenerada. Más generalmente, si car(k) 6= 2 entonces toda forma
cuadrática no-degenerada Q : k 4 → k puede ser diagonalizada y luego
S = {[z] ∈ P3 tal que Q(z) = 0} ∼
= P1 × P1
en ese caso.
86 CAPÍTULO 2. VARIEDADES ALGEBRAICAS
νd : Pn −→ PN
[x0 , . . . , xn ] 7−→ [xd0 , xd−1 d
0 x1 , . . . , x n ]
algebraica afín.
88 CAPÍTULO 2. VARIEDADES ALGEBRAICAS
V =W ⊕I I∼= k n−m
W ∼
= km
un incrustamiento cerrado:
(15)
En honor al matemático alemán Julius Plücker (1801-1868).
2.7. VARIEDADES ALGEBRAICAS PROYECTIVAS 91
(16)
Vm
Los {pi1 ,...,im } son llamadas coordenadas de Plücker de W en P( V ).
(17)
P
Explícitamente, si escribimos ω = λi1 ,...,im ei1 ∧ · · · ∧ eim entonces ω ∧ e1 = 0 si y sólo
si cada sumando λi1 ,...,im ei1 ∧ · · · ∧ eim contiene a e1 (i.e., ei` = e1 para algún `).
92 CAPÍTULO 2. VARIEDADES ALGEBRAICAS
Zar
Recíprocamente, si f no es dominante entonces Z := f (X) ( Y es un
cerrado propio, y luego existe u : Y → k función regular tal que u|Z = 0 pero
u 6= 0 en O(Y ), i.e., u ∈ ker(f ∗ ) es no-trivial. Así, f ∗ no es inyectivo.
Ejemplo importante 2.9.14. — Sea f : X → Y un morfismo regular dom-
inante entre variedades algebraicas afines. Entonces, si X es irreducible en-
tonces Y es irreducible también.
En efecto, f ∗ : O(Y ) ,→ O(X) identifica O(Y ) con una sub-álgebra del
dominio entero O(X), y luego O(Y ) es un dominio entero también. Esto
último equivale a que Y sea irreducible.
Ejercicio 2.9.15. — Probar, usando lo anterior, que la variedad algebraica
afín
X := {(x, y) ∈ A2 tal que y 2 = x3 }
es irreducible.
Observación importante 2.9.16. — Un argumento completamente anál-
ogo al lema anterior muestra que si f : X 99K Y es una aplicación racional
dominante entre variedades algebraicas arbitrarias, entonces el pullback de
funciones racionales (que está bien definido pues f es dominante)
f ∗ : k(Y ) ,→ k(X), u 7−→ u ◦ f
es un morfismo inyectivo de k-álgebras. Notar además que f ∗ |k = Idk a nivel
de funciones constantes.
Proposición 2.9.17. — Sean X e Y variedades algebraicas irreducibles, y
sea
ϕ : k(Y ) ,→ k(X)
un morfismo de k-extensiones de cuerpo (i.e., un morfismo de cuerpos que
verifica ϕ|k = Idk a nivel de funciones constantes). Entonces, existe una
única aplicación racional dominante f : X 99K Y tal que ϕ = f ∗ .
Demostración. — Sean U ⊆ X y V ⊆ Y abiertos afines no-vacíos, y en par-
ticular densos. Entonces, k(X) ∼ ∼ k(V ), por lo que podemos
= k(U ) y k(Y ) =
suponer que X e Y son afines.
En particular, si escribimos B = O(Y ) ∼ = k[Y1 , . . . , Ym ]/ I (Y ) con gener-
adores y1 , . . . , ym ∈ O(Y ), entonces tenemos que k(Y ) = ∼ Fr(B).
Luego, si escribimos ϕ(yi ) = ugii ∈ k(X) y consideramos
U := Ug1 ∩ · · · ∩ Ugm ⊆ X
2.9. FUNCIONES RACIONALES Y APLICACIONES RACIONALES 101
el abierto afín donde cada ϕ(yi ) es regular, entonces tenemos que la restricción
ϕ|B : O(Y ) → k(X) se factoriza en ϕe : O(Y ) → O(U ). Así, dado que
todo morfismo de álgebras de funciones regulares es geométrico (ver Teorema
2.2.18), existe f : U → Y morfismo regular tal que ϕe = f ∗ . En particular, la
clase [(f, U )] define una aplicación racional f : X 99K Y .
Para ver que f es dominante consideremos el siguiente diagrama conmuta-
tivo con flechas verticales inyectivas:
e=f ∗
ϕ
/ O(U )
O(Y ) _
_
k(Y )
ϕ
/ k(X)
es birracional.
(3) Sea C = {(x, y) ∈ A2 tal que y 2 = x3 }. El morfismo dominante
A1 −→ C, t 7−→ (t2 , t3 )
es birracional, con inversa racional dada por
y
C 99K A1 , (x, y) 7−→ .
x
1
En particular, C ∼bir A pero C = ∼
6 A .1
Ejercicio 2.9.23. —
(1) Probar que
C = {(x, y) ∈ A2 tal que y 2 = x3 − 1}
no es birracional a A1 .
Indicación: Suponer por el contrario que existe una aplicación birra-
cional A1 99K C, t 7→ (x(t), y(t)) con x(t) = p(t) r(t)
q(t) , y(t) = s(t) funciones
racionales, donde (p, q) = (r, s) = 1 en k[t], y llegar a una contradic-
ción.
(2) Supongamos que car(k) 6= 2. Probar que toda hipersuperficie cuádrica
X = {[x0 , . . . , xn ] ∈ Pn tal que Q(x0 , . . . , xn ) = 0} ⊆ Pn
es racional.
Indicación: Sea a ∈ Pn tal que Q(a) = 0, y sea H ∼ = Pn−1 hiperplano
tal que a ∈/ H. Considerar la recta a + tx, con t ∈ k variable y x ∈ H
fijo, y resolver Q(a + tx) = 0 para t 6= 0.
2.10. BLOW-UP DE UNA VARIEDAD AFÍN 103
a
H∼
= Pn−1
X = V (Q)
Luego,
e = {((x, y), [u, v]) ∈ A2 × P1 tal que xv − yu = 0} ⊆ A2 × P1
X
es el blow-up de A2 en (x, y). Además, el morfismo ε : X e → A2 está
dado por ε((x, y), [u, v]) = (x, y) y en particular E = ε−1 ((0, 0)) ∼
def
= P1
es el conjunto excepcional.
106 CAPÍTULO 2. VARIEDADES ALGEBRAICAS
ε ε0
~
X
es conmutativo.
(3) Consideremos la cúbica nodal
C = {(x, y) ∈ A2 tal que y 2 = x2 (x + 1)} ⊆ A2 .
Calcular la transformada estricta Ce en el blow-up de A2 en (x, y).
Una consecuencia importante del Ejercicio 2.10.4 (2) es que la definición de
blow-up sólo depende realmente del ideal generado por f1 , . . . , fr .
Definición 2.10.5. — Sea X ⊆ An variedad algebraica afín irreducible,
y sea I ⊆ O(X) un ideal no-nulo definiendo Z := V (I) ⊆ X subvariedad
cerrada. El blow-up de X a lo largo de Z, denotado por
ε : BlZ (X) −→ X,
es el blow-up X
e en cualquier conjunto de generadores (f1 , . . . , fr ) del ideal I.
La subvariedad Z ⊆ X es llamada el centro del blow-up, y se tiene que
Exc(ε) = ε−1 (Z) es el conjunto excepcional.
2.11. DIMENSIÓN Y MORFISMOS FINITOS 107
(3) Por (1) y (2), tenemos que dim(Pn ) = n y dim(Gr(m, n)) = m(n − m).
Existe otra definición importante de dimensión, inspirada por el álgebra
conmutativa.
Definición 2.11.4. — Sea X un espacio topológico. La dimensión de
Krull es el supremo dimKrull (X) ∈ N ∪ {∞} de todos los d ∈ N tal que existen
cerrados irreducibles X0 , X1 , . . . , Xd tales que
X0 ( X1 ( · · · ( Xd .
Ejemplo importante 2.11.5. —
(1) Dado que
An ) An−1 ) · · · ) A1 ) A0 = {pt},
tenemos que dimKrull (An ) ≥ n.
(2) Sea Y ⊆ X un subconjunto, y sean Y0 ( Y1 ( · · · ( Yd cerrados en Y
(que por definición son de la forma Yi = Zi ∩ Y con Zi ⊆ X cerrado).
Luego, la adherencia de los cerrados Yi son cerrados distintos en X, por
lo que deducimos que dimKrull (Y ) ≤ dimKrull (X).
Como vimos en los ejemplos anteriores, cada una de las definiciones de
dimensión tiene sus ventajas y desventajas. Nos gustaría entonces probar
que ambas nociones coinciden, para lo cual necesitaremos del Teorema de
normalización de Noether (1926) que afirma que una variedad algebraica afín
irreducible es de dim(X) = n si y sólo si existe f : X An morfismo regular
sobreyectivo que es finito.
Recuerdo 2.11.6. — Sea ϕ : A → B un morfismo de anillos conmutativos
con unidad, que permite dotar a B de estructura de A-módulo (definiendo
a · b := ϕ(a)b para todo a ∈ A y todo b ∈ B). Decimos que x ∈ B es entero
sobre A (respecto a ϕ) si existe una relación polinomial mónica
xn + ϕ(a1 )xn−1 + · · · + ϕ(an−1 )x + ϕ(an ) = 0.
En particular, decimos que B es entero sobre A (respecto a ϕ) si todo elemento
x ∈ B es entero.
Más aún, se puede probar que en el caso (de nuestro interés) en que A y
B son k-álgebras finitamente generadas, se tiene que B es entero sobre A si y
sólo si B es un A-módulo finitamente generado.
2.11. DIMENSIÓN Y MORFISMOS FINITOS 109
f ∗ (ui )fini en A.
X
1= (??)
i∈I
2.11. DIMENSIÓN Y MORFISMOS FINITOS 111
def
Luego, si x ∈ f −1 (y) entonces (f ∗ (bij ))(x) = bij (f (x)) = bij (y) depende sólo
de y ∈ Y . Así, al fijar y ∈ Y se obtienen finitas soluciones para xi en (?), y
luego finitas para x = (x1 , . . . , xn ) ∈ X.
Para ver (2), consideremos el ideal I := ker(f ∗ ) ⊆ B, y probemos que
def
Im(f ) = f (X) = V (I) es un cerrado en Y .
Para ello, recordemos que si x ∈ X y mx ⊆ A es el ideal maximal corre-
spondiente, entonces (f ∗ )−1 (mx ) = ηy es el ideal maximal correspondiente
a y = f (x) ∈ Y . En particular, dado que 0 ∈ mx ⊆ A, tenemos que
def
I = ker(f ∗ ) ⊆ (f ∗ )−1 (mx ) = ηy , i.e., y = f (x) ∈ V (I). Así, Im(f ) ⊆ V (I).
Para la otra inclusión, notamos primero que si y ∈ Y y ηy ⊆ B es el ideal
maximal correspondiente, entonces los puntos de la fibra f −1 (y) corresponden
a ideales maximales m ⊆ A tales que f ∗ (ηy ) ⊆ m. Luego, y ∈ / Im(f ) si y sólo
∗
si hf (ηy )i = A.
Así, para probar que V (I) ⊆ Im(f ), consideramos un ideal maximal
η = ηy ⊆ B tal que I ⊆ η, y suponemos por contradicción que hf ∗ (η)i = A:
Sean a1 , . . . , am ∈ A generadores de A como B-módulo. Entonces, la condi-
ción hf ∗ (η)i = A implica que existen bij ∈ η tales que ai = m ∗
P
j=1 f (bij )aj en
A. Lo anterior puede ser escrito matricialmente como
a1
.
(Im −f ∗ (bij ) Im ) .. = 0,
am
de donde deducimos que det(Im −f ∗ (bij ) Im ) = 0 en A, y de donde se obtiene
directamente que 1A ∈ f ∗ (η). Dado que (f ∗ )−1 (1A ) = 1B ⊆ η + I, y dado que
def
I ⊆ η, concluímos que h1B i = B = η, una contradicción.
Ejemplo importante 2.11.16. — Sea p ∈ An un punto. El blow-up
ε : Blp (An ) −→ An
∼ Pn−1
no es un morfismo finito, puesto que el conjunto excepcional E = ε−1 (p) =
tiene cardinal infinito.
Definición 2.11.17. — Sea X ( Pn un cerrado propio, y sea p ∈ Pn tal
/ X. Dado un hiperplano H ∼
que p ∈ = Pn−1 tal que p ∈
/ H, definimos la
proyección de p a H como el morfismo
πp : X −→ H ∼ = Pn−1
114 CAPÍTULO 2. VARIEDADES ALGEBRAICAS
x H∼
= Pn−1
πp (X)
πp (x)
∼ k[y1 , . . . , yn−1 ]
Por otra parte, notamos que O(X∩Un ) es entero sobre O(H∩Un ) =
puesto que
d
ai y0d−1 = 0 donde ai := gi (y1 , . . . , yn−1 , 1) ∈ O(H ∩ Un )
X
y0d +
i=1
implica que y0 es entero sobre O(H ∩Un ). El mismo argumento, reemplazando
Un por Ui con i ∈ {0, . . . , n}, nos permite concluir que πp : X → H es un
morfismo finito.
Como consecuencia, obtenemos el siguiente resultado de Emmy Noether
(1926), conocido como el Teorema de Normalización de Noether.
Teorema 2.11.20 (Noether). — Sea X una variedad algebraica afín. En-
tonces, existe un morfismo finito sobreyectivo
f : X Ad
para cierto d ∈ N.
Demostración. — Supongamos que X ⊆ An . Si X = An el resultado es
automático, por lo que podemos asumir que X ( An ∼ = U0 = {x0 6= 0} ⊆ Pn
es un cerrado propio, y podemos considerar X ⊆ Pn la clausura proyectiva de
X. En particular, X ∼= X ∩ U0 .
Luego, si escogemos p ∈/ U0 tal que p ∈ / X y escogemos H ∼ = Pn−1 un
hiperplano tal que p ∈
/ H, entonces la proyección
πp : X 7−→ Pn−1 ∼
=H
es un morfismo finito que se restringe a πp |X : X −→ An−1 , que por ende
también es un morfismo finito. Si la restricción πp |X es sobreyectiva entonces
obtenemos el resultado deseado, mientras que si no es sobreyectiva podemos
continuar proyectando hasta obtener X Ad finito y sobreyectivo.
Observación 2.11.21. — Notar que la demostración anterior nos dice más
precisamente que si X ( An es un cerrado propio, entonces existe
f : X Ad
morfismo finito sobreyectivo, y además se puede asumir d < n.
Para concluir esta sección, usaremos este resultado para comparar las difer-
entes nociones de dimensión. Además de lo anterior, necesitaremos el siguiente
resultado que es conocido en álgebra conmutativa como going-up y going-down:
116 CAPÍTULO 2. VARIEDADES ALGEBRAICAS
`1
P2 • p
`2
en el espacio dual (mx /m2x )∨ . Así, basta verificar que la aplicación lineal
ϕ : Tx X −→ (mx /m2x )∨ , D 7−→ D
es un isomorfismo.
Para la inyectividad de ϕ, notamos que todo f ∈ OX,x se escribe como
def
f = f (x) + f0 , donde f0 ∈ mx . Luego, si ϕ(D) = D = 0 entonces se tiene que
def
D(f ) = D(f (x)) + D(f0 ) = 0, pues f (x) ∈ k y D = 0.
Para la sobreyectividad de ϕ, consideramos ∇ : mx /m2x → k aplicación
lineal y definamos para f ∈ OX,x con f0 := f − f (x) ∈ mx
D(f ) := ∇([f0 ]), donde [f0 ] ∈ mx /m2x .
Luego, tenemos que para todos f, g ∈ OX,x
def def
0 = ∇([f0 g0 ]) = D(f0 g0 ) = ∇([f g − f (x)g − g(x)f + f (x)g(x))
= D(f g) − f (x)D(g) − g(x)D(f ),
i.e., D ∈ Tx X. Más aún, tenemos que ϕ(D) = ∇ por definición, de donde se
deduce el isomorfismo deseado.
Finalmente, dado que OX,x es un anillo noetheriano(23) , tenemos que mx es
un ideal finitamente generado por ciertos elementos u1 , . . . , uN ∈ mx , por lo
que sus imagenes en el cociente [u1 ], . . . , [uN ] ∈ mx /m2x son generadoras como
k∼ = OX,x /mx -módulo, i.e., como k-espacio vectorial.
Ejercicio 2.13.3. — Sean X e Y dos variedades algebraicas. Probar que
para todo x ∈ X y todo y ∈ Y se tiene que
∼ Tx X ⊕ Ty Y.
T(x,y) (X × Y ) =
Notar que la construcción del espacio tangente de Zariski es functorial (co-
variante). Más precisamente:
Definición 2.13.4. — Sea f : X −→ Y un morfismo regular entre var-
iedades algebraicas, y sea x ∈ X. Entonces, el morfismo de k-álgebras
f ∗ : OY,f (x) → OX,x , u 7−→ u ◦ f induce una aplicación k-lineal
dx f : Tx X 7−→ Tf (x) Y
D 7−→ D ◦ f ∗
llamada el diferencial de f en x ∈ X.
(24)
Obtenida al derivar la identidad f (λx) = λd f (x) respecto a λ, y evaluar en λ = 1.
2.13. ESPACIO TANGENTE DE ZARISKI, VARIEDADES SUAVES Y SINGULARES 135
X ⊆ A3
p∈L∼
= A1
curvas se intersecta, mientras que en Blp (P2 ) las transformadas estrictas de dos
rectas distintas pasando por p ∈ P2 no se intersectan (ver Ejercicio 2.12.15).
Terminología 2.13.27. — Sea x ∈ X un punto suave, y sea n = dimx (X).
Decimos que u1 , . . . , un ∈ OX,x son coordenadas locales en x ∈ X si sus
imágenes en el cociente mx /m2x son linealmente independientes.
Equivalentemente, si definimos el espacio cotangente de x ∈ X como el
espacio vectorial dual
Ω1X,x := (Tx X)∨ ,
entonces u1 , . . . , un ∈ OX,x son coordenadas locales si sus diferenciales
dx u1 , . . . , dx un son linealmente independientes en Ω1X,x .
En particular, si U ⊆ Xreg es un abierto afín no-vacío cuyos puntos son
suaves y u1 , . . . , un ∈ O(U ) son funciones regulares, entonces decimos que
u1 , . . . , un son coordenadas locales (o parámetros locales) en el abierto U si
las imágenes de las funciones u1 , . . . , un en OX,x son coordenadas locales para
todo x ∈ U .
Proposición 2.13.28. — Sea X una variedad algebraica irreducible de
dim(X) = n y sea U ⊆ Xreg abierto afín no-vacío. Si u1 , . . . , un ∈ O(U ) son
coordenadas locales en U , entonces para todo m ∈ {1, . . . , n} la subvariedad
Zm = {x ∈ U tal que u1 (x) = · · · = um (x) = 0} ⊆ U
es suave de dimensión n − m.
Demostración. — El espacio tangente de la hipersuperficie Z1 = {u1 = 0}
está dado por Tx Z1 = ker(dx u1 ), el cual es un sub-espacio de dimensión n − 1
en Tx X. En particular, Z1 es suave pues dimx (Z1 ) = n − 1 para todo x ∈ U .
Más aún, las restricciones de u2 , . . . , un a Z1 son coordenadas locales en Z1 ,
por lo que el resultado se obtiene por inducción.
Un ejemplo importante de lo anterior, es la extensión del blow-up a var-
iedades suaves e irreducibles arbitrarias.
Ejemplo importante 2.13.29. — Sea X una variedad algebraica suave
e irreducible de dim(X) = n, y sea Z ⊆ X subvariedad cerrada suave e
irreducible de codimX (Z) = r (i.e., dim(Z) = n − r).
Luego, dado que toda variedad suave es localmente una intersección com-
pleta (ver Proposición 2.13.22), tenemos que Z = V (u1 , . . . , ur ) está dada,
loc
en ciertas coordenadas locales u1 , . . . , un en un abierto afín U ⊆ X, por la
anulación de r funciones coordenadas.
140 CAPÍTULO 2. VARIEDADES ALGEBRAICAS
Luego, obtenemos un atlas algebraico que nos permite definir globalmente (!)
ε : BlZ (X) −→ X,
el blow-up de X a lo largo de Z. Más aún, E := Exc(ε) := ε−1 (Z) es la
hipersuperficie excepcional que cumple que:
(1) BlZ (X) \ E ∼
= X \ Z y además ε−1 (x) ∼
= Pr−1 para todo x ∈ Z.
(2) Localmente, tenemos que EU ∼ = (Z ∩ U ) × Pr−1 (pero no globalmente,
en general).
Terminemos esta sección con algunos resultados importantes, cuyas de-
mostraciones se escapan de los alcances de este texto.
Ejemplo importante 2.13.31. — Sea X una variedad algebraica proyec-
tiva irreducible. Una resolución de singularidades de X es un morfismo
birracional f : Y −→ X tal que:
(1) Y es una variedad algebraica proyectiva suave e irreducible.
∼
(2) f −1 (Xreg ) −−→ Xreg es un isomorfismo.
(3) E := f −1 (Xsing ) es una hipersuperficie con cruces simples normales
(simple normal crossings (SNC), en inglés), i.e., si E = E1 ∪ · · · ∪ Er
son las componentes irreducibles de E, entonces cada Ei es una hiper-
superficie suave de Y y cada punto y ∈ E posee coordenadas locales
(u1 , . . . , un ) tales que E = {u1 · · · uk = 0} para cierto k ≤ n.
loc
2.13. ESPACIO TANGENTE DE ZARISKI, VARIEDADES SUAVES Y SINGULARES 141
E f
• Xsing
ι
Xx Xx x X
f
Y
y
En particular,
def
0 = dx (f ◦ ι) = dx (f ) ◦ dx (ι), i.e., Im(dx ι) ⊆ ker(dx f : Tx X −→ Ty Y ),
donde dx ι : Tx Xx ,→ Tx X, D 7→ D ◦ ι∗ es inyectiva, y por ende
rg(dx ι) ≤ dimk (ker dx f ), i.e., dimk (Tx Xx ) ≤ dim(X) − rg(dx f ).
Sin embargo, dicha inclusión puede ser estricta en general. Por ejemplo, si
suponemos car(k) 6= 2 y consideramos
f : A3 −→ A2 , (x, y, z) 7−→ (z, x2 z + y 2 ),
entonces la matriz del diferencial dp f está dada por
0 0 1
Jf (p) = , donde p = (x, y, z),
2xz 2y x2
2.14. MORFISMOS SUAVES Y TEOREMA DE BERTINI 143
donde la última igualdad se obtiene gracias al teorema del rango y al hecho que
dx f es sobreyectiva. Por otra parte, sabemos que gracias al Teorema 2.12.9
que
dimx (Xx ) ≥ dim(X) − dim(f (X)).
Así, deducimos que
dim(X) − dim(Y ) ≤ dim(X) − dim(f (X)) ≤ dimx (Xx ) ≤ dim(X) − dim(Y ),
de donde deducimos (1), (2) y (3) simultáneamente.
Para ver (4), supongamos que codimY (Z) = r y sea w ∈ f −1 (Z) un punto
en la preimagen. Dado que tenemos una aplicación k-lineal
dw (f |f −1 (Z) ) : Tw f −1 (Z) −→ Tf (w) Z,
el teorema del rango implica que
dimk Tw f −1 (Z)−dimk ker(dw f |f −1 (W ) ) = dimk (dw f )(Tw f −1 (Z)) ≤ dimk Tf (w) Z,
donde dimk Tf (w) Z = dim(Z) ya que Z es suave. Además,
dimk ker(dw f |f −1 (Z) ) ≤ dimk ker(dw f ),
donde dimk ker(dw f ) = dim(X) − dim(Y ) ya que f es un morfismo suave. En
resumen, tenemos por una parte que
dimk Tw f −1 (Z) ≤ dim(X) − r (?).
Por otra parte, si consideramos coordenadas locales u1 , . . . , ur es una vecindad
afín de f (w) ∈ V ⊆ Y , tal que Z ∩ V sea irreducible y dado por la intersección
completa Z ∩ V = V (u1 , . . . , ur ), entonces
def
f −1 (V ) ∩ f −1 (Z) = V (u1 ◦ f, . . . , ur ◦ f )
en f −1 (V ) ⊆ X, por lo que
dimw (f −1 (Z)) ≥ dim(X) − r (??).
Así, las desigualdades (?) y (??) nos permiten probar (4).
En geometría diferencial, el Teorema de Sard (1942) afirma que el con-
junto de puntos donde una función diferenciable f : M → N entre variedades
diferenciables no es suave tiene medida nula. En geometría algebraica, dicho
resultado se conoce como suavidad genérica. Para probarlo, necesitaremos el
lema técnico siguiente:
146 CAPÍTULO 2. VARIEDADES ALGEBRAICAS
? ?
mX,y / / mY,y = mX,y /hf i
?
+ O(Z)
h∗
Dado que O(X) ,−−−→ O(Z), a posteriori u es entero sobre O(Z) y,
como O(Z) es integralmente cerrado, tenemos que u ∈ O(Z). Así,
O(X ν ) ⊆ O(Z), de donde se obtiene h
b : Z → Xν.
(5) Los puntos (3) y (4) implican que la normalización de X es única
(módulo isomorfismo). Más precisamente, si ν1 : X1ν → X y
ν2 : X2ν → X son dos normalizaciones de X, entonces existe un
2.15. NORMALIZACIÓN Y TEOREMA PRINCIPAL DE ZARISKI 155
∼
isomorfismo ϕ : X1ν −−→ X2ν tal que el diagrama
X1ν
∼ / Xν
ϕ 2
ν1 ν2
~
X
es conmutativo.
Corolario 2.15.10. — Toda variedad algebraica irreducible X posee una
única normalización ν : X ν → X, obtenida al considera un atlas algebraico
afín de X y pegar las normalizaciones. En particular, toda curva algebraica
es birracional a una curva suave.
Ejemplo 2.15.11. — Supongamos que car(k) 6= 2. Consideremos
X = {(x, y, z) ∈ A3 tal que x2 + y 2 = z 2 } cono en A3 .
f∗
/ OX,x
OY,y
_
_
f∗
k(Y ) / k(X)
∼
=
Así, podemos ver las funciones ui como funciones racionales, y tenemos que
ui = f ∗ (vi ) = f ∗ abii para ciertas ai , bi ∈ O(Y ). Más aún, dado que y ∈ Y es
2.15. NORMALIZACIÓN Y TEOREMA PRINCIPAL DE ZARISKI 157
un punto suave tenemos que OY,y es un anillo factorial, y por ende podemos
suponer que ai y bi son relativamente primos.
Caso (1). Si bi (y) 6= 0 para todo i, obtenemos una inclusión
f ∗
ϕ : O(Y )b1 ···bN ∼
= O(V ) ,−−−→ O(X)f ∗ (b1 ···bN ) ∼
= O(U ),
def
donde V = {y ∈ Y tal que (b1 · · · bN )(y) 6= 0} y donde U = f −1 (V ). Más aún,
en este caso tenemos que U ∼ = V . En efecto, podemos escribir
∗ f ∗ (ai ) j6=i f ∗ (bj )
Q
def f (ai )
ui = ∗ = ,
f (bi ) f ∗ (b1 · · · bN )
por lo que ui está en la imagen de f ∗ , i.e., ϕ es sobreyectivo.
Caso (2). Supongamos que b1 (y) = 0. En el anillo local OY,y , escribimos
b1 = c1 d1 con c1 irreducible y tal que c1 (y) = 0.
a0 c0
En OY,y , si escribimos a1 = a001 y c1 = c001 , con a001 (y)c001 (y) 6= 0, y nos
1 1
restringimos a los abiertos afines de X e Y donde a001 6= 0, c001 6= 0, f ∗ (a001 ) 6= 0,
f ∗ (c001 ) 6= 0 podemos suponer que a1 , c1 ∈ O(Y ) y f ∗ (a1 ), f ∗ (c1 ) ∈ O(X) son
funciones regulares.
Consideremos entonces la hipersuperficie E := V (f ∗ (c1 )) ⊆ X, y notemos
def def
que x ∈ E pues f ∗ (c1 )(x) = c1 (f (x)) = c1 (y) = 0. Más aún, restringiéndose a
una componente irreducible de E que pase por x podemos suponer que E es
irreducible. Veamos que codimY (f (E)) ≥ 2:
def def
Notar que f ∗ (a1 ) = f ∗ (b1 )u1 = f ∗ (c1 )f ∗ (d1 )u1 , y luego a1 se anula en f (E).
Finalmente, dado que a1 y c1 son relativamente primos entre sí en OY,y (i.e.,
determinan ecuaciones locales independientes), tenemos que
f (E) ( V (c1 ) ( Y
y luego codimY (f (E)) ≥ 2.
Corolario 2.15.14. — Sea X una curva irreducible e Y una curva suave.
Si f : X → Y es un morfismo birracional, entonces f (X) ⊆ Y es un abierto
y f induce un isomorfismo X ∼
= f (X). En particular, X es suave.
Terminemos esta sección con algunos resultados importantes y muy útiles,
cuyas demostraciones se escapan de los alcances de este texto.
Ejemplo importante 2.15.15. — En 1957, Zariski extiende parte del re-
sultado anterior a morfismos más generales (no necesariamente birracionales).
158 CAPÍTULO 2. VARIEDADES ALGEBRAICAS
Ex ∼
= Ar {x} × Ar ∼
= Ar
−1
θU r
p (U ) := E|U U ×A
∼
p|p−1 (U ) pr1
·x
∼
es conmutativo, y tal que la aplicación k r −−→ Ex , v 7−→ θU−1 (x, v) es
un isomorfismo lineal para todo x ∈ U .
Terminología 3.1.2. — Un fibrado en rectas en X es un fibrado vectorial
p
L→
− X de rango 1.
Ejemplo importante 3.1.3. —
(1) Sea X una variedad algebraica y V un k-espacio vectorial de
dimk (V ) = r. El fibrado vectorial
pr1
VX := X × V ∼
= X × Ar −−−→ X
es llamado el fibrado trivial de rango r.
(2) Sea V un k-espacio vectorial de dimk (V ) = n + 1, sea X = P(V ) ∼ = Pn
def
su proyectivización. Dentro del fibrado trivial VX = P(V ) × V , consid-
eramos la variedad de incidencia
1 p:=pr
L := {([`], v) ∈ P(V ) × V tal que v ∈ `} −−−−−→ P(V ), ([`], v) 7−→ [`],
donde [`] ∈ P(V ) es el punto del espacio proyectivo correspondiente a
la recta vectorial ` ⊆ V . En particular, p−1 ([`]) = ` ∼
def
= A1 es una recta.
p
Veamos que podemos trivializar L → − P(V ):
Consideremos coordenadas homogéneas [x0 , . . . , xn ] en Pn ∼
= P(V ) y
∼ 1 def
t una coordenada en ` = A . Así, en el abierto estándar Ui = {xi 6= 0}
tenemos la trivialización
θ−1
Ui × A1 −−
i
→ p−1 (Ui )
∼
x0 xi−1 xi+1 xn tx0 txn
,..., , 1, ,..., , t 7−→ [x0 , . . . , xn ], , . . . , t, . . . ,
xi xi xi xi xi xi
3.1. FIBRADOS VECTORIALES Y GRUPO DE PICARD 161
h i
que envía un escalar t ∈ A1 y x0
. . . , xxi−1
xi , i
, 1, xxi+1i
, . . . , xxni , el vector
director de una recta `, en el punto tx xi
0
, . . . , t, . . . , txn
xi ∈ `.
σ(x)
σ 0U := U × {0}
·x
Luego, Ex = Vectk (e1 (x), . . . , er (x)) para todo x ∈ U . Decimos que las
funciones (e1 , . . . , er ) forman un marco de referencia(1) de E|U .
p
(2) Podemos restringir fibrados vectoriales. Más precisamente, si E → − X es
un fibrado vectorial y Y ⊆ X es una sub-variedad algebraica, entonces
E|Y := p−1 (Y ) es un fibrado vectorial en Y con rg(E|Y ) = rg(E).
(3) Más generalmente, podemos definir el pullback de fibrados vectoriales:
p
Sea E →− X un fibrado vectorial y sea f : Y → X un morfismo
regular. Entonces,
f ∗ E := {(y, z) ∈ Y × E tal que f (y) = p(z)}
def
es un fibrado vectorial en Y , con rg(f ∗ E) = rg(E) y (f ∗ E)y = Ef (y) .
p
Definición 3.1.7. — Sea X una variedad algebraica, y sean E → − X y
q
F →
− X fibrados vectoriales de rangos rg(E) = r y rg(F ) = s. Un morfismo
de fibrados vectoriales es un morfismo regular f : E → F tal que:
(1) q ◦ f = p.
Ex ∼
= kr Fx ∼
= ks
E|U F |U
f
·x U
En particular, las matrices de transición verifican que gii (x) = Ir para todo
x ∈ Ui y en la triple intersección Ui ∩ Uj ∩ Uk se verifica la condición de
cociclo
gij gjk = gik en Ui ∩ Uj ∩ Uk .
Observación importante 3.1.11. —
(1) Las matrices de transición gij dependen de ciertas elecciones:
(i) El cubrimiento abierto. En efecto, podríamos refinar el cubrim-
iento tomando abiertos más pequeños. En particular, dados finitos
fibrados vectoriales, siempre podemos asumir que las matrices de
transición están definidas en un cubrimiento abierto común.
(ii) Las trivializaciones. En efecto, podríamos componer con un iso-
morfismo
∼
Ui × Ar −−→ Ui × Ar , (x, v) 7−→ (x, hi (x)v)
164 CAPÍTULO 3. FIBRADOS VECTORIALES Y DIVISORES
gij : Ui ∩ Uj −→ k ∗
son funciones regulares.
Por ejemplo, para el fibrado tautológico OPn (−1) de Pn , tenemos que
θj−1 (x, t) = x, tx0 txn
xj , . . . , xj y θi−1 (x, s) = x, sx0 sxn
xi , . . . , xi ,
de donde obtenemos (igualando coordenadas) el diagrama conmutativo
p−1 (Ui ∩ Uj )
8
θj−1 θi
∼
=
θi ◦ θj−1
∼
= &
(Ui ∩ Uj ) × A1 / (Ui ∩ Uj ) × A1
∼
(x, t) / (x, xi t) def
xj = (x, s)
def
Ejercicio 3.1.13. — Sea VX = X × Ar el fibrado trivial de rango r en X.
Probar que gij (x) = Ir para todos i, j ∈ I son matrices de transición de VX .
En particular, gij (x) ≡ 1 son funciones de transición del fibrado en rectas
trivial kX := X × A1 .
Las matrices de transición son muy útiles, pues nos permiten extender a la
categoría Vect(X) muchas de las construcciones de álgebra lineal.
p
Definición 3.1.14. — Sea X una variedad algebraica, y sean E → − X y
q
F →− X fibrados vectoriales de rangos rg(E) = r y rg(F ) = s, dados por
matrices de transición gij (x) ∈ GLr (k) y hij (x) ∈ GLs (k), respectivamente
(en un cubrimiento abierto común). Definimos:
(1) La suma directa E ⊕ F , con rg(E ⊕ F ) = r + s, mediante las matrices
de transición
gij (x) 0
∈ GLr+s (k).
0 hij (x)
(2) El producto tensorial E ⊗ F , con rg(E ⊗ F ) = rs, mediante las
matrices de transición gij (x) ⊗ hij (x) ∈ GLrs (k).
(3) El dual E ∨ , con rg(E ∨ ) = r, mediante las matrices de transición
∨ := ( tg −1 )(x) ∈ GL (k).
gij ij r
(4) El fibrado Hom(E, F ) := E ∨ ⊗ F , con rg(Hom(E, F )) = rs.
(5) Para d ∈ N, la potencia simétrica S d E, con rg(S d E) = r+d−1
d ,
mediante las matrices de transición S d gij (x).
(6) Para d ∈ {0, . . . , r}, la potencia exterior Λd E, con rg(Λd E) = dr ,
(1) Las funciones kij := gij hij = hij gij satisfacen la condición de cociclo, y
definen
L⊗M ∼ =M ⊗L
fibrado en rectas.
def
(2) El fibrado en rectas trivial kX = X × A1 , con funciones de transición
kij = 1, verifica
kX ⊗ L ∼ = L ⊗ kX ∼
= L.
def
(3) El dual L∨ , con funciones de transición gij
∨ = 1/g , verifica
ij
∨ ∼ ∨ ∼
L ⊗ L = L ⊗ L = kX .
El ejemplo anterior nos permite dar la siguiente definición, fundamental en
geometría algebraica.
Definición 3.1.16. — Sea X una variedad algebraica. Definimos el grupo
de Picard de X como el grupo abeliano
Pic(X) := {Fibrados en recta en X}/ ∼
=.
Ejemplo 3.1.17. — En P(V ) ∼ = Pn , definimos OPn (1) := OPn (−1)∨ medi-
x
ante las funciones de transición gij = xji . Más generalmente, para todo d ∈ Z
definimos el fibrado
d
xj
OPn (d) mediante las funciones de transición gij (x) = .
xi
s(x)
E
s
p
x
X
3.2. SECCIONES Y HACES LOCALMENTE LIBRES 167
& |
s|Ui Ui σi :=θi ◦s|Ui
gij (x)
Para determinar H0 (Pn , OPn (d)), consideremos si ∈ OPn (Ui ) una función
regular en Ui = {xi 6= 0} ∼
def
= An , el abierto estándar de Pn con coordenadas
x0 x i−1 x i+1 xn
xi , . . . , xi , xi , . . . , xi . Así,
Pi
si = donde Pi es un polinomio homogéneo de grado mi .
xmi
i
donde las gij ∈ GLr (OUi ∩Uj ) verifican la condición de cociclo gij gjk = gik en
def
Ui ∩ Uj ∩ Uk (pues gij = ϕi ◦ ϕ−1
j ). Así, podemos definir un fibrado vectorial
E → X a partir de las matrices de transición gij (x), y por construcción el haz
de secciones de dicho fibrado E es isomorfo a E .
Resumiendo la discusión anterior, tenemos el siguiente resultado.
Teorema 3.2.10. — Sea X una variedad algebraica conexa (e.g. irre-
ducible). Entonces, la aplicación
E 7−→ E
define (módulo isomorfismos) una equivalencia entre la categoría Vect(X)
de fibrados vectoriales en X y la categoría de OX -módulos localmente libres.
En particular, fibrados en rectas L → X están en correspondencia con haces
invertibles L en X.
La siguiente observación útil permite comparar la fibra de un fibrado vec-
torial y el tallo de su haz de secciones.
Observación importante 3.2.11. — Sea E → X un fibrado vectorial, y
sea E el haz de secciones asociado.
Ex ∼
= Ar
s ∈ Ex
s t ∈ mx Ex
·x
3.3. SISTEMAS LINEALES Y AMPLITUD 171
def
Xi := ϕ−1
L (Ui ) = {x ∈ X tal que si (x) 6= 0},
def
donde Ui = {xi 6= 0} ⊆ Pn . Además, dado que
" #
s0 (x) sn (x)
ϕL (x) = ,..., para todo x ∈ Xj ,
sj (x) sj (x)
las funciones de transición hij de ϕ∗L OPn (−1) están dadas por
sj (x) def sj (x) 1 def
hij (x) = = = = gji (x),
si (x) gij (x)sj (x) gij (x)
i.e., ϕ∗L OPn (−1) ∼
= L∨ .
Recíprocamente, dado un morfismo regular
f : X −→ Pn , x 7−→ [f0 (x), . . . , fn (x)]
consideramos L := f ∗ OPn (1), junto con la aplicación k-lineal
Γ(f ) : H0 (Pn , OPn (1)) −→ H0 (X, L), xi 7−→ Γ(f )(xi ) =: si
def def
Luego, f = ϕL ya que sj (x) = (xj ◦ f )(x) = fj (x) para todo j ∈ {0, . . . , n}.
Resumiendo la discusión anterior, tenemos el siguiente resultado.
Teorema 3.3.2. — Sea X una variedad algebraica. Entonces, tenemos una
biyección
f : X −→ Pn L ∈ Pic(X) junto con secciones
↔
morfismo regular s , . . . , s ∈ H0 (X, L) sin ceros comunes
0 n
ecuación
λ0 s0 (x) + · · · + λn sn (x) = 0
y corresponde al punto [s0 (x), . . . , sn (x)] ∈ |M | = P(M ∨ ) ∼
def
= Pn , i.e.,
ϕM : X 99K |M | ∼
= Pn , x 7−→ [s0 (x), . . . , sn (x)]
en coordenadas.
Definición 3.3.5. — Sea M ⊆ H0 (X, L) un sistema lineal. Definimos el
lugar de base de M mediante
Bs(M ) := {x ∈ X tal que s(x) = 0 para todo s ∈ M }.
Decimos que M es libre de puntos de base (o globalmente generado(3) )
si Bs(M ) = ∅, i.e.,
def
ϕM : X −→ |M | = P(M ∨ )
es un morfismo regular. Equivalentemente, el morfismo de evaluación
ev : X × M L, (x, s) 7−→ s(x)
es sobreyectivo. En particular, tenemos una biyección
f : X −→ Pn L ∈ Pic(X) junto con M ⊆ H0 (X, L) sistema
↔
morfismo regular lineal de dim (M ) = n + 1 sin puntos de base
k
Ejemplo 3.3.6. —
(2)
En Éléments de géométrie algébrique, Grothendieck usa la convención dual a la que usamos
nosotros. Más precisamente, si V ∼ = kn es un k-espacio vectorial entonces Grothendieck usa
la notación P(V ) para referirse a nuestro P(V ∨ ) ∼= Gr(n − 1, V ).
(3)
En inglés, base point free o bien globally generated.
174 CAPÍTULO 3. FIBRADOS VECTORIALES Y DIVISORES
π
ϕM
"
P(M ∨ )
donde π es la proyección lineal inducida por N ∨ M ∨ . En coorde-
nadas, si s0 , . . . , sn es una base de N tal que s0 , . . . , sm es una base de
M ⊆ N , entonces
π([s0 , . . . , sm , sm+1 , . . . , sn ]) = [s0 , . . . , sm ].
Típicamente, puede ocurrir que H0 (X, L) no tenga puntos de base, pero
M ⊆ H0 (X, L) si tenga puntos de base.
(3) Sea X = Pn y L = OPn (d) con d ≥ 1. Entonces,
H0 (Pn , OPn (d)) ∼
= k[x0 , . . . , xn ]d
es isomorfo al espacio vectorial de polinomios homogéneos de grado d.
Luego,
ϕL = νd : Pd ,→ P(H0 (Pn , OPn (d))∨ ) ∼
def
= PN
coincide con el incrustamiento de Veronese (ver Ejemplo 2.7.20), donde
N = n+d − 1. En particular, OPn (d)) es globalmente generado.
d
(4) En P , consideramos M := Vectk hyz, xz, xyi ⊆ H0 (P2 , OPn (2)) sistema
2
lineal. Entonces,
ϕM : P2 99K P2 , [x, y, z] 7−→ [yz, xz, xy]
es la involución de Cremona (ver Ejemplo 2.9.9).
(5) Sea ϕ : Gr(r, V ) ,→ P(Λr V ) ∼
= PN el incrustamiento de Plücker, con
N = nr − 1. Entonces, denotamos por
Cabe destacar que hay un abuso en dicha notación, pues OX (1) depende
del incrustamiento f .
Ejercicio 3.3.7. — Sean a, b ∈ Z. En Pn × Pm , definimos
OPn ×Pm (a, b) := OPn (a) OPm (b) ∈ Pic(Pn × Pm ).
Probar que el sistema lineal completo definido por L = OPn ×Pm (1, 1) induce
un morfismo regular
ϕL : Pn × Pm ,→ |L| ∼
= PN
que coincide con la incrustación de Segre.
Con la terminología anterior, podemos responder a una de las preguntas
motivacionales de este capítulo:
Dado un sistema lineal libre de puntos de base M ⊆ H0 (X, L), ¿cuándo
ϕM : X −→ |M | ∼
= Pn es un incrustamiento cerrado?
Para responder lo anterior, necesitamos el siguiente resultado clásico de
álgebra conmutativa.
Recuerdo 3.3.8 (Lema de Nakayama). — Sea (A, m) con anillo local con
cuerpo residual A/m ∼
= k, y sea M un A-módulo finitamente generado.
Si u1 , . . . , um ∈ M son elementos tales que sus imágenes
[u1 ], . . . , [um ] ∈ M/mM son generadores de dicho k = ∼ A/m-
espacio vectorial cociente, entonces u1 , . . . , um generan M como
A-módulo.
En particular, si A es noetheriano y M = m, entonces podemos identificar
generadores de m al mirar sus imagenes en el cociente m/m2 .
Teorema 3.3.9. — Sea f : X −→ Y un morfismo finito entre variedades
algebraicas. Supongamos que:
(1) f separa puntos, i.e., f es inyectivo.
(2) f separa tangentes, i.e., el diferencial
dx f : Tx X ,→ Tf (x) Y
es inyectivo para todo x ∈ X.
cerrado
Entonces, f es un incrustamiento cerrado (i.e., X ∼
= f (X) ,−−−−→ Y ).
Demostración. — Reemplazando Y por f (X), podemos suponer que f es
biyectivo. Sea g := f −1 : Y → X función continua (dado que f es un morfismo
cerrado, al ser un morfismo finito) y veamos que g es regular:
176 CAPÍTULO 3. FIBRADOS VECTORIALES Y DIVISORES
Dado que ser regular es una propiedad local, podemos suponer que X e Y
son variedades algebraicas afines. Notemos que basta probar que el pullback
f ∗ : O(Y ) −→ O(X)
es un isomorfismo, donde la inyectividad está garantizada por el hecho que f
es dominante. En efecto, si Im(f ∗ ) = O(X) entonces
def
O(Y ) = Im(IdO(Y ) ) = Im(g ∗ ◦ f ∗ ) = (g ∗ )(O(X)),
de donde se deduce que (g ∗ )(O(X)) ⊆ O(Y ), y por ende que g es un morfismo
regular. Veamos que Im(f ∗ ) = O(X):
Dado que f separa tangentes, tenemos que el dual del diferencial
f ∗ : my /m2y mx /m2x
es una aplicación k-lineal sobreyectiva, donde y := f (x). Luego, si
u1 , . . . , um ∈ my son generadores, entonces las imágenes [f ∗ (u1 )], . . . , [f ∗ (um )]
son generadores de mx /m2x . Por lo tanto, el Lema de Nakayama implica que
f ∗ (u1 ), . . . , f ∗ (um ) generan mx ⊆ OX,x , i.e., mx = hf ∗ (my )i ⊆ OX,x .
Por otro lado, el hecho que f es un morfismo finito implica que OX,x es un
OY,y -módulo finitamente generado (vía f ∗ ). Así, dado que [1] es un generador
de OX,x /mx ∼ = k y dado que
f ∗ : OY,y /my OX,x /hf ∗ (my )i = OX,x /mx
es sobreyectivo, tenemos gracias al Lema de Nayakama que 1 genera OX,x
como OY,y -módulo vía f ∗ , i.e., OX,x = f ∗ OY,f (x) para todo x ∈ X.
Así, f determina un isomorfismo a nivel de tallos y luego un isomorfismo
de haces. En particular, O(X) = Im(f ∗ ).
Observación importante 3.3.10. — Una consecuencia directa de lo ante-
rior es que todo morfismo f : X → Y finito étale biyectivo es un isomorfismo.
En general, el grupo fundamental étale π1ét (X) permite clasificar los posi-
bles morfismos étale Y → X. Para más detalles, así como conexiones con el
grupo fundamental topológico en el caso en que k = C, ver [Mil13].
En el contexto de sistemas lineales, tenemos la siguiente consecuencia. Aquí,
usaremos una consecuencia del Teorema de Grauert-Grothendieck que probare-
mos en el siguiente capítulo usando técnicas de cohomología:
Si f : X → Y es un morfismo regular cuyas fibras f −1 (y) son con-
juntos finitos (e.g. f inyectivo) y X es una variedad proyectiva,
entonces f es un morfismo finito.
3.3. SISTEMAS LINEALES Y AMPLITUD 177
Para ello, notamos que para j > 0 la relación si = gij sj y el hecho que
sj (x0 ) = 0 implican que
(dx0 si )(v) = gij (x0 )(dx0 sj )(v) + (dx0 gij )(v) · sj (x0 ) = gij (x0 )(dx0 sj )(v),
i.e., (dx0 si )(v) está bien definido. Luego, la regla de Leibniz implica que
(dx0 s1 )(v) (dx0 sn )(v)
(dx0 ϕM )(v) = ,..., ,
s0 (x0 ) s0 (x0 )
178 CAPÍTULO 3. FIBRADOS VECTORIALES Y DIVISORES
Así, definimos X
div(s) := νY (s) · Y,
Y ⊆X
hip. irred.
el divisor de Weil asociado a la sección racional s : X 99K L.
Ejemplo 3.4.8. —
(1) Sea X una variedad algebraica suave e irreducible, y sea f ∈ k(X)∗ una
función racional no-nula.
Ejercicio 3.4.9. — Probar que f ∈ O(X) es regular si y sólo si todos
los coeficientes de div(f ) son ≥ 0.
(2) Dado que H0 (Pn , OPn ) ∼
= k, si Y ⊆ Pn es una hipersuperficie irreducible
y d ∈ N≥1 , entonces el punto (1) implica que D := dY no es un divisor
principal. El mismo argumento se aplica a cualquier variedad algebraica
proyectiva e irreducible.
(3) En Pn , denotamos por
Hi := {xi = 0} ∼
= Pn−1
al hiperplano asociado a xi ∈ H0 (Pn , OPn (1)). Entonces, el divisor prin-
cipal asociado a la función racional
xi
f (x0 , . . . , xn ) =
xj
def
es div(f ) = Hi − Hj . Por otra parte, el divisor asociado a la sección
def
regular s = xi ∈ H0 (Pn , OPn (1)) es div(s) = Hi , que no es principal.
(4) En el cono singular
X = {(x, y, z) ∈ A3 tal que z 2 = xy},
el divisor principal asociado a la función regular f = x ∈ O(X) es
div(f ) = 2L, donde L ⊆ X es la recta de ecuaciones x = z = 0.
Terminología 3.4.10. — Sea Y ⊆ X una hipersuperficie irreducible. En-
tonces, el divisor de Weil
Y := 1 · Y ∈ WDiv(X)
es llamado un divisor primo. Más aún, decimos que un divisor de Weil
D = ri=1 ni Yi es un divisor efectivo si ni ≥ 0 para todo i ∈ {1, . . . , r}. En
P
(1) La restricción
res X X
Cl(X) −−→
→ Cl(U ), D = ni Yi 7−→ D|U := ni (Yi ∩ U )
es sobreyectiva, donde definimos ni = 0 en D|U si Yi ∩ U = ∅.
(2) Si codimX (Z) ≥ 2, entonces Cl(X) = ∼ Cl(U ).
(3) Si Y1 , . . . , Yr son las componentes irreducibles de codimensión 1 de Z,
entonces la sucesión de grupos abelianos
r
M ι res
Z[Yi ] −−→ Cl(X) −−→
→ Cl(U ) −→ 0
i=1
es exacta, donde Z[Yi ] denota el grupo cíclico generado por [Yi ] ∈ Cl(X).
Demostración. — Para (1), notamos que si Y ⊆ X es un divisor primo, la
intersección Y ∩U es vacía o bien un divisor primo en U . Además, si f ∈ k(X)∗
con div(f ) = ni Yi , entonces podemos pensar f ∈ k(U )∗ como una función
racional en U y notamos que
X
div(f ) = ni (Yi ∩ U ) en WDiv(U ),
res
de donde obtenemos un morfismo Cl(X) −−→ Cl(U ). Dicho morfismo es so-
breyectivo, pues si YU ⊆ U es un divisor primo, entonces YU = Y |U con
Y := YU ⊆ X dado por la adherencia de YU .
Para (2) y (3), notamos que WDiv(X) y Cl(X) depende sólamente de sub-
conjuntos cerrados de codimensión 1, y que el kernel de Cl(X) Cl(U ) está
generado por las clases de los Y1 , . . . , Yr .
Ejemplo 3.4.14. —
(1) Sea U ⊆ An un abierto no-vacío, entonces Cl(U ) = {0}.
(2) Sea Y ⊆ Pn una hipersuperficie de grado d ≥ 1. Entonces, Y ∼ dH y
la sucesión exacta
Z[Y ] ∼
= dZ −→ Cl(Pn ) ∼
= Z Cl(Pn \ Y ) −→ 0
implica que Cl(Pn \ Y ) ∼
= Z/dZ.
(3) En P1 × P1 , consideramos las rectas
L1 := {p} × P1 y L2 := P1 × {q},
donde p, q ∈ P1 . Entonces,
(P1 × P1 ) \ (L1 ∪ L2 ) =: U ∼
= A2 .
Luego, la sucesión exacta del Teorema anterior y el punto (1) implican
que
{0} = Cl(U ) ∼
= Cl(P1 × P1 )/(Z[L1 ] ⊕ Z[L2 ]),
186 CAPÍTULO 3. FIBRADOS VECTORIALES Y DIVISORES
i.e., Cl(P1 × P1 ) está generado por [L1 ] y [L2 ]. De hecho, más adelante
veremos que Cl(Pn × Pm ) ∼ = Z2 .
(4) Sea X una variedad algebraica suave e irreducible, y sea Z ⊆ X una
subvariedad suave e irreducible tal que codimX (Z) ≥ 2. Sea
ε : BlZ (X) −→ X
def
el blow-up de Z ⊆ X, con divisor excepcional E = ε−1 (Z). Entonces,
Cl(X) ∼= Cl(X \ Z) ∼
= Cl(BlZ (X) \ E) y luego
Cl(BlZ (X)) ∼
= Cl(X) ⊕ Z[E].
Ejercicio 3.4.15. — Consideremos el cono singular
X = {(x, y, z) ∈ A3 tal que z 2 = xy}
y L = {x = z = 0} recta en X. Probar que
∼ Z/2Z
Cl(X) =
es un grupo cíclico generado por [L], que cumple [2L] = 0 en Cl(X).
Indicación: Probar que L no es un divisor principal (cf. Ejercicio 2.13.24), y
que X \ L ∼
= U donde U ⊆ A2 es un abierto no-vacío.
Para relacionar los grupos Cl(X) y Pic(X) se requiere la noción de divisor
de Cartier, introducida por David Mumford en honor a Pierre Cartier.
Definición 3.4.16. — Sea X una variedad algebraica irreducible. Una fa-
milia {(fi , Ui )}i∈I , dada por un cubrimiento abierto {Ui }i∈I de X y por fun-
ciones racionales no-nulas fi ∈ k(Ui )∗ , es admisible si
∗
gij := fi /fj ∈ OX (Ui ∩ Uj ) para todos i, j ∈ I,
i.e., fi /fj es una función regular que no se anula en Ui ∩ Uj . Además, decimos
que dos familias {(fi , Ui )}i∈I y {(gj , Vj )}j∈J son equivalentes si su unión
{(fi , Ui )}i∈I ∪ {(gj , Vj )}j∈J es admisible.
Un divisor de Cartier en X es D = [(fi , Ui )i∈I ], una clase de equivalencia
de familias admisibles. Denotamos por Div(X) al conjunto de divisores de
Cartier en X.
Observación importante 3.4.17. — Sea D = [(fi , Ui )i∈I ] un divisor de
Cartier en X, y sea ∪j∈J Vj = X un cubrimiento abierto de X, entonces
{(fi , Ui )}i∈I ∼ {(fi |Ui ∩Vj , Ui ∩ Vj )}(i,j)∈I×J .
3.4. DIVISORES DE WEIL Y DIVISORES DE CARTIER 187
(4)
Que en la literatura clásica también se denota por LD o por L (D).
190 CAPÍTULO 3. FIBRADOS VECTORIALES Y DIVISORES
fi fj
En particular, f := si = sj define una función racional f ∈ k(X)∗ que
def
por construcción verifica [(f, X)] = D, i.e., D es un divisor principal.
b es sobreyectivo: Sea L ∈ Pic(X) dado por funciones de transición
(2) π
gij ∈ OX∗ (U ∩ U ) en una trivialización {U }
i j i i∈I . Si fijamos un indice
∗
` ∈ I y definimos fi := gi` ∈ k(Ui ) , entonces al divisor de Cartier
D := [(fi , Ui )i∈I ]
le asociamos el fibrado en rectas OX (D) con funciones de transición
def fi def gi`
hij = = = gij ,
fj gj`
donde la última igualdad se obtiene gracias a la condición de cociclo.
∼ L.
Así, OX (D) =
∼
b : Div(X)/ PDiv(X) −−→ Pic(X) es un isomorfismo.
Luego, π
Todo lo que hemos discutido hasta el momento puede resumirse de la manera
siguiente.
Observación importante 3.4.24. — Consideremos X variedad algebraica
irreducible normal (o tal que (†)). Entonces, se tiene el siguiente diagrama
def ∼
Pic(X) = {fibrados en rectas}/ =
' / {haces invertibles}/ ∼
=
O
L7−→L , con L (U ):=H0 (U,L|U )
[D] 7−→ OX (D)
'
Div(X)/ PDiv(X)
(?)
/ Cl(X) def
= WDiv(X)/ PWDiv(X)
OO OO
permite considerar G := (ε∗ )−1 (g) ∈ k(X)∗ que por definición cumple
que div(G) = 0 en WDiv(X). Así, G es una función regular que no se
def
anula nunca, y luego g = ε∗ (G) = G ◦ ε también, i.e., m = 0.
En resumen, tenemos que
e = ε∗ Pic(X) ⊕ Z[O (E)] ∼
Pic(X) = Pic(X) ⊕ Z.
X
e
En particular, tenemos que Pic(Blp1 ,...,pr (P2 )) ∼
= Zr+1 .
3.4. DIVISORES DE WEIL Y DIVISORES DE CARTIER 195
(5) Sea X una variedad algebraica proyectiva suave e irreducible, tal que
X es una variedad racional (ver Definición 2.9.21), i.e., que existe un
abierto no-vacío U ⊆ X tal que U ∼ = V para cierto V ⊆ An abierto
no-vacío. Supongamos adicionalmente que D := X \ U es una hipersu-
perficie irreducible. Entonces, la sucesión exacta
ι res
Z[OX (D)] −−→ Pic(X) −−→
→ Pic(U ) −→ 0
| {z }
∼
={0}
En otras palabras, k(C) ∼ = k(P1 ), i.e., C ∼bir P1 . Dado que C y P1 son curvas
proyectivas suaves, esto equivale a que C ∼ = P1 .
Para ver (2), notamos que si existieran p, q ∈ C dos puntos distintos tales
que OC (p − p0 ) ∼= OC (q − p0 ), entonces tendríamos que OC (p − q) ∼ = OC es el
fibrado trivial, i.e., p ∼ q son divisores de Weil linealmente equivalentes. La
demostración de (1) permite entonces deducir que C ∼ = P1 en tal caso, lo cual
es imposible por hipótesis.
Observación importante 3.4.32. — Sea C una curva algebraica proyec-
tiva suave e irreducible, sea L ∼
= OC (D) fibrado en rectas. Entonces,
|D| = {E ≥ 0 divisor efectivo tal que D ∼ E} ∼
def
= P H0 (C, L).
def
Luego, si denotamos por ϕL : C 99K P(H0 (C, L)∨ ) = |D|∨ la aplicación
racional asociada al fibrado en rectas L, entonces tenemos que si L es:
(1) globalmente generado, entonces dimk H0 (C, L) ≥ 1. Luego, existe E ≥ 0
tal que E ∼ D, y por ende
def
deg(L) = deg(D) = deg(E) ≥ 0.
(2) muy amplio, entonces dimk H0 (C, L) ≥ 2. Luego, existe E ≥ 0 no-nulo
tal que E ∼ D, y por ende
def
deg(L) = deg(D) = deg(E) > 0.
3.4. DIVISORES DE WEIL Y DIVISORES DE CARTIER 199
Ejemplo 3.4.35. —
(1) Sea C una curva algebraica proyectiva suave e irreducible, entonces
NS(C) ∼= Z y luego ρ(C) = 1.
n
(2) ρ(P ) = 1.
(3) ρ(Pn × Pm ) = 2.
(4) ρ(BlZ (X)) = ρ(X) + 1.
Finalmente, notamos que si X es una variedad algebraica proyectiva e ir-
reducible y si L ∼= OX (D) es un fibrado en rectas amplio, entonces L|C es
amplio para toda curva irreducible C ⊆ X. Usando métodos de cohomología,
probaremos que el hecho que ν : C ν → C sea un morfismo finito implica que
ν ∗ L es amplio en C ν . Luego,
Si OX (D) es un fibrado en rectas amplio en X, entonces D ·C > 0
para toda curva irreducible C ⊆ X.
La observación anterior, motiva la siguiente definición (la cual es muy usada
en geometría birracional).
Definición 3.4.36. — Sea X una variedad algebraica proyectiva e irre-
ducible y L ∼
= OX (D) es un fibrado en rectas. Decimos que L es nef si
D · C ≥ 0 para toda curva irreducible C ⊆ X.
Aquí, nef es la abreviación de numéricamente efectivo.
·x U
3.5. SUB-FIBRADOS Y FIBRADOS COCIENTES 201
K G
A(x) B(x) I 0 B(x0 )
M (x) = donde M (x0 ) =
C(x) D(x) H 0 0
(3) cij cjk = cik , una nueva condición de cociclo que define un fibrado vec-
torial Q de rango rg(Q) = rg(F ) − rg(E).
El fibrado vectorial Q es el fibrado cociente Q := F/E. Más aún, hay una
proyección natural π : F Q sobreyectiva que cumple ker(π) ∼
= E. En otras
palabras, hay una sucesión exacta (S) de fibrados vectoriales en X
ι π
(S) 0 −→ E ,−−→ F −−→
→ Q −→ 0.
¡Atención! — La escritura
aij bij
gij =
0 cij
implica que det(gij ) = det(aij ) det(cij ) y luego
det(F ) ∼
= det(E) ⊗ det(Q) en Pic(X).
De manera similar, si L ∈ Pic(X) tiene funciones de transición hij entonces
(en una trivialización común) las matrices de transición de F ⊗ L son
aij hij bij hij
gij ⊗ hij =
0 cij hij
y luego la sucesión (S) ⊗ L dada por
0 −→ E ⊗ L ,→ F ⊗ L Q ⊗ L −→ 0
es exacta.
Ejercicio 3.5.6. — Consideremos una sucesión exacta de fibrados vectori-
ales en X dada por
ι π
(S) 0 −→ E ,−−→ F −−→
→ Q −→ 0.
(1) Probar que la sucesión dual (S ∨ )
t t
π ι
→ E ∨ −→ 0
0 −→ Q∨ ,−−→ F ∨ −−→
es exacta.
(2) Probar que para todo morfismo regular ϕ : Y → X, el pullback ϕ∗ (S)
0 −→ ϕ∗ E ,−→ ϕ∗ F −→
→ ϕ∗ Q −→ 0
es una sucesión exacta de fibrados vectoriales en Y .
204 CAPÍTULO 3. FIBRADOS VECTORIALES Y DIVISORES
∂ ∂f
: OAn ,p −→ k, f 7−→ (p) para todo p ∈ An
∂xi ∂xi
generan H0 (U, TAn |U ) para todo abierto U ⊆ An (ver Ejemplo 2.13.5).
En otras palabras, TAn ∼ = OA⊕n
n .
∼ k una recta
Con lo anterior en mente, consideremos x = [`] ∈ P(V ) con ` =
def def
en V . Por definición, tenemos que OP(V ) (−1)[`] = ` y luego OP(V ) (1)[`] = `∨
es el dual `∨ = {ϕ : ` → k lineal} del espacio vectorial `. Construyamos un
morfismo
Φ : V ⊗ OP(V ) (1) −→ TP(V )
de la manera siguiente:
def
Para v ∈ V y ϕ ∈ OP(V ) (1)[`] = `∨ , definimos Φ(v ⊗ ϕ) := ∂v⊗ϕ ∈ TP(V ),[`]
como la aplicación k-lineal que a cada germen f ∈ OP(V ),[`] , dado por cociente
de polinomios homogéneos del mismo grado, le asigna
∂f
∂v⊗ϕ (f ) := ϕ(x) (x),
∂v
que es independiente del vector x ∈ ` \ {0} escogido.
Notar que Φ es sobreyectivo, pues en el abierto U0 = {x0 6= 0} podemos con-
siderar ϕ0 = x0 = 1 y los ∂v ∂
= ∂x∂
i
con v = ei general TU0 ∼
= TAn . De manera
completamente análoga para los otros abiertos estándar Ui = {xi 6= 0} ∼ = An .
Luego, L := ker(Φ) es un fibrado vectorial cuyo rango está dado por
rg(L) = dim(V ) − dim(P(V )) = 1, i.e., L ∈ Pic(P(V )). Para ver que L es
el fibrado trivial, consideremos
n
ei ⊗ e∗i
X
s :=
i=0
def Pn ∂
sección global nunca nula, y notamos que Φ(s) = i=0 xi ∂xi = 0 gracias a la
identidad de Euler (cf. Ejemplo 2.13.14 (3))
n
X ∂f def
xi = deg(f ) · f = 0 · f = 0
i=0
∂xi
aplicada a cualquier germen f ∈ OP(V ),[`] dado por polinomios homogéneos
del mismo grado. Así, s ∈ H0 (P(V ), L) es una sección global nunca nula, i.e.,
L∼= OP(V ) es el fibrado en rectas trivial.
Terminemos esta sección introduciendo la noción de fibrado normal.
ι
En todo lo que sigue de la sección, consideremos Y ,−−→ X una sub-variedad
suave e irreducible de X (que también lo es). Entonces, para todo y ∈ Y la
aplicación lineal
def def
dy ι : Ty Y ,−−−→ Ty X = (ι∗ TX )y = (TX |Y )y
es inyectiva, i.e., dι : TY ,−→ TX |Y es un sub-fibrado vectorial.
3.6. FIBRADO TANGENTE, COTANGENTE Y NORMAL 211
ι
Definición 3.6.9. — Dada Y ,−−→ X una sub-variedad suave e irreducible
de X, definimos el fibrado normal de Y en X como el fibrado cociente
def
NY /X := coker(dι) = (TX |Y )/TY
def
donde rg(NY /X ) = dim(X) − dim(Y ) = codimX (Y ).
(NY /X )y TY,y ,−→ TX,y
X
Y
Luego, hay una sucesión exacta
dι
→ NY /X −→ 0
0 −→ TY ,−−→ TX |Y −−→
de fibrados vectoriales en Y , o equivalentemente se tiene la sucesión exacta
dual t
dι
0 −→ NY∨/X ,−→ Ω1X |Y −−−→ → Ω1Y −→ 0,
donde NY∨/X es el fibrado conormal de Y en X.
Veremos que el fibrado normal es especialmente fácil de comprender en el
caso de sub-variedades definidas por secciones de un fibrado vectorial.
Construcción 3.6.10. — Sea E → X un fibrado vectorial de rg(E) = r y
sea s ∈ H0 (X, E) una sección no-nula. En una trivialización E|U ∼ = U × Ar
escogemos un marco de referencia (e1 , . . . , er ) (i.e., (e1 (x), . . . , er (x)) forman
una base de Ex ∼= k r para todo x ∈ U ) y escribimos entonces
r
fi ei donde fi ∈ OX (U ) función regular.
X
s=
i=1
def
Luego, el cerrado V (s) = {x ∈ X tal que s(x) = 0} ⊆ X está dado localmente
por V (s)|U = V (f1 , . . . , fr ). Así, para cada x ∈ V (s) definimos
dx s : Tx X −→ Ex
como la aplicación k-lineal dada (localmente en U ) por la fórmula
r
X
dx s := dx fi · ei (x),
i=1
212 CAPÍTULO 3. FIBRADOS VECTORIALES Y DIVISORES
∼ OX es trivial.
(2) Variedad de Calabi-Yau(7) si ωX =
(3) Variedad canónicamente polarizada si ωX ∼ = OX (KX ) es amplio.
Ejemplo 3.7.8. — Sea X = Xd1 ,...,dr ⊆ Pn es una intersección completa
suave e irreducible dada por V (f1 , . . . , fr ) con deg(fi ) = di , entonces la fórmula
de adjunción implica que:
(1) X es una variedad de Fano si y sólo si ri=1 di ≤ n.
P
C∼
= S2 ∼
= P1 (C) C∼
def
= T = C/Λ
C∼
= D/Γ
g(C) = 0 g(C) = 1
g(C) ≥ 2
Se puede probar (e.g. usando Teoría de Hodge) que g(C) es el número de
“agujeros” de C al ser vista como superficie real.
Ejercicio 3.7.13. — Sea X una variedad algebraica proyectiva suave e ir-
reducible de dim(X) ≥ 1.
(1) Probar que si L ∼
= OX (D) ∈ Pic(X) es un fibrado en rectas amplio,
entonces
H0 (X, OX (−mD)) = 0 para todo m ≥ 1.
Indicación: Considerar m0 ∈ N≥1 tal que OX (m0 D) es muy amplio,
y deducir que para todo m ≥ 1 el fibrado OX (mm0 D) es muy amplio.
Concluir utilizando el hecho que si s ∈ H0 (X, OX (−mD)) es no-nula,
entonces s⊗m0 ∈ H0 (X, OX (−mm0 D)) es no-nula.
(2) Utilizar (1) para probar que si X es una variedad de Fano, entonces
Pm (X) = 0 para todo m ≥ 1.
(3) Probar que Pm (X) = 1 para todo m ≥ 1 si X es de Calabi-Yau.
Teorema 3.7.14. — Sean X e Y variedades algebraicas proyectivas suaves
e irreducibles, y supongamos que X ∼bir Y son birracionales. Entonces,
⊗m ∼ 0
H0 (X, ωX ) = H (Y, ωY⊗m ) para todo m ∈ N≥1 .
En particular, los plurigéneros Pm (X) = Pm (Y ) son invariantes birracionales.
Demostración. — Dividiremos la pruebas en pasos relativamente independi-
entes.
218 CAPÍTULO 3. FIBRADOS VECTORIALES Y DIVISORES
f : U \ Z −→ k función regular,
que induce f : U 99K k función racional. Notamos que div(f ) ≥ 0 es un divisor
efectivo en Div(U ) (pues los polos están en codimensión 1). Así, el hecho que
U es suave implica que f es regular. En otras palabras, existe σ ∈ H0 (X, L)
tal que σ|X\Z = s.
∼
Paso 2. Sea f : U −−→ V un morfismo birregular entre variedades alge-
braicas suaves e irreducibles. Entonces, f induce
∼
F : H0 (V, ωV ) −−→ H0 (U, ωU )
que es un isomorfismo k-lineal:
∼
Por functorialidad, f induce un isomorfismo df : TU − → f ∗ TV , y por ende
t ∼
df : f ∗ Ω1V −
→ Ω1U al dualizar. Del mismo modo, la functorialidad del producto
exterior implica que
∼
Λd ( tdf ) : f ∗ ΩpV −−→ ΩpU
es un isomorfismo para todo p ≥ 1. Por otro lado, f induce un isomorfismo
∼
Γ(f ) : H0 (V, ΩpV ) −−→ H0 (U, f ∗ ΩpV )
para todo p ≥ 1. Finalmente, componiendo Γ(f ) con Λd ( tdf ), obtenemos
isomorfismos
∼
F : H0 (V, ΩpV ) −−→ H0 (U, ΩpU )
para todo p ≥ 1. En particular, para p = dim(U ) = dim(V ), obtenemos el
∼
isomorfismo F : H0 (V, ωV ) −
→ H0 (U, ωU ). Mejor aún, la functorialidad del
producto tensorial implica que
∼
(F )⊗m : H0 (V, ωV⊗m ) −−→ H0 (U, ωU⊗m )
es un isomorfismo para todo m ∈ N≥1 .
3.7. DIVISOR CANÓNICO Y DIMENSIÓN DE KODAIRA 219
reescalamos convenientemente en
(−1)i−1
(?) ωi := ωi0 := dx1 ∧ · · · ∧ dx
di ∧ · · · ∧ dxn .
∂g/∂xi
Por otra parte, la relación
(E) ∧ (dx1 ∧ · · · ∧ dx
di ∧ · · · ∧ dx
dj ∧ · · · ∧ dxn ) en Vi ∩ Vj
equivale precisamente a que ωi0 = ωj0 , i.e., ω 0 = {ωi0 }i∈I se pega en una sección
def
de ωX en X ∩ ( Vi ) = X ∩ U0 . Veamos qué ocurre al considerar un cambio
S
i∈I
de carta:
En U1 = {x1 6= 0} ∼
def
= An tenemos coordenadas y0 , y2 , . . . , yn , que verifican
y0 = x11 , y2 = xx21 , . . . , yn = xxn1 en U0 ∩ U1 . Luego,
1 1 xj
dy0 = − 2 dx1 y dyj = dxj − 2 dx1 si j ∈ {2, . . . , n}.
x1 x1 x1
Además, tenemos que X ∩ U1 = V (h) donde
def
h(y) = h(y0 , y2 , . . . , yn ) = f (y0 , 1, y2 , . . . , yn ).
Así, el cálculo anterior nos dice que h permite definir ω 1 ∈ H0 (X ∩ U1 , ωX∩U1 )
∂h
que en el abierto Vn = {y ∈ U1 tal que ∂y n
(y) 6= 0} está dada por
(−1)n−1
(??) ωn1 : = dy0 ∧ dy2 ∧ · · · ∧ dyn−1
∂h/∂yn
n−1
def (−1) 1
= · n dx1 ∧ · · · ∧ dxn−1 .
∂h/∂yn x1
∂h
Para expresar ∂yn en las variables x = (x1 , . . . , xn ) observamos que
1 yn
def def
h(y) = f (y0 , 1, y2 , . . . , yn ) = y0d f 1, , . . . , = y0d f (1, x1 , . . . , xn ) = y0d g(x)
y0 y0
∂h ∂g def ∂g
y por ende = y0d y10 ∂y = 1
∂yn . Así, (?) y (??) implican que (módulo
∂yn n xd−1
1
signos)
ω 1 = (−1)∗ x1d−n−1 ω 0 en U0 ∩ U1 .
Finalmente, el resultado deseado se obtiene notando que si s ∈ H0 (X, ωX )
entonces s|X∩Ui = Pi ω i donde Pi es un polinomio en n variables que cumple
222 CAPÍTULO 3. FIBRADOS VECTORIALES Y DIVISORES
Q(x1 ,...,xn )
P0 (x) = (−1)∗ xd−n−1
1 P1 1 x2
x1 , x1 , · · · , xxn1 =: (−1)∗ xd−n−1
1 deg(P1 ) , donde Q
x1
es un polinomio homogéneo, i.e.,
polinomios homogéneos en n
∼
H0 (X, ωX ) =
variables de grado ≤ d − n − 1
P(Ex ) ∼
= Pr−1 P(Ex ) ∼
= Pr−1
ψij
Uj × Pr−1 Ui × Pr−1
Uj Ui
i.e., ωP(E) ∼
= π ∗ (ωX ⊗ det(E ∨ )) ⊗ OP(E) (−r).
¡Atención! — En muchos textos se utiliza la convención de Grothendieck
P(Ex ) := {hiperplanos en Ex },
que corresponde a nuestro P(Ex∨ ). Usando esta convención, la fórmula anterior
se escribe como
ωP(E) ∼
= π ∗ (ωX ⊗ det(E)) ⊗ OP(E) (−r).
3.8. FIBRADOS PROYECTIVOS 227
COHOMOLOGÍA
donde X = C.
¡Atención! — En términos muy resumidos, la cohomología mide “cuánto
falla la exactitud” al considerar secciones globales.
Ejercicio 4.1.2. — Sea C ⊆ P2 una curva proyectiva suave e irreducible de
grado 3 (i.e., una curva elíptica). Probar que la sucesión exacta
0 −→ OC (−3) −→ Ω1P2 |C −→ Ω1C −→ 0
provee otro contraejemplo a la exactitud por la derecha de la sucesión de
secciones globales inducida.
¡Atención! — El objetivo de este capítulo será definir de manera canónica
para todo haz de grupos abelianos F en X y todo i ∈ N, el i-ésimo grupo
de cohomología Hi (X, F ) verificando (entre otras cosas):
∼ Γ(X, F ) def
(1) H0 (X, F ) = = F (X).
(2) Todo morfismo de haces ϕ : F −→ G induce un morfismo
Hi (ϕ) : Hi (X, F ) −→ Hi (X, G ) para todo i ∈ N,
donde H0 (ϕ) = Γ(ϕ).
(3) Toda sucesión exacta 0 −→ F −→ G −→ H −→ 0 de haces de grupos
abelianos induce una sucesión exacta larga
δ0
0 −→ H0 (X, F ) −→ H0 (X, G ) −→ H0 (X, H ) −−−→ H1 (X, F ) −→
δ1
−→ H1 (X, G ) −→ H1 (X, H ) −−−→ H2 (X, F ) −→ · · ·
La manera más concreta (pero que a priori depende de varias elecciones) es
considerar cohomología de Čech.
Definición 4.1.3. — Sea F un haz de grupos abelianos en un espacio
topológico X. Dado un cubrimiento abierto U = {Ui }i∈I de X, donde I
es un conjunto ordenado, definimos el grupo abeliano de p-cocadenas de
Čech de F respecto a U por:
C p (U , F ) := F (Ui0 ∩ · · · ∩ Uip ), donde p ∈ N.
Y
i0 <···<ip
def
(1) C 0 (U , F ) = i∈I F (Ui ) y una 0-cocadena es una colección s = {si }i∈I
Q
con si ∈ F (Ui ).
def Q
(2) C 1 (U , F ) = i<j F (Ui ∩ Uj ) y una 1-cocadena es una colección
s = {sij }i<j con sij ∈ F (Ui ∩ Uj ).
def Q
(3) C 2 (U , F ) = i<j<k F (Ui ∩ Uj ∩ Uk ) y una 2-cocadena es una colección
s = {sijk }i<j<k con sijk ∈ F (Ui ∩ Uj ∩ Uk ).
Definición 4.1.5. — Para cada p ∈ N, definimos el operador de coborde
mediante
dp : C p (U , F ) −→ C p+1 (U , F )
s 7−→ dp s,
donde s = {sj0 ,...,jp }j0 <···<jp y donde dp s está dada por
p+1
(−1)k si0 ,...,ik−1 ,ik+1 ,...,ip+1 |Ui0 ∩···∩Uip+1 en F (Ui0 ∩· · ·∩Uip+1 ).
X
(dp s)i0 ,...,ip+1 :=
k=0
Ejemplo 4.1.6. —
(1) Sea s = {si } ∈ C 0 (U , F ) una 0-cocadena, entonces
(d0 s)i0 i1 := si1 |Ui0 ∩Ui1 − si0 |Ui0 ∩Ui1 ,
def
i.e., d0 s = {sij } con sij = sj |Ui ∩Uj − si |Ui ∩Uj ∈ F (Ui ∩ Uj ).
(2) Sea s = {sij } ∈ C 1 (U , F ) una 1-cocadena, entonces
(d1 s)i0 i1 i2 := si1 i2 |Ui0 ∩Ui1 ∩Ui2 − si0 i2 |Ui0 ∩Ui1 ∩Ui2 + si0 i1 |Ui0 ∩Ui1 ∩Ui2 ,
i.e., d1 s = {sijk } con
def
sijk = sjk |Ui ∩Uj ∩Uj − sik |Ui ∩Uj ∩Uk + sij |Ui ∩Uj ∩Uk ∈ F (Ui ∩ Uj ∩ Uk ).
En particular, d1 (d0 s) = 0 para toda s ∈ C 0 (U , F ).
El siguiente es un ejercicio fundamental para toda la discusión que sigue.
Toda persona debería hacerlo alguna vez en su vida.
Ejercicio 4.1.7. — Probar que para todo p ∈ N se tiene que
dp+1 ◦ dp = 0, i.e., Im(dp ) ⊆ ker(dp+1 ).
Definición 4.1.8. — Sea F un haz de grupos abelianos en un espacio
topológico X. Dado un cubrimiento abierto U = {Ui }i∈I de X, donde I
es un conjunto ordenado, definimos el p-ésimo grupo de cohomología de
Čech mediante
ȞpU (X, F ) := ker(dp )/ Im(dp−1 ), donde p ∈ N.
232 CAPÍTULO 4. COHOMOLOGÍA
∼ Af (localización en f ).
es un abierto principal afín, que verifica O(Uf ) =
Dichos abiertos forman una base de la topología de Zariski de X.
Sea F un OX -módulo y recordemos que M := Γ(X, F ) es un A-módulo.
Además, para todo A-módulo M y todo f ∈ A se define la localización
m
def
Mf := M ⊗A Af = con m ∈ M y p ∈ N / ∼,
fp
0
donde fmp ∼ m r q 0 p
f q si y sólo si existe r ∈ N tal que f (f m − m f ) = 0 en M .
Más aún, para toda sucesión exacta de A-módulos
0 −→ M −→ N −→ Q −→ 0,
la sucesión asociada de Af -módulos
0 −→ Mf −→ Nf −→ Qf −→ 0,
es exacta, i.e., la localización envía sucesiones exactas en sucesiones exactas.
Teorema 4.1.16. — Sea F un haz coherente en una variedad algebraica afín
e irreducible X. Entonces, para toda función regular f ∈ O(X) el morfismo
ϕf : Γ(X, F )f −→ Γ(Uf , F )
s 1
7−→ p · s|Uf
fp f
es un isomorfismo.
Demostración. — Al ser una afirmación local, se puede probar que, sin pér-
dida de generalidad, se puede suponer la existencia una sucesión exacta
⊕m α ⊕n β
OX −−→ OX −−→ F −→ 0
en X. Veamos entonces que:
Paso 1. ϕf es inyectiva (i.e., si s ∈ Γ(X, F ) es tal que s|Uf = 0, entonces
existe p ∈ N tal que sf p = 0 en X):
Sea s ∈ Γ(X, F ) tal que s|Uf = 0. Dado que β es un morfismo de haces so-
breyectivo, existe un cubrimiento abierto X = ∪i∈I Ui y un vector de secciones
gi ∈ OX (Ui )⊕n tal que β(gi ) = s|Ui .
Por un lado, dado que si sf p |Ui = 0 para todo i ∈ I entonces sf p = 0 en X,
def
basta tratar el caso en que s = β(g) con g ∈ OX (X)⊕n = A⊕n . Por otro lado,
dado que
def
0 = s|Uf = β(g)|Uf = β(g|Uf )
236 CAPÍTULO 4. COHOMOLOGÍA
def
tenemos que g|Uf ∈ ker(β) = Im(α). Luego, tal como antes, existe un cubrim-
iento abierto Uf = ∪i∈I Ufi y elementos gi ∈ A⊕m tales que
!
gi
g|Ufi = α , i.e., fip g − α(gi ) = 0 en Uf ,
fip
y por ende fip g = α(gi ) en X, dado que Uf es un abierto denso.
Como los Ufi cubren Uf , los fip no poseen ceros comunes en Uf y el Hilbert
Nullstellensatz implica que existen q ∈ N y hi ∈ A tales que i fip fhqi = 1 en
P
d∈Z
y en particular (ver Ejemplo 3.2.5) tenemos para i = 0 que
Ȟ0 (Pn , F ) ∼
= k[x0 , . . . , xn ] =: S
como anillos graduados, de donde se deduce (1). Para i ≥ 1, el Teorema
de Leray nos asegura que basta considerar los abiertos afines estándar
def
Ui = {xi 6= 0} de Pn para calcular Hi (Pn , F ) mediante cohomología de Čech.
Para esto último, definimos para cada sub-conjunto I ⊆ {0, . . . , n} el abierto
\
UI := Ui .
i∈I
En particular, tenemos que
D E
H0 (UI , F |UI ) ∼
= Vectk x`00 · · · x`nn donde `j ∈ Z y donde `j ≥ 0 si j ∈
/I .
Así, el complejo de Čech del cubrimiento estándar de Pn está dado por(3) :
d0 d1 dn−1 dn
C • (U , F ) :
Y Y
Sxi0 −−−→ Sxi0 xi1 −−−→ . . . −−−→ Sx0 ···xn −→ 0
def
donde Ȟi (Pn , F ) = ker(di )/ Im(di−1 ).
Para probar (2), veremos que Hn (Pn , ωPn ) ∼ = k y que hay un emparejamiento
perfecto (i.e., una forma bilineal no-degenerada)
H0 (Pn , OPn (d)) × Hn (Pn , OPn (−d − n − 1)) −→ Hn (Pn , ωPn ) ∼
= k,
(3)
Por ejemplo, si n = 1, obtenemos el complejo de Čech
d0
k[x0 , x1 , x−1 −1 −1 −1
0 ] × k[x0 , x1 , x1 ] −→ k[x0 , x1 , x0 , x1 ] −→ 0,
def 0 ∼ −1 −1 −1 ∼
y Ȟ1 (P1 , F ) = k[x0 , x1 , x−1 −1 −1 a b
0 , x1 ]/ Im(d ) = x0 x1 k[x0 , x1 ] = Vectk hx0 x1 con a, b < 0i.
def
En particular, la graduación en Ȟ1 (P1 , F ) está dada por d = deg(xa0 xb1 ) = a + b < 0.
244 CAPÍTULO 4. COHOMOLOGÍA
de donde obtenemos h0 (Pn , OPn (d)) = hn (Pn , OPn (−d − n − 1)) y luego (2):
Por definición, Ȟn (Pn , F ) está dado por
!
dn−1 ∼
= Vectk hxa00 · · · xann con aj < 0},
Y
coker Sx0 ···xbk ···xn −−−→ Sx0 ···xn
k
con graduación d := ni=0 ai . En particular, si d = −n − 1 sólo hay un
P
donde FH := ∼ i
d∈Z OH (d). Recordando que H (P , ι∗ FH ) = H (H, FH ),
L i n
ι
Teorema 4.2.9 (Anulación de Serre). — Sea X ,−−→ Pn una var-
iedad algebraica proyectiva y F un haz coherente en X. Entonces, existe
m0 = m0 (F ) ∈ N tal que
Para todo i ≥ 1 y todo m ≥ m0 , se tiene que Hi (X, F (m)) = 0.
Demostración. — Tal como en el Teorema de finitud, podemos suponer que
X = Pn y argumentamos por inducción descendente en i ∈ N (donde el caso
i > n está cubierto por el teorema de anulación de Grothendieck):
El Lema de Serre implica que existen r, m1 ∈ N y una sucesión exacta de
haces coherentes en Pn
0 −→ G −→ OPn (−m1 )⊕r −→ F −→ 0.
Al tensorizar dicha sucesión exacta por OPn (m) obtenemos
0 −→ G (m) −→ OPn (m − m1 )⊕r −→ F (m) −→ 0,
la cual induce una sucesión exacta larga en cohomología
α δ
. . . −→ Hi (Pn , OPn (m−m1 ))⊕r −−→ Hi (Pn , F (m)) −−→ Hi+1 (Pn , G (m)) −→ . . .
El cálculo explícito al comienzo de la sección implica que el primer término es
0 para m ≥ m1 y i ≥ 1, mientras que la hipótesis de inducción asegura que el
último término es 0 para m ≥ m2 := m2 (G ) = m2 (F ). Así,
Hi (Pn , F (m)) = 0
para todo m ≥ m0 := max{m1 , m2 }.
Ejemplo importante 4.2.10. — Sea X una variedad algebraica proyectiva
y sea L ∈ Pic(X) un fibrado en rectas amplio, i.e., existe m0 ∈ N≥1 tal que
L⊗m0 es muy amplio:
ψ := ϕL⊗m0 : X ,−→ Pn
es un incrustamiento cerrado, con ψ ∗ OPn (1) ∼
= L⊗m0 .
def
En particular, tenemos que L⊗m0 = OX (1) respecto al incrustamiento
ψ : X ,→ Pn . Luego, para todo haz coherente F en X se tiene que:
def def
(1) F ⊗ L⊗mm0 = F ⊗ OX (m) = F (m) es globalmente generado para todo
m 0.
(2) Para todo i ≥ 1 y todo m 0, se tiene que
Hi (X, F ⊗ L ⊗mm0 ) = 0,
donde L es el haz de secciónes de L.
El ejemplo anterior, motiva la siguiente definición.
4.2. COHOMOLOGÍA COHERENTE EN VARIEDADES PROYECTIVAS 249
Luego, el Lema de Nakayama (ver Recuerdo 3.3.8) implica(4) que existe una
vecindad abierta U = UF ,m0 de x ∈ X tal que (F ⊗ L ⊗m )|U es globalmente
generado. En particular, considerando F = OX , existe m1 ∈ N≥1 y un abierto
UOX ,m1 tal que L ⊗m1 es globalmente generado en el abierto UOX ,m1 .
Así, dado que
F ⊗ L ⊗m = ∼ (L ⊗m1 )⊗r ⊗ (F ⊗ L ⊗(m0 +s) ) para ciertos r ≥ 0 y 0 ≤ s < m1 ,
vectorial de dimensión finita Γ(X, F ⊗ kx ), ellas permiten definir una sucesión exacta
⊕r
OX −→ F −→ Q −→ 0,
donde Q ⊗ kx = 0. En una vecindad abierta afín U de x, con OX (U ) = A, el haz coherente
Q corresponde a un A-módulo finitamente generado N que cumple N ⊗A (A/mx ) = 0, i.e.,
mx N = N . El Lema de Nakayama aplicado al anillo local Amx implica que Nmx = 0 y
/ mx tal que f N = 0, i.e., Q es nulo en la vecindad Uf de x, i.e., F es
por ende existe f ∈
globalmente generado en Uf .
4.2. COHOMOLOGÍA COHERENTE EN VARIEDADES PROYECTIVAS 253
#
coker(ι)
∼ / ker(π)
ϕ ϕi−1 ϕi ϕi+1
di−2 di−1 diL di+1
L• : ···
L
/ Li−1 L
/ Li / Li+1 L
/ ···
4.4. RESOLUCIONES INYECTIVAS Y QUASI-ISOMORFISMOS 259
ˇ
induce un morfismo G ,→ Ǧ, a 7−→ eva que es inyectivo. En efecto, si a 6= 0
entonces existe f : hai −→ Q/Z tal que f (a) 6= 0 y como Q/Z es inyectivo (al
ser divisible) en Ab, existe g : G −→ Q/Z tal que g(a) 6= 0, i.e., eva (g) 6= 0.
Notamos que si L ∼ = Z(Λ) es un grupo abeliano libre, indexado por cierto
Q
conjunto Λ, entonces Ľ es isomorfo a λ∈Λ Q/Z, que es divisible. Dado que
todo grupo abeliano es cociente de un grupo abeliano libre, podemos considerar
a Ǧ como el cociente de un grupo libre L (e.g. L = Z(Ǧ) ) y luego
L −−→→ Ǧ −→ 0
ˇ
induce 0 −→ Ǧ ,−→ Ľ, i.e., G ,→ Ľ se incrusta en el grupo divisible Ľ.
La misma idea permite probar que la categoría A-Mod tiene suficientes
inyectivos. Dejamos los detalles como ejercicio.
Ejercicio 4.4.7. — Sea A un anillo conmutativo, y sea M un A-módulo.
Definimos el grupo abeliano M̌ := HomZ (M, Q/Z) y lo dotamos de estructura
de A-módulo mediante
(a · f )(x) := f (ax) para todo f ∈ M̌ , x ∈ M y a ∈ A.
ˇ
Tal como antes, se tiene que M ,→ M̌ es un morfismo inyectivo de A-módulos.
(1) Para cada f ∈ M̌ , definimos fe(x)(a) := f (ax). Probar que
∼
M̌ = HomZ (M, Q/Z) −−→ HomA (M, Ǎ), f 7−→ fe
es un isomorfismo de A-módulos, con inversa ge 7−→ g dada por
g(x) := ge(x)(1).
(2) Deducir que Ǎ es un A-módulo inyectivo (i.e., un objeto inyectivo en la
categoría A-Mod).
ϕ
Indicación: Dados M ,−→ N , fe : M → Ǎ, y f : M → Q/Z. Probar que
si g : N → Q/Z extiende a f , entonces ge : N → Ǎ extiende a fe.
(3) Deducir que la categoría A-Mod tiene suficientes inyectivos.
Los resultados anteriores se pueden extender directamente a categorías de
haces.
Teorema 4.4.8. — Sea X un espacio topológico (resp. un espacio anillado).
Entonces, la categoría Sh(X) de haces de grupos abelianos en X (resp. la
categoría OX -Mod de OX -módulos) tiene suficientes inyectivos.
Demostración. — Sea F un haz de grupos abelianos en X, y para cada x ∈ X
consideremos una inclusión
Fx ,−→ I(Fx ),
262 CAPÍTULO 4. COHOMOLOGÍA
ε ε0
d0 / R1 d1 / R2 d2 / ···
R• : R0
∼
tal que Hi (ε) : Hi (A• ) −−→ Hi (R• ) es un isomorfismo para todo i ≥ 0.
def
Lo anterior implica, dado que H0 (A• ) = A y Hi (A• ) = 0 para i > 0, que
Hi (R• ) = 0 para todo i > 0 y que el morfismo de aumentación
ε0 : A −→ R0
identifica A con H0 (R• ), i.e., con el kernel de d0 : R0 −→ R1 . En resumen,
ε0 d0 d1 d2 d3
0 −→ A −−−→ R0 −−−→ R1 −−−→ R2 −−−→ R3 −−−→ · · ·
es un complejo exacto, también denotado 0 −→ A −→ R• , que contiene la
misma información que ε : A• −→ R• .
Finalmente, si todos los objetos Ri de R• son inyectivos en C , decimos que
ε : A• −→ R• es una resolución inyectiva de A.
El siguiente resultado será crucial para construir functores derivados. En
términos prácticos, nos dice que las propiedades de los objetos inyectivos se
extienden a complejos de objetos inyectivos.
Teorema 4.4.19. — Sea C una categoría abeliana con suficientes inyectivos.
Entonces:
(1) Todo objeto A posee una resolución inyectiva ε : A −→ I • .
(2) Sea f : A −→ I • un morfismo arbitrario (no necesariamente una res-
olución) de complejos positivos, donde todos los objetos de I • son in-
yectivos. Entonces,
Para toda resolución ε : A −→ R• (no necesariamente in-
yectiva), existe un morfismo de complejos g : R• −→ I • tal
que
ε / •
A R
g
f
I•
es un diagrama conmutativo.
Más aún, si g 0 : R• −→ I • es otro morfismo tal que f = g 0 ◦ ε, entonces
g ∼ g 0 . En otras palabras, g es único módulo homotopía.
4.4. RESOLUCIONES INYECTIVAS Y QUASI-ISOMORFISMOS 267
Demostración. — Para el ítem (1), notamos que el hecho que C tenga su-
ε0
ficientes inyectivos nos permite hallar un incrustamiento A ,−−→ I 0 donde
I 0 es un objeto inyectivo. Si definimos A1 := I 0 /A en C y lo incrustamos
δ1
A1 ,−−→ I 1 en un objeto inyectivo I 1 , entonces tenemos que ker(δ 1 ) = 0 en
I 0 /A, i.e., la composición
π δ1
ε1 : I 0 −−→ I 0 /A −−−→ I 1
verifica que ker(ε1 ) = A = Im(ε0 ). Inductivamente, construímos ε : A −→ I • .
Para el ítem (2), construímos g i por inducción en i ∈ N:
ε0
Como ε es una resolución, A ,−−→ R0 es un morfismo inyectivo. Dado que
I 0 es un objeto inyectivo, f 0 : A −→ I 0 se extiende a g 0 : R0 −→ I 0 .
Supongamos ahora que g i está construído, y consideremos el diagrama
i−1
dR diR
Ri−1 / Ri / Ri+1
g i−1 gi ∃? g i+1
di−1 diI
I i−1
I
/ Ii / I i+1
f g
B / I•
B
def • def
F (A) −→ ker(F (d0 )) = H0 (F (IA )) = (R 0 F )(A)
de manera functorial, i.e., existe una transformación natural
F −→ R0 F
entre los functores F : C −→ D y R 0 F : C −→ D.
El siguiente resultado resume las propiedades más importantes de los func-
tores derivados.
Teorema 4.5.5. — Sea F : C −→ D un functor covariante aditivo entre
categorías abelianas, y donde C tiene suficientes inyectivos. Entonces:
(1) Si F es exacto por la izquierda, entonces la transformación natural
∼
F −−→ R0 F es un isomorfismo.
270 CAPÍTULO 4. COHOMOLOGÍA
0 / A0 / B0 / C0 /0
el diagrama
δi / R i+1 F (A)
R i F (C)
δi / R i+1 F (A0 )
R i F (C 0 )
es conmutativo.
(3) Para todo objeto inyectivo I en la categoría C , se tiene que
R i F (I) = 0 para todo i ≥ 1.
∼
Demostración. — Para probar que F −−→ R 0 F es un isomorfismo, consider-
amos un objeto A en C y ε : A −→ I • una resolución inyectiva. Dado que F
es exacto por la izquierda, la sucesión exacta en C
ε0 d0
0 −→ A −−−→ I 0 −−−→ I 1
es enviada a la sucesión exacta en D dada por
F (ε0 ) F (d0 )
0 −→ F (A) −−−−−→ F (I 0 ) −−−−−→ F (I 1 )
Así, F (A) ∼
def
= ker(F (d0 )) = (R 0 F )(A), de donde obtenemos (1).
Para probar (2), consideramos una sucesión exacta corta en C
f g
0 −→ A −−→ B −−→ C −→ 0,
• , B −→ ε
• y C −→ ε ε
A
y fijamos resoluciones inyectivas A −→ IA B
IB C
IC• . Es impor-
tante notar que a priori no contamos una sucesión exacta de complejos
• •
0 −→ IA −→ IB −→ IC• −→ 0
4.5. FUNCTORES DERIVADOS 271
asociada a 0 → A0 → B 0 → C 0 → 0, donde A0 → IA • , B 0 → (I 0 )• y C 0 → I •
0 C0
son resoluciones inyectivas como en el caso anterior, entonces la composición
η0
de B → B 0 y de B 0 −
→ IA0 induce (dado que I 0 es un objeto inyectivo) un
0 A0
0 0
morfismo IA → IA0 tal que
B
η
/ I0
A
η0
B0 / I0 0
A
es conmutativo. Además, obtenemos un morfismo de complejos
0 / I• / I• / I• /0
A C
0 / I• 0 / (I 0 )• / I• 0 /0
A C
donde I • = IA
• ⊕I • y (I 0 )• = I • ⊕I • . Aplicando F y considerando la sucesión
C A0 C0
exacta larga asociada, concluímos la demostración de (2).
Finalmente, (3) se deduce del hecho que la definición de functor derivado
es independiente de la resolución inyectiva (ver Lema 4.5.2). En efecto, para
cada objeto inyectivo I la resolución I → R• dada por
ε0 :=Id d0
I
0 −→ I −−−−−−→ I =: R0 −−−→ 0 −→ 0 −→ · · ·
es inyectiva. Así, dado que F (IdI ) = IdF (I) , tenemos que la sucesión
F (ε0 ) d0
0 −→ F (I) −−−−−→ F (I) −−−→ 0 −→ 0 −→ · · ·
∼
(4) Sea X una variedad algebraica con A = Γ(X, OX ). Los functores deriva-
dos del functor de secciones globales
Γ : OX -Mod −→ A-Mod, F 7−→ Γ(X, F )
se llaman grupos de cohomología, y se denotan Hi (X, F ). En par-
ticular, el Teorema anterior implica que H0 (X, F ) ∼
= Γ(X, F ) y que
toda sucesión exacta corta
0 −→ F −→ G −→ H −→ 0
de OX -módulos induce una sucesión exacta larga
δ0
0 −→ Γ(X, F ) −→ Γ(X, G ) −→ Γ(X, H ) −−−→ H1 (X, F )
δ1
−→ H1 (X, G ) −→ H1 (X, H ) −−−→ H2 (X, F ) −→ · · ·
de A-módulos.
(5) Sea f : X −→ Y un morfismo regular entre variedades algebraicas. Los
functores derivados del functor imagen directa
f∗ : Qcoh(X) −→ Qcoh(Y ), F 7−→ f∗ F
se llaman imágenes directas superiores, y se denotan R i f∗ F . En
particular, R 0 f∗ F ∼
= f∗ F y toda sucesión exacta corta
0 −→ F −→ G −→ H −→ 0
de OX -módulos induce una sucesión exacta larga
δ0
0 −→ f∗ F −→ f∗ G −→ f∗ H −−−→ R 1 f∗ F
δ1
−→ R 1 f∗ G −→ R 1 f∗ H −−−→ R 2 f∗ F −→ · · ·
de OY -módulos quasi-coherentes.
Observación importante 4.5.7. — Sea X un espacio topológico, y sea
Sh(X) la categoría de haces de grupos abelianos en X. Los functores derivados
del functor de secciones globales
Γ : Sh(X) −→ Ab, F 7−→ Γ(X, F )
se llaman grupos de cohomología de X con valores en el haz F , y también son
denotados Hi (X, F ).
Más adelante veremos que si X es una variedad algebraica, entonces ambos
grupos de cohomología asociados a Γ (visto en la categoría de haces de grupos
abelianos y en la categoría de OX -módulos) coinciden.
4.5. FUNCTORES DERIVADOS 275
El siguiente resultado señala que los grupos Ext son relativamente sencillos
de calcular en el caso de fibrados vectoriales sobre variedades algebraicas. Para
demostrarlo será de utilidad recordar (ver Observación 4.2.3) que si X es una
variedad algebraica y F es un OX -módulo, entonces hay una biyección
s ∈ Γ(X, F ) ϕ : O −→ F morfismo
X
↔
sección global de OX -módulos
más sencilla (y que luego nos permitirán probar el Teorema de Leray sobre
cohomología de Čech).
Definición 4.6.1. — Sea A un objeto de C . Decimos que A es F -acíclico
(o que es acíclico respecto a F ) si
R i F (A) = 0 para todo i ≥ 1.
Ejemplo importante 4.6.2. — Todo objeto inyectivo de C es F -acíclico
gracias al Teorema 4.5.5.
El siguiente Lema nos dice que el functor F preserva la exactitud en el caso
de complejos acíclicos (positivos). Entonces,
Lema 4.6.3. — Sea K • un complejo positivo en C cuyos objetos K i son
F -acíclicos.
Supongamos que K • es un complejo exacto en C , entonces F (K • )
es un complejo exacto en D.
Demostración. — Sea K • = (K i , di )i∈Z y sean Z i := ker(di ) y B i := Im(di−1 ).
Así, la exactitud de K • equivale a que Z i = B i para todo i ∈ Z, y en particular
la sucesión
di−1
0 −→ Z i−1 ,−→ K i−1 −−−→ Z i −→ 0
es exacta para todo i ∈ Z. Aplicando el functor F , obtenemos que
0 −→ F (Z i−1 ) −→ F (K i−1 ) −→ F (Z i ) −→ R 1 F (Z i−1 ) −→
∼
−→ R 1 F (K i−1 ) −→ R 1 F (Z i ) −−→ R 2 F (Z i−1 ) −→ R 2 F (K i−1 ) −→ · · ·
| {z } | {z }
=0 =0
Así, R p F (Z i ) ∼
= R p+1 F (Z i−1 ) para todo i ∈ Z y todo p ≥ 1. En particular,
R 1 F (Z i−1 ) ∼
= R 2 F (Z i−2 ) ∼
= ··· ∼
= R p F (0) = 0 si p 0,
y luego la sucesión
0 −→ F (Z i−1 ) ,−→ F (K i−1 ) −→ F (Z i ) −→ 0
es exacta para todo i ∈ Z, i.e., F (K • ) es un complejo exacto.
Otra propiedad muy útil es que F envía quasi-isomorfismos de complejos
acíclicos en quasi-isomorfismos. Para probar esta propiedad, necesitaremos la
siguiente construcción (que proviene de topología algebraica).
278 CAPÍTULO 4. COHOMOLOGÍA
f
•
IA
es conmutativo. Aplicando F , obtenemos un morfismo de complejos
• •
F (K ) −→ F (IA ) que es único módulo homotopía. Así, obtenemos un
único morfismo inducido en cohomología
def
Hi (F (K • )) −→ Hi (F (IA
•
)) = R i F (A).
Finalmente, dado A −→ K • y A −→ IA • son resoluciones del mismo objeto,
tenemos que f : K • −→ IA
• es un quasi-isomorfismo. Además, tenemos que
280 CAPÍTULO 4. COHOMOLOGÍA
Nuestro objetivo será probar que todo haz flasque es Γ-acíclico y por ende
podemos utilizar resoluciones flasque para calcular cohomología. Para esto
necesitaremos algunos resultados previos.
f g
Lema 4.6.9. — Sea 0 −→ F −−→ G −−→ H −→ 0 una sucesión exacta
de haces de grupos abelianos en X, y supongamos que F y G son flasques.
Entonces:
(1) Γ(g) : Γ(X, G ) −−→
→ Γ(X, H ) es sobreyectivo.
(2) H es flasque.
Demostración. — Probaremos un resultado más general: si G y H son haces
arbitrarios y si F es flasque, entonces para todo abierto U ⊆ X se tiene que
G (U ) −−→
→ H (U )
es sobreyectivo.
Para ello, fijemos σ ∈ H (U ) y consideremos el conjunto parcialmente or-
denado y no-vacío de paras (s, V ) tales que V ⊆ U es un abierto y donde
s ∈ G (V ) es una sección tal que g(s) = σ|V . Luego, el Lema de Zorn implica
que existe un elemento maximal (V, s). Veamos que necesariamente V = U ,
de donde deducimos (1):
Supongamos que V ( U , i.e., que existe x ∈ U tal que x ∈ / V . Dado que
G −−→
→ H es un morfismo de haces sobreyectivo, existe una vecindad abierta
Ux ⊆ U de x y una sección t ∈ G (Ux ) tal que g(t) = σ|Ux . Sea W := V ∩ Ux :
U
V Ux
W
·x
G (U ) / / H (U )
y notamos que para todo U ⊆ X abierto, las flechas horizontales son so-
breyectivas gracias a la prueba de (1). Además, la primera flecha vertical es
sobreyectiva pues G es flasque. Así, la segunda flecha vertical es sobreyectiva
también, i.e., H es flasque.
Construcción 4.6.10. — Sea (X, OX ) un espacio anillado, U ⊆ X un
abierto no-vacío y j : U ,→ X la inclusión. Dado un OU -módulo F , definimos
el prehaz extensión por cero j!pre F en X mediante
{0} si V 6⊆ U
(j!pre F )(V ) =
F (V ) si V ⊆ U
Queda como ejercicio al lector probar que que el haz asociado j! F := (j!pre F )+ ,
el haz extensión por cero, es un OX -módulo y que la correspondencia
F (X) = Γ(X, F ) ∼
def
= HomX (OX , F )
de la Observación 4.2.3 se generaliza a una correspondencia
F (U ) ∼
= HomX (j! OU , F )
que es válida para todo abierto U ⊆ X.
Proposición 4.6.11. — Sea (X, OX ) un espacio anillado, y sea I un OX -
módulo inyectivo. Entonces, I es un haz flasque.
4.6. RESOLUCIONES ACÍCLICAS Y RESOLUCIONES FLASQUE 283
para todo i ≥ 0.
para todo i ≥ 1.
4.7. COHOMOLOGÍA DE VARIEDADES AFINES Y TEOREMA DE LERAY 287
i0 <···<ip
Además, para cada p-cocadena s = {sj0 ,...,jp }j0 <···<jp , se define el operador
de coborde dp : C p (U , F ) −→ C p+1 (U , F ), s 7→ dp s mediante
p+1
X
p
(?) (d s)i0 ,...,ip+1 := (−1)k si0 ,...,ik−1 ,ik+1 ,...,ip+1 |Ui0 ∩···∩Uip+1
k=0
el cual verifica ◦ = 0 para todo p ∈ N, i.e., C • (U , F ) es un complejo
dp+1 dp
en la categoría Ab, llamado el complejo de Čech. Además,
def
ȞiU (X, F ) = Hi (C • (U , F ))
es el i-ésimo grupo de cohomología de Čech, que verifica Ȟ0U (X, F ) ∼
= Γ(X, F ).
La idea clave será asociar un complejo de haces al complejo de Čech.
Construcción 4.7.7. — Sea V ⊆ X un abierto, y consideremos el cubrim-
iento UV de V dado por los abiertos {Ui ∩ V }i∈I . Entonces, el prehaz de
grupos abelianos
V 7−→ C p (UV , F )
es un haz, que denotaremos C p (U , F ). Más aún, dichos haces vienen dotados
de morfismos
dp : C p (U , F ) −→ C p+1 (U , F )
que hacen de C • (U , F ) un complejo en la categoría Sh(X).
Notar que, por construcción, tenemos que:
(1) Si F es flasque, entonces C p (U , F ) es flasque para todo p ∈ N.
(2) El morfismo ε0 : F ,→ C 0 (U , F ) dado por
s ∈ F (V ) 7−→ {s|V ∩Ui }i∈I ∈ C 0 (UV , F )
es inyectivo, gracias a los axiomas de haces. En particular,
ε0 d0
0 −→ F ,−−→ C 0 (U , F ) −−−→ C 1 (U , F ) −→ · · ·
288 CAPÍTULO 4. COHOMOLOGÍA
para todo i ≥ 1.
La definición más importante de esta sección es la siguiente.
Definición 4.7.10. — Sea F un haz de grupos abelianos en un espacio
topológico X, y sea U = {Ui }i∈I un cubrimiento abierto de X, donde I es
un conjunto ordenado. Decimos que el cubrimiento U es F -acíclico si para
todo p ∈ N y todos i0 , . . . , ip ∈ I se tiene que
Hi (Ui0 ∩ · · · ∩ Uip , F ) = 0 para todo i ≥ 1.
290 CAPÍTULO 4. COHOMOLOGÍA
ϕ
% •
I
donde ϕ es único módulo homotopía. Luego,
def
Γ(ϕ) : Γ(C • (U , F )) = C • (U , F ) −→ Γ(I • )
induce un morfismo en cohomología
def
Hi (C • (U , F )) = ȞiU (X, F ) −→ Hi (X, F )
que, tal como en secciones anteriores, se prueba que es functorial en F .
Para (2), procedemos por indución en i ∈ N, donde el paso i = 0 se verifica
gracias a que
Ȟ0U (X, F ) ∼
= H0 (X, F ) ∼
= Γ(X, F ).
Además, el ítem (1) y la Proposición anterior implican que para toda sucesión
exacta corta 0 → F → I → G → 0 en Sh(X) tal que el cubrimiento U sea
F -acíclico, se tiene un diagrama conmutativo de sucesiones exactas largas de
4.7. COHOMOLOGÍA DE VARIEDADES AFINES Y TEOREMA DE LERAY 291
cohomología
/ Ȟi (X, I ) / Ȟi (X, G ) δ̌ i / Ȟi+1 (X, F ) → · · ·
· · · → ȞiU (X, F ) U U U
/ Hi (X, I ) / Hi (X, G ) δi / Hi+1 (X, F ) → · · ·
· · · → Hi (X, F )
Con lo anterior en mente, consideramos un incrustamiento F ,→ I dentro de
un objeto inyectivo I de la categoría Sh(X), y definimos G := I /F . Dado
que el cubrimiento U es F -acíclico y que I es un objeto Γ-acíclico (pues I es
un objeto inyectivo), tenemos que para cada intersección
Ui0 ···ip := Ui0 ∩ · · · ∩ Uip
tanto F como I son Γ-acíclicos, i.e., Hi (Ui0 ···ip , F ) = Hi (Ui0 ···ip , I ) = 0 para
todo i ≥ 1. Luego, la sucesión exacta larga en cohomología implica que el
cociente G también es Γ-acíclico en cada Ui0 ···ip , i.e., el cubrimiento abierto U
es G -acíclico también.
Finalmente, el hecho que I sea flasque implica (gracias a la Proposición
anterior) que ȞiU (X, I ) = 0 para todo i ≥ 1. Luego, el diagrama conmutativo
de sucesiones exactas largas de cohomología se reduce a:
/ Γ(X, I ) / Γ(X, G ) δ̌ 0 / Ȟ1 (X, F ) → 0
0 → Γ(X, F ) U
∼ ∼ ∼
/ Γ(X, I ) / Γ(X, G ) δ0 / H1 (X, F ) → 0
0 → Γ(X, F )
de donde deducimos que la última flecha vertical es un isomorfismo, y se reduce
al diagrama siguiente para todo i ≥ 1
0 → ȞiU (X, G )
∼ / Ȟi+1 (X, F ) → 0
U
∼
0 → Hi (X, G )
∼ / Hi+1 (X, F ) → 0
donde las fechas horizontales son isomorfismos, y donde la primera flecha ver-
tical es un isomorfismo gracias a la hipótesis de inducción. Por lo tanto,
deducimos que
ȞiU (X, F ) ∼
= Hi (X, F )
es un isomorfismo para todo i ≥ 0.
292 CAPÍTULO 4. COHOMOLOGÍA
definida en cada factor de la suma directa mediante [x] ⊗ [y] 7−→ [x ⊗ y].
Probar que ϕ está bien definida, i.e., que el [x ⊗ y] sólo depende de las
clases de cohomología [x] e [y].
4.8. IMÁGENES DIRECTAS SUPERIORES 293
i−1
(3) Sea Z i := ker(diK ) ⊆ K i y sea B i := Im(dK ) ⊆ K i . Fijamos, para cada
i ∈ Z, un espacio complementario W i de B i en Z i (i.e., Z i = B i ⊕ W i )
y un espacio complementario S i de Z i en K i (i.e., K i = B i ⊕ W i ⊕ S i ),
y donde el diferencial induce isomorfismos S i ∼ = B i+1 .
Probar que el complejo con diferencial nulo W • := (W i , 0) es un sub-
complejo de K • cuyo complemento T • , dado por T i := B i ⊕ S i , verifica
que Hi (T • ) = 0 para todo i ∈ Z.
(4) Probar que IdT • ∼ 0 es homotópicamente nulo, y que lo mismo ocurre
para T • ⊗ L• . Deducir que podemos suponer que los diferenciales de
K • y L• son nulos.
(5) Probar la fórmula de Künneth en el caso particular en que K • y L• son
complejos de espacios vectorial con diferenciales nulos, y probar el caso
geométrico usando cohomología de Čech respecto a un cubrimiento afín.
para todo i ≥ 1.
4.8. IMÁGENES DIRECTAS SUPERIORES 295
Vi := Y × Ui ∼
= Y × An de X = Y × Pn , donde i ∈ {0, . . . , n}. De lo anterior,
y notando que C • (V , OX (d)) ∼
= B ⊗k C • (U , OPn (d)), obtenemos que
Hi (X, OX (d)) ∼
= Ȟi (X, OX (d)) ∼
V = B ⊗k Ȟi (Pn , OPn (d))
U
Leray
∼
= B ⊗k Hi (Pn , OPn (d)),
Leray
f prY
H0
• Y
y
4.8. IMÁGENES DIRECTAS SUPERIORES 299
DUALIDAD DE GROTHENDIECK-SERRE Y
TEOREMA DE RIEMANN-ROCH
es una sucesión exacta. Por otro lado, el Lema de Serre implica que para todo
haz coherente F en Pn existen r ∈ N≥1 y m 0 tales que OPn (−m)⊕r −−→ →F
es sobreyectivo. Así, las dos sucesiones exactas anteriores nos permiten escribir
0 / Hom(OPn (−m), ωPn )⊕r / Hom(F , ωPn )
D D
0 / (Hn (Pn , OPn (−m))∨ )⊕r / Hn (Pn , F )∨
0 / A0 / B0 / C0 /0
el diagrama
δi / T i+1 (C 0 )
T i (A0 )
δi / T i+1 (C)
T i (A)
es conmutativo.
Ejemplo importante 5.1.5. — Sea X una variedad algebraica proyectiva
suave e irreducible de dim(X) = n, y sea ωX = det(Ω1X ) el fibrado en rectas
canónico. Entones, las familias de functores contravariantes
{F 7−→ Exti (F , ωX )}i∈N y {F 7−→ Hn−i (X, F )∨ }i∈N
desde la categoria de OX -módulos a la categoría de k-espacios vectoriales, son
δ-functores.
306 CAPÍTULO 5. DUALIDAD DE SERRE Y TEOREMA DE RIEMANN-ROCH
i i+1
fA fPi i
fK ∃? fA
T i (u)
T i (j)
i
δT
T i (A) / T i (P ) / T i (K) / T i+1 (A)
5.1. DUALIDAD DE GROTHENDIECK Y DUALIDAD DE SERRE 307
Indicación: Las ideas usadas para probar la Proposición 4.5.8, junto con las
propiedades de ℋℴ𝓂 y el producto tensorial, permiten concluir.
En particular, el Ejercicio anterior asegura que
ℰ𝓍𝓉i (G , OY ) ⊗ ωY ∼
= ℰ𝓍𝓉i (G , ωY ) para todo i ≥ 0.
El siguiente resultado, que asumiremos sin demostración, nos permitirá con-
cluir.
Lema 5.1.12 (Hecho clave). — Bajo las hipótesis del Paso 4, se tiene que
0 si i 6= r
ℰ𝓍𝓉i (j∗ OX , OY ) ∼
=
j det(N si i = r
∗ X/Y )
donde j ∗ (j∗ ωX ) ∼
= ωX se prueba gracias a la fórmula de proyección.
Con la notación de la Proposición anterior, estamos en condiciones de con-
cluir la demostración del Paso 4, y con ello la prueba del Teorema de Dualidad
de Grothendieck.
Demostración del Paso 4. — A partir del complejo inyectivo I • , y usando el
hecho que Hi (I • ) = 0 si i 6= r y que Hr (I • ) ∼
= ωX , obtenemos una resolución
inyectiva
ωX −→ J •
tal que diJ := di+r
I , i.e., consideramos una traslación en r. Luego, se tiene que
Exti (F , ωX ) = Hi (HomX (F , J • )) ∼
def
= Hi+r (HomX (F , I • ))
Prop
∼
=H i+r • def
(HomY (j∗ F , R )) = Exti+r (j∗ F , ωY ),
de donde se concluye la demostración.
Observación importante 5.1.15. — La demostración del Hecho clave es
puramente algebraica, y se realiza utilizando el llamado complejo de Koszul
asociado a la incrustación cerrada j : X ,−→ Y .
Para más detalles, el lector interesado puede consultar [FL85, Ch. IV §2]
para leer sobre las versiones algebraicas y geométricas del complejo de Koszul.
Por otro lado, la demostración detallada del Lema 5.1.12 se puede encontrar
en [LP01, Ch. III §6.1].
por definición, significa que existe f ∈ k(X)∗ función racional no-nula tal que
D − D0 = div(f ).
Más aún, el hecho que X sea suave nos permite identificar divisores de
Cartier con divisores de Weil en X. Explícitamente, podemos pensar a D
como una suma finita formal
r
X
D= n i · Yi donde ni ∈ Z e Yi ⊆ X hipersuperficie irreducible.
i=1
En particular, si ni ≥ 0 para todo i entonces decimos que D es un divisor
efectivo, y escribimos D ≥ 0 en tal caso.
El k-espacio vectorial H0 (X, L) ∼
= H0 (X, OX (D)) es llamado el espacio de
Riemann-Roch de D y, gracias al Teorema de finitud (ver Teorema 4.2.8),
es de dimensión finita. Hoy en día, la dimensión de este espacio se denota por
dimk H0 (X, OX (D)) := h0 (X, OX (D)) o bien h0 (X, D),
o incluso h0 (D) si la variedad X es clara en el contexto. Sin embargo, la
notación clásica para esta dimensión es `(D).
Más aún, podemos describir explícitamente el espacio de Riemann-Roch
H0 (X, OX (D)) ∼= {f ∈ k(X)∗ tal que div(f ) + D ≥ 0},
así como su sistema lineal asociado
|D| := P H0 (X, OX (D)) ∼
= {E ≥ 0 divisor efectivo tal que E ∼ D}.
En 1857, Riemann estudia sistemas lineales de divisores en curvas alge-
braicas proyectivas suaves e irreducibles (en realidad, en superficies de Rie-
mann compactas). En dicho caso, un divisor es una curva C es una suma
forma de la forma
r
X
D= ni · p i donde ni ∈ Z y pi ∈ C es un punto,
i=1
y en particular podemos considerar la función grado dada por
r r
!
→ Z, L ∼
def
= OC
X X
deg : Pic(C) −−→ ni · pi 7−→ deg(L) = ni .
i=1 i=1
En este contexto, y bajo la hipótesis que k = C, Riemann prueba que para
todo L ∼
= OC (D) ∈ Pic(C) se verifica la desigualdad de Riemann:
`(D) ≥ deg(D) − g(C) + 1,
def
donde g(C) = dimk H0 (C, ωC ) es el género de la curva C, y donde
Ω1C ∼ ∼ OC (KC ) es el fibrado en rectas canónico (pues dim(C) = 1).
= ωC =
312 CAPÍTULO 5. DUALIDAD DE SERRE Y TEOREMA DE RIEMANN-ROCH
def
(1) h1 (C, OC (D)) = h0 (C, OC (KC − D)) = `(KC − D).
def
(2) g(C) = h0 (C, ωC ) = h1 (C, OC ).
Así, el término `(D) − `(KC − D) se reescribe como
h0 (C, OC (D)) − h1 (C, OC (D)).
De manera similar, el término 1 − g(C) se reescribe como
1 − h1 (C, OC ) = h0 (C, OC ) − h1 (C, OC )
pues C es una curva proyectiva irreducible.
¡Atención! — Si C es una curva algebraica proyectiva irreducible (no nece-
sariamente suave), se define su género aritmético como
pa (C) := h1 (C, OC ).
El género aritmético está bien definido y coincide con el género geométrico
g(C) cuando C es una curva suave.
Definición 5.2.4. — Sea X una variedad algebraica proyectiva de
dim(X) = n, y sea F un haz coherente en X. Definimos la característica
de Euler-Poincaré de F como
χ(X, F ) := (−1)i hi (X, F ) = h0 (X, F ) − h1 (X, F ) + . . . + (−1)n hn (X, F ),
X
i≥0
ni > 0.
Por otra parte, si consideramos s ∈ H0 (C, OC (mD)) tal que div(s) = mD,
entonces s(x) 6= 0 para x 6= p1 , . . . , pr . En otras palabras, M := OC (mD) es
un fibrado en rectas globalmente generado, i.e., la aplicación
ϕM : C −→ P(H0 (C, M )∨ ) = ∼ Pn
(3)
En inglés, split.
322 CAPÍTULO 5. DUALIDAD DE SERRE Y TEOREMA DE RIEMANN-ROCH
def
consiste en un único divisor efectivo, i.e., E = 0 y por ende p−q = D ∼ E = 0.
Así, p ∼ q y por ende C ∼ = P1 gracias al Teorema de Abel-Jacobi.
Nuestro siguiente objetivo será obtener criterios numéricos que nos aseguren
que un fibrado en rectas en una curva algebraica sea globalmente generado o
muy amplio. Para ello, recordemos la terminología relevante.
Terminología 5.3.3. — Sea X una variedad algebraica proyectiva suave e
irreducible, y sea D = ri=1 ni · Yi un divisor de Weil en X. Definimos el
P
i≥0
j
Lema 5.3.10. — Sea X ,−−→ Pn una variedad proyectiva, y sea F un haz
coherente en X. Entonces, hF (m) ∈ Q[m] es una función polinomial con
coeficientes racionales.
Idea de demostración. — Dado que Hi (X, F (m)) ∼ = Hi (Pn , (j∗ F ) ⊗ OPn (m))
para todo i ≥ 0, basta suponer que X = Pn y probar el resultado por inducción
en n ∈ N:
Si n = 0, entonces F (m) = F para todo m ∈ Z y luego hF (m) es una
función constante. Para simplificar los cálculos, supongamos que F es lo-
calmente libre (este será el caso que nos interesará después; el caso general
es similar). En tal caso, consideramos la sucesión exacta corta asociada al
hiperplano ι : H ∼
= Pn−1 ,−→ Pn
0 −→ OPn (−1) −→ OPn −→ OH −→ 0,
y tensorizamos por el haz localmente libre F (m) para obtener la sucesión
exacta siguiente:
0 −→ F (m − 1) −→ F (m) −→ FH (m) −→ 0,
donde FH ∼ Pn−1 . Luego,
:= F |H es un haz coherente en H =
χ(Pn , F (m)) = χ(Pn , F (m − 1)) + χ(H, FH (m)),
i.e., hF (m) − hF (m − 1) = hFH (m). Por hipótesis de inducción, hFH (m) es
un polinomio en la variable m con coeficientes en Q.
Luego de limpiar denominadores, nos reducimos a probar que si f : Z −→ Z
es una función tal que g(m) := f (m)−f (m−1) es un polinomio con coeficientes
en Q, entonces f también. Dejamos esto último como Ejercicio al lector (para
más detalles, ver [Har77, Ch. I Prop. 7.3]).
j
Definición 5.3.11. — Sea X ,−−→ Pn una variedad proyectiva irreducible
de dim(X) = n. El polinomio de Hilbert de la variedad X respecto al
incrustamiento j : X ,−→ Pn es
def
hX (m) := hOX (1) (m) = χ(X, OX (m)).
El grado de X es n! veces el coeficiente principal de hX (m), y se denota
deg(X).
330 CAPÍTULO 5. DUALIDAD DE SERRE Y TEOREMA DE RIEMANN-ROCH
Ejemplo 5.3.12. — Usando los valores conocidos de hi (Pn , OPn (m)) calcu-
lados en el Teorema 4.2.1 se verifica directamente que
!
def n+m mn
hPn (m) = χ(P , OPn (m)) =
n
= + ···
n n!
y en particular deg(Pn ) = 1.
Ejercicio 5.3.13. — Sea X = V (f ) ⊆ Pn una hipersuperficie definida por
un polinomio homogéneo no-nulo de grado d. Probar que
! !
n+m n+m−d dmn−1
hX (m) = − = + ···
n n (n − 1)!
y por ende deg(X) = d.
Indicación: Considerar la sucesión exacta corta
0 −→ OPn (−d) −→ OPn −→ OX , −→ 0
y seguir las ideas de la demotración del Lema anterior.
Ejemplo importante 5.3.14. — Sea C una curva algebraica proyectiva
suave e irreducible de género g(C) = g, y sea L ∼
= OC (D) un fibrado en rectas
muy amplio, i.e.,
ϕL : C ,−→ Pn
def
es un incrustamiento cerrado, donde n = `(D) − 1. Entonces, dado que
OC (1) = ϕ∗L OPn (1) ∼
def
= L y por ende calculamos
def
hC (m) = χ(C, OC (m)) = χ(C, L⊗m ) = χ(C, OC (mD))
RR
= deg(mD) + 1 − g = deg(D) · m + 1 − g
es el polinomio de Hilbert de C respecto a L. En particular,
degL (C) := deg(ϕL (C)) = deg(D).
Además, el Teorema de Bertini implica que en términos geométricos
deg(ϕL (C)) coincide con la cantidad de puntos en la intersección ϕL (C) ∩ H,
donde H ∼= Pn−1 es un hiperplano general en Pn .
Un caso particular importante es cuando C es una curva elíptica (i.e.,
g(C) = 1, lo que equivale a que ωC ∼ = OC ). Si L ∼ = OC (D) es un fibrado
en rectas con deg(D) = 3 (e.g. D = p + q + r) entonces L es muy amplio, pues
deg(D) = 3 ≥ 2g + 1 en tal caso.
5.3. APLICACIONES DEL TEOREMA DE RIEMANN-ROCH 331
RR
Además, D es no-especial y por ende `(D) = deg(D) = 3. Así, L define un
incrustamiento cerrado
ϕL : C ,−→ P2
donde la curva imagen tiene grado deg(ϕL (C)) = deg(D) = 3. Así,
Toda curva elíptica es isomorfa a una cúbica en P2 .
Notar además que en una curva elíptica C, un fibrado en rectas L ∼
= OC (D)
es muy amplio si y sólo si deg(D) ≥ 3. En efecto, si deg(D) = 1 entonces
`(D) = 1 y luego P`(D)−1 ∼
= {pt}. Del mismo modo, si deg(D) = 2 entonces
`(D) = 2 y basta notar que
ϕL : C −→ P1
no puede ser un incrustamiento cerrado, pues g(C) = 1 6= 0 = g(P1 ).
Ejemplo 5.3.15. — Sea C una curva algebraica proyectiva suave e irre-
ducible de género g(C) = g.
(1) Si g = 2, todo fibrado en rectas L ∼
= OC (D) con deg(D) ≥ 5 = 2g + 1
RR
es muy amplio. Además, si deg(D) = 5 entonces `(D) = 5 + 1 − 2 = 4.
Así, toda curva de género 2 es isomorfa a una curva de grado 5 en P3 .
(2) En general, el criterio deg(D) ≥ 2g + 1 no es óptimo. Por ejemplo, si
C ⊆ P2 es una curva plana de grado 4, entonces OC (1) es muy amplio
de deg(OC (1)) = 4. Sin embargo, la fórmula de Plücker
(d − 1)(d − 2)
g(Cd ) =
2
implica para d = 4 que g(C) = 3, y luego 2g + 1 = 7 > 4.
Finalmente, terminemos por dar algunas consecuencias geométricas impor-
tantes de lo que hemos discutido en esta sección.
⊗3
y luego L = ωC es un fibrado en rectas muy amplio. Más aún, dado que
RR
`(3KC ) = (6g − 6) + 1 − g = 5g − 5
tenemos que L determina un incrustamiento cerrado
ϕL : C ,−→ P5g−6 ,
cuya imagen Ctri := ϕL (C) es una curva de grado 6g−6 en P5g−6 , que llamamos
usualmente una curva tricanónica. Cabe destacar que
def
P (m) := hCtri (m) = χ(Ctri , OCtri (m)) = χ(C, OC (3mKC ))
RR
= 3m(2g − 2) + 1 − g = (6m − 1)(g − 1).
Esto último es muy importante para construir el espacio de móduli Mg , que
es una variedad singular(4) cuyos puntos parametrizan clases de isomorfismo
de curvas proyectivas suaves irreducibles de género g fijo:
El primer ingrediente clave es la existencia (probada por Grothendieck en
1961) de un esquema de Hilbert H := HilbP (X) que parametriza sub-
variedades Z de X := P5g−6 con polinomio de Hilbert hY = P fijo, y que un
abierto U ⊆ H parametriza las curvas suaves e irreducibles en X. El segundo
ingrediente clave es la Teoría Geométrica de Invariantes (5) , introducida por
Mumford en 1965, que permite resolver subsanar la ambiguedad proveniente
de cambios de coordenadas y construir el cociente Mg := U / PGL5g−5 .
Utilizando estas ideas, Deligne y Mumford construyen en [DM69] una com-
pactificación proyectiva e irreducible Mg del espacio de moduli Mg , y estudian
sus propiedades. Por ejemplo, usando Teoría de la deformación (ver [Har10])
se prueba que
dim[C] (Mg ) = h1 (C, TC ),
⊗2 RR
y por dualidad de Serre se calcula h1 (C, TC ) = h0 (C, ωC ) = 3g − 3. Cabe
señala que el hecho que Mg debiese ser de dimensión 3g − 3 fue algo predicho
por Riemann en 1857. Para más detalles en la construcción de Mg , recomiendo
las notas expositivas [Edi00].
En general, dicha desigualdad puede ser estricta y las curvas para las cuales
se alcanza la igualdad son conocidas como curvas de Hurwitz. El ejemplo
de género más pequeño fue descrito por Klein en 1878 y es la cuártica de
Klein
CK := {[x, y, z] ∈ P2 tal que x3 y + y 3 z + z 3 x = 0},
que verifica Aut(CK ) ∼
= PSL2 (F7 ). Para más detalles, ver [Har77, Ch. IV,
Exercise 2.5].
Comentarios finales
Para finalizar, quisiera mencionar que algunas referencias para leer sobre
tópicos adicionales sobre curvas algebraicas son las siguientes:
(1) Geometría algebraica. Capítulo IV de [Har77].
(2) Geometría analítica. Ver [Mir95].
(3) Geometría aritmética. Ver [Liu02].
Además, una continuación natural de este curso consiste en estudiar su-
perficies algebraicas y variedades de dimensión superior. Para ello, excelentes
introducciones son [Bea96] y [Deb01], respectivamente.
ÍNDICE
[Bae40] Reinhold Baer. Abelian groups that are direct summands of every
containing abelian group. Bull. Amer. Math. Soc., 46:800–806, 1940.
[Bea96] Arnaud Beauville. Complex algebraic surfaces, volume 34 of London
Mathematical Society Student Texts. Cambridge University Press,
Cambridge, second edition, 1996. Translated from the 1978 French
original by R. Barlow, with assistance from N. I. Shepherd-Barron
and M. Reid.
[Deb01] Olivier Debarre. Higher-dimensional algebraic geometry. Universi-
text. Springer-Verlag, New York, 2001.
[DM69] P. Deligne and D. Mumford. The irreducibility of the space of curves
of given genus. Inst. Hautes Études Sci. Publ. Math., (36):75–109,
1969.
[Edi00] Dan Edidin. Notes on the construction of the moduli space of curves.
In Recent progress in intersection theory (Bologna, 1997), Trends
Math., pages 85–113. Birkhäuser Boston, Boston, MA, 2000.
[EH00] David Eisenbud and Joe Harris. The geometry of schemes, volume
197 of Graduate Texts in Mathematics. Springer-Verlag, New York,
2000.
[Eis95] David Eisenbud. Commutative algebra, volume 150 of Graduate
Texts in Mathematics. Springer-Verlag, New York, 1995. With a
view toward algebraic geometry.
[FL85] William Fulton and Serge Lang. Riemann-Roch algebra, volume 277
of Grundlehren der mathematischen Wissenschaften [Fundamental
Principles of Mathematical Sciences]. Springer-Verlag, New York,
1985.
346 BIBLIOGRAFIA