Palacios BJ PDF
Palacios BJ PDF
TESIS
Para optar el Título Profesional de Licenciado en Matemática
AUTOR
Joe Albino PALACIOS BALDEÓN
ASESOR
Lima, Perú
2016
Reconocimiento - No Comercial - Compartir Igual - Sin restricciones adicionales
https://creativecommons.org/licenses/by-nc-sa/4.0/
Usted puede distribuir, remezclar, retocar, y crear a partir del documento original de modo no
comercial, siempre y cuando se dé crédito al autor del documento y se licencien las nuevas
creaciones bajo las mismas condiciones. No se permite aplicar términos legales o medidas
tecnológicas que restrinjan legalmente a otros a hacer cualquier cosa que permita esta licencia.
Referencia bibliográfica
————————————————————
Mg. Alex Molina Sotomayor, UNMSM
Presidente
————————————————————
Mg. Mario Santiago Saldaña, UNMSM
Miembro Asesor
————————————————————
Lic. Marco Rubio Gallarday, UNMSM
Miembro
FICHA CATALOGRÁFICA
Correspondencia de Serre entre Haces Coherentes y Módulos Graduados de Tipo Casi Finito,
(Lima) 2016.
Agradezco al Profesor Mario Santiago Saldaña por haberme iniciado en el área del álgebra en
los cursos de estructuras algebraicas y seminarios. Asimismo agradezco a los Profesores Alex
Molina y Marco Rubio por haber aceptado ser miembros del jurado de esta tesis. Agradezco al
Dr. Fernando Cukierman, Profesor de la Universidad de Buenos Aires, por haberme propuesto
el tema del presente trabajo, por sus valiosas sugerencias, y por sus palabras de aliento y de
motivación. Tengo que agradecer al Profesor Lord Barrera por haberme dado la iniciativa de
iniciar este proyecto de tesis, por su estusiasmo contagiante y por su importante colaboración en
la ejecución de este trabajo. Agradezco a mi compañero Gabriel Muñoz por haber compartido
conmigo varios años de estudio en los cursos universitarios y en el proyecto de tesis. Agradezco
de manera especial a mis padres y familiares que me han ayudado moral y económicamente, sus
apoyos han importantes en la realización de esta tesis. Acabo agradeciendo a mis amigos, entre
entre ellos a Napoleón Caro y Leyter Potenciano; a mis compañeros, profesores y autoridades
de mi facultad; y a amigos de la facultad de matemáticas de la UNI, que de una y otra forma
han aportado en la realización de este trabajo. Este trabajo fué culminado en el año 2009.
v
Resumen
..................................................................................................................................
..................................................................................................................................
vi
Abstract
..................................................................................................................................
This monograph corresponds to the area of algebraic geometry. We shall deal with
an introduction to the theory of sheaves and schemes. Our main objective is to develop
in detail a theorem of J.-P. Serre that establishes the correspondence between coherent
sheaves on projective schemes and graded modules of quasi-finite type.
..................................................................................................................................
vii
Índice
1 Introducción ix
Introducción ix
2 Preliminares 1
2.1 Categorı́as y Funtores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2.2 Aspectos de Álgebra Conmutativa . . . . . . . . . . . . . . . . . . . . . . . 7
2.3 Aspectos Topológicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.4 Variedades y Morfismos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3 Haces y Esquemas 31
3.1 Haces y Morfismos entre Haces . . . . . . . . . . . . . . . . . . . . . . . . 31
3.2 Esquemas y Morfismos entre Esquemas . . . . . . . . . . . . . . . . . . . . 51
3.3 Correspondencia de variedades y esquemas . . . . . . . . . . . . . . . . . . 60
3.4 Subesquemas y Propiedades de Esquemas . . . . . . . . . . . . . . . . . . 67
3.5 Subesquemas Cerrados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
Bibliografı́a 136
viii
Capı́tulo 1
Introducción
ix
x INTRODUCCIÓN
isomorfismo (esto es, a partir de cierto grado las componentes de αM son biyectivas);
y si F es un OX -módulo coherente, existe un isomorfismo de haces βF : Γ∗ (F)∼ → F.
Ademas, αM y βF son funtoriales en M y F respectivamente, pero resulta que los funtores
∼
y Γ∗ no establecen una equivalencia de categorı́a entre las categorı́as mencionadas, ya
que no se tiene en general que αM es un isomorfismo. Sin embargo, si definimos una
relación de equivalencia ≈ en Modgrcf (S), diciendo que M ≈ M ′ si los módulos M y
M ′ son isomorfos partir de un cierto grado, y si consideramos la relación de isomorfismo
∼
= en Coh(X); se cumple que M ≈ M ′ implica M f∼ =M f′ ; por tanto ∼ induce un funtor
[M ] 7→ [M f] de Modgrcf (S)/ ≈ en Coh(X)/ ∼ =. Este funtor es plenamente fiel y
esencialmente sobreyectiva, luego una equivalencia de categorı́as. En este sentido tenemos
esta “correspondencia de Serre entre haces coherentes y módulos graduados de tipo casi
finito” (esta prueba está dada en el Teorema 4.4.32). Un resultado crucial para establecer
este resultado es el teorema de “Finitud de la Clausura Integral” (Teor. 2.2.16), usando
este teorema resulta que Γ∗ (F) es de tipo casi finito y αM es un casi isomorfismo.
La generalización del resultado anterior que vamos a dar después, consiste en probar el
mismo resultado pero con una condición más débil sobre el anillo S0 , reemplazaremos la
condición de k-álgebra finitamente generado por anillo noetheriano finitamente generado.
Para dar esta generalización, usaremos el teorema de “Vanishing de Serre” (Teor. 5.2.3),
con ello probaremos que Γ∗ (F) es de tipo casi finito y αM es un casi isomorfismo.
La “Correspondencia de Serre” mencionada inicialmente es un resultado reformulado,
en el lenguaje de los esquemas, de un resultado que se encuentra en el artı́culo de J.-P.
Serre, “Faisceaux Algébriques Cohérents” (FAC), que está basado en el contexto de las
variedades algebraicas de tipo finito sobre un cuerpo algebraicamente cerrado.
Todo esto comenzó cuando Jean Leray, en los inicios de la segunda guerra mundial,
introdujo el concepto de haz. En ese tiempo Leray estaba interesado en problemas rela-
cionados con topologı́a algebraica y ecuaciones diferenciales parciales. Poco tiempo de-
spués, Leray tuvo algunas conversaciones con Henry Cartan, esto llevó a que el concepto
de haz fuera reformulado y presentado en el Seminario Cartan (1948-1951) realizado en
l’Ecole Normale Supérieure (Francia), en esos años es cuando la teorı́a de haces comienza
con la teorı́a de las funciones de varias variables complejas. Luego J.-P. Serre observó que
la teorı́a de haces y los métodos cohomológicos también podı́an aplicarse en la geometrı́a
algebraica clásica. En el año 1955, J.-P. Serre publicó en “The Annals of Mathematics”,
su artı́culo FAC. Este artı́culo está dividido en 3 capı́tulos: el capı́tulo I está referido a
los haces coherentes y a la cohomologı́a de haces; en el capitulo II, Serre define las var-
iedades algebraicas como un espacio anillado, luego establece una correspondencia entre
haces de módulos sobre una variedad afı́n y módulos finitamente generados; finalmente el
capı́tulo III lo dedica a los haces de módulos sobre la variedad proyectiva PrK , donde K es
un cuerpo algebraicamente cerrado; en este capı́tulo él prueba que si S = K[to , . . . , tr ] y
X = PrK entonces existe una correspondencia entre haces coherentes sobre X y módulos
graduados sobre S que verifica la condición (TF) (al cual nosotros llamamos módulos de
tipo casi finito), de forma semejante a la correspondencia que vamos a presentar en el
contexto de esquemas; él acaba este capı́tulo dando algunas relaciones con los funtores
ExtqS y algunas aplicaciones como la función caracterı́stica y género aritmético sobre una
variedad proyectiva.
Posteriormente A. Grothendieck creó un nuevo tipo de ‘variedad’ mas amplia, al cual
llamó esquema, generando una revolución en la geometrı́a algebraica, muchos resultados
INTRODUCCIÓN xi
de la geometrı́a algebraica desarrollados hasta ese momento (dentro de los cuales los re-
sultados del FAC de Serre) fueron reformulados y generalizados en este nuevo lenguaje. A
partir de los años 1960, Grothendieck con la colaboración de Jean Dieudonné, comenzaron
a publicar los “Élements de Géometrie Algébrique”(EGA), para el “Institut des Hautes
Études Scientifiques”(IHES). Pocos años despues, se presentó la dificultad en la difusión
de esta renovada geometrı́a algebraica, debido a la gran cantidad de información de los
EGA’s, por lo cual muchos matemáticos como R. Hartshorne (quien estudió con J.-P Serre
y Grothendieck), escribieron textos de geometrı́a algebraica basados en los voluminosos
EGA’s (entre ellos Hartshorne [6]), con el fin de que pueda ser usado como un libro de in-
troducción de la geometrı́a algebraica moderna. Como es natural, muchas demostraciones
son expuestas de manera resumidas. Nosotros por el contrario hemos querido exponer con
un poco mas de detalle, sobre todo de las secciones 1,2 y 5 del capı́tulo II de [6].
A continuación resaltamos algunos temas principales de los capı́tulos desarrollados en
este trabajo:
El Capı́tulo 1, es la parte preliminar de este trabajo, luego introduciremos brevemente
algunos conceptos básicos de la teorı́a de categorı́as, luego introduciremos de manera
breve las propiedades de anillos y módulos graduados. En este capı́tulo introduciremos el
concepto de módulo de tipo casi finito (que es la condición (TF) llamada por Serre). A
continuación daremos un repaso de las propiedades topológicas del espectro de un anillo,
y finalmente trataremos brevemente sobre las variedades algebraicas: afines y proyectivas.
El Capı́tulo 2, es dedicado a la teorı́a de haces y esquemas. Aquı́ trataremos sobre
la conexión entre variedades y esquemas mediante un funtor t : Var(k) → Sch(k); luego
daremos algunas propiedades de los subesquemas cerrados.
El Capı́tulo 3, es dedicado a los haces de módulos sobre un esquema. Aquı́ desarrol-
laremos algunas propiedades de un haz casi coherente y coherente sobre un esquema afı́n,
luego establecemos la “correspondencia afı́n de Serre” entre haces coherentes sobre un
esquema afı́n y módulos finitamente generados sobre un anillo noetheriano. Finalmente,
de modo paralelo, desarrollaremos las propiedades de haces coherente sobre un esquema
proyectivo, luego estableceremos la “correspondencia proyectiva de Serre” entre haces co-
herentes sobre un esquema proyectivo y módulos graduados de tipo casi finito finitamente
sobre un anillo graduado de la forma S = S0 [S1 ] donde S0 es un k-álgebra de tipo finito.
El Capı́tulo 4, contiene algunos aspectos de la cohomologı́a de haces coherentes.
Aquı́ daremos la generalización de la “correspondencia de Serre”, en donde requeriremos
que S0 sea un anillo noetheriano en lugar de k-álgebra de tipo finito. Finalmente, en los
comentarios finales trataremos brevemente sobre la caracterı́stica de Euler y polinomio
de Hilbert de un haz coherente sobre un esquema proyectivo, para dar la definición de
genero aritmético de un esquema proyectivo.
Capı́tulo 2
Preliminares
En todo el trabajo supondremos que el lector está familiarizado con temas básicos
de álgebra, topologı́a y análisis; sin embargo detallaremos algunos conceptos que serán
utilizados continuamente.
1
2 1. Preliminares
Ejemplo 2.1.3. La categorı́a Top, donde los objetos son los espacios topológicos, los
morfismos son las aplicaciones continuas, y la composición de morfismos es la composición
usual.
Ejemplo 2.1.4. La categorı́a Var(k) de los variedades algebraicas sobre un cuerpo alge-
braicamente cerrado k .
Ejemplo 2.1.5. La categorı́a Prehac(X) (resp. Hac(X)) de prehaces (resp. haces) de
grupos abelianos sobre un espacio topológico X (ver definición 3.1.5).
Ejemplo 2.1.6. La categorı́a Sch(S) de esquemas sobre un esquema S (ver definición
3.3.1).
Definición 2.1.2. Sea C una categorı́a. Un morfismo ϕ ∈ HomC (A, B) es un monomor-
fismo, si para todo C ∈ Ob(C) y para todo par de morfismos α, β ∈ HomC (C, A), la
igualdad ϕ ◦ α = ϕ ◦ β implica α = β. Un morfismo ψ ∈ HomC (A, B) es un epimorfismo,
si para todo C ∈ Ob(C) y para todo par de morfismos α, β ∈ HomC (B, C), la igualdad
α ◦ ψ = β ◦ ψ implica α = β.
Un morfismo ϕ ∈ HomC (A, B) se llama isomorfismo si existe un morfismo ψ ∈
HomC (B, A) tal que ψ ◦ ϕ = idA y ϕ ◦ ψ = idB . Se dice que A y B son isomorfos si
existe un isomorfismo A → B, en este caso escribimos A ∼
= B.
Definición 2.1.3. Un objeto I de una categorı́a C es llamado inyectivo si dado un
monomorfismo ı : A → B y un morfismo α : A → I, existe un morfismo β : B → I
tal que el siguiente diagrama conmuta
ı
0 /A / B
β
α
I
Diremos que una categorı́a C tiene suficientes inyectivos si para todo A ∈ Ob(C),
existe un monomorfismo A → I, donde I es un objeto inyectivo.
Definición 2.1.4. Sean C y C ′ dos categorı́as. Un funtor covariante F : C → C ′ consiste
de una correspondencia F : Ob(C) → Ob(C ′ ) y de aplicaciones
Cada vez que mencionemos solamente el término funtor, entenderemos que se trata de un
funtor covariante.
Sean C, C ′ , C ′′ tres categorı́as y sean F : C → C ′ , G : C ′ → C ′′ dos funtores. La com-
posición de F con G es el funtor G ◦ F : C → C ′′ definido por (G ◦ F )(A) := G(F (A))
para todo objeto A de C, y (G ◦ F )(f ) := G(F (f )) para todo morfismo f en C. Un funtor
F : C → C se llama funtor identidad de C si F (A) = A para todo objeto A de C y F (f ) = f
para todo morfismo f en C, este funtor es denotado por idC . Un funtor F : C → C ′ es un
isomorfismo de categorı́as si existe un funtor G : C ′ → C tal que G◦F = idC y F ◦G = idC ′ .
F (f ) G(f )
Φ(B)
F (B) / G(B)
es conmutativo. Es decir, G(f ) ◦ Φ(A) = Φ(B) ◦ F (f ). Sean F, G, H tres funtores de C en
C ′ , Φ un morfismo de F en G, Ψ un morfismo de G en H. La composición de Φ con Ψ es
el morfismo Ψ ◦ Φ : F → H definido por (Ψ ◦ Φ)(A) := Ψ(A) ◦ Φ(A) para todo objeto A
de C. Un morfismo Φ : F → F se llama morfismo identidad de F si Φ(A) = idF (A) para
objeto A de C, este es denotado por idF . Un morfismo Φ : F → G es llamado isomorfismo
si existe un morfismo Ψ : G → F tal que Ψ ◦ Φ = idF y Φ ◦ Ψ = idG , equivalentemente, Φ
es un isomorfismo si Φ(A) es un isomorfismo para todo objeto A de C. Si Φ : F → G es
∼
un isomorfismo, denotamos por F − → G para indicar que F y G son isomorfos.
4 1. Preliminares
u(A)
A +3 (G ◦ F )(A)
fi (G◦F )(fi )
B u(B)
+3 (G ◦ F )(B)
donde sabemos que u(A) y u(B) son isomorfismos. Entonces del diagrama sigue que
fi = u(B)−1 ◦ (G ◦ F )(fi ) ◦ u(A), y como (G ◦ F )(f1 ) = (G ◦ F )(f2 ), obtenemos que
f1 = f2 ; ası́, F es fiel. Análogamente podemos deducir que G es fiel. Ahora tomemos un
morfismo f ′ : F (A) → F (B) en C ′ y hacemos f = u(B)−1 ◦ G(f ′ ) ◦ u(A). Afirmamos que
F (f ) = f ′ , en efecto, para el morfismo f tenemos un diagrama conmutativo para el cual
se tiene u(B) ◦ f = (G ◦ F )(f ) ◦ u(A), entonces G(f ′ ) = u(B) ◦ f ◦ u(A)−1 = (G ◦ F )(f ),
y puesto que G es fiel, f ′ = F (f ); ası́ que F es pleno.
Supongamos ahora que F es plenamente fiel y esencialmente sobreyectiva. Definamos
un funtor G como sigue, para cada objeto A′ de C ′ escogemos (por el axioma de elección)
un objeto A de C tal que existe un isomorfismo v(A′ ) : A′ → F (A), definimos entonces
G(A′ ) := A. Sea f ′ ∈ Hom(A′ , B ′ ); desde que F es pleno, para el morfismo v(B ′ ) ◦
1.1 Categorı́as y Funtores 5
f ′ ◦ v(A′ )−1 : F (G(A′ )) → F (G(B ′ )), existe un morfismo f : G(A′ ) → G(B ′ ) tal que
F (f ) = v(B ′ ) ◦ f ′ ◦ v(A′ )−1 , y como F es fiel, f es único, entonces definimos G(f ′ ) := f ,
luego tenemos la ecuación
v(A′ )
A′ +3 F (G(A′ ))
f′ F (G(f ′ ))
B′ +3 F (G(B ′ ))
v(B ′ )
v(A′ )
A′ +3 F (G(A′ ))
f′ F (G(f ′ ))
g ′ ◦f ′ B′ +3 F (G(B ′ )) F (G(g ′ ◦f ′ ))
v(B ′ )
g′ F (G(g ′ ))
C′ +3 F (G(C ′ ))
v(C ′ )
y como v(F (A)) = F (u(A)), v(F (B)) = F (u(B)) y F es fiel, resulta la ecuación G(F (f ))◦
6 1. Preliminares
f G(F (f ))
B u(B)
+3 G(F (B))
{ ΨA,B z
HomC (A, GB) +3 HomC ′ (F A, B)
ΨA′ ,B ′
HomC (A′ , GB ′ ) +3 HomC ′ (F A′ , B ′ )
{ ΨA,B ′ z
HomC (A, GB ′ ) +3 HomC ′ (F A, B ′ )
donde las flechas verticales son las aplicaciones inducidas por f y g de manera natural.
En este caso diremos que (F, G) es un par adjunto de funtores.
Ejemplo 2.1.11. Sea A un anillo y L un A-módulo. Entonces el funtor
Definición
L 2.2.1. Un anillo graduado es un anillo S junto con una descomposición S =
S
d∈Z d de S como suma directa de grupos abelianos Sd con d ∈ Z tal que para todo
d, e ∈ Z, Sd Se ⊆ Sd+e . Un elemento x de Sd es llamado homogéneo o más precisamente
homogéneo de grado d, en este denotamos ∂(x) = d. Luego, cualquier elemento de S
se escribe de manera única Lcomo suma de elementos homogéneos. Un ideal a ⊆ S es
un ideal homogéneo si a = d∈Z (a ∩ Sd ), esto equivale
La decir que a es generado por
elementos homogéneos. Denotaremos por S+ al ideal d≥1 Sd . Un homomorfismo de
anillos graduados ϕ : S → T es un homomorfismo de anillos que preserva grados, es decir
ϕ(Sd ) ⊆ Td para todo d ∈ Z, denotaremos por ϕd : Sd → Td a la restricción de ϕ.
Demostración. Sean a y b ideales homogéneos. Es fácil ver que a+b y ab son homogéneos.
Que a ∩ b es homogéneo sigue directo √ de la definición. √
Ahora consideremos el radical a de un ideal homogéneo a. Sea f ∈ a y sea
f = fs + fs+1 + . . . la descomposición de f es sus componentes homogéneas, donde fs es
la componente inicial de f . Entonces f ρ = fsρ + {términos de grado > sρ} ∈ a para algún
entero ρ. Desde que a es homogéneo, √ sigue que cada componente
√ de f ρ pertenece a a, es
decir, cada componente de f está en a. Por lo tanto, a es un ideal homogéneo. ✷
√
Corolario 2.2.4. Sea S un anillo graduado y a un ideal homogéneo de S, entonces a es
igual a la intersección de todos los primos homogéneos que contienen a a. En particular,
el nilradical de S es igual a la intersección de todos los primos homogéneos de S.
Demostración. Sea b la intersección de todos los primos homogéneos
√ que contienen a a.
Es evidente que b es un ideal homogéneo.
√ Por otro lado, como a es la intersección de
todos los ideales primos de S entonces a ⊆ b. Para la inclusión reciproca, tomemos un
ideal primo p arbitrario y consideremos T = S \ {p} en la Proposición 2.2.3, entonces
existe un ideal primo homogéneo
√ q tal que q ⊇ a y q ∩ T = ∅ o sea q ⊆ p, entonces b ⊆ q,
luego b ⊆ p. Por tanto b ⊆ a. ✷
Lema 2.2.5. Sean S, T anillos graduados, ϕ : S → T un homomorfismo graduado y sea
I un ideal homogéneo de T , se cumple que (ϕ−1 (I))d = ϕ−1
d (Id ) para todo d ∈ Z.
✷
Definición 2.2.2. Si S es un anillo graduado entonces
L un S-módulo graduado es un S-
módulo M junto con una descomposición M = n∈Z M n de M como suma directa de
grupos abelianos Mn tal que Sd Mn ⊆ Md+n para todo d, n ∈ Z. Un elemento de Mn
es llamado elemento homogéneo de grado n, ası́ cualquier elemento de M se escribe de
manera única como suma de elementos homogéneos. Un homomorfismo de S-módulos
graduados es un homomorfismo de S-módulos que preserva grados. Denotaremos a la
categorı́a de los S-módulos graduados por ModGr(S).
L Un submódulo graduado de un módulo graduado M es un submódulo N si N =
n∈Z (N ∩ Mn ), esto equivale a decir que N es generado por elementos homogéneos.
b/t ∈ (T −1 S)m , m, n ∈ Z, entonces la suma directa de los grupos (T −1 S)n con n ∈ Z nos
da un anillo graduado, que denotamos por T −1 S. Similarmente, para n ∈ Z, el conjunto
(T −1 M )n formado por elementos m/s donde m ∈ Mk y s ∈ Tj tal que k − j = n, es un
grupo abeliano. Definiendo (a/s).(m/t) := am/st para a/s ∈ (T −1 S)n y m/t ∈ (T −1 M )m ,
m, n ∈ Z, tenemos que la suma directa de los grupos (T −1 S)n con n ∈ Z es un T −1 S-
módulo graduado, que denotamos por T −1 M .
En particular si p un ideal primo homogéneo de S y si T el conjunto de todos los
elementos homogéneos de S \ p, denotaremos por S(p) al subanillo de (T −1 S)0 . Este es un
anillo local con ideal maximal T −1 p ∩ S(p) . Asimismo, denotaremos por M(p) al subgrupo
(T −1 M )0 , entonces M(p) es un S(p) -módulo. Si ϕ : M → N es un homomorfismo de S-
módulos graduados entonces la aplicación ϕ(p) : M(p) → N(p) dado por m/s 7→ ϕ(m)/s
define un homomorfismo de S(p) -módulos. Esto define un funtor
Lema 2.2.7. Sea S un anillo graduado y sea una sucesión exacta de S-módulos graduados
ϕ ψ
0 → M −→ N −→ L → 0. Entonces para cualquier ideal primo homogéneo p, la sucesión
de S(p) -módulos
ϕ(p) ψ(p)
0 → M(p) −→ N(p) −→ L(p) → 0
es exacta.
Demostración. Se m/s ∈ M(p) tenemos ψ(p) ◦ ϕ(p) (m/s) = ψ ◦ ϕ(m)/s = 0/s = 0 entonces
Im ϕ(p) ⊆ Nuc ψ(p) . Por otro lado, dado n/t ∈ Nuc ψ(p) , tenemos ψ(n)/t = 0 luego existe
un elemento homogéneo λ 6∈ p tal que λψ(n) = 0. Puesto que ψ(λn) = λψ(n) = 0, existe
un elemento homogéneo m ∈ M del mismo grado que λn tal que λn = ϕ(m). Entonces
ϕ(p) (m/λt) = ϕ(m)/λt = λn/λt = n/t. ✷
(a) El ideal S+ es finitamente generado si, y sólo si, S es un S0 -álgebra de tipo finito.
10 1. Preliminares
A continuación vamos a introducir los conceptos de módulo de tipo casi finito y casi
isomorfismo, y vamos a mostrar algunos resultados que serán importantes que en los
capı́tulos posteriores.
Definición 2.2.6. Sea S un anillo graduado
L y sea M un S-módulo graduado. Para d ∈ Z
definimos M {d} como el S-módulo n≥d Mn con graduación M {d}n = Mn+d para n ≥ 0
y M {d}n = 0 para n < 0. Si ϕ : M → N es un homomorfismo de S-módulos gradua-
dos, entonces restringiendo ϕ, conseguimos un homomorfismo de S-módulos graduados
ϕ{d} : M {d} → N {d}. Esto define un funtor −{d} : ModGrad(S) → ModGrad(S).
De hecho este funtor es exacto.
Decimos que dos S-módulos graduados M y N son casi isomorfos, y escribimos M ≈
N , si existe un entero d ≥ 0 tal que M {d} ∼ = N {d} como S-módulos graduados. La
relación ≈ es una relación de equivalencia sobre la colección de S-módulos graduados, y
es evidente que si M, N son isomorfos como S-módulos graduados entonces ellos son casi
isomorfos. Además, M ∼ = 0 si, y sólo, si existe d ≥ 0 tal que Mn = 0 para todo n ≥ d.
Sea ϕ : M → N un homomorfismo de S-módulos graduados, diremos que ϕ es un casi
isomorfismo si ϕ{d} es un isomorfismo en ModGr(S) para algún d ≥ 0. Notemos que si
existe un casi isomorfismo M → N entonces M ≈ N , la recı́proca no necesariamente es
cierto.
Observación 2.2.1. Sea S un anillo graduado y M un S-módulo graduado. Se cumplen
las siguientes igualdades:
(a) M (n)(d) = M (n + d) = M (d)(n) para todo n, d ∈ Z.
(b) M (n){d} = M {n + d} para todo n, d ∈ Z.
(c) M {n}{d} = M {n + d} para todo n ∈ Z y d ≥ 0
La afirmación (c) puede fallar si d < 0.
Lema 2.2.12. Sea S un anillo graduado y sea M un S-módulo graduado de tipo finito. Si
S es un S0 -álgebra de tipo finito, entonces M {d} es un S-módulo graduado de tipo finito
para todo d ≥ 0.
Demostración. Supongamos que S es generado como un S0 -álgebra por elementos ho-
mogéneos fi de grado hi ≥ 1 con 1 ≤ i ≤ r, y M es generado como un S-módulo por
elementos homogéneos xj de grado kj ≥ 1 con 1 ≤ j ≤ s. Fijemos 1 ≤ j ≤ s y considere-
mos una tupla (α1 , . . . , αr ) de enteros αi ≥ 0 tal que kj + Σi αi hi ≥ d y con la condición
que si reemplazamos cualquier αi por otro entero estrictamente menor, la suma es estric-
tamente menor que d. Entonces hay un número finito de tales tuplas ası́ como j varı́a
de 1 a s. Afirmamos que los elementos homogéneos f1α1 · · · frαr xj generan M {d} como
12 1. Preliminares
0 → M ′ → M → M ′′ → 0 .
Entonces, M es de tipo casi finito si, y sólo si, ambos M ′ , M ′′ son de tipo casi finito.
Demostración. Si M es de tipo casi finito, entonces M {d} es de tipo finito para algún
d ≥ 0. Luego, desde que el funtor −{d} es exacto y S es noetheriano, obtenemos que
M ′ {d} y M ′′ {d} son de tipo finito, ası́, M ′ , M ′′ son de tipo casi finito. Recı́procamente,
existen enteros d, e ≥ 0 tal que M ′ {d} y M ′′ {e} son de tipo finito. Por el Lema 2.2.12,
M ′ {d+e} y M ′′ {d+e} son de tipo finito, luego siguiendo el argumento anterior, obtenemos
que M es de tipo casi finito. ✷
1.3 Aspectos Topológicos 13
V (S) := {p ∈ Spec A : S ⊆ p}
Demostración. Las afirmaciones (a) y (c) son consecuencias directas de la definición. Por
otra parte, para verificar la afirmación (b) es suficiente notar que a1 a2 ⊆ a1 ∩ a2 . ✷
Definición 2.3.2. De acuerdo a la proposición anterior, existe una única topologı́a sobre
X tal que la familia de subconjuntos cerrados de X coincide con C. La topologı́a obtenida
es llamada topologı́a espectral o topologı́a de Zariski de X.
Definición 2.3.3. Sea X = Spec A. Si un elemento x ∈ X es considerado como ideal
primo, loTdenotaremos por px . Entonces para un subconjunto Y de X, definimos el ideal
I(Y ) = y∈Y py llamado el ideal de Y . En particular, si x ∈ X tenemos I({x}) = px .
Teorema 2.3.2. Se cumplen las siguientes afirmaciones:
(a) Dados S1 ⊆ S2 subconjuntos de A, V (S2 ) ⊆ V (S1 ).
(b) Para cualquier subconjunto Y de X, Y ⊆ V (I(Y )).
(c) Para cualquier subconjunto Y de X, I(Y ) es un ideal radical.
(d) Si Y1 ⊆ Y2 son subconjuntos de X, entonces I(Y2 ) ⊆ I(Y1 ).
(e) Para cualquier subconjunto S de A, S ⊆ I(V (S)).
1.3 Aspectos Topológicos 15
S T
(f) Si {Yi }i∈I es una familia de subconjuntos de X, entonces I( i∈I Yi ) = i∈I I(Yi ).
Observación 2.3.1. Se sigue del ı́tem (a) de la proposición anterior que Spec A es un
espacio T0 , mientras que del ı́tem (b), se sigue que el conjunto de ideales maximales de
A, denotado por Spm A, es un espacio T1 .
Definición 2.3.4. Para cada elemento a ∈ A, definimos el abierto básico de X = Spec A
como el conjunto D(a) = X \ V (a).
Proposición 2.3.5. Se cumplen las siguientes afirmaciones:
(a) B = {D(a) : a ∈ A} es una base para la topologı́a espectral de X.
(b) D(a) = ∅ si, y sólo si, a es nilpotente.
(c) D(a) ∩ D(b) = D(ab).
(d) D(a) = X si, y sólo si, a es una unidad en A.
(e) D(a) es casi compacto para todo a ∈ A.
(f) Un subconjunto abierto de X es casi compacto si, y sólo si, es unión finita de ele-
mentos de B.
Demostración. (a). Es claro que B está formado por subconjuntos abiertos de X. Sea
ahora U un T subconjunto abierto de X, luegoS X \ G = V (a) para S algún ideal a de A. Ası́
que V (a) = a∈a V (a). Por lo tanto, U = a∈a (X \ V (a)) = a∈a D(a).
Las afirmaciones (b), (c) y (d) son inmediatas a partir de los corolarios anteriores.
(e). Para cada elemento a ∈ A, es suficiente mostrar que todo cubrimiento de
D(a) por Sconjuntos abiertos D(ai ) tiene un subcubrimiento finito. Supongamos que
D(a) ⊆ T i∈I D(ai ). Sea a el ideal de A√generado por los elementos ai . Entonces
V (a) ⊇ i∈I V (aiP) = V (a); de aquı́, a ∈ a, es decir, an ∈ a para algún entero pos-
itivo n. Sea an = ri=1 αi ai . Se tiene que an ∈ ha1 , . . . , an i = b; de donde,
r
\
n
V (a) = V (a ) ⊇ V (b) = V (ai ).
i=1
Sr
Tomando complemento, obtenemos D(a) ⊆ i=1 D(ai ).
(f ). Sea U un subconjunto abiertoSy compacto de X. Tenemos que U = X \ V (a)
para algún ideal a de A. Ası́ que, U = a∈a (X \ V (a)), y como U es compacto, entonces
n
[ n
[
U= (X \ V (ai )) = D(ai ).
i=1 i=1
S
Recı́procamente, sea U = ni=1 D(ai ). Desde que cada D(ai ) es compacto, entonces U es
compacto, ya que es unión finita de conjuntos compactos. ✷
Lema 2.3.10. Sea S un anillo graduado. Entonces, Proj S = ∅ si, y sólo si, cada elemento
de S+ es nilpotente.
Demostración. Si cada elemento de S+ es nilpotente entonces cada ideal primo homogéneo
contiene a S+ ası́ Proj S = ∅. Recı́procamente, si Proj S = ∅, entonces cada primo
homogéneo de S contiene a S+ y por el Corolario 2.2.4, S+ está contenido en el nilradical
de S, ası́ cada elemento de S+ es nilpotente.
✷
Definición 2.3.7. Sea S un anillo graduado y M un S-módulo graduado. Llamaremos
soporte de M al conjunto
Si a es el ideal de An generado por T , es claro que Z(a) = Z(T ); además, desde que
An es un anillo noetheriano, el ideal a tiene un número finito de generadores f1 , . . . , fr .
Ası́, Z(T ) = Z({f1 , . . . , fr }) o denotado simplemente como Z(T ) = Z(f1 , . . . , fr ). Un
subconjunto Y de An es llamado conjunto algebraico si existe un subconjunto T de An
24 1. Preliminares
Demostración. Ver Zariski, Samuel [16], volumen II, cap. VII, Teor. 14, pag. 164. ✷
Definición 2.4.14. Sea U un subconjunto abierto no vacı́o de una variedad afı́n Y . Una
función ϕ : U → k es regular en el punto p ∈ U si existen funciones f, g ∈ A(Y ), tal que
g es no nulo, p ∈ Ug ⊆ U y ϕ = f /g en Ug , es decir, ϕ(p) = f (p)/g(p) para todo p ∈ Ug .
Decimos que ϕ es regular en U si es regular en todo punto de U .
Sea U un subconjunto abierto no vacı́o de una variedad proyectiva Y . Una función
ϕ : U → k es regular en el punto p ∈ U si existen funciones f, g ∈ S(Y ) homogéneas del
mismo grado, tal que g es no nulo, p ∈ Ug ⊆ U y ϕ = f /g en Ug , es decir, ϕ(p) = f (p)/g(p)
para todo p ∈ Ug . Decimos que ϕ es regular en U si es regular en todo punto de U . Para
una variedad U , denotamos por O(U ) al conjunto de funciones regulares en U .
S en U . Para cada p ∈ U ,
Observación 2.4.4. Sea U una variedad y ϕ una función regular
existe Ug ⊆ U tal que ϕ = f /g en Ug ; de esta manera U = p∈U Ugp , y desde que U es
compacto, podemos escribir U = Ug1 ∪ . . . ∪ Ugn .
(a) ϕ es regular en p.
(c). Sea p ∈ U y veamos que ϕ(p) = ψ(p). Por hipótesis existe i tal que p ∈ Ui y
(ϕUi )(p) = (ψ Ui )(p); se sigue que
ϕ(p) = (ϕUi )(p) = (ψ Ui )(p) = ψ(p)
Finalmente, si las funciones ϕi ∈ O(Ui ) son tales que ϕi Ui ∩Uj = ϕj Ui ∩Uj , definiendo
ϕ : U → k por ϕ = ϕi si p ∈ Ui ; se sigue que ϕ es regular en U . ✷
Teorema 2.4.9. Sea g ∈ A(Y ) (en el caso proyectivo g ∈ S(Y ) homogéneo de grado
positivo). Toda función regular ϕ ∈ O(Ug ) se puede expresar como ϕ = f /g s en Ug ,
donde s ∈ Z+ y f ∈ A(Y ) (en el caso proyectivo f ∈ S(Y ) homogéneo con ∂(f ) = s∂(g)).
Demostración. Siguiendo la Observación 2.4.4 hagamos Ug = Ug1 ∪ . . . ∪ Ugn . Para cada
i = 1, . . . , n tenemos que ϕ = fi /gi en Ugi , donde fi , gi ∈ A(Y ) (en el caso proyectivo
fi , gi ∈ S(Y ) son homogéneos del mismo grado). Luego
fi gj /gi gj = fj gi /gj gi en Ugi gj .
1.2 Variedades y Morfismos 29
De donde,
Por lo tanto, ϕ = f /g s en Ug . ✷
Corolario 2.4.10. Sea Y una variedad afı́n o proyectiva. Se cumplen:
(a) En el caso afı́n, O(Ug ) ∼
= A(Y )g .
(b) En el caso proyectivo, O(Ug ) ∼
= (S(Y )g )0 .
Demostración. Consecuencia directa del teorema anterior. ✷
Corolario 2.4.11. Si Y es un conjunto algebraico afı́n, entonces
O(Y ) ∼
= A(Y ).
Demostración. Resulta inmediato al tomar Y = U1 en el ı́tem (a) del corolario anterior.
✷
Definición 2.4.15. Sea Y una variedad y sea Z un subespacio irreducible de Y . Sea
F(Z) la colección de subconjuntos abiertos U de Y tal que U ∩ Z 6= ∅. Si U1 , U2 son
elementos de F(Z), la irreducibilidad de Z implica que U1 ∩ U2 es también elemento de
F. Consideremos la familia de pares (U, ϕ), donde U ∈ F, ϕ ∈ O(U ) y en esta colección
definimos
la relación (U1 , ϕ1 ) ∼ (U1 , ϕ1 ) si existe U ∈ F(Z) con U ⊆ U1 ∩ U2 tal que
ϕ1 U = ϕ1 U . Es fácil verificar que esta relación es de equivalencia. El conjunto de estas
clases de equivalencia es denotado por OZ,Y y un elemento hU, ϕi ∈ OZ,Y es llamado
función regular germen en Z.
Definiendo en OZ,Y las operaciones de adición y multiplicación como
Haces y Esquemas
31
32 2. Haces y Esquemas
Observación
3.1.1. El elemento s de la condición (ii) es único. En efecto,
sea s′ ∈ F(U )
′ ′
tal que s Ui = si para todo i; luego para cada i ∈ I se cumple (s − s ) Ui = 0; se sigue de
(i) que s = s′ . Cuando se tiene la primera igualdad en la condición (ii), también diremos
que los elementos si y sj son compatibles.
Ejemplo 3.1.1. Sea X una variedad afı́n o proyectiva sobre un cuerpo algebraicamente
cerrado k. Dado un conjunto abierto U ⊆ X, sea O(U ) el k-álgebra de funciones regulares
de U en k y para cada abierto V ⊆ U sea ρU V : O(U ) → O(V ) la restricción natural de
aplicaciones. Entonces O es un haz de k-álgebras en X, llamamos a O el haz de funciones
regulares en X (ver Proposición 2.4.8)
Ejemplo 3.1.2. (Un prehaz que no es haz). Consideremos C con la topologı́a usual y
para cada abierto U de C, sea
S de C-
junto con las restricciones usuales ρU V : F(U ) → F(V ). Es claro que F es un prehaz
álgebras. Para cada entero positivo n, sea Un = {z ∈ C | |z| < n}, entonces C = n≥1 Un
y las funciones f n : Un → C definidas
por fn (z) = z son tales que fn ∈ F(Un ). También
tenemos que fn Um ∩Un = fm Um ∩Un ; pero el teorema de Liouville nos dice que no existe
f ∈ F(C) tal que f Un = fn para todo n ≥ 1. Por tanto, F es un prehaz que no es un
haz.
Ejemplo 3.1.3. Sean F y G prehaces de grupos sobre un espacio topológico X, es fácil
ver que la correspondencia U 7→ F(U ) ⊗Z G(U ) es un prehaz de grupos llamado prehaz
producto tensorial de F y G. Si F y G son haces, en general el prehaz producto tensorial
de F y G no es un haz(ver Litaca [8], pag. 37).
Ejemplo 3.1.4. Sea L{Fi }i∈I una familia de haces sobre X, el prehaz suma directa es
definido como U 7→ i∈I Fi (U ). Si I es un conjunto finito se prueba facilmente que este
prehaz es un haz. Sin embargo cuando I no es finito, este prehaz no es en general un haz.
Por ejemplo, si tomamos X = Z con la topologı́a discreta y considaremos el haz F de
anillos sobre X, definido en cada subconjunto U ⊆ Z, por
El elemento neutro en este grupo es el germen hU, 0i, donde 0 denota el elemento neutro
de F(U ); también el inverso de hU, si es el germen hU, −si.
Ejemplo 3.1.5. En el caso de una variedad X y su haz de funciones regulares O, el tallo
Op (X) = Op en p, es precisamente el anillo local de X en el punto p (ver Observación
2.4.6).
Observación 3.1.2. Sea F un haz sobre X y sea U un abierto de X. Si s ∈ F(U ) es
una sección tal que sp = 0 para todo p ∈ U , entonces s = 0. En efecto, si hU, si = sp = 0
para todo p ∈ U , entonces podemos conseguir un cubrimiento abierto de U formado por
entornos V ⊆ U de p tal que s|V = 0, luego por la propiedad de haz, s = 0.
Observación 3.1.3. Sea F un haz sobre X y sea U un abierto de X. Si p ∈ U , entonces
(F|U )p ∼
= Fp . En efecto, el homomorfismo (F|U )p → Fp dado por hV, si 7→ hV, si donde
V ⊆ U , es un isomomorfismo con inversa hW, si 7→ hW ∩ U, si.
Definición 3.1.4. El soporte de un haz F sobre un espacio topológico X es el conjunto
de puntos p ∈ X tal que Fp 6= 0. El soporte de F será denotado por Sop(F).
Lema 3.1.6. Sea F un haz sobre X y sea U un subconjunto abierto de X. Entonces
Sop(F|U ) = Sop(F) ∩ U .
Demostración. Se sigue de inmediato de la definición de soporte de haz y del isomorfismo
(F|U )p ∼
= Fp . ✷
Definición 3.1.5. Sean F y G prehaces en X. Un morfismo de prehaces ϕ : F → G
es una familia de homomorfismos de grupos abelianos ϕ(U ) : F(U ) → G(U ), donde U
es un subconjunto abierto de X, tal que estos homomorfismos son compatibles con las
restricciones de F y G; es decir, siempre que tenemos V ⊆ U , el siguiente diagrama es
conmutativo
ϕ(U )
F(U ) / G(U )
ρU V ρ′U V
ϕ(V )
F(V ) / G(V )
siendo ρ y ρ′ las restricciones en F y G, respectivamente. Un morfismo entre los haces F y
G es un morfismo de prehaces ϕ : F → G. Decimos que un morfismo ϕ es un isomorfismo,
si ϕ(U ) : F(U ) → G(U ) es un isomorfismo para cada abierto U de X. Si ϕ : F → G y
34 2. Haces y Esquemas
el cual implica hU, ϕ(U )(s)i = hV, ϕ(V )(t)i. Para mostrar que ϕp es un homomorfismo de
grupos, tomemos hU, si, hV, ti ∈ Fp , luego
ϕp (hU, si + hV, ti) = ϕp (U ∩ V, sU ∩V + tU ∩V )
= U ∩ V, ϕ(U ∩ V )(sU ∩V + tU ∩V )
= U ∩ V, ϕ(U ∩ V )(sU ∩V ) + ϕ(U ∩ V )(tU ∩V )
= U ∩ V, ϕ(U )(s)U ∩V + ϕ(V )(t)U ∩V
= U, ϕ(U )(s) + V, ϕ(V )(t)
= ϕp hU, si + ϕp hV, ti.
Finalmente que los abiertos Vp cubren a U , las secciones t, ϕ(U )(s) están en G(U )
tenemos
y ϕ(U )(s) = t para todo p ∈ U . Ahora bien, ya que G es un haz, ϕ(U )(s) = t, esto
Vp Vp
muestra que ϕ(U ) es sobreyectiva, por consiguiente, ϕ(U ) es un isomorfismo, y desde que
U es arbitrario, se sigue que ϕ es un isomorfismo. ✷
A continuación trataremos sobre los B-prehaces y B-haces, veremos que ellos se ex-
tienden de manera natural a un prehaz y haz respectivamente.
Definición 3.1.6. Sea X un espacio topológico y B una base de abiertos de X, considere-
mos la categorı́a B cuyos objetos son los elementos de B y los morfismos son las inclusiones
V ֒→ U . Un B-prehaz F de grupos abelianos sobre X es un funtor contravariante de B
en la categorı́a de grupos abelianos. Esto es, para cada par de abiertos básicos V ⊆ U , se
tiene un homomorfismo ρU V : F(U ) → F(V ) satisfaciendo las siguientes condiciones:
36 2. Haces y Esquemas
ρU V ρ′U V
ϕ(V )
F(V ) / G(V )
F ′ (U ) = lim
← F(V )
− V ⊆U, V ∈B Q
el conjunto de familias (fV )V ⊆U,V ∈B ∈ V ⊆U,V ∈B F(V ) tal
=
que ρV W (fV ) = fW siempre que W ⊆ V ⊆ U con V, W ∈ B
i
todo i, tomemos un abierto básico V ⊆ Ui , desde que ρV W (fV ) = fW = ρV W (fVi ) para
todo abierto básico W con W ⊆ V ∩ Ui , se tiene fV = fVi , esto implica que sUi = si . De
esta manera F ′ es un haz. ✷
por tanto, ϕ′ (U ′ ) ◦ ρ′U U ′ = ρeU U ′ ◦ ϕ′ (U ), esto prueba que ϕ′ es un morfismo. Por otro lado,
38 2. Haces y Esquemas
ϕ(U )
F(U ) / G(U )
donde las flechas verticales son isomorfismos (definidos en la Proposición 3.1.8), de esta
manera el homomorfismo ϕ′ (U ) se identifica con ϕ(U ).
Supongamos que ψ : G → H es otro morfismo de B-prehaces. Para cada abierto U de
X, tenemos
(ψ ◦ ϕ)′ (U ) (fV )V ⊆U = ψ(U ) ◦ ϕ(U )(fV ) V ⊆U = ψ ′ (U ) (ϕ(U )(fV ))V ⊆U
= ψ ′ (U ) ◦ ϕ′ (U ) (fV )V ⊆U .
Luego (ψ ◦ ϕ)′ (U ) = ψ ′ (U ) ◦ ϕ′ (U
) y por tanto (ψ ◦ϕ)′ = ψ ′ ◦ ϕ′ . También se tiene
(idF )′ (U ) (fV )V ⊆U = (fV )V ⊆U ) = idF ′ (U ) (fV )V ⊆U que implica que (idF )′ = idF ′ , y
la demostración termina. ✷
Observación 3.1.5. Los B-prehaces (resp. los B-prehaces) forman una categorı́a que
lo denotamos por BPreh (resp. BHac). La Proposición 3.1.9 nos dice que la correspon-
dencia F 7→ F ′ es un funtor covariante de BPreh en Preh. Asimismo, si F ∈ BHac la
correspondencia F 7→ F ′ es un funtor covariante de BHac en Hac.
Proposición 3.1.10. Sea F es un haz sobre X y consideremos el haz F ′ que resulta de
extender el B-haz natural V 7→ F(V ) con V ∈ B. Entonces F ′ isomorfo a F como haces.
Demostración. Dado un abierto U de X, definimos el homomorfismo ϕ(U ) : F(U ) →
F ′ (U ) dado por f 7→ (f V )V ⊆U, V ∈B . A continuación definiremos un homomorfismo
ψ(U ) : F ′ (U ) → F(U ) inverso de ϕ(U ). Para ello consideremos primeramente un ele-
mento (fV )V ⊆U, V ∈B de F ′ (U ) y veamos que los elementos fV son compatibles. En efecto,
dados V, V ′ ∈ B tal que V, V ′ ⊆ U , y sea W un abierto básico tal que W ⊆ V ∩ V ′ ,
entonces
(fV V ∩V ′ )W = fV W = fW = fV ′ W = (fV ′ V ∩V ′ )W ,
desde que F es haz y los abiertos básicos W cubren a V ∩ V ′ tenemos fV V ∩V ′ = fV ′ V ∩V ′ ,
luego existe una única sección f ∈ F(U ) tal que f V = fV para todo abierto básico
V ⊆ U . Definimos ψ(U ) (fV )V ⊆U, V ∈B := f . Para mostrar que ψ(U ) es homomorfismo,
damos dos elementos (fV )V ⊆U , (gV )V ⊆U de F ′ (U ) y hacemos
f = ψ(U )((fV )V ⊆U ), g = ψ(U )((gV )V ⊆U ) y h = ψ(U ) (fV )V ⊆U + (gV )V ⊆U .
Para cualquier abierto básico V ⊆ U , tenemos
hV = fV + gV = f V + g V = (f + g)V ,
y como F es haz tenemos que h = f + g; de esta manera ψ(U ) es homomorfismo.
Veamos ahora que ψ(U ) es el inverso de ϕ(U ), sea f ∈ F(U ), tenemos ψ(U ) ◦ ϕ(U )(f ) =
2.1 Haces y Morfismos entre Haces 39
ψ(U ) (f V V ⊆U ), por otro lado hacemos g = ψ(U )((f V )V ⊆U ), entonces por definición
g V = f V para cada abierto básico V ⊆ U , y como F es haz, g = f . Por otra parte, si
(fV )V ⊆U ∈ F ′ (U ) y f = ψ(U )((fV )V ⊆U ), tenemos ϕ(U ) ◦ ψ(U )((fV )V ⊆U ) = ϕ(U )(f ) =
(f V )V ⊆U , donde por definición f V = fV . De esta manera ψ(U ) y ϕ(U ) son inversos, y
F ′ (U ) se identifica con F(U ).
Finalmente, para dos abiertos U ⊆ V de X, tenemos el siguiente diagrama conmutativo
ϕ(U )
F(U ) / F ′ (U )
ϕ(V )
F(V ) / F ′ (V )
donde las flechas verticales son las restricciones correspondientes, de esta manera ϕ y ψ
son morfismos inversos, por tanto F ′ ∼= F. ✷
Observación 3.1.6. Los resultados anteriores también son válidos cuando los B-prehaces,
B-haces, prehaces y los haces tienen valores en la categorı́a de los anillos.
Definición 3.1.7. Sea ϕ : F → G un morfismo de prehaces sobre X. Definimos el prehaz
núcleo de ϕ como U 7→ Nuc ϕ(U ). También definimos el prehaz imagen de ϕ mediante
U 7→ Im ϕ(U ).
Proposición 3.1.11. Si ϕ : F → G es un morfismo de haces sobre X, entonces el prehaz
núcleo de ϕ es un haz.
Demostración. Fijemos un abierto U y sea V un abierto de U . Tomemos el diagrama
conmutativo
ϕ(U )
Nuc(ϕ(U )) / F(U ) / G(U )
ρeU V ρU V ρ′U V
ϕ(U )
Nuc(ϕ(V ))
/ F(V ) / G(V )
Desde que el cuadrado de la derecha es conmutativo, la imagen de ρU V restricto a
Nuc(ϕ(U )) está contenido en Nuc(ϕ(V )); ası́, de esta manera denotamos ρeU V = ρU V Nuc(ϕ(U )) .
A partir de la definición, es claro que Nuc(ϕ)(∅) = Nuc(ϕ(∅)) = 0 y ρeU U = ρU U Nuc(ϕ(U )) =
idF (U ) Nuc(ϕ(U )) = idNuc(ϕ(U )) ; por otra parte, dados W ⊆ V ⊆ U y s ∈ Nuc(ϕ(U )) se tiene
para todo i ∈ I. Por otro lado, s ∈ Nuc(ϕ(U )) si, y sólo si, ϕ(U )(s) = 0, entonces veamos
que ϕ(U )(s) = 0; en efecto,
ϕ(U )(s)Vi = ϕ(Vi )(sVi ) = ϕ(Vi )(si ) = 0 .
Pero ϕ(U )(s) ∈ G(U ) y G es un haz, entonces ϕ(U )(s) = 0, o sea, s ∈ Nuc(ϕ(U )). ✷
Proposición 3.1.12 (Propiedad Universal de la Hacificación). Dado un prehaz F en X,
existe un haz F + y un morfismo θ : F → F + con la siguiente propiedad universal: para
cualquier haz G y cualquier morfismo ϕ : F → G, existe un único morfismo ψ : F + → G
tal que ϕ = ψ ◦ θ. Además, el par (F + , θ) es único salvo isomorfismo. F + es llamado haz
asociado al prehaz F.
Demostración.
F Para cada abierto U de X, definimos F + (U ) como el conjunto de funciones
f : U → p ∈U Fp que satisfacen las siguientes propiedades:
Es inmediato verificar que f + g satisface las condiciones anteriores (i) y (ii), y con esta
operación F + (U ) es un grupo abeliano, donde el elemento neutro es la función nula y el
inverso aditivo de f es la función −f , definido por (−f )(p) := −f (p) para todo p ∈ U .
Luego, es fácil comprobar que con la restricción usual de función, F + es un haz de grupos
abelianos.
+
F Dado un abierto U de X, cada elemento s ∈ F(U ) induce una función s : U →
p ∈U Fp dada por p 7→ sp , esta función satisface trivialmente las condiciones (i) y (ii), ası́
s ∈ F + (U ). Luego tenemos una aplicación θ(U ) : F(U ) → F + (U ) dada por s 7→ s+ , esta
+
(s|V )+ = s+ |V . (3.1.1)
Esto implica que el siguiente diagrama
θ(U )
F(U ) / F + (U )
θ(V )
F(V ) / F + (V )
ψ
ϕ
G
Dado un abierto U de X y f ∈ F + (U ). Por definición de F + , existe un cubrimiento
abierto {Ui }i∈I de U y existen si ∈ F(Ui ) tal que f |Ui = s+ i para todo i ∈ I. Sea
ti = ϕ(Ui )(si ) ∈ G(Ui ) y veamos que ti |Ui ∩Uj = tj |Ui ∩Uj en G(Ui ∩ Uj ). En efecto, como
s+ +
i |Ui ∩Uj = f |Ui ∩Uj = sj |Ui ∩Uj , entonces para p ∈ Ui ∩ Uj tenemos
si |Ui ∩Uj p = s+ +
i |Ui ∩Uj (p) = sj |Ui ∩Uj (p) = sj |Ui ∩Uj p .
t|Wijk = ϕ(Ui )(si )|Wijk = ϕ(Wijk )(si |Wijk ) = ϕ(Wijk )(rj |Wijk ) = ϕ(Vj )(rj )|Wijk
= t′ |Wijk .
Esto nos permite definir ψ(U )(f ) := t. Veamos que ψ(U ) es un homomorfismo de grupos,
sean f, g ∈ F + (U ), por definición de F + y por la ecuación (3.1.1), existe un cubrimiento
{Ui }i∈I de U y existen elementos si , ri ∈ F(Ui ) tal que f |Ui = s+ +
i y g|Ui = ri para todo
+
i ∈ I. Entonces (f + g)|Ui = (si + ri ) , y luego
ψ(U )(f + g)|Ui = ϕ(Ui )(si + ri ) = ϕ(Ui )(si ) + ϕ(Ui )(ri )
= ψ(U )(f )|Ui + ψ(U )(g)|Ui = ψ(U )(f ) + ψ(U )(g)|Ui .
Ası́ ψ(U )(f + g)|Ui = ψ(U )(f ) + ψ(U )(g)|Ui para todo i ∈ I, y por tanto ψ(U )(f +
g) = ψ(U )(f ) + ψ(U )(g). Por otro lado, si V es un subconjunto abierto de U , tenemos
f |V ∈ F + (V ) y
(f |V )|V ∩Ui = f |V ∩Ui = (f |Ui )|V ∩Ui = (s+ +
i )|V ∩Ui = (si |V ∩Ui ) ,
42 2. Haces y Esquemas
entonces por definición ψ(V )(f |V )|V ∩Ui = ϕ(V ∩ Ui )(si |V ∩Ui ) y este último es igual a
ϕ(Ui )(si )|V ∩Ui = ψ(U )(f )|V ∩Ui . Esto implica que el siguiente diagrama
ψ(U )
F + (U ) / G(U )
ψ(V )
F + (V ) / G(V )
de donde ψ ′ (U )(f ) = ψ(U )(f ). Finalmente la unicidad salvo isomorfismos del par (F + , θ)
es consecuencia de la propiedad universal. ✷
Observación 3.1.7. La proposición también es válida cuando F es un prehaz de anillos,
en este caso resulta naturalmente que el haz asociado F + de F es también un haz de
anillos.
Corolario 3.1.13. Dado un prehaz F en X y un punto p ∈ X, entonces Fp+ ∼
= Fp .
+ ∼
Consecuentemente, si F es un haz, entonces F = F.
Demostración. Consideremos el morfismo θ : F → F + de la Proposición 3.1.12 y veamos
que para p ∈ X, el homomorfismo θp : Fp → Fp+ dado por hU, si 7→ hU, s+ i es un
isomorfismo. Si hU, s+ i = 0 entonces existe un entorno abierto V ⊆ U de p tal que
S + |V = 0. Como p ∈ V , tenemos hU, si = sp = s+ (p) = 0, esto implica la inyectivi-
dad de θp . Por otro lado, dado hU, f i ∈ Fp+ , como f ∈ F + , existe un entorno abierto
V ⊆ U de p tal que f (q) = sq para todo q ∈ V , luego f |V = s+ |V = (s|V )+ , entonces
hV, s|V i 7→ hV, (s|V )+ i = hV, f |V i = hU, f i, de esta manera θp es sobreyectiva.
✷
Observación 3.1.8. Sea X un espacio topológico, sea ϕ : F → G un morfismo de pre-
haces, entonces por la Proposición 3.1.12, existe un único morfismo ϕ+ : F + → G + tal
que el diagrama
ϕ
F /G
θ θ′
ϕ+
F+ / G+
2.1 Haces y Morfismos entre Haces 43
θ θ′ θ ′′
ϕ+
ψ+
F+ / G+ / H+
y por la Proposición 3.1.12, tenemos (ψ ◦ ϕ)+ = ψ + ◦ ϕ+ , por otro lado como el morfismo
identidad idF + : F + → F + hace conmutar al diagrama
idF
F / F
θ θ
F+ / F+
entonces (idF )+ = idF + .
Corolario 3.1.14. Sea i el funtor inclusión de haces a prehaces sobre X. Entonces
HomX (F, i(G)) ∼= HomX (F + , G) para todo prehaz F y todo haz G. Por tanto, el funtor
hacificación + es adjunto a izquierda de i.
Demostración. Dado un morfismo de prehaces ϕ : F → G donde G es un haz, la propiedad
universal de hacificación nos da un único morfismo ϕ′ : F + → G. Luego, como i(G) = G,
la correspondencia ϕ → ϕ′ nos da una aplicación HomX (F, i(G)) → HomX (F + , G). Por
otro lado, si ψ : F + → G es un morfismo de haces, y θ : F → F + es el morfismo natural,
entonces la correspondencia ψ 7→ ψ ◦ θ nos da la aplicación inversa, que es inmediato
verificarlo. ✷
Lema 3.1.15. Sean F un haz de grupos sobre X, {Ui }i∈I un cubrimiento de un abierto de
U de X, G un grupo abeliano y sea {αi : G → F(Ui )}i∈I una familia de homomorfismos
tal que αi (f )|Ui ∩Uj = αj (f )|Ui ∩Uj para todo f ∈ G y para todo i, j ∈ I. Entonces existe un
único homomorfismo de grupos α : G → F(U ) tal que α(f )|Ui = αi (f ) para todo f ∈ G y
para todo i ∈ I.
Demostración. Puesto que F es haz y para cada f ∈ G los elementos αi (f ) ∈ F(Ui ) son
compatibles, existe una única sección α(f ) ∈ F(U ) tal que α(f )|Ui = αi (f ) para todo
i ∈ I. Esto define una aplicación α : G → F(U ), que es un homomorfismo, pues,
α(f + g)|Ui = αi (f + g) = αi (f ) + αi (g) = α(f )|Ui + α(g)|Ui = (α(f ) + α(g))|Ui ,
y como F es un haz tenemos que α(f + g) = α(f ) + α(g). De esta manera tenemos un
homomorfismo de grupos (o de anillos). Supongamos ahora que existe otro homomorfismo
44 2. Haces y Esquemas
β : G → F(U ) tal que β(f )|Ui = αi (f ) para todo i ∈ I, entonces tenemos β(f )|Ui =
α(f )|Ui , luego β(f ) = α(f ) y se sigue la unicidad de α. Debemos notar también que
esta observación es válida en la categorı́a de anillos, es decir, si F es un haz de anillos,
G un anillo, y los homomorfismos αi son homomorfismo de anillos, entonces α es un
homomorfismo de anillos. ✷
ψ
Θ
F+
es conmutativo. ✷
(b) El morfismo ϕ es inyectivo (resp. sobreyectivo) si, y sólo si, la aplicación inducida
en los tallos ϕp es inyectiva (resp. sobreyectiva) para todo p ∈ X.
ϕi−1 ϕi
(c) La sucesión de haces y morfismos · · · → F i−1 −→ F i −→ F i+1 → · · · es exacta
si, y sólo si, para cada p ∈ X la correspondiente sucesión de tallos es exacta como
sucesión de grupos abelianos.
Demostración. (a). Veamos la primera igualdad. Si hU, si ∈ (Nuc ϕ)p , entonces ϕ(U )(s) =
0, luego ϕp hU, si = hU, ϕ(U )(s)i = hU, 0i, lo que nos da hU, ϕi ∈ Nuc(ϕp ). Recı́procamente,
dado hU, si ∈ Nuc(ϕp ), se tiene que hU, ϕ(U )(s)i
= ϕp hU, si = hX, 0i;
ası́ que existe un
abierto V ⊆ U tal que ϕ(V )(sV ) = ϕ(U )(s)V = 0, entonces t = sV ∈ Nuc(ϕ(V )), de
donde se sigue que hU, si = hV, ti ∈ (Nuc ϕ)p .
Veamos la segunda igualdad. Sea hV, ti ∈ Im(ϕp ), entonces existe hU, si ∈ Fp tal que
hU, ϕ(U )(s)i = ϕhU,si = hV, ti, de aquı́ obtenemos
un abierto W ⊆ U ∩ V conteniendo
a p, tal que ϕ(W )(sW ) = ϕ(U )(s)W = tW ∈ Im(ϕ(W )); por tanto hV, ti = hW, tW i ∈
(im ϕ)p = (Im ϕ)p . Recı́procamente, dado hV, ti ∈ (Im ϕ)p = (im ϕ)p , tenemos que t ∈
Im(ϕ(W )) luego existe s ∈ F(V ) tal que ϕ(V )(s) = t. Entonces ϕp hV, si = hV, ϕ(V )(s)i =
hV, ti, por tanto hV, ti ∈ Im(ϕp )
46 2. Haces y Esquemas
Proposición 3.1.23 (El haz de morfismos locales). Sean F y G haces de grupos abelianos
en X. Para un conjunto abierto U de X, el conjunto de morfismos de haces restrictos
Hom(F|U , G|U ) tiene estructura de grupo abeliano. También, la correspondencia U 7→
Hom(F|U , G|U ) es un haz.
Demostración. Para cada abierto U , denotemos H(U ) = Hom(F|U , G|U ). Dados f, g ∈
H(U ), para cada abierto V ⊆ U de X y s ∈ F(V ), definimos (f + g)(V )(s) = f (V )(s) +
g(V )(s). Se comprueba inmediatamente que f + g es un morfismo y con esta operación
H(U ) es un grupo abeliano. El elemento neutro de H(U ) es el morfismo θ que está
defindo como θ(V )(s) = 0 para todo abierto V ⊆ U y s ∈ F(V ) y si f ∈ H(U ) el inverso
aditivo de f es el morfismo −f definido como (−f )(V )(s) = −f (V )(s). Por otro lado
para una inclusión V ⊆ U de abiertos de X, definimos la restricción H(U ) → H(V ) dado
por f 7→ f |V donde f |V (W ) = f (W ) para todo abierto W ⊆ V , luego es inmediato
comprobar que H es un prehaz. A continuación veamos que H es un haz . Dado un
48 2. Haces y Esquemas
cubrimiento {Ui }i∈I de U y dado f ∈ H(U ) tal que f |Ui = 0. Ahora, tomemos un abierto
V ⊆ U , una sección s ∈ F(V ) y denotemos Vi = Ui ∩ V para cada i. Luego, tenemos
f (V )(s)|Vi = f (Vi )(s|Vi ) = f |Ui (Vi )(s|Vi ) = 0, ahora como f (V )(s) ∈ G(V ) y los abiertos
Vi cubren a V , f (V )(s) = 0, se sigue que f = 0. Por otra parte, dados fi ∈ H(Ui ) tal que
fi |Ui ∩Uj = fj |Ui ∩Uj para todo i, j; y tomemos un abierto V ⊆ U , una sección s ∈ F(V );
y denotemos Vi = Ui ∩ V , si = s|Vi , ti = fi (Ui )(si ) y Vij = Vi ∩ Vj . Es evidente que
si |Vij = sj |Vij , luego tenemos
ti |Vij = fi (Ui )(si )|Vij = fi (Vij )(si |Vij ) = fi |Ui ∩Uj (Vij )(si |Vij ) ,
tj |Vij = fj (Ui )(sj )|Vij = fj (Vij )(sj |Vij ) = fj |Ui ∩Uj (Vij )(sj |Vij ) ,
los cuales implican ti |Vij = tj |Vij . Luego existe un único t ∈ G(V ) tal que t|Vi = ti para todo
i. Ası́, para cada abierto V ⊆ U y s ∈ F(V ) definimos f (V )(s) = t y afirmamos que f es
un elemento de H(U ). Primeramente veamos que f (V ) es un homomorfismo de grupos,
en efecto, dados s, s′ ∈ F(V ), denotemos f (V )(s) = t, f (V )(s′ ) = t′ , f (V )(s + s′ ) = t′′ y
Vi = Ui ∩ V . Entonces debemos mostrar que t′′ = t + t′ ∈ G(V ), para ello basta ver que
t′′ |Vi = (t + t′ )|Vi para todo i. Tenemos
(t + t′ )|Vi = t|Vi + t′ |Vi = f (Vi )(s|Vi ) + f (Vi )(s′ |Vi ) = f (Vi )((s + s′ )|Vi )
= f (V )(s + s′ )|Vi = t′′ |Vi ,
ası́ (t + t′ )|Vi = t′′ |Vi . A continuación veamos que f conmuta con las restricciones, dados
dos abiertos W ⊆ V contenidos en U , s ∈ F(V ), t = f (V )(s), t′ = f (W )(s|W ), si = s|Vi ,
ti = fi (Vi )(si ) y sea Wi = Ui ∩ W , entonces tenemos
t′ |Wi = f (Wi )(s|Wi ) = f (V )(s)|Wi = t|Wi .
Como los abiertos Wi cubren a W tenemos t′ = t|W . Por tanto f es un morfismo.
Finalmente veamos que f |Ui = fi para todo i, en efecto, para un i fijo tomemos un
abierto cualquiera V ⊆ Ui y s ∈ F(V ), entonces tenemos Vi = Ui ∩ V = V y por
definición f (V )(s)|Vi = fi (Vi )(s|Vi ), luego f |Vi (V )(s) = fi (V )(s), por tanto f |Vi = fi para
todo i. De esta manera H es un haz de grupos abelianos. ✷
Definición 3.1.10. El haz U 7→ Hom(F|U , G|U ) definido en la proposición anterior es
llamado haz de morfismos locales de F en G, y denotamos por Hom(F, G).
Definición 3.1.11. Sean X e Y espacios topológicos y f : X → Y una continua. Dado un
haz F en X, definimos el haz imagen directa f∗ F en Y por (f∗ F)(V ) = F(f −1 (V )) para
cualquier abierto V ⊆ Y . Para cualquier haz G en Y , definimos el haz imagen inversa
f −1 G en X como el haz asociado al prehaz f • G dado por U 7→ lim G(V ), donde U
→ V ⊇f (U )
es un subconjunto abierto de X, y el lı́mite directo es considerado sobre todos los abiertos
V de Y conteniendo f (U ).
Observación 3.1.12. De la construcción del lı́mite directo podemos también considerar
a (f • G)(U ) como el conjunto de elementos hV, si donde V es un abierto de X tal que
f (U ) ⊆ V y s ∈ G(V ), y dos tales elementos hV, si y hV ′ , s′ i son iguales si existe un
abierto W tal que f (U ) ⊆ W ⊆ V ∩ V ′ y s|W = s′ |W .
Si p ∈ X y q = f (p), entonces (f −1 G)p ∼ = Gq . En efecto, la aplicación Gq → (f • G)p
dada por hV, ti 7→ hf −1 (V ), hV, tii es un isomorfismo.
2.1 Haces y Morfismos entre Haces 49
HomX (f −1 G, F) ∼
= HomY (G, f∗ F) .
HomX (f −1 G, F) ∼
= HomX (f • G, F) .
Entonces probaremos que HomX (f • G, F) ∼ = HomY (G, f∗ F). En efecto, dado un abierto
U de X, tenemos que f • (f∗ F)(U ) es el conjunto de elementos hV, si tal que f (U ) ⊆ V
y s ∈ F(f −1 (V )). Definimos el homomorfismo ϕ(U ) : f • (f∗ F)(U ) → F(U ) por hV, si 7→
s|U . Este homomorfismo está bien definido, pues si hV, si = hW, ti, por definición existe
un abierto Z de X tal que f (U ) ⊆ Z ⊆ V ∩ U y s|f −1 (Z) = t|f −1 (Z) (restricción en f∗ F),
luego tenemos U ⊆ f −1 (Z) y s|U = t|U . De esta manera se tiene un morfismo de prehaces
ϕ : f • (f∗ F) → F. Luego definimos Φ : HomY (G, f∗ F) → HomX (f • G, F) por α 7→ ϕ◦f • α.
Por oro lado, dado un abierto V de Y , entonces f∗ (f • G)(V ) = f • G(f −1 (V )) es el conjunto
de elementos hW, si tal que f (f −1 (V )) ⊆ W y s ∈ G(W ). Definimos el homomorfismo
ψ(V ) : G(V ) → f∗ (f • G)(V ) por s 7→ hV, si. Este homomorfismo está bien definido, ya
que f (f −1 (V )) ⊆ V . De esta manera tenemos un morfismo de prehaces ψ : G → f∗ (f • G).
Luego definimos la aplicación Ψ : HomX (f • G, F) → HomY (G, f∗ F) por β 7→ f∗ β ◦ ψ.
Ahora comprobemos que Φ y Ψ son aplicaciones inversas. Sean β ∈ HomX (f • G, F), U un
abierto de X y hV, si ∈ f • G(U ), tenemos Φ(Ψ(β)) = Φ(f∗ β ◦ ψ) = ϕ ◦ f • (f∗ β ◦ ψ), luego
ası́ Φ ◦ Ψ = idHomX (f • G,F ) . Por otro lado, sean α ∈ HomY (G, f∗ F), V un abierto de Y y
50 2. Haces y Esquemas
para todo i, j ∈ I. En este caso se dice que F es obtenido por pegamiento de los haces Fi
por medio de los morfismos θij .
Demostración. Primeramente veamos Q la existencia de tal haz F. Para cada abierto U de
X, definimos F(U ) como el subgrupo i∈I Fi (U ∩ Ui ) consistiendo de familias (si )i∈I tal
que para cada (i, j) ∈ I × I, θij (U ∩ Uij )(sj |U ∩Uij ) = si |U ∩Uij . Para dos abiertos V ⊆ U
de X, definimos los homomorfismos ρU V : F(U ) → F(V ) por la aplicación
secciones tα = (siα )i ∈ F(Vα ) para todo α ∈ J tal que tα |Vαβ = tβ |Vαβ para todo α, β ∈ J.
Entonces tenemos que siα ∈ F(Vα ∩ Ui ) tal que siα |Vαβ ∩Ui = siβ |Vαβ ∩Ui para todo i ∈ I y
α, β ∈ J, luego puesto que Fi es haz y {Vβ ∩ Ui }β∈J es un cubrimiento de U ∩ Ui , existe
si ∈ Fi (U ∩ Ui ) tal que si |Vα ∩Ui = siα para todo α ∈ J. Afirmamos que t = (si )i ∈ F(U ).
En efecto, desde que (siα )i ∈ F(Vα ) tenemos la ecuación
θij (Vα ∩ Uij )(sjα |Vα ∩Uij ) = siα |Vα ∩Uij , para todo (i, j) ∈ I × I ,
de esta igualdad tenemos θij (U ∩ Uij )(sj |U ∩Uij ) |Vα ∩Uij = si |Vα ∩Uij para todo α ∈ J, esto
implica que θij (U ∩ Uij )(sj |U ∩Uij ) = si |U ∩Uij , ası́ (si )i ∈ F(U ). Por otro lado, es inmediato
verificar que t|Vα = tα para todo α ∈ J. De esta manera F es un haz.
A continuación definimos θj : F|Uj → Fj , para ello tomamos un abierto V en Uj y
definimos θj (V ) : F(V ) → Fj (V ) como la proyección (si )i 7→ sj . Este homomorfismo
es un isomorfismo, su inversa es el homomorfismo σj : Fj (V ) → F(V ) definido por s 7→
θij (V ∩Ui )(s|V ∩Ui ) j , para la buena definición de este homomorfismo usamos la condición
(ii) de pegamiento, y para ver que son inversas usamos la definición de F(V ) y la condición
(i). De esta manera los θj ’s son isomorfismos. Por otro lado, dado un abierto V en Uij
entonces
θij (V ) ◦ θj (V )((sk )k ) = θij (V )(sj ) = si = θi (V )((sk )k ) ,
luego tenemos θi |Uij = θij ◦ θj |Uij .
Ahora veamos la unicidad de F. Sean morfismos θi : F|Ui → Fi y θi′ : G|Ui → Fi tales
que θi |Uij = θij ◦ θj |Uij y θi′ |Uij = θij ◦ θj′ |Uij para todo i, j. Consideremos los isomorfismos
θi′ −1 ◦ θi : F|Ui → G|Ui , entonces para cada i, j tenemos
−1
(θi′ ◦ θi )|Uij = (θi′ |Uij )−1 ◦ θi |Uij = (θij ◦ θj′ |Uij )−1 ◦ (θij ◦ θj |Uij )
−1
= (θj′ |Uij )−1 ◦ θj |Uij = (θj′ ◦ θj )|Uij .
∼
Luego por el Lema 3.1.25 estos isomorfismos se extienden a un isomorfismo F −
→ G sobre
X.
✷
F
Tenemos que s1 + s2 y s1 s2 son funciones de U en p∈U Ap , pues, para cada p ∈ U ,
s1 (p) + s2 (p), s1 (p)s2 (p) ∈ Ap . Consideremos ahora p ∈ U , para cada i, existe un entorno
abierto Vi de p contenido en U y elementos ai , fi ∈ A tal que para cada q ∈ Vi , fi 6∈ q y
si (q) = ai /fi en Aq (i = 1, 2).
Sea V = V1 ∩ V2 ⊆ U el cual es un entorno abierto de p. Tenemos que a1 f2 + a2 f1 y
f1 f2 son elementos de A, luego para q ∈ V tenemos que f1 f2 6∈ q; además s1 (q) = a1 /f1
en Aq y s2 (q) = a2 /f2 en Aq . De donde se sigue que
a1 a2 a1 f2 + a2 f1
(s1 + s2 )(q) = s1 (q) + s2 (q) = + = en Aq .
f1 f2 f1 f2
Por lo tanto, s1 + s2 ∈ O(U ) y de manera similar conseguimos que s1 s2 ∈ O(U ). El cero
de O(U ) es la función que hace corresponder a cada p ∈ U el elemento 0/1 de Ap ; además,
el inverso de s1 es la función −s1 F
∈ O(U ) definida de manera natural; también la unidad
en O(U ) es la aplicación s : U → p∈U Ap definida por p 7→ 1/1 en cada Ap . Luego O(U )
tiene estructura de anillo. ✷
Observación 3.2.1. Si V ⊆ U son dos abiertos en X = Spec A, la restricción natural
O(U ) → O(V ) es un homomorfismo de anillos; haciendo O(∅) = {0}, tenemos que O es
un prehaz de anillos. Finalmente, de la naturaleza local de la definición tenemos como
en el caso de funciones regulares y racionales (sección 1.4) que O es también un haz de
anillos.
En lo que sigue, cuando nos referimos el espectro de un anillo A, nos referiremos al
par (Spec A, OSpec A ) donde OSpec A es el haz de anillos O definido anteriormente.
Observación 3.2.2. De la definición 3.1.3 tenemos para cada punto p ∈ X que Op es un
grupo abeliano, y definiendo el producto de dos gérmenes hU, si, hV, ti ∈ Op como
hU, si.hV, ti = hU ∩ V, sU ∩V · tU ∩V i ,
n
F (b). Sea f ∈ A y definimos ψ : nAf → O(D(f )) por a/f 7→ s, donden s : D(f ) →
p∈D(f ) Ap es la aplicación p 7→ [a/f ], siendo este último la imagen de a/f en Ap .
Mostremos primero que ψ es inyectiva. Sean a/f n , b/f m ∈ Af tal que ψ(a/f n ) =
ψ(b/f m ), entonces para cada p ∈ D(f ), a/f n y b/g m tienen la misma imagen en Ap , es
decir, [a/f n ] = [b/f m ]; por tanto existe h 6∈ p tal que h(f m a − f n b) = 0 en A. Sea
a = Anu(f m a − f n b), luego h ∈ a y h 6∈ p, o sea, a * p. Pero esto se tiene para todo
p ∈ D(f ); ası́, V (a)
√∩ D(f ) = ∅ lo cual implica V (a) ⊆ V (f ), que de acuerdo al Corolario
2.3.3 se tiene f ∈ a, esto es, alguna potencia f l ∈ a, esto implica que f l (f m a − f n b) = 0
lo que sigue a/f n = b/f m en Af , es decir, ψ es inyectiva.
Sr Veamos a continuación que ψ es sobreyectiva. Sea s ∈ O(D(f )) y sea D(f ) =
i=1 D(hi ) (que podemos escribir por la afirmación (e) de la Proposición 2.3.5 y donde
los hi vienen de la definición 3.2.1 junto con el Lema 3.2.2). Sabemos que para cada i, la
sección s es representada por ai /hi en D(hi ); ası́ que en D(hi ) ∩ D(hi ) = D(hi hj ) tenemos
dos elementos de Ahi hj , es decir, ai /hi y aj /hj donde ambos representan a s. De acuerdo
a la inyectividad de ψ restricto a D(hi hj ) debemos tener que ai /hi = aj /hj en Ahi hj .
Luego, para algún n
(hi hj )n (ai hj − aj hi ) = 0 .
Tomamos n suficientemente grande para trabajar con todo par de ı́ndices i, j; de esta
manera reescribiendo tenemos
hn+1
j (hni ai ) − hn+1
i (hnj aj ) = 0 .
esto es,
Por lo tanto, ψ(a/f l ) = s en D(f ). Esto muestra que ψ es sobreyectiva y por tanto un
isomorfismo.
(c). Notemos que este es un caso especial de (b). Para ello hacemos f = 1 y D(1) =
Spec A, luego Γ(Spec A, O) = O(Spec A) ∼ = A1 ∼
= A. ✷
Definición 3.2.2. Un espacio anillado es un par (X, OX ) consistiendo de un espacio
topológico X y un haz de anillos OX sobre X. Un morfismo de espacios anillados de
(X, OX ) a (Y, OY ) es un par (f, f ♯ ) formado por una aplicación continua f : X → Y y un
morfismo f ♯ : OY → f∗ OX de haces de anillos sobre Y .
Si (f, f ♯ ) : (X, OX ) → (Y, OY ) y (g, g ♯ ) : (Y, OY ) → (Z, OZ ) son dos morfismos de
espacios anillados, entonces tenemos las composiciones
f g g♯ g∗ (f ♯ )
X→Y →Z , OZ → g∗ OY → (g ◦ f )∗ OX .
2.2 Esquemas y Morfismos entre Esquemas 55
De esta manera tenemos un homomorfismo de anillos fp♯ : OY,f (p) → OX,p . Luego, los
espacios localmente anillados junto con los morfismos de espacios localmente anillados
forman una subcategorı́a de la categorı́a de los espacios anillados.
ϕ := f ♯ (Spec A) : A ∼
= OSpec A (Spec A) → OSpec B (Spec B) ∼
= B.
ϕ(g)n ϕ(a) = 0 para algún n ≥ 0, luego ϕ(g n a) = 0, y puesto que ϕ es inyectiva tenemos
que g n a = 0, lo que muestra que ϕg es inyectiva. Veamos ahora que f ♯ : OX → f∗ (OX )
es inyectiva, en efecto, por la Proposición 2.3.6 tenemos que f −1 (DA (g)) = DB (ϕ(g)) y
debido a que el siguiente diagrama
f ♯ (DA (g))
OX (DA (g)) / OY (DB (ϕ(g)))
Ag ϕg
/ Bϕ(g)
es conmutativo donde las flechas verticales son los isomorfismos naturales, tenemos f ♯ (DA (g))
es inyectiva para todo g ∈ A, esto implica que f ♯ es inyectiva. Recı́procamente si f ♯ es
inyectiva, entonces f ♯ (DA (1))) es inyectiva, y del diagrama anterior tenemos que ϕ es
inyectiva considerando A1 = A, B1 = B y ϕ1 = ϕ.
Supongamos ahora que ϕ es inyectiva y veamos que f (X) es denso en Y . Para ello
bastará ver que cada abierto no vacı́o DA (g) ⊆ Y contiene puntos de f (X). En efecto,
supongamos que DA (g) ∩ f (X) = ∅ para algún g ∈ A, entonces g 6∈ f (p) para todo p ∈ X
luego ϕ(g) 6∈ p para todo primo p de B, es decir ϕ(g) es un elemento del nilradical de B
por tanto ϕ(g)n = 0 para algún n ≥ 0. Ahora como ϕ es inyectiva, tenemos que g n = 0,
esto implica que DA (g) es vacı́o, que es una contradicción.
(b). Si ϕ es sobreyectiva, entonces el homomorfismo ϕg dado en (a), es claramente
sobreyectiva para todo g ∈ A, luego del diagrama anterior se sigue que f ♯ (DA (g)) es
sobreyectiva para todo g ∈ A, esto implica que f ♯ es sobreyectiva. Por otro lado, por
la parte (d) de la Proposición 2.3.6, f es un homeomorfismo de X sobre el subconjunto
cerrado V (Nuc ϕ) ⊆ Y . Veamos la parte reciproca. El diagrama conmutativo
ϕ
A /B
<
"
A/ Nuc ϕ
58 2. Haces y Esquemas
f
X = Spec B / Spec: A = Y
φ ψ
$
X ′ = Spec(A/ Nuc ϕ)
Definición 3.2.4 (El esquema Proj S). Definimos un haz de anillos O sobre Proj S,
como sigue: para F cualquier subconjunto abierto U ⊆ Proj S, O(U ) es el conjunto de
funciones s : U → p∈U S(p) tal que para cada p ∈ U , s(p) ∈ Sp y tal que s es localmente
un cociente de elementos de S, es decir, para cada p ∈ U existe un entorno abierto V de p
en U y elementos homogéneos a, f ∈ S del mismo grado, tal que para cada q ∈ V , f 6∈ q
y s(q) = a/f en S(q) .
Cuando nos referimos al espectro proyectivo de S, nos referiremos al espacio anillado
(Proj S, O).
d d
y como q es primo tenemos que fbd1 ∈ q o fcd2 ∈ q. Luego bd ∈ T o cd ∈ T y por tanto
b ∈ p o c ∈ p. Para verificar que S+ * p y p ∈ D+ (f ), P basta ver que f 6∈ p ya que f ∈ S+ ,
en efecto, si f ∈ p, entonces para algún n ≥ 1, f n = i λi ai donde λi ∈ S y ai ∈ T con
ai 1 fn P f k i λ i ai
f k i
∈ q para todo i, luego 1
= f n = i 1 f ki ∈ q, lo cual es imposible puesto que q es
primo. De esta manera concluimos que ϕ es sobreyectiva y luego biyectiva. Mostremos
ahora, que ϕ es aplicación cerrada y continua. Dado un ideal radical homogéneo a de S,
afirmamos que ϕ(V (a) ∩ D+ (f )) = V (aSf ∩ S(f ) ), en efecto, dado q ∈ ϕ(V (a) ∩ D+ (f ))
entonces q = ϕ(p) para algún p ∈ V (a) ∩ D+ (f ), luego la condición a ⊆ p implica que
aSf ∩ S(f ) ⊆ pSf ∩ S(f ) = ϕ(p) = q por tanto q ∈ V (aSf ∩ S(f ) ). Recı́procamente dado
q ∈ V (aSf ∩S(f ) ), entonces aSf ∩S(f ) ⊆ q, luego como ϕ es sobreyectiva, existe p ∈ D+ (f )
tal que ϕ(p) = q, entonces aSf ∩S(f ) ⊆ pSf ∩S(f ) . Por el ı́tem (a) del lema anterior tenemos
que a ⊆ p, o sea p ∈ V (a) y como p ∈ D+ (f ), tenemos que q = ϕ(p) ∈ ϕ(V (a) ∩ D+ (f )).
La igualdad de la afirmación anterior nos dice que la aplicación ϕ es cerrada. Por otro
lado, si I es un ideal radical de S(f ) , por el lema anterior, existe un ideal radical homogéneo
a de S tal que aSf ∩ S(f ) = I. Reemplazando esta igualdad en la igualdad de la afirmación
anterior, tenemos que ϕ(V (a) ∩ D+ (f )) = V (I), luego ϕ−1 (V (I)) = V (a) ∩ D+ (f ) que es
un subconjunto cerrado en D+ (f ), por tanto ϕ es continua.
A continuación definiremos el morfismo ϕ♯ : OSpec S(f ) → ϕ(OProj S D+ (f ) ). Para cada p ∈
a/f r af s
D+ (f ) el homomorfismo ψp : (Spec S(f ) )p → S(p) dado por b/f s
7→ bf r
es un isomorfismo,
abd−1 /f e
con inverso ψp−1 : S(p) → (Spec S(f ) )p dado por ab 7→ bd /f e donde d = ∂(f ) y e = ∂(a) =
∂(b). Dado un subconjunto abierto U ⊆ Spec S(f ) , definimos
como ϕ♯ (U )(s)(p) = ψp (s(ϕ(p))) para todo p ∈ ϕ−1 (U ) y para todo s ∈ OSpec S(f ) (U ). Es
inmediato de la definición, probar que ϕ♯ (U ) es un isomorfismo de anillos, por tanto ϕ♯
es un isomorfismo. Finalmente ϕ♯p : OSpec S(f ) ,ϕ(p) → OProj S,p es un homomorfismo local
60 2. Haces y Esquemas
puesto el siguiente diagrama, donde las flechas verticales son los isomorfismos naturales,
ϕ♯p
OSpec S(f ) ,ϕ(p) / OProj S,p
ψp
(S(f ) )ϕ(p) / S(p)
es conmutativo y ψp es local.
(c). Se sigue inmediatamente desde que, para cada f ∈ S+ homogéneo, los subconjuntos
D+ (f ) son abiertos básicos de Proj S y D+ (f ) ∼
= Spec S(f ) . ✷
Ejemplo 3.2.7. Si A es un anillo, definimos el n-espacio proyectivo sobre A como el
esquema PnA := Proj A[x0 , . . . , xn ]. Si A es un cuerpo algebraicamente cerrado, el sube-
spacio de puntos cerrados de Pnk es homeomorfo al n-espacio proyectivo definido en el
capı́tulo 1 (ver Proposición 3.3.5).
t : Var(k) → Sch(k) ,
S
es conmutativo, donde las flechas oblicuas son los morfismos estructurales. Definimos de
manera natural la composición de morfismos de S-esquemas. Ası́, los S-esquemas juntos
con los morfismos de S-esquemas forman un categorı́a que denotamos por Sch(S). Si
A es un anillo, entonces por abuso de notación escribiremos Sch(A) para denotar a la
categorı́a de esquemas sobre Spec A.
Lema 3.3.1. Sea Z un espacio topológico y sea t(Z) el conjunto de todos los subconjuntos
cerrados e irreducibles en Z. Se cumplen las siguientes afirmaciones:
2.3 Correspondencia de variedades y esquemas 61
(a) Sean F, F1 , F2 conjuntos cerrados en Z y {Fi }i∈I una familia de conjuntos cerrados
en Z,entonces
\ \
t(F ) ⊆ t(Z) , t(F1 ∪ F2 ) = t(F1 ) ∪ t(F2 ) y t( Fi ) = t(Fi ) .
i∈I i∈I
En consecuencia, t(Z) es un espacio topológico, donde los cerrados de t(Z) son los
subconjuntos t(F ) con F cerrado en Z.
(b) Si f : Z1 → Z2 es una aplicación continua, entonces la aplicación inducida por f ,
t(f ) : t(Z1 ) → t(Z2 ) dada por F 7→ f (F ) ,
es también continua.
(c) La aplicación inducida
α : Z → t(Z) dada por p 7→ {p}
es continua. En consecuencia, α proporciona una correspondencia 1 − 1 entre los
subconjuntos abiertos de Z y los abiertos de t(Z).
Demostración. (a). Sea F un conjunto cerrado de Z; puesto que un conjunto cerrado e
irreducible en F es también un conjunto cerrado e irreducible en Z, tenemos t(F ) ⊆ t(Z).
Si G es un conjunto cerrado e irreducible en F1 ∪ F2 (luego un conjunto cerrado
en Z), entonces G = (G ∩ F1 ) ∪ (G ∩ F2 ) implica que G ⊆ F1 o G ⊆ F2 , por tanto
G ∈ t(F1 ) ∩ t(F2 ), esto muestra que t(F1 ∩ F2 ) ⊆ t(F1 ) ∩ t(F2 ). Por otro lado, un conjunto
cerrado e irreducible de F1 o F2 es un conjunto cerrado e irreducible de F1 ∩ F2 , luego
t(F1 ) ∩ t(F2 ) ⊆ t(F1 ∩ F2 ). T
Si G es un conjunto cerrado irreducible
T T i∈I Fi , entonces G es un conjunto
de T cerrado
irreducible en cada T Fi , luego t( i∈I Fi ) ⊆ i∈I t(Fi ). PorTotro lado, si G ∈ T i∈I t(Fi )
tenemos
T que G ⊆ F
i∈I i y G es un cerrado e irreducible en F
i∈I i , por tanto i∈I t(Fi ) ⊆
t( i∈I Fi ).
(b). Sea F un conjunto cerrado irreducible de Z1 . Por la Observación 2.3.5, f (F ) es
irreducible en Z2 , y por la Observación 2.3.4, f (F ) es un conjunto cerrado e irreducible de
Z2 . Por otro, lado un conjunto cerrado de t(Z2 ) es de la forma t(G) donde G es cerrado
en Z2 , y no hay dificultad en verificar que t(f )−1 (t(G)) = t(f −1 )(G), de donde se sigue
que t(f )−1 (t(G)) es cerrado en Z1 ; por tanto t(f ) es continua.
(c). Para un conjunto cerrado de Z tenemos
α−1 (t(F )) = {p ∈ Z| {p} ⊆ F } = {p ∈ F | p ∈ F } = F ,
luego α−1 (t(F )) es un conjunto cerrado. Por tanto, α es una aplicación continua. Por otro
lado, puesto que α−1 (t(F )) = F , la aplicación F 7→ t(F ) establece una correspondencia
biunı́voca entre conjuntos cerrados de Z y los conjuntos cerrados de t(Z), luego, existe
una correspondencia biunı́voca entre conjuntos abiertos de Z y los conjuntos abiertos de
t(Z) ✷
Lema 3.3.2. Sea Z un espacio topológico y sea U un abierto de Z. Entonces la aplicación
φ : t(U ) → t(Z)\t(Z\U ) dada por C 7→ C
es un homeomorfismo.
62 2. Haces y Esquemas
Lema 3.3.3. Sea V es una variedad afı́n con anillo de coordenadas el k-álgebra A =
k[x1 , . . . , xn ]/I(V ), para p ∈ V sea mp el ideal maximal de A formado por todas las
funciones f ∈ A tal que f (p) = 0. Entonces existe un homomorfismo φp : Amp → k tal
que φp (f /g) = f (p)/g(p).
donde el primer homomorfismo es la proyección canónica. Por otro lado, veamos que
φp (f /g) = f (p)/g(p) para f /g ∈ Amp , tenemos
f /g 7→ f /g + mp Amp 7→ f t + mp 7→ f (p)t(p) ,
Lema 3.3.4. Sea V es una variedad proyectiva con anillo de coordenadas el k-álgebra
graduado S = k[x0 , . . . , xn ]/I(V ), para p ∈ V sea mp el ideal primo homogéneo de S
formado por todas las funciones f ∈ S tal que f (p) = 0. Entonces existe un homomorfismo
ψp : S(mp ) → k tal que ψp (f /g) = f (p)/g(p).
donde los polinomiales denotan sus módulos residuos I(V ) y I(Vi ) en cada caso. Definimos
∼
ψp : S(mp ) → k como la composición del isomorfismo S(mp ) − → A(Vi )m′p y el homomorfismo
φp : A(Vi )m′p → k del Lema 3.3.3. Sea p = (a0 , . . . , an ), entonces ψp (f /g) = f (p)/g(p), en
efecto,
a0 ai−1 ai+1 an a0 ai−1 ai+1 an
f /g 7→ f ( , .., , 1, , .., )/g( , .., , 1, , .., )
ai ai ai ai ai ai ai ai
= f (a0 , . . . , an )/g(a0 , . . . , an ) = f (p)/g(p) .
✷
Proposición 3.3.5. Sea k un cuerpo algebraicamente cerrado. Entonces existe un funtor
plenamente fiel t : Var(k) → Sch(k) de la categorı́a de variedades algebraicas sobre k
en la categorı́a de esquemas sobre k. De manera que para cualquier variedad V , su
espacio topológico es homeomorfo al conjunto de puntos cerrados de sp(t(V )), y su haz
de funciones regulares es obtenido por restringir la estructura de haz de t(V ) vı́a este
homeomorfismo.
Demostración. Dada una variedad algebraica V sobre k, definimos t(V ) como en el Lema
3.3.1, pero como V es T1 , la aplicación inducida αV : V → t(V ) está dado por p → {p}.
Los puntos cerrados de t(V ) son de la forma {p} con p ∈ Y . Luego, αV induce un
homeomorfismo de V con los puntos cerrados de t(V ). Además, existe una biyección
entre la topologı́a de V y la topologı́a de t(V )
TV ←→ Tt(V ) , U 7→ t(V )\t(V \U ) .
Por otra parte, si f : V → W es un morfismo de variedades, del Lema 3.3.1 tenemos
la aplicación continua t(f ) : t(V ) → t(W ) dado por F 7→ f (F ), y tenemos el diagrama
conmutativo
f
V /W
αV αW
t(V ) / t(W )
t(f )
Ahora bien, puesto que V es cubierto por subvariedades abiertos afines, por los resultados
(3.3.3) y (3.3.4), será suficiente probar que t(V ) es esquema sobre k para el caso cuando
V es afı́n. En efecto, en este caso probaremos que t(V ) es un esquema afı́n sobre k.
Supongamos que V es una variedad afı́n con anillo de coordenadas un k-álgebra A. Sea
X = Spec A.El espacio anillado (V, OV ) es un espacio localmente anillado (ver Hartshorne
[6], cap. I, Teor. 3.2). Definiremos un morfismo de espacios localmente anillados
a a(q)
β(U )(s)(q) = φq (s(mq )) = φq (s(β(q))) = φq ( ) = ,
b b(q)
esto muestra que β(U )(s) es regular. Por otro lado, es inmediato verificar que β ♯ (U ) es
un homomorfismo de anillos y β ♯ es un morfismo de haces. A continuación veamos que
β ♯ es un isomorfismo, para ello basta que β ♯ (D(h)) es un isomorfismo para todo h ∈ A.
En efecto, es inmediato verificar que β −1 (D(h)) = DV (h) ⊆ V , de manera que tenemos
el diagrama conmutativo
id
Ah +3 Ah
OX (D(h)) / OV (DV (h))
β ♯ (D(h))
α∗ OV (U ) = OV (α−1 (U )) = OV (β −1 (γ −1 (U ))) ,
γ∗ OX (U ) = OX (γ −1 (U )) .
Esto nos permite definir γ ♯ : α∗ OV → γ∗ OX como
γ ♯ (U ) := β ♯ (γ −1 (U ))−1 ,
% z
Spec k
✷
Proposición 3.3.6. Sea V una variedad proyectiva sobre un cuerpo algebraicamente cer-
rado k, con anillo de coordenadas S. Entonces existe un isomorfismo t(V ) ∼= Proj S de
esquemas sobre k.
β ♯ (U )(s)(p) := ψp (s(mp )) ,
66 2. Haces y Esquemas
OX (D+ (h)) / OV (DV (h))
β ♯ (D+ (h))
γ
β
!
Proj S
Por otro lado,
α∗ OV (U ) = OV (α−1 (U )) = OV (β −1 (γ −1 (U ))) ,
γ∗ OX (U ) = OX (γ −1 (U )) ,
esto nos permite definir γ ♯ : α∗ OV → γ∗ OX como
γ ♯ (U ) := β ♯ (γ −1 (U ))−1 ,
de manera que γ ♯ es también un isomorfismo. Finalmente, el homomorfismo k → S induce
el morfismo Proj S → Spec k y un diagrama conmutativo
γ
Proj S +3 t(Y )
# |
Spec k
2.3 Subesquemas y Propiedades de Esquemas 67
✷
Corolario 3.3.7. Sea k un cuerpo algebraicamente cerrado. Para n ≥ 0 tenemos los
siguientes isomorfismos sobre k
t(An ) ∼
= Ank , t(Pn ) ∼
= Pnk
fp♯
OY,q / OX,p
Aq ϕp
/ (A/a)p
es conmutativo, donde los isomorfismos verticales son los isomorfismos naturales. De esta
manera fp♯ es sobreyectiva para todo p ∈ X, por la observación anterior se sigue que f es
una inmersión cerrada.
y g = p2 ◦ θ; gráficamente se escribe,
Z / X ×S Y
& | "+
X Y
# |
S
Los morfismos p1 y p2 son llamados morfismos proyección del producto fibrado sobre sus
factores. Si X e Y son dos esquemas, entonces el producto fibrado de X e Y , denotado
por X × Y , será el esquema X ×Spec Z Y .
Teorema 3.4.3. Para cualquier par de esquemas X e Y sobre S, existe el producto fibrado
X ×S Y y es único salvo isomorfismo.
Demostración. Ver [6] o [11]. ✷
Definición 3.4.7. Sea f : X → Y un morfismo entre esquemas. El morfismo diagonal es
el único morfismo △X : X → X ×Y X cuya composición con las proyecciones π1 , π2 : X ×Y
X → X es la aplicación identidad idX : X → X como muestra el siguiente diagrama
△
X /X ×Y X
' { #+
X X
# {
Y
Decimos que el morfismo f es separado si el morfismo diagonal △X es una inmersión
cerrada, en este caso diremos que X es separado sobre Y . Un esquema X es separado si
es separado sobre Spec Z.
Ejemplo 3.4.4. Si V es una variedad sobre un cuerpo algebraicamente cerrado k, entonces
el esquema asociado t(V ) es separado sobre k.
En la siguiente definición generalizamos el concepto del n-espacio proyectivo PnA sobre
un anillo A.
Definición 3.4.8. Sea Y un esquema. Definimos el n-espacio proyectivo sobre Y , deno-
tado por PnY , como el producto fibrado PnZ ×Spec Z Y . Un morfismo de esquemas f : X → Y
es proyectivo si se factoriza en una inmersión cerrada i : X → PnY para algún entero n ≥ 1,
70 2. Haces y Esquemas
f ♯ (W )
OProj S (W ) / OProj T (f −1 (W ))
f ♯ (Z)
OProj S (Z) / OProj T (f −1 (Z))
2.4 Subesquemas Cerrados 71
es conmutativo, donde las flechas verticales son las restricciones naturales. En efecto,
dado s ∈ OProj S (W ) y p ∈ f −1 (Z)) tenemos
f ♯ (W )(s)f −1 (Z) (p) = f ♯ (W )(s)(p) = ϕp (s ◦ f (p)) = ϕp (sZ (f (p)))
= ϕp (sZ ◦ f (p)) = f ♯ (Z)(sZ )(p).
fp♯
OProj S,f (p) / OProj T,p
ϕp
S(f (p)) / T(p)
es conmutativo.
(b). Veamos que U = Proj T . Tomemos p ∈ Proj T , puesto que T+ p podemos
conseguir un elemento homogéneo t ∈ T+ tal que t 6∈ p y como p es ideal primo tk 6∈ p
para todo k ∈ N. Sea r = ∂(t) y tomemos k suficientemente grande de modo que kr ≥ d0 ,
entonces ∂(tk ) = kr ≥ d0 . Por hipótesis ϕkr es isomorfismo, luego existe s ∈ Skr ⊆ S+ tal
que ϕ(s) = tk , en particular tk 6∈ p, por tanto ϕ(S+ ) p, o sea p ∈ U .
A continuación veamos que el morfismo f : Proj T → Proj S definido en (a) es un
isomorfismo. Sea {ti }i∈I la familia de todos los elementos homogéneos de T+ con ∂(ti ) ≥
d0 ; afirmamos que {D+ (ti )}i∈I es un cubrimiento de Proj T ; en efecto, dado p ∈ Proj T ,
como T+ p podemos conseguir un elemento homogéneo t ∈ T+ tal que t 6∈ p, luego
td0 6∈ p y ∂(td0 ) ≥ d0 , entonces por definición td0 = ti para algún i ∈ I, ası́ tenemos que
ti 6∈ p, es decir p ∈ D+ (ti ). Luego, como para cada i ∈ I, ∂(ti ) ≥ d0 y ϕd es isomorfismo
para d ≥ d0 , entonces existe si ∈ S+ tal que ϕ(si ) = ti para cada i ∈ I. Consideremos
el homomorfismo de anillos ϕi : S(si ) → T(ti ) dado por san 7→ ϕ(a) tn
. El homomorfismo ϕi
i i
induce un morfismo ϕei de Spec T(ti ) sobre Spec S(si ) tal que el diagrama
f
D+ (ti ) / D+ (si )
ϕ
fi
Spec T(ti ) / Spec S(si )
ϕ−1 (p) = ϕ−1 (q), luego tenemos ϕ−1 (p) ∩ Sd = ϕ−1 (q) ∩ Sd para todo d ≥ 0, y por el
Lema 2.2.5 tenemos que ϕ−1 −1 −1
d (pd ) = ϕd (qd ). Como ϕd es isomorfismo cuando d ≥ d0
entonces se tiene que pd = qd para todo d ≥ d0 . Afirmamos que p = q, si no fuera ası́,
tendrı́amos que p q o q p. Supongamos que p q, entonces podemos encontrar
elementos homogéneos s ∈ p y t ∈ T+ tal que s 6∈ q y t 6∈ q, ya que también T+ q.
Sea d = ∂(std0 ) ≥ d0 , entonces s.td0 ∈ pd = qd , por otra parte s.td0 6∈ q ya que q
es primo, luego s.td0 6∈ qd , que es una contradicción, por tanto f es inyectiva. Para
probar que f es sobreyectiva, basta probar que la familia {D+ (si )}i∈I cubre a Proj S,
ya que fi = f D+ (ti ) y las aplicaciones fi son sobreyectivas para todo i ∈ I. Dado
q ∈ Proj S, por definición S+ q, luego existe un elemento homogéneo s ∈ S+ tal que
s 6∈ q, y como ϕ es homomorfismo graduado y s homogéneo con ∂(s) ≥ 1, tenemos que
ϕ(sd0 ) es un elemento homogenéo de S+ con ∂(ϕ(sd0 )) ≥ d0 , por tanto ϕ(sd0 ) = ti y
sd0 = si para algún i ∈ I, luego como q es primo y s 6∈ q se tiene que si 6∈ q y ası́
q ∈ D+ (si ). Finalmente la aplicación f es abierta,
S puesto que para
S cada subconjunto
abierto V de Proj T se tiene que f (V ) = f ( i∈I V ∩ D+ (si )) = i∈I fi (V ∩ D+ (si )) es
abierta en Proj S, ya que cada fi (V ∩ D+ (si )) es abierta en D+ (si ) y este subconjunto
es abierto en Proj S. Para concluir que f : Proj T → Proj S es un isomorfismo, veamos
que fp♯ : OProj S,f (p) → OProj T,p es isomorfismo para todo p ∈ Proj T ; en efecto, dado
p ∈ Proj T , puesto que la familia {D+ (ti ))}i∈I cubre a Proj T , tenemos que p ∈ D+ (tj )
para algún j ∈ I, y como fj = f D+ (tj ) : D+ (tj ) → D+ (sj ) es isomorfismo, tenemos que
♯
fj,p : OD+ (sj ),f (p) → OD+ (tj ),p es isomorfismo. Por tanto fp♯ es un isomorfismo desde que el
diagrama
fp♯
OProj(S),f (p) / OProj(T ),p
♯
fj,p
OD+ (sj ),f (p) / OD (t ),p
+ j
diagrama
fp♯
OProj S,f (p) / OProj T,p
ϕp
S(f (p)) / T(p)
f1 f2
$ z
Proj S
ϕ ′
S/I_ o S/I
?
ϕ2 ϕ1
S
De esta manera los subesquemas cerrados f1 (Proj S/I) y f2 (Proj S/I ′ ) coinciden en
Proj S.
✷
Capı́tulo 4
El Teorema de Correspondencia de
Serre
O(V ) × F(V ) / F(V )
es conmutativo, donde las flechas horizontales son las acciones de módulo, la flecha de
la vertical izquierda es la restricción de F y la fecha vertical derecha es la aplicación
natural inducida por las restricciones de F y O . Más precisamente, dados a ∈ O(U )
y s ∈ F(U ), entonces se tiene a|V .s|V = (a.s)|V . Si O y F son ambos haces, diremos
que F es un haz de O-módulo. Un morfismo ϕ : F → G de prehaces de O-módulo es un
morfismo de prehaces tal que para cada subconjunto abierto U de X, el homomorfismo
de grupos ϕ(U ) : F(U ) → G(U ) es un homomorfismo de O(U )-módulos. Un morfismo
F → G de haces de O-módulos se define del mismo modo que un morfismo de prehaces
de O-módulos.
74
3.1 Haces de OX -Módulos 75
O′ (U ′ ) × F ′ (U ′ ) / F ′ (U ′ )
3.1 Haces de OX -Módulos 77
elementos fi tomados, esto nos una aplicación ψ(U ) : F + (U ) → G(U ) y podemos verificar
que esto nos da un morfismo ψ : F + → G y es único para la cual el diagrama
ϕ
F′ / GO
ψ
θ
"
F+
es conmutativo. ✷
Corolario 4.1.5. Sea O un haz de anillos sobre X, sean F, G dos haces de O-módulo y
sean F ′ , G ′ dos prehaces de O-módulos tal que F = (F ′ )+ y G = (G ′ )+ . Si ϕ′ : F ′ → G ′ es
un morfismo de B-prehaces de O-módulos, entonces ϕ′ induce un morfismo ϕ : F → G de
haces de O-módulos. En particular, si F ∼ = G como prehaces B-prehaces de O-módulos,
∼
entonces F = G como haces de O-módulos.
Demostración. Por la Proposición 4.1.3, el morfismo ϕ′ se extiende a un morfismo de
prehaces ϕ′′ : F ′′ → G ′′ , luego tenemos el morfismo de haces (ϕ′′ )+ : (F ′′ )+ → (G ′′ )+ y
por la Proposición 4.1.4, (F ′′ )+ = F y (G ′′ )+ = G, de esta manera ϕ := (ϕ′′ )+ : F → G
es un morfismo de haces inducido por ϕ. Por otro lado, si ϕ′ es un isomorfismo, por
la Proposición 4.1.3, ϕ′′ es también un isomorfismo, y como el funtor .+ es exacto, el
morfismo ϕ definido antes es un isomorfismo. ✷
Proposición 4.1.6. Sea (X, OX ) un espacio anillado y sea F un haz de OX -módulo. Se
cumplen las siguientes afirmaciones:
(a) F ⊗OX OX ∼
=F ∼
= OX ⊗OX F.
(b) Si G es un haz de OX -módulo y U es un abierto de X, entonces
(F ⊗OX G)|U ∼
= F|U ⊗OX |U G|U
(c) Si U es un abierto de X e ı : U ֒→ X es el morfismo inclusión, entonces ı∗ F ∼
= F U .
Demostración. (a). Por definición F ⊗OX OX es el haz asociado al prehaz H : U 7→
∼
F(U )⊗OX (U ) OX (U ). Por otro lado, tenemos el isomorfismo F(U ) −
→ F(U )⊗OX (U ) OX (U )
dado por s 7→ s⊗1, y para dos abiertos V ⊆ U de X es evidente que el siguiente diagrama
F(U ) +3 F(U ) ⊗O (U )
X
OX (U )
F(V ) +3 F(V ) ⊗OX (V ) OX (V )
luego por el Corolario 4.1.5 tenemos (H|U )+ ∼= F|U ⊗OX |U G|U , y puesto que la restricción
de un haz conmuta con el funtor hacificación obtenemos (F ⊗OX G) ∼ = F|U ⊗OX |U G|U .
(c). El haz ı∗ F es un OU -módulo, luego
ı∗ F = (ı∗ F)|U ∼
= (ı−1 F ⊗ı−1 OX OX )U ∼
= F|U ⊗OX |U OX |U ∼= F U .
✷
(b). Dado p ∈ X, definimos (M f)p → Mp dado por hU, si 7→ s(p). El hecho que esta
aplicación sea un isomorfismo es parte del argumento mostrado en la afirmación (a) de la
Proposición 3.2.3.
(c). Sea f ∈ A tal que f 6= 0 y definimos ψ : Mf → M f(D(f )) por mk 7→ s, donde
F f
s : D(f ) → p∈D(f ) Mp está dado por p 7→ fmk ∈ Mp . El isomorfismo es consecuencia de la
afirmación (b) en la Proposición 3.2.3.
(d). Haciendo f = 1, tenemos X = D(1) y M f(X) ∼ = M1 = M . ✷
Proposición 4.1.8. Sean A, B anillos, X = Spec B e Y = Spec B. Consideremos
un homomorfismo de anillos ρ : A → B y su morfismo correspondiente f : Y → X. Se
cumplen las siguientes afirmaciones:
(a) La correspondencia M 7→ M f es un funtor exacto y plenamente fiel de la categorı́a
de A-módulos en la categorı́a de OX -módulos.
(b) Si M, N son dos A-módulos, entonces (M ⊗A N )e ∼
=Mf ⊗O N
X
e.
M e M
(c) Si {Mi }i∈I es cualquier familia de A-módulos, Mi ∼
= fi .
M
i∈I i∈I
e) ∼
(d) Para todo B-módulo N tenemos f∗ (N = (A N )e, donde A N indica N como A-módulo.
f) ∼
(e) Para todo A-módulo M tenemos f ∗ (M = (M ⊗A B)e.
Demostración. (a). Sea F la aplicación que hace corresponder a cada A-módulo M el
haz Mf de OX -módulo, y a cada homomorfismo de A-módulos ϕ : M → N , el morfismo
de haces ϕ e: Mf→N e , donde para cada abierto U de X, el homomorfismo ϕ(U e ): M f(U ) →
Ne (U ) está definido como ϕ(U
e )(s)(p) = ϕp (s(p)) para todo p ∈ U y s ∈ M f(U ), siendo
m ϕ(m)
ϕp : Mp → Np el homomorfismo definido por λ 7→ λ . Veamos que F es un funtor
covariante. Sean ϕ : M → N y ψ : N → P dos homomorfismos de A-módulos; para cada
punto p ∈ X, la correspondencia M 7→ Mp es un funtor covariante de la categorı́a de A-
módulos a la categorı́a de Ap -módulos, de esto se cumple naturalmente que (ψ ◦ϕ)e = ψe◦ ϕ;
e
f
en efecto, tomemos un subconjunto abierto U de X, s ∈ M (U ) y p ∈ U , entonces
(ψ ◦ ϕ)e(s)(p) = (ψ ◦ ϕ)p (s(p)) = (ψp ◦ ϕp )(s(p)) = ψp (ϕ(U
e )(s)(p))
e ) ◦ ϕ(U
= ψ(U e )(s)(p) = (ψe ◦ ϕ)(U
e )(s)(p).
También, si idM es la identidad de M , tenemos
g
id M (U )(s)(p) = (idM )p (s(p)) = s(p) = idM
f(U )(s)(p) ,
g
luego id M = idM f; por tanto F es un funtor covariante. Tomemos ahora la siguiente
sucesión exacta de A-módulos y homomorfismos
ϕ ψ
0 −→ M −→ N −→ P −→ 0 .
Puesto que F es covariante, tenemos la sucesión de morfismos de haces
ϕ
e ψ e
f −→
0 −→ M e −→
N Pe −→ 0 . (4.1.1)
3.1 Haces de OX -Módulos 81
ϕ
ep ep
ψ
0 / f)p
(M / e )p
(N e )p
/ (P /0
ϕp ψp
0 / Mp / Np / Pp /0
donde las flechas verticales son isomorfismos según la afirmación (b) de la Proposición
4.1.7, y la fila horizontal inferior del diagrama es exacta para cada p ∈ X. De acuerdo
a la Proposición 3.1.18 obtenemos que la sucesión (4.1.1) es exacta; ası́ F es un funtor
exacto. Veamos finalmente que el funtor F es plenamente fiel, es decir, si M y N son
dos A-módulos, debemos probar que la aplicación θ : HomA (M, N ) → HomOX (M f, Ne)
definida por ϕ 7→ ϕ e es una biyección. En efecto, sean ϕ, ψ ∈ HomA (M, N ) tal que ϕ e
e = ψ,
de aquı́, ϕ(X)
e e
= ψ(X). Tomemos ahora un elemento arbitrario m ∈ M y sea s ∈ M f(X)
m
tal que s(p) = 1 para todo p ∈ X, entonces conseguimos
luego ϕ(m)
1
= ψ(m)
1
para todo ideal primo p de A, esto implica que ϕ(m) = ψ(m), y como
m es arbitrario, ϕ = ψ. Esto demuestra la inyectividad de θ.
Veamos a continuación que θ es sobreyectiva. Sea φ ∈ HomOX (M f, N
e ), de donde
f(X) → N
φ(X) : M e (X) es un homomorfismo de OX (X)-módulos. De acuerdo a los iso-
morfismos
f(X) ∼
M = M, N e (X) ∼
= N y OX (X) ∼ = A,
podemos considerar a ϕ := φ(X) como un homomorfismo de A-módulos de M en N .
Afirmamos que ϕ e = φ, en efecto, tomemos un abierto U de X y sea s ∈ M f(U ). De
acuerdo a la definición 4.1.4, podemos expresar a s localmente como un cociente; osea,
para cada punto de U existe un abierto V ⊆ U conteniendo dicho punto, y elementos
m ∈ M , f ∈ A tal que s(p)
= m/f en Mp para todo punto p ∈ V con f 6∈ p; por abuso
de notación escribimos sV = m/f . Para un punto p ∈ V arbitrario tenemos
m ϕ(m) φ(X)(m)(p)
e )(s)V (p) = ϕp (s(p)) = ϕp ( ) =
ϕ(U =
f f f
1 1 m
= φ(X) m (p) = φ(V ) (p)
f V f 1
m
= φ(V ) (p) = φ(V )(sV )(p) = φ(U )(s)V (p)
f
e )(s)V = φ(U )(s)V . Desde que N
por tanto, ϕ(U e es haz y los abiertos V cubren a
U , se sigue ϕ(U
e )(s) = φ(U )(s), y como s y U fueron tomados arbitrarios, tenemos que
ϕ
e = φ, de esta manera θ es sobreyectiva.
82 3. Haces Coherentes
(b) Sean M, N dos A-módulos. Por definición tenemos que M f ⊗O Ne es el haz asociado
X
f(U ) ⊗O (U ) N
al prehaz H que envı́a un abierto U a M e (U ). Tomando U = D(f ) tenemos
X
H(D(f )) ∼
= M f ⊗ A f Nf ∼
= (M ⊗A N )f ∼
= (M ⊗A N )e(D(f ))
y desde que el siguiente diagrama
M f ⊗ A f Nf +3 (M ⊗A N )f
M f g ⊗ A f g Nf g +3 (M ⊗A N )f g
∼
es conmutativo para todo f, g ∈ A, tenemos un isomorfismo de B-prehaces H − → (M ⊗A N )e
donde B está formado por los abiertos D(f ) con f ∈ A, entonces por el Corolario 4.1.5,
(M ⊗A N )e ∼=M f ⊗O N
X
e.
L ∼
(c) Sea {Mi }i∈I una familia de A-módulos. El haz i∈I M i es el haz asociado del
L f L
prehaz U 7→ Mi (U). Si tomamos U = D(f ), entonces H(D(f )) ∼ = ∼
i∈I (Mi )f =
L L
i∈I
∼
( i∈I Mi )f ∼= i∈I Mi (D(f )). Además, el siguiente diagrama
L L
i∈I (M i ) f
+3 (
i∈I Mi )f
L L
i∈I (Mi )f g ( Mi ) f g
+3
i∈I
∼
esL conmutativo
∼ para todo f, g ∈ A, luego tenemos un isomorfismo de B-prehaces H − →
i∈I M i donde B está formado por los abiertos D(f ) con f ∈ A, entonces por el
L f ∼ L ∼
Corolario 4.1.5, tenemos i∈I Mi = i∈I Mi .
(d) Denotemos por DA (g) y DB (h) a los abiertos básicos de Spec A y Spec B respec-
tivamente, donde g ∈ A y h ∈ B. Debido a que tenemos un homomorfismo de anillos
ρ(a)
Ag → Bρ(g) (dado por gak 7→ ρ(g) k ), podemos considerar al Bρ(g) -módulo Nρ(g) como un
γgg′
Nρ(gg′ ) +3 (A N )gg′
3.1 Haces de OX -Módulos 83
∼
e) −
es conmutativo para todo g, g ′ ∈ A, tenemos un isomorfismo de B-haces f∗ (N → (A N )e,
e) ∼
luego por el Corolario 4.1.5, f∗ (N = (A N )e.
Luego φ(V )(λhU, si ⊗ t) = λφ(V )(hU, si ⊗ t), lo que prueba que φ(V ) es un homomorfismo
de OY (V )-módulos. Por otro lado, para dos abiertos W ⊆ V de Y , el siguiente diagrama
es conmutativo
φ(V )
f(V ) ⊗f • O (V ) OY (V )
f •M / (M ⊗A B)˜(V )
X
•f
f M (W ) ⊗f • OX (W ) OY (W ) φ(W )
/ (M ⊗A B)˜(W )
donde las flechas verticales son las restricciones naturales. De esta manera φ es un mor-
fismo de prehaces. A continuación veamos que φ es un isomorfismo en los tallos, en efecto,
tomemos p ∈ Y , q = f (p) y un abierto V de Y que contenga a p, entonces tenemos el
84 3. Haces Coherentes
diagrama conmutativo
φ(V )
f ⊗f • O OY )(V )
(f • M / (M ⊗A B)˜(V )
X
•f φp
(f M )p ⊗f • (OX )p OY,p / (M ⊗A B)˜p
fq ⊗O OY,p
M X,q
ψp
Mq ⊗ A q B p +3 (M ⊗A B)p
Lema 4.2.1. Sea X un esquema, F un haz casi coherente (resp. coherente) sobre X y sea
U un subconjunto abierto de X, entonces F U es también casi coherente (resp. coherente)
donde la última igualdad viene de la Proposición 4.1.8; por tanto F U es casi coherente.
Ahora, si F es coherente, cada Mi es un Ai -módulo finitamente generado, luego Mi ⊗Ai
(Ai )hij es también de generación finita como (Ai )hij -módulo, por tanto F U es también
haz coherente. ✷
Lema 4.2.2. Sea X = Spec A un esquema afı́n y F un haz casi coherente sobre X.
Entonces existe un conjunto finito
de elementos g1 , . . . , gn de A, tal que X es cubierto por
los abiertos básicos D(gi ) y F D(gi ) ∼
=Mfi para todo i, donde cada Mi es un Ag -módulo.
i
Demostración. Como F es casi coherente, por definición X es cubierto por abiertos afines
V = Spec B tal que F V ∼ = M f donde M es un B-módulo. Por otro lado, como los
subconjuntos D(g) con g ∈ A forman una base para la topologı́a de X, existe una familia
{gi }i∈I de elementos de A tal V es cubierto por los abiertos D(gi ). Luego para cada
inclusión D(gi ) ⊆ V tenemos el morfismo inclusión ı : D(gi ) ֒→ V que se corresponde con
un homomorfismo de anillos B → Agi , entonces
F D(gi ) ∼
= (F V )D(gi ) ∼
=Mf
D(gi )
f∼
= ι∗ M = (M ⊗B Agi )e
(b). Sea t ∈ F(D(f )) y hagamos ti = tD(f gi ) para cada i = 1, . . . , r. Puesto que
F(D(f gi )) ∼
= (Mi ) f , podemos considerar a ti como un elemento de (Mi ) f , además como
1 1
tenemos una cantidad finita de ı́ndices i, tomando un entero n suficientemente grande,
t′
tenemos ti = ( f i)n donde t′i ∈ Mi para cada i; luego
1
t′ f n f n
t′i D(f gi ) = i = t′i = ti D(f gi )
1 1 1
Esta igualdad implica que ti D(f gi gj ) = tj D(f gi gj ) para todo i, j, ası́ tenemos
(ti D(gi gj ) − tj D(gi gj ) )D(f gi gj ) = 0.
Aplicando el ı́tem anterior al haz casi coherente F D(gi gj ) sobre Spec Agi gj y a su sección
m
global ti D(gi gj ) − tj D(gi gj ) , tenemos que f1 (ti D(gi gj ) − tj D(gi gj ) ) = 0 para algún m ≥ 1
(que depende de i, j), y tomando m suficientemente grande podemos hacer que m sea
fm fm
independiente de i y j. Luego tenemos que ( 1 ti ) D(gi gj ) = ( 1 tj ) D(gi gj ) y puesto que F
S m
es haz y X = r D(gi ), existe s ∈ Γ(X, F) tal que s
i=1 = f ti para todo i, luego
D(gi ) 1
f m
f m f n
f m+n
sD(f gi ) = · t i = · · t = ·t .
1 D(f gi ) D(f gi ) 1 D(f gi ) 1 D(f gi ) 1 D(f gi )
S
Finalmente, de la igualdad D(f ) = ri=1 D(f gi ) y de la propiedad de haz de F, obtenemos
m+n
sD(f ) = f1 t := f m+n t. ✷
morfismos α(D(f )) conmutan con las restricciones, por pegamiento de morfismos, existe
un único morfismo de haces de OX -módulos α : M f → F. Veamos que este morfismo es un
isomorfismo, para ello bastará probar que los homomorfismos α(D(f )) son isomorfismos
m 1
para cada f ∈ A. Sea f k ∈ Mf tal que f k .m D(f ) = 0, esto implica que mD(f ) = 0 y por
la primera afirmación del Lema 4.2.3 existe n > 0 tal que f n m = 0, por tanto fmk = 0
y α(D(f )) es inyectiva. Veamos la sobreyectividad, dado t ∈ F(D(f )), por la segunda
afirmación del Lema 4.2.3, existe n > 0 y m ∈ M = Γ(X, F) tal que m|D(f ) = f n t luego
α(D(f ))( fmn ) = t; de esta manera concluimos que F ∼ =Mf. La parte recı́proca es inmedi-
ata a partir de la definición de casi coherente y desde que los abiertos afines forman una
base de la topologı́a del espacio subyacente de un esquema. Supongamos ahora que X
es noetheriano y F coherente. Por el Lema 4.2.2, existe un conjunto finito de elementos
3.3 Más resultados en Haces Coherentes 87
g1 , . . . , gn de A, tal que X es cubierto por los abiertos básicos D(gi ) y F D(gi ) ∼
=Mfi para
todo i, donde Mi es un Agi -módulo finitamente generado. De lo anterior ya tenemos que
F∼ =M f luego
Mgi ∼
=M f(D(gi )) ∼
= F(D(gi )) ∼=M fi (D(gi )) ∼
= Mi
y sabemos que cada Mgi es un Agi -módulo finitamente generado; ahora bien, desde que
el anillo A es noetheriano, entonces Agi es también noetheriano y ası́ Mgi es noetheriano
para cada i. Luego, por un argumento similar dado en la prueba del Teorema 3.4.2 se
sigue que M es noetheriano, por tanto un A-módulo finitamente generado. ✷
Demostración. Por el Lema 3.1.20 sabemos que el funtor Γ(X, ·) es exacto a izquierda,
basta probar entonces que ψ(X) es sobreyectiva. Dado s ∈ Γ(X, F ′′ ), como X es casi com-
pacto, es cubierto con un número finito de abiertos básicos D(g1 ), . . . , D(gr ) con gi ∈ A;
y desde que ψ es sobreyectiva, del Lema 3.1.19 se sigue que existe ti ∈ F(D(gi )) tal que
ψ(D(gi ))(ti ) = sD(gi ) . Sea f = gi0 para un ı́ndice i0 fijo, afirmamos que para algún n > 0,
f n s es la imagen
de una sección global de F por la aplicación ψ(X). En efecto, si deno-
tamos t′i = ti0 D(f gi ) y t′′i = ti D(f gi ) , tendremos que t′i , t′′i ∈ F(D(f gi )) y ψ(D(f gi ))(t′i ) =
sD(f gi ) = ψ(D(f gi ))(t′′i ), luego t′i − t′′i ∈ Nuc ψ(D(f gi )) = Im ϕ(D(f gi )) ; por tanto
88 3. Haces Coherentes
existe ui ∈ F ′ (D(f gi )) tal que t′i − t′′i = ϕ(D(f gi ))(ui ). Como F ′ D(gi ) es casi coherente
y D(f gi ) es un abierto básico para D(gi ), por la segunda afirmación del Lema 4.2.3 ex-
iste ni > 0 tal que f ni ui se extiende a una sección vi ∈ F ′ (D(gi )), más aún, tomando
n = max{n1 , . . . , nr }, podemos suponer que f n ui se extiende a vi se para todo i = 1, .., r.
Luego
ϕ(D(gi ))(vi )D(f gi ) = ϕ(D(f gi ))(vi D(f gi ) ) = ϕ(D(f gi ))(f n ui ) = f n (t′i − t′′i ).
para cada i = 1, . . . , r, por tanto ψ(X)(t) = f m+n s. Esto prueba la afirmación. Ahora
bien, como f = gi0 donde i0 era fijo pero arbitrario, tenemos por la afirmación anterior
que para cada i = 1, .., r, existe una sección global ti de F tal que ψ(X)(ti ) = gini s
para algún ni > 0. Luego tomando n = max{ni } y multiplicando a ti por una potencia
de f , podemos asumir que ψ(X)(ti ) = gin s para todo i = 1, .., r. Por otro lado, como
los abiertos
Pr D(gi ) cubren a X, entonces el ideal hg1n , . . . ,P
grn i coincide con A, por tanto
1 = i=1 ai gin , donde
P P ai ∈ A. Sea la sección global t0 = ri=1 ai ti , entonces ψ(X)(t0 ) =
r r n
i=1 ai ψ(X)(ti ) = i=1 ai gi s = s. Con esto terminamos la prueba. ✷
Proposición 4.3.2. Sea X un esquema. El núcleo, conúcleo, la imagen y la coimagen
de cualquier morfismo de haces casi coherentes son casi coherentes. Si X es noetheriano,
lo mismo es verdad para haces coherentes.
Demostración. Sea ψ : F → G un morfismo de haces casi coherentes sobre X. Puesto que
X puede ser cubierto por abiertos afines y puesto que el funtor restricción a un abierto U
de X es exacto, tenemos que (Nuc ψ)|U = Nuc(ψ|U ), (Im ψ)|U = Im(ψ|U ), lo mismo para
el conúcleo y la coimagen; entonces debido al Lema 4.2.1, es suficiente considerar que el
esquema X es afı́n. Considerando la sucesión exacta
ψ
0 → Nuc ψ → F → G
y la exactitud a izquierda del funtor F 7→ Γ(X, F), tenemos la sucesión exacta
ψ(X)
0 → Nuc ψ(X) → F(X) → G(X)
f es exacto y F, G son casi coherentes, tenemos la sucesión
luego como el funtor M 7→ M
exacta
ψ
0 → (Nuc ψ(X))e → F → G .
3.3 Más resultados en Haces Coherentes 89
Ası́, Nuc ψ = (Nuc ψ(X))e, y se sigue Nuc ψ es casi coherente. Ahora consideremos la
sucesión exacta
0 → Nuc ψ → F → Im ψ → 0 .
Como Nuc ψ es casi coherente, por la Proposición 4.3.1 tenemos la sucesión exacta
(c). Debido al Lema 4.2.1, podemos considerar a Y como esquema afı́n. Ahora bien,
si f es casi compacto y separado, tendremos que X = f −1 (Y ) es cubierto por un número
finito de abiertos afines Ui tal que Ui ∩ Uj es afı́n; y en el caso en que X es casi compacto,
entonces podemos cubrir a X con un número finito de abiertos afines Ui tal que Ui ∩ Uj
es unión finita de abiertos afines. Denotemos a Ui ∩ Uj por Uij .
Supongamos primeramente′ que los Uij son afines. Por simplicidad escribimos Fi =
′
F Ui , Fij = F Uij , también Fi = (fi )∗ Fi y Fij = (fij )∗ Fij , donde fi y fij son las restric-
ciones de f a Ui y Uij , respectivamente. De acuerdo a la afirmación (d) en la Proposición
4.1.8, tanto Fi′ como Fij′ son isomorfos a hacesL asociados
L a ′ un módulo, luego por la afir-
′
mación (c) en la Proposición 4.1.8 los haces i Fi y ij Fij son OY -módulos casi coher-
L ′ L ′
entes. Para ver que f∗ F es casi coherente definiremos un morfismo ψ : i Fi → ij Fij
tal que f∗ F es isomorfo al núcleo de ψ, que es casi coherente por la proposición anterior.
Para cada subconjunto abierto W ⊆ Y , definimos
M M
ψ(W ) : F(f −1 (W ) ∩ Ui ) → F(f −1 (W ) ∩ Uij )
i ij
dado por (si ) 7→ (si|j − sj|i ), donde si|j denota la restricción de si sobre f −1 (W ) ∩ Uij :
es inmediato verificar que ψ es en realidad un morfismo. Para probar que Nuc(ψ) es
isomorfo a f∗ F, definimos un morfismo de f∗ F en Nuc(ψ) mediante los homomorfismos
F(f −1 (W )) → Nuc(ψ(W )) dado por s 7→ (si ), donde si denota la restricción de s sobre
f −1 (W ) ∩ Ui ; luego, resulta que estos homomorfismos son isomorfismos, este hecho es
consecuencia de la propiedad de haz.
Para el caso en que Uij es unión finita de abiertos afines, digamos por abiertos Uijk ,
usamos la misma idea de antes. Denotamos fijk a la restricción de f en Uijk , Fijk a la
′
restricción de F sobre Uijk y Fijk L (fijk′)∗ Fijk . Luego, argumentando como antes
al haz
llegamos a que el haz de OY -módulos ijk Fijk es casi coherente. Definimos para este
L L
caso un morfismo ψ ′ : F ′
ij ij → F ′
ijk ijk , definiendo en cada abierto W ⊆ Y , como
M M
ψ ′ (W ) : F(f −1 (W ) ∩ Ui ) → F(f −1 (W ) ∩ Uijk )
i ijk
dado por (si ) 7→ (si|j|k −sj|i|k ), donde si|j|k denota la restricción de si|j sobre f −1 (W )∩Uijk .
Resultará de manera similar que f∗ F es isomorfo al núcleo de ψ ′ , con esto termina la
prueba. ✷
Proposición 4.3.4. Sea f : X → Y un morfismo. Entonces se cumplen las siguientes
afirmaciones:
(a) Si f es una inmersión cerrada, entonces es un morfismo finito.
(b) Si f es un morfismo finito de esquemas noetherianos y F es un haz coherente sobre
X, entonces f∗ F es un haz coherente sobre Y .
Demostración. (a). Sea f : X → Y una inmersión cerrada, tomemos un abierto afı́n
U = Spec A y V = f −1 (U ). Como f (X) es cerrado en Y entonces, entonces f (V ) =
U ∩ f (X) es cerrado en U , y por el Corolario 4.3.8, f (V ) ∼
= Spec A/I para algún ideal
I de A. Puesto que fV := f |V : V → f (V ) es un homeomorfismo, V es un esquema
afı́n, digamos V = Spec B. Por otro lado, puesto que f ♯ es sobreyectiva, el morfismo
3.3 Más resultados en Haces Coherentes 91
fibrado de Y por Y sobre X( ver definición 3.4.6), de donde se tiene que el morfismo
diagonal △ : Y → Y ×X Y es un isomorfismo, en particular, es una inmersión cerrada,
de esta manera i es un morfismo separado. Entonces por la Proposición 4.3.3, i∗ (OY ) es
casi coherente, luego i♯ es un morfismo de haces coherentes, y por la Proposición 4.3.2,
JY = Nuc (i♯ ) es casi coherente.
Por otro lado, sea J un haz de ideales casi coherente sobre X, definimos Y como
el soporte del haz OX /J , que es un subconjunto cerrado de X debido al Lema 4.3.5,
definimos el haz estructural de Y como el haz OY := (OX /J )|Y . Sea i : Y → X la
aplicación inclusión, entonces de la Proposición 3.1.24, tenemos un morfismo canónico
ψ : OX /J → i∗ i−1 (OX /J ) = i∗ OY .
Este morfismo es un isomorfismo, se puede chequear el isomorfismo en los tallos. Final-
mente definimos el morfismo i♯ : OX → i∗ OY como la composición del morfismo canónico
OX → OX /J y el isomorfismo ψ, de esta manera i♯ es un morfismo sobreyectivo. Para ver
que (Y, OY ) es un subesquema cerrado de X resta verificar que (Y, OY ) es un esquema, en
efecto, para cualquier abierto afı́n V de X se sigue del Lema 3.1.3 que Y ∩ V es el soporte
del haz OV /J |V , y por el Lema 4.3.6, el espacio anillado (Y ∩ V, OY ∩V ) es un esquema
afı́n, donde OY ∩V = (OV /J |V )|Y ∩V , y es inmediato verificar que OY ∩V = OY |Y ∩V , por
tanto Y es un esquema. Por otro lado, el haz ideal JY de Y es isomorfo a J , en efecto,
esto se sigue del siguiente diagrama conmutativo
0 / J / OX / OX /J / 0
id ψ
0 / JY / OX / i∗ O Y / 0
i♯
Por otra parte, de la Proposición 3.1.24, existe un morfismo canónico ϕ : i−1 (i∗ OY ) →
OY , este morfismo es un isomorfismo ya que lo es en los tallos, si p ∈ Y tenemos
L(U ) +3 A
Lp +3 Ap
L(Ui )⊗n ⊗ F(Ui ) / L⊗n ⊗ F(Ui )
donde las flechas verticales son las correspondientes restricciones. Consideremos el ele-
mento f ⊗n ⊗s ∈ L(X)⊗n ⊗F(X), tenemos (f ⊗n ⊗s)|Ui = (f |Ui )⊗n ⊗s|Ui , donde este último
elemento se identifica con (f |Ui )n s|Ui = 0 por el isomorfismo L(Ui )⊗n ⊗ F(Ui ) ∼ = F(Ui ),
de esta manera tenemos (f ⊗n ⊗ s)|Ui = 0 para cada i; del diagrama anterior podemos
considerar a f ⊗n ⊗ s como una sección global de L⊗n ⊗ F tal que restringido a cada Ui es
cero; por tanto tenemos f ⊗n ⊗ s = 0 como sección global de L⊗n ⊗ F.
(b). Para cada i, tenemos L|Ui ∼ = OX |Ui . Dado t ∈ Γ(Xf , F), para cada i, denotemos
ti a la restricción de t sobre Xf ∩ Ui . Como Xf ∩ Ui = D(gi ), donde gi ∈ Ai es el
elemento que se identifica con f |Ui ∈ L(Ui ), la Proposición 4.2.3 nos asegura que existe n
(que depende de i) tal que gin ti se extiende a una sección de F sobre Ui , es decir, existe
si ∈ F(Ui ) tal que si |Xf ∩Ui = gin ti , puesto que hay una cantidad finita de abiertos Ui
podemos conseguir que n no dependa de i. Del isomorfismo L|Ui ∼ = OX |Ui , obtenemos el
isomorfismo L(Xf ∩ Ui ) ∼ O
= X f (X ∩ U i ), luego
De esta manera gin ti se identifica con (f |Xf ∩Ui )⊗n ⊗ t|Xf ∩Ui por medio de este último
isomorfismo. Entonces
si |Xf ∩Ui = gin ti = (f |Xf ∩Ui )⊗n ⊗ t|Xf ∩Ui = (f ⊗n ⊗ t)|Xf ∩Ui , (4.3.3)
luego si |Xf ∩Ui ∩Uj = sj |Xf ∩Ui ∩Uj , y por tanto (si |Ui ∩Uj − sj |Ui ∩Uj )|Xf ∩Ui ∩Uj = 0.
3.4 Correspondencia Proyectiva de Serre 95
para todo i, j; o sea fij⊗m ⊗ si |Ui ∩Uj = fij⊗m ⊗ si |Ui ∩Uj , para todo i, j. Luego tenemos
(f |Ui )⊗m ⊗ si |Ui ∩Uj = fij⊗m ⊗ si |Ui ∩Uj = fij⊗m ⊗ sj |Ui ∩Uj = (f |Uj )⊗m ⊗ sj |Ui ∩Uj
para todo i, j. Por tanto por la propiedad de haz, existe una sección global s de F ⊗
L⊗(n+m) tal que s|Ui = (f |Ui )⊗m ⊗ si . Luego usando la ecuación (4.3.3), tenemos
s|Xf ∩Ui = (f |Ui )⊗m ⊗ si |Xf ∩Ui = (f ⊗m ⊗ f ⊗n ⊗ t)|Xf ∩Ui = (f ⊗(m+n) ⊗ t)|Xf ∩Ui
Demostración. (a) En esta parte solo hay que imitar el argumento de la primera afirmación
en la Proposición 4.1.7.
(b) Dado un punto p ∈ X, definimos la aplicación (M f)p → M(p) dado por hU, si 7→ s(p);
la prueba de este isomorfismo es similar a la primera afirmación de la Proposición 3.2.6.
(c) Consideremos el homeomorfismo ϕ : D+ (f ) → Spec S(f ) de la segunda afirmación
en la Proposición 3.2.6, dado por p → pSf ∩ S(f ) . Para cada p ∈ D+ (f ) el homomorfismo
r s
ψp : (M(f ) )ϕ(p) → M(p) definido por m/f
h/f s
7→ ff rm
h
es un isomorfismo, con inverso φp : M(p) →
m (hd−1 m)/f e
(M(f ) )ϕ(p) dado por h
7→ donde d = ∂(f ) y e = ∂(m) = ∂(h). Ahora bien,
hd /f e
para un abierto U ⊆ D+ (f ) definimos ξ(U ) : Mf (U ) → (M(f ) )e(U ) por ξ(U )(s)(p) =
D+ (f )
φp (s(ϕ(p))). No hay dificultad en ver que ξ está bien definida y es un isomorfismo de
haces.
f es casi coherente resulta inmediato de (c). Finalmente, si S es
(d) El hecho que M
noetheriano y M es finitamente generado, entonces S(f ) es un anillo noetheriano y M(f )
es finitamente generado como S(f ) -módulo; de acuerdo a la Proposición 4.2.4 el haz M f es
coherente. ✷
g
id f(U )(s)(p)
M (U )(s)(p) = (idM )(p) (s(p)) = s(p) = idM
g
por tanto id · es un funtor covariante.
f, por tanto e
M = idM
Tomemos ahora la siguiente sucesión exacta de S-módulos graduados
ϕ ψ
0 −→ M −→ N −→ L −→ 0
ϕ
e ψ e
f −→
0 −→ M e −→
N e −→ 0
L (4.4.4)
3.4 Correspondencia Proyectiva de Serre 97
ϕ(p) ψ(p)
0 / M(p) / N(p) / L(p) / 0
y por el Lema 2.2.7, la segunda fila del diagrama es exacta para cada p ∈ X. De acuerdo
a la Proposición 3.1.18 obtenemos que la sucesión (4.4.4) es exacta.
Lema 4.4.2. Sea S un anillo graduado, X = Proj S y sean M, N dos S-módulos gradu-
ados. Entonces existe un morfismo de haces λ : M f ⊗O N e → (M ⊗S N )e; mas aún, si S
X
es generado por S1 como S0 -álgebra, entonces λ es un isomorfismo.
Demostración. Dado f ∈ S homogéneo de grado positivo, definimos el homomorfismo de
S(f ) -módulos λf : M(f ) ⊗S(f ) N(f ) → (M ⊗S N )(f ) dado por fxm ⊗ fyn 7→ fx⊗y
m+n . Si tomamos
λf g
M(f g) ⊗S(f g) N(f g) / (M ⊗S N )(f g)
p
f⊗N
Denotemos por M e el prehaz producto tensorial de M
fyN
e sobre OX , entonces
p
f⊗N
M e (D+ (f )) = M e (D+ (f )) ∼
f(D+ (f )) ⊗ N = M(f ) ⊗S(f ) N(f ) .
Por otra parte tenemos un isomorfismo (M ⊗S N )e(D+ (f )) ∼ = (M ⊗S N )(f ) . Entonces del
p
diagrama anterior se deduce el morfismo de B-prehaces M f⊗N e → (M ⊗S N )e, donde B
es la base formada por los abiertos D+ (f ) con f homogéneo de grado positivo, luego por
el Corolario 4.1.5, tenemos un morfismo de haces λ : M f ⊗O N e → (M ⊗S N )e.
X
Supongamos ahora que S+ es generado por S1 , en este caso X es cubierto por los
abiertos D+ (f ) con f ∈ S1 , entonces para mostrar que λ sea un isomorfismo, basta que
los λf lo sean para todo f ∈ S1 . En efecto, dado f ∈ S1 , todo elemento de (M ⊗S N )(f )
es una suma finita de elementos de la forma x⊗y fk
tal que x ∈ Mm , y ∈ Nn y m + n = k.
Como f es un elemento de S1 , podemos definir el homomorfismo
x⊗y x y
γf : (M ⊗S N )(f ) → M(f ) ⊗S(f ) N(f ) por k
7→ m ⊗ n .
f f f
No hay dificultad en ver que este homomorfismo es el inverso de λf . ✷
En lo que sigue, todos los anillos graduados serán de la forma S = S0 [S1 ] salvo que se
indique de otra manera.
98 3. Haces Coherentes
Definición 4.4.2 (El haz torcido de Serre). Sea S un anillo graduado y sea X = Proj S.
Para cualquier n ∈ Z, definimos OX (n) como el haz casi coherente S(n)e sobre X. Lla-
maremos haz torcido de Serre al haz OX (1). Si F es un haz de OX -módulo, definimos el
haz torcido F(n) como el haz F ⊗OX OX (n).
f(n) ∼
(b) Para cualquier S-módulo graduado M , tenemos M = (M (n))e. En consecuencia,
OX (n) ⊗OX OX (m) ∼= OX (n + m).
a af n
por otro lado, desde que la aplicación S(f ) → S(n)(f ) dada por fk
7→ fk
es un isomorfismo
de S(f ) -módulos, entonces (S(n)(f ) )e ∼
= (S(f ) )e. Además,
OX (n)D+ (f ) = S(n)eD+ (f ) ∼
= (S(n)(f ) )e ∼
= (S(f ) )e ∼
= OX D+ (f ) .
S
Por el Lema 2.3.9 tenemos X = f ∈S1 D+ (f ), por tanto OX (n) es un haz inversible.
(b). Usando el Lema 4.4.2 tenemos que
f(n) = M
M f ⊗O S(n)e ∼
f ⊗O OX (n) = M = (M ⊗S S(n))e
X X
S T
(c). Denotemos por D+ (g) y D+ (h) a los abiertos básicos de Proj S y Proj T re-
spectivamente, donde g ∈ S y h ∈ T son de grado positivo. Puesto que tenemos el
ϕ(a)
homomorfismo de anillos S(g) → T(ϕ(g)) definido por gak 7→ ϕ(g) k , podemos considerar al
T(ϕ(g)) -módulo N(ϕ(g)) como un S(g) -módulo. Además, es inmediato verificar que la apli-
n n
cación γg : N(ϕ(g)) → (S N )(g) dado por ϕ(g) k 7→ g k es un isomorfismo de S(g) -módulos. Por
3.4 Correspondencia Proyectiva de Serre 99
γgg′
N(ϕ(gg′ )) / (S N )(gg′ )
Además tenemos
e |U )(D+
f∗ ( N S e (f −1 (D+
(g)) = N S e (DT (ϕ(g))) ∼
(g))) = N = N(ϕ(g)) ,
+
(M ⊗S T )(hh′ ) / M(gg′ ) ⊗S(gg′ ) T(hh′ )
∼
aplicando el funtor tenemos siguiente diagrama conmutativo
((M ⊗S T )(h) )∼ / (M(g) ⊗S(g) T(h) )∼
((M ⊗S T )(hh′ ) )∼ / (M(gg′ ) ⊗S(gg′ ) T(hh′ ) )∼
donde ((M ⊗S T )(h) )∼ se identifica con (M ⊗S T )∼ |D+T (h) . Por otra parte, es inmediato
T S
comprobar que f (D+ (h)) ⊆ D+ (g), luego tenemos un isomorfismo
f|DS (g) ) ∼
(f |D+T (h) )∗ (M f)|DT (h) .
= f ∗ (M
+ +
100 3. Haces Coherentes
T S
Puesto que D+ (h) y D+ (g) son esquemas afines, por el ı́tem (e) de la Proposición 4.1.8,
tenemos
(f |D+T (h) )∗ (Mf|DS (g) ) ∼
= (f |D+T (h) )∗ ((M(g) )∼ ) ∼
= (M(g) ⊗S(g) T(h) )∼ .
+
De esta manera tenemos el isomorfismo (M ⊗S T )∼ |D+T (h) ∼ f)|DT (h) . Además del
= f ∗ (M +
diagrama conmutativo
∼
(M ⊗S T ) |D+T (hh′ ) / ∗ f)|DT (hh′ )
f (M +
P P P
elementos f = n fn y g = n gn de Γ∗ (OX ), definimos el producto f g = m,n λm,n (fm ⊗
gn ). Se comprueba fácilmente que este producto convierte a Γ∗ (OX ) en un anillo graduado.
Ahora consideremos el homomorfismo natural
Mn
αfn αgn
w '
f(n))
Γ(D+ (f ), M f(n))
Γ(D+ (g), M
' w
f(n))
Γ(D+ (f g), M
donde las flechas inferiores son las restricciones usuales. Esto significa que para todo
x ∈ Mn las secciones αnf (x) y αng (x) coinciden en D+ (f ) ∩ D+ (g), y puesto que los abiertos
D+ (f ) cubren a X, existe una única sección αn (x) ∈ Γ(X, M f(n)) tal que αn (x)|D+ (f ) =
f
αn (x) para todo elemento homogéneo f ∈ S+ . Ası́ queda definida la aplicación αn : Mn →
Γ(X, Mf(n)) que por el Lema 3.1.15 es un homomorfismo de grupos, y por extensión
conseguimos el homomorfismo de grupos
M
αM := αn : M → Γ∗ (Mf) .
n∈Z
102 3. Haces Coherentes
P f ∈ S+ es homogéneo.
donde P Por tanto αS (sm tn ) = αS (sm ).αS (tn ). Ahora bien, sean
s = m≥0 sm y t = n≥0 tn dos elementos de S, entonces
X X X
αS (st) = αS ( sm t n ) = αS (sm tn ) = αS (sm )αS (tn )
m,n≥0 m,n≥0 m,n≥0
X X
= αS (sm ) αS (tn ) = αS (s)αS (t) .
m≥0 n≥0
f) → Γ∗ (M
S × Γ∗ (M f) , definida por (s, f ) 7→ αS (s)f ,
p
(F ⊗ OX (n))+ = F(n). Si denotamos por idn al morfismo identidad sobre OX (n),
p p p
tenemos un morfismo de prehaces ϕ ⊗ idn : F ⊗ OX (n) → G ⊗ OX (n) , luego tenemos
p p
el morfismo asociado (ϕ ⊗ idn )+ : F(n) → G(n). Si (ϕ ⊗ idn )+
X es el homomorfismo de
p
secciones globales de (ϕ ⊗ idn )+ , entonces definimos el homomorfismo graduado
M p
Γ∗ (ϕ) := (ϕ ⊗ idn )+
X : Γ∗ (F) → Γ∗ (G) .
n∈Z
p
Sean ϕ : F → G y ψ : G → H dos morfismos de OX -módulos, entonces ((ψ ◦ ϕ) ⊗ idn )+ =
p p p p p p
((ψ ⊗ idn )◦(ϕ ⊗ idn ))+ = (ψ ⊗ idn )+ ◦(ϕ ⊗ idn )+ , luego ((ψ ◦ϕ) ⊗ idn )+ +
X = (ψ ⊗ idn )X ◦
p p
(ϕ ⊗ idn )+ +
X , por tanto Γ∗ (ψ ◦ ϕ) = Γ∗ (ψ) ◦ Γ∗ (ϕ), por otro lado (idF ⊗ idn )X = idΓ(X,F (n))
de donde tenemos Γ∗ (idF ) = idΓ∗ (F ) . Por tanto Γ∗ es un funtor covariante. ✷
Observación 4.4.5. El funtor Γ∗ es un funtor exacto a izquierda de QCoh(X) en SModGr.
Sea 0 → F → G → H → 0 una sucesión exacta en QCoh(X). Tomemos un entero n,
afirmamos que la sucesión
0 → F(n) → G(n) → H(n) → 0
0 / Fp / Gp / Hp /0 (4.4.7)
0 / Mq / Nq / Pq /0
0 / M (n)q / N (n)q / P (n)q / 0
Del diagrama (4.4.7) tenemos que su sucesión inferior es exacta, luego la sucesión inferior
de (4.4.8) es exacta, por tanto su sucesión superior es exacta para p ∈ D+ (f ), pero como
f es arbitrario, podemos conseguir que es exacta para todo p ∈ X, esto implica que la
sucesión
0 → F(n) → G(n) → H(n) → 0
es exacta, luego tenemos la sucesión exacta
0 → Γ(X, F(n)) → Γ(X, G(n)) → Γ(X, H(n))
104 3. Haces Coherentes
como queremos.
Corolario 4.4.6. Sea A un anillo, sea S = A[x0 , . . . , xr ], r ≥ 0, y sea X = Proj S.
Entonces S ∼
= Γ∗ (OX ).
Demostración. Puesto que los elementos x0 , . . . , xr ∈ S1 generan a S como S0 -álgebra
(en este caso S0 = A), los abiertos D+ (xi ) cubren a X. Consideremos el homomorfismo
de anillos α = αS : S → Γ∗ (OX ) de la Proposición 4.4.4 , este homomorfismo era suma
directa de los homomorfismo de grupos αn : Sn → Γ(X, OX (n)) con n ∈ Z, y para cada
i, tenı́amos que αn (f )|D+ (xi ) = αnxi (f ) para todo f ∈ Sn , donde αnxi : Sn → S(n)(xi ) es
el homomorfismo definido por f 7→ f /1. Ası́, para probar que α es un isomorfismo,
basta probar que cada αn es biyectiva. Veamos que αn es inyectiva, tomemos f ∈ Sn
tal que αn (f ) = 0 esto implica que f /1 = 0 en S(n)(xi ) para todo i = 0, .., r. Fijando i,
existe un entero k tal que xki f = 0, y como xi no es divisor de cero, tenemos f = 0. A
continuación veamos que αn es sobreyectiva. Dar un elemento de Γ(X, OX (n)) equivale
f
a dar r + 1 elementos xfki ∈ S(n)(xi ) tal que xfki = xjk en S(n)(xi xj ) para todo i, j = 0, .., r,
i i j
donde fi ∈ Sk+n para todo i. A continuación encontraremos un elemento f ∈ Sn tal que
f
1
= xfki en S(n)(xi ) para todo i = 0, .., r, para ello afirmamos que xki divide a fi para todo
i
i = 0, .., r, esto equivale a decir que todo monomial de fi tiene a xki como factor. En efecto,
si r = 0, tenemos que X = D+ (x0 ), lo que nos da un único elemento xf0k ∈ S(n)(x0 ) donde
0
f0 ∈ Sk+n , luego f0 = ax0k+n para algún a ∈ A. Supongamos ahora que r > 0 y fijemos un
f
ı́ndice i = 0, .., r; tomando j 6= i, de la igualdad xfki = xjk y desde que xi , xj no son divisores
i j
entonces existe un entero l tal que f l t = 0, esto implica que t = 0 como querı́amos. Por
otro lado, como αS (S) ⊆ S ′ , podemos considerar a S como subanillo de S ′ .
(b). Supongamos que S es generado como S0 -álgebra por un número finito de ele-
mentos no nulos x0 , . . . , xr ∈ S1 . Para cada n ∈ Z y cada elemento homogéneo f ∈ S+ ,
consideremos el isomorfismo
∼
ψnf : S(n)(f ) −
→ Γ(D+ (f ), OX (n)) .
Sea T el conjunto de tuplas (t0 , . . . , tr ) donde ti ∈ Sxi tal que ti , tj tienen la misma imagen
en Sxi xj , para todo i, j. Dotando a T de la suma y producto puntual
Del diagrama
S xi S xj
! }
Sxi xj
y desde que (Sxi )n = S(n)(xi ) , (Sxj )n = S(n)(xj ) y (Sxi xj )n = S(n)(xi xj ) , tenemos el
diagrama
S(n)(xi ) S(n)(xj )
% y
S(n)(xi xj )
luego si (t0 , . . . , tr ) ∈ Tn entonces los elementos ti , tj coinciden en S(n)(xi xj ) . Esto es
equivalente a decir que
ψnxi (ti )|D+ (xi xj ) = ψnxi (tj )|D+ (xi xj ) en Γ(D+ (xi xj ), OX (n))
De la propiedad de haz, existe una única sección global ρn (t0 , . . . , tr ) de OX (n) tal que
ρn (t0 , . . . , tr )|D+ (xi ) = ψnxi (ti ) para todo i = 0, . . . , r. Luego por el Lema 3.1.15, tenemos
un homomorfismo de grupos ρn : Tn → Γ(X, OX (n)). Veamos que ρn es un isomorfismo,
sea (t0 , . . . , tr ) ∈ Tn tal que ρn (t0 , . . . , tr ) = 0, entonces ψnxi (ti ) = ρn (t0 , . . . , tr )|D+ (xi ) = 0,
ası́ ti = 0 para todo i = 0, . . . , r, esto muestra que ρn es inyectiva. Por otro lado, dado
s ∈ Γ(X, OX (n)), para cada i = 0, .., r tomemos ti := (ψnxi )−1 (s|D+ (xi ) ) ∈ S(n)(xi ) , luego de
la igualdad ψnxi (ti ) = s|D+ (xi ) y de la definición de ρn (t0 , . . . , tr ), tenemos ρn (t0 , . . . , tr ) =
s, o sea que ρn es sobreyectiva. Por tanto, el homomorfismo anillos graduados ρ =
L
n∈Z ρn : T → Γ∗ (OX ) es un isomorfismo. Por otra parte, puesto que los elementos xi
son no nulos y S es dominio, los homomorfismos canónicos γi,j : Sxi → Sxi xj y λi : Sxi →
106 3. Haces Coherentes
Sx1 ···xr son todos inyectivos, y λi se factoriza por la inyección κi,j : Sxi xj → Sx1 ···xr , es
decir λi = κi,j ◦ γi,j para todo i, j. Sea (t0 , . . . , tr ) ∈ T , entonces ti , tj tienen la misma
imagen en Sxi xj , es decir γi,j (ti ) = γj,i (tj ), y puesto que κi,j = κj,i , componiendo tenemos
λi (ti ) = λj (tj ) para todo i, j, de esta manera el homomorfismo T → Sx1 ···xr dado por
(t0 , . . . , tr ) 7→ λi (ti ) es independiente de i, además este homomorfismo es inyectivo, pues,
si λi (ti ) = 0 entonces ti = 0 ya que λi es inyectivo, y como λj (tj ) = λi (ti ) = 0 tenemos
tj = 0 para todo j. Ası́ tenemos S ֒→ S ′ ⊆ Γ∗ (OX ) ∼ = T ֒→ Sx1 ···xr por lo cual podemos
considerar a Γ∗ (OX ) como un subanillo del dominio Sx1 ···xr conteniendo S, en particular
S ′ y Γ∗ (OX ) son dominios.
Supongamos ahora que S es noetheriano. Dado un elemento b ∈ Sn′ = Γ(X, OX (n))
homogéneo donde n ≥ 0, entonces para cada 0 ≤ i ≤ r, existe un entero m = m(i) ≥ 0 y
xj
un elemento homogéneo a ∈ Sn+m tal que a/xm m
i ∈ S(n)(xi ) y b|D+ (xj ) = ψn (a/xi ), luego
x x x x
(αS (xm j m j m j m j
i )b)|D+ (xj ) = αm (xi )b|D+ (xj ) = ψm (xi /1)ψn (a/xi ) = ψm+n (a/1) = αS (a)|D+ (xj )
para todo j, entonces αS (xi )b = αS (a), luego considerando S ⊆ S ′ , tenemos xm
m
i b ∈ S.
Por otro lado, como {x0 , . . . , xr } ⊆ S, tomando m0 suficientemente grande, tenemos
xmi b ∈ S para todo 0 ≤ i ≤ r, y puesto que los elementos xi generan S como S0 -álgebra,
0
βf g
M(f g) / Γ(D+ (f g), F)
βf g
f)
Γ(D+ (f g), M +3 M(f g) / Γ(D+ (f g), F)
f, tomamos un abierto D+ (f )
Demostración. La verificación es local. Sea α = αM , β = βM
con f ∈ Sd con d > 0. Entonces debemos comprobar que el homomorfismo compuesto
αf βf
f))(f ) → M(f )
M(f ) → (Γ∗ (M
(F ⊗OX G)|U ∼
= F|U ⊗OX |U G|U ∼
=M e∼
f⊗e N
A = (M ⊗A N )e.
Por la Proposición 4.2.4, se sigue F ⊗OX G es casi coherente. Supongamos ahora que X
es localmente noetheriano, entonces por el Teorema 3.4.2 el anillo A es noheteriano y por
la Proposición 4.2.4 los A-módulos M y N son finitamente generados, por tanto M ⊗A N
es finitamente generado y se sigue que F ⊗OX G es coherente. ✷
Lema 4.4.11. Sea S un anillo graduado y X = Proj S. Consideremos un elemento
homogéneo f ∈ Sd con d > 0 y sea fe ∈ Γ(X, OX (d)) tal que f˜(p) = f /1 para todo p ∈ X.
Entonces para el haz inversible L = OX (d) tenemos que Xf˜ = D+ (f ).
Demostración. Puesto que X es cubierto por los abiertos D+ (g) con g ∈ S1 , entonces
es suficiente probar que Xf˜ ∩ D+ (g) = D+ (f ) ∩ D+ (g) para todo g ∈ S1 . Sea mp el
ideal maximal de OX,p ; puesto que Lp = S(d)ep ∼ = S(d)(p) y mp ∼ = pS(p) se sigue que
mp Lp ∼
= pS(d)(p) , y la condición f˜p 6∈ mp Lp equivale a que f /1 6∈ pS(d)(p) . De esta manera
Xf˜ ∩ D+ (g) es el conjunto de todos los primos p ∈ D+ (g) tal que f /1 6∈ pS(d)(p) , y es
inmediato verificar que este conjunto coincide con D+ (f ) ∩ D+ (g). ✷
Proposición 4.4.12. Sea S un anillo graduado finitamente generado por S1 como S0 -
álgebra y sea X = Proj S. Si F un haz casi coherente sobre X, entonces el morfismo
βF : Γ∗ (F)e → F (de la Proposición 4.4.8) es un isomorfismo.
3.4 Correspondencia Proyectiva de Serre 109
Demostración. Para mostrar que βF es isomorfismo, basta probar que para todo f ∈ S1 ,
el homomorfismo βf : M(f ) → Γ(D+ (f ), F) dado por fzn 7→ (αS (f n )|D+ (f ) )−1 (z|D+ (f ) ) es un
isomorfismo. Para ver la inyectividad consideremos fzn ∈ M(f ) tal que (αS (f n )|D+ (f ) )−1 (z|D+ (f ) ) =
0, esto implica que z|D+ (f ) = 0. Como F es casi coherente, por el Lema 4.4.10, F(n) es
también casi coherente, entonces por el Lema 4.4.11 tenemos que Xf˜ = D+ (f ). Ahora
bien, considerando el haz inversible L = OX (1), podemos aplicar la afirmación (a) de
la Proposición 4.3.10 a la sección global z de F(n) y obtenemos un entero m > 0, tal
que f m z = 0 es considerado como sección global de F(n + m) ∼ = F(n) ⊗ L⊗m , por
z
tanto f n = 0. A continuación veamos la sobreyectividad. Tomemos t ∈ Γ(D+ (f ), F),
puesto que S es finitamente generado por S1 como S0 -álgebra, X es cubierto por un
número finito de los abiertos afines D+ (f ) con f ∈ S1 . Además, si f, g ∈ S1 , los
abiertos D+ (f ) ∩ D+ (f ) = D+ (f g) son casi compactos y evidentemente L|D+ (f ) es li-
bre donde f ∈ S1 . Entonces por el ı́tem (b) de la Proposición 4.3.10 existe un entero
m > 0 tal que la sección f m t ∈ Γ(D+ (f ), F ⊗ L⊗m ) se extiende a una sección global de
F(m) ∼ = F ⊗ L⊗m , es decir, existe un elemento z ∈ Γ(X, F(m)) tal que z|D+ (f ) = f m t,
donde f m t ≡ αS (f m )|D+ (f ) t, luego tenemos
(b) Un esquema Y sobre Spec A es proyectivo si, y sólo si, éste es isomorfo a Proj S
para algún anillo graduado S con S0 = A, y S finitamente generado por S1 como
S0 -álgebra.
Demostración. (a). Sea JY el haz ideal de Y sobre X = PrA . Puesto que el funtor
Γ∗ es exacto y JY es un subhaz de OX , el anillo Γ∗ (JY ) es un submódulo graduado de
Γ∗ (OX ), y por el Corolario 4.4.6 tenemos Γ∗ (OX ) = S, de esta manera Γ∗ (JY ) es un ideal
homogéneo de S, denotaremos por I a este ideal. Por el Corolario 3.5.2, tenemos una
inmersión cerrada f : Proj S/I → X inducido por la proyección S → S/I, además f se
g j
factoriza en Proj S/I → V+ (I) → X donde g es un isomorfismo de Proj S/I sobre el
subesquema cerrado V+ (I) de X y j es el morfismo inclusión.
˜ En efecto, puesto que f (Proj S/I) = V+ (I) es
Veamos que el haz ideal de V+ (I) es I.
cerrado en X, tenemos para p ∈ X
OProj S/I,p/I , si p ∈ V+ (I) ,
(f∗ (OProj S/I ))p =
0, si p ∈ X\V+ (I) .
110 3. Haces Coherentes
0 / ˜p
(I) / OX,p / (f∗ (OProj S/I ))p / 0 (4.4.10)
0 / I(p) / S(p) / (S/I)(p/I) / 0
donde la fila inferior es exacta para todo p ∈ X. Puesto que (S/I)(p/I) = 0 para todo
p ∈ X\V+ (I), el diagrama (4.4.10) es exacta para todo p ∈ X, esto implica que la sucesión
f ♯
0 → I˜ → OX → f∗ (OProj S/I ) → 0
j♯
0 / Nuc j ♯ / OX / j∗ (OV (I) ) / 0
+
id j∗ (g ♯ )
0 / I˜ / OX / f∗ (OProj S/I ) /0
f♯
ϕ : S → T = S ⊗Z A dado por f 7→ f ⊗ 1
donde el conjunto abierto U definido en la Proposición 3.5.1 coincide con PrY ya que
ϕ(S+ )T = T+ , luego por la Proposición 4.4.3, tenemos g ∗ (OPrZ (1)) = OX (1).
Ejemplo 4.4.15. Cualquier haz casi coherente F sobre un esquema afı́n X, es generado
por secciones globales. En efecto, tenemos que F = M f donde M es un A-módulo. Dado
p ∈ X entonces, la imagen de cualquier conjunto generador de M en Mp , generará Mp = Fp
como Ap -módulo.
Ejemplo 4.4.16. Sea X = Proj S, donde S es un anillo graduado que es generado por
S1 como S0 -álgebra. Entonces los elementos de S1 son secciones globales de OX (1) que lo
generan.
Por la parte anterior la última expresión es isomorfo a (fi )∗ (F|Ui ) ⊗OVi E|Vi y por otro
lado (fi )∗ (F|Ui ) ⊗OVi E|Vi ∼
= (f∗ F ⊗OY E)|Vi , entonces
(f∗ (F ⊗OX f ∗ E))|Vi ∼
= (f∗ F ⊗OY E)|Vi .
Luego podemos chequear sin dificultad que E|Vi ∩Vj es libre para todo i, j, y el siguiente
diagrama es conmutativo
(f∗ (F ⊗OX f ∗ E))|Vi +3 (f∗ F ⊗OY E)|Vi
(f∗ (F ⊗OX f ∗ E))|Vi ∩Vj +3 (f∗ F ⊗OY E)|Vi ∩Vj
Entonces por pegamiento de isomorfismos (lema 3.1.25), obtenemos un isomorfismo f∗ (F⊗OX
∼
f ∗ E) −
→ f∗ F ⊗OY E.
✷
3.4 Correspondencia Proyectiva de Serre 113
ası́ i∗ (F(n)) ∼
= (i∗ F)(n). Puesto que i es una inmersión cerrada, i(X) es un subconjunto
cerrado de PrA , luego para q ∈ PrA tenemos
F(n)p , si q = i(p) ∈ i(X) ,
(i∗ (F(n))q =
0, si p 6∈ i(X) .
Se sigue que F(n) es generado por secciones globales si, y sólo si, i∗ (F(n)) es generado
por secciones globales. De esta manera el teorema queda reducido al caso X = PrA =
Proj S, donde S = A[x0 , . . . , xr ], y el haz muy amplio sobre X es el haz torcido de Serre
OX (1). Entonces X es cubierto por los abiertos D+ (xi ) con i = 0, .., r, luego como F es
coherente, para cada i, existe un módulo finitamente generado Mi sobre Bi = S(xi ) tal que
F|D+ (xi ) = M fi (Proposición 4.2.4). Sean sij dichos generadores en Mi . Por el Corolario
4.4.6 tenemos que S1 = Γ(X, OX (1)), y como xi ∈ S1 para todo i, los elementos xi son
considerados como secciones globales de OX (1). Luego, por la Proposición 4.3.10, para
cada sección sij ∈ Mi = Γ(D+ (xi ), F), existe un entero n (que depende de i, j) tal que
xni sij se extiende a una sección global tij de F ⊗ OX (1)n = F(n). Como hay una cantidad
finita de términos sij podemos conseguir que n no dependa de i, j, asumamos pues que n
es independiente de i, j. Por el Lema 4.4.10, F(n) es casi coherente, entonces para cada
i, existe un Bi -módulo Mf′ tal que F(n)|D (x ) = M f′ , luego tenemos
i + i i
f′ = F(n)|D (x ) = (F ⊗O OX (n))|D (x )
M i + i X + i
∼
= F|D+ (xi ) ⊗OX |D+ (xi ) OX (n)|D+ (xi )
∼
=Mfi ⊗S ∼ S(n)∼
(xi ) (xi )
∼
= (Mi ⊗S(xi ) S(n)(xi ) )∼ ,
ası́ Mi′ ∼
= Mi ⊗S(xi ) S(n)(xi ) . Por otro lado el homomorfismo xni : Mi → Mi ⊗S(xi ) S(n)(xi )
xn
dado por m 7→ m ⊗ 1i es un isomorfismo, cuyo inverso es el homomorfismo dado por la
aplicación m ⊗ xfk 7→ xk+n
f
m. Entonces Mi′ ∼ = Mi , luego, como los elementos sij generan
i i
Mi , los elementos xni sij generan Mi′ = Γ(D+ (xi ), F(n)) siendo xni sij = tij |D+ (xi ) para todo
i, j. Esto implica que el conjunto {tij }i,j es un generador global de F(n). ✷
Corolario 4.4.20. Sea X un esquema proyectivo sobre un anillo noetheriano A. Entonces
cualquier haz casi coherente F sobre X puede ser escrito como un cociente de un haz E,
donde E es una suma directa finita haces torcidas O(ni ) donde ni ∈ Z.
114 3. Haces Coherentes
Demostración. Por el Teorema 4.4.19, existe un entero n tal que F(n) es generado por
un
LNnúmero finito de secciones globales. Entonces tenemos un morfismo LN sobreyectivo
i=1 OX → F(n). Tensorizando con OX (−n) obtenemos un morfismo i=1 OX (−n) →
F como queremos. ✷
Corolario 4.4.21. Sea S un anillo graduado noetheriano finitamente generado por S1
como un S0 -álgebra y sea X = Proj S. Si F es un OX -módulo coherente, entonces existe
un entero n0 > 0 tan que F(n) es generado por un número finito de secciones globales
para todo n ≥ n0 .
Demostración. Puesto que S es un S0 -álgebra de tipo finito, existe un epimorfismo
S0 [x0 , . . . , xr ] → S de S0 -álgebras con r ≥ 0. Por (c) de la Proposición 3.5.1, el mor-
fismo inducido Proj S → PrS0 es una inmersión cerrada, y por tanto Proj S → Spec S0 es
proyectivo, luego se aplica el teorema anterior. ✷
Observación 4.4.8. Sea F un haz de módulos sobre X, entonces para todo n ∈ Z,
tenemos el isomorfismo Γ∗ (F(n)) ∼
= Γ∗ (F)(n). En efecto,
M M
Γ∗ (F(n)) ∼
= Γ(X, F(n)(m)) ∼= Γ(X, F(n + m)) ∼
= Γ∗ (F)(n) .
m∈Z m∈Z
de tipo casi finito sobre S, por definición, basta probar que S ′ es un módulo finitamente
generado sobre S. De la hipótesis tenemos que el dominio integral S es un álgebra
finitamente generado sobre el cuerpo k, además por la Proposición 2.2.9, S es un anillo
noetheriano. Entonces por la Proposición 4.4.7 tenemos las inclusiones S ⊆ S ′ ⊆ C ⊆ Q,
donde C es la clausura integral de S en el cuerpo de fracciones Q de S, luego por el
Teorema 2.2.16, C es un S-módulo finitamente generado, y puesto que S es noetheriano,
C es un S-módulo noetheriano, por tanto S ′ es un S-módulo finitamente generado, tal
como querı́amos probar.
Ahora sea n ∈ Z, por la Observación 4.4.8 tenemos el isomorfismo Γ∗ (OX (n)) ∼ =
Γ∗ (OX )(n), luego por la parte anterior y el Lema 2.2.13, resulta que Γ∗ (OX (n)) es un
S-módulo graduado de tipo casi finito. ✷
Γ∗ ((S/p)(n)∼ ) = Γ∗ (S T (n)∼ ) ∼
= S Γ∗ (T (n)∼ ) = S Γ∗ (OY (n)) .
Por el lema anterior, Γ∗ (OY (n)) es un T -módulo graduado de tipo casi finito, y puesto que
ϕ es sobreyectiva, el módulo inducido S Γ∗ (OY (n)) es de tipo casi finito, ası́ Γ∗ ((S/p)(n)∼ )
es un S-módulo graduado de tipo casi finito. ✷
Proposición 4.4.25. Sea S un anillo graduado, X = Proj S. Entonces para todo entero
f tal que si ϕ : M → N es un
d ≥ 0, existe un isomorfismo canónico ψdM : M {d}e → M
homomorfismo de S-módulos graduados, el siguiente diagrama
ϕ{d}∼
M {d}∼ / N {d}∼
ψdM ψdN
f
M / e
N
ϕ
e
es conmutativo.
ψfM
M {d}(f ) +3 M(f )
M {d}(f g) +3 M(f g)
ψfMg
por tanto tenemos un isomorfismo de haces ψdM : M {d}e→ Mf. Por otro lado, un homomor-
fismo ϕ : M → N induce un homomorfismo ϕ(f ) : M(f ) → N(f ) dado por m/f k 7→ ϕ(m)/f k
y un homomorfismo ϕ{d}(f ) : M {d}(f ) → N {d}(f ) dado por la misma aplicación. Luego
tenemos el siguiente diagrama conmutativo
ϕ{d}(f )
M {d}(f ) / N {d}(f )
ψfM ψfN
M(f ) ϕ(f )
/ N(f )
ψdM ψdN
f
M / e
N
ϕ
e
✷
Proposición 4.4.26. Sea S un anillo graduado, X = Proj S y sean M, N dos S-módulos
graduados. Se cumplen:
f∼
(a) Si M ≈ N , entonces M e como OX -módulos.
=N
f es un haz coherente,
Demostración. Como S es noetheriano, por la Proposición 4.4.27, M
f) es un S-módulo graduado de tipo casi finito. Luego
y por la Proposición 4.4.29, Γ∗ (M
por el Corolario 4.4.28, mostrar que αM es un casi isomorfismo es equivalente que αf M sea
un isomorfismo. Por la Proposición 4.4.12 tenemos el isomorfismo βM f : Γ ∗ ( f
M ) ∼
→ fy
M
f◦α
por la Proposición 4.4.9, βM f
M es el morfismo identidad, esto implica que α fM es un
isomorfismo como deseamos. ✷
Corolario 4.4.31. Sea k un cuerpo, sea A una k-álgebra finitamente generada, sea X
un esquema proyectivo sobre A, y sea F un OX -módulo coherente. Entonces Γ(X, F) es
un A-módulo finitamente generado. En particular, si A = k, entonces Γ(X, F) es un
k-espacio vectorial de dimensión finita.
Demostración. Consideremos X = Proj X, donde S es un anillo graduado finitamente
generado por S1 como un S0 -álgebra y S0 = A. Por la Proposición 4.4.29, M = Γ∗ (F)
es un S-módulo de tipo casi finito, y por el Lema 2.2.12 M {d} es S-módulo finitamente
generado para todo d ≥ 0, en particular M {0} es finitamente generado, luego por el Lema
2.2.8 M0 = Γ(X, F) es A-módulo finitamente generado. ✷
3.4 Correspondencia Proyectiva de Serre 119
M ′ {d} / N ′ {d}
ϕ′ {d}
F′ / G′
φ′
M ′ {d} / N ′ {d}
ϕ′ {d}
f
M / e
N
ϕ
e
ϕ′ {d}∼
M ′ {d}∼ / N ′ {d}∼ (4.4.13)
f′
M / e′
N
ϕe′
f′
M / f′
N
ϕe′
por lo que ϕe y ϕe′ son equivalentes, luego la aplicación [ϕ] 7→ [ϕ] e está bien definida. Por
otro lado, las igualdades
^
[ϕ e ◦ ϕe′ ] = [ϕ]
◦ ϕ′ ] = [ ϕ e ◦ [ϕe′ ] ,
g
[id M ] = [idM
f] = id[M
f] ,
3.4 Correspondencia Proyectiva de Serre 121
f′
M / e′
N
ϕe′
f′ )
Γ∗ (M / e ′)
Γ∗ (N
Γ∗ (ϕe′ )
f){d}
Γ∗ (M / e ){d}
Γ∗ (N
Γ∗ (ϕ){d}
e
ϕ′ {d}
M ′ {d} / N ′ {d} (4.4.16)
f′ ){d}
Γ∗ (M / e ′ ){d}
Γ∗ (N
Γ∗ (ϕe′ ){d}
122 3. Haces Coherentes
Si aplicamos el funtor −{d} al diagrama (4.4.14) y luego lo juntamos con los diagramas
(4.4.15) y (4.4.16), obtenemos un diagrama conmutativo
ϕ{d}
M {d} / N {d}
M ′ {d} / N ′ {d}
ϕ′ {d}
βM
f βNe
f
M e
/N
f
∼
donde los isomorfismos βM f y βN e se deben a la Proposición 4.4.12. Ası́ Γ∗ (f ) y f son
equivalentes, lo que prueba la sobreyectividad. Finalmente, si F es un haz coherente
sobre X, sabemos que Γ∗ (F) es un S-módulo de tipo casi finito, luego del isomorfismo
∼
βF : Γ∗ (F)∼ −
→ F (dado por la Proposición 4.4.12), tenemos [Γ∗ (F)∼ ] = [F]. Esto prueba
que el funtor inducido por ∼ , es esencialmente sobreyectiva. Por el Teorema 2.1.10, se
tiene la equivalencia de categorı́as requerida. ✷
El Corolario 4.4.13 (a), nos dice que, todo subesquema cerrado de Proj S = PrA es
isomorfo a Proj S/I donde I es un ideal homogéneo de S. Luego por la proposición
anterior, tenemos el siguiente teorema:
Teorema 4.4.35. Existe una correspondencia biyectiva entre el conjunto de ideales sat-
urados de S = A[x0 , . . . , xr ] y el conjunto de subesquemas cerrados de X módulo isomor-
fismos.
Capı́tulo 5
··· / B i−1 / Bi / B i+1 / ···
di−1 di
124
4.1 Cohomologı́a de Haces Coherentes 125
Σi Σi+1
} }
··· / B i−1 / Bi / B i+1 / ···
di−1 di
α ϕ0 ϕ1
0
0 / B / J / J1 / ...
n
Para n ≥ 0 existe un morfismo H (T (ϕ)) : → RIn T (A)
que depende solo de α RJn T (B)
pero no de ϕ.
Denotemos por Ab(X) a la categorı́a de los grupos abelianos sobre un espacio topológico
X.
126 4. Versión Cohomológica del Teorema de Serre
Definición 5.1.3. Sea (X, OX ) un espacio anillado y sea A = Γ(X, OX ). Fijemos una
resolución inyectiva J a los objetos de Ab(X). Entonces para cualquier haz de OX -
módulos F y i ≥ 0, los grupos de cohomologı́a H i (X, F) tienen estructura de A-módulo.
Para i = 0 esta es la estructura de A-módulo inducida por H 0 (X, F) ∼ = Γ(X, F). Si
φ : F → G es un morfismo de haces de módulos, entonces H (X, F) → H i (X, G) es
i
0 −→ F ′ −→ F −→ F ′′ −→ 0
0 −→ F −→ J 0 −→ J 1 −→ J 2 −→ · · ·
y notemos que esta resolución es flasco en Ub(X). Supongamos que la resolución inyectiva
para F en Ub(X) es
0 −→ F −→ J 0 −→ J 1 −→ J 2 −→ · · ·
Si p > n, definimos C p (U , F) = 0.
Definimos la diferencial dp+1 : C p → C p+1 por la fórmula
p+1
X
p+1
(d s)i0 ···ip+1 := (−1)k si0 ···ibk ···ip+1 |Ui0 ···ip+1 ,
k=0
0 −→ F −→ C 0 (U, F) → C 1 (U, F) → · · ·
es una resolución Γ(X, −)-acı́clica de F por haces casi coherentes, y el morfismo canónico
de Γ(X, OX )-módulos
ν : Ȟ p (U, F) −→ H p (U, F)
es un isomorfismo para p ≥ 0.
Demostración. Ver [6] o [11]. ✷
Corolario 5.2.2. Sea A un anillo noetheriano no nulo y sea X = PrA para algún r ≥ 1.
Entonces para i ≥ 0, m ∈ Z el A-módulo libre H i (X, O(m)) es cero salvo los casos i = 0
o i = r. En estos casos tenemos para m ≥ 0 que
0 r m+r
rangA H (X, O(m)) = rangA H (X, O(−m − r − 1)) =
r
con H 0 (X, O(m)) = H r (X, O(−m−r −1)) = 0 para m < 0. En particular, H i (X, O) = 0
para i > 0.
Observación 5.2.1. Del corolario anterior tenemos para i ≥ 0 y m ∈ Z que el A-módulo
H i (X, O(m)) es finitamente generado. También, existe N > 0 tal que para cualquier
i > 0 y n ≥ N tenemos que H i (X, O(n)) = 0.
Teorema 5.2.3 (Vanishing de Serre). Sea X un esquema proyectivo sobre un anillo
noetheriano A, y sea OX (1) un haz amplio e inversible en X sobre Spec A. Dado un haz
coherente F sobre X, se cumplen:
(a) Para cada i ≥ 0, H i (X, F) es un A-módulo finitamente generado.
(b) Existe un entero N , dependiendo de F, tal que para cada i > 0 y cada n ≥ N ,
H i (X, F(n)) = 0.
Demostración. Desde que O(1) es un haz totalmente amplio en X sobre Spec A, entonces
existe una inmersión ı : X → PrA de A-esquemas para r ≥ 1, tal que O(1) ∼ = i∗ OPrA (1).
Si F es coherente en X, entonces i∗ F es coherente en PA y por la Observación 5.1.3 los
r
grupos de cohomologı́a son los mismos. Por el Lema 4.4.18 tenemos un isomorfismo para
n>0
i∗ (F(n)) = i∗ (F ⊗ O(1)⊗n ) ∼
= i∗ F ⊗ OPrA (n) = (i∗ F)(n)
ası́ que reducimos la prueba al caso X = PrA . De acuerdo a la observación anterior, las
afirmaciones (a) y (b) son verdaderas para cualquier haz de la forma O(q) con q ∈ Z y lo
mismo se cumple para sumas directas finitas de tales haces.
Veamos ahora la prueba de (a) para haces coherentes arbitrarios y para ello usaremos
inducción sobre i. Para i > r, el Teorema 5.1.3 nos dice que H i (X, F) = 0, y desde que
X puede ser cubierto por r + 1 abiertos afines, el resultado es fácilmente verificado.
En general, para un haz coherente F en X, debido al Corolario 4.4.20 podemos escribir
F como el cociente de un haz E el cual es una suma directa finita de haces O(qi ). Por
tanto, tenemos una sucesión exacta corta de haces coherentes
0 −→ R −→ E −→ F −→ 0 (5.2.1)
Ahora bien, el módulo H i (X, E) es finitamente generado porque E es una suma de los
haces O(qi ); el módulo H i+1 (X, R) es también finitamente generado debido a nuestra
hipótesis inductiva. Desde que A es noetheriano concluimos que H i (X, F) es un A-módulo
finitamente generado y esto prueba la primera afirmación.
4.2 Versión Cohomológica del Teorema Principal 129
Para la parte (b) solo utilizaremos un número finito de enteros 0 < i ≤ r, entonces es
suficiente mostrar que para un entero fijo i, existe N > 0 tal que H i (X, F(n)) = 0 para
todo n ≥ N , y nuevamente por inducción comenzamos con i = r. Dado n > 0 podemos
torcer (5.2.1) y llegamos a la sucesión exacta
· · · −→ H i (X, E(n)) −→ H i (X, F(n)) −→ H i+1 (X, R(n)) −→ · · ·
Para n suficientemente grande, el módulo H i (X, E(n)) = 0 ya que (b) es verdad para E,
y el módulo H i+1 (X, R(n)) = 0 por hipótesis inductiva. Por lo tanto, H i (X, F(n)) = 0
para n suficientemente grande y esto completa la prueba. ✷
Corolario 5.2.4. Sea k un cuerpo, f un polinomio homogéneo en k[x0 , . . . , xr ] con d =
∂(f ) y sea V = V+ (f ). Entonces
dimk H i (V, OV (n)) = dimk H 0 (V, OV (r − 1 + d − n)) .
✷
αL,n αM,n
Γ(X, M̃ (n)) / Γ(X, M̃ (n)) / 0
es conmutativo. Luego, para probar que αM,n es un isomorfismo para n suficientemente
grande, es suficiente probar que αL,n es un isomorfismo para n suficientemente grande.
Entonces el problema se reduce para el caso M libre, pero como Γ(X, ·) conmuta con la
suma directa finita, el problema se reduce al caso M = S(l), l ∈ Z; más aún, puesto que
tenemos las igualdades S(l)n = Sl+n y S(l)(n) = S(l + n) para n ∈ Z, podemos asumir
que M = S. Como S es un A-álgebra finitamente generado por S1 , donde A = S0 que
por hipótesis es un anillo noetheriano, entonces tenemos un homomorfismo de A-álgebras
R = A[x0 , . . . , xr ] → S. Repitiendo el procedimiento anterior, obtenemos el siguiente
diagrama conmutativo
Rn / Sn /0
αR,n αS,n
Γ(X, R̃(n)) / Γ(X, S̃(n)) /0
L
Demostración. Por el Corolario 4.4.20 existe un morfismo sobreyectivo ri=1 OX (li ) → F.
Sea K el núcleo de este morfismo, entonces tenemos la sucesión exacta de OX -módulos
coherentes r
M
0→K→ OX (li ) → F → 0 ,
i=1
y del lema anterior existe un entero N > 0 tal que para todo n > N , el homomorfismo de
grupos
Mr Mr
S(li + n) = Γ(X, OX (li + n)) → Γ(X, F(n))
i=1 i=1
es sobreyectivo.
L Como estosL homomorfismos son las componentes L del homomorfismo
graduado ri=1 S(liL
)) = Γ∗ ( ri=1 OX (li )) → Γ∗ (F) y el módulo ri=1 S(li ) es finitamente
generado, entonces n>N Γ(X, F(n)) es finitamente generado, o sea Γ∗ (F) es de tipo casi
finito. ✷
Teorema 5.2.8 (Correspondencia proyectiva de Serre). Sea X = Proj S. Los funtores
∼
y Γ∗ inducen una equivalencia de categorı́as entre la categorı́a ModGrcf (S)/ ≈ y
Coh(X)/ ∼
=.
Demostración. Si M es un S-módulo graduado de tipo casi finito, por el Corolario 4.4.27,
f es un haz coherente, y si F es un haz coherente sobre X, por la Proposición 5.2.7,
M
Γ∗ (F) es un S-módulo graduado de tipo casi finito. Luego la prueba continúa como en la
demostración del Teorema 4.4.32. ✷
Lema 5.3.1. Sea C una categorı́a abeliana y sea δ : Ob(C) → Z una función tal que
δ(X) = δ(X ′ ) + δ(X ′′ ) para toda sucesión exacta
0 → X ′ → X → X ′′ → 0 en C .
Pn i
Entonces se cumple que i=0 (−1) δ(Xi ) = 0 para toda sucesión exacta
d d dn−1
0 → X0 →0 X1 →1 · · · → Xn → 0 en C.
132 4. Versión Cohomológica del Teorema de Serre
0 → Nuc d2 → X2 → X3 → · · · → Xn → 0 , (5.3.2)
0 → X0 → X1 → Im d1 → 0 . (5.3.3)
Aplicando la hipótesis inductiva a (5.3.2), tenemos
n
X
(−1)i δ(Xi ) = δ(Nuc d2 ) .
i=2
Por otro lado, de (5.3.3) tenemos δ(X1 ) = δ(X0 ) + δ(Im d1 ), y por la exactitud de esta
sucesión, tenemos δ(Nuc d2 ) = δ(Im d1 ). Luego juntando estas igualdades obtenemos
P n i
i=0 (−1) δ(Xi ) = 0. ✷
0 → F ′ → F → F ′′ → 0
(a) existe un polinomio PF (z) ∈ Q[z] tal que χ(F(n)) = P (n) para todo n ∈ Z.
Demostración. (a). Sea j : X → Pnk una inmersión cerrada tal que OX (1) ∼ = j ∗ (OPnk ), sea
r
S = k[x0 , .., xr ], de manera que Pk = Proj S donde S = k[x0 , . . . , xr ], y sea F un haz
coherente sobre X.
Si Sop(F) = ∅, tomamos PF = 0 y la prueba termina.
Sea m = dim Sop(F). Si n ≥ 0 entonces Sop(F) 6= ∅, tomemos i ∈ {0, . . . , r}, tal
que Sop(F) ∩ D+ (xi ) 6= ∅. Consideremos el homomorfismo graduado S(−1) → S dado
por la multiplicación por xi . Entonces el homomorfismo inducido S(−1)(xi ) → S(xi ) es
un isomorfismo, luego tenemos el isomorfismo (S(−1)(xi ) )∼ → (S(xi ) )∼ . Ası́ tenemos un
morfismo OX (−1) → OX tal que OX (−1)|D+ (xi ) → OX |D+ (xi ) es un isomorfismo. Ten-
sorizando por F tenemos un morfismo F(−1) → F tal que F(−1)|D+ (xi ) → F|D+ (xi ) es un
isomorfismo. Sean R y Q el núcleo y conúcleo respectivamente del morfismo F(−1)|D+ (xi ) ,
por la Proposición 4.3.2, R y Q son coherentes. Afirmamos que Sop(R) y Sop(Q) están
contenidos en Sop(F) ∩ V+ (xi ). En efecto, supongamos que p 6∈ Sop(F) ∩ V+ (xi ), si
p 6∈ V+ (xi ) tenemos por el isomorfismo anterior que F(−1)p → Fp es un isomorfismo,
de donde tenemos Rp = 0 y Qp = 0, si p 6∈ Sop(F) entonces Fp = 0, entonces Qp = 0,
por otro lado, de la igualdad F(−1) = F ⊗ OX (−1) se sigue que F(−1)p = 0, por tanto
Rp = 0, con esto se sigue la afirmación. Por otro lado, puesto que Sop(F) ∩ D+ (xi ) 6= ∅
tenemos Sop(F) ∩ V+ (xi ) Sop(F), luego Sop(R), Sop(Q) Sop(F).
Procedamos por inducción sobre m. Si m = 0, el conjunto Sop(F) consta de un sólo
elemento, entonces Sop(R) = Sop(Q) = ∅, luego PR = PR = 0. Aplicando el Lema 5.3.1
a la sucesión exacta
0 → R(n) → F(n − 1) → F(n) → Q(n) → 0 (5.3.4)
en C = Coh(X) con δ(F) = χ(F); tenemos
χ(F(n)) − χ(F(n − 1)) = PR (n) − PR (n) = 0 − 0 = 0
para todo n ∈ Z. Luego, por la Proposición 2.2.18, existe un polinomio numérico P ∈ Q[z]
tal que χ(F(n)) = P (n) para todo n suficientemente grande. Puesto que P (z)−P (z−1) =
0 para infinitos valores de z, entonces P (z) − P (z − 1) es el polinomio nulo, luego por
inducción descendente sobre n, tenemos χ(F(n)) = P (n) para todo n ∈ Z, por tanto
tomamos PF = P .
Sea m > 0. Del resultado anterior tenemos que Sop(R), Sop(Q) Sop(F), luego
por la Proposición 2.3.15, dim Sop(R) y dim Sop(Q) son estrictamente menores que m,
entonces por hipótesis inductiva existen polinomios PR , PQ ∈ Q tal que χ(R(n)) = PR (n)
y χ(Q(n)) = PQ (n) para todo n ∈ Z. Como en el caso anterior, aplicamos el Lema 5.3.1
a la sucesión exacta (5.3.4), para tener la sucesión
χ(F(n)) − χ(F(n − 1)) = PR (n) − PR (n)
para todo n ∈ Z. Por la Proposición 2.2.18, existe un polinomio numérico P ∈ Q[z] tal
que χ(F(n)) = P (n) para todo n suficientemente grande. Puesto que P (z) − P (z − 1) =
PR (z) − PR (z) para infinitos valores de z, entonces tenemos la igualdad de polinomios
P (z) − P (z) = PR (z) − PR (z), luego por inducción descendente sobre n, obtenemos
χ(F(n)) = P (n) para todo n ∈ Z, por tanto tomamos PF = P . De esta manera concluye
la prueba.
(b). Por el Teorema 5.2.3 existe un entero N tal que, H i (X, F(n)) = 0 para todo i ≥ 1
y n > N ; por la Proposición 5.2.6, existe un entero d tal que αM,n : Mn → Γ(X, F(n))
134 4. Versión Cohomológica del Teorema de Serre
es biyectiva para todo n > d, de donde dimk Mn = dim Γ(X, F(n)) para todo n > d.
Entonces para todo n suficientemente grande tenemos
ϕM (n) := dimk Mn = dim H 0 (X, F(n)) = χ(F(n)) = PF (n)
luego por el teorema de Hilbert-Serre (Teor. 2.2.19), se sigue que PF es el polinomio de
Hilbert de M . ✷
Definición 5.3.2 (Polinomio de Hilbert). El polinomial PF (z) de la proposición anterior
es llamado el polinomio de Hilbert de F con respecto al haz OX (1).
Ejemplo 5.3.4. Sea X = P1k , F = OX y M = S. Entonces S = k[x0 , x1 ] y dimk Sn =
n + 1, ası́ el polinomio de Hilbert de M es PM (z) = z + 1. Calculando el polinomio de
Hilbert en términos de la caracterı́stica de Euler, tenemos
0 1 (n + 1) − 0 = n + 1 , si n ≥ −1 ,
χ(F) = h (OX (n)) − h (OX (n)) =
0 − (−n − 1) = n + 1 , si n ≤ −2 .
Ası́ PF (n) = n + 1.
Definición 5.3.3 (Genero aritmético). Sea X un esquema proyectivo de dimensión r
sobre un cuerpo k. Definimos el genero aritmético pa de X por
pa (X) := (−1)r (χ(OX ) − 1) .
Observación 5.3.1. El genero aritmético sólo depende de X y no de la inmersión cerrada
de X en Prk .
Ejemplo 5.3.5 (El genero de una curva plana de grado d). Sea C ⊆ P2k una curva de
grado d, es decir, C = Proj S/hf i, donde f es un polinomio homogéneo de grado d.
Entonces
1
pa (C) = (d − 1)(d − 2) .
2
En efecto, si I = hf i, tenemos
1 − pa = h0 (OC ) − h1 (OC ) + h2 (OC ) = χ(OC ) .
Por otro lado, la sucesión exacta
·f
0 → S(−d) → S → S/hf i → 0 ,
donde ·f simboliza el homomorfismo que resulta por la multiplicación con f , induce una
sucesión exacta
0 → OP2k (−d) → OP2k → OC → 0 .
Luego, por la Proposición 5.3.2, tenemos χ(OC ) = χ(OP2k ) − χ(OP2k (−d)). Pero
[1] M.F. Atiyah and I.G. Macdonald, Introduction to Conmutative Algebra. Addison-
Wesley, 1969.
[2] Bourbaki, Algèbre Commutative, Ch 1-4. Masson, 1985.
[3] W. Fulton, Algebraic Curves. Benjamin W.A, 1969.
[4] D. Eisenbud and J. Harris, The Geometry of Schemes. Springer, 2001.
[5] A. Grothendieck and J. Dieudonné, Eléments de Géométrie Algébrique I,II. Publi-
cations Mathématiques de l’I.H.E.S. 1961.
[6] R. Hartshorne, Algebraic Geometry. Springer Verlag, 1977.
[7] J.-P. Lafon, Les Formalismes Fondamentaux de l’Algèbre. Hermann.
[8] S. Litaca, Algebraic Geometry. Springer Verlag, 1977.
[9] H. Matsumura, Commutative Algebra Benjamin INC, New York, 1970.
[10] D. Murfet, Notas de Internet, http://therisingsea.org/.
[11] G. Muñoz Marquez, Cohomologı́a del espacio proyectivo, Tesis de Licenciatura,
disponible en http://cybertesis.unmsm.edu.pe/.
[12] D. Perrin, Algebraic Geometry. An Introduction. Universitext. Springer, 2008.
[13] Qing Liu, Algebraic Geometry and Arithmetic Curves. Oxford, 2002.
[14] P. Schapira, Categories and Homological Algebra. Notes of course. January, 2008.
[15] J.-P. Serre, Faisceaux Algebriques Coherents. The Annals of Mathematics, 1955.
[16] K. Ueno, Algebraic Geometry 1,2,3. American Mathematical Society.
[17] O. Zariski and P. Samuel, Commutative Algebra 1,2. Van Nostrand Company, 1965.
136