Sei sulla pagina 1di 87

Introducci on a la Geometra Algebraica

Pedro Sancho de Salas


Enero de 2001
2

Indice general
0. Introduccion 5
1. Esquemas 7
1.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2. Haces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3. Germenes de secciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4. Espacio anillado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.4.1. Haz de localizaciones en abiertos de Spec A . . . . . . . . . . . . . . . . . . . . 14
1.5. Esquemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.6. Ejemplos de esquemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.6.1. Variedades algebraicas. Variedades proyectivas . . . . . . . . . . . . . . . . . . 17
1.6.2. Variedad de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.6.3. Recollement de esquemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.7. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2. Modulos cuasicoherentes y coherentes 31
2.1. Haces cuasicoherentes sobre un espacio anillado . . . . . . . . . . . . . . . . . . . . . . 31
2.1.1. Haces coherentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.2. Haces cuasicoherentes sobre un esquema proyectivo . . . . . . . . . . . . . . . . . . . . 36
2.3. Divisores y haces de lnea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.4. Teoremas de Bezout y Max Noether . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.5. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3. Cohomologa 47
3.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.2. Cohomologa de haces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.3. Aciclicidad en esquemas anes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.4. Caracterizacion cohomologica de la recta . . . . . . . . . . . . . . . . . . . . . . . . . . 56
3.5. Dimension de los grupos de cohomologa . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.5.1. Cohomologa de los haces coherentes en variedades proyectivas . . . . . . . . . 57
3.5.2. Cohomologa de los haces coherentes en curvas . . . . . . . . . . . . . . . . . . 59
4. Teora de la dualidad en curvas 61
4.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
4.2. Teorema de Riemann-Roch debil . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
4.3. Algunos resultados tecnicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
3
4

INDICE GENERAL
4.4. Teoremas de dualidad y Riemann-Roch fuerte . . . . . . . . . . . . . . . . . . . . . . . 64
4.5. Modulo de diferenciales y derivaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
4.6. Dualizante de una curva lisa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
4.7. Aplicaciones de la teora de dualidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
4.7.1. Teorema de Hurwitz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
4.7.2. Morsmos en espacios proyectivos . . . . . . . . . . . . . . . . . . . . . . . . . 71
4.7.3. Curvas elpticas e hiperelpticas . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
4.7.4. Integracion por funciones elementales . . . . . . . . . . . . . . . . . . . . . . . 78
4.8. Apendice: Teorema de representabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . 83
4.9. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84

Indice de terminos 86
Captulo 0
Introducci on
El saber matematico, como todo saber discursivo, se conoce y aclara en su propio desarrollo y
despliegue. Por eso, toda introduccion cuya pretension sea dar una idea ultima de lo que se estudia
es intrnsecamente falsa. Ahora bien, parafraseando al losofo y pedagogo Gaos, la ense nanza es el
conjunto de mentiras que hay que contar para que la verdad sea comprendida. Comencemos, sin mas
reservas, con la introduccion.
En la Geometra Algebraica conuyen la Matematica Griega con el estudio de los cuerpos geometri-
cos, y la Matematica Renacentista-Descartesiana con el calculo de las soluciones de los sistemas de
ecuaciones. Simplicando, podemos decir que la Geometra Algebraica es el estudio de las soluciones
de los sistemas de ecuaciones algebraicas en el espacio afn o proyectivo, es decir, el estudio de las
variedades algebraicas. As pues, el objetivo fundamental de la Geometra Algebraica es la clasicacion
de las variedades algebraicas.
La teora de haces nos permitira comprender las variedades algebraicas como variedades diferen-
ciales, cuyos anillos de funciones seran anillos de funciones algebraicas (las algebras de tipo nito).
Mediante cartas y la teora de haces, como en Geometra Diferencial, deniremos los esquemas, que
son variedades que localmente son variedades algebraicas anes.
Los esquemas son el marco mas id oneo para el desarrollo de la Geometra Algebraica y de una
Teora de Interseccion, sin embargo, el uso de anillos con nilpotentes exige un conocimiento pro-
fundo del

Algebra Conmutativa. Quiz as una de las sorpresas mayores del

Algebra Conmutativa es
como los conceptos de funcion (algebraicas), derivada, diferencial, variedad (algebraica), supercies
de Riemann, Riemann-Roch, residuo, etc., son conceptos algebraicos.
Una aproximacion a la clasicacion de las variedades algebraicas es la clasicacion birracional. Dos
variedades algebraicas se dicen que son birracionales si son isomorfas en un abierto denso. Veremos
que a toda curva se le puede asignar un unico modelo birracional proyectivo no singular, que po-
dra obtenerse mediante explosiones, estudiadas en

Algebra Local, y a nadiendo los puntos necesarios
para que sea proyectiva.
Introduciremos tambien el grupo de Picard de una curva, que es otro invariante intrnseco de la
curva (que puede asociarse tambien, en general, a los esquemas). Esencialmente, el teorema de Torelli
arma que la variedad de Picard de una curva determina la curva (no lo veremos). La variedad de
Picard de una curva es el conjunto de los brados de lnea de la curva, modulo isomorsmos. Los
brados de lnea seran esenciales para la formulacion del teorema de Riemann-Roch, la teora de
dualidad, la construccion de las inmersiones de las curvas en espacios proyectivos, etc.
La asignacion de invariantes numericos a las variedades algebraicas permite una primera aproxi-
5
6 Captulo 0. Introduccion
macion a la clasicacion discreta de estas. Quizas la tecnica moderna mas importante para la intro-
duccion de invariantes numericos es la cohomologa. Existen muchas teoras cohomologicas, nosotros
desarrollaremos la cohomologa de los haces coherentes, introducida por Serre. As pues, a un esquema
le podemos asociar los grupos de cohomologa de sus haces de funciones algebraicas. La cohomologa
es una tecnica muy util para comprender y expresar resultados importantes, como el teorema de
Riemann-Roch. Deniremos los haces de modulos de diferenciales de un esquema, que se corresponden
con los brados cotangentes de la Geometra Diferencial, y permiten introducir invariantes numericos
como la dimension del espacio vectorial de todas diferenciales holomorfas del esquema. En el estu-
dio de las curvas, en la Teora de Dualidad, este espacio vectorial sera determinante para denir un
morsmo canonico de cada curva en un espacio proyectivo.
El teorema central del curso sera el teorema de Riemann-Roch. Por una parte exigira la intro-
duccion de los haces de lnea, cohomologa, teora de dualidad, y por otra dara las relaciones entre
los distintos invariantes, genero geometrico, genero aritmetico, longitud del conductor, grado de un
divisor, grado del divisor canonico. Ademas, posibilitara la demostracion del teorema de Hurwitz, de
la existencia de haces lnea muy amplios, etc. Haremos una introduccion a la clasicacion de las curvas
proyectivas. Por ejemplo, clasicaremos la familia de las curvas elpticas.
Muchas de las nociones y demostraciones adoptadas (por ejemplo aciclicidad de los grupos de
cohomologa de los esquemas anes, acotacion cohomologica, etc.) seran generalizables a variedades
proyectivas de dimension mayor que uno y as lo haremos. Creemos que un curso de la Geometra
Algebraica de la Curva es una buena introduccion a la Geometra Algebraica Global, porque en el se
introducen muchas de las tecnicas generales de la Geometra Algebraica Global en una situacion no
excesivamente compleja.
Captulo 1
Esquemas
1.1. Introducci on
La teora de variedades algebraicas estudiada hasta este curso padece de una grave deciencia. No
tenemos una nocion clara de cuales son, localmente o no, las funciones algebraicas sobre una variedad
algebraica no afn. As pues, dado un abierto de una variedad algebraica, no sabemos quien es su anillo
de funciones algebraicas. As, por ejemplo, no sabemos cual es el anillo de funciones algebraicas, del
espacio proyectivo. Cualquiera que sea la nocion de funciones algebraicas tendran que vericar que
vienen determinadas localmente, como sucede en variedades diferenciales.
H. Cartan expreso la analoga entre variedades algebraicas y analticas armando que en todos los
casos se trataban de espacios anillados. Serre introdujo la teora de haces y la cohomologa de haces
en el estudio de las variedades algebraicas abstractas. Finalmente, Grothendieck presento la denicion
de esquema como espacio anillado que localmente es un esquema afn. Los esquemas son los objetos
basicos de estudio de la Geometra Algebraica Abstracta actual.
1.2. Haces
Denicion 1.2.1. Sea X un espacio topologico. Un prehaz de conjuntos sobre X, es una ley que
asigna a cada abierto U X un conjunto P(U) de modo que verica que
1. Si V es un abierto contenido en otro abierto U, se tiene un morsmo de restriccion:
U,V
: P(U)
P(V ). Es usual escribir, para s P(U),
U,V
(s) = s
|V
.
2. Para cada abierto U,
U,U
= Id.
3. Si W V U son abiertos entonces
U,W
=
V,W

U,V
, es decir, (s
|V
)
|W
= s
|W
.
Dicho de otro modo: Sea T
X
la categora cuyos objetos son los abiertos de X y cuyos morsmos
entre objetos son la inclusion natural (cuando exista) y sea (
Conj
la categora cuyos objetos son los
conjuntos y cuyos morsmos son las aplicaciones de conjuntos. Un prehaz de conjuntos sobre X no
es sino un funtor de T
X
en (
Conj
.
Analogamente se denen los prehaces de grupos, de grupos abelianos, o anillos sin mas que sustituir
(
Conj
por la categora de grupos, de grupos abelianos o anillos, respectivamente. Si A es un prehaz de
7
8 Captulo 1. Esquemas
anillos, se llama prehaz de modulos sobre el prehaz de anillos A, a todo prehaz P de grupos abelianos
que verique:
1. Para cada abierto U, P(U) es un A(U)-modulo.
2. Si V U, entonces (a s)
|V
= a
|V
s
|V
, para a A(U) y s P(U).
Ejemplo 1.2.2. 1. Sea G un grupo abeliano. Sea P(U) = G para todo abierto U X. Si tomamos
como morsmos de restriccion la identidad, entonces P es un prehaz de grupos abelianos en X.
2. Sea P(U) el anillo de funciones reales continuas sobre U X. Si tomamos como morsmos de
restriccion la restriccion de funciones, entonces P es un prehaz, el prehaz de funciones continuas
sobre X.
An alogamente, si X es una variedad diferenciable, se denen los prehaces de funciones diferen-
ciales, de campos diferenciales, tensores, etc.
3. Sea X = R
2
0. Poniendo P(U) = [1-formas exactas en U] y tomando como morsmos de
restriccion los evidentes, se dene el prehaz de 1-formas exactas.
4. Sea A un anillo y X su espectro. Asociando a cada abierto U X el anillo A
U
=
a
s
, con a A
y s A de modo que s no se anule en ning un punto de U y tomando como morsmos de
restriccion los de localizacion, se obtiene un prehaz de anillos.
5. Si M es un A-modulo, asociando a U el A
U
-modulo M
U
= M
A
A
U
se dene un prehaz de
modulos sobre el anterior prehaz de anillos.
A los elementos de P(U) se le denominan secciones de P en U, y alguna vez denotaremos P(U) =
(U, P).
1.3. Germenes de secciones
Queremos denir el concepto de germen de secciones en un punto. Hablemos primero del concepto
de lmite inductivo: Sea un diagrama conmutativo de morsmos (de conjuntos, de grupos, de anillos
o de modulos, etc.)
M
i

M
l

M
r

M
t


M
k

p
p
p
p
p
p
M
q

p
p
p
p
p
p
M
p

p
p
p
p
p
p
Suponemos que dados M
i
y M
j
cualesquiera, mas adelante, existe un M
k
donde siguiendo el ro de
echas se aplican M
i
y M
j
. Denotemos
ij
: M
i
M
j
a los morsmos del diagrama (que cumplen

ii
= Id y
rs

ir
=
is
). Se suele decir que M
i
,
ij

iI
es un sistema inductivo.
Se dene
lim

iI
M
i
=

iI
M
i
/
donde m
i
M
i
es equivalente a m
j
M
j
si existe un k tal que
ik
(m
i
) =
jk
(m
k
). Tenemos
morsmos naturales
i
: M
i
lim

iI
M
i
,
i
(m
i
) = m
i
, que cumplen
j

ij
=
i
.
1.3. Germenes de secciones 9
Es facil ver que lim

iI
M
i
cumple la siguiente propiedad universal: Si f
i
: M
i
N son morsmos
tales que f
j

ij
= f
i
M
i
ij

M
j

. . .
lim

i
M
i
.p
p
p
p
p
p
p
p
M
i

t
t
t
t
t
t

N
entonces existe un unico morsmo f : lim

iI
M
i
N (f( m
i
) := f
i
(m
i
)) de modo que f
i
= f
i
.
Si los M
i
son modulos dejamos que el lector pruebe que ( lim

iI
M
i
)
S
= lim

iI
(M
i
)
S
.
Dados dos sistemas inductivos M
i
,
ij

iI
, M

i
,

ij

iI
y morsmos g
i
: M
i
M

i
(cumpliendo
que

ij
g
i
= g
j

ij
, para todo i, j), entonces tenemos un morsmo natural g : lim

iI
M
i
lim

iI
M

i
,
m
i
g
i
(m
i
). Dejamos que el lector pruebe que si
0 M
i
M

i
M

i
0
son exactas tomando lmites inductivos tenemos que
0 lim

iI
M
i
lim

iI
M

i
lim

iI
M

i
0
es exacta.
Dado un prehaz P sobre X y un punto x X, la bra P
x
de P en x se dene del siguiente modo:
P
x
=
def
lim

xU
P(U)
es decir, P
x
=

xU
s P(U)/ , donde dados s P(U) y s

P(U

) cumplen que s s

si y solo
si existe un abierto V , tal que x V U U

, de modo que s
|V
= s

|V
. Tambien se dice que P
x
son
los germenes de secciones de P en x.
Dado s P(U) denotaremos s = s
x
P
x
.
Ejercicio 1.3.1. Sea P el prehaz denido en 1.2.2 5. sobre Spec A. Dado x Spec A, entonces
P
x
= M
x
.
Resolucion: P
x
= lim

xU
M
U
. Como tenemos morsmos naturales M
U
M
x
, tenemos un morsmo
natural P
x
M
x
. Dejamos al lector que compruebe que es un isomorsmo.
Ejercicio 1.3.2. Los germenes del prehaz de funciones reales continuas de R
n
, en un punto x R
n
coinciden con C(R
n
)
x
(donde m
x
es el ideal maximal de las funciones que se anulan en x y C(R
n
)
x
la localizacion en este ideal primo).
Denicion 1.3.3. Un morsmo de prehaces f : P P

sobre X es un morsmo de funtores, es


decir, una coleccion de morsmos f
U
: P(U) P(U

) (para cada abierto U) que conmutan con los


morsmos de restriccion. Denotaremos por Hom(P, P

) al conjunto de morsmos de prehaces de P en


P

.
10 Captulo 1. Esquemas
Todo morsmo f : P P

de prehaces induce un morsmo f


x
: P
x
P

x
, f
x
(s
x
) = f(s)
x
.
1
Denicion 1.3.4. Un haz sobre un espacio topologico X es un prehaz F tal que para cada abierto
U X y cada recubrimiento U

por abiertos de U, la sucesion


F(U)

F(U

)
p1

p2

,
F(U

)
donde p
1
(

) =

,
s
|UU

y p
2
(

) =

,
s

|UU

, es exacta. Es decir, es inyectivo y su


imagen son las secciones de

F(U

) donde coinciden p
1
y p
2
, que equivale a decir:
1. Si dos secciones de F sobre U tienen las mismas restricciones a cada U

ambas coinciden.
2. Dada una familia de secciones s

F(U

) cuyas restricciones a las intersecciones coinciden


(s
|UU

= s

|UU

) existe una seccion s F(U) de modo que su restriccion a cada U

es s

.
Supondremos ademas que F() es un conjunto con un unico elemento.
Ejercicio 1.3.5. Sea U y U

dos abiertos disjuntos de un espacio topologico X y F un haz en X.


Probar que F(U U

) = F(U) F(U

).
Ejemplo 1.3.6. 1. Los prehaces del caso 2 del ejemplo 1.2.2 son haces. El del caso 1, lo sera cuando
el espacio topologico X considerado verique que todo par de abiertos no vacos tenga intersec-
cion no vaca.
2. Sea X = R
2
0. El prehaz de 1-formas exactas no es haz, pues d(arctany/x) es localmente
exacta, pero no globalmente porque su integral a lo largo de la circunferencia unidad es diferente
de cero.
Dado un prehaz P se le puede asociar de modo natural un haz

P:

P(U) :=
_
(s
x
)
xU
, s
x
P
x
: Para cada x U existe un entorno
V U de x y s

P(V ) de modo que s

y
= s
y
para todo y U
Dejamos al lector que pruebe:
1.

P es un haz.
2. El morsmo natural P

P denido por los morsmos P(U)

P(U), s (s
x
)
xU
es un
isomorsmo si y solo si P es un haz.
3. Para todo x X, P
x
=

P
x
.
Dado un morsmo de prehaces f : P P

dene de modo natural un morsmo



f :

P

P

entre
los hacicados ((s
x
)
xU
(f
x
(s
x
))
xU
).
Proposicion 1.3.7. Sean P un prehaz y F un haz. Se cumple el isomorsmo
Hom(P, F) = Hom(

P, F), f

f
1
Con mas rigor, debieramos escribir f
U
(s)x si s P(U), en vez de f(s)x.
1.3. Germenes de secciones 11
Demostracion. No es mas que considerar el diagrama conmutativo
P
f


F
Ejercicio 1.3.8. Sea P un prehaz sobre un espacio topologico X. Sea P =

xX
P
x
la union disjunta
de las bras de P. Consideremos la proyeccion natural P X, s
x
x. Cada elemento s P(U)
dene una seccion s: U P, x s
x
. Consideremos en P la topologa cuya base de abiertos son los
conjuntos s(U). A P con esta topologa se le denomina espacio etale asociado al prehaz P. Probar
1. P X es un homeomorsmo local.
2. El haz Hom
X
(, P) de secciones continuas de la proyeccion P X, sobre abiertos de X, es
justamente el haz asociado a P.
3. La categora de los espacios localmente homeomorfos a X es equivalente a la categora de los
haces sobre X.
Proposicion 1.3.9. Un morsmo f : F F

de haces es un isomorsmo si y solo si f


x
: F
x
F

x
son isomorsmos para todo x X.
Un morsmo f : F F

de haces de grupos es el morsmo cero si y solo si f


x
= 0 para todo
x X. En particular, un haz es cero si y solo si lo es en bras.
Demostracion. Veamos solo la suciencia de la primera armacion. Supongamos pues, que f
x
: F
x

F

x
son isomorsmos para todo x X. Dados s, s

F(U) si f
U
(s) = f
U
(s

), entonces f
x
(s
x
) =
f
U
(s)
x
= f
U
(s

)
x
= f
x
(s

x
). Luego s
x
= s

x
para todo x y s = s

.
As pues, los morsmos f
U
: F(U) F

(U) son inyectivos. Dada una seccion s

(U), por
ser los f
x
epiyectivos, existira un recubrimiento U

de U y secciones s

F(U

) de modo que
f
U
(s

) = s

|U
. Ademas las s

coinciden sobre las intersecciones por la inyectividad de los morsmos


f
U
, luego denen una seccion s F(U), tal que s
|U
= s

. Luego f
U
(s) = s

, pues localmente sobre


los U

coinciden. Con todo hemos concluido que los f


U
son isomorsmos.
En cuanto a la segunda armacion. Dado s F(U), f
U
(s) = 0 si y solo si f
U
(s)
x
= f
x
(s
x
) = 0
para todo x U. Ahora es sencillo concluir.
Ejercicio 1.3.10. Sea G un haz y F G un prehaz. Demostrar que el prehaz F

denido por
F

(U) := s G(U): s
x
F
x
, para todo x U es el haz asociado a F.
Resolucion: Veamos que F

es haz: Obviamente F

es un subprehaz de G. Sea U
i
un recubrimiento
por abiertos de U. Si s
i
F

(U
i
) coinciden sobre las intersecciones, por ser G haz, existe una unica
seccion s G(U) cuya restriccion a cada U
i
es s
i
. Ademas s
x
= (s
i
)
x
F
x
, para todo x U
i
y todo
i, luego s F

(U).
El morsmo F F

induce un morsmo

F F

. Como F

x
= F
x
, el morsmo anterior es
isomorsmo porque en bras lo es.
12 Captulo 1. Esquemas
Dado un morsmo f : F F

de haces de grupos, se cumple que el prehaz Ker f denido por


Ker f(U) = Ker[F(U) F

(U)] es un haz. Sin embargo, Imf denido por Imf(U) = Im[F(U)


F

(U)] no es en general haz. En el contexto de haces, denotaremos por Imf al hacicado del prehaz
imagen recien denido. Igualmente, Coker f denido por Coker f(U) = Coker[F(U) F

(U)] no es
en general haz. En el contexto de haces, denotaremos por Coker f al hacicado del prehaz con ucleo
recien denido.
Proposicion 1.3.11. Dado un morsmo F F

de haces (o prehaces) de grupos, se cumple


1. (Ker f)
x
= Ker f
x
, para todo x X.
2. (Imf)
x
= Imf
x
, para todo x X.
Demostracion. Recordemos que el lmite inductivo es un funtor exacto.
1. (Ker f)
x
= lim

xU
Ker f
U
= Ker f
x
2. (Imf)
x
= lim

xU
Imf
U
= Imf
x
Denicion 1.3.12. Una sucesion de morsmos de haces de grupos
. . . F
n
fn
F
n+1
fn+1
F
n+2
. . .
diremos que es una sucesion exacta de haces, si se cumple la igualdad de haces Ker f
n+1
= Imf
n
.
Corolario 1.3.13. Una sucesion de morsmos de haces de grupos
. . . F
n
fn
F
n+1
fn+1
F
n+2
. . .
es una sucesion exacta de haces si solo si
. . . F
nx
fnx
F
n+1
x
fn+1
x
F
n+2
x
. . .
es una sucesion exacta de morsmos de grupos, para todo x X.
Demostracion. Si Imf
nx
= Ker f
n+1
x
entonces (f
n+1
f
n
)
x
= f
n+1
x
f
nx
= 0 luego f
n+1
f
n
= 0.
Por tanto, tenemos un morsmo Imf
n
Ker f
n+1
, que en bras sobre x es isomorsmo, luego
Imf
n
= Ker f
n+1
.
Recprocamente, si Imf
n
= Ker f
n+1
, en bras Imf
nx
= Ker f
n+1
x
.
Ejercicio 1.3.14. Si 0 F

F F

0 es una sucesion exacta de haces de grupos demostrar


que para todo abierto U, la sucesion 0 F

(U) F(U) F

(U) es exacta.
Ejercicio 1.3.15. Sea X = R
2
0, F = C

X
y F

el haz de las uno formas cerradas de X. Probar


que el morsmo d: F F

, g dg, es un epimorsmo de haces pero d: F(X) F

(X) no es
epiyectiva.
Sea f : X Y una aplicacion continua de espacios topologicos.
Denicion 1.3.16. Dado un prehaz P sobre X se dene la imagen directa, f

P, de P por f, como
el prehaz f

P(U) = P(f
1
(U)).
Es facil comprobar que si F es un haz sobre X, entonces f

F es un haz sobre Y .
1.4. Espacio anillado 13
1.4. Espacio anillado
Es obvio que cuando miramos una esfera no estamos viendo simplemente un conjunto de pun-
tos sino que ademas estamos a nadiendo una estructura topologica. Es decir, vemos la esfera como
un conjunto con una topologa (un espacio topologico). Si ademas consideramos que la esfera no
es deformable suavemente al cubo, estamos a nadiendo una estructura extra. Localmente estamos
identicando suavemente la esfera con el plano, es decir estamos dando unas coordenadas, estamos
indicando las funciones u observaciones sobre la esfera suaves o adecuadas. Con mas precision,
estamos diciendo que la esfera es un espacio topologico junto con el anillo de funciones diferenciables,
la estamos viendo como una variedad diferenciable con su anillo de funciones diferenciables.
Cuando hemos denido una variedad algebraica los unicos conjuntos que observamos son los
denidos a partir de las funciones algebraicas. Es decir, cuando escribamos Spec A, en realidad siempre
tenamos presente la pareja (Spec A, A)
2
. As pues, un espacio es un espacio topologico junto con cierto
anillo de observaciones, que estan denidas o determinadas localmente.
Denicion 1.4.1. Un espacio anillado es una pareja (X, O
X
) formada por un espacio topologico X
y un haz de anillos O
X
sobre X.
Si (X, O
X
) es un espacio anillado nos referiremos a X como al espacio topologico subyacente y a
O
X
como el haz estructural. Por brevedad diremos que X es un espacio anillado.
Denicion 1.4.2. Se llama espacio anillado en anillos locales a todo espacio anillado cuyas bras
sean anillos locales.
Ejemplo 1.4.3. Las variedades diferenciales y las variedades topologicas son espacios anillados en
anillos locales.
Denicion 1.4.4. Un morsmo de espacios anillados (X, O
X
) (Y, O
Y
) es una pareja formada por
una aplicacion continua f : X Y , y un morsmo de haces de anillos : O
Y
f

O
X
.
Dado un morsmo de espacios anillados (f, ): (X, O
X
) (Y, O
Y
), para cada punto y = f(x) Y ,
se tienen morsmos naturales O
Y,f(x)
(f

O
X
)
f(x)
O
X,x
.
Denicion 1.4.5. Un morsmo (X, O
X
) (Y, O
Y
) de espacios anillados entre espacios anillados en
anillos locales se dice que es un morsmo en anillos locales, si los morsmos naturales O
Y,f(x)
O
X,x
son locales, es decir, aplican el ideal maximal del primer anillo dentro del ideal maximal del segundo.
Ejemplo 1.4.6. Sea f : X Y es una aplicacion diferenciable entre variedades diferenciales. Para
cada abierto U Y , tenemos un morsmo de anillos C

Y
(U) C

X
(f
1
(U)), g g f
|f
1
(U)
.
Morsmos que denen un morsmo de haces de anillos C

Y
f

X
. En germenes tenemos el
morsmo C

Y,f(x)
C

X,x
, [g] [g f], que aplica el ideal maximal de las funciones que se anulan en
f(x), de C

Y,f(x)
, en el ideal maximal de las funciones que se anulan en f(x), de C

X,x
. En conclusion,
todo morsmo f : X Y , induce de modo natural un morsmo de espacios anillados en anillos locales
entre los espacios anillados.
2
Desde un punto de vista epistemologico las observaciones del espacio son previas a toda concepcion del espacio y
este se obtiene como objetivacion de aquellas. El problema de c omo puede haber observaciones sin tener previamente el
espacio, aqu queda desdibujado pues no nos encontramos con ninguna dicultad al denir A sin tener Spec A, si bien,
para denir A siempre necesitaremos de los conjuntos o al menos del conjunto N
14 Captulo 1. Esquemas
1.4.1. Haz de localizaciones en abiertos de Spec A
Dado un anillo A, consideremos en Spec A el prehaz denido, para cada abierto U Spec A, por
U A(U) =
Not
A
U
=
def
A
S
S =
_
Sistema multiplicativo de las
funciones que no se anulan en U
_
Denicion 1.4.7. Denotaremos por

A al haz en Spec A asociado al prehaz U A
U
. Diremos que

A
es el haz de localizaciones en abiertos de Spec A.
Proposicion 1.4.8. La bra en un punto x Spec A del prehaz de localizaciones en abiertos de
Spec A, coincide con la localizacion, A
x
, del anillo A en x. En particular

A
x
= A
x
.
Demostracion. Ejercicio 1.3.1
As pues, (Spec A,

A) es un espacio anillado en anillos locales.
Lema 1.4.9. Sea U un abierto basico de Spec A. Si U
i

i=1,...,n
es un recubrimiento nito de U por
abiertos basicos, la siguiente sucesion es exacta
A
U

n

i=1
A
Ui

i,j
A
UiUj
El prehaz de localizaciones es un haz en la base de abiertos basicos
Demostracion. La exactitud de la sucesion es una cuestion local, luego localizando en U
k
, tenemos
que ver que la sucesion
A
U
k
i

i=1
A
U
k
Ui
p1

p2

i,j
A
U
k
UiUj
es exacta. Obviamente, i es inyectiva porque i(s) = (s
|U
k
Ui
)
i
y s
|U
k
U
k
= s. Dado (s
i
)
n

i=1
A
U
k
Ui
,
si p
1
(s
i
) = p
2
(s
i
) entonces s
i|U
k
UiU
k
= s
k|U
k
U
k
Ui
. Luego s
i
= s
k|U
k
Ui
, i.e., i(s
k
) = (s
i
).
Teorema 1.4.10. Si U Spec A es un abierto basico distinto del vaco entonces

A(U) = A
U
En particular,

A(Spec A) = A.
Demostracion. Tenemos que ver que el morsmo natural A
U


A(U) es isomorsmo.
1) Es inyectivo: Dada s A
U
, si s 0 entonces existe un recubrimiento U
i
de U por abiertos
basicos, tal que s
|Ui
= 0 (A
U
A
Ui
, s s
|Ui
). Por la compacidad de U podemos suponer que el
recubrimiento es nito. Por el lema, el morsmo A
U
A
Ui
es inyectivo. Luego s = 0.
2) Es epiyectivo: Dada s

A(U) existe un recubrimiento por abiertos basicos U
i
y s
i
A
Ui
,
de modo que por los morsmos A
Ui


A(U
i
) se cumple que s
i
s
|Ui
. Observemos que s
i|UiUj

s
j
|UiUj
= 0 ya que s
|UiUj
s
|UiUj
= 0 y el morsmo A
UiUj


A(U
i
U
j
) es inyectivo por 1). Por
el lema, sabemos que existe s

A
U
tal que s

|Ui
= s
i
. Entonces en el morsmo A
U


A(U) tenemos
que s

s, porque en los U
i
as sucede.
1.4. Espacio anillado 15
Ejercicio 1.4.11. Sea B una base de abiertos de un espacio topologico X. Sea F un prehaz en X.
Supongamos que F es haz para B, es decir, para cada U B, cada recubrimiento U
i
de U por
abiertos U
i
B y un recubrimiento U
ijk
de U
i
U
j
por abiertos U
ijk
B la siguiente sucesion es
exacta
F(U)

i
F(U
i
)

i,j,k
F(U
ijk
)
Demostrar que el haz asociado a F coincide con F sobre B.
Ejercicio 1.4.12. Sea A un anillo ntegro. Demuestrese que A =
xSpec A
A
x
y en general que

A(U) =

xU
A
x
. (observese que

A

, siendo = A
A0
, y recuerdese 1.3.10).
Proposicion 1.4.13.
_

_
Morsmos de espacios anillados
en anillos locales
(Spec B,

B) (Spec A,

A)
_

_
=
_

_
Morsmos de anillos
A B
_

_
.
Demostracion. Un morsmo (f, ): (Spec B,

B) (Spec A,

A) de espacios anillados en anillos, induce
un morsmo

A
: A =

A(Spec A) f


B(Spec A) =

B(Spec B) = B.
Tenemos el diagrama conmutativo,
A

A
f(x)
= A
f(x)


B
x
= B
x
Como A
f(x)
B
x
es local, se deduce que si

A
es el morsmo inducido en los espectros por
A
entonces

A
(x) = f(x), es decir,

A
= f. Ademas, esta determinado por
A
: Dado un abierto
basico U
a
Spec A, entonces f
1
(U
a
) = U

A
(a)
y el diagrama
A

A
Ua
= A
a

Ua

B
U

A
(a)
= B

A
(a)
es conmutativo, luego
Ua
esta determinado por
A
, y en conclusion tambien.
Recprocamente, dado un morsmo f : A B, induce un morsmo continuo f

: Spec B Spec A
y por localizaciones morsmos
A
U
B
f
1
(U)
que dene un morsmo

f :

A (f


B. En bras sobre f

(x), dene el morsmo


A
f

(x)
((f


B)
f

(x)
B
x
inducido por f, que es local.
El morsmo

f
A
denido por toma de secciones globales es precisamente f. Con todo concluimos.
16 Captulo 1. Esquemas
1.5. Esquemas
Las variedades anilladas en Geometra Algebraica se denominan esquemas:
Denicion 1.5.1. Un espacio anillado (X, O
X
), diremos que es un esquema si existe un recubrimiento
U
i
de X de modo que (U
i
, O
Ui
) (Spec A
i
,

A
i
). Diremos que es un esquema afn si es isomorfo a
un esquema (Spec A,

A).
Ejercicio 1.5.2. Probar que un abierto de un esquema es un esquema. Demuestrese que A
2
0 no
es un esquema afn (Pista: probar que (A
2
0, O
A2{0}
) = k[x, y]).
Ejemplo 1.5.3. Obviamente (Spec A,

A) es un esquema.
Denicion 1.5.4. Los morsmos de espacios anillados en anillos locales, entre esquemas se denominan
morsmos de esquemas.
Denicion 1.5.5. Un esquema X se dice que es reducido si para todo abierto U X, O
X
(U) es un
anillo reducido.
Proposicion 1.5.6. Un esquema X es reducido si y s olo si para todo x X, O
X,x
es un anillo
reducido.
Demostracion. Si X es reducido entonces O
X,x
es reducido porque dada a O
X,x
, a O
X
(U) si
a
n
= 0 entonces a
n
= 0 en un entorno abierto de x, V U, luego a = 0 en V y a = 0. Recprocamente,
si O
X,x
son anillos reducidos para todo x X, dado un abierto U tenemos el morsmo inyectivo
O
X
(U)

xU
O
X,x
, luego O
X
(U) es un anillo reducido.
Denicion 1.5.7. Un esquema se dice que es irreducible cuando no es union de cerrados propios, es
decir, cuando el espacio topologico subyacente es irreducible.
Ejercicio 1.5.8. Demostrar que un espacio topologico es irreducible si y solo si no contiene dos
abiertos no vacos disjuntos.
Denicion 1.5.9. Un esquema X se dice que es ntegro si para todo abierto U X se verica que
O
X
(U) es ntegro.
Proposicion 1.5.10. Un esquema es ntegro es irreducible y reducido.
Demostracion. ) Obviamente, X es reducido. Si X = C
1
C
2
es union de cerrados propios, entonces
X(C
1
C
2
) = (C
1
(C
1
C
2
))

(C
2
(C
1
C
2
)). Denotemos U = X(C
1
C
2
), U
1
= C
1
(C
1
C
2
)
y U
2
= C
2
(C
1
C
2
). Se verica O
X
(U) = O
X
(U
1
) O
X
(U
2
), que no es ntegro. As pues, hemos
llegado a contradiccion por suponer que X no es irreducible.
) Dado un abierto U X, sean f, g O
X
(U), tales que f g = 0.
Sea
C
1
=
_
x U tales que f en O
X,x
pertenezca al ideal maximal p
x
O
X,x
_
=
Not
(f)
0
C
2
=

Idem
(g)
0
Es facil ver que C
1
C
2
= U. Por tanto, X = [(X U) C
1
] [(X U) C
2
], luego por ser X
irreducible podemos suponer que X = [(X U) C
1
], es decir C
1
= U. As pues, f es nilpotente en
cada abierto afn incluido en U. Luego por ser X reducido, f es nulo en cada abierto afn incluido en
U, es decir, f es nulo. Luego O
X
(U) es ntegro.
1.6. Ejemplos de esquemas 17
Si X es irreducible y U X es un abierto afn, sabemos que existe un punto p U, tal que su cierre
en U es U. Tendremos que X = p U
c
, luego p = X. Dado un abierto V X, si p / V , entonces
p V
c
, luego V = . Como consecuencia, p es el unico punto cuyo cierre es X, pues localmente
afnmente p es unico. Diremos que p es el punto generico de X. Si un esquema X es ntegro y p
g
X
es el punto generico, llamaremos cuerpo de funciones de X a O
X,pg
, que es el cuerpo de fracciones del
anillo de funciones de cualquiera de sus abiertos anes. Denotaremos
X
= O
X,pg
.
1.6. Ejemplos de esquemas
1.6.1. Variedades algebraicas. Variedades proyectivas
En el captulo 1 hemos denido el espectro proyectivo de un anillo graduado, queremos ahora
precisar que funciones algebraicas estamos considerando en el espectro proyectivo. La pregunta so-
bre cuales son las funciones del haz de anillos del espectro proyectivo de un anillo graduado es una
pregunta esencialmente de naturaleza local, nos preguntamos cuales son las funciones localmente.
Para jar ideas, consideremos P
n
= Proj k[x
0
, . . . , x
n
]. Las funciones de P
n
(x
i
)
h
0
han de ser fun-
ciones algebraicas f k[x
0
, . . . , x
n
]
xi
homogeneas de grado cero, pues solo consideramos funciones
que no distinguen un punto (
0
, . . . ,
n
) de (
0
, . . . ,
n
). Es decir, las funciones de P
n
(x
i
)
h
0
son (k[x
0
, . . . , x
n
]
xi
)
0
= k[x
0
/x
i
, . . . , x
n
/x
i
]. Como ademas P
n
(x
i
)
h
0
= Spec k[x
0
/x
i
, . . . , x
n
/x
i
]
tendremos que P
n
con las funciones adecuadas es un esquema.
Procedamos con toda generalidad y rigor. Recordemos, que dado un anillo graduado R, denotamos
por R
0
los elementos de grado cero de R.
Denicion 1.6.1. Denimos el haz de localizaciones homogeneas

R, en Proj R por el haz asociado
al prehaz
U (R
S
)
0
, S =
_
Sistema multiplicativo de las funciones
homogeneas que no se anulan en U
_
para cada abierto U de Proj R.
Por sencillez supondremos, a partir de ahora, que R = R
0
[
0
, . . . ,
n
], donde cada
i
es de grado 1.
Teorema 1.6.2. (Proj R,

R) es un esquema.
Demostracion. Recordemos que Proj R =
n

i=0
U
h
i
, donde U
h
i
= Proj R(
i
)
h
0
. Sabemos, ademas, que
tenemos un homeomorsmo U
h
i
Spec R
0
[
0
/
i
, . . . ,
n
/
i
], de modo que a traves de esta identi-
cacion, (f
n
)
h
0
en U
h
i
es igual a (f
n
/
n
i
)
0
en Spec R
0
[
0
/
i
, . . . ,
n
/
i
].
Nos falta ver que

R
|U
h

i
=

R
0
[
0
/
i
, . . . ,
n
/
i
]:
Sea f
n
R
n
R. Veamos que las secciones del prehaz de localizaciones homogeneas sobre
U
h
i
(f
n
)
h
0
= U
h
i
U
h
fn
coincide con las secciones de

R
0
[
0
/
i
, . . . ,
n
/
i
] en Spec R
0
[
0
/
i
, . . . ,
n
/
i
]
(f
n
/
n
i
)
0
.
Observemos que R
U

i
U
fn
= R
ifn
= (R
i
)
fn/
n
i
. Por tanto,
(R
U

i
U
fn
)
0
= [(R
i
)
fn/
n
i
]
0
= [(R
i
)
0
]
fn/
n
i
= R
0
[
0
/
i
, . . . ,
n
/
i
]
fn/
n
i
Luego, los prehaces que denan a

R
|U
h

i
y

R
0
[
0
/
i
, . . . ,
n
/
i
] son isomorfos en abiertos basicos
y concluimos que los haces son isomorfos.
18 Captulo 1. Esquemas
Denicion 1.6.3. Diremos que un esquema X es un k-esquema si existe un morsmo prejado X
Spec k de esquemas. Diremos que un k-esquema es una variedad algebraica si existe un recubrimiento
nito U
i
= Spec A
i
por abiertos anes de X de modo que los A
i
son k-algebras de tipo nito.
Ejemplo 1.6.4. Las variedades algebraicas anes Spec k[
1
, . . . ,
n
] son variedades algebraicas.
Si R = k[
0
, . . . ,
n
] es una k-algebra graduada, (Proj R,

R) es una variedad algebraica. A este


tipo de variedades se las llama variedades proyectivas. As pues, el espacio proyectivo y las curvas
proyectivas planas son ejemplos de variedades algebraicas.
Denicion 1.6.5. Llamaremos dimension de un esquema X a la maxima longitud de las cadenas de
cerrados irreducibles de X.
Proposicion 1.6.6. Si X es una variedad algebraica ntegra entonces la dimension de X coincide
con el grado de trascendencia de su cuerpo de funciones O
X,pg
.
Demostracion. Si U es un abierto afn de X no vaco. Sabemos que dimU es igual al grado de
trascendencia de
U
=
X
.
Si C
1

=
C
2

=
. . .
=
C
n
es una cadena de cerrados irreducible de X y U es un abierto afn que
corta con C
1
, entonces U C
1

=
U C
2

=
. . .
=
U C
n
es una cadena de cerrados irreducibles de U
(recordemos que U C
i
= C
i
). Por tanto, dimX supdimU, abiertos anes, luego dimX es menor
o igual que el grado de trascendencia de
X
. Por otra parte, si D
1

=
D
2

=
. . .
=
D
n
es una cadena
de cerrados de un abierto afn, entonces

D
1

=

D
2

=
. . .
=

D
n
es una cadena de cerrados irreducibles
de X, luego dimU dimX, luego el grado de trascendencia de
X
es menor o igual que dimX.
Ejercicio 1.6.7. Probar que las variedades algebraicas son catenarias.
Denicion 1.6.8. Diremos que una variedad algebraica es una curva si es de dimension 1.
1.6.2. Variedad de Riemann
Anillos de valoracion
Sea O un anillo local noetheriano de ideal maximal m y dimension de Krull 1. Se dice que O es
un anillo regular (de dimension 1) si m = (t).
Ejercicio 1.6.9. Sea O la localizacion de k[x, y]/(ax +by +cx
2
+dxy +ey
2
+ ) en el origen. O es
un anillo local regular si y solo si a o b son no nulos.
Supongamos que O es regular. Dada f O, tendremos que o bien f es invertible o f = t f
1
, en
este ultimo caso tendremos que f
1
es invertible o f
1
= t f
2
, luego f = t
2
f
2
. Este proceso acaba
porque vamos obteniendo las cadenas de inclusiones estrictas (f) (f
1
) (f
2
) . Por tanto,
existe un n N tal que f = t
n
f
n
con f
n
invertible. Observemos que O ha de ser un anillo ntegro:
Si f g = 0, sean n, m N tales que f = t
n
f
n
y g = t
m
g
m
, con f
n
y g
m
invertibles. Si f g = 0
entonces t
n+m
= 0, luego las funciones de O son invertibles o son nilpotentes, luego O es un anillo
de dimension cero, contradiccion. Sea el cuerpo de fracciones de O. Dado f tendremos que
f = a/b, con a, b O. Escribamos a = t
n
a
n
y b = t
m
b
m
, con a
n
, b
n
elementos invertibles de O.
1.6. Ejemplos de esquemas 19
Tendremos que f = t
nm
f

, con f

un elemento invertible de O. Si f = t
r
f

= t
s
f

con r, s Z y
f

, f

elementos invertibles de O entonces r = s: Supongamos que r > s entonces f

= t
rs
f

m
contradiccion.
As pues, podemos denir una aplicacion
v
m
: 0 Z
v
m
(f) = r, si f = t
r
f

siendo f

un elemento invertible de O. Dejamos que el lector pruebe que v


m
no depende del generador t considerado en m.
Observemos que O = f 0: v
m
(f) 0 0 y m = f 0: v
m
(f) > 0 0.
Se cumple que v
m
(f g) = v
m
(f) + v
m
(g). Ademas v
m
(f + g) minv
m
(f), v
m
(g): Escribamos
f = t
n
f

y g = t
m
g

, siendo f

y g

elementos invertibles de O. Supongamos que m n, entonces


f +g = t
m
(t
nm
f

+g

) y v
m
(f +g) = v
m
(t
m
) +v
m
(t
nm
f

+g

) m+ 0 = m.
Sea ahora un cuerpo. Una aplicacion epiyectiva v : 0 Z diremos que es una valoracion
discreta si v(f g) = v(f) +v(g) y v(f +g) minv(f), v(g).
Sea O
v
= f : v(f) 0 0.
O
v
es una anillo: v(1) = v(1 1) = v(1) +v(1), luego v(1) = 0 y 1 O
v
. Si f, g O
v
es obvio que
f +g, f g O
v
.
O
v
es un anillo local de ideal maximal p
v
= f : v(f) > 0 0: 0 = v(1) = v(f f
1
) =
v(f)+v(f
1
), luego v(f
1
) = v(f). As pues los elementos valor cero, que estan en O
v
, son invertibles
en O
v
. Recprocamente un elemento de O
v
es invertible si su valor es cero. Para ver que O
v
es local
solo tenemos que probar que p
v
, el complementario de los invertibles, es un ideal, lo cual es una
sencilla comprobacion.
El cuerpo de fracciones de O
v
es : dado f entonces v(f) 0 o v(f
1
) 0 luego f O
v
o
f
1
O
v
(esta propiedad, junto con la noetherianidad, caracteriza los anillos O
v
, pero no lo vamos
a comprobar).
El ideal p
v
es principal: Sea t p
v
tal que v(t) = 1. El ideal p
v
esta generado por t, pues si f p
v
entonces v(f) 1, luego v(f/t) 0 y f/t O
v
y f (t).
O
v
es un anillo noetheriano, pues los ideales de O
v
son p
n
v
= (t
n
), con n 0.
La dimension de Krull de O
v
es cero o uno, como es inmediato por el parrafo anterior. Si es cero,
entonces O
v
es un cuerpo, que ha de ser , luego v( 0) = 0, contradiccion.
Tenemos una correspondencia biunvoca entre anillos locales regulares de dimension 1 de cuerpo
de fracciones y valoraciones discretas de .
Diremos que O
v
es un anillo de valoracion discreta.
Si un anillo local O , de ideal maximal m, domina a O
v
, es decir, O
v
O y p
v
m, entonces
O = O
v
: Si f OO
v
entonces f
1
O
v
y no es invertible en O
v
, luego f
1
p
v
y f
1
m. Esto
ultimo implica que f
1
no es invertible en O, lo cual es contradictorio. (Esta propiedad junto con la
noetherianidad caracteriza los anillos de valoracion discreta).
Por ultimo veamos la equivalencia entre los anillos de valoracion discreta y los anillos locales de
dimension 1 ntegramente cerrados en su cuerpo de fracciones
Denicion 1.6.10. Diremos que un anillo A ntegro, es ntegramente cerrado en su cuerpo de frac-
ciones , si cumple que si una funcion f es entera sobre A entonces f A. Tambien se dice que
A es normal.
Sea A B un morsmo de anillos. Llamaremos cierre entero de A en B al subanillo de B formado
por todos los elementos de B enteros sobre A.
Dejamos que el lector pruebe que el cierre entero de un anillo ntegro en su cuerpo de fracciones
es un anillo ntegramente cerrado.
20 Captulo 1. Esquemas
Proposicion 1.6.11. Un anillo ntegro es ntegramente cerrado en su cuerpo de fracciones si y solo si
es localmente ntegramente cerrado. En particular, si A es ntegramente cerrado, entonces A
S
tambien,
para todo sistema multiplicativo S.
Demostracion. Sea Antegramente cerrado. Dado x Spec A veamos que A
x
es ntegramente cerrado:
Sea f entero sobre A
x
. Existe una relacion entera
f
n
+a
1
/s
1
f
n1
+ +a
n
/s
n
= 0 cona
i
, s
i
Ay s
i
(x) ,= 0
Sea t = s
1
s
n
(luego t(x) ,= 0). Multiplicando la relacion anterior por t
n
obtenemos una relacion
entera de tf con coecientes en A, luego tf A y f A
x
.
Recprocamente, supongamos que A es localmente ntegramente cerrado. Sea f entero sobre A.
El morsmo A A[f] es nito, luego localmente es nito; es mas, localmente es isomorsmo (porque
A es localmente ntegramente cerrado). Por tanto, A = A[f] y f A, es decir, A es ntegramente
cerrado.
Proposicion 1.6.12. Los dominios de factorizacion unica son ntegramente cerrados en su cuerpo
de fracciones.
Demostracion. Sea A un dominio de factorizacion unica y su cuerpo de fracciones. Sea
a
b
una
fraccion de modo que b sea primo con a. Si
a
b
es entero sobre A verica una relacion
(
a
b
)
n
+a
1
(
a
b
)
n1
+. . . +a
n
= 0
Multiplicando por b
n
tendremos a
n
+

b = 0. Luego, como b es primo con a, habra de ser invertible y
a/b A. En conclusion, los unicos elementos enteros de sobre A son los de A.
Ejemplo 1.6.13. Z, k[x], k[x
1
, . . . , x
n
] son anillos ntegramente cerrados en sus cuerpos de fracciones.
Proposicion 1.6.14. Los anillos de valoracion son ntegramente cerrados en su cuerpo de fracciones.
Demostracion. Sea O
v
un anillo de valoracion y su cuerpo de fracciones. Sea f entero sobre
O
v
. Por tanto, verica una relacion entera
f
n
+a
1
f
n1
+ +a
n
= 0, a
i
O
v
Si f
1
O
v
, entonces f = a
1
a
2
f
1
f
1n
O
v
. Si f
1
/ O
v
entonces f O
v
, pues O
v
es un anillo de valoracion. En conclusi on, O
v
es ntegramente cerrado en su cuerpo de funciones.
De otro modo: nv(f) = v(f
n
) = v(a
1
f
n1
. . .a
n
) mnv(a
1
f
n1
), . . . , v(a
n1
f), v(a
n
)
mn(n 1)v(f), . . . , v(f), 0 de lo que se deduce que v(f) 0.
Si consideramos el nodo C y
2
x
2
+ x
3
= 0 y consideramos la curva

C que se obtiene de
despegar las dos ramas y el morsmo natural

C C pegar, resulta que este morsmo fuera del
nodo es isomorsmo (birracional) y es un morsmo nito. Parece claro intuitivamente que para las
curvas regulares en todo punto, no existen mas morsmos birracionales nitos que los isomorsmos.
En terminos matematicos precisos:
1.6. Ejemplos de esquemas 21
Teorema 1.6.15. Sea O un anillo ntegro local noetheriano de dimension 1. Las siguientes condi-
ciones son equivalentes:
1. O es regular.
2. O es un anillo de valoracion.
3. O es ntegramente cerrado en su cuerpo de fracciones .
Demostracion. Solo nos falta probar (3 1).
Sea f un elemento no nulo del ideal maximal m de O. O/fO es un anillo local de dimension
cero. Por tanto, el ideal maximal m en O/fO es nilpotente. Es decir, existe un n N de modo que
m
n
fO. Sea n N mnimo vericando m
n
fO. Sea g m
n1
de modo que g / fO. Basta probar
que m =
f
g
O, pues tendramos que m es un O-modulo principal y O un anillo regular. Basta probar,
pues, que
g
f
m = O. Se verica que
g
f
m
1
f
m
n
O. Si
g
f
m ,= O, tendremos que
g
f
m m. Por
tanto,
g
f
es un endomorsmo de m, que ha de satisfacer el correspondiente polinomio caracterstico.
Luego
g
f
es entero sobre O, as pues
g
f
O. Contradiccion porque g / fO.
Sea A una k-algebra de tipo nito ntegra de cuerpo de fracciones y

es una extension
nita de cuerpos. Sea

A el cierre entero de A en

. El morsmo de A

A es nito. Si dimA = 1
entonces dim

A = 1. Si x Spec

A es un punto cerrado entonces

A
x
es un anillo ntegramente cerrado
de dimension 1, luego un anillo de valoracion discreta. Recprocamente, si un anillo O
v
de valoracion
discreta contiene a A, entonces como es ntegramente cerrado contiene a

A. Tenemos

A O
v
y sea
p
x
= p
v


A. El morsmo

A
x
O
v
es dominante y

A
x
es de valoracion, entonces O
v
=

A
x
.

A como
todo anillo ntegro es igual a la interseccion de sus localizados. En conclusion,

A =
AOv
O
v
donde los O
v
son los anillos de valoracion discreta de

que contienen a A (o equivalentemente a



A).
Variedad de Riemann
Sea X una variedad algebraica ntegra y O
v
un subanillo de
X
de valoracion, trivial sobre k.
Se dice que O
v
tiene centro en un punto x X, cuando la imagen del morsmo de localizacion
O
X,x

X
es un anillo local dominado por O
v
.
Denicion 1.6.16. Diremos que una variedad algebraica ntegra es completa si todo anillo de valo-
racion de su cuerpo de funciones, trivial sobre k, tiene centro en un unico punto de la variedad.
Teorema 1.6.17. Las variedades algebraicas ntegras proyectivas son completas.
Demostracion. Sea X = Proj k[
0
, . . . ,
n
] una variedad proyectiva ntegra. Sea O
v

X
un anillo de
valoracion trivial sobre k.
Sea
i
j

X
la funcion de valor maximo para todo i, j 0, . . . , n. Se verica que k[
0
j
, . . . ,
n
j
]
O
v
, porque si v(
r
j
) < 0 para alg un r, entonces v(
i
j
) < v(
i
j
) +v(
j
r
) = v(
i
j

j
r
) = v(
i
r
) y llegamos
a contradiccion. As pues, O
v
centra en el punto x, donde p
x
es el corte del ideal de valoracion con
k[
0
j
, . . . ,
n
j
]
Por ultimo, dado un punto y ,= x, existe un abierto afn que contiene a x e y, luego el anillo de
valoracion centra en x y no puede centrar en y.
22 Captulo 1. Esquemas
Proposicion 1.6.18. Sea C una curva proyectiva ntegra no singular. Existe una correspondencia
biunvoca entre los puntos de C y las valoraciones de
C
, triviales sobre k.
Demostracion. En el teorema 1.6.17 hemos visto que todo anillo de valoracion k O
v

C
centra
en un unico punto x C, es decir, O
C,x
O
v
(y p
x
p
v
). Ahora bien, O
C,x
es un anillo local regular
de dimension 1, o es
C
, luego es de valoracion. Por tanto, como los anillos de valoracion no admiten
morsmos dominantes, ha de cumplirse que O
C,x
= O
v
. Ahora facilmente concluimos.
Sea k un cuerpo y una extension de cuerpos de k, de tipo nito de grado de trascendencia 1, es
decir, existe un t trascendente de modo que k(t) es una extension nita de cuerpos.
Denicion 1.6.19. Llamaremos variedad de Riemann de al espacio anillado (X, O
X
), donde
1) X es el conjunto de valoraciones discretas de triviales sobre k, junto con , dotado de la
siguiente topologa: los cerrados propios son los subconjuntos nitos de X que no contienen a la
valoracion (que sera, por tanto, el punto generico de X).
2) O
X
es el haz de anillos denido por O
X
(U) =
vU
O
v
, para cada abierto U X.
Teorema 1.6.20. La variedad de Riemann X de es una curva completa y no singular sobre k cuyo
cuerpo de funciones es .
Demostracion. Sea t trascendente. Sea U el conjunto de anillos de valoracion que contienen a t
y U

el conjunto de anillos de valoracion que contienen a t


1
. Se cumple X = U U

. Sea B el cierre
entero de k[t] en y B

el cierre entero de k[t


1
] en .
Se verica que U = Spec B (y por simetra, que U

= Spec B

): En efecto, B es un anillo ntegra-


mente cerrado en , de dimension 1 (pues el morsmo k[t] B es nito) cuyo cuerpo de fracciones
coincide con (porque es ntegramente cerrado en y contiene a k(t)). Por tanto, dado x Spec B,
B
x
es un anillo de valoracion discreta que contiene a t. Recprocamente, dado un anillo de valoracion
discreta O
v
que contenga a t, tendremos que B O
v
(pues B es la interseccion de los anillos de
valoracion que contienen a k[t]). Por tanto, si p
x
= B p
v
(donde p
v
es el ideal de valoracion de O
v
),
tendremos que B
x
= O
v
, porque B
x
es de valoracion y los anillos de valoracion no admiten morsmos
dominantes. Por ultimo, observemos que por ser B un anillo de dimension 1, la topologa de Spec B
coincide con la de U.
Se verica que U es un abierto de la variedad de Riemann (y por simetra, que U

es un abierto
de la variedad de Riemann): En efecto, los subanillos de valoracion de que no contienen a t, se
corresponden con los anillos de valoracion cuyo ideal irrelevante contiene a t
1
, es decir con los
ideales primos de B

que contienen a (t
1
), que son un n umero nito (distintos del punto generico),
porque B

es de dimension 1. En conclusion, X U es un n umero nito de anillos de valoracion


(distintos del punto generico), luego es un cerrado y U un abierto.
Observemos que O
X
restringido a U (dem para U

) coincide con

B, porque por ser B ntegro se
verica que

B(V ) =
xV
B
x
= O
X
(V ).
Por ultimo, si O
v
es un anillo de valoracion, entonces contiene a t (o a t
1
), por tanto, contiene
a B (o B

) y como hemos visto O


v
= B
x
, donde x U es la valoracion correspondiente a v. En
conclusion, O
v
centra en v.
Hemos concluido porque la variedad de Riemann es la union de los dos abiertos U, U

, que son
esquemas anes no singulares de cuerpo de funciones y toda valoracion centra en un punto y solo
uno de U U

.
Ejercicio 1.6.21. La variedad de Riemann de k(x) es la recta proyectiva P
1
.
1.6. Ejemplos de esquemas 23
Denicion 1.6.22. Un morsmo de esquemas f : X Y diremos que es un morsmo afn si existe
un recubrimiento U
i
de Y por abiertos anes de modo que f
1
(U
i
) sean abiertos anes de X.
Diremos ademas que es nito si los morsmos de anillos O
Y
(U
i
) O
X
(f
1
(U
i
)) son nitos.
Denicion 1.6.23. Un morsmo entre esquemas ntegros diremos que es birracional si el morsmo
inducido entre los cuerpos de fracciones es un isomorsmo.
Observemos que el cuerpo de funciones de toda curva ntegra es una extension de tipo nito de
grado de trascendencia 1.
Teorema 1.6.24. Sea C una curva completa sobre un cuerpo k y

C la variedad de Riemann del cuerpo
de funciones de C. Existe un epimorsmo natural :

C C nito y birracional de esquemas que
es isomorsmo si y solo si C es no singular.
Demostracion. Se dene :

C C como sigue: (v) es el centro en C de la valoracion O
v
. Sea un
abierto afn U C y sea por el lema de normalizacion de Noether un morsmo nito k[t] O
C
(U).
Se verica que
1
(U) = Spec B, donde B es el cierre entero de k[t] (o O
C
(U)) en
C
: Spec B se
identica con los anillos de valoracion que dominan a O
C
(U) (o k[t]), que se identica con los anillos
de valoracion que centran en U, es decir, con
1
(U). Si recordamos la construccion de los abiertos
anes por los que recubramos la variedad de Riemann,
1
(U) = Spec B es un abierto, luego es
continuo. Es claro, ademas, que el morsmo
|
1
(U)
:
1
(U) U es el inducido por la inclusion
O
C
(U) B.
Entre los haces de anillos, tenemos las inclusiones naturales O
C
(U) O
C
((
1
(U)) =
v
1
(U)
O
v
.
Tenemos, pues, denido un morsmo de espacios anillados :

C C, que cumple las condiciones del
teorema, como se comprueba afnmente con
|
1
(U)
:
1
(U) U.
Teorema 1.6.25. La categora de las curvas completas no singulares sobre un cuerpo k (cuyos mor-
smos no sean constantes), es equivalente (contravariantemente) a la categora de las extensiones de
tipo nito de k de grado de trascendencia 1.
Demostracion. Sea F el funtor que asigna a cada curva C su cuerpo de funciones
C
. Dado un
morsmo f : C C

, no constante, es decir, f aplica el punto generico g de C, el punto generico


g

de C

, tenemos denido un morsmo


C
= O
C

,g
O
C,g
=
C
, que por denicion sera F(f).
Obviamente, F(f g) = F(g) F(g).
Sea G el funtor que asigna a cada extension de grado de trascendencia 1, su variedad de
Riemann V . Dado un morsmo i :

, sea G(i): V

V el morsmo denido entre las variedades


de Riemann de

y , del siguiente modo: Entre los espacios topologicos, G(i)(v

) =
def
v, siendo
O
v
= O
v
. Dado t , sea B el cierre entero de k[t] en y B

el cierre entero de B (o k[t]) en

. Sean U = Spec B y U

= Spec B

, que son abiertos de V y V

. Se cumple que G(i)


1
(U) = U

y que G(i)
|U
el morsmo inducido por la inclusion B B

. Por ultimo, entre los haces de anillos,


para cada abierto W, las inclusiones O
V
(W) =
vW
O
v

v

G(i)
1
(W)
O
v
inducen un morsmo
O
V
G(i)

O
V
. De nuevo, el morsmo de espacios anillados denido sobre U

, es el inducido por el
morsmo de anillos B B

.
Para terminar, tenemos que ver que G F Id y F G Id. Efectivamente, : C G(F(C)) =
Var. de Riemann de
C
, x O
C,x
y entre los haces de anillos O
V
(U) =
vU
O
v
=
x
1
(U)
O
C,x
=
O
C
(
1
(U)); dene el isomorsmo G F Id. Por ultimo, F G() = .
24 Captulo 1. Esquemas
Ejercicio 1.6.26. Dado un morsmo : C

C entre curvas completas no singulares (no constante),


demostrar que el n umero de puntos de las bras es constante y coincide con el grado entre los cuerpos
de funciones.
Resolucion: Sea x C y U = Spec A C un abierto afn que contenga a x. Sea

A el cierre entero
de A en
C
, sabemos que
1
(U) = Spec

A, y que
1
(U) = Spec

A U = Spec A es el morsmo
inducido A

A. A
x
es un anillo de ideales principales y

A
x
es un A
x
-modulo nito sin torsion. Por
tanto,

A
x
= (A
x
)
n
. Sea g el punto generico de C,

A
g
es un A
g
=
C
-algebra nita ntegra, luego es un
cuerpo, que ha de ser
C
. Si localizamos la igualdad anterior en g tenemos
C
=

A
g
= (A
g
)
n
=
n
C
.
Ahora ya tenemos
n de puntos de
1
(x) = dim
Ax/mx

A/m
x

A = (A
x
)
n
/m
x
(A
x
)
n
= dim
Ax/mx
(A
x
/m
x
)
n
= n
dim

C

C
= n
Ejercicio 1.6.27. Sea : C

C un morsmo entre curvas anes no singulares. Demostrar que es


un morsmo nito si y solo si el n umero de puntos de las bras es constante.
Ejemplo 1.6.28. Sea
C
el cuerpo de funciones de una curva C completa no singular y f
C
trascendente. Consideremos el morsmo k(x)
C
, p(x) p(f), que induce un morsmo entre las
variedades de Riemann

f : C P
1
Si k[x] k[x], x f es el morsmo de cierre entero, el morsmo inducido en espectros es

f
|

f
1
(U)
. Sea m

k[x] un ideal maximal racional y f() =


def

f k[x]/m

. Es facil comprobar que


m

k[x] = (x f()). Por tanto,



f() = f(). Por otra parte,

f
1
(0) = Spec k[x]/fk[x]. Por tanto,
si fk[x] = m
n1
x1
m
nr
xr
,

f
1
(0) son los puntos x
i
con multiplicidad n
i
y el n umero de los puntos de la
bra de 0 es

i
n
i
gr x
i
.
1.6.3. Recollement de esquemas
Recollement de espacios topol ogicos
Sea X un espacio topologico. A veces, para aprehender X, es mas facil denir un recubrimiento
U
i
por abiertos de X y aprehender cada uno de los abiertos U
i
. Por ejemplo, en el estudio de
la supercie terrestre, se construyen una coleccion de mapas locales, llamemoslos U
i
. Ahora bien,
dados dos mapas locales, se estan identicando ciertos puntos entre los dos mapas. Ademas esta
identicacion ha de estar bien hecha, es decir, si x U
i
se identica con x

U
j
y x

con x

U
k
entonces x se identica con x

. Obviamente si solo dispusiesemos de los mapas locales U


i
, con las
identicaciones entre ellos bien hechas, tendramos reconstruida la supercie terrestre.

Este va a ser
el metodo de recollement, de construccion de un espacio topologico a partir de unos datos locales.
Denicion 1.6.29. Unos datos de construccion consisten en una familia X
i
de espacios topologicos,
para cada X
i
un recubrimiento X
i
=
j
X
ij
por abiertos, y una familia de homeomorsmos
ij
: X
ij

X
ji
tales que
1.
ij
=
1
ji
y
ii
= Id.
1.6. Ejemplos de esquemas 25
2.
ij
|XijX
ik
: X
ij
X
ik
X
ji
X
jk
y se verica un diagrama conmutativo:
X
ij
X
ik
ij

ik

N
N
N
N
N
N
N
N
N
N
N
X
ji
X
jk

jk
.p
p
p
p
p
p
p
p
p
p
p
X
kj
X
ki
para cualesquiera i, j, k. Es decir, se cumple la condicion de cociclo
jk

ij
=
ik
.
3
Denicion 1.6.30. Unos datos de construccion se dicen que son efectivos si existe un espacio topologi-
co X, un recubrimiento por abiertos X =
i
U
i
y unos homeomorsmos g
i
: U
i
X
i
de modo que los
diagramas
U
i
U
j
gi|U
i
U
j


X
ij
ij

U
j
U
i
gj
|U
j
U
i


X
ji
son conmutativos. Se dira que X es un descenso de los datos de construccion.
Teorema 1.6.31. Todo dato de construccion es efectivo y los descensos son unicos salvo isomorsmos.
Demostracion. Sea X
i
,
ij
unos datos de construccion. Consideremos en

i
X
i
la relacion : dados
x
i
X
i
y x
j
X
j
entonces x
i
x
j
si x
j
=
ij
(x
j
). La relacion es de equivalencia porque el dato
de construccion cumple la condicion de cociclo.
Sea pues

i
X
i

i
X
i
/ el morsmo de paso al cociente y consideremos en

i
X
i
/ la topologa
cociente. Es facil comprobar que los morsmos naturales X
i


i
X
i
/ son inmersiones abiertas,
denotemos

X
i
el abierto imagen de X
i
. Es facil comprobar que

X
i


X
j
es la imagen precisamente de
X
ij
y que tenemos el diagrama conmutativo
X
ij


ij

X
i


X
j
X
ji


X
j


X
i
Luego

i
X
i
/ es un descenso y el dato de construccion es efectivo.
Sea X =
i
U
i
otro descenso, con homeomorsmos g
i
: U
i
X
i
, vericando los diagramas conmu-
tativos
U
i
U
j
gi|U
i
U
j


X
ij
ij

U
j
U
i
gj
|U
j
U
i


X
ji
3
Puede comprobarse que esta segunda condici on implica la primera.
26 Captulo 1. Esquemas
La composicion g
i
de morsmos U
i
gi
X
i


X
i
verican el diagrama conmutativo
U
i
U
j
gi|U
i
U
j


X
ij
ij


ij

X
i


X
j
U
j
U
i
gj
|U
j
U
i


X
ji


X
j


X
i
Luego los homeomorsmos g
i
coinciden sobre las intersecciones, luego denen un homeomorsmo
global g : X

i
X
i
/ .
Recollement de esquemas
El recollement de haces puede ser entendido esencialmente como un caso particular del recollement
de espacios topologicos, sin mas que considerar, en vez de los haces, los espacios etale asociados. Puede
verse despues que en la categora de los haces el recollement deja estable las subcategoras de los
espacios anillados, y la de esquemas. Podramos as desarrollar esta seccion. Sin embargo, conviene
para la comprension de la teora del descenso elmente plano, mas adelante estudiada, proceder de
otro modo, igualmente natural.
Denicion 1.6.32. Unos datos de construccion, en la categora de esquemas, es una familia X
i
, O
Xi

de esquemas, para cada X


i
un recubrimiento X
i
=
j
X
ij
por abiertos, y una familia de isomorsmos

ij
: X
ij
X
ji
de esquemas tales que
1.
ij
=
1
ji
y
ii
= Id.
2.
ij
|XijX
ik
: X
ij
X
ik
X
ji
X
jk
y se verica un diagrama conmutativo:
X
ij
X
ik
ij

ik

N
N
N
N
N
N
N
N
N
N
N
X
ji
X
jk

jk
.p
p
p
p
p
p
p
p
p
p
p
X
kj
X
ki
para cualesquiera i, j, k. Es decir, se cumple la condicion de cociclo
jk

ij
=
ik
. Observemos,
que de hecho, la condicion 1. es consecuencia de la condicion 2.
Denicion 1.6.33. Unos datos de construccion se dicen que son efectivos si existe un esquema X,
un recubrimiento por abiertos X =
i
U
i
y unos isomorsmos g
i
: U
i
X
i
de esquemas de modo que
los diagramas
U
i
U
j
gi|U
i
U
j


X
ij
ij

U
j
U
i
gj
|U
j
U
i


X
ji
son conmutativos. Se dira que X es un descenso de los datos de construccion.
1.6. Ejemplos de esquemas 27
Teorema 1.6.34. Todo dato de construccion es efectivo y los descensos son unicos salvo isomorsmos
de esquemas.
Demostracion. Por la seccion anterior, podemos suponer a nivel topologico, que los X
i
son abiertos
del espacio topologico X =

i
X
i
/ , de modo que X
ij
= X
i
X
j
y los morsmos
ij
a nivel del
espacio topologico son los morsmos identidad.
Es decir, tenemos un espacio topologico X, un recubrimiento (X
i
, O
Xi
) de X por abiertos que son
esquemas e isomorsmos
ij
: O
Xi |XiXj
O
Xj
|XjXi
vericando la condicion de cociclo
jk

ij
=

ik
. Tenemos que ver que existe un haz O
X
de anillos, e isomorsmos g
i
: O
X|Xi
O
Xi
de modo que
O
X|XiXj
gi|X
i
X
j

O
Xi |XiXj
ij

O
X|XjXi
gj
|X
j
X
i

O
Xj
|XjXi
son conmutativos.
Sea i : X
i
X la inmersion natural y sigamos denotando O
Xi
= i

O
Xi
, es decir O
Xi
(V ) =
O
Xi
(V X
i
). Igualmente denotemos O
XiXj
el haz sobre X denido por O
XiXj
(V ) = O
Xi
(V X
i

X
j
). Tenemos dos morsmos

i
O
Xi
d1

d2

i,j
O
XiXj
denidos por d
1
(s
i
) = (s
i|XiXj
)
i,j
y d
2
(s
i
) = (
ji
(s
j
|XjXi
))
i,j
. Denimos O
X
como el n ucleo
de estas dos echas, es decir, como el haz cuyas secciones son las secciones locales sobre los X
i
,
que coinciden (a traves de las identicaciones
ij
: O
Xi |XiXj
O
Xj
|XjXi
) sobre las intersecciones.
Dejamos al lector la rutina de probar que existen isomorsmos naturales g
i
: O
X|Xi
= O
Xi
y que los
diagramas
O
X|XiXj
gi|X
i
X
j

O
Xi |XiXj
ij

O
X|XjXi
gj
|X
j
X
i

O
Xj
|XjXi
son conmutativos.
Veamos la unicidad, salvo isomorsmos de O
X
. Sea otro haz de anillos O

X
sobre X, e isomorsmos
g

i
: O

X|Xi
O
Xi
de modo que
O

X|XiXj
g

i|X
i
X
j

O
Xi |XiXj
ij

X|XjXi
g

j
|X
j
X
i

O
Xj
|XjXi
son conmutativos.
Por tanto tenemos un diagrama
28 Captulo 1. Esquemas
O

X|XiXj
g

i|X
i
X
j

O
Xi |XiXj
ij

O
X|XiXj
gi|X
i
X
j

X|XjXi
g

j
|X
j
X
i

O
Xj
|XjXi
O
X|XjXi
gj
|X
j
X
i

Por tanto, los isomorsmos g


1
i
g

i
: O

X|XiXj
O
X|XiXj
coinciden sobre las intersecciones, luego
existe un isomorsmo global O

X
O
X
.
Ejemplo 1.6.35. Podemos construir P
n
como un recollement de esquemas. Sean X
i
= Spec k[
x0
xi
, . . . ,
xn
xi
].
Sean X
ij
= X
i
(
xj
xi
)
0
= Spec k[
x0
xi
, . . . ,
xn
xi
]
x
j
x
i
, recubrimientos de cada X
i
. Sea
ij
: X
ij
X
ji
el mor-
smo inducido por el morsmo de anillos
k[
x
0
x
j
, . . . ,
x
n
x
j
]
x
i
x
j
k[
x
0
x
i
, . . . ,
x
n
x
i
]
x
j
x
i
,
x
k
x
j

x
k
xi
xj
xi
Pues bien, los
ij
cumplen la condicion de cociclo y el recollement de los X
i
es P
n
.
Ejemplo 1.6.36. El producto de esquemas. Sean f : X Y , f

: X

Y morsmos de esquemas,
queremos construir mediante recollement X
Y
X

. Por denicion, X
Y
X

es un esquema sobre Y ,
con un par de Y -morsmos
1
: X
Y
X

X y
2
: X
Y
X

, de modo que
Hom
Y
(Z, X
Y
X

) = Hom
Y
(Z, X) Hom
Y
(Z, X

), f (
1
f,
2
f)
Dado que el representante de un funtor es unico, es decir, si existe otro representante, es isomorfo de
modo unico con el primero, tendremos que X
Y
X

as denido es unico, si existe.


Si X = Spec B, X

= Spec B

e Y = Spec A son esquemas anes tenemos que X


Y
X

=
def.
Spec(B
A
B

), porque
Hom
Y
(Z, X
Y
X

) = Hom
A
(B
A
B

, O
Z
(Z)) = Hom
A
(B, O
Z
(Z)) Hom
A
(B

, O
Z
(Z))
= Hom
Y
(Z, X) Hom
Y
(Z, X

)
Sea V = Spec A Y un abierto afn. Sean U = Spec B X y U = Spec B

abiertos anes
tales que
1
(U) V y
2
(U

) V . Se cumple que U
Y
U

= U
V
U

= Spec(B
A
B

)
En general, dado X
Y
X

y abiertos U X, U

se cumple que U
Y
U

=
1
1
(U)
1
2
(U

).
Sea V
i
un recubrimiento por abiertos anes de Y , U
ij
un recubrimiento por abiertos anes de

1
1
(V
i
), U

ik
un recubrimiento por abiertos anes de
1
2
(V
i
). Sea X
ijk
= U
ij

Y
U

ik
,
1ijk
la com-
posicion de la proyeccion de X
ijk
en U
ij
, con la inclusion U
ij
X, y
2ijk
la composicion de la proyec-
cion de X
ijk
en U

ik
, con la inclusion U

ik
X. Sea X
ijk,i

k
:= X
ijk
|
1
1ijk
(UijU
i

j
)
1
2ijk
(U

ik
U

)
.
Entonces,
Tenemos
X
ijk,i

k
= (U
ij
U
i

j
)
Y
(U

ik
U

k
) = X
i

,ijk
Por recollement, obtenemos un esquema que resulta ser X
Y
X

.
1.7. Problemas 29
1.7. Problemas
1. Sea (X, O
X
) un esquema. Sea O
X,red
el prehaz de anillos sobre X denido por O
X,red
(U) =
O
X
(U)/ Rad(O
X
(U)). Probar que (X, O
X,red
) es un esquema.
2. Sea (X, O
X
) un espacio anillado, Aut(X) el grupo de los automorsmos de espacio anillados
globales de X y G un subgrupo de Aut(X). Sea X/G el espacio topologico cociente de X por la
relacion de equivalencia denida por G en X. Sea : X X/G el morsmo de paso al cociente y
O
X/G
el prehaz denido por O
X/G
(U) = O
X
(
1
(U))
G
= s O
X
(
1
(U)), tales que gs = s,
para todo g G.
a) Probar que (X/G, O
X/G
) es un espacio anillado.
b) Supongamos (X, O
X
) = (Spec A,

A) y que G es un grupo nito probar que (X/G, O
X/G
)
= (Spec A
G
,

A
G
).
c) Si G es nito y X es una variedad algebraica afn, probar que X/G tambien lo es.
3. Probar que C es un cerrado irreducible de un esquema si y solo si existe un unico punto x C,
tal que x = C.
4. Probar que O
Pn(k)
(P
n
(k)) = k. Probar que P
n
(k) no es un esquema afn.
5. Sea X = A
2
(k) (0, 0). Probar que O
X
(X) = k[x, y]. Probar que X no es un esquema afn.
6. Sea X = A
3
(k) (x, y)
0
no es un esquema afn.
7. Probar Hom
esq
(Z, Spec A) = Hom
alg
(A, O
Z
(Z)).
8. Se dice que un punto x de una k-variedad algebraica es racional si k = O
X,x
/p
x
. Probar que si
f : X Y es un morsmo entre k-variedades algebraicas, entonces f aplica puntos racionales
en puntos racionales. Probar que f aplica puntos cerrados en puntos cerrados.
9. Denir el morsmo de esquemas A
3
0 P
2
, que sobre los puntos racionales aplica (
0
,
1
,
2
)
en (
0
,
1
,
2
).
10. Probar que una curva completa no singular sobre un cuerpo algebraicamente cerrado es isomorfa
a la recta proyectiva si y solo si existe un funcion con un unico polo en un punto, de orden 1.
11. Probar que toda curva completa no singular sobre un cuerpo algebraicamente cerrado es birra-
cional a una curva plana.
30 Captulo 1. Esquemas
Captulo 2
Modulos cuasicoherentes y
coherentes
2.1. Haces cuasicoherentes sobre un espacio anillado
En el captulo anterior, hemos denido los esquemas como aquellas estructuras que localmente
son (Spec A,

A). Anteriormente, hemos denido y estudiado los A-modulos. El objetivo principal de
este captulo es la denicion en la categora de esquemas del concepto de modulo, es decir, de haz de
modulos cuasicoherentes.
Posteriormente estudiaremos los modulos es los esquemas proyectivos. Acabaremos con el estudio
de los haces de lnea, y demostraremos el teorema de Bezout.
Denicion 2.1.1. Sea (X, O
X
) un espacio anillado y / un haz, diremos que es un O
X
-modulo si
para cada abierto U X /(U) es un O
X
(U)-modulo y estas estructuras son compatibles con los
morsmos de restriccion.
Ejemplo 2.1.2. Sea (X, C

X
) una variedad diferenciable y Der
X
el prehaz que denido por Der
X
(U) =
Der
R
(C

X
(U)). Se cumple que Der
X
es un haz de C

X
-modulos.
Del mismo modo se denen los haces de C

X
-modulos de r-formas diferenciales, etc.
Sea X es un espacio topologico, O
X
un prehaz de anillos y / un prehaz de O
X
-modulos. Si
denotamos con los hacicados, se cumple

/ es un haz de

O
X
-modulos: En efecto, consideremos los
morsmos //
+
/, O
X
/

/ que dotan a / de estructura de O
X
-modulo. Hacicando,
obtenemos los morsmos

/

/
+


/,

O
X


/


/, que cumplen las condiciones que dotan a

/ de estructura de

O
X
-modulo (como se comprueba en bras).
Sean P y P

dos prehaces en un espacio topologico X. Se dene el prehaz de homomorsmos de


P en P

, que denotaremos Hom


X
(P, P

), como el prehaz
Hom
X
(P, P

)(U) = Hom
U
(P
|U
, P

|U
)
Si P y P

son haces se puede comprobar que Hom


X
(P, P

) es un haz. Igualmente, si /, /

son haces
de O
X
-modulos, se dene el haz de los morsmos de O
X
-modulos de / en /

, que denotaremos
Hom
O
X
(/, /

), como el haz de O
X
-modulos
Hom
O
X
(/, /

)(U) = Hom
O
U
(/
|U
, /

|U
)
31
32 Captulo 2. Modulos cuasicoherentes y coherentes
Sean /y /

haces de O
X
-modulos, se dene el producto tensorial de /por /

, que denotaremos
/
O
X
/

como el haz de O
X
-modulos asociado al prehaz
U /(U)
O
X
(U)
/

(U)
Ejercicio 2.1.3. Sean /, /

, /

haces de O
X
-modulos. Probar que
Hom
O
X
(/
O
X
/

, /

) = Hom
O
X
(/, Hom
O
X
(/

, /

))
Ejercicio 2.1.4. Sean /, /

haces de O
X
-modulos y x X. Probar que
(/
O
X
/

)
x
= /
x

O
X,x
/

x
Sean P
i
un sistema inductivo de prehaces. Se dene el lmite inductivo de los prehaces P
i
, que
denotaremos lim

i
P
i
, como el prehaz
U lim

i
[P
i
(U)]
que resulta ser el lmite inductivo de los prehaces en la categora de prehaces. Si los P
i
son haces y X
es un espacio topologico noetheriano, entonces lim

i
P
i
es haz: Como todo abierto de un espacio noethe-
riano es compacto, todo recubrimiento por abiertos de un abierto de X contiene un subrecubrimiento
nito. As, un prehaz F sobre X sera haz si verica que para todo abierto U y recubrimiento nito
por abiertos U
i

1in
, la sucesion
F(U)
n

i=1
F(U
i
)

i,j
F(U
i
U
j
)
es exacta. Como las sucesiones
P
m
(U)
n

i=1
P
m
(U
i
)

i,j
P
m
(U
i
U
j
)
son exactas y la toma de lmites inductivos es exacta entonces la sucesion
lim

m
P
m
(U)
n

i=1
lim

m
P
m
(U
i
)

i,j
lim

m
P
m
(U
i
U
j
)
es exacta y lim

m
P
m
es un haz.
Si ademas, los P
m
son O
X
-modulos, lim

m
P
m
es un O
X
-modulo.
En n, dejamos ya que el lector dena /
i
,

/
i
de O
X
-modulos /
i
.
Denicion 2.1.5. Sea (Spec A,

A) un esquema afn y M un A-modulo. Llamaremos haz de localiza-
ciones de M, que denotaremos por

M, al haz de

A-modulos asociado al prehaz sobre Spec A
U M
U
=
def
M
S
S =
_
sistema multiplicativo de las funciones
de A que no se anulan en U
_
2.1. Haces cuasicoherentes sobre un espacio anillado 33
Proposicion 2.1.6. Sea x Spec A, entonces

M
x
= M
x
.
Demostracion. Es consecuencia de 1.3.1.
Proposicion 2.1.7. Sea X = Spec A un esquema afn y M un A-modulo. Se verica para todo
abierto basico U
a
que (U
a
,

M) = M
a
. En particular, (X,

M) = M.
Demostracion. Se argumenta como en 1.4.9 y 1.4.10.
Nuestro objetivo ahora, es probar que si un haz de

A-modulos localmente es la localizacion de un
modulo, entonces lo es globalmente. El concepto de haces que son localizaciones en abiertos de un
modulo, sera un concepto local, luego denible en esquemas. Con precision demos la denicion y el
teorema siguientes.
Denicion 2.1.8. Se dice que un O
X
-modulo, /, es cuasicoherente, si existe un recubrimiento por
abiertos anes U
i
de X de modo que /
|Ui
=

/(U
i
) (recuerdese 2.1.7).
Teorema 2.1.9. Sea X = Spec A un esquema afn. Si / es un haz cuasicoherente entonces
/=

/(X).
Por tanto, la categora de O
X
-modulos cuasicoherentes es equivalente a la categora de A-modulos.
Luego, Hom
O
X
(/, ^) = Hom
A
((X, /), (X, ^)).
Demostracion. Dada f A, f es invertible en U
f
, por tanto, el morsmo de restriccion /(X)
/(U
f
) dene localizando por f un morsmo /(X)
f
/(U
f
). En conclusion, tenemos un morsmo
natural

(X, /) /. Veamos que es isomorsmo.
Sea U
i

i=1,...,n
un recubrimiento de X por abiertos basicos, tales que /
|Ui

=

/(U
i
).
Consideremos la sucesion exacta
(X, /)
i
(U
i
, /)


i,j
(U
i
U
j
, /)
Sea U
f
un abierto basico. Localicemos por f
(X, /)
f

i
(U
i
, /)
f


i,j
(U
i
U
j
, /)
f
[[por [[por
(U
f
, /)
i
(U
i
U
f
, /)


i,j
(U
i
U
j
U
f
, /)
De esta sucesion exacta obtenemos que (X, /)
f
= (U
f
, /). Por tanto, / coincide con

(X, /)
en abiertos basicos U
f
luego /=

(X, /).
Lo demas al lector.
Corolario 2.1.10. Sobre un esquema afn X = Spec A el producto tensorial y el lmite inductivo
de modulos cuasicoherentes es cuasicoherente y estas operaciones conmutan con la toma de secciones
globales, es decir,
(X, /
O
X
^) = (X, /)
A
(X, ^), (X, lim

i
/
i
) = lim

i
(X, /
i
)
34 Captulo 2. Modulos cuasicoherentes y coherentes
Demostracion. El prehaz de localizaciones en abiertos de Spec A de M
A
N es el producto tensorial
de los prehaces de localizaciones en abiertos de Spec A de M y N, porque (M
A
N)
S
= M
S

A
S
N
S
.
Por tanto, el producto tensorial de modulos cuasicoherentes es cuasicoherente. Ademas, /
O
X
^ =

/(X)
A
^(X). Por el teorema 2.1.9
(/
O
X
^)(X) = /(X)
A
^(X)
Argumentese igual con el lmite inductivo.
Corolario 2.1.11. Sobre un esquema afn X = Spec A, la sucesion de modulos cuasicoherentes
0 /

/ /

0 es exacta si y solo si 0 (X, /

) (X, /) (X, /

) 0 es
exacta.
Demostracion. 0 /

/ /

0 es exacta 0 /

x
/
x
/

x
0 es exacta,
para todo x X 0 (X, /

)
x
(X, /)
x
(X, /

)
x
0 es exacta, para todo x X
0 (X, /

) (X, /) (X, /

) 0 es exacta.
Ejercicio 2.1.12. Sea X un esquema y f
1
, . . . , f
n
(X, O
X
). Denotemos X
fi
por el abierto de X
formado por los puntos de X donde f
i
no se anula. Supongamos que (f
1
, . . . , f
n
) = (X, O
X
) y que
los X
fi
son esquemas anes. Probar que X es un esquema afn. (Copiese el metodo de demostracion
de 2.1.9)
Ejercicio 2.1.13. Demuestrese que toda curva afn menos un n umero nito de puntos cerrados es
afn.
Ejercicio 2.1.14. Demuestrese que si un morsmo de esquemas es afn la anti-imagen de todo abierto
afn es afn. (Utilcese el ejercicio 2.1.12)
Proposicion 2.1.15. Sea f : X Y un morsmo afn de esquemas. Si / es un modulo cuasico-
herente en X entonces f

/ es un m odulo cuasicoherente en Y .
Demostracion. El problema es local en Y y observemos que (f

/)
|U
= (f
|f
1
(U)
)

/
|f
1
(U)
. Por
tanto, podemos que X = Spec B e Y = Spec A son anes y /=

M. Dejamos que el lector compruebe
que f


M =

M, entendido ahora como haz de localizaciones en Y (es decir, consideramos el B-modulo
M como A-modulo).
Proposicion 2.1.16. Sea f : X Y un morsmo de esquemas. Sea / un modulo cuasicoherente
en Y . Sea f

/ el haz asociado al prehaz


U
P
lim

f(U)
/(V

)
O
Y
(V

)
O
X
(U)
Si U = Spec B X y V = Spec A Y son abiertos anes tales que f(U) V entonces (f

/)
|U
=

/(U)
A
B. Por tanto, f

/ es un modulo cuasicoherente.
Demostracion. Sea V

V = Spec A tal que f(U) V

. Veamos que /(V

)
O
Y
(V

)
B = /(V )
A
B:
Tenemos que ver que el morsmo de B-modulos /(V )
A
B /(V

)
O
Y
(V

)
B es isomorsmo.
Lo cual basta verlo localmente. Para todo x Spec B,
(/(V )
A
B)
x
= /(V )
A
B
x
= /(V )
y

Ay
B
x
2.1. Haces cuasicoherentes sobre un espacio anillado 35
donde y = f(x). E igualmente
(/(V

)
O
Y
(V

)
B)
x
= /(V

)
y

O
Y
(V

)y
B
x
Basta ver, pues, que /(V )
y
= /(V

)
y
. El germen de /en y es /(V )
y
. Tenemos, pues, los morsmos
/(V )
y
/(V

)
y
/(V )
y
. Entonces /(V

)
y
/(V )
y
es epiyectivo. Veamos la inyeccion: si el
germen de m /(V

) en y es cero entonces en cierto abierto basico U


a
= Spec A
a
que contiene a y
la seccion m es nula. Luego el soporte de m esta incluido (a)
0
luego para cierta n, a
n
m = 0, luego
m en /(V

)
y
es nula.
Por tanto, P(U) = lim

f(U)
/(V

)
O
Y
(V

)
O
X
(U) = /(V )
A
B. Igualmente P(U
b
) = /(V )
A
B
b
= (/(V )
A
B)
b
. Es decir, P en U coincide sobre los abiertos basicos con el prehaz de localizaciones
de /(V )
A
B. Luego (f

/)
|U
=

/(U)
A
B.
2.1.1. Haces coherentes
Denicion 2.1.17. Diremos que un esquema X es noetheriano si existe un recubrimiento abierto
nito U
i
= Spec A
i
de X, con A
i
noetherianos.
Observemos que los esquemas noetherianos son espacios topologicos noetherianos.
Proposicion 2.1.18. (Spec A,

A) es noetheriano si y solo si A es un anillo noetheriano.
Demostracion. Veamos que si (Spec A,

A) es noetheriano entonces A es un anillo noetheriano.
Existe un recubrimiento abierto nito U
i
= Spec A
i
de Spec A, con A
i
noetherianos. Sea una
cadena I
1
I
n
. . . de ideales de A. La restriccion de esta cadena de ideales a los abiertos
U
i
, dene una cadena de ideales de A
i
, que estabiliza a partir de un n
i
. Si n es el maximo de los n
i
,
para todo i, tenemos que la cadena de ideales de partida estabiliza a partir de n, porque as sucede
localmente. En conclusion, A es noetheriano.
A partir de ahora, por sencillez, supondremos que los esquemas considerados son noetherianos.
Denicion 2.1.19. Sea X un esquema noetheriano. Diremos que un O
X
-modulo / es coherente si
existe un recubrimiento por abiertos anes U
i
de X de modo que /
|Ui
=

/(U
i
) y /(U
i
) es un
O
X
(U
i
)-modulo nito generado.
Teorema 2.1.20. Sea X = Spec A un esquema afn. La categora de O
X
-modulos coherentes es
equivalente a la categora de A-modulos nito generados.
Demostracion. Por el teorema 2.1.9, dado un modulo /coherente, solo nos falta probar que (X, /)
es un A-modulo nito generado. Sea U
ai
un recubrimiento nito de Spec A por abiertos basicos, de
modo que (U
ai
, /) = (X, /)
ai
es un A
ai
-modulo nito generado. Escribamos
(X, /)
ai
=
m
i,1
1
, . . . ,
m
i,ni
1
)
Aa
i
mod
con m
i,j
(X, /). Sea M = m
i,j
)
i,j
(X, /). Se verica que M = (X, /), pues las inclusiones
M
ai
(X, /)
ai
son epiyectivas.
36 Captulo 2. Modulos cuasicoherentes y coherentes
Sea M es un A-modulo de presentacion nita (es decir, si A es noetheriano, M es un modulo nito).
Sea S A un sistema multiplicativo. Sabemos que Hom
A
(M, N)
S
= Hom(M
S
, N
S
). Por tanto, por
2.1.9, si X es un esquema noetheriano, / un modulo coherente y ^ un modulo cuasicoherente
entonces Hom
O
X
(/, ^) es un modulo cuasicoherente.
Corolario 2.1.21. Sea X un esquema noetheriano. Se verica que:
Los n ucleos y con ucleos de un morsmo entre haces coherentes (resp. cuasicoherentes) es coherente
(resp. cuasicoherente).
Si / y ^ son coherentes, entonces /
O
X
^, Hom
O
X
(/, ^) son coherentes.
Demostracion. Podemos suponer que X = Spec A es afn y /= M, ^ = N son A-modulos nitos.
Obviamente M
A
N es un A-modulo nito generado. Sea un epimorsmo A
n
M, entonces tenemos
una inyeccion Hom
A
(M, N) Hom
A
(A
n
, N) = N
n
. Por tanto, Hom
A
(M, N) es un A-modulo nito,
pues es un submodulo de un A-modulo noetheriano.
2.2. Haces cuasicoherentes sobre un esquema proyectivo
Denicion 2.2.1. Sea R =
nZ
R
n
y M =
nZ
M
n
un R-modulo graduado. Denimos el modulo

M
de localizaciones homogeneas sobre (Proj R,

R) como el haz asociado al prehaz


U (M
U
)
0
=
_
_
_
m
f
M
U
, con m M y f R homogeneos
del mismo grado y f no se anula en U
_
_
_
Por sencillez, supondremos que R = R
0
[
1
, . . . ,
n
] con
i
de grado 1. Igual que veamos para el
haz estructural de Proj R tenemos

M
|U
h

i
=

(M
i
)
0
Luego

M es cuasicoherente.
Notacion 2.2.2. Si M es un R-modulo graduado y n Z denotaremos por M(n) al R-modulo
graduado cuya componente de grado r es la componente de grado n+r de M. Denotaremos por O(n)
al haz

R(n).
Se cumple la igualdad

M
O
O(n)

M(n)
U
h
i
:
mr

r
i

ps+n

s
i


ps+nmr

r+s
i
U
h
i
:
mr+n

r+n
i

n
i
mr+n

r
i

En particular, O(n)
O
O(m) =

R(n)
O
O(m) =

R(n +m) = O(n+m). Observemos que O(n)


|U
h

n
i

O
|U
h

i
.
2.2. Haces cuasicoherentes sobre un esquema proyectivo 37
Dado un modulo /cuasicoherente denotaremos /(n) = /
O
O(n). Denotemos U
i
= U
h
i
y por
/
Ui
el haz /
Ui
(U) = /(U
i
U), puede pensarse /
Ui
, como el haz de secciones meromorfas de
/ que son regulares en U
i
, pero pueden tener polos en
i
= 0.
Consideremos el morsmo
() /(n)

n
i

/
Ui
U
i
: /(U
i
)
O(Ui)
O(U
i
)
n
i

n
i
/
Ui
(U
i
) = /(U
i
)
U
j
: /(U
j
)
O(Uj)
O(U
j
)
n
j

n
i
(
i
j
)
n
/(U
j
) /(U
j
)
i

j
= /
Ui
(U
j
)
Si bien, el morsmo /(n)

n
i
/
Ui
no es inyectivo, esencialmente lo es para n >> 0, mas abajo
lo vemos. Lo que permite pensar /(n) como el haz de secciones meromorfas de / regulares en U
i
y
con polo de orden n, en
i
= 0.
Proposicion 2.2.3. Consideremos los diagramas conmutativo obvios
/(n + 1)

n1
i

/
Ui
/(n)

n
i

t
t
t
t
t
t
t
t
t
t
i

Se tiene que lim

n
/(n) = /
Ui
, la union, para todo n, de las secciones meromorfas de / regulares
en U
i
con polos de orden menor que n en
i
= 0, son las secciones meromorfas de / regulares en
U
i
.
Demostracion. Por el diagrama (), tenemos que probar que lim

n
/(n)(U
j
) /
Ui
(U
j
) = /(U
j
)
i

j
es un isomorsmo, denotemoslo por . La imagen de es claramente la union de (
i
j
)
n
/(U
j
)
que es /(U
j
)
i

j
, luego el es epiyectivo. Nos falta ver la inyeccion. Si m
n
j
Ker entonces
0 = (
i
j
)
n
m /(U
j
)
i

j
. Luego existe un r N, tal que (
i
j
)
r
m = 0, entonces 0 = (
i
j
)
r
m
n+r
j
=
m
r
i

n
j
. Por tanto, m
n
j
= m
r
i

n
j
= 0.
Hemos denido morsmos /(n)
i
/(n + 1), luego tenemos denidos morsmos /(n)(X)
i

/(n+1)(X) (X = Proj R). En conclusion,


nN
/(n)(X) es un R = R
0
[
0
, . . . ,
n
]-modulo graduado.
Proposicion 2.2.4. Todo un m odulo / cuasicoherente en Proj R = X es la localizacion homogenea
del modulo graduado
nN
/(n)(X).
Por tanto, todo haz de modulos cuasicoherente en un esquema proyectivo es el haz de localizacion
homogenea de un modulo graduado.
38 Captulo 2. Modulos cuasicoherentes y coherentes
Demostracion.

nN
/(n)(X)(U
i
) =
i
/(n)(X)

n
i

= lim

n
(/(n)(X)) = lim

n
/(n)(X) = /
Ui
(X) = /(U
i
)
m
n
/
n
i
m
n
.
Proposicion 2.2.5. Dado un m odulo / cuasicoherente en (Proj R,

R = O) existe una resolucion

I
O(n
i
)
J
O(n
j
) /0
(si / es coherente pueden tomarse I, J nitos).
Demostracion. Por la proposicion anterior, /es la localizacion homogenea de un R-modulo graduado.
Ahora bien, todo R-modulo graduado es el cociente graduado de una suma directa
J
R(n
j
). Luego /
es un cociente de
J
O(n
j
) y argumentando igual con el n ucleo, concluimos.
Si / es coherente y
J
O(n
j
) / es un epimorsmo, puede tomarse un subconjunto J

nito
de subndices de J, de modo que
J

O(n
j
) / sea epiyectivo en cada abierto U
h
i
. Argumentando
igual con el n ucleo de
J

O(n
j
) /, que es coherente, demostraremos la ultima armacion de la
proposicion.
Ejercicio 2.2.6. Demuestrese que todo haz coherente sobre (Proj R,

R) es la localizacion homogenea
de un R-modulo graduado nito generado.
2.3. Divisores y haces de lnea
Sea C una curva completa no singular, sobre un cuerpo k y
C
su cuerpo de funciones.
Denicion 2.3.1. Un divisor sobre C es una suma formal nita D =

x= x
n
x
x, n
x
Z.
Diremos que D =

n
x
x D

n
x
x

cuando n
x
n
x
para todo x. Llamaremos soporte
de un divisor, D =

n
x
x, al cerrado [D[ de los x C tales que n
x
,= 0. Se dice que D =

x= x
n
x
x
es un divisor efectivo si n
x
0, para todo x.
Denicion 2.3.2. Denimos grado de un divisor D =

n
x
x por gr D =

n
x
gr(x), siendo
gr(x) = dim
k
(O
C
/m
x
).
Sea x C un punto cerrado y v
x
la valoracion denida por el anillo de valoracion O
C,x
. Dada
f
C
sea n
x
= v
x
(f). Si n
x
> 0 se dice que f tiene un cero de orden n
x
en x, y si n
x
< 0 se dice
que f tiene un polo de orden n
x
en x.
Veamos ahora como toda funcion f
C
dene un divisor:
Denicion 2.3.3. Llamaremos divisor de ceros y polos de f al divisor D(f) denido por D(f) =

v
x
(f) f.
2.3. Divisores y haces de lnea 39
Para que esta denicion sea correcta el sumatorio escrito ha de ser nito. Necesitamos, pues, la
siguiente proposicion.
Proposicion 2.3.4. Una f
C
no tiene m as que un n umero nito de ceros y polos.
Demostracion. Dado un abierto afn U = Spec A C, tendremos que f =
a
b
, a, b
C
. Es claro
que los ceros de f en U estan incluidos en (a)
0
y que los polos de f en U estan incluidos en (b)
0
,
que son un n umero nito de puntos. Como C esta recubierto por un n umero nito de abiertos anes
concluimos que f no tiene mas que un n umero nito de ceros y polos.
Proposicion 2.3.5. (C, O
C
) =

k, siendo

k el cierre entero de k en
C
.
Demostracion. (C, O
C
) =
vC
O
v
= cierre entero de k en
C
=

k
As pues,

k son las unicas funciones f
C
sin polos. Como

k es un cuerpo, tendremos tambien
que

k coincide con las funciones f
C
sin ceros.
Teorema 2.3.6. El grado del divisor de ceros y polos de f, D(f) es cero. Es decir, el n umero de
ceros de f es igual al n umero de polos de f.
Demostracion. Si f

k entonces no tiene ni ceros ni polos, y en este caso el teorema se verica
trivialmente.
Sea pues, f
C
es trascendente. El morsmo k(x)
C
, x f dene un morsmo nito entre
las variedades de Riemann

f : ( P
1
, f()
Es facil comprobar que la bra del origen es igual al divisor de ceros de f y la bra del innito
es igual al de divisor de polos de f. Es decir, D(f) =

f
1
(0)

f
1
(). Por el ejercicio 1.6.26,
gr(D(f)) = 0.
Ejemplo 2.3.7. Sea P
1
(k) = Proj k[x
0
, x
1
] y
P1(k)
= k[
x1
x0
]. Calculemos los ceros y polos de la
funcion x
2
, x =
x1
x0
. Tenemos que P
1
(k) = Spec k[x] Spec k[
1
x
] = Spec k[x] , m

= (
1
x
) k[
1
x
].
En Spec k[x] se cumple que (x
2
)
0
= m
0
= (x). Por tanto, en Spec k[x], x
2
no tiene mas ceros que el
origen y no tiene polos, ademas v
0
(x
2
) = 2. Por ultimo, v

(x
2
) = v

((
1
x
)
2
) = 2. En conclusion,
D(x
2
) = 2 0 2 .
Ejercicio 2.3.8. Calcular el divisor de ceros y polos de x sobre la variedad de Riemann del cuerpo
de fracciones de k[x, y]/(y
2
x
3
).
Dados dos divisores D =

n
x
x, D

x
x denimos la suma por D+D

(n
x
+n

x
) x.
El conjunto de todos los divisores de una curva completa no singular es un grupo abeliano libre que
denotaremos Div C.
Denicion 2.3.9. Se dice que dos divisores son linealmente equivalentes si dieren en el divisor de
una funci on.
Obviamente, la equivalencia lineal es una relacion de equivalencia. Ademas, el conjunto de las
clases de divisores linealmente equivalentes, con la suma de divisores, es un grupo abeliano.
Denicion 2.3.10. Dado un esquema X se dice que un O
X
-modulo L es un haz de lnea si existe
un recubrimiento U
i
por abiertos de X tal que L
|Ui
O
Ui
.
40 Captulo 2. Modulos cuasicoherentes y coherentes
Notacion 2.3.11. Dado un divisor D =

n
x
x y un abierto U C, denotaremos D
U
=
Not

x|D|U
n
x

x.
Ejemplo 2.3.12. 1. Si X = Proj k[
0
, . . . ,
n
] entonces O
X
(n) es un haz de lnea en P
n
(k) puesto
que tenemos los isomorsmos O
X
(n)
|U
h

n
i
O
X|U
h

i
.
2. Sea C es una curva completa no singular y x C es un punto cerrado. Sea m
x
el subhaz de
O
C
, denido por m
x
(U) = f O
C
(U): f(x) = 0, donde entendemos que m
x
(U) = O
C
(U) si
x / U. Si x / U, entonces m
x|U
= O
X|U
. Si x U, empeque neciendo U, si es preciso, existe
t
x

C
, de modo que v
y
(t
x
) = 0, para todo y U x, y v
x
(t
x
) = 1. Entonces m
x|U
= t
x
O
X|U
.
Tambien se denota m
x
= L
x
.
3. Sea C es una curva completa no singular y D =
r

i=1
n
i
x
i
un divisor. Sea m
n1
x1
m
nr
xr
= L
D
el subhaz de

C
denido por L
D
(U) =
def
f
C
tales que (Df)
U
+ D
U
0. Veamos que L
D
es un haz de lnea: Evidentemente L
D
es un O
C
-modulo. Tenemos que ver que localmente es
isomorfo a O
C
. Dado x [D[ sea U un abierto afn, tal que U [D[ = x. Empeque neciendo U,
si es preciso, podemos suponer que existe una funcion, t
x

C
, tal que (Dt
x
)
U
= x. Se sigue
trivialmente que L
D|U
= t
nx
x
O
C|U
.
Observemos que dados dos haces de lnea L, L

, su producto tensorial L
O
X
L

es un haz de
lnea. El conjunto de clases de isomorfa de los haces de lnea, con el producto tensorial, es un grupo
abeliano donde:
1. El elemento neutro es O
X
.
2. El inverso del haz de lnea L es Hom
O
X
(L, O
X
): el morsmo L
O
X
Hom
O
X
(L, O
X
) O
X
,
e w w(e) es un isomorsmo, como puede comprobarse localmente, en abiertos donde L sea libre.
Teorema 2.3.13. El grupo de las clases de los divisores linealmente equivalentes es canonicamente
isomorfo al grupo de las clases de isomorfa de los haces de lnea, sobre una curva no singular C. El
isomorsmo viene dado por
[D =

n
x
x] L
D
: L
D
(U) =
def
f
C
tales que (Df)
U
+D
U
0
Demostracion. Si D

= D +Dg entonces L
D
L
D
por el isomorsmo
L
D

g
L
D
, L
D
(U)
g
L
D
(U)
La asignacion D L
D
es de grupos, pues tenemos un morsmo natural
L
D

O
C
L
D
L
D+D
, L
D
(U)
O
C
(U)
L
D
(U) L
D+D
(U), f g f g
que localmente es el isomorsmo: t
nx
x
O
C|U

O
C
t
n

x
x
O
C|U
= t
nxn

x
x
O
C|U
.
Recprocamente, asignemos a cada haz de lnea L un divisor D: Dado un haz de lnea L, jemos un
isomorsmo
g
: L
pg

C
de -espacios vectoriales. Este isomorsmo dene un morsmo inyectivo
L

C
, que podemos suponer que es una inclusion, simplicando notaciones. Sea U un abierto
afn sobre el que L sea libre, entonces L(U) = f
U
O
C
(U) para cierta f
U

C
. Observemos que
D(f
U
)
U
no depende del f
U
escogido, porque cualquier otro escogido es f
U
, con invertible en U
y D( f
U
)
U
= D(f
U
)
U
.
2.3. Divisores y haces de lnea 41
Asignamos a L el divisor D
L
denido localmente por (D
L
)
U
= D(f
U
)
U
, para cada abierto afn
U sobre el que L es libre.
1) Se verica que D
L
esta bien denido, es decir, (D
L
)
U
coincide con (D
L
)
U
sobre U U

, porque
las restricciones de f
U
y f
U
dieren en un invertible de O
C
(U U

).
2) Si

: L
pg

C
es otro isomorsmo, sera

= g para alguna funcion g


C
. Se sigue que
si D

L
es el divisor construido a partir de

entonces D

L
= D
L
Dg.
Para concluir, observemos que el haz de lnea asociado a D
L
es L, una vez que hemos identicado
L con un subhaz de , es decir, una vez que prejamos un isomorsmo L
pg
. Recprocamente, el
divisor asociado a L
D
es D.
Denicion 2.3.14. El grupo de las clases de isomorfa de los haces de lnea de X se denomina grupo
de Picard de X.
Proposicion 2.3.15. El grupo de Picard de la recta proyectiva es isomorfo a Z, es decir
Pic P
1
= Z L

Demostracion. P
1
es la variedad de Riemann de k(x) y P
1
= Spec k[x] Spec k[
1
x
] = Spec k[x] .
Sea p(x) = a
0
x
n
+ +a
n
k[x] un polinomio irreducible de grado n. Denotemos por p el punto
de Spec k[x] denido por el ideal maximal (p(x)) k[x]. Observemos que
v

(p(x)) = v

(
p(x)
x
n
x
n
) = v

((a
0
+
a
1
x
+ +
a
n
x
n
) (
1
x
)
n
) = 0 + (n) = n
Luego D(p(x)) = 1 pn , es decir 1 p gr p y en general

n
i
p
i
(

n
i
gr p
i
) . As pues,
el morsmo
Pic P
1
= Divisores de P
1
/ Z , [D] gr(D)
es un isomorsmo.
Proposicion 2.3.16. Si C es una curva completa no singular sobre un cuerpo algebraicamente cerrado
tal que Pic C = Z entonces C = P
1
:
Demostracion. Si D es un divisor de grado 1, y D nD

, ha de cumplirse que gr D

= 1 y n = 1,
como se comprueba tomando grados en la equivalencia anterior. Por tanto, si Pic C = Z, podemos decir
que Pic C = Z p, siendo p cualquier punto cerrado de C. En consecuencia, dado otro punto cerrado
q, se cumple que p q es linealmente equivalente al divisor de ceros y polos de una funcion f
C
.
Luego el morsmo f : C P
1
, f(), es un morsmo de grado 1, es decir, un isomorsmo.
Ejercicio 2.3.17. Probar que si gr D < 0 entonces (C, L
D
) = 0.
Ejercicio 2.3.18. Consideremos la recta proyectiva P
1
. Probar que O
P1
(n) es un haz de lnea isomorfo
a L
n
, donde el isomorsmo es
O
P1
(n)
x
n
0

L
n
U
h
x0
: p(
x
1
x
0
) x
n
0
x
n
0
p(
x
1
x
0
)
U
h
x1
: p(
x
0
x
1
) x
n
1
x
n
0
p(
x
0
x
1
) (
x
0
x
1
)
n

42 Captulo 2. Modulos cuasicoherentes y coherentes


Sea C una curva no singular, L un haz de lnea en C, g C el punto generico y

L
g
el haz constante
asociado a L
g
. El morsmo L

L
g
es inyectivo, pues localmente lo es. Dada una seccion meromorfa
de L s L
g
y un punto cerrado x C, denamos v
x
(s) = n si s m
n
x
L
x
y s / m
n+1
x
L
x
. Observemos
que s L
g
pertenece a L(U) si y solo si v
x
(s) 0 para todo x U: la cuestion es local en U, podemos
suponer pues que L
|U
= O
C|U
.
Proposicion 2.3.19. Sea C una curva completa no singular, L un haz de lnea en C y s L
g
. Se
cumple que el haz de lnea asociado a D(s) =

x
v
x
(s)x es L.
Demostracion. El morsmo L
D(s)
s
L, f f s es un isomorsmo.
Si D

= D(s) +D(f), f
C
, entonces D

= D(f s). Por tanto, modulo k, las secciones de L


g
se
corresponden biyectivamente con la clase de divisores equivalentes a D(s). Observemos que D(s) es
un divisor efectivo si y solo si s (C, L). Por tanto, P((C, L)) = Divisores efectivos equivalentes
a D(s).
Hemos hablado de divisores en curvas, los cuales se obtienen localmente como ceros y polos de
funciones. El grupo de Picard de una curva es un invariante importante en el estudio de la geometra
intrnseca de la curva.
En variedades algebraicas de dimension mayor, los ceros y polos de funciones son hipersupercies
y los divisores seran sumas formales de hipersupercies.
2.4. Teoremas de Bezout y Max Noether
Dado un ideal homogeneo I k[x
0
, . . . , x
n
] consideremos el morsmo de paso al cociente
k[x
0
, . . . , x
n
] k[x
0
, . . . , x
n
]/I
Tomando espectros proyectivos, dene el morsmo i : X = Proj k[x
0
, . . . , x
n
]/I Proj k[x
0
, . . . , x
n
] =
P
n
, que establece un homeomorsmo X = (I)
h
0
. La localizacion homogenea del morsmo de anillos
anterior
O
Pn
i

O
X
hace que el morsmo i : X P
n
sea un morsmo de espacios anillados en anillos locales, es decir, un
morsmo de esquemas.
Si C
1
, C
2
son dos subesquemas cerrados de P
n
denidos por los ideales I
1
, I
2
, denotaremos C
1
C
2
al subesquema cerrado de P
n
denido por I
1
+I
2
, que topologicamente es la interseccion de C
1
y C
2
.
Si C
1
C
2
= x
1
, . . . , x
n
es un n umero nito de puntos cerrados de P
n
, entonces diremos que el
n umero de puntos de corte de C
1
con C
2
, que denotaremos (C
1
C
2
), es
dim
k
O
C1C2
(C
1
C
2
)
Ejercicio 2.4.1. Sea C = Proj C[x
0
, x
1
, x
2
]/(x
2
0
+ x
2
1
x
2
2
) y f =
x1
x0

C
. Calcular el divisor de
ceros y polos de f e interpretarlo geometricamente.
Teorema 2.4.2 (Bezout). Sea C una curva proyectiva ntegra. Supongamos por sencillez que el cuerpo
base k es algebraicamente cerrado.
1) Para cada hiperplano H que no contenga a C, el n umero de puntos de corte de H con C es un
n umero natural que no depende del hiperplano H, que se llama grado de la curva C.
2) Si C es de grado n y H es una hipersupercie de grado m (es decir denida por un polinomio
de grado m) que no contiene a C se cumple que el n umero de puntos de corte de H con C es n m.
2.4. Teoremas de Bezout y Max Noether 43
Demostracion. 1) Sea H

un hiperplano que no pase por ning un punto de CH. Sea U = P


n
H

. H
y H

son los ceros homogeneos de sendos polinomios homogeneos de grado 1, que denotaremos por H
y H

, tambien. Consideremos la funcion f =


H
H

O
C
(U) = A. Se cumple que C H = Spec A/fA y
(C H) = dim
k
O
CH
(C H) = dim
k
O
CH
(C H U) = dim
k
(A/(f))
Denotemos por

C la desingularizacion de C, :

C C el morsmo de desingularizacion y B =
O
C
(
1
(U)). Del isomorsmo B/A fB/fA y el diagrama conmutativo
fA

fB

A

B
se deduce que dim
k
(A/(f)) = dim
k
(B/(f)), que coincide con el grado del divisor de ceros de f en

C
(observemos que los ceros de f en C U son C H y C H

son ceros de 1/f = H

/H). Por tanto,


(C H) = grado del divisor de ceros de la funcion
H
H

en

C
= grado del divisor de polos de la funcion
H
H

en

C
= grado del divisor de ceros de la funcion
H

H
en

C
= (C H

)
Sean H y H

dos hiperplanos cualesquiera que no contienen a C, sea H

un hiperplano que no
pase por ning un punto de C H ni de C H

. Entonces, (C H) = (C H

) = (C H

).
2) Podemos suponer que x
0
= 0 no pasa por ning un punto de C H y que x
1
= 0 no pasa
por ning un punto de x
0
= 0 C, ni de C H. Tomando f =
H
x
m
0
tenemos, como en el apartado
anterior, que (C H) = grado del divisor de ceros de f = grado del divisor de polos de f = grado
del divisor de ceros de
x
m
0
H
= grado del divisor de ceros de
x
m
0
x
m
1
= m ( grado del divisor de ceros de
x0
x1
) = m (C x
0
= 0) = m n.
Ejercicio 2.4.3. Sean p
1
, p
2
k[x, y] polinomios primos con p k[x, y]. Demostrar que la sucesion
0 k[x, y]/(p, p
2
)
p1
k[x, y]/(p, p
1
p
2
) k[x, y]/(p, p
1
) 0
es exacta. Si denotamos por C, C

, C
1
y C
2
las curvas planas denidas por p = 0, p
1
p
2
= 0, p
1
= 0 y
p
2
= 0 respectivamente, demostrar que (C C

)
x
= (C C
1
)
x
+ (C C
2
)
x
.
Corolario 2.4.4. Sean C p
r
(x
0
, x
1
, x
2
) = 0 y C

p
r
(x
0
, x
1
, x
2
) = 0 dos curvas proyectivas
planas sin componentes comunes. El n umero de puntos de corte de las dos curvas es r r

.
Demostracion. En primer lugar podemos suponer las curvas son ntegras por el ejercicio 2.4.3.
Por el teorema anterior, solo tenemos que comprobar que si p
r
(x
0
, x
1
, x
2
) = 0 es una curva C
proyectiva plana entonces r coincide con el grado de C, es decir, con el n umero de puntos de corte C
con una recta R: Si C es una recta es claro que su grado es uno. Ahora ya,
(C R) = (R C) = r grado de R = r
44 Captulo 2. Modulos cuasicoherentes y coherentes
Ahora vamos a demostrar el teorema de Max Noether, con el que se podran resolver m ultiples
problemas geometricos, como los teoremas de Pascal y Pappus.
Teorema 2.4.5. Sean p
i
k[x
0
, x
1
, x
2
] polinomios homogeneos (i = 1, 2, 3). Consideremos las curvas
proyectivas planas C
i
p
i
= 0 y los haces p
Ci
de ideales de funciones de P
2
que se anulan en C
i
.
Supongamos que C
1
, C
2
no tienen componentes comunes. Existe una ecuacion
p
3
= a p
1
+b p
2
con a, b polinomios homogeneos de grados gr a = gr p
3
gr p
1
, gr b = gr p
3
gr p
2
, si y solo si para
todo x C
1
C
2
se verica que p
C3,x
p
C1,x
+ p
C2,x
.
Demostracion. La necesidad es obvia, veamos la suciencia.
Tenemos que p
C1
+ p
C2
= p
C1
+ p
C2
+ p
C3
, pues lo es localmente para todo punto x P
2
por la
hipotesis. Por tanto,
p
C3
p
C1
+ p
C2
O
2

Por cambio homogeneo de coordenadas, podemos suponer que x
0
= 0 no pasa por ning un punto
de C
1
C
2
, es decir, p
1
(0, x
1
, x
2
) es primo con p
2
(0, x
1
, x
2
). Sabemos que
p
3
x
n3
0
= a
p
1
x
n1
0
+b
p
2
x
n2
0
Tenemos homogeneizando que x
r
0
p
3
= a

p
1
+ b

p
2
. Sea r mnimo en las igualdades de esta forma.
Si r > 0, entonces 0 = a

(0, x
1
, x
2
)p
1
(0, x
1
, x
2
) + b

(0, x
1
, x
2
)p
2
(0, x
1
, x
2
). Por tanto, a

(0, x
1
, x
2
) =
h p
2
(0, x
1
, x
2
) y b

(0, x
1
, x
2
) = h p
1
(0, x
1
, x
2
). Luego a

= a

h p
2
, b

= b

h p
1
son divisibles
por x
0
y x
r
0
p
3
= a

p
1
+ b

p
2
. Dividiendo en esta igualdad por x
0
llegamos a contradiccion, porque
r 1 < r. En conclusion,
p
3
= a p
1
+b p
2
Es facil concluir.
Proposicion 2.4.6. Sean C
i
curvas proyectivas planas denidas por polinomios homogeneos p
i

k[x
0
, x
1
, x
2
] (i = 1, 2, 3). Supongamos que C
1
, C
2
no tienen componentes comunes. Supongamos el
cuerpo base k es algebraicamente cerrado. C
3
verica las condiciones de Noether en un punto cerrado
x C
1
C
2
, es decir, p
C3,x
p
C1,x
+ p
C2,x
si
1) C
1
y C
2
son simples en x, se cortan transversalmente en x y x C
3
.
2) El punto x es un punto simple de C
1
y (C
1
C
3
)
x
(C
1
C
2
)
x
(es decir, la multiplicidad de
interseccion de C
3
con C
1
en x es mayor o igual que la multiplicidad de interseccion de C
2
con C
1
en x).
3) C
1
y C
2
poseen tangentes distintas y m
x
(C
3
) m
x
(C
1
) +m
x
(C
2
) 1.
Demostracion. Como la proposicion es local, podemos suponer que las curvas C
i
son curvas planas
anes de ecuaciones p
i
(x, y) = 0.
1) Por las hipotesis (k[x, y]/(p
1
, p
2
))
x
= k. Por tanto, si denotamos m
x
el ideal maximal de las
funciones que se anulan en x, tenemos que m
x
= (p
1
, p
2
)
x
, luego (p
3
)
x
(p
1
, p
2
)
x
.
2) Si x es un punto simple de C
1
, entonces m
x
= (t) en (k[x, y]/(p
1
(x, y)))
x
. Ademas, (p
i
(x, y)) =
(t
(CiC1)x
). Por tanto, (p
3
(x, y)) (p
2
(x, y)), luego (p
3
)
x
(p
1
, p
2
)
x
.
2.5. Problemas 45
3) Vamos a usar del lema de estabilidad para curvas planas, que dice si O
C1,x


O
C1,x
es el
morsmo de explosion en el punto x entonces m
mx(C1)1
x
= m
mx(C1)1
x


O
C1,x
Por otra parte, si es un parametro transversal a C
1
en x, por el que explotamos, tenemos que
p
2
(x, y)

O
C1,x
= p

(x/, y/)
mx(C2)


O
C1,x
=
mx(C2)


O
C1,x
porque C
1
y C
2
no tienen tangentes
comunes en x. Por tanto, p
2
(x, y)

O
C1,x
= m
mx(C2)
x


O
C1,x
.
Con todo,
p
3
(x, y) m
mx(C3)
x
m
mx(C1)+mx(C2)1
x
= m
mx(C2)
x
m
mx(C1)1
x
= m
mx(C2)
x
m
mx(C1)1
x


O
C1,x
= p
2
(x, y) m
mx(C1)1
x


O
C1,x
= p
2
(x, y) m
mx(C1)1
x
p
2
(x, y)O
C1,x
por lo que (p
3
)
x
(p
1
, p
2
)
x
k[x, y].
2.5. Problemas
1. Probar el Teorema de Pascal: Si un hexagono esta inscrito en una conica irreducible, entonces
los lados opuestos se cortan en puntos alineados.
2. Probar el Teorema de Pappus: Sean R
1
, R
2
dos rectas; p
1
, p
2
, p
3
R
1
y q
1
, q
2
, q
3
R
2
(ninguno
de ellos se encuentran sobre R
1
R
2
). Sea R
ij
la recta que une p
i
y q
j
. Probar que los puntos
p
ij
= R
ij
R
ji
(i < j) estan alineados.
3. Ley de grupo en las c ubicas. Sea C una c ubica plana no singular. Fijemos un punto p
0
C.
Dados dos puntos p, q C, la recta que pasa estos dos puntos, corta a C en un tercer punto r.
Denamos : CC C, (p, q) r. Probar que la aplicacion CC C, (p, q) (p
0
, (p, q))
dota a C de estructura de grupo abeliano. (Pista: Utilcese la teora de divisores en C).
4. Sean C
3
, C

3
dos c ubicas planas que se cortan en 9 puntos distintos, de manera que 6 de ellos
estan sobre una conica. Probar que los tres restantes estan alineados.
5. Demostrar que las tangentes a una c ubica irreducible plana en 3 puntos alineados cortan a la
c ubica en otros 3 puntos alineados.
6. Demostrar que si un triangulo esta inscrito en una conica irreducible, entonces los puntos de
corte de cada lado del triangulo con la tangente a la conica en el vertice opuesto, estan alineados.
7. Probar que una recta que pase por dos puntos de inexion de una c ubica plana irreducible pasa
por un tercer punto de inexion.
8. Probar que si una c ubica pasa por ocho de los nueve puntos distintos de corte de otras dos
c ubicas, entonces tambien pasa por el noveno.
9. Sea C
3
una c ubica plana y x C
3
un punto de inexion. Probar que los puntos y C
3
para los
que existe una conica que cumpla m
x
(C
3
C
2
) = m
y
(C
3
C
2
) = 3, son las terceras intersecciones
de las rectas que unen los puntos de inexion con x.
10. Teorema de Cayley-Bacharay: Sea C
n+m3
una curva plana de n+m3 que pasa por n m1
de los puntos de interseccion de dos curvas de grados n y m. Probar que C
n+m3
pasa por el
punto restante.
46 Captulo 2. Modulos cuasicoherentes y coherentes
11. Si una curva C
n+m
de grado n + m ( > 3), pasa por n m
(1)(2)
2
de los n m
puntos distintos en los que se cortan dos curvas de grados n y m, entonces pasa tambien por los
restantes puntos siempre que dichos puntos no esten en una curva de grado 3.
12. Probar que todos los ideales maximales racionales de R[x, y]/(x
2
+ y
2
2y) no son ideales
principales. Probar que (x, y) C[x, y]/(x
2
+y
2
2y) es un ideal principal.
Captulo 3
Cohomologa
3.1. Introducci on
Comencemos con una justicacion muy sucinta, sin detalle ni rigor, de la introduccion y denicion
de los grupos de cohomologa de un haz.
En la construccion de un poliedro y en su clasicacion topologica, es fundamental que caras
pegamos entre s, a traves de las aristas, y que aristas pegamos entre s, a traves de los vertices.
Consideremos un poliedro r-dimensional de n vertices a
1
, . . . , a
n
. Una arista viene denida por
un par de vertices l
ij
= a
i
, a
j
, una cara por tres vertices C
ijk
= a
i
, a
j
, a
k
, en general, un smplice
de orden p por p + 1 vertices S

p
= a
i0
, . . . , a
ip
, = i
0
, . . . , i
p
. Denotemos por M
p
=

Q S

p
el
Q-modulo libre generado por todos los smplices S

p
de orden p, del poliedro considerado. El modulo
M

=
r

p=0
M
p
= (

Q S

0
) (

Q S

r
)
es el modulo graduado diferencial de cadenas sobre el poliedro con la diferencial de grado 1, denida
como sigue
d
p
a
i0
, . . . , a
ip
=

{ai
0
,..., ai
j
,...,aip
}
(1)
j
a
i0
, . . . , a
ij
, . . . , a
ip

Se cumple que d
p+1
d
p
= 0. Los grupos de homologa del complejo diferencial de cadenas sobre
el poliedro es por denicion, H

(M

) =
r

p=0
Ker d
p
/ Imd
p+1
.
No es extra no que los grupos de homologa, del modulo diferencial de las cadenas del poliedro,
sean invariantes topologicos esenciales en la clasicacion topologica del poliedro. Por ejemplo, si un
poliedro esta inscrito en una esfera, entonces
(M

) =
def
2

i=0
(1)
i
dim
Q
H
i
(M

) = n
0
vertices n
0
aristas +n
0
caras = 2
Si el poliedro esta inscrito en un toro de g asas, entonces (M

) = 2 2g.
Si una supercie X compacta de R
3
la triangulamos, tendremos que es homeomorfa al correspon-
diente poliedro. As en la clasicacion topologica de la supercie sera fundamental la homologa del
47
48 Captulo 3. Cohomologa
poliedro considerado. Si en vez de tomar los triangulos de la triangulacion de la supercie consider-
amos entornos abiertos muy aproximados a cada triangulo, tendremos un recubrimiento U
i
de la
supercie, de modo que los abiertos U
i
U
j
seran entornos muy aproximados a las aristas y los abiertos
U
i
U
j
U
k
seran entornos muy aproximados a los vertices. Dado un abierto U
i
X, denotemos

Q
U
= i

i
1

Q, explcitamente

Q
U
(V ) =

Q(U V ). Si U U

, tenemos un morsmo natural de haces

Q
U


Q
U
de restriccion de secciones (

Q
U
(V ) =

Q(U V )
restr.


Q(U

V ) =

Q
U
(V )). Se verica la
sucesion exacta de haces

Q
Ui
d0

i,j

Q
UiUj
d1

i,j,k

Q
UiUjU
k
. . .
para s

Q
Ui
0
Ui
k
(V ), (ds)
{i0,...,ij,i

,...,i
k
}
def
= (1)
j
s
|Ui
0
UijU
i
...Ui
k
. Sea M

el complejo
denido por M
k
=

i0,...,i
k

Q
Ui
0
Ui
k
(X) =
i0,...,i
k
Q, de diferencial la denida por las d
k
. Pues bien,
este complejo es esencialmente el complejo diferencial de cadenas del poliedro asociado a la supercie.
Con mas generalidad, sea X un espacio topologico y U
i
un recubrimiento por abiertos de X. Se
verica que la sucesion de haces

Q
Ui
d0

i,j

Q
UiUj
d1

i,j,k

Q
UiUjU
k
d2
. . .
es exacta. Se llama grupos de cohomologa Cech de X asociada al recubrimiento U
i
, a los grupos
de cohomologa del complejo M

, denido por M
k
=

i0,...,i
k

Q
Ui
0
Ui
k
(X), de diferencial la denida
por las d
k
.
Sea R =

i
U
i
y : R X el morsmo natural. Dado un haz F en X denotemos R
0
F =

1
F.
Se cumple que R
0

Q =

Q
Ui
, R
0
(R
0

Q) =

i,j

Q
UiUj
. As tendremos una sucesion exacta de haces

Q R
0

Q
d
R
0
(R
0

Q)
d
. . .
Tomando secciones globales y cohomologa obtendremos los grupos de cohomologa Cech de X, aso-
ciada al recubrimiento U
i
.
Si queremos independizarnos del recubrimiento U
i
tendremos que tomar sucesivos renamientos
del recubrimiento U
i
, y considerar el lmite inductivo de los sucesivos grupos de cohomologa Cech
obtenidos. Si queremos hacer esto de una sola vez de modo drastico, consideraremos el recubrimiento de
X formado por el conjunto discreto de todos sus puntos: Dado un espacio topologico X consideremos
la aplicacion :

X X, siendo

X el espacio topologico cuyos puntos son los de X y de topologa la
discreta, y la aplicacion identidad. Dado un haz F en X denotemos C
0
F =

1
F. Pues bien, se
tiene una sucesion exacta de haces

Q C
0

Q
d
C
0
(C
0

Q)
d
. . . ()
Tomando secciones globales y cohomologa obtendremos los llamados grupos de cohomologa de X.
Por ultimo, el teorema de De Rham (mas adelante enunciado) armara que es equivalente, para
el calculo de los grupos de cohomologa de X, a tomar la resolucion de Godement (mas adelante
denida) en vez de la resolucion () considerada. Ademas, puede considerarse en vez de el haz

Q,
cualquier haz F, y en tal caso se hablara de los grupos de cohomologa de X con valores en F.
3.2. Cohomologa de haces 49
3.2. Cohomologa de haces
Sea F un haz sobre un espacio topologico X. Sea

X el conjunto X dotado de la topologa discreta
y :

X X la identidad, que es continua.
Como

X tiene la topologa discreta, entonces
1
F(U) =

xU
(
1
F)
x
=

xU
F
x
. Denotemos

1
F = C
0
F. Se tiene una inyeccion natural F C
0
F, s (s
x
)
xU
(s F(U)).
Denotemos F
1
= C
0
F/F. El haz cociente F
1
se inyecta a su vez en C
1
F =
def
C
0
F
1
=

1
F
1
. Sea
F
2
= C
1
F/F
1
, que se inyecta en C
2
F =
def
C
0
F
2
. Reiterando el proceso se obtiene una sucesion exacta
larga de haces:
0 F C
0
F C
1
F C
2
F . . .
que se conoce como resolucion de Godement del haz F.
Las secciones globales C

F(X) de la resolucion de Godement forman un complejo diferencial de


grupos abelianos:
C
0
F(X)
d0
C
1
F(X)
d1
C
2
F(X)
d2
. . .
Denicion 3.2.1. Se denen los grupos de cohomologa, H
i
(X, F), de X con valores en el haz F,
como los grupos de cohomologa del complejo diferencial formado por las secciones globales de la
resolucion asga de Godement de F, es decir, H
i
(X, F) = H
i
(X, C

F(X)) = Ker d
i
/ Imd
i1
.
Proposicion 3.2.2. H
0
(X, F) = (X, F)
Demostracion. Las sucesiones
0 F(X) C
0
F(X) F
1
(X)
0 F
1
(X) C
0
F
1
(X) = C
1
F(X)
son exactas, luego el n ucleo del morsmo C
0
F(X) C
1
F(X) es justamente F(X).
Teorema 3.2.3. La toma de los grupos de homologa es funtorial. Dada una sucesi on exacta 0
F

F F

0 de haces de grupos abelianos, se tiene una sucesi on exacta larga en cohomologa


0 H
0
(X, F

) H
0
(X, F) H
0
(X, F

) H
1
(X, F

)
H
1
(X, F) H
1
(X, F

) H
2
(X, F

) . . .
Demostracion. Dado un morsmo f : F G de haces, para cada x X tenemos un morsmo
F
x
G
x
, tenemos pues un diagrama conmutativo
F


_

G
_

C
0
F

C
0
G
Por tanto, tenemos un morsmo F
1
G
1
entre los con ucleos. Reiterando el proceso tenemos un
morsmo C

F C

G, que conmuta con las diferenciales. Tomando secciones globales, obtenemos un


morsmo f

: H

(X, F) H

(X, G). Obviamente Id

= Id y (f g)

= f

.
Dada la sucesion exacta 0 F

F F

0 de haces, para cada x X la sucesion de grupos


0 F

x
F
x
F

x
0
50 Captulo 3. Cohomologa
es exacta, luego es exacta la sucesion de grupos
0 C
0
F

(X) C
0
F(X) C
0
F

(X) 0
y es exacta la sucesion de haces
0 C
0
F

C
0
F C
0
F

0
Por tanto, por el lema de la serpiente (tomando bras), es exacta la sucesion
0 F

1
F
1
F

1
0
Reiterando se obtiene una sucesion exacta de complejos diferenciales
0 C

(X) C

F(X) C

(X) 0
de donde se obtiene la sucesion exacta larga de cohomologa
0 H
0
(X, F

) H
0
(X, F) H
0
(X, F

) H
1
(X, F

)
H
1
(X, F) H
1
(X, F

) H
2
(X, F

) . . .
Denicion 3.2.4. Se dice que un haz F sobre X es asgo cuando para cada pareja de abiertos V U
el morsmo de restriccion F(U) F(V ) es epiyectivo.
Obviamente dado un haz F, entonces C
0
F es un haz asgo.
Teorema 3.2.5. Si 0 F

i
F
p
F

0 es una sucesion exacta de haces sobre X y si F

es
asco, para cada abierto U la sucesi on
0 F

(U)
i
F(U)
p
F

(U) 0
es exacta.
Demostracion. Solo hay que ver que p es epiyectiva. Sea s

(U). Consideremos la familia formada


por las parejas (V, s
V
), donde V es un abierto contenido en U, y s
V
es una seccion de F en V cuya
imagen por p es s

|V
.
Como para cada x U, el morsmo p
x
: F
x
F

x
es epiyectivo, dicha familia no es vaca. Como
esta claramente ordenada y es inductiva, por el lema de Zorn tiene un elemento maximal (V, s
V
). Si
V = U hemos acabado. Si no fuera as, sea x U V . Existe un entorno abierto W U de x y una
seccion s F(W) de modo que p( s) = s

|W
. Por tanto, p(s
|WV
) = p( s
|WV
) y existe una seccion
s

WV
F

(W V ) de modo que i(s

WV
) = s
WV
s
WV
. Como F

es asco existe una s

F(W)
que restringe a s

WV
. Entonces s + i(s

) es una seccion de F sobre W que se aplica por p en s

|W
y
que coincide con s
V
sobre W V . Luego, existe una seccion de F sobre V W cuya restriccion a V
es s
V
y que se aplica por p a s

|V W
, lo que contradice la maximalidad de (V, s
V
).
Corolario 3.2.6. Sea 0 F

F F

0 una sucesion de haces. Si F

y F son asgos, tambien


lo es F

.
3.2. Cohomologa de haces 51
Demostracion. Sea V U una inclusi on de abiertos. Por el teorema anterior, el diagrama
0

F

(U)

r

F(U)

r

(U)

r

0
0

F

(V )

F(V )

F

(V )

0
es de las exactas. Por ser F asgo r es epiyectiva y por el lema de la serpiente r

es epiyectiva, luego
F

es asgo.
Denicion 3.2.7. Se dice que un haz F es acclico si H
i
(X, F) = 0 para todo i > 0.
Teorema 3.2.8. Los haces asgos son acclicos.
Demostracion. Si F es asgo, la sucesi on 0 F(X) C
0
F(X) F
1
(X) 0 es exacta. Como F y
C
0
F son asgos entonces F
1
lo es y de nuevo 0 F
1
(X) C
0
F
1
(X) = C
1
F(X) F
2
(X) 0 es
exacta. Reiterando, se sigue que C

F(X) es una sucesion exacta, luego su cohomologa es nula.


Sea M

=
i,j
M
j
i
y supongamos denidas dos diferenciales d

: M
j
i
M
j
i+1
, d

: M
j
i
M
j+1
i
que
conmutan entre s, entonces diremos que es un bicomplejo diferencial. En M

podemos denir una


graduacion y una diferencial del siguiente modo:
M
n
=
i+j=n
M
j
i
, d

m
j
i
= d

m
j
i
+ (1)
i
d

m
j
i
, para m
j
i
M
j
i
Ejemplo 3.2.9. Si M

=
i
M
i
y N

=
j
N
j
, son modulos diferenciales graduados, entonces M

es un bicomplejo: (M

)
j
i
= M
i
N
j
con las diferenciales d

= d 1, d
p
unto = 1 d. As pues
M

es un modulo diferencial graduado. Tambien Hom(M

, N

) es un bicomplejo diferencial:
Hom
A
(M

, N

)
j
i
= Hom
A
(M
i
, N
j
), d

() = d y d

() = d .
Teorema 3.2.10. Sea el bicomplejo diferencial
.
.
.
.
.
.
.
.
.


C
1
n

C
1
n+1

C
1
n+2

. . .


C
0
n

C
0
n+1
d


C
0
n+2

. . .


C
n
?

C
n+1
?


C
n+2
?

. . .
y supongamos que las columnas son acclicas, es decir, H
i
(C

n
) =
_
0 i ,= 0
C
n
i = 0
. Entonces H
i
(C

) =
H
i
(C

)
52 Captulo 3. Cohomologa
Demostracion. Denotemos i : C
i
C
0
i
a las inclusiones del teorema. El morsmo : H
i
(C

)
H
i
(C

), c
i
i(c
i
) esta bien denido: dado un borde d

c
i1
, se verica que id

c
i1
= d

ic
i1
= d

ic
i1
es un borde para d

. Ademas, si c
i
es un ciclo para d

, entonces ic
i
es un ciclo para d

, ya que
d

ic
i
= d

ic
i
= id

c
i
= 0. Veamos que es un isomorsmo. Veamos solo la epiyectividad, pues la
inyectividad es mas sencilla. Sea c
i
n
+c
i1
n+1
+ +c
0
n+i
un ciclo para d

. Ha de vericarse que d

c
i
n
= 0,
luego existe c
i1
n
C
i1
n
tal que d

c
i1
n
= (1)
n+1
c
i
n
. Entonces, en cohomologa, c
i
n
+c
i1
n+1
+ +c
0
n+i
=
d

c
i1
n
+ c
i
n
+ c
i1
n+1
+ + c
0
n+i
= (d

c
i1
n
+ c
i1
n+1
) + + c
0
n+i
. Argumentando as sucesivamente
obtendremos que c
i
n
+ c
i1
1
+ + c
0
n+i
= c
0
n+i
en cohomologa. De nuevo tendremos que existe
c
n+i
C
n+i
tal que ic
n+i
= c
0
n+i
y se verica que d

c
n+i
= 0, porque id

c
n+i
= d

ic
n+i
= d

c
0
n+i
, que
es cero ya que d

c
0
n+i
= 0. Hemos concluido entonces que
c
i
n
+c
i1
n+1
+ +c
0
n+i
= ( c
n+i
)
En tres gracos, hemos escrito
0
c
i
n

0 0 0
(1)
n+1
c
i1
n

c
i1
n+1

0 c
i1
n+1
+dc
i1
n

.
.
.

.
.
.

0 0
c
0
n+i

0 c
0
n+i

0 c
0
n+i

0
c
n+i

Corolario 3.2.11. Sea el bicomplejo diferencial


.
.
.
.
.
.
.
.
.
.
.
.
C
1

_ _ _
C
1
0

C
1
1

C
1
2

. . .
C
0

_ _ _
C
0
0

C
0
1

C
0
2

. . .
C
0

C
1

C
2

. . .
de las y columnas acclicas. Entonces H
i
(C

) = H
i
(C

) = H
i
(C

).
Teorema 3.2.12 (De Rham). Sea R

una resolucion de F por haces acclicos, es decir una sucesion


exacta
R
0
d0
R
1
d1
R
2
d2
. . .
3.3. Aciclicidad en esquemas anes 53
de modo que cada R
i
es acclico y Ker d
0
= F. Se cumple que la cohomologa de X con valores en F
es la cohomologa del complejo de secciones globales de R

, es decir, H
i
(X, F) = H
i
(X, R

(X)).
Demostracion. Consideremos el bicomplejo de grupos abelianos C

(X) =
i,j
C
i
(R
j
)(X) y el diagra-
ma diferencial
.
.
.
.
.
.
.
.
.
C
1
F(X)

_ _ _
C
1
R
0
(X)

C
1
R
1
(X)

C
1
R
2
(X)

. . .
C
0
F(X)

_ _ _
C
0
R
0
(X)

C
0
R
1
(X)

C
0
R
2
(X)

. . .
R
0
(X)

R
1
(X)

R
2
(X)

. . .
que es de las acclicas, porque el funtor (X, C
r
()) sobre la categora de haces es exacto, y de
columnas acclicas por ser los R
r
acclicos.
Por el teorema 3.2.11, H
i
(X, R

(X)) = H
i
(X, C

F(X)) = H
i
(X, F).
Teorema 3.2.13. Si X es un espacio topologico noetheriano y F
i
es un sistema inductivo de haces
de grupos, entonces
lim

i
H
n
(X, F
i
) = H
n
(X, lim

i
F
i
)
Demostracion. lim

F
i
es una resolucion de lim

F
i
por haces ascos. Por el teorema de De Rham,
H
n
(X, lim

F
i
) = H
n
((X, lim

F
i
))
??
= H
n
(lim

(X, C

F
i
)) = lim

H
n
((X, C

F
i
)) = lim

H
n
(X, F
i
)
3.3. Aciclicidad de los haces cuasicoherentes sobre esquemas
anes
Nuestro objetivo, en esta seccion, es demostrar que los haces cuasicoherentes, en esquemas anes,
son acclicos. Probaremos primero esta armacion en esquemas anes de dimension uno, porque la
demostracion es menos aparatosa, pero contiene ya todos los elementos de la demostracion general.
Denicion 3.3.1. Dado un haz F sobre un espacio topologico X, llamaremos soporte de F y lo
denotaremos SopF, a
SopF = x X: F
x
,= 0
Si X es un esquema, denotaremos dimF = maxdim x [ x SopF.
Proposicion 3.3.2. Sea / un haz cuasicoherente de modo que dim/= 0. Se cumple
54 Captulo 3. Cohomologa
1. /(U) =
xU
/
x
. Por tanto, / es un haz asco.
2. Para todo haz de lnea L, /
O
C
L /.
Demostracion. El soporte de una secci on s /(U) es un cerrado. Por tanto, como dim/ = 0, los
puntos x U donde el germen s
x
es no nulo es un n umero nito de puntos cerrados. As pues, para
toda s
x
/
x
y abierto U que contiene a x, existe una seccion s /(U) de modo que la bra de s
en x es s
x
y es nula en cualquier otro punto. Es facil concluir que /(U) =
xU
/
x
.
Observemos que si dim/= 0 entonces dim(/
O
C
L) = 0. Ademas, para cada x podemos denir
un isomorsmo (/
O
C
L)
x
= /
x

O
C,x
L
x
/
x
. Por tanto,
/(U) =
xU
/
x

xU
(/
O
C
L)
x
= (/
O
C
L)(U)
y / (/
O
C
L).
Proposicion 3.3.3. Sea X = Spec A un esquema afn ntegro de dimension 1 y M un A-modulo. Se
cumple que
H
i
(X,

M) =
_
M i = 0
0 i ,= 0
Demostracion. Sea = A
A{0}
y M

= M
A{0}
. Sea el morsmo de localizacion : M M

, m
m
1
. Obviamente, es un isomorsmo en el punto generico, por tanto, dimKer < 1 y dimCoker < 1.
Luego

Ker y

Coker son ascos por 3.3.2.
Consideremos la sucesion exacta
0

Im



Coker 0
Como

M

es constante, es asco. Tomando secciones globales, de la sucesion exacta larga de coho-


mologa y 2.1.7, obtenemos que H
i
(X,

Im) = 0, para i 0.
Ahora, de la sucesion exacta
0

Ker

M

Im 0
tomando secciones globales, de la sucesion exacta larga de cohomologa y 2.1.7, concluimos.
Teorema 3.3.4. Sea X = Spec A un esquema afn noetheriano de dimension n < y M un A-
modulo. Se verica
H
i
(X,

M) =
_
M i = 0
0 i ,= 0
Demostracion. Vamos a demostrar el teorema por induccion sobre la dimM.
Si dimM = 1 entonces M = 0 y en este caso el teorema es trivial. En general, sean x
i

los puntos minimales del SopM. Consideremos el morsmo de localizacion A A


xi
, que induce
la inclusion i : Spec A
xi
Spec A. Sopi


M = Sop

M Spec A
xi
= x
i
, luego por la proposicion
3.3.2, i


M es asco y i


M =

M
xi
es asco. Por tanto,
i

M
xi
es asco. Consideremos el morsmo
3.3. Aciclicidad en esquemas anes 55
natural : M
i
M
xi
(observemos que el soporte de cada m M es un cerrado, que solo puede
contener un n umero nito de los x
i
). Se verica que dimKer < dimM y dimCoker < dimM,
pues es un isomorsmo en los puntos x
i
. Por tanto, por induccion sobre la dimension tenemos que
H
i
(X,

Coker ) = 0 y H
i
(X,

Ker ) = 0 para i > 0. De la sucesion
0

Im
i

M
xi


Coker 0
la proposicion 2.1.7 y la sucesion exacta larga de cohomologa, obtenemos que H
i
(X,

Im) = 0 para
i > 0. De la sucesion
0

Ker

M

Im 0
la proposicion 2.1.7 y la sucesion exacta larga de cohomologa obtenemos la demostracion del teorema.
Corolario 3.3.5. Sea : X Y un morsmo afn de esquemas y / un haz cuasicoherente en X.
Se verica que
H
i
(X, /) = H
i
(Y,

/).
Demostracion. Sea / C
0
(/) C
1
(/) . . . una resolucion de / por haces ascos. Se
verica que

C
0
(/)

C
1
(/) . . . es una sucesion exacta, porque para cada abierto
afn U Y , H
i
((U,

(/)) = H
i
((
1
(U), C

(/))) = H
i
((
1
(U), /)) =
3.3.4
0. Ademas, la
imagen directa de un haz asco es asco. Por tanto,
H
i
(Y,

/) = H
i
((Y,

/)) = H
i
((X, C

/)) = H
i
(X, /).
Teorema 3.3.6. Sea X un esquema noetheriano de dimension nita y / un haz en X. Se verica
H
i
(X, /) = 0, para i > dim/
Demostracion. Demostremos el teorema por induccion sobre dim/.
Si dim/= 1 entonces /= 0 y el teorema es obvio. Sean x
i
los puntos minimales de Sop/.
Sea /
xi
el haz sobre x
i
denido por /
xi
(x
i
) = /
xi
. Sea i : x
i
X la inclusion obvia y denotemos
tambien /
xi
:= i

/
xi
. Las imagenes directas de un haz asco es asco luego /
xi
es asco. Tenemos
un morsmo natural //
xi
,
/(U) /
xi
(U), m
_
m
xi
si x
i
U
0 si x
i
/ U
Sea : /
xi
/
xi
el morsmo natural. Observese que la bra de una seccion de / es no nula en
un n umero nito de x
i
. El morsmo es un isomorsmo en los x
i
y la dimension de Ker y Coker
es menor estrictamente que la de /, porque (/
xi
)
y
= 0 si y / x
i
. Por hipotesis de induccion,
H
i
(X, Ker ) = H
i
(X, Coker ) = 0, para i dim/. De la sucesion
0 Im
xi
/
xi
Coker 0
y la sucesion exacta larga de cohomologa obtenemos que H
i
(X, Im) = 0, para i > dim/. De la
sucesion
0 Ker /Im 0
y la sucesion exacta de cohomologa obtenemos que H
i
(X, /) = 0, para i > dim/.
56 Captulo 3. Cohomologa
Ejercicio 3.3.7. Consideremos en la recta proyectiva los abiertos U
0
= P
1
0 y U
1
= P
1
.
Si V P
1
es un abierto denotemos O
V
el haz sobre P
1
denido por O
V
(U) = O
P1
(U V ). Demostrar
que la sucesion
0 O
P1
O
U0
O
U1
O
U0U1
0
de morsmos obvios es exacta. Probar que H
1
(P
1
, O
P1
) = 0.
3.4. Caracterizaci on cohomologica de la recta proyectiva
Sea C una curva completa no singular. Consideremos la sucesion exacta
0 O
C

C

C
/O
C
0
donde
C
es el haz constante
C
. Luego
C
/O
C
=
xC

C
/O
C,x
. Sea x C un punto cerrado
y f
C
. Si v
x
(f) 0 entonces f O
C,x
. Supongamos que v
x
(f) = n, n 0. Denotemos
m
x
O
C,x
= (t
x
), entonces f =
a
t
n
x
, para un a O
C,x
. Si x es un punto racional, sabemos que
a =
n

i=0
a
i
t
i
x
+bt
n
x
, con a
i
k y b O
C,x
. En conclusion, f =
n

i=0
ai
t
ni
x
mod O
C,x
, luego

C
/O
C,x
=
n

i=1
a
i
t
i
x
, nvariable, a
i
k
= partes princ. del desarrollo de Laurent en el punto x de f
C

El morsmo asigna a cada f


C
=
C
(U) sus partes principales del desarrollo de Laurent en
cada x U.
Ejercicio 3.4.1. Si el punto cerrado x C no es racional, entonces

C
/O
C,x
=
n

i=1
a
i
t
i
x
, nvariable, a
i
O
C,x
/m
x

(Pista: Recordar que por el teorema de Cohen el morsmo de paso al cociente



O
C,x


O
C,x
/m
x

O
C,x
=
O
C,x
/m
x
O
C,x
tiene seccion).
Teorema 3.4.2. Una curva C completa y no singular es isomorfa a la recta proyectiva Existe un
punto racional x C y H
1
(C, O
C
) = 0.
Demostracion. ) Tomemos la sucesi on exacta larga de cohomologa asociada a la sucesion exacta
, con C = P
1

P1

(P
1
,
P1
/O
P1
) =
yP1

P1
/O
P1,y
H
1
(P
1
, O
P1
) H
1
(P
1
,
P1
) = 0
Dada s (P
1
,
P1
/O
P1
) entonces s = (
ni

j=1
aij
(xi)
j
).
1
Las funciones
1
x
tienen solo polo en el
punto P
1
, por tanto, la imagen por de f(x) =

i
ni

j=1
aij
(xi)
j
es s. En conclusion, es epi y
H
1
(P
1
, O
P1
) = 0.
1
El desarrollo de Laurent en el punto del innito es un polinomio en x, sin coeciente constante.
3.5. Dimension de los grupos de cohomologa 57
) Consideremos de nuevo, la sucesion exacta larga, asociada a

C
(C,
C
/O
C
) =
yC

C
/O
C,y
H
1
(C, O
C
) = 0
Sea s = (0, . . . ,
1
tx
, . . . , 0) (C,
C
/O
C
), donde entendemos que (m
x
)
x
= t
x
O
C,x
. Por la sucesion
exacta existe una f
C
sin polos en C, salvo en x donde tiene un polo de orden 1. Por tanto, el
morsmo
C
f
P
1

C
k(x)
f x
es de grado 1, es decir C P
1
.
Ejercicio 3.4.3. Sea C la curva del plano proyectivo real de ecuacion afn x
2
+y
2
= 0. Demostrar
1. El cierre entero de R en
C
es C.
2. (C, O
C
) = R.
3. La desingularizacion de C es isomorfa a la recta proyectiva compleja.
4. El origen es un punto racional de C y dim
k
H
1
(C, O
C
) = 0.
3.5. Finitud de la dimensi on de los grupos de cohomologa
3.5.1. Cohomologa de los haces coherentes en variedades proyectivas
Proposicion 3.5.1. (P
r
, O
Pr
(n)) = Polinomios homogeneos p(x
0
, . . . , x
r
) de grado n.
Demostracion.
(P
r
, O
Pr
(n))=
_
s
i
(U
xi
, O
Pr
(n)) = k[x
0
/x
i
, ... , x
n
/x
i
] x
n
i

i
, tales que
s
i
= s
j
en(U
xi
U
xj
, O
Pr
(n)) = k[x
0
/x
i
, ... , x
r
/x
i
]
x
j
/x
i
x
n
i
_
=Pol. hom. p(x
0
, . . . , x
r
) de grado n
donde la ultima igualdad es una sencilla comprobacion.
La sucesion exacta de modulos graduados
0 k[x
0
, . . . , x
n
][n 1]
x0
k[x
0
, . . . , x
n
][n] k[x
1
, . . . , x
n
][n] 0
dene la sucesion exacta de haces
0 O
Pr
(n 1)
x0
O
Pr
(n) i

O
Pr1
(n) 0
donde P
r1
i
P
r
es el hiperplano x
0
= 0. Denotemos por U = P
r
P
r1
y por O
U
al haz en P
r
denido por O
U
(V ) = O(U V ), para cada abierto V P
r
.
Notacion: Dado un k-esquema X y un haz cuasicoherente /denotaremos h
i
(X, /) = dim
k
H
i
(X, /).
58 Captulo 3. Cohomologa
Teorema 3.5.2.
h
i
(P
r
, O
Pr
(n))=
_

_
_
n +r
r
_
= [
(n +r) (n + 1)
r!
[, i = 0, n 0; i = r, n < 0
0 en los demas casos.
Demostracion. Conocemos ya, por 3.5.1, h
0
(P
r
, O
Pr
(n)) =
_
n+r
r
_
. Por induccion sobre r obtenemos,
de la sucesion exacta larga de cohomologa asociada a la sucesion :
1) Para n 0, H
i
(P
r
, O
Pr
(n)) = H
i
(P
r
, O
Pr
(n + 1)) para i > 0. Por tanto,
H
i
(P
r
, O
Pr
(n)) = lim

m>n
H
i
(P
r
, O
Pr
(m))
2
= H
i
(P
r
, lim

m>n
O
Pr
(m))
= H
i
(P
r
, O
U
) = H
i
(P
r
P
r1
, O
PrPr1
) = 0
2) Para n 0 se demuestra el teorema por induccion descendente sobre n (observemos que el caso
n = 0 ha sido resuelto en el caso anterior).
Teorema 3.5.3. Sea X = Proj k[
0
, . . . ,
n
] una variedad algebraica proyectiva y /un haz coherente
en X. Se cumple que h
i
(X, /) < para todo i.
Demostracion. Sea k[x
0
, . . . , x
n
] k[
0
, . . . ,
n
] el epimorsmo graduado obvio, que induce una in-
mersion cerrada i : X P
n
. Por ser i un morsmo nito, h
i
(X, /) = h
i
(X, i

/) y i

/ es un haz
coherente en P
n
. Basta demostrar el teorema para X = P
n
. Por 2.2.5, sabemos que existe una sucesion
exacta
0 Ker
m

i=1
O
Pn
(n
i
) /0
Tomando la sucesion exacta larga de cohomologa obtenemos que h
n
(P
n
, /) < . En particular
h
n
(P
n
, Ker) < . De nuevo, por la sucesion exacta larga de cohomologa h
n1
(P
n
, /) < . En
particular h
n1
(P
n
, Ker) < . Por induccion descendente concluimos.
Proposicion 3.5.4. Sea i : C P
2
la curva proyectiva plana denida por un polinomio homogeneo
p
n
(x
0
, x
1
, x
2
) = 0, entonces h
1
(C, O
C
) =
(n1)(n2)
2
.
Demostracion. Tomese la sucesion exacta larga de cohomologa asociada a la sucesion
0 p
C
= O
P2
(n)
pn(x0,x1,x2)
O
P2
i

O
C
0
donde p
C
es el haz de ideales de funciones que se anulan en C.
Corolario 3.5.5. Sea C una curva proyectiva plana ntegra, de grado n, sobre un cuerpo algebraica-
mente cerrado y

C la desingularizaci on de C. Entonces el genero geometrico g = h
1
(

C, O

C
) es
g =
(n 1) (n 2)
2

xSing C

yax
m
y
(m
y
1)
2
2
En espacios topologicos noetherianos la cohomologa conmuta con lmites inductivos.
3.5. Dimension de los grupos de cohomologa 59
donde a
x
es el arbol de explosion asociado a la desingularizacion de x, y m
y
es la multiplicidad en el
punto y.
Demostracion. Sea :

C C el morsmo de desingularizacion. Consideremos la sucesion exacta
0 O
C

O
C

xSing C

O
C,x
/O
C,x
0
Como k es algebraicamente cerrado, tenemos que (C, O
C
) = (C,

O
C
) = (

C, O
C
) = k, luego
g = h
1
(

C, O
C
) = h
1
(C, O
C
) dim
k

xSing C

O
C,x
/O
C,x
Sabemos que dim
k

xSing C

O
C,x
/O
C,x
=

xSing C

yax
my(my1)
2
. Por la proposicion anterior h
1
(C, O
C
) =
(n1)(n2)
2
y concluimos.
3.5.2. Cohomologa de los haces coherentes en curvas
Teorema 3.5.6. Sea C una curva completa y / un haz coherente en C. Se verica
1. H
0
(C, /) y H
1
(C, /) son k-espacios vectoriales de dimension nita.
2. H
i
(C, /) = 0 para i > 1.
Demostracion. Sea :

C C el morsmo de desingularizacion de C. Sea el morsmo natural /

/. Consideremos la sucesion exacta


0 Ker i /

/Coker i 0
Coker i y Ker i tiene el soporte concentrado en los puntos singulares de C, luego es asco y sus secciones
son un k-espacio vectorial de dimension nita (argumentando como en el teorema anterior). As pues,
basta demostrar el teorema para

/. Ahora bien, H

(C,

/) = H

(

C,

/) porque es un
morsmo afn, y estos conservan la cohomologa por 3.3.5. En conclusion, como

/ es coherente
por ??, podemos suponer que C es no singular.
Sea : C P
1
un morsmo nito en la recta proyectiva. Se verica que H

(C, /) = H

(P
1
,

/).
Luego basta demostrar el teorema para la recta proyectiva y hemos concluido.
60 Captulo 3. Cohomologa
Captulo 4
Teora de la dualidad en curvas
algebraicas
4.1. Introducci on
Si X es una variedad diferenciable compacta orientada, tenemos el isomorsmo H
i
(X, R)
H
ni
(X, R)

, w
i
w
i
: w
i
(w
ni
) =
_
X
w
i
w
ni
. El objetivo de la teora de la dualidad es du-
alizar la cohomologa. Ahora en Geometra Algebraica, sea C es una curva completa y consideremos
el funtor sobre la categora de O
C
-modulos coherentes
/H
1
(C, /)

Este funtor es exacto por la izquierda, por el teorema de representabilidad sera representable por
un O
C
-modulo cuasicoherente w
C
. Es decir,
Hom
C
(/, w
C
) = H
1
(C, /)

Probaremos que si C es no singular entonces w


C
=
C/k
. Ademas, el morsmo Id:
C/k

C/k
se correspondera por dualidad con un elemento Res H
1
(C,
C/k
)

, que es el residuo del analisis


complejo.
La teora de dualidad, junto con el Riemann-Roch fuerte permite el calculo de la dimension de los
espacios de las funciones con polos en determinados puntos de ordenes prejados. Calculo que resuelve
muchos problemas de tipo geometrico. Veremos diversas aplicaciones de la teora de dualidad: Teorema
de Hurwitz, clasicacion de las curvas elpticas e hiperelpticas, inmersion canonica de una curva en
un espacio proyectivo, etc.
Supondremos siempre que las curvas consideradas son completas, no singulares sobre un cuerpo
algebraicamente cerrado.
4.2. Teorema de Riemann-Roch debil
Sea C una curva completa no singular sobre un cuerpo algebraicamente cerrado.
Teorema 4.2.1 (Riemann-Roch debil). Sea D un divisor de C y L
D
el haz de lnea denido por D.
Se verica
61
62 Captulo 4. Teora de la dualidad en curvas
(C, L
D
) = (C, O
C
) + gr D
Demostracion. Dado un punto cerrado x C, consideremos la sucesion exacta
0 L
x
O
C
k(x) 0
donde k(x) es un haz concentrado en x y k(x)
x
= k, de modo que h
0
(C, k(x)) = dim
k
k = 1.
Tensorializando por L
D
resulta
0 L
Dx
L
D
k(x) 0
Luego (L
D
) = (L
Dx
) + 1. As pues, el teorema de Riemann-Roch se vericara para L
D
si y solo
si se verica para L
Dx
. Por tanto, por suma y resta de puntos a D, el teorema de Riemann-Roch se
vericara para L
D
si y solo si se verica para O
C
, y en este caso es obvio.
4.3. Algunos resultados tecnicos
Las siguientes proposiciones seran utiles en teora de dualidad.
Denicion 4.3.1. Sea X un esquema ntegro, de punto generico p
g
. Dado un haz / cuasicoherente
sobre X consideremos el haz constante /
pg
. Llamaremos parte de torsion de / y denotaremos
T(/), al n ucleo del morsmo natural / /
pg
. Diremos que / es de torsion si / = T(/).
Diremos que / es libre de torsion si T(/) = 0, es decir, si el morsmo / /
pg
es inyectivo.
Llamaremos rango de un modulo coherente / a dim
O
X,pg
/
pg
.
Por ejemplo, los haces de lnea sobre un esquema ntegro son modulos coherentes libres de torsion
de rango 1.
Proposicion 4.3.2. Sea x C un punto cerrado y / un modulo coherente de rango r. Denotemos
/
nx
= /
O
C
L
nx
. Entonces,
1. h
1
(C, /
nx
) = cte para todo n >> 0, y h
0
(C, /
nx
) = r n + cte. para todo n >> 0.
2. h
1
(C, /
nx
) = r n +cte para todo n >> 0, y h
0
(C, /
nx
) = cte

para todo n >> 0.


Demostracion. 1. Si /es de rango cero, entonces /
nx
= /, H
0
(C, /
nx
) = H
0
(C, /) y H
1
(C, /
nx
) =
0. Se concluye.
Sea T(/) la torsion de /. Consideremos la sucesion exacta
0 T(/) ///T(/) 0
Tensorializando por L
nx
, obtenemos la sucesion exacta 0 T(/) /
nx
(//T(/))
nx
0.
Por tanto, h
0
(C, /
nx
) = h
0
(C, T(/))+h
0
(C, (//T(/))
nx
) y h
1
(C, /
nx
) = h
1
(C, (//T(/))
nx
).
En conclusion, podemos suponer que / no tiene torsion.
Consideremos la sucesion exacta
0 L
(n1)x
L
nx
k(x) 0
4.3. Algunos resultados tecnicos 63
Tensorializando por
O
C
/, la sucesion
0 /
(n1)x
i
/
nx
/
O
C
k(x) 0
es exacta, es decir i es inyectiva. En efecto, en Cx obviamente lo es, y en germenes en x lo es porque
i es multiplicar por un parametro de la curva que pase por x.
En cohomologa tenemos el epimorsmo H
1
(C, /
(n1)x
) H
1
(C, /
nx
), luego h
1
(C, /
nx
)
h
1
(C, /
(n1)x
) y para todo n >> 0 h
1
(C, /
nx
) = cte. Ahora, para todo n > N, h
1
(C, /
nx
) = cte
y h
0
(C, /
(n+1)x
) = h
0
(C, /
nx
) + h
0
(C, /
Oc
k(x)). Ahora bien, /
Oc
k(x)(C) = (/
Oc
k(x))
x
= //m
x
/, que es un k-espacio vectorial de dimension r, porque /
x
es libre de torsion
de rango r, luego libre de rango r. En conclusion, h
0
(C, /
(n+1)x
) = h
0
(C, /
nx
) + r, y en general
h
0
(C, /
nx
) = h
0
(C, /
Nx
) + (n N) r = r n + cte..
2. Pruebese primero que se puede suponer que / no tiene torsion y a continuacion considerese la
sucesion exacta 0 /
(n1)x
/
nx
/
O
C
k(x) 0.
Lema 4.3.3. Sea C una curva ntegra (no necesariamente no singular, ni k algebraicamente cerrado).
1. Sea / ,= 0 un haz coherente libre de torsion. Existe un haz L coherente libre de torsion de
rango 1 y un morsmo inyectivo L /, tal que //L no tiene torsi on.
2. Sea / un haz cuasicoherente libre de torsion. Existe un haz de ideales L de rango 1, es decir,
no nulo y un morsmo inyectivo L /.
Demostracion. 1. Sea s /
pg
. Consideremos el haz constante /
pg
. Tenemos que el haz constante

C
s y / son subhaces de /
pg
. Sea L =
C
s / el haz de ceros y polos de s. Se verica
a) L es coherente sin torsion porque / lo es.
b) L es de rango 1 porque L
pg
=
X
s /
pg
=
C
s.
c) L esta incluido en /, (//L)
pg
= /
pg
/
C
s y el n ucleo de / (//L)
pg
es L, luego
//L (//L)
pg
.
Con todo, hemos concluido.
2. Dada s /
pg
no nula, tomese L = O
C
s /.
Proposicion 4.3.4. Sea x C un punto cerrado. Sea / un haz cuasicoherente. Si h
0
(C, /
nx
)
r n + cte., para todo n >> 0 entonces / es un modulo coherente de rango menor o igual que r.
Demostracion. Vamos a proceder por induccion sobre r.
Consideremos la sucesion exacta natural 0 T(/) /. Tensorializando por L
nx
, tenemos
0 T(/) /
nx
. Por tanto, h
0
(C, T(/)) < . Ahora bien, H
0
(C, T(/)) =
xC
T(/)
x
. Luego
solo para un n umero nito de puntos cerrados T(/)
x
,= 0 y estos son k-espacios vectoriales de
dimension nita. En consecuencia, T(/) es un modulo coherente de rango cero.
Haciendo cociente por T(/) podemos suponer que / no tiene torsion.
Sea L coherente de rango 1 y una inclusion L /. Consideremos la sucesion exacta
0 L
nx
/
nx
(//L)
nx
0
Por la sucesion exacta larga de cohomologa e induccion sobre r, //L es coherente de rango menor
o igual que r 1. Luego /, es coherente de rango menor o igual que r.
64 Captulo 4. Teora de la dualidad en curvas
Ejercicio 4.3.5. Sea C una curva completa no singular y x C un punto cerrado. Se verica que
C x es una curva afn.
Resolucion: Por 4.3.2 h
0
(C, L
(n+1)x
) ,= h
0
(C, L
nx
) para n >> 0, luego existe una funcion f
C
con un unico polo (de orden n + 1) en x. Por tanto, el morsmo afn denido por f
f : C P
1
verica que f
1
() = (n + 1)x, luego C x = f
1
(P
1
), que es afn.
4.4. Teoremas de dualidad y Riemann-Roch fuerte
Por los teoremas de nitud del captulo anterior sabemos que H
2
(C, /) = 0 para todo haz cua-
sicoherente /. Por tanto, el funtor, H
1
(C, /)

denido en la categora de modulos cuasicoherentes,


que asigna a cada haz cuasicoherente el dual sobre k de su primer grupo de cohomologa, es exacto
por la izquierda y transforma lmites inductivos en lmites proyectivos.
Denicion 4.4.1. Al haz cuasicoherente, que denotaremos por w
C
, representante del funtor H
1
(C, )

,
que existe por el teorema de representabilidad, se le denomina haz dualizante de C. Por tanto, para
todo modulo cuasicoherente / se verica
H
1
(C, /)

= Hom
O
C
(/, w
C
).
1
Teorema 4.4.2 (Riemann-Roch fuerte). Sea D =

i
n
i
x
i
y L
D
el haz de lnea asociado a D. Se
verica que
h
0
(C, L
D
) h
0
(C, w
C

O
C
L
D
) = (C, O
C
) + gr D
Demostracion. H
1
(C, L
D
)

= Hom
O
C
(L
D
, w
C
) = Hom
O
C
(O
C
, w
C

O
C
L
D
) = (C, w
C

O
C
L
D
).
Luego h
1
(C, L
D
) = h
0
(C, w
C

O
C
L
D
). Ahora ya, por el Riemann-Roch debil se concluye el teorema.
Proposicion 4.4.3. El haz dualizante w
C
es un haz de lnea.
Demostracion. Probemos que el dualizante no tiene torsion: Sea T un modulo coherente incluido en
la torsion de w
C
, se verica Hom
O
C
(T, w
C
) = H
1
(C, T)

= 0 porque T es asco. Luego, T = 0 y w


C
es libre de torsion.
Nos falta ver que el rango de w
C
es 1. Sea x C un punto cerrado. Tenemos que H
0
(C, (w
C
)
nx
) =
Hom
O
C
(O
C
, w
C
L
nx
) = Hom
O
C
(L
nx
, w
C
) = H
1
(C, L
nx
)

. Por 4.3.4, h
0
(C, (w
C
)
nx
) = n + cte,
para n >> 0. Por 4.3.2, w
C
es de rango 1.
Denicion 4.4.4. Denominamos genero aritmetico, g
a
, de una curva completa C a h
1
(C, O
C
) y
genero geometrico, g, al genero aritmetico de su desingularizacion.
Proposicion 4.4.5. Sea C una curva completa no singular sobre un cuerpo algebraicamente cerrado.
1. h
0
(C, w
C
) = h
1
(C, O
C
) =
def
genero aritmetico =
Not
g
a
2. h
1
(C, w
C
) = h
0
(C, O
C
).
4.5. Modulo de diferenciales y derivaciones 65
Demostracion. 1. H
0
(C, w
C
) = Hom
O
C
(O
C
, w
C
) = H
1
(C, O
C
)

. Luego, h
0
(C, w
C
) = h
1
(C, O
C
).
2. H
1
(C, w
C
)

= Hom
O
C
(w
C
, w
C
) = Hom
O
C
(O
C
, O
C
) = H
0
(C, O
C
).
Denicion 4.4.6. Llamaremos divisores canonicos a los divisores cuyo haz de lnea asociado sea el
haz dualizante.
Proposicion 4.4.7. Sea L
K
= w
C
el haz dualizante. Se verica que gr K = 2(C, O
C
) = 2g 2.
Demostracion. Es una consecuencia inmediata del Riemann-Roch debil para L
K
y la proposicion
anterior.
4.5. Modulo de diferenciales y derivaciones
Denicion 4.5.1. Sea A una k-algebra. Llamaremos ideal de la diagonal, que denotaremos por ,
al n ucleo del morsmo de anillos A
k
A

A, a b ab. Llamaremos modulo de las diferenciales
de Kahler de A, que denotaremos por
A/k
, a /
2
.
Observemos que
A/k
= /
2
es un A A-modulo, anulado por , luego es un A A/ = A-
modulo. Luego a w := (a 1) w = (1 a) w (por ser a 1 = 1 a en AA/ = A).
Tenemos la sucesion exacta de AA-modulos.
() 0 AA

A 0
El morsmo s: A A A, s(a) = 1 a, es una seccion de . Ademas considerando A A como
A = 1 A-modulo s es un morsmo de A-modulos. Por tanto, la sucesion () es una sucesion exacta
escindida de A-modulos.
Proposicion 4.5.2. Sea m A un ideal maximal tal que A/m = k, entonces
A/k

k
A/m = m/m
2
.
Demostracion. Si tensorializamos () por
A
A/m obtenemos la sucesion exacta
0
A
A/m A
k
A/m = A A/m 0
que muestra que
A
A/m = m. Por tanto,
A/k

A
A/m = (
A
A/m)/(
A
A/m)
2
= m/m
2
.
Proposicion 4.5.3. Sea S A un sistema multiplicativo, entonces (
A/k
)
S
=
A
S
/k
.
Demostracion. Si Localizamos () por S S = s s

AA, s, s

S obtenemos
0
SS
A
S
A
S

A
S
0
luego
SS
=
A
S
, denotando este ultimo el ideal de la diagonal de A
S
. Por tanto,
(
A/k
)
S
= (
A/k
)
SS
=
SS
/
2
SS
=
A
S
/
2
A
S
=
A
S
/k
Proposicion 4.5.4. Sea k k

un morsmo de anillos. Entonces,


A/k

k
k

=
A
k
k

/k

Demostracion. Al lector.
66 Captulo 4. Teora de la dualidad en curvas
Sea m
x
A un ideal tal que A/m
x
= k. Dado a A denotemos a(x) = a A/m
x
= k. La
aplicacion k-lineal d
mx
= d
x
: A m
x
/m
2
x
, d
x
a = a a(x) cumple que d
x
(ab) = a(x)d
x
b + b(x)d
x
a:
Observemos que dado n m
x
/m
2
x
entonces an = a(x)n, pues (aa(x))n = 0, ya que aa(x) m
x
.
Ahora ya, a(x)d
x
b +b(x)d
x
a = a (b b(x)) +b(x) (a a(x)) = ab a(x)b(x) = d
x
(ab).
El morsmo k-lineal d: A
A/k
, d(a) := a 1 1 a /
2
se denomina diferencial de A.
Se cumple que d(ab) = adb +bda: Como AA/ = A consideremos el morsmo d

: AA /
2
del parrafo anterior. Si i : A AA es el morsmo de anillos i(a) = a 1 entonces d = d

y es
facil concluir lo requerido.
Denicion 4.5.5. Sea M un A-modulo. Una aplicacion k-lineal D: A M diremos que es una
derivacion si D(ab) = aDb +bDa, para todo a, b A.
El conjunto de todas las derivaciones de A en M, con la suma y producto por elementos de A
naturales es un A-modulo que denotaremos por Der
k
(A, M).
Observemos que D(1) = D(1 1) = 1D(1) + 1D(1) = 2D(1), luego D1 = 0 y D(k) = 0.
Lema 4.5.6. Sea m A tal que A/m = k y sea M un A/m-modulo. Entonces
Der
k
(A, M) = Hom
k
(m/m
2
, M)
Demostracion. Tenemos que A = m k. Dada D Der
k
(A, M), entonces D se anula en k y en m
2
(pues D(m
1
m
2
)m
1
Dm
2
+ m
2
Dm
1
= 0, para todo m
1
, m
2
m, ya que m M = 0). Por tanto,
tenemos un morsmo k-lineal

D: m/m
2
M,

D( n) = Dn. Recprocamente, dado un morsmo k-
lineal F : m/m
2
M, entonces D
F
: A M, denido por D
F
= F d es una derivacion de A en M.
Ambas asignaciones son inversas entre s.
Teorema 4.5.7. Hom
A
(
A/k
, M) = Der
k
(A, M).
Demostracion. Podemos considerar el A-modulo M como AA-modulo va el epimorsmo AA A,
a b ab. Ademas, AA es una A-algebra: A AA, a 1 a.
El morsmo Der
k
(A, M) Der
A
(A
k
A, M), D D1, (D1)(a b) := bDa, es isomorsmo
pues el morsmo inverso es D

D, D(a) := D

(a 1.
Por tanto,
Der
k
(A, M) = Der
A
(A
k
A, M)
4.5.6
= Hom
A
(/
2
, M)
Sea m
x
A tal que A/m
x
= k, entonces m
x
/m
2
x
= d
x
a [ a A pues dado a m
x
, a = a a(x) =
d
x
a. Por tanto,
A/k
= a b 1 ab = bda [ a b AA)
lineal
.
El isomorsmo Der
k
(A, M) = Hom
A
(
A/k
, M) explcitamente es D i
D
, i
D
(bda) := bDa; el
morsmo inverso F F d.
Todo morsmo de k-algebras : A B induce un morsmo natural
A/k

B/k
, a

da
(a

)d(a). B es una A-algebra ademas de una k-algebra y se tiene un morsmo natural


A/k

B/A
.
Proposicion 4.5.8. Sea A B un morsmo de k-algebras. La sucesion

A/k

A
B
B/k

B/A
0
es exacta.
4.6. Dualizante de una curva lisa 67
Demostracion. Basta ver que para todo B-modulo la sucesion que se obtiene tomando Hom
B
(, M)
es exacta por la izquierda. Efectivamente, la sucesion obtenida es
0 Der
A
(B, M) Der
k
(B, M) Der
k
(A, M)
que es exacta porque las k-derivaciones de B que son nulas sobre A son las A-derivaciones.
Proposicion 4.5.9. Sea I A un ideal. La sucesion
I/I
2
d

A/k

A
A/I
(A/I)/k
0
donde d

i := di 1, es exacta.
Demostracion. Basta ver que para todo A/I-modulo la sucesion que se obtiene tomando Hom
A/I
(, M)
es exacta por la izquierda. Efectivamente, la sucesion obtenida es
0 Der
k
(A/I, M) Der
k
(A, M) Hom
A/I
(I/I
2
, M) = Hom
A
(I, M)
que es exacta porque si las derivaciones de A que se anulan sobre I se corresponden biunvocamente
con las derivaciones de A/I.
Ejemplo 4.5.10. Der
k
(k[x
1
, . . . , x
n
], M) = k[x
1
, . . . , x
n
]

x1
k[x
1
, . . . , x
n
]

xn
:
Toda derivacion sobre k[x
1
, . . . , x
n
] esta determinada por sus valores en x
1
,..., x
n
(por ejemplo
D(x
1
x
2
) = x
1
Dx
2
+ x
2
Dx
1
). Dados m
i
M, sea D =

i
m
i


xi
la derivacion de k[x
1
, . . . , x
n
]
denida por Dp(x
1
, . . . , x
n
) =

i
p(x1,...,xn)
xi
m
i
. Dada una derivacion D cualquiera se cumple que
D =

i
Dx
i


xi
porque la diferencia de ambas es la derivacion cero, pues se anula sobre las x
i
, para
todo i.

k[x1,...,xn]/k
= k[x
1
, . . . , x
n
]dx
1
k[x
1
, . . . , x
n
]dx
n
: Consideremos el morsmo k[x
1
, . . . , x
n
]dx
1

k[x
1
, . . . , x
n
]dx
n

k[x1,...,xn]/k
,

p
i
dx
i


p
i
dx
i
. Tomando Hom
k[x1,...,xn]
(, M) se obtiene
la igualdad anterior, para todo M, luego el morsmo considerado es isomorsmo.
Ahora ya, por 4.5.9

k[x1,...,xn]/(p1,...,pr)/k
= (k[x
1
, . . . , x
n
]/(p
1
, . . . , p
r
)dx
1
k[x
1
, . . . , x
n
]/(p
1
, . . . , p
r
)dx
n
)dp
1
, . . . , dp
r
)
En particular,
k[x]/(p(x))/k
= k[x]/(p(x), p

(x))dx. Si car k = 0 y p(x) es un polinomio irreducible,


entonces p

(x) es de grado uno menos que el de p(x) y (p(x), p

(x)) = (1), luego


k[x]/(p(x))/k
= 0.
Supongamos que car k = 0 y sea k K una extension nita de cuerpos. Se cumple que
K/k
= 0:
Dado a K consideremos el morsmo f : k[x] K, f(q(x)) = q(a). Ker f es un ideal primo,
generado por un polinomio p(x) irreducible (el polinomio mnimo anulador de a). Consideremos el
morsmo inyectivo inducido. k[x]/(p(x)) K. Del morsmo inducido 0 =
k[x]/(p(x))/k

K/k
,
0 = d x da se deduce que da = 0. Luego,
K/k
= 0.
Ejercicio 4.5.11. Sea B una A-algebra y S A un sistema multiplicativamente cerrado. Probar que

B
S
/A
S
=
B
S
/A
.
4.6. Dualizante de una curva lisa
Denicion 4.6.1. Sea X un k-esquema. Denotamos por
X/k
y lo denominamos haz de diferenciales
de Kahler de X, al haz asociado al prehaz
U
O
X
(U)/k
, para cada abierto U X
68 Captulo 4. Teora de la dualidad en curvas
Con toda generalidad,
Denicion 4.6.2. Sea f : X Y un morsmo de esquemas. Sea : X X
Y
X el morsmo
diagonal y es el n ucleo del morsmo O
X
Y
X

O
X
. Se dene, el haz de modulos de diferenciales
relativas de X sobre Y , que denotaremos
X/Y
, por

X/Y
=
def

Si V Y es un abierto afn y U X es un abierto afn tal que f(U) V , entonces


X/Y
(U) =

O
X
(U)/O
Y
(V )
.
Proposicion 4.6.3. Si C es una curva no singular sobre un cuerpo algebraicamente cerrado, entonces

C/k
es un haz de lnea.
Demostracion. Sea x C un punto cerrado.
C/k

O
C
O
C
/m
x
= m
x
/m
2
x
tiene dimension 1. Veamos
que si /es un haz coherente tal que dim
k
//m
x
/= 1 para todo x C entonces /es un haz de
lnea. Consideremos la sucesion exacta
0 T(/) ///T(/) 0
//T(/) es un modulo coherente sin torsion, luego localmente libre. Veamos que es de rango 1: Sea
y / SopT(/). Entonces /
y
= (//T(/))
y
, luego (//T(/))
y
/m
y
(//T(/))
y
es de dimension
1 y //T(/) es de rango 1. Sea ahora x C un punto cerrado cualquiera. (//T(/))
x
es libre,
luego /
x
= T(/)
x
(//T(/))
x
. Tensorializando por
O
C
O
C
/m
x
y por dimensiones tenemos
que T(/)
x
/m
x
T(/) = 0. Por el lema de Nakayama T(/)
x
= 0, para todo x, luego T(/) = 0 y
/= //T(/) es de lnea.
Preambulo: Sea C una curva no singular, sobre un cuerpo algebraicamente cerrado. Sean U
1
=
Spec B
1
= C y
1
, U
2
= Spec B
2
= C y
2
dos abiertos anes, que recubren C. Sea U = Spec A
i
C
un abierto afn, de modo que A = (B
1
)
b1
= (B
2
)
b2
.
Dado un haz de k-modulos M, denotamos M
k
A como el haz sobre C denido por (M
k
A)(V ) =
M(V )
k
A. Es sencillo probar que H
i
(C, M
k
A) = H
i
(C, M)
k
A. Ademas, si /es cuasicoherente
entonces /
k
A tambien lo es.
Denotemos i

(/
|U
) =
Not
/
U
. Sea al haz cuasicoherente n ucleo del morsmo : O
C

k
A O
U
,
a

a a a

. Sea
i
el n ucleo del morsmo B
i

k
B
i
B
i
, b b

bb

. Consideremos las sucesiones


las sucesiones exactas
0 (U
i
) B
i

k
A

A 0
0
i
B
i

k
B
i

B
i
0
Obviamente (U
i
) = (
i
)
1bi
.
(U
i
) es un B
i
A-modulo localmente principal, porque
i
es un B
i

k
B
i
-modulo localmente
principal. Es una sencilla comprobacion (en los abiertos U
i
) que dado un haz coherente /, se verica
que (/
k
A)/(/
k
A) = /
U
. Tambien es facil ver (en los abiertos U
i
) que /
2
= (
C/k
)
U
.
Teorema 4.6.4. Sea C una curva no singular sobre un cuerpo algebraicamente cerrado. Se verica
que
w
C

C/k
4.7. Aplicaciones de la teora de dualidad 69
Demostracion. Sea x C un punto cerrado. Se verica la sucesion exacta
0 w
C
i
Hom
O
C
(m
x
, w
C
)

Hom
O
C
(m
x
/m
2
x
, w
C
/m
x
w
C
) 0
w i(w): a a w
f (f): a

f(a)
Observemos que Hom
O
C
(m
x
, w
C
) = Hom
O
C
(L
x
, w
C
) = Hom
O
C
(O
C
, w
C

O
C
L
x
) = w
C

O
C
L
x
.
Tomando la sucesion exacta larga de cohomologa obtenemos:
Hom
O
C
(m
x
/m
2
x
, w
C
/m
x
w
C
)
x
H
1
(C, w
C
) H
1
(C, w
C
L
x
) = H
0
(C, L
x
)

= 0
Por tanto, por dimensiones Hom
O
C
(m
x
/m
2
x
, w
C
/m
x
w
C
)
x
= H
1
(C, w
C
). As pues, tenemos que dado
H
1
(C, w
C
) no nulo, un isomorsmo canonico

1
x
(): m
x
/m
2
x
= w
C
/m
x
w
C
Tomando en vez de x un punto general obtendremos el isomorsmo
C/k
w:
Siguiendo las notaciones del preambulo, consideremos la sucesion exacta
0 w
C

k
A Hom
O
C

k
A
(, w
C

k
A) Hom
O
C

k
A
(/
2
, w
U
) 0
Por paso a bras en el punto x U = Spec A, tenemos el diagrama conmutativo
0

w
C

k
A

Hom
O
C

k
A
(, w
C

k
A)

Hom
O
C

k
A
(/
2
, w
U
)

0
0

w
C

Hom
O
C
(m
x
, w
C
)

Hom
O
C
(m
x
/m
2
x
, w
C
/m
x
w
C
)

0
As pues, tomando la sucesion exacta larga de cohomologa, tenemos el diagrama conmutativo
Hom
A
k
A
(
C/k
(U), w
C
(U))

H
1
(C, w
C

k
A) = H
1
(C, w
C
)
k
A

Hom
O
C
(m
x
/m
2
x
, w
C
/m
x
w
C
)
x
= H
1
(C, w
C
)
De modo que, es un morsmo entre A-modulos localmente principales que en bras sobre x, es
isomorsmo. Luego es un isomorsmo y
1
():
C/k
(U) w
C
(U) es un isomorsmo que en bras
sobre x es
1
x
( 1). Luego existe un isomorsmo global
C/k
w
C
(que en bras es
1
x
()).
4.7. Aplicaciones de la teora de dualidad
4.7.1. Teorema de Hurwitz
Sea : C C

un morsmo nito entre curvas completas no singulares sobre un cuerpo alge-


braicamente cerrado.
70 Captulo 4. Teora de la dualidad en curvas
Se dice que un punto cerrado y C es un punto de ramicacion de , si dim
k
(O
C
/m
x
O
C
)
y
= r > 1,
donde x = (y). A r se le denomina el ndice de ramicacion y coincide con la multiplicidad con que
aparece y en la bra de x. Los puntos de ramicacion coinciden con los puntos donde el haz de
diferenciales relativas
C/C
son no nulas: (
C/C
)
y
es un O
C,y
-modulo nito nulo si y solo si, por
Nakayama, lo es
(
C/C
)
y

O
C

O
C
/m
x
=
(O
C
/mxO
C
)y/k
Sea A = (O
C
/m
x
O
C
)
y
, que es una k-algebra nita local, de ideal maximal m = m
y
. Por Nakayama,

A/k
es cero si y solo si 0 =
A/k
A/m = m/m
2
, es decir, m = 0, es decir, O
C
/m
x
= k.
Proposicion 4.7.1. Sea : C C

un morsmo nito, entre curvas completas no singulares. Sea


D =

n
x
x un divisor en C

y L
D
el haz de lnea asociado. Se verica que

L
D
= L

1
D
, con

1
D =

n
x

1
(x) (donde
1
(x) son los puntos de la bra de x, contando multiplicidades).
Demostracion. Sea t
x

C
un generador de m
x
en un entorno de x. Sabemos que L
D
en un entorno
U afn de x, tal que D
|U
= n
x
x, es igual a t
nx
x
O
U
. Sea y C tal que (y) = x, sea V un entorno afn
de y, contenido en
1
(U). En el morsmo inducido entre los anillos de funciones

V U
: O
C
(U)
O
C
(V ), se verica que (

V U
(t
x
)) = t
x
O
C
(V ) = m
n1
y1
m
nr
yr
, donde y
1
, . . . , y
r
son los puntos de la
bra de x en V y n
1
, . . . , n
r
son la multiplicidad con que aparece cada uno.
Se verica
(

(L
D
))
|V
=

V U
((L
D
)
|U
) =

V U
(t
nx
x
O
U
) = t
nx
x
O
U

O
U
O
V
= (m
n1
y1
m
nr
yr
)
nx
= (L

1
D
)
|V
con lo que se concluye.
Teorema 4.7.2 (Hurwitz). Sea : C C

un morsmo no constante entre curvas completas no


singulares sobre un cuerpo algebraicamente cerrado de caracterstica cero. Se cumple que el modulo
de las diferenciales relativas
C/C
es de torsi on y
2g 2 = gr (2g

2) + dim
k
(
C/C
)
donde g y g

son los generos de C y C

respectivamente.
Demostracion. Sea p
g
el punto generico de C, entonces (
C/C
)
pg
=

C
/
C

= 0 por ser
C

C

separable. Por tanto, como


C/C
es un haz coherente cuya bra en el punto generico es cero, es de
torsion.
Consideremos la sucesion exacta

/k

C/k

C/C
0
El morsmo

ha de ser inyectivo, porque todo morsmo entre haces de lnea que es isomorsmo en
el punto generico es inyectivo.
Si denotamos por K y K

los divisores canonicos de C y C

, tenemos la sucesion exacta


0 L

1
K
L
K

C/C
0
Tomando caractersticas, tenemos (L
K
) = (L

1
K
)+dim
k

C/C
, que por el Riemann-Roch equiv-
ale a gr(K) = gr(
1
K

) + dim
k

C/C
. Ahora ya, dado que gr(
1
K

) = gr() gr K

, deducimos la
formula de Hurwitz.
4.7. Aplicaciones de la teora de dualidad 71
En caracterstica cero, diremos que un morsmo : C C

nito es un revestimiento no ramicado


si no tiene puntos de ramicacion.
Corolario 4.7.3. La recta proyectiva no tiene revestimientos no ramicados, salvo los isomorsmos
(se dice que P
1
es simplemente conexa).
Demostracion. Dado un revestimiento : C P
1
no ramicado, por Hurwitz tenemos 2g 2 =
gr (2 0 2). Luego g = 0 y gr = 1.
Corolario 4.7.4 (L uroth). Toda subextension de k(x) es igual a k(p(x)), para cierto p(x) k(x).
Supongamos car k = 0.
Demostracion. Sea L k(x) una subextension. Consideremos el morsmo inducido entre las var-
iedades de Riemann, : P
1
C. Por el teorema de Hurwitz, 2 02 = gr (2g
C
2) +dim
k
(
P1/C
).
Por tanto, g
C
= 0 y C = P
1
. Es decir, L = k(p(x)).
4.7.2. Morsmos en espacios proyectivos
Vamos a ver que toda variedad de Riemann es una curva proyectiva.
Sea k un cuerpo algebraicamente cerrado, por sencillez de exposicion. Sea C una curva completa
y L un haz de lnea en C. Dado un punto cerrado x C y un isomorsmo L/m
x
L k, para cada
s (C, L) podemos denir el valor de s en x, s(x):
L L/m
x
L k
s s =
Not
s(x)
El valor s(x) depende del isomorsmo L/m
x
L k, luego esta denido para toda s (C, L), salvo un
factor k. Ahora bien, si tiene sentido decir si s(x) = 0 o no. Ademas, los puntos donde s(x) = 0,
que denotaremos (s)
0
, es un cerrado de C. Recordemos que el divisor de ceros (no hay polos) de
s (C, L), es un divisor efectivo cuyo haz de lnea asociado es L. Por tanto, (s)
0
es el soporte del
divisor D(s), asociado a s.
Sea s
0
, . . . , s
n
una base de V (C, L) sin puntos base, i.e.,
n

i=0
(s
i
)
0
= . Denamos puntual-
mente el morsmo
C P
n
, x
def
(s
0
(x), . . . , s
n
(x))
Denamoslo ahora esquematicamente (no necesitaremos que k es algebraicamente cerrado):
Dados dos secciones s
i
, s
j
(C, L) entonces s
i
= f
ij
s
j
, para una f
ij

C
, de modo que
D(s
i
) = D(f
ij
) + D(s
j
). Por tanto, f
ij
no tiene polos en U
j
= C (s
j
)
0
, es decir, f
ij
O
C
(U
j
).
Escribiremos f
ij
=
si
sj
.
Sea U
j
= C (s
j
)
0
. Los morsmos
U
j
Spec k[
x
0
x
j
, . . . ,
x
n
x
j
]
O
C
(U
j
) k[
x
0
x
i
, . . . ,
x
n
x
i
]
s
i
s
j

x
i
x
j
72 Captulo 4. Teora de la dualidad en curvas
nos denen el morsmo
C P
n
antes denido puntualmente.
El morsmo C P
n
denido por el haz de lnea L, y el subespacio V (C, L), depende de la
eleccion de una base de V . Obviamente, si se considera otra base el nuevo morsmo denido diferira del
primero en una proyectividad de P
n
. As pues, L si consideramos todo (C, L) y suponemos que no
hay puntos base, dene un unico morsmo de C en un espacio proyectivo, salvo proyectividades.
Recprocamente, todo morsmo : C P
m
, de modo que Im no yace en ning un hiperplano (C
es alabeada), es el denido por un subespacio vectorial de las secciones de un haz de lnea de C: Sea
L =

O
Pn
(1), el morsmo natural

: H
0
(P
m
, O
Pm
(1)) H
0
(C, O
Pn
(1)) y V = Im

. Pues bien,
es el morsmo denido por el haz de lnea L y V , como puede comprobarse.
Por ultimo, si H

i
a
i
x
i
= 0 es un hiperplano de P
m
, entonces H C
def
=
1
(H) = D(

i
a
i
s
i
).
Los hiperplanos cortan a C en los divisores efectivos asociados a L. En el caso de que sea una
inmersion cerrada el grado de la curva C es igual al grado de los divisores asociados a L.
Denicion 4.7.5. Se dice que las secciones globales de L separan los puntos de C, cuando para cada
par de puntos x, x

existe una seccion tal que s(x) = 0 y s(x

) ,= 0.
Denicion 4.7.6. Se dice que las secciones globales de L separan puntos innitesimalmente proximos,
cuando para cada punto cerrado x C, las secciones globales de L que se anulan en x generan m
x
L
x
.
Es decir, para cada punto cerrado x C, existe s H
0
(C, L) tal que v
x
(s) = 1.
Denicion 4.7.7. Un haz de lnea se dice que es muy amplio cuando sus secciones globales generan
la bra en cada punto del haz de lnea (es decir, no tienen puntos base), separan puntos y separan
puntos innitesimalmente proximos.
Sea (C, L) = s
0
, . . . , s
n
). Sobre U
j
= C (s
j
)
0
tenemos el isomorsmo L
Uj
s
1
j

O
Uj
. Dados
x, y U
j
, que las secciones globales de L separen x de y, equivale a decir que las funciones f
ij
=
s
i
/s
j
)
i
separen x de y, es decir, existe f f
ij
= s
i
/s
j
)
i
tal que f(x) = 0 y f(y) ,= 0. Que las secciones
globales que se anulan en x generan m
x
L
x
equivale a decir que las funciones de f
ij
= s
i
/s
j
)
i
que se
anulan en x generan m
x
.
Teorema 4.7.8. El morsmo denido por una serie lineal completa s
0
, . . . , s
n
) = (C, L), sin
puntos base,
i : C P
n
, x (s
0
(x), . . . , s
n
(x))
es una inmersion cerrada, si y solo si L es un haz de lnea muy amplio.
Demostracion. En coordenadas, tenemos localmente
k[
x
0
x
i
, . . . ,
x
n
x
i
] k[
s
0
s
i
, . . . ,
s
n
s
i
]
i

O
C
(U
i
)
x
j
x
i

s
j
s
i

s
j
s
i
Tenemos que probar que las inclusiones i

: k[
s0
si
, . . . ,
sn
si
] O
C
(U
i
) son isomorsmos si y solo si
L es muy amplio.
El morsmo i

es nito: Sea O
vx
un anillo de valoracion de
C
que contenga a k[
s0
si
, . . . ,
sn
si
], es
decir, v
x
(s
j
/s
i
) 0 para todo j. Si x (s
i
)
0
entonces v
x
(s
j
) = v
x
((s
j
/s
i
)s
i
) = v
x
(s
j
/s
i
)+v
x
(s
i
) > 0,
4.7. Aplicaciones de la teora de dualidad 73
para todo j. Es decir, x sera un punto base, que no existe. Luego x U
i
. Por tanto, O
vx
contiene a
O
C
(U
i
), y O
C
(U
i
) es el cierre entero de k[
s0
si
, . . . ,
sn
si
] = B.
Por ser i

un morsmo nito, en espectros es epiyectivo, y todo ideal maximal m


y
B es m
y
=
m
x
B, para cierto ideal maximal m
x
O
C
(U
i
).
La inclusion B
i

O
C
(U
i
) es un isomorsmo si y solo si para todo ideal maximal m
y
B, el
morsmo B/m
y
O
C
(U
i
)/m
y
O
C
(U
i
) es un isomorsmo. Es decir, si y solo si m
y
O
C
(U
i
) = m
x
,
donde m
x
B = m
y
. Ahora bien, m
y
O
C
(U
i
) = m
x
si y solo si las secciones globales de L, que se
anulan en x no se anulan, todas a la vez, ni en otro punto ni dos veces en x.
Concluimos que i es una inmersion cerrada si y solo si L es muy amplio.
Ejercicio 4.7.9. Demuestrese que la condicion de que las secciones separen puntos equivale a que i
sea inyectiva y la condicion de que las secciones separen puntos innitesimalmente proximos equivale
a que i sea inyectiva a nivel tangente.
Lema 4.7.10. Sea C una curva completa no singular sobre un cuerpo algebraicamente cerrado.
1. La condicion necesaria y suciente para que la serie lineal (C, L
D
) no tenga puntos base es
que h
0
(C, L
Dx
) < h
0
(C, L
D
), para todo x C.
2. La condicion necesaria y suciente para que la serie lineal (C, L
D
) separe puntos es que
h
0
(C, L
Dxy
) < h
0
(C, L
Dx
) para todo x ,= y C.
3. La condici on necesaria y suciente para que la serie lineal (C, L
D
) separe puntos innitesi-
malmente proximos es que h
0
(C, L
D2x
) < h
0
(C, L
Dx
), para todo x C.
Demostracion. 1. Observemos que L
Dx
= L
D

O
C
L
x
= m
x
L
D
, que esta incluido naturalmente
en L
D
. As pues, las secciones globales de L
Dx
se identican con las s (C, L
D
) tales que en
germenes pertenezcan a L
Dx
. Es decir,
H
0
(C, L
Dx
) = s H
0
(C, L
D
): s
x
m
x
(L
D
)
x
= s H
0
(C, L
D
): s(x) = 0
Luego, h
0
(C, L
Dx
) < h
0
(C, L
D
) si y s olo si existe s H
0
(C, L
D
) tal que s(x) ,= 0, es decir, si y solo
si x no es un punto base.
2. Observemos que L
Dxy
= m
x
m
y
L
D
, que esta incluido naturalmente en L
D
. As pues, las
secciones globales de L
Dxy
se identican con las s (C, L
D
) tales que en germenes pertenezcan
a L
Dxy
. Es decir,
H
0
(C, L
Dxy
) = s H
0
(C, L
D
): s
x
m
x
(L
D
)
x
y s
y
m
y
(L
D
)
y

= s H
0
(C, L
D
): s(x) = 0 y s(y) = 0
Luego, h
0
(C, L
Dxy
) < h
0
(C, L
Dx
) si y solo si existe s H
0
(C, L
D
), tal que s(x) = 0 y s(y) ,= 0,
con lo que se concluye.
3. Observemos que L
D2x
= m
2
x
L
D
, que esta incluido naturalmente en L
D
. As pues, las secciones
globales de L
D2x
se identican con las s (C, L
D
) tales que en germenes pertenezcan a L
D2x
. Es
decir,
H
0
(C, L
D2x
) = s H
0
(C, L
D
): s
x
m
2
x
(L
D
)
x
= s H
0
(C, L
D
): v
x
(s) 2
Luego, h
0
(C, L
D2x
) < h
0
(C, L
Dx
) si y solo si existe s H
0
(C, L
D
), tal que v
x
(s) = 1, con lo que
se concluye.
74 Captulo 4. Teora de la dualidad en curvas
Proposicion 4.7.11. Si D es un divisor de grado mayor que dos veces el genero geometrico, entonces
L
D
es muy amplio.
Si D es un divisor de grado mayor o igual que el genero geometrico, entonces las secciones globales
de L
D
no tiene puntos base.
Demostracion. Por ser D un divisor de grado mayor que el canonico h
1
(C, L
D
) = h
0
(C, L
KD
) = 0.
Lo mismo decimos D x, D 2x, D x y. Por tanto,
h
0
(C, L
D
) = (C, L
D
) = (C, O
C
) + grD
h
0
(C, L
Dx
) = (C, L
Dx
) = (C, O
C
) + grD 1
h
0
(C, L
D2x
) = (C, L
D2x
) = (C, O
C
) + grD 2
h
0
(C, L
Dxy
) = (C, L
Dxy
) = (C, O
C
) + grD 2
Ahora es facil concluir la tesis primera utilizando el lema anterior. Para la segunda armacion se
procede igual.
Teorema 4.7.12. Toda curva completa no singular sobre un cuerpo algebraicamente cerrado es una
curva proyectiva.
Demostracion. Si D es un divisor de grado 2g + 1, entonces por la proposicion anterior L
D
es muy
amplio. Por el teorema anterior L
D
dene una inmersion cerrada de la curva en un espacio proyectivo.
Sea C es una curva completa no singular de genero mayor que 1, y K es un divisor canonico. 3K
es un divisor muy amplio, es decir, w
3
C
= w
C

O
C

O
C
w
C
es un haz de lnea muy amplio. Luego w
3
C
dene una inmersion cerrada, canonica de C en P
5g6
, salvo proyectividades de modo que C es una
curva alabeada de grado 6g 6 y los hiperplanos cortan a C en divisores linealmente equivalentes a
3K.
4.7.3. Curvas elpticas e hiperelpticas
Sea C una curva completa no singular, sobre un cuerpo algebraicamente cerrado. Supondremos
que car k ,= 2.
Proposicion 4.7.13. En las curvas de genero menor o igual que dos el dualizante no es muy amplio.
Demostracion. Si el genero es dos y el dualizante es muy amplio, entonces el dualizante dene una
inmersion cerrada de la curva en la recta proyectiva, luego la curva sera la recta proyectiva que es de
genero cero, contradiccion. Si el genero es 1 o cero es obvio.
Denicion 4.7.14. Las curvas de genero mayor o igual que dos tales que su haz dualizante no sea
muy amplio se denominan curvas hiperelpticas. Las curvas de genero 1 se denominan curvas elpticas.
As, si C es una curva de genero mayor que uno no hiperelptica el dualizante dene una inmersion
canonica C P
g1
que identica C con una curva no singular de grado 2g 2.
Proposicion 4.7.15. La condicion necesaria y suciente para que un haz de lnea L
D
sea muy amplio
es que para cada par de puntos x, y C (distintos o no), se verique h
1
(C, L
Dxy
) = h
1
(C, L
D
).
4.7. Aplicaciones de la teora de dualidad 75
Demostracion. Por la sucesion exacta larga de cohomologa asociada a
0 L
D

x
L
D
( 0
donde ( esta concentrado en x y h
0
(C, () = 1, se tiene que
h
1
(C, L
D

x
) =
_
h
1
(C, L
D
)
h
1
(C, L
D
) + 1
h
0
(C, L
D

x
) =
_
h
0
(C, L
D
) 1
h
0
(C, L
D
)
La condicion h
1
(C, L
D
) = h
1
(C, L
Dxy
) equivale a que h
1
(C, L
D
) = h
1
(C, L
Dx
) y h
1
(C, L
Dx
) =
h
1
(C, L
Dxy
), que equivalen a h
0
(C, L
D
) > h
0
(C, L
Dx
) y h
0
(C, L
Dx
) > h
0
(C, L
Dxy
). Por el
lema 4.7.10, se concluye.
Corolario 4.7.16. Una curva de genero mayor que cero es elptica o hiperelptica si y solo si admite
un morsmo de grado dos en la recta proyectiva.
Demostracion. C es elptica o hiperelptica Existen dos puntos x, y de modo que h
1
(C, L
Kxy
) <
h
1
(C, L
K
)
dualidad
h
0
(C, L
x+y
) > h
0
(C, O
C
) = 1 Existe una f
C
cuyo divisor de polos es x +y
(si el divisor de polos fuese de grado 1 entonces la curva sera la recta proyectiva, contradiccion)
Existe un morsmo f : C P
1
de grado dos.
Corolario 4.7.17. Toda curva elptica o hiperelptica es birracionalmente isomorfa a una curva plana
de ecuaciones y
2
=
2g+1

i=1
(x
i
), donde g es el genero de la curva. Supongamos car k ,= 2.
Demostracion. Sea C P
1
un morsmo de grado dos de la curva en la recta proyectiva.

P1

C
es un morsmo de grado 2, luego
C
=
P1
(), de modo que
2
+ s + t = 0, con
s, t k(x) =
P1
. Cambiando por +
s
2
, podemos suponer que
2
+u = 0, con u
P1
= k(x). Es
decir,
2
=
p(x)
q(x)
, con p(x), q(x) k[x]. Sustituyendo, por q(x), podemos suponer que
2
= p(x),
con p(x) k[x]. Sustituyendo, por (x)
n
(para n conveniente), podemos suponer que las races
de p(x) son simples.
Por Hurwitz, el n umero de puntos de ramicacion es 2g + 2 (todos ellos han de ser distintos, de
ndice de ramicacion 2). Ademas, podemos suponer que el punto del innito es de ramicacion.
Con todo tenemos que C es birracionalmente isomorfa a la curva plana y
2
= p(x) y la proyeccion
a la recta afn tiene 2g + 1 puntos de ramicacion luego p(x) =
2g+1

i=1
(x
i
).
Proposicion 4.7.18. Sea C una curva completa no singular de genero g mayor que 1. Entonces,
: C P
g1
es un morsmo de grado 2g 2 (es decir,
1
(H) es un divisor de grado 2g 2 para
todo hiperplano H de P
g1
) de imagen una curva alabeada si y solo si es (salvo proyectividades) el
morsmo canonico, es decir, el morsmo denido por el haz dualizante y la serie lineal completa.
Demostracion. El dualizante L
K
no tiene puntos base: Si h
0
(C, L
Kx
) = H
0
(C, L
K
) entonces por
dualidad H
0
(C, L
x
) > H
0
(C, O
C
). Luego existe una funcion con un unico polo (en x) y este de
multiplicidad 1, que dene un isomorsmo de C con P
1
. Pero el genero de C no es cero y hemos
llegado a contradiccion.
En conclusion el dualizante (y sus secciones globales) denen un morsmo C P
g1
de grado
2g 2.
76 Captulo 4. Teora de la dualidad en curvas
Si : C P
g1
es un morsmo alabeado de grado 2g2 entonces este viene denido por un haz de
lnea L
D
tal que h
0
(C, L
D
) g y gr D = 2g 2. Por el teorema de Riemann-Roch, H
0
(C, L
KD
) > 0.
Lo cual implica que D es equivalente a K y que es el morsmo inducido por el canonico y sus
secciones globales.
Proposicion 4.7.19. Si C es una curva hiperelptica entonces existe un unico morsmo de grado 2,
C P
1
, salvo proyectividades.
Demostracion. Nos falta probar la unicidad.
Sean ,

: C P
1
dos morsmos de grado 2. Sea i : P
1
P
g1
, (1, , . . . ,
g1
) el morsmo
inducido por O
P
1(g) y sus secciones globales.
Por la proposicion anterior existe una proyectividad : P
g1
P
g1
que hace conmutativo el
siguiente diagrama
C

?
?
?
?
?
?
?
?
P
1


i

P
g1

P
1


i

P
g1
induce una proyectividad

: P
1
P
1
, tal que

.
Observemos que el morsmo canonico es igual a i .
Corolario 4.7.20. El conjunto de curvas hiperelpticas de genero g, modulo isomorsmos, es igual
al conjunto de los subconjuntos (divisores) de 2g + 2 puntos distintos de P
1
, modulo proyectividades.
Demostracion. Dados 2g + 2 puntos distintos
1
, . . . ,
2g+2
P
1
, la curva C completa no singular
birracional la curva plana y
2

2g+2

i=1
(x
i
) = 0, resulta ser una curva de genero g. La proyeccion
vertical de esta curva en y = 0 es un morsmo de grado dos que ramica en
1
, . . . ,
2g+2
. La
composicion de este morsmo con una proyectividad ramica en (
1
), . . . , (
2g+2
), luego como
vimos en la demostracion de 4.7.17, C es birracional a y
2

2g+2

i=1
(x (
i
)) = 0.
Si C es birracional a otra curva plana y
2

2g+2

i=1
(x

i
) = 0, entonces tenemos otro morsmo de
grado dos en la recta proyectiva (y = 0) que ramica en

1
, . . . ,

2g+2
. Por la proposicion anterior
existe una proyectividad : P
1
P
1
tal que (
i
) =

i
, para todo i.
Con todo se concluye.
Proposicion 4.7.21. El grupo de automorsmos de una curva elptica act ua transitivamente sobre
los puntos racionales de la curva.
Demostracion. Sean x, y C dos puntos racionales. El haz de lnea L
x+y
no tiene puntos base, por
4.7.11. Ademas, h
0
(C, L
x+y
) = 2, por Riemann-Roch fuerte. Luego, L
x+y
dene un morsmo nito
: C P
1
4.7. Aplicaciones de la teora de dualidad 77
Las bras de los puntos de P
1
son los divisores efectivos linealmente equivalentes a x+y. En particular,
(x) = (y). El morsmo dene un morsmo
P1
= k(x)
C
de grado 2.
C
es una extension
separable, luego de Galois, de k(x), incluso en caracterstica 2, porque si no
C
= k(
2

x) y C sera
de genero cero. Sea el generador de Aut
k(x)
(
C
) = Z/2Z. El morsmo : C C inducido por
, conmuta con , luego deja estables las bras de . Es mas, intercambia los dos puntos de cada
bra: Se debe al hecho de que C/) = P
1
, pero demos una demostracion ad hoc. Sea (x) = (y) y
f
C
con un cero en x y no en y. Si (x) = x y (y) = y entonces f (f) k(x) tiene un cero en
x y no en y, luego esta funcion por un lado se anula en (x) y por el otro no se anula en (y) = (x).
En conclusion, (x) = y.
Proposicion 4.7.22. Sea C una curva elptica y
1
,
2
: C P
1
dos morsmos de grado dos. Existen
isomorsmos : C C, : P
1
P
1
de modo que el diagrama
C

C
2

P
1

P
1
es conmutativo.
Demostracion. Por Hurwitz sabemos que
1
y
2
ramican en cuatro puntos. Sea x un punto de
ramicacion de
1
, y un punto de ramicacion de
2
y un automorsmo de C tal que (x) = y.
El morsmo
2
es el morsmo denido por el haz de lnea L
2y
y el morsmo
1
tambien es el
morsmo denido por el haz de lnea L
2y
. Por tanto,
2
y
1
dieren en un automorsmo de P
1
.
En la proposicion 4.7.17 probamos que si : C P
1
es un morsmo de grado dos y escribimos

P1
= k(x), existe y
C
, de modo que
C
= k(x, y), y
2
= (x
0
) (x
1
) (x
2
), donde
,
0
,
1
,
2
P
1
resultan ser los puntos (distintos) donde ramica . Los puntos donde ramica
es invariante por automorsmos de C. Componiendo con una proyectividad, podemos suponer que

0
= 0 y
1
= 1 y tendremos que C y
2
= x (x1) (x). Ademas, C y
2
= x (x1) (x

),
si y solo si existe una proyectividad tal que , 0, 1,

= (), (0), (1), (). Componiendo


con una proyectividad conveniente que me reordene (), (0), (1), (), podemos suponer que
() = . Entonces permuta los puntos , 0, 1 y queda determinada por como lo haga. El
grupo de las proyectividades que permutan los puntos , 0, 1, es isomorfo al grupo simetrico de las
permutaciones de tres letras, S
3
. En conclusion,
Curvas elpticas = k 1, 0/S
3
Sea la proyectividad que permuta el con el 0, y deja jo el 1, entonces () =
1

. Sea

la proyectividad que permuta el 1 con el 0 y deja jo , entonces

() = 1 . Se cumple que
S
3
= ,

). Sea j() = 2
8

(
2
+1)
3

2
(1)
2
,
2
se cumple que
k()
S3
= k(j())
2
El factor 2
8
se introduce, a pesar de lo que pueda parecer, para que en caracterstica 2 todo vaya bien
78 Captulo 4. Teora de la dualidad en curvas
pues j() es S
3
-invariante y la inclusion k(j()) k() es de grado 6, porque el divisor de ceros de
j() es de grado 6. Por tanto, P
1
/S
3
= P
1
, P
1
, 0, 1/S
3
= P
1
y el morsmo de paso al
cociente es
P
1
P
1
/S
3
= P
1
j()
Con todo,
Curvas elpticas A
1
y
2
= x(x 1)(x )


j()
Teorema 4.7.23. Sea C una curva elptica sobre un cuerpo algebraicamente cerrado y Pic
0
(C) el
grupo de los divisores de C de grado cero modulo el grupo los divisores principales. Fijemos un punto
cerrado x C. Se cumple que la aplicacion
Puntos cerrados de C Pic
0
(C)
y L
yx
es biyectiva.
Demostracion. Veamos que la aplicaci on es inyectiva: si L
yx
L
y

x
entonces L
yy
O
C
, luego
existe una funcion f
C
tal que D(f) = y

y. Si y

,= y esta funcion dene un isomorsmo


f : C P
1
, contradiccion.
Veamos que la aplicacion es epiyectiva: Sea D un divisor de grado cero. Por Riemann-Roch fuerte
h
0
(C, L
D+x
) = 1, dado que los divisores canonicos tienen grado cero (de hecho w
C
= O
C
). Por tanto,
D +x es linealmente equivalente a un divisor efectivo de grado 1, digamos y, luego D es linealmente
equivalente a y x.
Dado que Pic
0
(C) tiene estructura de grupo abeliano, tenemos que el conjunto de los puntos
cerrados de C tiene estructura de grupo abeliano: y + y

= y

si el divisor (y x) + (y

x) es
linealmente equivalente a y

x, es decir, y + y

x y

= D(f) es un divisor principal. Sabemos


por 4.7.17 que C es isomorfa a una c ubica proyectiva plana, y
2
x (x 1) (x ) = 0, para cierta
k 1, 0. Sea r la ecuacion de la recta que pasa por y e y

, sea x

el tercer punto de corte de la


recta con la c ubica, y sea r

la ecuacion de la recta que pasa por x y x

, sea x

el tercer punto de corte


de la recta r

con la c ubica. Se cumple que D(


r
r

) = y +y

xx

. Por tanto, D(
r
r

f
1
) = y

y
como el genero de C no es cero y

= x

. En conclusion, si denotamos : C C C el morsmo que


asigna a cada pareja (y, y

) el tercer punto de corte de la recta que pasa por y e y

con C, tenemos
que el morsmo
C C C, (y, y

) ((y, y

), x)
en los puntos racionales es la ley de grupo recien denida en C.
4.7.4. Integraci on por funciones elementales (J.A.Navarro)
Denicion 4.7.24. Diremos que un cuerpo K, con una (ley de) derivacion es un cuerpo diferencial.
Denotaremos la ley de derivacion por

. Diremos que a K es una constante si a

= 0. Diremos que
i : K L es una extension diferencial si L es un cuerpo diferencial e i es un morsmo de anillos que
conmuta con las derivaciones.
4.7. Aplicaciones de la teora de dualidad 79
C ser a el cuerpo de constantes de todos los cuerpos diferenciales.
La derivacion logartmica cumple:
(uv)

uv
=
u

u
+
v

v
u

u
=
v

v
v = cu para alguna constante c C
Denicion 4.7.25. Cuando v

= u

/u, diremos que v = lnu es el logaritmo de u, o que u = e


v
es la
exponencial de v.
Diremos que una extension diferencial K L es una extension por funciones elementales si
L = K(u
1
, . . . , u
n
) donde cada funcion u
i
verica una de las siguientes condiciones:
1. u
i
es algebraico sobre K(u
1
, . . . , u
i1
).
2. u
i
es la exponencial de alg un elemento de K(u
1
, . . . , u
i1
).
3. u
i
es el logaritmo de alg un elemento de K(u
1
, . . . , u
i1
).
y diremos que f K es integrable con funciones elementales si existe alguna extension L por funciones
elementales y u L tal que u

= f.
Nota: Las funciones elementales de una variable en sentido clasico son los elementos de las exten-
siones por funciones elementales del cuerpo de funciones racionales C(x), contenidas en el cuerpo de
funciones meromorfas en un abierto del plano complejo (que jugara el papel de un cierre algebraico).
Las funciones trigonometricas (incluso hiperbolicas) y sus inversas son elementales: se expresan con
exponenciales y logaritmos.
En principio, la integracion con funciones elementales en sentido clasico sera un concepto mas
restrictivo (pues no hemos probado que toda extension de C(x) por funciones elementales pueda
sumergirse en un cuerpo de funciones meromorfas); pero el teorema de Liouville mostrara que las
funciones integrables con funciones elementales tambien lo son en el sentido clasico, por lo que ambos
coinciden:
Teorema 4.7.26 (Liouville). Si una funcion f K es integrable con funciones elementales, entonces
existen funciones h, g
1
, . . . , g
n
K y constantes c
1
, . . . , c
n
C tales que
_
fdx = h +c
1
lng
1
+. . . +c
n
lng
n
Demostracion. Si f admite una primitiva elemental en K(u, u
2
, . . . , u
r
), por induccion sobre r y
considerando la extension diferencial
K(u) K(u, u
2
, . . . , u
r
)
podemos suponer que existen q(u), p
1
(u), . . . , p
n
(u) K(u) tales que
f = q(u)

+c
1
p
1
(u)

p
1
(u)
+. . . +c
n
p
n
(u)

p
n
(u)
y hemos de hallar una descomposicion similar en K.
80 Captulo 4. Teora de la dualidad en curvas
Caso algebraico: La derivacion de K se extiende de modo unico a cada extension nita (porque
esta es separable). Luego tal extension es compatible con cualquier morsmo y, por tanto, con trazas
y normas. Ademas tr(p

/p) = N(p)

/N(p):
[K(u) : K] f = tr(f) = (tr q)

+c
1
N(p
1
)

N(p
1
)
+. . . +c
n
N(p
n
)

N(p
n
)
Caso trascendente:
(1) Si u es una exponencial: u

= g

u . En este caso (fu


n
)

= (f

+ng

)u
n
, as que disponemos
de una trazatr(

f
i
u
i
) := f
0
que tambien es compatible con las derivaciones de K y K(u), y se
concluye de igual modo que en el caso algebraico, ya que si v = f
n
u
n
+f
n+1
u
n+1
+. . ., entonces
tr
v

v
= (ng)

+
f

n
f
n
(2) Si u es un logaritmo: u

= g

/g . Descomponiendo las funciones racionales p


i
(u) en factores
irreducibles podemos suponer que son polinomios monicos irreducibles o constantes. Descomponiendo
q(u) en fracciones simples tenemos:
() f =

_
s
j
(u)
q
j
(u)
r
_

+c
1
p
1
(u)

p
1
(u)
+. . . +c
n
p
n
(u)

p
n
(u)
Seg un el lema 4.7.27, la derivada p(u)

de un polinomio es otro polinomio de igual grado, o baja en


una unidad si el coeciente de mayor grado es constante. Luego las fracciones p
i
(u)

/p
i
(u) son simples
y vemos que no hay terminos con r 1 en la descomposicion de q(u), porque
_
s(u)
q(u)
r
_

= r
s(u) q(u)

q(u)
r+1
+. . .
y q(u) no divide a s(u) q(u)

. Es decir, los polinomios p


i
(u) K y q(u) es un polinomio tal que
q(u)

K; luego q(u) = cu + h por el lema, c C, h K, y concluimos que f = h

+ c(g

/g) +
c
1
(p

1
/p
1
) +. . . +c
n
(p

n
/p
n
).
Lema 4.7.27. Si u es trascendente y u

= g K, el grado de p(u)

coincide con el de p(u), salvo que


el primer coeciente sea constante, caso en que el grado baja en una unidad.
Demostracion. (f
0
u
n
+ f
1
u
n1
+ . . .)

= f

0
u
n
+ (nf
0
g + f

1
)u
n1
+ . . . solo baja de grado cuando
f

0
= 0, caso en que 0 = nf
0
g +f

1
= (nf
0
u +f
1
)

contradice el caracter trascendente de u.


Queda por averiguar cuando una funcion elemental satisface la condicion del Teorema de Liou-
ville. Cuando al cuerpo de funciones racionales C(x) se le adjunta una exponencial o un logaritmo
(trascendentes) puede decidirse descomponiendo f en fracciones simples y usando el lema 4.7.27 en
el caso de un logaritmo y el lema 4.7.28 en el de una exponencial:
Lema 4.7.28. Si u es trascendente y u

= gu, g K, entonces la derivada de cualquier monomio


hu
n
,= 0 es un monomio no nulo de igual grado, y la derivada p(u)

de un polinomio solo es m ultiplo


de p(u) cuando este es un monomio.
4.7. Aplicaciones de la teora de dualidad 81
Demostracion. (hu
n
)

= (h

+ nhg)u
n
, y su anulacion implica que hu
n
es constante y contradice el
caracter trascendente de u. Ademas, si n > m y
h

+nhg
h
=
f

+mfg
f
entonces (n m)(u

/u) = (f

/f) (h

/h) vuelve a contradecir el caracter trascendente de u.


Ejemplo 4.7.29. Vamos a estudiar si la integral
_
f(x)e
g(x)
dx es elemental, donde f(x) y g(x) son
funciones racionales. En este caso K := C(x, e
g
), y pondremos u := e
g
, de modo que u

/u = g

. Si
g(x) no es constante, entonces u es trascendente sobre C(x):
u
n
+f
1
(x)u
n1
+. . . +f
n
(x) = 0
(ng

)u
n
+ (f

1
+ (n 1)f
1
g

)u
n1
+. . . +f

n
= 0
ng

= f

n
/f
n
y como f

n
/f
n
es nula o descompone en suma de fracciones con denominadores lineales, concluimos
que g

= 0. ( O bien e
g
es trascendente porque tiene una singularidad esencial en cualquier polo de
g). Ahora, si
fu = q(u)

+c
1
p
1
(u)

p
1
(u)
+. . . +c
n
p
n
(u)

p
n
(u)
descomponiendo q(u) en fracciones simples, el lema 4.7.28 permite obtener que p
i
(u) = u o esta en
C(x), y que q(u) =

iZ
h
i
(x)u
i
. Luego q(u) = z(x)u para alguna funcion racional z(x), y concluimos
que fu = (z

+g

z)u. Es decir, la ecuacion diferencial


z

+g

z = f
tiene alguna solucion racional z(x) C(x). Recprocamente, si z(x) es una de tales soluciones, la
integral
_
fe
g
dx = ze
g
es elemental. La existencia de soluciones racionales de esta ecuacion puede
decidirse descomponiendo en fracciones simples:
_
e
x
2
dx origina la ecuacion z

+2xz = 1, cuya solucion


ha de ser un polinomio, lo que es imposible. Tal integral no es una funcion elemental.
_
x
1
e
x
dx origina
la ecuaci on z

+z = x
1
, que claramente no tiene solucion racional. No es una funcion elemental.
Con el cambio y = e
x
obtenemos que
_
dy
ln y
no es una funcion elemental. Como esta integral se
obtiene al integrar por partes
_
ln(lnx)dx, esta tampoco es una funcion elemental.
Ejercicio 4.7.30.
_
x
1
senxdx no es una funcion elemental.
Veamos ahora el
Caso algebraico: K = C(x, y) donde y es algebraico sobre C(x). Dada una 1-forma diferencial
= f(x, y)dx, consideramos una base r
1
, . . . , r
s
del grupo generado por sus residuos y los divisores
D
1
, . . . , D
s
, donde el coeciente en D
i
de un punto p es el coeciente de r
i
en el residuo de en p.
Si la integral
_
es elemental, entonces los divisores D
1
, . . . , D
s
denen elementos de torsion en
la variedad jacobiana, m
i
D
i
= D(g
i
), y existe una funcion meromorfa h K tal que
= dh +
s

i=1
r
i
m
i
dg
i
g
i
82 Captulo 4. Teora de la dualidad en curvas
En efecto, de acuerdo con el Teorema de Liouville tenemos
= dh +

j
c
j
dh
j
h
j
, c
j
C
y considerando una base r
1
, . . . , r
s
, a
1
, . . . del Q-espacio vectorial que generan los residuos y las
constantes c
j
tendremos:
c
j
=
_

i
m
ij
m
i
r
i
_
+
n
1j
n
1
a
1
+. . .
= dh +

i
r
i
_

j
m
ij
m
i
dh
j
h
j
_
+a
1
_

j
n
1j
n
1
dh
j
h
j
_
+. . .
= dh +

i
r
i
m
i
dg
i
g
i
+
a
1
n
1
dv
1
v
1
+. . .
Considerando el residuo de en cualquier cero de v
1
vemos que estos no existen:
= dh +
s

i=1
r
i
m
i
dg
i
g
i
y al observar que el residuo de (df)/f en un punto p es precisamente el coeciente de p en el divisor
D(f), concluimos que
D
i
=
D(g
i
)
m
i
Nota: Aunque aparentemente este resultado solo sea una condicion necesaria para que una integral
_
sea elemental, realmente es una caracterizacion, y permite averiguar el caracter elemental de
_

(siempre que se sepa decidir cuando un elemento de la jacobiana es de torsion):
Primero se calculan los residuos de y los correspondientes divisores D
i
. Si alguno no es de torsion,
la integral no es elemental. Si todos son de torsion, m
i
D
i
= D(g
i
), consideramos la forma diferencial
=
def

s

i=1
r
i
m
i
dg
i
g
i
y el resultado anterior arma que es exacta precisamente cuando la integral
_
es elemental. Esta
forma diferencial ya tiene residuo nulo en todo punto as que las partes principales de sus polos
pueden integrarse y obtenemos unos desarrollos de Laurent
p
. Podemos decidir si tales desarrollos de
Laurent son los de alguna funcion meromorfa h K (pues tal condicion equivale a que

p
res
p
(
p

i
) =
0 para toda forma diferencial regular
i
). Si no existe tal funcion h, la integral no es elemental. Si
existe, es unica salvo la adicion de una constante, y la integral
_
es elemental si y solo si = dh.
Ejemplo 4.7.31. Si es regular, ya tiene residuo nulo en todo punto. En tal caso = ; luego los
desarrollos de Laurent
p
son identicamente nulos y h = 0. Concluimos que la integral
_
es elemental
si y solo si = 0. Ninguna forma diferencial regular no nula tiene integral elemental.
En particular, las integrales elpticas
_
dx
_
x(x 1)(x c)
, c ,= 0, 1
no son elementales.
4.8. Apendice: Teorema de representabilidad 83
4.8. Apendice: Teorema de representabilidad
Es bien conocido que los funtores representables F = Hom
O
X
(, /) son exactos por la izquierda.
Queremos demostrar el recproco. Para construir el representante / del funtor contravariante
por la izquierda F, vamos a caracterizar los submodulos ^ de /, en terminos de F, para concluir
demostrando que / es el lmite inductivo de los submodulos ^.
Un submodulo de / es un haz coherente ^ y un morsmo : ^ / inyectivo, es decir, un
morsmo que verica que para todo diagrama conmutativo
^

/
^

{
{
{
{
{
{
{
{
si es un epimorsmo, ha de ser un isomorsmo.
Denicion 4.8.1. Dado un funtor contravariante F llamamos pareja a un O
X
-modulo coherente ^ y
un elemento F(^). Llamamos morsmo de parejas (^, ) (^

) a un morsmo : ^ ^

tal que F(): F(^

) F(^) aplica

en . Diremos que (^, ) es una pareja mnima si todo


epimorsmo (^, ) (^

) de parejas es isomorsmo.
Pues bien, las parejas mnimas de un funtor contravariante representable se corresponderan con
los submodulos del representante del funtor.
Lema 4.8.2. Todo morsmo de parejas de una pareja mnima en otra pareja es inyectivo.
Demostracion. Sea : (^, ) (^

) un morsmo de parejas, siendo (^, ) mnima. Sea i : Im


^

la inclusion natural y = F(i)(

). El morsmo de parejas natural (^, ) (Im, ) es un epi-


morsmo de parejas, luego ^ = Im y es inyectivo.
Lema 4.8.3. Sea X un esquema noetheriano, F un funtor contravariante sobre la categora de O
X
-
modulos coherentes y (P, ) una pareja de F. Existe un morsmo de parejas de (P, ) en una mnima.
Demostracion. Si (P, ) es una pareja mnima hemos concluido. Si no, existe un epimorsmo de
parejas (P, ) (P
1
,
1
), que no es isomorsmo. Si (P
1
,
1
) es mnima hemos acabado. Si no, existe
un epimorsmo de parejas (P
1
,
1
) (P
2
,
2
), que no es isomorsmo. Este proceso nitiza, porque
la cadena Ker
1
Ker(
1

2
) ha de ser nita por la noetherianidad de X.
Corolario 4.8.4. Sea X un esquema noetheriano, F un funtor contravariante exacto por la izquierda
y (P, ), (P

) dos parejas de F. Existe un morsmo de parejas de estas dos parejas en una misma
pareja mnima.
Demostracion. Observemos en primer lugar que F, por ser exacto por la izquierda, es aditivo, i.e.,
F(/ /

) = F(/) F(/

): De la sucesion exacta 0 / / /

0 se deduce
la exactitud de la sucesion 0 F(/

) F(/ /

) F(/). Ahora bien, como el morsmo


///

tiene retracto, entonces F(//

) F(/) tiene seccion y con todo F(//

) =
F(/) F(/

).
Por tanto, podemos considerar la pareja (P P

). Por el lema anterior, existe un morsmo


de esta pareja en una pareja mnima. Como tenemos morsmos naturales de (P, ) y (P

) en
(P P

) concluimos el corolario.
84 Captulo 4. Teora de la dualidad en curvas
Lema 4.8.5. Si F es un funtor contravariante exacto por la izquierda, dos morsmos de parejas
u, v : (^

(^, ) en una pareja mnima coinciden.


Demostracion. Consideremos el con ucleo de los dos morsmos u, v, es decir sea Coker(u v) y de-
notemos por : ^ Coker(u v) el morsmo de paso al cociente.
Como u, v son morsmos de parejas se verica que F(u)() = F(v)() =

. Como F es un
funtor exacto por la izquierda, existe un F(Coker(u v)) de modo que F()() = . Por tanto
: (^, ) (Coker(u v), ) es un epimorsmo de parejas que ha de ser isomorsmo porque (^, )
es mnima. Luego u = v.
Teorema 4.8.6 (de representabilidad). Sea X un esquema noetheriano. La condicion necesaria y
suciente para que un funtor contravariante, sobre la categora de O
X
-modulos coherentes, sea repre-
sentable por un haz cuasicoherente es que sea exacto por la izquierda.
Demostracion. La necesidad es bien conocida. Probemos que un funtor F contravariante y exacto por
la izquierda es representable.
Por 4.8.3, 4.8.4 y 4.8.5, podemos denir el lmite inductivo de las parejas mnimas, denotemoslo
por R. Veamos que F = Hom(, R):
Si / es un modulo coherente se dene : F(/) Hom(/, R) as: Dado F(/), por el
lema 4.8.3 existe un morsmo u: (/, ) (^, ) en una pareja mnima. Sea i : ^ R el morsmo
natural de ^ en el lmite inductivo. Denimos (): / R, por () = i u. Es facil comprobar
que esta bien denido y es funtorial en /.
Si / es un modulo coherente se dene : Hom(/, R) F(/) as: Dado Hom(/, R),
factoriza a traves de un morsmo : /(^, ) en una pareja mnima. Se dene () = F()().
Es facil comprobar que esta bien denido y es funtorial en /.
Comprobando que y son la identidad sobre sus respectivos dominios se concluye.
4.9. Problemas
Supondremos siempre que el cuerpo base es algebraicamente cerrado y que las curvas consideradas
son completas no singulares, salvo mencion expresa contraria.
1. Sea k de caracterstica cero. Sea C una curva proyectiva plana no singular de grado n. Probar
que el n umero de tangentes que se pueden trazar desde un punto p / C del plano proyectivo
a la curva es 2n + 2g 2, siendo n el grado de la curva y g el genero de la curva. Calcular el
n umero de tangentes que se pueden trazar desde un punto p C.
2. En el ejercicio anterior admitamos que C tenga puntos singulares de multiplicidad 2 que desin-
gularizan con la primera explosion. Entonces el n umero de tangentes es 2n+2g 2 K, siendo
K el n umero de c uspides de C.
3. Sea C P
2
una curva proyectiva plana no singular de grado d, sobre un cuerpo algebraicamente
cerrado de caracterstica cero. Para cada punto x C, sea T
x
C la recta tangente a C en x.
Consideremos T
p
C como un punto del plano proyectivo dual P

2
. El morsmo : C P

2
,
(x) = T
x
C, dene un morsmo de C en su curva dual C

. Calcular el grado de C

. Calcular
el n umero de puntos de inexion de C, considerese para ello el morsmo C R, x T
x
C R,
donde R es cualquier recta de P
2
.
4.9. Problemas 85
4. Sea : C C

un revestimiento de Galois entre curvas, sobre un cuerpo de caracterstica cero.


Sea G el grupo de Galois de y n = #G. Sean p
1
, . . . , p
s
un conjunto maximal de puntos de
ramicacion de C cuyas imagenes por sean distintas. Sean r
i
= e
pi
los ndices de ramicacion
de los p
i
. Probar que
2g 2
n
= 2g
C
2 +
s

i=1
(1
1
r
i
)
Probar que si g
C
2 el valor mnimo de 2g
C
2+
s

i=1
(1
1
ri
) es
1
42
y concluir que n 84(g
C
1).
Probar que el orden del grupo de automorsmos de una curva de genero g mayor o igual que
dos es menor igual que 84(g
C
1).
5. Probar que la condicion necesaria y suciente para que una curva tenga estructura de grupo es
que sea de genero 1.
6. Sea k un cuerpo algebraicamente cerrado de caracterstica cero. Sea C una c ubica proyectiva
plana no singular. Probar que cada par de puntos de C es un par de los tres puntos de contacto
de cuatro conicas tritangentes a C.
7. Sea C una conica irreducible del plano proyectivo. Probar que todo automorsmo de C levanta
a un automorsmo del plano proyectivo.
8. Probar que la inclusion de una curva no singular plana proyectiva de grado 4 en el plano
proyectivo es la inmersion canonica.
9. Sea C la curva hiperelptica birracional a y
2
=
2g+1

i
(x
i
). Probar que (C,
C/k
) =
g1

i=0

i
x
i
dx
y
.
Expresar en coordenadas el morsmo canonico de C.
10. Sea C una c ubica proyectiva plana. Probar que desde un punto p (que no sea de inexion) de
la c ubica se pueden trazar cuatro tangentes. Demostrar que la conica que pasa por los cuatro
puntos de tangencia y p, es tangente a la c ubica en p.
11. Sea C una curva completa no singular sobre un cuerpo algebraicamente cerrado de caracterstica
cero. Probar que si existe una funcion f
C
, de modo que f y df solo tienen unico polo y un
unico cero en lo mismos puntos, entonces C = P
1
.
12. Sea C una curva de genero g y x C. Probar que existen exactamente g n umeros naturales
0 n
1
< . . . < n
g
< 2g de modo que no existe una funcion meromorfa con un unico polo,
de orden n
i
en x. Se dice que x es de Weierstrass si y solo si n
g
,= g. Demostrar que x es de
Weierstrass si y solo si existe una diferencial holomorfa con un cero de orden g en x.
13. Probar que toda curva se puede meter como una curva cerrada en un espacio proyectivo P
3
.
14. Sea C una c ubica alabeada de P
3
. Sea C

otra curva y : C C

un morsmo de grado 3.
Demostrar que cada bra de es la interseccion de C son cada uno de los planos de un haz de
planos.
15. Sea C una curva plana de ecuacion x
4
+y
4
1 = 0. Demostrar que 4 puntos de la curva son el
divisor de ceros de una diferencial holomorfa si y solo si estan alineados. (car k ,= 2).
86 Captulo 4. Teora de la dualidad en curvas
16. Sea C la desingularizacion de y
5
+ 3x
4
y + x
2
+ xy = 0. Dados 4 puntos arbitrarios de la curva
existe una diferencial holomorfa que tiene ceros en esos cuatro puntos. Existe una diferencial
holomorfa con ceros en 8 puntos si y solo si los 8 puntos yacen en una conica que pasa por el
origen.
17. Toda cuartica de genero 1 en P
3
es interseccion de dos cuadricas.

Indice alfabetico
Anillo ntegramente cerrado, 20
Anillo normal, 20
Cierre entero, 20
Curva, 18
Curvas elpticas, 74
Curvas hiperelpticas, 74
Datos de construccion, 25, 26
Datos de construccion efectivos, 25, 27
Dimension de un esquema, 18
Divisores canonicos, 65
Divisores de una curva, 38
Equivalencia lineal de divisores, 39
Espacio etale, 11
Espacio anillado, 13
Espacio anillado en anillos locales, 13
Esquema, 16
Esquema irreducible, 16
Esquema reducido, 16
Fibra de un prehaz, 9
Genero aritmetico de una curva, 64
Genero geometrico de una curva, 64
Germenes de secciones, 9
Grado de un divisor, 38
Grupo de Picard, 41
Grupos de cohomologa de un haz, 49
Haz, 10
Haz acclico, 51
Haz de diferenciales relativas, 68
Haz de lnea, 39
Haz de localizaciones homogeneas, 17
Haz de morsmos de haces, 31
Haz dualizante de una curva, 64
Haz asgo, 50
Imagen directa de haces, 12
Morsmo afn, 23
Morsmo birracional, 23
Morsmo de espacios anillados, 13
Morsmo de espacios anillados en anillos locales,
13
Morsmo de esquemas, 16
Morsmo de prehaces, 9
Morsmo nito, 23
Parte de torsion de un haz cuasicoherente, 62
Prehaz, 7
Prehaz de modulos, 8
Producto tensorial de haces de modulos, 32
Rango de un modulo coherente, 62
Resolucion de Godement, 49
Revestimiento no ramicado, 71
Soporte de un divisor, 38
Soporte de un haz, 53
Teorema de De Rham, 52
Teorema de Pappus, 45
Teorema de Pascal, 45
Variedad algebraica, 18
Variedad completa, 21
Variedad de Riemann, 22
Variedades proyectivas, 18
87

Potrebbero piacerti anche