Notas de Geometra Algebraica

curso impartido por el Prof.Enrique Arrondo

escritas por Simone Marchesi
Universit degli Studi di Milano - simone.marchesi@unimi.it
Universidad Complutense de Madrid - smarches@mat.ucm.es
Estas notas estn basadas en el curso de Geometra Algebraica impartido por el Profesor
Enrique Arrondo Esteban en el ao acadmico 2009/2010. La principal referencia est dada
por los primeros tres captulos del libro Algebraic Geometry de Robin Hartshorne.
Preliminares
Vamos a ver las nociones y los fundamentos que necesitaremos por el estudio de este
curso.
Denicin 1 Se llama conjunto projectivo a un subconjunto X P
n
K
denido por polino-
mios (homogneos) en K[x
0
, . . . , x
n
].
Nuestro objetivo ser denir variedades abstractas y estudiar sus posibles inmersiones como
conjuntos proyectivos. Para hacer esto usaremos una estructura mas general: el esquema.
Vamos a denir una topologa que nos guste. Consideramos
X x
i
,= 0 , donde U
i
= x
i
,= 0 A
n
K
nos da una inmersin cannica
A
n
K
P
n
K
(x
0
, . . . , x
i1
, x
i+1
, . . . , x
n
) (x
0
: . . . : x
i1
: 1 : x
i+1
: . . . : x
n
)
_
x
0
x
i
, . . . ,
x
i1
x
i
,
x
i+1
x
i
, . . . ,
x
n
x
i
_
(x
0
: . . . : x
i
..
,=0
: . . . : x
n
)
Podemos observar que la interseccin X U
i
A
n
K
est denida por polinomios (deshomo-
genezados de los polinomios que denen X).
Denicin 2 Se llama conjunto afn a un subconjunto de A
n
K
denido por polinomios.
Como se dene dicho conjunto?
Cogemos un S K[x
1
, . . . , x
n
] y denotamos
V (S) = p A
n
K
[ f(p) = 0 f S CONJUNTO AFN
Sea I el ideal generado por S, entonces
V (S) = V (I)
()
= V ( f
1
, . . . , f
s

. .
generadores de I
)
1
donde () es posible porque I K[x
1
, . . . , x
n
] es un anillo noetheriano.
Por lo que hemos dicho tenemos la siguiente biyeccin
ideales de K[x
1
, . . . , x
n
]
V

conjuntos anes de A
n
K

I

V (I) = p A
n
K
[ f(p) = 0 f I
I(X) = f K[x
1
, . . . , x
n
] [ f(p) = 0 p X
X

2
Propiedades:
1) V (I(X)) = X
2) I(V (I)) =

I (teorema de los ceros de Hilbert con K algebraicamente cerrado) ( entonces

V, I dene una biyeccin entre {ideales radicales de K[x
1
, . . . , x
n
]} y {conjuntos anes
de A
n
K
})
3) = V (K[x
1
, . . . , x
n
]) , A
n
K
= V (0),
V (I
1
) V (I
2
) = V (I
1
I
2
) = V (I
1
I
2
),

i
V (I
i
) = V (

i
I
i
)
Denicin 3 Se llama topologa de Zarinski en A
n
K
la topologa cuyos cerrados son los con-
juntos anes.
Observamos que la construccin es mas o menos la misma por el proyectivo.
Los conjuntos D(f) = A
n
K
V (f), con f K[x
1
, . . . , x
n
], forman una base de la topologa de
Zarinski.
Vale la siguiente equivalencia
p U A
n
K
, con U = A
n
K
V (I), que signica p , V (I) f I t.q. f(p) ,= 0
= p D(f) U.
Esto nos permite de construir una aplicacin, que signica el pasaje a una dimensin mas
grande
D(f)
i
A
n+1
K
(x
1
, . . . , x
n
)
_
x
1
, . . . , x
n
,
1
f(x
1
,...,xn)
_
donde
Imi =
_
(x
1
, . . . , x
n+1
) A
n+1
K
[ x
n+1
f(x
1
, . . . , x
n
) 1 = 0
_
.
Seguimos con la propiedades
4) I() = K[x
1
, . . . , x
n
] (tiene que ser algebraicamente cerrado?)
I(A
n
K
) = 0 si K en un cuerpo innito
I(X
1
X
2
) = I(X
1
) I(X
2
)
I(X
1
X
2
) I(X
1
) +I(X
2
) no tiene porque ser igual
3
Figura 1:
Ejemplo
X
1
= V (y) X
2
= V (y x
2
)
I(X
1
) = (y) I(X
2
) = (y x
2
)
I(X
1
X
2
) = (x, y) ,= (x
2
, y) = I(X
1
) +I(X
2
)
Podemos observar que
f I(X
1
, X
2
) f(0, 0) = 0
f no tiene trmino independiente.
y tambin
f I(X
1
) +I(X
2
) f no tiene trmino independiente ni trmino linealenx,
f = ay +bx
2
+cxy +dy
2
+. . .
En el caso que f I(X
1
) + I(X
2
), V (f) es una curva que pasa por el punto (0, 0) con
tangente y = 0. El ideal tiene la informacin del punto y de la tangente.
Vamos a dar una estructura que conserve todas la informaciones, y vamos a construir tal
estructura.
Queremos denir la nocin de funcin regular sobre un conjunto afn X A
n
K
. Vamos a dar
dos deniciones distintas y luego comprobaremos que las dos son equivalentes.
Denicin 4 i) : X K como aplicacin denida por un polinomio
ii) : X K aplicacin tal que p X, U abierto y f, g K[x
1
, . . . , x
n
] de forma que
g no se anule en ningn punto de X U y
(q) =
f(q)
g(q)
q X U.
4
Demostracin que las dos opciones son equivalentes:
i) ii) es trivial,
ii) i)
p D(h) abierto, con p D(h), y f, g tal que (q) =
f(q)
g(q)
q XD(h). Observamos
que p D(g) por denicin de funcin regular (la segunda). Entonces se puede escribir
(q) =
f(q)
g(q)
=
f(q)h(q)
g(q)h(q)
= p D(gh).
Quiero decir que puedo escribir X =

i
X D(g
i
) (signica que puedo elegir los
abiertos en funcin de las representaciones de la funcin regular). Tenemos entonces

[XD(g
i
)
=
f
i
g
i
g
i
= f
i
en X D(g
i
),
donde las rayas arriba de f y g signica que estoy considerando la APLICACIN
denida por el polinomio.
Tenemos que
V
_
I(X) +

i
(g
i
)
_
= X V (g
i
) =
que signica
1 K[x
1
, . . . , x
n
] = I () =
_
I(X) +

(g
i
)
observamos que si el 1 pertenece al radical de un ideal, entonces pertenece al ideal,
porque las potencias del 1 son el 1 mismo, entonces
1 I(X) +

(g
i
) 1 = h
..
I(X)
+

h
i
g
i
. .

,
donde el signica que en la topologa que he construido cualquier cosa es compacta.
Tenemos que = h
..
=0
+

h
i
g
i
=

h
i
g
i
esta denido por un polinomio.
Explicamos la notacin
K[x
1
, . . . , x
n
]

: X K
f

f
donde Ker = f K[x
1
, . . . , x
n
] [ p X, f(p) = 0.
En esta manera podemos denir
O(X) = funciones regulares X K
K[x
1
, . . . , x
n
]
I(X)
5
Tenemos, para cada p = (a
1
, . . . , a
n
) X, que
(x
1
a
1
, . . . , x
n
a
n
) = I(p) I(X) (1)
y siendo K algebraicamente cerrado, el teorema de los ceros de Hilbert nos dice que todos los
ideales maximales son de la forma (1), los que corresponden a un punto, entonces podemod
obervar que
I(p)
I(X)
es un ideal maximal de O(X)
y tenemos una biyeccin
ideales maximales de O(X) X.
Hemos llegado a la idea intuitiva de esquema afn: tomamos como objeto X y como O(X)
algn K[x
1
, . . . , x
n
] cociente un I tal que I = V (X), i.e. O(X) =
K[x
1
,...,xn]
I
.
Volvemos al ejemplo de antes:
X = (0, 0) O(X) =
K[x, y]
(x
2
, y)
,
esquema con soporte el punto (0, 0) que corresponde al punto con direccin tangente hori-
zontal.
Denicin 5 (intuitiva) ESQUEMA AFN es lo mismo que dar I K[x
1
, . . . , x
n
], y
X = V (I) soporte del esquema
K[x
1
, . . . , x
n
]
I
funciones regulares del esquema.
Con la teora de esquemas TODO FUNCIONA:
si tengo dos esquemas I
1
, I
2
Unin I
1
I
2
Interseccin I
1
+I
2
6
no necesitamos mas el radical, esta bien as.
Volvemos siempre al ejemplo de antes
Esquema X
1
K[x, y]
I(X
1
)
I(X
1
) = (y)
Esquema X
2
K[x, y]
I(X
2
)
I(X
2
) = (y x
2
)
Esquema X
1
X
2
K[x, y]
I(X
1
) I(X
2
)
=
K[x, y]
(y(y x
2
))
=
K[x, y]
I(X
1
X
2
)
Esquema X
1
X
2
K[x, y]
(x
2
, y)
K
2
KKx
no es un conjunto afn
podemos observar que en el caso de variedades algebraicas, nos haba quedado solo el ideal
radical relativo al punto de interseccin, que nos hubiera hecho perder informaciones, i.e.
K[x,y]
(x,y)
K en vez que K
2
, perdiendo un parmetro.
Hablando en esquemas, denir una funcin regular X
1
X
2
, signica denir una funcin
regular en la recta, una funcin regular en la parbola y dejar que coincidan en el punto de
interseccin, algebraicamente todo esto esta denido por la siguiente sucesin exacta
0

K[x, y]
I
1
I
2

K[x, y]
I
1

K[x, y]
I
2

K[x, y]
I
1
+I
2

0
f

_
f, f
_
_
g, h
_

g h
Construccin y Propiedades Bsicas de los Esquemas
Denicin 6 Dado un anillo A se llama ESPECTRO de A el conjunto
Spec A = ideales primos de A .
Consideramos A =
K[x
1
, . . . , x
n
]
I(X)
, obtenemos la siguiente biyeccin
Primos de A Primos de K[x
1
, . . . , x
n
] que contienen a I(X)
()
conjuntos irreducibles de X ,
7
donde (*) esta justicado del hecho que Y = Y
1
Y
2
Y = Y
1
o Y = Y
2
. Al nal tenemos
la bijecciones
Ideales radicales de K[x
1
, . . . , x
n
] Conjuntos anes de A
n
K

Propriedades :
Y es irreducible I(Y ) es primo.
Sea K arbitrario, si tengo M K[x
1
, . . . , x
n
] maximal, entonces por el Teorema de los
Ceros K
K[x
1
, . . . , x
n
]
M
extensin algebraica nita del cuerpo. En caso que K = K
entonces la inclusin es un isomorsmo y tengo una igualdad y tengo adems que
M= (x
1
a
1
, . . . , x
n
a
n
).
Por ejemplo si K = 1 podemos tener
1.
1[x
1
, . . . , x
n
]
M
1 M= (x
1
a
1
, . . . , x
n
a
n
)
2.
1[x
1
, . . . , x
n
]
M
C M corresponde a dos puntos imaginarios conjugados.
Sea A = K[x
1
, . . . , x
n
] y K es algebraicamente cerrado, cogemos f A un polinomio
visto como funcin, entonces
M Spec Amaximal M= (x
1
a
1
, . . . , x
n
a
n
) a = (a
1
, . . . , a
n
), f(a) = 0 f M
Denicin 7 Dado un ideal I A, entonces
V (I) = p Spec A [ f p f I
= p Spec A [ I p
y al revs
Denicin 8 Dado un subconjunto X Spec A, entonces puedo denir
I(X) = f A [ f p p X
=

pX
p
8
Entonces un conjunto afn ser un conjunto de la forma X = V (I).
Hemos construido entonces nuevas relaciones 1:1 de esta forma
conjuntos anes de Spec A
I

ideales radicales de A
V

p Spec A [ I p = V (I)
I

X

I(X) =

pX
p
Si X es afn, entonces V (I(X)) = X.
Si I es un ideal arbitrario I(V (I)) =

pV (I)
p =

Ip
p =

I, que signica que el Teorema

de los Ceros de Hilbert lo tengo gratis.
Propiedades:
1. = V (A), Spec A = V (0),
2. V (I
1
) V (I
2
) = V (I
1
I
2
) = V (I
1
I
2
),
3. V (I
1
) V (I
s
) = V (

I
i
)
Tenemos entonces una Topologa de Zarinski, cuya base puede ser dada por D(f) [ f A,
donde D(f) = p Spec A [ p , f.
Una observacin: en este caso tenemos que I(Spec A) = IV (0) =

0 = N ideal nilradical,
no es cierto que sea el ideal (0), de todas formas vamos a obtener
K[x
1
, . . . , x
n
]
I
su nilradical es cero

I = I.
Estamos buscando O(Spec(A)) = A, que signica que estamos buscando unas buenas fun-
ciones regulares.
Observacin: D(f) = p [ p , f Spec(A
f
), donde A
f
=
_
g
f
n
[ g A, n 0
_
= S
1
A y
S = f
n
[ n 0 es un conjunto multiplicativo, podemos observar que hace falta que f , ^.
Si hay X A
n
K
, una funcin : X K, entonces f es regular en p X si U X con p U,
y f, g
K[x
1
, . . . , x
n
]
I(X)
tal que (q) =
f(q)
g(q)
q U, por supuesto con g(q) ,= 0q U, ademas
9
podemos observar g(p) ,= 0 g , M
p
con M
p
=
(x
1
a
1
, . . . , x
n
a
n
)
I(X)
y P = (a
1
, . . . , a
n
).
Dicho de otra forma
f
g

_
K[x
1
, . . . , x
n
]
I(X)
_
Mp
() localizado en el ideal maximal.
Nos acordamos de lo que signica germen de funcin.
(U, ) (U
t
,
t
) V U U
t
, con p V, t.q.
[V
=
t
[V
Los germenes de
(U, )

es exactamente (*).
Denicin 9 Dado U Spec A se llama funcin regular sobre U a una funcin
s : U
_
pU
A
p
tal que
i) s(p) A
p
,
ii) p U, U
t
U, con U
t
p y f, g A t.q q U
t
, s(q) =
f
g
. Tengo que pensar que
g , q q D(g).
Parntesis. Recordamos la asociacin
A
n
K
P = (a
1
, . . . , a
n
) M
p
= (x
1
a
1
, . . . , x
n
a
n
)
y tenemos una aplicacin
f K[x
1
, . . . , x
n
]
K[x
1
, . . . , x
n
]
M
p
K
= (x
1
a
1
)q
1
+. . . + (x
n
a
n
)q
n
+c f f(p)
con f(p) = c.
Observamos que
K[x
1
, . . . , x
n
]
Mp
M
p
(Mp)
K.
Fin parntesis.
Podemos considerar que el valor de s en p U es la clase de s(p) en
A
p
pA
p
= K(p).
Denicin 10 Un germen de funcin regular en un punto p Spec A esta dado constru-
yendo la siguiente relacin de equivalencia. Cogemos U, U
t
p y s O(U), s
t
O(U
t
)
(U, s) (U
t
, s
t
) V U U
t
, con p V, t.q. s
[V
= s
t
[V
.
Un germen es una clase de equivalencia por el par (U, s).
O
p
= {germenes de funciones regulares} A
p
.
10
Ahora estamos cuasi listos para denir lo que es un esquema afn.
Parntesis.
Denicin 11 Dado un espacio topologico X, un haz T (de anillos, de grupos,. . . ) es una
asignacin
abiertos de X anillos (en general la categora que sea)
U T(U)
(nosotros para cada abierto daremos el conjunto de funciones regulares), con las condiciones
i) T() = 0
ii) Si V U homomorsmos de restriccin
UV
: T(U) T(V ) tales que
a)
UU
= id
b) si W V U entonces
UW
=
V W

UV
c) si tengo un recubrimiento de U =

U
i
entonces
si
UU
i
(s) = 0 i s = 0,
dados s
i
T(U
i
) tales que
U
i
U
j
(s
i
) =
U
i
U
j
(s
j
) s T(U) tal que

UU
i
(s) = s
i
i
Fin Parntesis.
O
Spec A
: U O
X
(U) = O
Spec A
(U) es un haz de anillos sobre Spec A.
Denicin 12 Se llama esquema afn a SpecA junto con su haz O
Spec A
, que se va llamar
haz de estructura del espectro.
Propriedades:
i) O(Spec A) = A,
ii) O(D(f)) = A
f
tenemos que pedir que f , N,
11
iii) Germenes de funciones regulares en p = A
p
anillo local.
En un haz (U, s) (U
t
, s
t
) V U U
t
t.q.
UV
=
t
U

V
, y as podemos denir el stalk
(espiga) del haz en el punto p como T
p
=
(U, s)

.
Denicin 13 Se llama esquema a un espacio topologico X, con un haz O
X
(haz de
estructura) tal que cada espiga es un anillo local y existe un recubrimiento X =

U
i
por
abiertos de forma que (U
i
, O
U
i
) es un esquema afn.
Empezamos a estudiar esquemas anes. Estudiamos los puntos p Spec A, que son to-
dos los ideales primos. Nos preguntamos en cuales cerrados estn contenidos los puntos p.
Observamos que p V (I) = p Spec A [ p I p I, entonces ocurre que

V (I)p
V (I) =

pI
V (I)
()
= V (p) = p
t
Spec A [ p
t
p ,
donde () esta dada por el hecho que p I V (p) V (I).
Estamos diciendo que si cogemos
p = V (p) = p
t
[ p
t
p
y el SIGNIFICADO es que p es cerrado p es maximal.
Ejemplo. Sea A = K[x, y] y p = (y x
2
). El germen de una funcin regular en el punto p
partenece a
A
p

f(x, y)
g(x, y)
con la condicin g , p V (p) , V (g)
el signicado es que el denominador g no se anula en el genrico punto de la parbola, pero
se puede anular en otros puntos.
Denicin 14 Al punto p se llama punto genrico del conjunto afn V (p).
Observamos que si X es un esquema irreducible ( si X = X
1
X
2
cerrados X = X
1
o
X = X
2
) entonces dos abiertos cualquiera se cortan, porque si X U, V entonces vale que
U V = (XU)
. .
cerrado
(XV )
. .
cerrado
= X U o V es vacio.
Ejemplo P
5
= cnicas de P
2
cnicas non singulares porque visto por la matriz de
los coecientes det H ,= 0 que es una condicin abierta.
Terminologa Se llama punto general en un esquema irreducible X a un punto que varia
en un abierto de X, como hemos visto la cnica general de P
2
es lisa.
12
Ahora vamos a denir lo que es un morsmo de esquemas (X, O
X
)
f
(Y, O
Y
) con
f : X Y aplicacin continua. La aplicacin es continua entonces V Y abierto
U = f
1
(V ) X es un abierto tambin. Tenemos entonces O
X
(f
1
(V ))
f
U
O
Y
(V ) un
homomorsmo de anillos, compatible con las restricciones, porque si tengo V
t
V
O
X
(f
1
(V ))

O
Y
(V )

f
U

O
X
(f
1
(V
t
)) O
Y
(V
t
)

el diagrama conmuta.
En otras palabras tengo un morsmo de haces f

O
X
O
Y
.
Parntesis
En general si f : X Y aplicacin continua y T un haz sobre X se llama f

T el haz sobre
Y
V


T (f
1
(V ))

V V
=
f
1
(V )f
1
(V

V
t

T (f
1
(V
t
))
Dado Y un espacio topolgico u T
t
, T
tt
dos haces sobre Y un morsmo de haces consiste
en el dar V Y una aplicacin T
t
(V ) T
tt
(V ) tal que, para cada abierto V
t
V el
siguiente diagrama conmuta
T
t
(V )

V V

T
tt
(V )

V V

T
t
(V
t
)

T
tt
(V
t
)
Fin parntesis
Ahora vamos a ver (X, O
X
) (Y, O
Y
) morsmo de esquemas. Y tiene una base de abiertos
anes, y si V Y es un abierto afn, voy a coger f
1
(V ) V . De todas formas f
1
(V )
puede no ser afn, pero tambin X tiene un recubrimiento afn y entonces puedo restringirme
a los abiertos anes que recubren f
1
(V ).
Por lo que hemos dicho es bastante estudiar los mormos de esquemas
Spec B

Spec A
B A

13
donde Spec A y Spec B son esquemas anes, A, B son dos anillos que representan respecti-
vamente las secciones globales de Spec A y Spec B.
Este signica que es equivalente a dar un morsmo de esquemas un morsmo de anillos.
Ejemplo Si tenemos
Spec(A) V (I) = p [ p I
1:1
Spec
_
A
I
_
un cerrado de Spec A se puede ver como un Spec
_
A
I
_
.
Tengo de hecho la proyeccin canonica : A
A
I
y este morsmo de anillos dene un
morsmo de esquemas Spec
_
A
I
_
Spec A, que tiene como imagen V (I).
Denicin 15 Una inmersin cerrada es un morsmo de esquemas de Y X que local-
mente (hecho por los recubrimientos abiertos de antes) es de la forma Spec B Spec A,
con A B supreyectivo . El signicado es que la aplicacin es inyectiva y la imagen es un
cerrado.
Tenemos un p Spec A el cerrado es V (p) = Spec
_
A
p
_
que corresponde a la proyeccin
A
A
p
. Tenemos el siguiente diagrama
A

A
p

G
G
G
G
G
G
G
G
G
G
G
G
A
p

8
8
8
8
8
8
8
8
8
cfr
A
p
=
_
A
p
_
p
p
A
p
pA
p

K(p)

w
w
w
w
w
w
w
w
w
w
w
donde K(p) es el cuerpo en el punto.
Tengo una aplicacin A K(p) y ademas Spec K(p) Spec A que corresponde a la inclusin
de p como punto.
Si X es un esquema arbitrario y tengo x X deno K(x) localmente
p Spec A x Spec A
. .
abierto
X Spec(K(x)) = Spec(K(p)) Spec A X
14
.
Ejemplo: A
n
K
= Spec (K[x
1
, . . . , x
n
]) esquema afn.
En particular A
1
K
= Spec(K[x]) queremos A
1
K
A
1
K
= A
2
K
= Spec K[x, y]. Cuidado, la to-
pologa dada por el producto cartesiano no es la misma topologa de Zarinski que tenemos
en A
2
K
porque en la primera tengo los punto, las rectas verticales, las rectas horizontales y
todo el plano, que son los punto y el ideal (0) que es el punto genrico (toda la recta). En la
segunda tengo mucho mas cerrados.
Denicin 16 Se llama esquema sobre S (donde S es otro esquema) a un esquema X con
un morsmo de esquemas X S. Si S = Spec A diremos que X es un esquema sobre A.
Ejemplo. Si X = Spec
K[x
1
, . . . , x
n
]
I
, como tenemos que K
K[x
1
, . . . , x
n
]
I
, tenemos
tambin que X Spec K y X es un esquema sobre K.
Observamos que todo esquema es un esquema sobre Z. Dado cualquier anillo A existe un
nico homomorsmo Z A, con 1 1
A
, que nos da el morsmo correspondiente X
Spec Z.
Denicin 17 Dados X, Y dos esquemas sobre S, el producto XY sobre S es un esquema,
que denotaremos con X
S
Y , que tiene dos proyecciones tale que el siguiente diagrama
conmute
X
S
Y

H
H
H
H
H
H
H
H
H
.u
u
u
u
u
u
u
u
u
X
p

I
I
I
I
I
I
I
I
I
I
Y
q
.u
u
u
u
u
u
u
u
u
u
S
y tambin una propiedad universal, i.e. con la condicin que Z esquema con morsmos tal
que el siguiente diagrama conmuta
Z

@
@
@
@
@
@
@
.~
~
~
~
~
~
~
X

@
@
@
@
@
@
@
@
Y
~
~
~
~
~
~
~
S
15
entonces existe unico Z X
S
Y tal que el siguiente diagrama conmute
Z

X
S
Y

H
H
H
H
H
H
H
H
H
.u
u
u
u
u
u
u
u
u
X
p

I
I
I
I
I
I
I
I
I
I
Y
q
.u
u
u
u
u
u
u
u
u
u
S
En la categora de conjuntos tenemos que X
S
Y = (x, y) [ p(x) = q(y). Observamos que
si S es un punto ya hemos terminado.
Por la propiedad universal, si existe es nico, entonces tenemos que comprobar solo la exis-
tencia de X
S
Y , nos preguntamos que sera Spec A
Spec C
Spec B. Consideramos
D
A
C
B

v
v
v
v
v
v
v
v
v
f

B
g

H
H
H
H
H
H
H
H
H
C

u
u
u
u
u
u
u
u
u
u
I
I
I
I
I
I
I
I
I
I
donde
f(a)g(b)
a 1 a b

1 b
a

z
z
z
z
z
z
z
z
z
f

b
g

D
D
D
D
D
D
D
D
D
tenemos entonces que Spec A
Spec C
Spec B = Spec (A
C
B).
Con esquemas arbitrarios se pega todo poquito a poquito.
En el ejemplo de antes tenemos
A
1
K
..
Spec K[x]
A
1
K
..
Spec K[y]
= Spec(K[x] K[y]
. .
K[x,y]
) = A
2
K
.
16
Consideramos lo que hemos llamado producto brado
X
S
Y

Y

S
tenerlo signica que X es un S-esquema.
Que es un cambio de base? Denimos como esto ocurre en un S-esquema:
Dado un morsmo S
t
S se dene
X
t
= X
S
S
t

S
t
S
y se construye un S
t
-esquema X
t
.
Ejemplos 1) Sea X un esquema afn sobre 1, signica que X = Spec
R[x
1
,...,xn]
I
donde
I = (f
1
, . . . , f
n
).
Los reales no son buenos para nada, vamos a complexicar.
C[x
1
, . . . , x
n
]
I
=
1[x
1
, . . . , x
n
]
I

R
C
1[x
1
, . . . , x
n
]
I

obteniendo
Spec
C[x
1
, . . . , x
n
]
I
= X
t

Spec C

Spec 1
2)
Spec
Z
p
[x
1
, . . . , x
n
]
_
f
1
, . . . , f
m
_ = X
t

Spec Z[x
1
, . . . , x
n
]
(f
1
, . . . , f
m
)

p = Spec Z
p

Spec Z
observamos que en la restriccin en un punto tengo solo el primo p, porque para cada p primo
Z Z
p
tengo el cociente que induce el diagrama visto ahora, y las f
i
son los f
i
modulo p.
En general si X es un esquema sobre 1, X
t
= X
Spec R
Spec C es el complexicado de X, y
17
si X es un esquema sobre Z. Al nal, X
t
= X
Spec Z
Spec Z
p
es la relacin modulo p de X.
3) Dados X, Y espacios y X
f
Y un morsmo de esquemas, consideramos para cada y Y
el diagrama
X
t
= X
Y
Spec (K(y))

y = Spec K(y)

Y
X
t
se llama FIBRA de f en el punto y.
4)Consideramos Spec
K[x, y, t]
(x
2
ty)
, tenemos una aplicacin K[t]
K[x, y, t]
(x
2
ty)
, entonces puedo
construir un diagrama conmutativo
() = Spec
K[x, y, t]
(x
2
ty, t t
0
)

Spec
K[x, y, t]
(x
2
ty)

Spec
K[t]
(t t
0
)

Spec K[t] = A
1
K
donde () es lo que representa la bra, y ademas tenemos que
Spec
K[x, y, t]
(x
2
ty)
= V (x
2
ty) = (x, y, t) [ x
2
ty = 0

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
A
3
K
= A
2
K
A
1
K
.t
t
t
t
t
t
t
t
t
t
t
t
t
A
1
K
En el caso t
0
= 0, la bra es Spec
K[x, y]
x
2
que es una recta doble, si t
0
,= 0 tenemos una
cnica irreducible.
Vamos a ver cual es la bra para el punto (0), el punto genrico. Signica considerar la bra
sobre el cuerpo de fracciones de
K[t]
(0)
que es K(t). Observamos que tenemos un morsmo
Spec K(t) Spec K[t] y entonces tenemos tambin
() = Spec
_
K(t)[x, y]
x
2
ty
_

Spec
K[x, y, t]
x
2
ty

Spec K(t)

Spec K[t]
donde () representa la cnica de ecuacin x
2
ty en A
2
K
sobre K(t). La bra en un punto
genrico es entonces una cnica irreducible.
18
Vamos a complicarnos la vida: hemos considerado la inclusin K[t] K(t), ahora vamos a
considerar la inclusin K[[t]] que nos da un diagrama
X
t
f

Spec
K[x, y, t]
(x
2
ty)
f

() = Spec K[[t]]

Spec K[t]
(0)


(0)
(t)


(t)
observando que () es un esquema que tiene solo dos puntos, y hemos descrito las imgenes
de tales puntos en los morsmos. Tenemos un cambio de base.
La bra de (t) por f
t
es
K[x, y]
(x
2
)
, que es una recta doble, la bra de (0) por f
t
es una cni-
ca irreducible sobre K[[t]]. Que pasa es que el anillo K[[t]] es un anillo de valoracin discreta.
Esquemas Proyectivos
Los esquemas proyectivos generalizan la nocin de conjunto proyectivo en P
n
K
que hemos
denotado con V (I) = x P
n
K
[ F(x) = 0 F I homogneo, donde I es un ideal homo-
gneo y
K[x
0
, . . . , x
n
]
I
es un anillo homogneo.
Cogemos como I(X) P
n
K
el ideal generado por F homogneo [ F(x) = 0 x X. La
nica diferencia con el caso afn nos la dice el teorema dbil de los ceros de Hilbert.
Si V (I) = , entonces

I (x
0
, . . . , x
n
). En el caso afn funcionaba en manera distinta,
porque si V (I) = , entonces I era el ideal total, i.e. I = K[x
1
, . . . , x
n
], para tener que

I = I(V (I)) = K[x

1
, . . . , x
n
]. Denotamos ahora V
P
por el proyectivo y V
A
por el afn.
Para todo lo que hemos dicho tenemos que si V
P
(I) = entonces I dene en A
n+1
K
o bien
el vaco o bien el punto (0, . . . , 0). En cualquier caso V
A
(I) (0, . . . , 0) que nos da

I = I(V
A
(I)) I ((0, . . .)) = (x
0
, . . . , x
n
).
Parntesis: Anillos homogneos Sea S un anillo homogneo, eso signica que S =

d0
S
d
, con la propiedad que si F S
d
y G S
e
entonces FG S
d+e
.
I es un ideal homogneo I esta generado por polinomios homogneos [F I
cada componente homognea de F esta en I].
19
Observamos que
I homogneo
S
I
es homogneo.
Dado S un anillo homogneo, sea Proj(S) en el conjunto de ideales primos homogneos de
S contenidos en S
+
=
d>0
S
d
(con este truco evitamos que hay dos ideales distintos que
denen el mismo conjunto).
Fin Parntesis
X = Proj S tiene estructura de esquema: la topologa de Zarinski es dada cogiendo como
cerrados los subconjuntos de la forma
V (I) = p Proj S [ p I con I homogneo.
Para cada p Proj(S) vamos a llamar localizado del homogneo
S
(p)
= elementos de grado 0 en S
p
=
_
F
G
[ F, G homogneos del mismo grado y G , p
_
.
Tenemos que pensar
K[x
0
, . . . , x
n
]
()

K[x
1
, . . . , x
n
]
donde () es la deshomogeneizacin respecto a x
0
, teniendo tambin
f
_
x
1
x
0
, . . . ,
x
n
x
0
_
g
_
x
1
x
0
, . . . ,
x
n
x
0
_
f(x
1
, . . . , x
n
)
g(x
1
, . . . , x
n
)
_ _ _
y luego multiplicamos para que salga el mismo grado.Un ejemplo de este procedimiento es
2
x
1
x
0
3
x
2
2
x
2
0
x
3
1
x
3
0

x
2
x
0

J
J
J
J
J
J
J
J
J
J
J
J
J
J
2x
1
3x
2
2
x
3
1
x
2
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
2x
1
x
0
3x
2
2
x
2
0
x
3
1
x
2
0
x
2
x
3
0
=
2x
1
x
2
0
3x
2
2
x
0
x
3
1
x
2
0
x
2
Como saco el haz de estructura O
X
?
O
X
(U) =
_
s : U

pU
S
(p)
[ p U V U, V p; F, G S homogneos del
mismo grado t.q S(q) =
F(q)
G(q)
q V
_
20
La pareja (X, O
X
) se llama esquema (proyectivo).
La espiga en un punto p Proj S es S
(p)
.
Si F es homogneo de grado positivo, cogemos
D
+
(F) = p Proj S [ F , p ,
observando que
D Spec S
(F)
= parte de grado 0 de S
F
=
_
G
F
l
con deg G = deg F
l
_
Los conjuntos D
+
(F) me da una base de la topologa y todo sale igual. Ejemplos 1) Si
S = A[x
0
, . . . , x
n
] entonces Proj S = P
n
A
.
2) Si S = K[ x
0
..
peso w
0
, . . . , x
n
..
peso wn
] entonces obtenemos P
n
K
(w
0
, . . . , w
n
) es un espacio proyectivo
con pesos.
Podemos pensar a un ejemplo
P
3
K
(1, 1, 2) P
3
K
(x
0
: x
1
: x
2
) ( x
2
0
..
z
0
: x
0
x
1
..
z
1
: x
2
1
..
z
2
: x
2
..
z
3
)
La imagen es dada por el cono V (z
0
z
2
z
2
1
).
Morsmos Separados y Propios
Como descubrir si a un esquema falta algo (punto por ejemplo) o ver si es proyectivo?
Por ejemplo cogemos X pegando los dos abiertos anes, ver gura
U
1
= A
1
K
= Spec K[x] U
t
1
= Spec K[x]
(x)
= A
1
K
0
U
2
= A
1
K
= Spec K[y] U
t
2
= Spec K[y]
(y)
= A
1
K
0
Pegamos U
1
y U
2
pegando U
t
1
con U
t
2
, observando que en el origen tengo dos puntos distintos,
ver la gura
Denicin 18 Un morsmo X Y es separado si la diagonal : X X
Y
X es un
inmersin cerrada.
21
Figura 2:
Figura 3:
Cuidado el producto no es el normal producto cartesiano
X
()

X
Y
X

I
I
I
I
I
I
I
I
I
.u
u
u
u
u
u
u
u
u
X
p

J
J
J
J
J
J
J
J
J
J
X
q
.t
t
t
t
t
t
t
t
t
t
Y
y la () es nica por la propiedad universal, al nal () es nuestra .
El X del ejemplo no es separado sobre K, porque tengo mas puntos fuera de la diagonal pero
no en la clausura.
Denicin 19 Un morsmo X Y es propio si es separado, de tipo nito y universal-
mente cerrado.
Explicaciones de la denicin:
TIPO FINITO si existe un recubrimiento de abiertos anes Y =

V
i
tal que retro-
imagen de los abiertos del recubrimiento esta cubierta tambin por abiertos anes, i.e.
22
Figura 4:
f
1
(V
i
) =

U
ij
, de manera tal que tenemos
U
ij

V
i

Spec B
ij

Spec A
i
que induce A
i
B
ij
con B
ij
una A
i
-lgebra nitamente generada. En nuestro caso
A
i
es K entonces B
ij
ser de la forma
K[x
1
,...,xn]
I
que es una lgebra nitamente generada.
UNIVERSALMENTE CERRADO que es cerrado y ademas para cada Y
t
Y cam-
bio de base
X
t
= X
Y
Y
t
f

X
f

Y
t
Y
f
t
es un morsmo cerrado.
SIGNIFICADO. Sea Y = Spec K. Si X = A
1
K
y si Y
t
= A
1
K
entonces tenemos X
t
= A
2
K
f

Y
t
= A
1
K
y f
t
no es un morsmo cerrado porque f
t
(V (xy 1)) = A
1
K
0 no es un cerrado.
Observamos que si X P
n
K
entonces un morsmo X Y
t
Y
t
es siempre cerrado.
Hemos visto lo que es un morsmo separado X Y , i.e. cuando la diagonal es X
X
Y
X es un inmersin cerrada, hemos visto un ejemplo de morsmo no separado, gura .
Hemos visto tambin lo que signica tener un morsmo propio X Y : separado y univer-
salmente cerrado, i.e.
X
t
= X
Y
Y
t
f

X
f

Y
t
Y
23
f
t
es un morsmo cerrado. Un contraejemplo esta dado por la proyeccin de la iperbola,
cerrado en A
2
K
, al abierto A
1
K
0 A
1
K
.
Teorema 20 Para cada n y m N la proyeccin P
n
K
A
m
K
A
m
K
es un morsmo cerrado.
Corolario 21 Si X es un conjunto projectivo, entonces para cada variedad algebraica Y
(cuasi proyectiva si y solo si es un abierto de un conjunto proyectivo), la proyeccin XY
Y es cerrada.
Para demostrar el corolario podemos suponer que Y es afn
X Y

X A
m
K

A
m
K
P
n
K
A
m
K
cerrado por el teorema

u
u
u
u
u
u
u
u
u
y el hecho de ser cerrado se mantiene en la inclusiones verticales de la izquierda.
Corolario 22 Un morsmo X Y de conjuntos proyectivos es cerrado.
La demostracin sigue del Corolario 21, por el diagrama
X

f

@
@
@
@
@
@
@
@

f

X Y
cerrada por corolario
.w
w
w
w
w
w
w
w
w
Y
Todos estos problema salen porque las imgenes de proyectivos son proyectivos pero las
imgenes de anes no son siempre anes.
Ejemplo Sea
f : A
2
K
A
2
K
(x, y) (x, xy)
Vamos a ver las imgenes de las rectas horizontales donde la linea roja representa y =
y en la imagen tales rectas se convierten en donde al variar de varia la pendiente de la
recta. Observamos que la recta x = 0, amarilla, no sale en la imagen. Entonces Im f =
A
2
K
(V (x)V (x, y)) que se llama conjunto constructible.
Teorema 23 Si K es algebraicamente cerrado, la imagen por un morsmo de un conjunto
constructible en un conjunto constructible.
24
Figura 5:
Figura 6:
25
Por ejemplo V (x
2
+ y
2
1) A
1
K
A
1
K

A
1
K
, donde es la proyeccin cannica a el eje
y = 0. La imagen esta dada por x A
1
K
[ 1 x 1 (conjunto semialgebraico).
Teorema 24 (de geometra real) La imagen de un conjunto semialgebraico es un con-
junto semialgebraico.
Ahora estamos preparados para demostrar el teorema gordo.
Demostracin de Teorema 20. Cogemos x
0
, . . . , x
n
coordenadas de P
n
K
y y
1
, . . . , y
m
coorde-
nadas de A
m
K
. Cogemos ademas
V (f
1
, . . . , f
n
) = X P
n
K
A
m
K

2
A
m
K
,
donde f
i
K[x
0
, . . . , x
n
, y
1
, . . . , y
m
] = (K[y
1
, . . . , y
m
]) [x
0
, . . . , x
n
] polinomios homogneos en
las coordenadas x
0
, . . . , x
n
.
Dado (a
1
, . . . , a
m
), queremos determinar cuando esta en
2
(X). La preimagen es un subcon-
junto de P
n
K
de ecuaciones
f
i,a
= f
i
(x
0
, . . . , x
n
, a
1
, . . . , a
m
) = 0.
Quiero caracterizar cundo V (f
1,a
, . . . , f
s,a
) ,= . Por el teorema de los ceros de Hilbert
tenemos que
_
(f
1,a
, . . . , f
r,a
) , (x
0
, . . . , x
n
) , (x
0
, . . . , x
n
)
(x
0
, . . . , x
n
)
l
, (f
1,a
, . . . , f
r,a
) con grado d
1
, . . . , d
r
, l >> 0

x
ld
1
0
f
1,a
, x
ld
1
1
0
x
1
f
1,a
, . . . , x
ld
1
n
f
1,a
,
.
.
.
.
.
.
x
ldr
0
f
r,a
, x
ldr1
0
x
1
f
r,a
, . . . , x
ldr
n
f
r,a
son polinomios que no generan (con coecientes en K) el espacio de polinomios homogneos
de grado l, l >> 0,
rank
_
g
d
1
,0,...,0
(a
1
, . . . , a
m
) g
d
1
1,1,0,...,0
(a
1
, . . . , a
m
)(a
1
, . . . , a
m
)
.
.
.
_
<
_
n +l
l
_
que son las coordenadas de los vectores respecto a una base que son los monomios de grado
l en x
0
, . . . , x
n
. Ademas, por lo que hemos dicho, estos coecientes se sacan observando que
f
i
= g
d
1
,0,...,0
(y
1
, . . . , y
m
)x
d
i
0
+g
d
1
,1,0,...,0
(y
1
, . . . , y
m
)x
d
i
1
0
x
1
+
menores de orden mximo son ceros, y estos menores son polinomios en K[y
1
, . . . , y
m
]
evaluados en a
1
, . . . , a
m
. El teorema esta comprobado.
26
Corolario 25 Si X es un conjunto proyectivo irreducible y reducido entonces sus nicas
funciones regulares son las constantes. (si K es algebraicamente cerrado)
Demostracin. Si f O(X) es regular, entonces podemos sacar un morsmo regular X
P
1
K
y un diagrama
X

G
G
G
G
G
G
G
G
G
G
K = A
1
K

P
1
K
Sabemos que Im f P
1
K
es un conjunto proyectivo en P
1
K
, entonces puede ser todo P
1
K
(im-
posible) o una cantidad nita de puntos. Entonces la imagen de f es un conjunto nito de
puntos. Del hecho que la imagen de un irreducible es un irreducible, tengo solo un punto,
una constante. .
Nos recordamos de un ejemplo ya visto.
Cogemos K[x, y, t] x
2
ty. Consideramos la inclusin
K[x, y, t]
(x
2
ty)
K[t], que nos induce el
morsmo A
3
K
V (x
2
ty) A
1
K
. Recuerdo que las bras por este morsmo eran parbo-
las que se hacan mas delgaditas acercando a la origen, punto donde se encuentra una recta
doble como bra.
Consideramos ahora otra inclusin
K[x, y, t]
(x
2
ty)
K[[t]] que en este caso nos induce un mor-
smo Spec
K[x, y, t]
(x
2
ty)
Spec K[[t]], donde Spec K[[t]] esta constituido solo para dos puntos.
Tengo un anillo de valoracin discreta, dado por
K[[t]] 0 N

K((t)) 0 Z
f(t)
g(t)
?
Que valoracin podemos dar?
Sea g(t) = a
0
+a
1
t +a
2
t
2
+ +a
r
t
r
+ .
Si a
0
,= 0 entonces existe un g
1
(t) K[[t]] tal que
(a
0
+a
1
t +a
2
t
2
+ )(b
0
+b
1
t +b
2
t
2
+ ) = 1.
Si g(t) = a
0
..
=0
+ a
1
..
=0
t + a
2
..
=0
t
2
+ + a
r
..
,=0
t
r
+ = t
r
( a
r
..
,=0
+a
r+1
t + ).
En cualquier caso puedo associar
f(t)
g(t)
= t
s
( a
0
..
,=0
+a
1
t + ) s
27
Parntesis: Anillos de valoracin discreta.
Un anillo A es de valoracin discreta si ocurre, siendo v una valoracin:
v(f +g) min (v(f), v(g)),
v(f g) = v(f) +v(g).
Podemos sacar que A = f K[ v(f) 0 0, que tiene como nico ideal maximal
M= f K[ v(f) > 00. Observamos que f K, o f A si la valoracin es positiva,
o f
1
A si la valoracin de f es negativa.
Fin Parntesis
Que ocurre cundo tengo anillos de valoracin discreta?
Hemos visto
Spec K[[t]] Spec K[x
1
, . . . , x
n
] = A
n
K
Tengo dos puntos: un punto con innitas derivadas
(t) (x
1
a
1
, . . . , x
n
a
n
)
Tenemos una correspondencia
K[x
1
, . . . , x
n
] K[[t]]
x
0
a
1
+. . .
.
.
.
.
.
.
x
n
a
n
+. . .
x
1
a
1
t( )
.
.
.
.
.
.
x
n
a
n
t( )
los coecientes me dan derivadas que me determinan la curva.
Que quiere decir tener un morsmo en el punto genrico? (i.e. en el cuerpo de fracciones)
Tenemos
Spec K((t)) Spec K[x
1
, . . . , x
n
] = A
n
K
P
n
K
_
1
t
, . . . ,
1
t
n
_

_
1 :
1
t
: . . . :
1
t
n
_
= (t
n
: t
n1
: . . . : 1)
28
a quien asociamos la aplicacin (esto que es una posible eleccin)
K[x
1
, . . . , x
n
] K((t))
x
0

1
t
.
.
.
.
.
.
x
n

1
t
n
Observamos que en el morsmo de antes cuando hemos pasado al proyectivo he recuperado
el punto en el innito que nos da la curva racional normal.
Damos ahora una denicin alternativa de morsmos propios y separados.
Teorema 26 Sia f : X Y un morsmo de tipo nito (hemos visto antes lo que es), xon
X, Y esquemas noetherianos (=

finita
Spec(anillos noetherianos)). Entonces:
f es separado = para cada A anillo de valoracin discreta con K el cuerpo de frac-
ciones de A tengo el siguiente diagrama conmutativo
Spec K

Spec A

x
x
x
x
x

Y
y cada vez que tengo el diagrama conmutativo tengo tambin la echa puntuada. En el
ejemplo de antes pegando abiertos
Spec K((t))

recta con doble origen

Spec K[[t]]

j
j
j
j
j
j
j
j
j
j
j
j
j
j
j

j
j
j
j
j
j
j
j
j
j
j
j
j
j
j

Spec K
no es separado porque puedo completarlo en dos maneras distintas, una poniendo el
punto de arriba y una el punto de abajo.
f es proprio si y solo si existe y es unico
Teorema 27 Si X es un esquema noetheriano de tipo nito propio irreducible y reducido
sobre K, entonces O
X
(X) = K.
29
Demostracin. Usamos la denicin de propio
X
K
Y

cerrada

Y

Spec K
Cogemos Y = P
1
K
. X localmente es un Spec
K[x
1
, . . . , x
n
]
I
, entonces una funcin regular se
puede ver com un morsmo
X

f

?
?
?
?
?
?
?
?
A
1
K

P
1
K
y podemos sacar
X

j
X
K
P
1
K

P
1
K
mas o menos como hemos dicho antes Imf =
2
(
j
) que es irreducible, reducido, cerrado y
no es todo P
1
K
. Entonces es constante.
Hemos visto las correspondencias
X P
n
K
Proj
K[x
0
, . . . , x
n
]
I
X A
n
K
Spec
K[x
1
, . . . , x
n
]
I
Hablamos de esquema de tipo nito sobre K, que signica tener X Spec K que local-
mente es
K[x
1
, . . . , x
n
]
I
, que es una K-lgebra nitamente generada. Ya hemos visto que si
X = Spec A, entonces O
X
(X) = A.
Si X es propio de tipo nito sobre K, irreducible, reducido, entonces O
X
(X) = K.
Reducido si localmente X = Spec
K[x
0
, . . . , x
n
]
I
con
K[x
0
, . . . , x
n
]
I
libre de elementos nilpo-
tentes.
Un contraejemplo donde no es reducido es dado por X = Spec
K[x, y]
(x
2
, y)
, entonces O
X
(X) =
K
2
.
Tambin en estos casos malos, podemos recuperar A?
Caso sencillo es este ejemplo
X = P
n
K
= Proj (K[x
0
, . . . , x
n
]).
Como es f O
X
(X)?
30
Restringimos f
[U
0
O
X
(U
0
)
()
= K
_
x
1
x
0
, . . . ,
x
n
x
0
_
, () es afn ya es un elemento de un anillo,
y donde U
0
= Spec K
_
x
1
x
0
, . . . ,
x
n
x
0
_
= Spec K[y
1
, . . . , y
n
], con y
i
=
x
i
x
0
, entonces f
[U
0
=
F
0
[x
0
, . . . , x
n
]
x
d
0
, con d = deg F. Observamos que U
0
U
1
= D(y
1
) y que O(D(y
1
)) =
K[y
1
, . . . , y
n
]
y
1
.
De manera anloga cogemos f
[U
1
=
F
1
[x
0
, . . . , x
n
]
x
d
1
, puedo sacar el mismo d de x
0
: si fuera
d
t
en f
[U
1
, con d
t
> d por ejemplo, puedo moltiplicar el numerador y el denominador de
F
0
(x
0
, . . . , x
n
)
x
d
0
por x
d

d
1
.
En la interseccin tienen que coincidir
f
[U
0
U
1
O(U
0
U
1
. .
D(x
0
x
1
)
) =
_
G
(x
0
x
1
)
d
[ G homogneo de grado d
_
entonces
F
1
x
d
0
(x
0
x
1
)
d
=
F
0
x
d
1
(x
0
x
1
)
d
F
1
x
d
0
= F
0
x
d
1
en K[x
0
, . . . , x
n
]
que signica, siendo x
0
y x
1
primos entre s,
x
d
0
[F
0
x
d
1
[F
1
K t.q.
F
0
= x
d
0
F
1
= x
d
1
porque F
0
y F
1
tienen ambos grado d, esto signica che f = , una constante.
Sea X = Proj(S), entonces O
X
(U) =
_
s : U

pU
S
(p)
[ . . .
_
, recordando que S
(p)
son
los elementos homogneos de grado 0 de la localizacin S
p
.
Si considero, en vez de los elementos homogneos de grado 0, los elementos homogneos de
grado d > 0, obtengo una diferencia entre los grados en el cociente
F
0
x
d

0
y entonces el factor
de multiplicacin no es una constante, sino un polinomio homogneo.
Puedo denir un haz, llamado O
X
(d), denido por
O
X
(d)(U) =
_
. . .
_
S(d)
(p)
_
donde S(d)
(p)
son los elementos homogneos de grado d. Observamos que (O
X
(d))(X) =
K[x
0
, . . . , x
n
]
d
y que la espiga de O
X
(d) en p es S(d)
(p)
que es un mdulo sobre S
(p)
. Atencin,
NO es un anillo porque se multiplico dos elementos de grado d por supuesto no obtengo un
elemento de grado d, puedo multiplicar por elementos de grado 0, as que obtendo un S
(p)
-
mdulo.
31
Haces y Fibrados Vectoriales
Denicin 28 Si X es un espacio topologico y O
X
es un haz de anillos, se llama haz de
mdulos sobre O
X
a un haz T tal que para todo abierto U X, T(U) es un modulo sobre
O
X
(U). Para cada x X, la espiga T
x
es un mdulo sobre O
X,x
.
Denicin 29 Si A es un anillo y M es un A-mdulo y llamamos X = Spec A, podemos
denir un haz T =

M de O
X
-mdulos mediante
T(U) =
_
s : U
_
pU
M
p
[ p U V U, con p V y m M, f Ap t.q s
[V
=
m
f
_
Los trozos se acaban pegando y
T(X) = M y T (D(f)) = M
f
=
_
m
f
n
_
.
Denicin 30 Si S es un anillo graduado y M es un S-mdulo graduado se puede denir,
si X = Proj(S), un haz T =

M de O
X
-mdulos de forma que
T(U) =
_
s : U
_
pU
M
p
[ como antes
_
.
Si F S
+
es un elemento homogneo
T
[D(F)
=

M
(F)
Proj(S)
[D(F)
= Spec(S
(F)
).
Denicin 31 Un haz T de O
X
-mdulos se dice COHERENTE si localmente se tiene
X =

U
i
con U
i
= Spec(A
i
);
T
[U
i
=

M
i
con

M
i
un A
i
-mdulo noetheriano.
Ejemplo. Los haces coherentes sobre Spec A son de la forma

M con M un A-mdulo noet-
heriano.
A mdulo noetheriano haces coherentes sobre Spec A
M

M
Ejemplo original.
S = K[x
0
, . . . , x
n
] y X = Proj(S) = P
n
K
. Vamos a coger M = S(d) = K[x
0
, . . . , x
n
] donde
32
M
l
:= K[x
0
, . . . , x
n
]
l+d
(el signicado es que estoy subendo el nivel de las cosa que voy a
denir como constantes).
Para cada p X,

M
p
= M
(p)
=
_
F
G
[ F M
l
= S
d+e
, G S
e
_
. Volviendo a la prueba de
antes, ahora nuestro es un polinomio homogneo de grado d. Ademas
(O
X
(d))(X) = K[x
0
, . . . , x
n
]
d
.
Denicin 32

S(D) = O
X
(d) = K[x
0
, . . . , x
n
] =

d0
(O
X
(d))(X).
Cogemos X = Proj(S) y llamamos O
X
(d) =

S(d), recordando que S(d) = S como conjunto
y S(d)
l
= S
l+d
.
S =

d0
(O
X
(d)) (X)? NO.
Ejemplo. S = Proj
_
K[x
0
, x
1
, x
2
, x
3
]
I
_
donde X = ( t
4
0
..
x
0
: t
3
0
t
1
..
x
1
: t
0
t
3
1
..
x
2
: t
4
1
..
x
3
)[(t
0
: t
1
) P
1

y cogemos I = I(X).
Observamos que
x
0
x
2
x
1
(O
X
(d))(X) _ S
1
= K[x
0
, x
1
, x
2
, x
3
]
1
. La demostracin se hace
recubriendo la curva con dos abiertos y vericando que
x
0
x
2
x
1
es una seccin.
Ejemplo. I A ideal,

I O
X
con (X = Spec A).
I S ideal homogneo

I O
X
con (X = Proj S).
Denicin 33 Se llama haz de ideales en un esquema X a un O
X
-mdulo 1 O
X
(un
ideal es un mdulo sobre un anillo!) tal que para cada abierto U, 1(U) O
X
(U) es un ideal.
Ejemplo. Sean I, J ideales de K[x
0
, . . . , x
n
]. Cundo ocurre que

I =

J?
Supongamos I = (F
1
, . . . , F
r
), J = (G
1
, . . . , G
s
);

I =

J;

I
[D(x
i
)
. .
g
I
(x
i
)
=

J
[D(x
i
)
. .
g
J
(x
i
)
. Observamos que
en el caso afn la biyeccin es perfecta, que signica: si y solo si I
(x
i
)
= J
(x
i
)
, i = 0, . . . , n.
Nos acordamos que
I
(x
i
)
=
_
F
1
_
x
0
x
i
, . . . ,
x
n
x
i
_
, . . . , F
r
_
x
0
x
i
, . . . ,
x
n
x
i
__
=
_
F
1
x
d
1
i
, . . . ,
F
r
x
dr
i
_
y vale lo mismo por J, entonces
I
(x
i
)
= J
(x
i
)

F
j
x
d
j
i

_
G
1
x
e
1
i
, . . . ,
G
s
x
es
i
_
33
y quitando denominatores
= x
n
ij
i
F (G
1
, . . . , G
s
) j = 1, . . . , r
esto implica que existe d >> 0 tal que si deg F d, FF
j
(G
1
, . . . , G
s
) j = 1, . . . , r.
Entonces existe un grado sucientemente alto l >> 0 tal que si l e vale I
l
J
l
.
Conclusin.

I =

J I
l
= J
l
si l >> 0. Hemos compruebato la , la es quasi
inmediata.
Esto ocurre tambin en general: si X = Proj(S) entonces
S mdulos graduados noetherianos O
X
mdulos noetherianos
M

M

d0
O
X
(T(d)) T
donde

M =

N M
l
= N
l
l >> 0, por la biyeccin tengo que poner esta relacin de
equivalencia, y T(d) = O
X
(d) T.
El ejemplo de la curtica muestra que M

M

M no es una biyeccin.
De todas formas tenemos una correspondencia
_
(t
4
0
: t
3
0
t
1
: t
0
t
3
1
: t
4
0
)
_
= X
_
(t
4
0
: t
3
0
t
1
: t
2
0
t
2
1
: t
0
t
3
1
: t
4
0
)
_
= Y P
4
K
,
obtenendo

d0
(O
X
(d))(X) =
K[x
0
, x
1
, x
2
, x
3
, x
4
]
I(Y )
. La biyeccin recupera la copia isomorfo
mas natural a nuestra cara X, que es una curva un poco articial ya que le falta un monomio.
Al nal tenemos
P
1
P
3
(t
0
: t
1
)

E
E
E
E
E
E
E
E
E
E
E
E
E
E
E
E
E
E
E
E
E
E
E
E
E
E
E
E
E
E
(t
4
0
: t
3
0
t
1
: t
0
t
3
1
: t
4
0
)
P
4
proyeccin

(t
4
0
: t
3
0
t
1
: t
2
0
t
2
1
: t
0
t
3
1
: t
4
0
)
Parntesis: Propiedades fundamentales de los haces.
Si tengo T ( morsmo de haces, entonces
T(U) ((U)
U abierto es inyectivo

T
x
(
x
x X es inyectivo
34
de otro lado
T(U) ((U)
U abierto es sobreyectivo
=
,=
T
x
(
x
x X es sobreyectivo
Porqu funciona el primero y no el segundo?
Si en inyectivo con espigas, entonces es inyectivo en algn abierto. Si damos el valor cero en
el punto, entonces cero en el punto signica cero en un entorno del punto, pero los haces se
pegan bien y tenemos cero en todo el abierto. El problema con la suprayectividad es que a
veces el levantamiento no es unico!!!
Ejemplo.
0 I(X) K[x
0
, x
1
, x
2
, x
3
]
K[x
0
, x
1
, x
2
, x
3
]
I(X)
0
que da lugar a una nueva sucesin de haces, tambin exacta porque tengo funtores exactos
0

I(X)

K[x
0
, x
2
, x
2
, x
3
]

K[x
0
, x
1
, x
2
, x
3
]
I(X)
0
que es igual a
0 1
X,P
3 O
P
3 i

O
X
0
Podemos hacer el truco de cambiare el grado, pasando a
0 I(X)(d) K[x
0
, x
1
, x
2
, x
3
](d)
K[x
0
, x
1
, x
2
, x
3
]
I(X)
(d) 0
obteniendo la sucesin exacta de O
X
-mdulos
0 1
X,P
3(d) O
P
3(d) i

O
X
(d) 0
El ejemplo visto antes es equivalente a decir que para d = 1, al tomar secciones globales
0 1
X,P
3(1)(P
3
K
) O
P
3(1)(P
3
K
)

i

O
X
(1)(P
3
K
)
(*) no es sobreyectiva, porque (*) es igual a O
P
3(1)(P
3
K
) = K[x
0
, x
1
, x
2
, x
3
]
1
(O
X
(1))(X) =
i

O
X
(1)(P
3
K
). Adems 1
X,P
3(1)(P
3
K
) = I(X)
1
= 0 porque no hay elementos de grado 1 en
I(X), equivalente a decir que la curva no est contenida en un hiperplano.
Lo que podemos decir es que si
0 T
t
T T
tt
0
es exacta, entonces
0 T
t
(X) T(X) T
tt
(X)
35
es exacta.
Fin Parntesis.
Sea X un esquema y T un haz coherente de O
X
-mdulos. Es decir, existe un recubrimiento
nito X =

U
i
, con U
i
= Spec A
i
abiertos anes con T
[U
i
=

M
i
con M
i
un A
i
-mdulo
nitamente generado.
Cogemos : X Y morsmo de esquemas. Si T es un haz sobre X tenemos denido

T, la imagen directa de T por , donde

(

T)(V ) = T(
1
(V )).
Si T es coherente, T
[U
i
=

M
i
con U
i
= Spec(A
i
) localmente y tenemos, siempre localmente,

[U
i
: Spec A
i
Spec B
i
(correspondiente a un morsmo de anillos A
i

B
i
). M
i
es un
A
i
-mdulo y tambin un B
i
-mdulo, denido por b m :=
i
(b)m. ().
Se puede ver que

T
[ Spec B
i
=

M
i
, tomandolo como B
i
-mdulo.
Al revs, si tenemos un haz en Y vamos a construir un haz sobre X.
Sea ( un haz coherente sobre Y , : X Y un morsmo de esquemas. Localmente
(
[ Spec B
i
=

N
i
con N
i
un B
i
-mdulo.
A travs de
i
: B
i
A
i
tenemos una estructura de B
i
-mdulo para A
i
, denida como en
(). Puedo considerar el producto tensorial N
i

B
i
A
i
que tambin es un A
i
-mdulo con la
accin a (n a
t
) := n a a
t
.
Se puede ver sin excesiva dicultad que todos estos mdulos

N
i

B
i
A
i
se pegan bin; estos
estn denidos en Spec A
i
y al pegar son un haz coherente

( sobre X.
En que consiste este haz? Idea geomtrica: para cada x X
(

()
x
(N
i

B
i
A
i
)
p
(N
i
)
q
.
Por lo tanto (

()
x
= (
(x)
. Las espigas coinciden!
Localmente
X ;Spec A
i
x ;p

( ;

N
i

B
i
A
i
Y ;Spec B
i
(x) ;
1
i
(p) = q
Ejemplo.
Si : X Y es una inmersin cerrada, entonces ( sobre Y

( = (
[X
.
36
El hecho que es una inmersin cerrada nos dice que localmente A
i
=
B
i
I
donde con local-
mente quiero decir que X ;Spec A
i
y Y = Spec B
i
.
Si M es un mdulo proyectivo, esta es una propiedad local.
M es A-mdulo proyectivo = M
p
es un A
p
-mdulo proyectivo p Spec A = M
m
es
un A
m
-mdulo proyectivo para cada m maximal.
En anillos locales = proyectivo libre.
Si M
p
es un A
p
-mdulo libre, existe D(f) p tal que M
f
es un A
f
-mdulo libre (localmente
existe un entorno en el cual el hecho de ser libre se conserva).
_
m
1
f
1
, . . . ,
m
r
f
r
_
es una base de M
p
=
_
m
1
f
1
, . . . ,
m
r
f
r
_
base de M
f
1
fr
.
Denicin 34 Un haz coherente T se dice localemente libre si existe X =

U
i
, con U
i
=
Spec A
i
tal que T
[U
i
=

M
i
con M
i
un A
i
-mdulo libre ( M
i
proyectivo).
Ejemplo.
Sea S = K[x
0
, . . . , x
n
] anillo graduado.
: S(1)
n+1
S
(F
0
, . . . , F
n
) x
0
F
0
+x
1
F
1
+ +x
n
F
n
donde en el espacio de llegada hay elementos que se pueden poner como combinacin lineal
de x
0
, . . . , x
n
. es una aplicacin HOMOGENEA (de grado 0) ya que manda elementos
homogneos de grado l en elementos homogneos de grado l.
dene un morsmo de haces

S(1)
n+1

_
S
(x
0
, . . . , x
n
)
_
= ()
O
P
n(1)
n+1
O
P
n

0 = 0
donde () es un haz de cero porque dijimos que dos mdulos denen el mismo haz si los
elementos homogneos coinciden a partir de cierto grado. Aqu coinciden a partir de grado
1.
no es sobreyectiva: coker() =
K[x
0
, . . . , x
n
]
(x
0
, . . . , x
n
)
K.
Sin embargo la aplicacin de haces s que es sobreyectiva!
Sea M = ker = (n + 1) uplas tal que x
0
F
0
+ +x
n
F
n
= 0.
Vamos a ver que

M es localmente libre.
En el abierto D
+
(X
i
) = Spec K
_
x
0
x
i
, . . . ,
x
n
x
i
_
se tiene

M
[D
i
(x
i
)
=

M
(x
i
)
.
37
Cuales son los elementos de grado 0?
_
F
0
x
a
i
, . . . ,
F
n
x
a
i
_
M
(x
i
)
= F
k
homogneo de grado a 1 (ya que en S(1) hay un shift de
1 en el grado).
Adems se necesita x
0
F
0
+ . . . + x
n
F
n
= 0 , entonces puedo siempre dar F
i
en funcin de
los restantes F
1
, . . . ,

F
i
, . . . , F
n
. Dicho de otra forma, no necesito dar el F
i
; es bastante dar
el F
0
, . . . , F
i1
, F
i+1
, . . . , F
n
y ademas una forma libre.
M
(x
i
)
es un K
_
x
0
x
i
, . . . ,
x
n
x
i
_
-mdulo libre de base
_
_
_
_
1
x
i
, . . . ,
x
0
x
2
i
..
i
, . . .
_
_
_
_
.
.
.
.
.
.
_
_
_
_
. . . ,
x
n
x
2
i
..
i
, . . . ,
1
x
i
_
_
_
_
Obtenemos
d
_
x
k
x
i
_
=
_
_
_
_
. . . ,
x
k
x
2
i
..
i
, . . . ,
1
x
i
..
k
, . . .
_
_
_
_
Como se corresponden las bases en D
+
(x
i
) y D
+
(x
j
)?
En D
+
(x
j
) con base d
_
x
0
x
i
, . . . ,
x
k
x
j
_
donde d
_
x
k
x
j
_
=
_
_
_
_
. . . ,
x
k
x
2
i
..
i
, . . . ,
1
x
j
..
k
_
_
_
_
.
Tenemos d
_
x
k
x
i
_
=
_
_
_
_
. . . ,
x
k
x
2
i
..
i
, . . . ,
1
x
i
..
k
, . . .
_
_
_
_
donde sacamos el cambio
x
i
x
j
, y adems
d
_
x
j
x
i
_
=
_
_
_
_
. . . ,
x
j
x
2
i
..
i
, . . . ,
1
x
i
..
j
, . . .
_
_
_
_
38
donde sacamos el cambio
x
i
x
k
x
2
j
y al nal
d
_
x
k
x
j
_
=
x
i
x
j
d
_
x
k
x
i
_

x
i
x
k
x
2
j
d
_
x
j
x
i
_
con
x
i
x
j
d
_
x
k
x
i
_
=
_
_
_
_
. . . ,
x
k
x
i
x
j
. .
i
, . . . ,
1
x
j
..
k
, . . .
_
_
_
_
y
x
i
x
k
x
2
j
d
_
x
j
x
i
_
=
_
_
_
_
_
. . . ,
x
k
x
i
x
j
..
i
, . . . ,
x
k
x
2
j
..
j
_
_
_
_
_
.
Si fueron diferenciales
d
_
x
k
x
j
_
= d
_
x
k
x
i
x
j
x
i
_
=
x
j
x
i
d
_
x
k
x
i
_

x
k
x
i
d
_
x
j
x
i
_
_
x
j
x
i
_
2
.
Llamamos

M =
P
n
K
haz de formas diferenciales sobre P
n
K
.
Si X es un esquema irreducible sobre K y T es un haz localmente libre, localmente T
[ Spec A
i
=

M
i
con M
i
un A
i
-mdulo localmente libre M
i
A
r
i
.
En otro Spec A
j
tenemos T
[ Spec A
j
=

M
j
con M
j
= A
r
j
(r es el mismo ya porque en la
interseccin de dos abiertos la espiga tiene el mismo rango que en cada uno de los abiertos).
(Spec A
i
) (Spec A
j
) = Spec A
ij
T
[ Spec A
ij
= M
ij
A
r
ij
.
Los M
ij
sirven para pegar M
i
con M
j
.
Se puede pegar (Spec A
i
)K
r
restringido a Spec A
ij
con (Spec A
j
)K
r
restringido a Spec A
ij
mediante las equivalencias M
i
A
r
i
, M
j
A
r
j
, M
ij
A
r
ij
y se obtiene un brado vectorial
F sobre X.
Denicin 35 Un brado vectorial es un esquema de tipo nito sobre K con un morsmo
F

X tal que exista un recubrimiento abierto X =

U
i
tal que i
1
(U
i
) F es
isomorfo a U
i

Spec K
K
r
y

1
(U
i
)

U
i

Spec K
K
r
o
o
o
o
o
o
o
o
o
o
o
o
o
U
i
39
En los abiertos tenemos

1
(U
i
)

1
(U
i
U
j
)

1
(U
j
)

U
i
K
r
U
j
K
r
(U
i
U
j
) K
r
lineal
(U
i
U
j
) K
r

U
U
U
U
U
U
U
U
U
U
U
U
U
U
U
U
U

i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
Observamos que las bras son todas K
r
.
Dado un brado vectorial F

X se puede denir el hax T de secciones del brado
T(U) = s : U F [ s = id
U
.
Restringido a U
i
tengo
T(U
i
) = s
i
: U
i
U
i

Spec K
K
r
[ s = id
U

T es localmente libre con T(U

i
) O
X
(U
i
)
r
un O
X
(U
i
)-mdulo libre.
Para que sirven los brados vectoriales?
Ejemplo. En P
n
K
una hypersupercie (una subvariedad tal que todas sus componentes tienen
dimensin n 1) se puede denir por una ecuacin.
Por ejemplo, un nmero nito de puntos en P
2
K
no se puede dar con 2 ecuaciones (ideal
formado por 2 ecuaciones).
Si X = (1 : 0 : 0), (0 : 1 : 0), (0 : 0 : 1) I(X) = (x
0
x
1
, x
0
x
2
, x
1
x
2
). No puedo quitar ninguna
ecuacin, la parte homognea de grado 2 de K[x
0
, x
1
, x
2
] tiene dimensin 3 y necesito los 3
generadores. Ya que los puntos no estn en una recta: 2 puntos 1 recta mas 1 cnica. 1
punto interseccin de 2 rectas. 3 puntos como las cnicas que pasan por ellos sistema
lineal de dimensin 3!
E abiertos anes
En D
+
(x
0
) slo tengo un punto ;
_
x
1
x
0
,
x
2
x
0
_
En D
+
(x
1
) ;
_
x
0
x
1
,
x
2
x
1
_
En D
+
(x
2
) ;
_
x
0
x
2
,
x
0
x
2
_
40
Tenemos
_
_
_
x
1
x
0
x
2
x
0
_
_
_
=
_
_
_
_
x
2
1
x
2
0
0

x
1
x
2
x
2
0
(1 )
x
1
x
0
_
_
_
_
_
_
_
x
0
x
1
x
2
x
1
_
_
_
en D
+
(x
0
) D
+
(x
1
)
y
_
_
_
x
0
x
1
x
2
x
1
_
_
_
=
_
_
_
_

x
2
x
1
(1 )
x
0
x
2
x
2
1
0
x
2
2
x
2
1
_
_
_
_
_
_
_
x
0
x
2
x
1
x
2
_
_
_
en D
+
(x
1
) D
+
(x
2
)
entonces
_
_
_
x
1
x
0
x
2
x
0
_
_
_
=
_
_
_
_
x
2
1
x
2
0
0

x
1
x
2
x
2
0
(1 )
x
1
x
0
_
_
_
_
_
_
_
_

x
2
x
1
(1 )
x
0
x
2
x
2
1
0
x
2
2
x
2
1
_
_
_
_
_
_
_
x
0
x
2
x
1
x
2
_
_
_
=
_
_
_
_

x
1
x
2
x
2
0
(1 )
x
2
x
0

x
2
2
x
2
0
(1 )
x
2
2
x
0
x
1
+ (1 )
x
2
2
x
0
x
1
_
_
_
_
_
_
_
x
0
x
2
x
1
x
2
_
_
_
Del hecho que tiene que ser (1 )
x
2
2
x
0
x
1
+(1 )
x
2
2
x
0
x
1
= 0, obtenemos +1 = 0
as que tiene que ser = 1. Eligiendo =
1

tengo una manera para elegir matrices de

transicin compatibles.
Tengo entonces una receta para pegar las ecuaciones de la subvariedad de codimensin 2!
F

P
2
K
y F
s
< P
2
K
con una seccin s T(P
2
) que se anula en X
(S)
0
=
_
x P
2
[ s(x)
1
(x) K
2
, s(x) = 0
_
.
Ejercicio. X = V (x
0
x
1
+ x
2
x
3
+ x
2
n
) P
n
K
y L = V (x
0
, x
2
, x
n
) X, signica que L esta
denido por las x
1
, x
3
, x
4
, . . . , x
n1
.
Encontrar F X y una seccin que se anula en L.
Dimensin
Denicin 36 Si X es un espacio topolgico, se llama dimensin de X a la mayor longitud
r de una cadena X
0
X
1
X
2
. . . X
r
, inclusiones estrictas, de cerrados irreducibles
de X.
41
Recordamos que irreducible signica que si X
i
= X
t
i
X
tt
i
cerrados, entonces X
i
= X
t
i
o
X
i
= X
tt
i
.
Con esta denicin, 1
n
tiene dimensin cero, ya que los nicos puntos cerrados irreducibles
son los puntos.
La denicin que sigue es la que tiene sentido cuando tenemos un esquema, si X = Spec A.
Cerrados irreducibles de Spec A Ideales primos de A
dimX = mximo r tal que existe una cadena p
0
p
1
. . . p
r
, siempre con inclusiones
estrictas, de ideales primos. Esta dimensin de A es la dimensin de Krull. (A es dominio
(0) es primo).
Si A =
K[x
0
, . . . , x
n
]
I
y I es primo dimA = grtransc
K
cf A, grado de transcendencia sobre
K del cuerpo de fracciones de A.
Ejemplo.
dimA
n
K
= dimK[x
1
, . . . , x
n
] = grtransc
K
cf K(x
1
, . . . , x
n
) = n.
Si X = V (f) A
n
K
, f , K irreducible.
dimX = dim
K[x
1
,...,xn]
(f)
= grtransc
K
cf
_
K[x
1
,...,xn]
(f)
_
= n 1.
Observacin. dimA = dimA
p
0
en la situacin de arriba
dimA = m ax
pSpec A
dimA
p
= m ax
xX
dimO
X,x
.
Como localmente cualquier esquema es el espectro de algo, ya tenemos la nocin de di-
mensin de un esquema X: dimX = m ax
xX
dimO
X,x
.
Esta propiedad nos dice que la dimensin se puede calcular localmente. Adems estamos
suponiendo que A sea un dominio de integridad y que X sea irreducible. Por lo dicho si
X = X
1
. . . X
s
unin de irreducibles, entonces dimX = m ax dimX
1
, . . . , X
s

) dimX dimX
i
porque X
i
X a partir de la denicin
) Sea r = dimX = X
t
0
. . . X
t
r
cadena incluida en X
0
. . . X
s
cadena de
irreducibles en X, entonces existe i con X
t
r
X
i
dimX
i
r
i
.
Si A =
K[x
1
,...,xn]
I
entonces dimA = dim
K[x
1
,...,xn]

I
. Ideales primos de A cadenas de ideales
primos que contiene I y adems p I p

I para cada p primo.

A
res
=
A
N
donde N = nilradical =
_
(0).
Denicin 37 Dado cualquier esquema X se llama estructura reducida de X el esquema
X
res
que consiste, si X est denido localmente por Spec A
i
, en pegar los Spec(A
i
)
res
.
42
Si X = P
n
K
, como localmente P
n
es A
n
y dimA
n
= n, tenemos que dimP
n
= n.
Si X = V (F), con F homogneo no constante, entonces dimX = n 1 (ya que local-
mente X es un hypersupercie de A
n
). Estoy diciendo ms, ya que no pido che F sea
irreducilbe, estoy diciendo que cada componente irreducible de X tiene dimensin n1.
Ms general, si X = Proj
K[x
0
,...,xn]
(F)
, todas las componentes tienen dimensin n 1.
Proposicin 38 Si X A
n
K
(o X P
n
K
) tiene todas las componentes de dimensin n 1,
entonces X = V (f) ( respectivamente X = V (F)).
Demostracin. Basta ver que cada componente irreducible de X es de la forma V (f). Dicho
de otra forma, basta suponer que X sea irreducible. Como dimX = n1 I(X) ,= 0
f I(X)K (f no es constante). Como I(X) es primo, si f es reducible cada uno de sus
factores est en I(X). Luego puedo suponer que f sea irreducible.
Tenemos entonces que X, dimn 1 est in V (f), dimn 1 irreducible. Puedo decir que
X = V (f)?
Lema 39 Si X Y , con dimX = dimY y Y es irreducible, entonces X = Y
Demostracin Trabajamos, al n y al cabo, con variedades anes. Sea entonces X Y A
n
K
inclusin propia I(X) I(Y ) = f I(X)I(Y ) = X Y V (f).
dimY = grtransc
K
cf
K[x
1
,...,xn]
I(Y )
. Como f , I(Y ),

f ,= 0 como clase de equivalencia en
K[x
1
, . . . , x
n
]
I(Y )
= dim
K[x
1
, . . . , x
n
]
I(Y ) + (f)
< dim
K[x
1
, . . . , x
n
]
I(Y )
. De tal manera dimY V (f) <
dimY = dimX y esta es un absurdo. .
Esto prueba tambin que cualquier hypersupercie de P
n
viene dada por UNA ecuacin.
Dado X P
n
K
con todas sus componentes de dimensin n 1, exist F K[x
0
, . . . , x
n
]
homogneo de grado positivo d tal que X = V (F).
F K[x
0
, . . . , x
n
]
d
= (O
P
n(d)) (P
n
K
) donde O
P
n(d) es un haz localmente libre de rango 1,
brato vectorial de rango 1 (brado lineal / haz de linea).
Si Y es un esquema irreducible de dimensin n y X Y con todas sus componentes de
dimn 1. Se puede decir lo mismo que se tiene para P
n
? NO
Ejemplo. Y = V (y
2
x
3
) A
2
K
y X = (0, 0) con X Y .
X no se puede denir con una sola ecuacin
1. si corto con y = 0 (y
2
x
3
) + (y) = (y, x
3
)
43
2. si corto con x = 0 (y
2
x
3
) + (x) = (x, y
2
)
en ningn caso obtengo el ideal de (0, 0).
Si A =
K[x,y]
(y
2
x
3
)
y M = ( x, y) donde bar me individua la clase de equivalencia. En A
M
(loca-
lizado de A en M) el ideal maximal no se puede generar por un elemento!!
Denicin 40 Dado un anillo local de dimensin n, se dice que es REGULAR si su ideal
maximal se puede generar por n elementos.
Denicin 41 Dado un esquema X, se dice que x X es liso si O
X,x
es un anillo local
regular. Un ESQUEMA LISO es un esquema en el que todos los puntos son lisos. Si x X
no es liso se dice que X es singular.
Supongamos a partir de ahora que Y es liso y de tipo nito (en realidad basta que sea liso
en codimensin 1 ; si cojo un punto x que corresponde a una subvariedad de codimensin
1, O
X,x
es un anillo local regular.
Sea X Y irreducible de dimensin n 1.
Tenemos una correspondencia X x Y y (gracias a nuestras hiptesis) dimO
Y,x
= 1
Demostracin. Si Y = Spec A entonces X p X = Spec
A
p
con O
Y,x
= A
p
de dimensin 1.
O
Y,x
local regular de dimensin 1 (su maximal viene dado por el ideal p) O
Y,x
anillo
de valoracin discreta. Localmente X viene dado por una sola ecuacin.
Si Y =

U
i
, entonces X U
i
= V (f
i
) viene dado por una sola ecuacin, con f
i
funcin
regular, f
i
O
Y
(U
i
).
Si Y es de tipo nito sobre K las funciones regulares son funciones de verdad.
De hecho estoy diciendo algo mas: I(X U
i
) = f
i
.
Para poder hablar bien de esto hay que utilizar la estructura de anillo de valoracin discreta.
La valoracin en O
Y,x
es cuantas veces el generador del maximal (que es nico) divide un
dado elemento.
En U
i
U
j
;
f
j
f
i
est bien denido y nunca se anula en U
i
U
j
, tenemos
f
j
f
i
O

Y
(U
i
U
j
)
puedo usarlo para pegar
U
i
K U
j
K
(U
i
U
j
) K

(U
i
U
j
) K

(p, )


_
p,
f
j
f
i
(p)
_
44
Moralmente f
i

_
f
j
f
i
_
f
i
= f
j
. Observamos que
f
j
f
i
(p) es un morsmo lineal!.
Esto tambin explica porqu no funciona para codimensin mayor!
Como deno el cociente entre las 2 funciones que denen algo en codimensin 2 por ejemplo?
Hay una nica eleccin de matriz de transicin?
Adems
U
i
K U
j
K U
l
K
U
ijl
K

U
ijl
K

U
ijl
K

f
i
f
j
f
i
f
i
f
l
f
j
f
j
f
i

f
l
f
i
=
f
l
f
j
f
j
f
i
entonces existe L haz localmente libre de rango 1 (invertible) y una seccin de L(Y ) que se
anula exactamente en X (como esquema).
Si X = X
1
. . . X
r
con dimX
i
= n i i.
X
i
s
i
L
i
(Y ) y X S
1
. . . S
r
(L
1
. . . L
r
)(Y ).
Vale todo esto al revs tambin.
Si L(Y ) es un haz localmente libre de rango 1 y s L(Y ), que signica L
[U
= O
X[U
. Por
el mismo argumento que es el caso afn, el lugar de anulacin de una funcin regular (o
el lugar de un elemento de O
X
(U)) es algo de dimensin n 1, entonces s
[U
O
X
(U)
(dim((S)
0
U) = n 1).
Sea X Y , con Y lisa de dimensin n, irreducible.
Sea X un hypersupercie (todas sus componentes tienen dimensin n 1)
Lisa localemente X est denida por una ecuacin o de manera equivalente, si Y =

U
i
,
entonces X U
i
= V (f
i
), con f
i
O
Y
(U
i
).
Pegando las ecuaciones locales obtenemos que existe L brado lineal sobre Y con una seccin
que se anula en X.
El pasaje de U
i
K a U
j
K viene dado por la multiplicacin por
f
j
f
i
O

.
Dado L brado lineal con dos secciones s y s
t
que dan lugar a hypersupercies X y X
t
(localmente Y =

U
i
, X f
i
, X
t
f
t
i
), el paso de U
i
K a U
j
K se hace multiplicando
por h
ij
: en U
i
U
j
obtengo f
j
= h
ij
f
i
y f
t
j
= h
ij
f
t
i
, entonces
f
j
f
i
=
f

j
f

f
j
f

j
=
f

i
f
i
.
Cada uno de estos son cocientes de funciones regulares en U
j
(y respectivamente U
i
) tales
45
que cuando las restringimos a U
i
U
j
coinciden.
Denicin 42 Se llama funcin racional sobre una variedad irreducible Y a una clase de
equivalencia de pares (U, f), donde U es un abierto no vaco de Y y f O
Y
(U), por la
relacin
(U, f) (U
t
, f
t
) V U U
t
tal que f
[V
= f
t
[V
.
La diferencia con la denicin de germen de funcin regular es que los abiertos que cogemos
no son entornos de puntos.
Observacin. El conjunto de funciones racionales de Y coincide con el conjunto de funcio-
nes racionales de cualquier abierto U Y .
Y es irreducible, entonces dos abiertos cualquiera se cortan, si U Y , tambin U es irredu-
cible su anillo de funciones regulares es un dominio el cuerpo de fracciones est bien
denido.
Si U es un abierto afn, el conjunto de funciones racionales de U es cf (O
Y
(U)), que se denota
K(Y ) = funciones racionales de Y .
Denicin 43 Sea f K(Y )0 para cada X Y una hypersupercie irreducible. El
localizado O
Y,X
es un anillo a valoracin discreta (visto antes). cf O
Y,X
= K(Y ) f.
En este anillo de valoracin tengo una valoracin v
X
(f) Z.
Moralmente el generador del maximal de O
Y,X
es la ecuacin de X y la valoracin de f me
dice cuantas veces f tiene ceros (o polos) a lo largo de X.
Divisores y Fibrados
Denicin 44 Se llama divisor asociado a una funcin racional f K(Y )0 a
Div(f) =

X hypersuperficie irreducible de Y
v
X
(f)X.
Observamos que es una suma nita ya que solo para un nmero nito de hypersupercies la
valoracin de f es ,= 0.
Denicin 45 Se llama divisor de Weil a una combinacin lineal nita

n
i
X
i
con n
i
Z
y X
i
hypersupercie irreducible de Y . Div(f) se llama divisor principal.
46
Se dice divisor porque antiguamente se utilizaba la notacin producto

n
i
p
i

p
n
i
i
y los p
i
eran asociados a primos.
Sean s, s
t
dos secciones de un brado lineal (S)
0
D y (S
t
)
0
D
t
, con D 0 y D
t
0 (D
y D
t
son divisores efectivos, que signica que todos los n
i
son non negativos).
La discusin que hicimos antes para hypersupercies no dice en que dieren dos divisores,
nos dice che D D
t
= Div(f), el divisor de una funcin racional f K(Y )0.
Reciprocamente supongamos que D D
t
= Div(f). Localmente D f
i
y D
t
f
t
i
, esto
quiere decir que
f
i
f

i
dene lo mismo que f en cada U. Esto signica que
f
i
f

i
f
no tiene polos O
Y
(U
i
) no se anula nunca.
Lo mismo vale para
f
j
f

j
/f O
Y
(U
j
).
Deno un morsmo de brados y demuestro que es un isomorsmo
U
i
K
f
j
/f
i

U
j
K
U
i
K
f

j
/f

f
i
/f
t
i
f

U
j
K

f
j
/f
t
j
f

Como el diagrama conmuta, el morsmo es un isomorsmo ya que conmuta con las restric-
ciones.
D O
X
(D) haz de linea, entonces
D D
t
= Div(f) O
X
(D) O
X
(D
t
)
notacin
D D
t
D y D
t
linealmente equivalente
Si D es un divisor cualquiera, puedo escribir D = D
1
D
2
, con D
1
, D
2
0
D
1
O
X
(D
1
)
D
2
O
X
(D
2
)
; D
1
D
2
= D
O
X
(D
1
) O
X
(D
2
)

|
O
X
(D
1
) O
X
(D
2
)
|
O
X
(D
1
D
2
) = O
X
(D)
47
El brado lineal O
X
(D) no tiene porque secciones regulares, pero a lo mejor tiene secciones
racionales.
Supongamos ahora que Y P
n
K
. L brado lineal sobre Y L haz invertible.
En general, dado T =

M haz coherente (no acordamos que

M =

M
t
M
l
= M
t
l
para
l >> 0).
Por ejemplo si M =

d0
(T(d))(Y ), entonces

M = T.
Teorema 46 (B de SERRE) Si T es un haz coherente sobre un esquema proyectivo, en-
tonces T(d) tiene secciones no nulas para d >> 0.
Dado L brado lineal, L O
Y
(d) tiene secciones no nulas para d >> 0.
; D
t
0 t.q. O
Y
(D
t
) = LO
Y
(d). Substituyendo O
Y
(D
tt
), obtenemos L = O
Y
(D
t
D
tt
).
Div(Y )

brados lineales sobre Y / = Pic(Y )

D O
Y
(D).
Tambin es un isomorsmo de grupos (la operacin en Pic(Y ) es el producto tensorial).
Dada X Y hypersupercie se puede considerar el haz de ideales 1
X,Y
, de las funciones re-
gulares de Y que se anulan en X, observamos che 1
X,Y
O
Y
(U
i
) dado por la correspondencia
g f
i
g. Entonces 1
X,Y
es un haz invertible. Como se pegan las cosas?
1
X,Y
(U
i
U
j
) O
Y
(U
i
U
j
)

U
i
U
j
U
i
gfi
g

1
X,Y
(U
i
U
j
) O
Y
(U
i
U
j
)

U
i
U
j
U
j
hf
j h =
f
i
f
j
g =
_
f
j
f
i
_
1

Tenemos entonces que 1

X,Y
= O
Y
(X)

= O
Y
(X). y por supuesto (es de rango 1 y inverti-
ble)
1

X,Y
= O
Y
(X).
Si X Y de codimensin mayor que 1, 1
X,Y
no es localmente libre y 1

X,Y
= O
Y
.
Localmente X est denido por 2 ecuaciones f y g sin componentes comunes, entonces
I = (f, g) en O
Y,p
con p punto; el dual quiere decir Hom(I, O
Y,p
). Bajo este homomorsmo
48
I O
Y,p
, con f f
t
y g g
t
Cual es la imagen de fg? I O
Y,p
en que puedo ver
alternativamente f como elemento de O
Y,p
y g como elemnto de I o al revs luego
fg

A
A
A
A
A
A
A
A
fg
t
f
t
g
tiene que ser fg
t
= f
t
g obteniendo
f[f
t
g y f [ g f [ f
t
g[g
t
f y g [ f g [ g
t
_
O
Y,p
es UFD.
Entonces g
t
= hg y f
t
= hf.
Luego Hom(I, O
Y,p
)

= Hom(O
Y,p
, O
Y,p
) = O
Y,p
, donde la igualdad () es dad asociando a
f f
t
el elemento h tal que f
t
= hf.
1

X,Y
= O
Y
= 1
X,Y
NO es localmente libre ya que en este caso sera (1

X,Y
)

= 1
X,Y
y no
es as, ya que (1

X,Y
)

= O

Y,p
= O
Y,p
. controllare
Ejemplo: Pic P
n
K
=?.
Una hypersupercie es lo mismo que el lugar de ceros de una seccin de O
P
n(d), luego
Pic P
n
K
= ZO
P
n(1). Si tenemos D Div(P
n
K
), con D =

n
i
X
i
y la correspondencia X
i

O
P
n(d
i
), as que D O
P
n(

n
i
d
i
). No hay mas brados lineales que los O
P
n(d).
Construccin. Sea Y un esquema de tipo nito sobre un cuerpo K, propio, entonces (difcil),
L(Y ) es un espacio vectorial sobre K de dimensin nita. Nos acordamos que tenemos una
correspondencia entre los L brados lineales sobre Y y los haces L.
Sea V =< x
0
, x
1
, . . . , x
n
> L(Y ) un subespacio vectorial de dimensin < .
Ejemplo. Y = P
1
K
y L = O
P
1(4), V =< t
4
0
..
x
0
, t
3
0
t
1
..
x
1
, t
0
t
3
1
..
x
2
, t
4
1
..
x
3
>, de dimensin 4, mientras
L(Y ) = K[t
0
, t
1
]
4
, de dimensin 5.
Si dimV = n + 1, como obtengo K[x
0
, . . . , x
n
]?
Creo que vamos a ver que
K[x
0
, . . . , x
n
] =

d0
S
d
V
anillo graduado. Entonces
P
n
K
= Proj
_

d0
S
d
V
_
S
d
V L
d
(Y )

d0
S
d
V

d0
L
d
(Y ) anillo graduado.
49
Tenemos que ker = I ideal homogneo. Cogemos
Proj
_

d0
S
d
V
I
_
esquema proyectivo.
Volvemos a nuestro ejemplo
S
2
V (O
P
1(8))(P
1
) = K[t
0
, t
1
]
8
x
2
0
t
8
0
x
0
x
1
t
7
0
t
1
x
0
x
2
t
5
0
t
3
1
x
0
x
3
t
4
0
t
4
1
x
2
1
t
6
0
t
2
1
x
1
x
2
t
4
0
t
4
1
x
1
x
3
t
3
0
t
5
1
x
2
2
t
2
0
t
6
1
x
2
x
3
t
0
t
7
1
x
2
3
t
8
1
podemos observar que I
Z
=< x
0
x
3
x
1
x
2
>, donde las coordenadas x
0
, . . . , x
3
estn dadas
por
P
1
K
P
3
K
(t
0
: t
1
) (t
4
0
: t
3
0
t
1
: t
0
t
3
1
: t
4
1
)
Necesito que cada punto y Y dena un punto de P
n
K
. Observamos que un punto de P
n
K
es
la interseccin de n hiperplanos hiperplano de P
n
K

(conjunto de todos los hiperplanos de

P
n
K
que se anulan en el punto).
Idea Cada Punto de Y debe denir un hiperplano de V (secciones globales de L que estn
en V y se anulan en y).
Denicin 47 Se dice que V L(Y ) genera L en el punto y si V (y) = s V : s(y) = 0
V es una inclusin estricta, V (y) es un hiperplano de V .
Observacin. Dada una recta < s
0
, s
1
> en V ,
0
,
1
K tales que
0
s
0
+
1
s
1
V (y).
Se dice que V genera L si lo genera en cada punto de Y .
Observamos que
Y P(V )

= P(V

) = P
n
K
y V (y)
50
donde los hiperplanos vienen dados por los elementos de (V

= V . Adems V (y) V
nos dice que V

V (y)

es una aplicacin sobreyectiva

y (x
0
(y) : . . . : x
n
(y))
Observacin. Si tenemos
V
t

@
@
@
@
@
@
@
@
L(Y )
V

z
z
z
z
z
z
z
z
entonces tenemos un aplicacin Y P(V

) P(V
t

). Cogiendo x
0
, . . . , x
n
base de V
t
,
tenemos
V
t
L(Y )
x
0
, . . . , x
n
s
0
, . . . , s
n
la aplicacin mencionada antes es de la forma
Y P(V

) P(V
t

)
y (s
0
(y) : . . . : s
n
(y)).
Haciendo otro ejemplo podemos considerar
P
1
P
5
(t
0
: t
1
) ( t
4
0
..
x
0
: t
3
0
t
1
..
x
1
: t
2
0
t
2
1
..
x
2
: t
2
0
t
2
1
..
x
3
: t
0
t
3
1
..
x
4
: t
4
1
..
x
5
)
La imagen va a estar contenida en el hiperplano de ecuacin x
2
= x
3
.
Si Y P
n
K
y L = O
Y
(1), considerando la aplicacin
V
t
= (O
P
n(1))(P
n
) (O
Y
(1))(Y )
con la construccin anterior obtengo la inclusin Y P
n
K
.
controllare e chiedere questo punto
Sea V = L(Y ) con V K[x
0
, . . . , x
n
] me da un morsmo
Y

L
P
n
K
= P(L(Y )

).
La imagen del morsmo Im
L
no est contenida en un hiperplano (morsmo no degenerado).
Llamamos a (I
1
= ker(V L(Y ))).
51
Si V L(Y ), donde la inclusin es propia, estricta, tenemos
P(L(Y )

u
u
u
u
u
u
u
u
u
u

I
I
I
I
I
I
I
I
I
I
P(V )

donde
V
(Y ) no es linealmente normal porque
V
(Y ) = (
L
(Y )), con
L
(Y ) no degenerada.
V L(Y ) genera L en el punto y, si V O
Y
ev
V
L es sobreyectiva en la espiga de y, entonces
tenemos que
Y V
ev
V
L
(y
t
, s) s(y
t
)
donde
L

Y
s

tenemos que dimL

y
= 1 as que ev
V
(y) sobreyectiva ev
V
(y) , 0 s V cons(y) ,= 0
V (y) V , inclusin estricta.
Denicin 48 Si T es un haz coherente se dice que un subespacio V de las secciones globales
genera el punto y si el morsmo V O
Y
T es sobrayectivo en la espiga de y.
Vemos ahora la generalizacin de la construccin para brados F de rango arbitrario s + 1.
Sea V F(Y ) , con dimV = n, que generan el brado F. Considero para cada y Y ,
V (y) = s V [ s(y) = 0
de codimensin s + 1 en V .
En P(V

) = P
n
, V (y) dene un subespacio lineal de dimensin s. Tenemos
V

..
n+1
V (y)

. .
ns
que me da
Y G(s, n) = subespacios de P
n
de dimensin s
Denicin 49 L se dice que es muy amplio si
L
es una inmersin cerrada.
Se dice que L es amplio si existe d tal que L
d
es muy amplio.
52
Ejemplo. Si Y = P
n
K
y L = O
P
n(d)
Si d > 0 entonces L no tiene secciones,
SI d = 0 entonces
L
es la aplicacin constante P
n
K
P
0
K
=punto,
Si d > 0 entonces
L
= v
d
la inmersin de Veronese.
Un caso particular de este tipo es dado por n = 1, donde obtengo
v
d
: P
1
K
P
d
K
(t
0
, t
1
) (t
d
0
: t
d1
0
t
1
: . . . : t
d
1
)
cuya imagen es la curva racional normal de grado d. En general la aplicacin de Veronese
tiene una inmersin
v
d
(P
n
K
) P
(
n+d
d
)1
K
.
Ejemplo. Si
Y = P
n
P
m

1
.q
q
q
q
q
q
q
q
q
q
q

N
N
N
N
N
N
N
N
N
N
N
P
n
P
m
obtenemos que
O
P
n
P
m(a, b) =

1
O
P
n(a)

2
O
P
m(b).
Si cogemos L = O
P
n
P
m(1, 1) entonces L(Y ) = K[x
0
, . . . , x
n
, y
o
, . . . , y
m
]
(1,1)
formas bihomo-
gneas de grado 1,1. La aplicacin asociada es dada por

L
=
n,m
: P
n
K
P
m
K
P
(n+1)(m+1)1
(x
0
, . . . , x
n
) (y
0
, . . . , y
n
) (x
0
y
0
: x
0
y
1
: . . . : x
n
y
m
)
llamada inmersin de Segre, donde las ecuaciones en el espacio de llegada estn denida por
el anularse de los menores de orden 2 de la matriz
_
_
_
_
_
_
x
0
y
0
x
0
y
1
x
0
y
m
x
1
y
0
x
1
y
1
. . . x
1
y
m
.
.
.
.
.
.
x
n
y
0
. . . . . . x
n
y
m
_
_
_
_
_
_
.
53
El punto de la situacin
Establecer el lenguaje y los objectos con los que queremos trabajar.
Trabajar con ellos: tcnicas de trabajo.
Hemos siempre considerado X P
n
K
conjuntos proyectivos, cuya generalizacin son los es-
quemas de tipo nito sobre un cuerpo K (propios, separados,...).
Nuestros esquemas localmente sern siempre de la forma Spec
_
K[x
1
,...,xn]
I
_
.
Haz coherentes. Consideramos los haces de ideales que hemos encontrado. Tenemos unas
correspondecias
haces localmente libres brados vectoriales

haces invertibles brados lineales > morsmos al proyectivo

Dado L haz invertible sobre X, podemos tener V L(X) secciones que generan L, hemos
visto tal que
V
: X P(V

). En el caso V = L(X) tenemos

/
: X P(L(X)

).
Pregunta: cmo se calcula dimL(X)?
Resula que la buena pregunta es otra; hay que introducir la cohomologa de haces.
Cohomologa de Haces
Como surge la cohomologa?
Sea X un espacio topolgico que tiene una sucesin exacta de haces de anillos sobre l:
0 T
t
T T
tt
0
(por ejemplo un haz de O
X
-mdulos para X un esquema). Por denicin la sucesin es
exacta si y solo si
0 T
t
x
T
x
T
tt
x
0
es exacta para cada x X.
Vamos a ver que, al tomar secciones globales, para que siga siendo exacta, hay que quitar la
echa al cero a la derecha, solo es exacto el trozo
0 T
t
(X) T(X) T
tt
(X)
Sea s
t
T
t
(X) que va a cero: s
t
0. Esto implica que s
t
x
0 al verlo en la sucesin de
espigas. Una seccin s
t
que es cero en cada espiga es cero en cada espiga. Existen entonces
54
abiertos U
x
tales que s
t
[Ux
= 0; para este recubrimiento los axiomas de haces implican s
t
0.
Tambin es evidente que Im(T
t
(X) T(X)) ker (T(X) T
tt
(X)), por la misma
razn que antes.
Ahora s
t
x
0 y s
x
= (s
t
x
) para algn s
t
x
, esto quiere decir que existe un entorno U
x
de x
tal que s
[Ux
= (s
t
[Ux
) con s
t
T
t
(U
x
). Mas precisamente s
t
(x) s
[Ux
(s
t
depende de x).
Sea X =

iI
U
i
y tenemos que s 0, entonces T
t
(U
i
) s
t
i
s
[U
i
i.
Para pegar los s
t
i
a que den una seccin global s
t
tal que s
t
[U
i
= s
t
i
, necesito que s
t
i[U
i
U
j
=
s
t
j
[U
i
U
j
. Ambos estn en T
t
(U
i
U
j
)

T(U
i
U
j
) y sus imgenes coinciden: son s
[U
i
U
j
.
La aplicacin es injectiva!!! Entonces s
t
i[U
i
U
j
= s
t
j
[U
i
U
j
.
En n 0 T
t
(X) T(X) T
tt
(X) es exacta.
Que es lo que falla para que T(X) T
tt
(X) sea sobreyectiva?
Sea s
tt
T
tt
(X). Pasando a espigas y de all a recubrimientos por abiertos, tenemos que
existe X =

iI
U
i
con
s
tt
[U
i
T
tt
(U
i
)

s
i
T(U
i
)
Puedo pegar ahora las s
i
?
T(U
i
U
j
)

T
tt
(U
i
U
j
)
s
i[U
i
U
j

P
P
P
P
P
P
P
P
P
P
P
P
s
tt
[U
i
U
j
s
j
[U
i
U
j

o
o
o
o
o
o
o
o
o
o
o
o
pero el morsmo NO es sobreyectivo.
Luego s
i[U
i
U
j
s
j
[U
i
U
j
0 y existe s
t
ij
T
t
(U
i
U
j
), que no nos va bien.
Parece ser que de s
tt
surge, de forma natural, una aplicacin de T
tt
(X) a

i,j
T
t
(U
i
U
j
) de
la forma s
tt
(s
t
ij
). Es un morsmo (de anillos de mdulos).
En general, dado un recubrimiento por abierto de X, X =

iI
U
i
:= U, con I conjunto
totalmente ordenado, y dado un haz T sobre X, ponemos
(
p
(U, T) =

i
0
<i
1
<...<ip
T(U
i
0
. . . U
ip
)
55
y consideramos la aplicacin diferencial
: (
p
(U, T) (
p+1
(U, T)
T(U
i
0
. . . U
ip
) (s
i
0
ip
)
i
0
<...ip
(t
i
0
i
p+1
)
i
0
<...<i
p+1
=

p+1
j=0
(1)
j
s
i
0

i
j
i
p+1
[U
i
0
...U
i
p+1
Se tiene = 0, entonces (
0
(U, T)

(
1
(U, T)

(
2
(U, T)

complejo de cadenas.
Llamamos
H
p
(U, T) =
ker ( : (
p
(U, T) (
p+1
(U, T))
Im( : (
p1
(U, T) (
p
(U, T))
Ejemplo. Si p = 0, tenemos
(
0
(U, T) =

iI
T(U
i
)
delta
(
1
(U, T) =

i < jT(U
i
U
j
)
(s
i
) (s
j
s
i
)
ij
donde en el espacio de llegada s
i
= s
iU
i
U
j
y s
j
= s
j
U
i
U
j
, porque por denicin estamos
considerando las restricciones. Tenemos que
H
0
(U, T) = ker
_
: (
0
(U, T) (
1
(U, T)
_
T(X).
son los s T(U
i
) tales que (s
j
s
i
)
[U
i
U
j
= 0: son las secciones globales!.
En realidad, la aplicacin T
tt
(X)

i,j
T
t
(U
i
U
j
) tiene como codominio el espacio
H
1
(U, T
t
), ya que se puede ver que la diferencial es cero y se modicamos la eleccin
de s
t
ij
segundo a otra eleccin de una preimagen s
i
s
tt
i
, obtenemos que variamos a la
imagen (
0
(U, T
t
)

(
1
(U, T
t
). Entonces realmente obtenemos una aplicacin T
tt
(X)
H
1
(U, T
t
).
Tenemos una sucesin exacta larga
0

H
0
(U, T
t
)

H
0
(U, T)

H
0
(U, T
tt
)
.h
h
h
h
h
h
h
h
h
h
h
h
h
h
h
h
h
h
h
h
h
h
H
1
(U, T
t
)

H
1
(U, T)

H
1
(U, T
tt
)
.h
h
h
h
h
h
h
h
h
h
h
h
h
h
h
h
h
h
h
h
h
h
H
2
(U, T
t
)


Todo esto parece depender del recubrimiento U =

U
i
. Si U
t
=

U
t
i
es otro recubrimien-
to, un renamento de U, existe un morsmo natural H
p
(U, T) H
p
(U
t
, T). Se dene
H
p
(X, T) = lm
U
H
p
(U, T).
Observaciones.
56
1. Si X es un esquema afn, entonces H
p
(X, T) = 0 para cada p > 0 y todo haz coherente
T.
2. Si U es un recubrimiento afn de X, basta calcular H
p
(U, T) para calcular H
p
(X, T),
sin que sea necesario calcular limites.
3. T(X) = H
0
(X, T).
Teorema 50 Si X es un esquema de tipo nito sobre K y T es un haz coherente, H
p
(X, T) =
0 para cada p > dimX.
Idea de la cosa. Supongamos que X P
n
K
e irreducible di dimX = r. Entonces existen
H
0
, . . . , H
r
hyperplanes tales que X H
0
. . . H
r
= , X =

r
i=0
U
i
, con U
i
= XH
i
que son abiertos anes.
Denicin 51 (Caracterstica de Euler) (T) =

p
(1)
p
h
p
(X, T) donde h
p
(X, T) =
dimH
p
(X, T).
Cohomologa de T = O
P
2(l) El recubrimiento ser dado por U = U
0
, U
1
, U
2
, donde
U
i
= x
i
,= 0
(
0
(U, T)

(
1
(U, T)

(
2
(U, T)
T(U
0
) T(U
1
) T(U
2
) T(U
0
U
1
) T(U
0
U
2
) T(U
1
U
2
) T(U
0
U
1
U
2
)
Recodamos que O
P
2(l) =

S(l) y S(l) = K[x
0
, x
1
, x
2
] shiftado de l en el grado. Tenemos
T(U
0
) =
_
F
x
a
0
[ F S
l+a
_
T(U
1
) =
_
F
x
a
1
[ F S
l+a
_
T(U
2
) =
_
F
x
a
0
[ F S
l+a
_
Observamos que
U
i
= D
+
(x
i
) U
i
U
j
= D
+
(x
i
x
j
) U
i
U
j
U
k
= D(x
i
x
j
x
k
)
entonces podemos sacar que
T(U
0
U
1
) =
_
F
(x
0
x
1
)
a
[ F S
l+2a
_
57
y analogamente para otras intersecciones
T(U
0
U
1
U
2
) =
_
F
(x
0
x
1
x
2
)
a
[ F S
l+3a
_
Vamos ahora a ver como se portan las aplicaciones de borde de Cech (
i
(
i+1
_
F
0
x
a
0
,
F
1
x
a
1
,
F
2
x
a
2
_

_
x
a
0
F
1
x
a
1
F
0
(x
0
x
1
)
a
,
x
a
0
F
2
x
a
2
F
0
(x
0
x
2
)
a
,
x
a
1
F
2
x
a
2
F
1
(x
1
x
2
)
a
_
_
G
01
(x
0
x
1
)
a
,
G
02
(x
0
x
2
)
a
,
G
12
(x
1
x
2
)
a
_

x
a
0
G
12
x
a
1
G
02
+x
a
2
G
01
(x
0
x
1
x
2
)
a
Clculo de la cohomologa
H
0
(O
P
2(l))
Estoy buscando las secciones globales del brado por lo que hemos dicho antes, que
por la exactitud son el ncleo del primer morsmo, entonces usamos la regla
x
a
0
F
1
x
a
1
F
0
= 0 x
a
0
F
1
= x
a
1
F
0

F
1
x
a
1
=
F
0
x
a
0
Obtenemos los polinomios homogneos de grado l
H
2
(O
P
2(l))
Cogemos F S
l+3a
. Tenemos que
F
(x
0
x
1
x
2
)
a
Im
1
F (x
a
0
, x
a
1
, x
a
2
).
Si deg F > 3(a 1), hay por lo menos un termino para cada monomio entre x
0
, x
1
y
x
2
que aparece con grado a, entonces F (x
a
0
, x
a
1
, x
a
2
).
l +3a 3a 3 +1 l 2 signica que cualquier elemento de (
2
est en la imagen
de (
1
, as que H
2
(P
2
, O
P
2(l)) = 0.
Generalizando H
n
(P
n
, O
P
n(l)) = 0 si l n, en P
n
.
En nuestro caso si l = 3 (o l = n 1 en general), obtengo deg F = 3a 3.
H
2
(P
2
, O
P
2(3)) est generado por la clase de
x
a1
0
x
a1
1
x
a1
2
(x
0
x
1
x
2
)
a
=
1
x
0
x
1
x
2
Todo se puede generalizar as que h
n
(P
n
, O
P
n(n 1)) = 1.
Si l 3 consideramos la aplicacin
S
3l
H
2
(P
2
, O
P
2(l)) H
2
(P
2
, O
P
2(3))
_
G,
_
F
(x
0
x
1
x
2
)
a
__

_
GF
(x
0
x
1
x
2
)
2
_
58
esto es un par perfecto perfecto de dualidad, H
2
(P
2
, O
P
2(l)) S

3l
como K-
espacios vectoriales.
En general
H
n
(P
n
, O
P
n(l)) S

n1l
para P
n
como K-espacios vectoriales
Esto ya nos dice para P
n
que en los extremos tenemos polinomios homogneos, tanto
en H
0
cuanto en H
n
.
H
1
(P
2
, O
P
2(l))
Tomamos
_
G
01
(x
0
x
1
)
a
,
G
02
(x
0
x
2
)
a
,
G
12
(x
1
x
2
)
a
_
ker(
1
) x
a
0
G
12
x
a
1
G
02
+x
a
2
G
01
()
= 0
tenemos que
x
a
0
G
12
(x
a
1
, x
a
2
) G
12
(x
a
1
, x
a
2
)
observando que (x
a
1
, x
a
2
) no es primo pero es primario, y la echa esta dada por el hecho
x
a
0
,
_
(x
a
1
, x
a
2
).
G
12
= x
a
1
F
2
x
a
2
F
1
por ()
x
a
0
x
a
1
F
2
x
a
0
x
a
2
F
1
x
a
1
G
02
+x
a
2
G
01
= 0
x
a
1
(x
a
0
F
2
G
02
) = x
a
2
(x
a
0
F
1
G
01
) F
0
t.q
x
a
0
F
2
G
02
= x
a
2
F
0
x
a
0
F
1
G
01
= x
a
1
F
0
ker
1
= Im
0
H
1
(P
2
, O
P
2(l)) = 0 l Z.
Analogamente
H
p
(P
n
, O
P
n(l)) = 0 l Z.
Al nal
H
p
(P
n
, O
P
n(l)) =
_

_
S
l
p = 0
0 0 < p < n
S

n1l
p = n
()
Esto siempre es cierto?
Consideramos
S
n+1
S(1)
(F
0
, . . . , F
n
) x
0
F
0
+. . . +x
n
F
n
0
P
n(1) O
n+1
P
n
O
P
n(1) 0
59
H
0
(
P
n(l)) = 0 si l 0
0

H
0
(
P
n(1))

H
0
(O
P
n)
n+1

H
0
(O
P
n(1))

H
1
(
P
n(1))

0
K
n+1
S
1
(, . . . ,
n
)


(
0
x
0
+. . . +
n
x
n
)
luego se descubre que es un isomorsmo, entonces
H
0
(
P
n(1)) = H
1
(
P
n(1)) = 0
0

H
0
(
P
n(l))

H
0
(O
P
n(l 1))
n+1
()

H
0
(O
P
n(l))
.eeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
H
1
(
P
n(l))

0
En general H
p
(
P
n(l)) = 0 si 2 p n 1. Observamos adems que () es sobreyectiva si
l > 0 y 0 si l < 0, entonces
H
1
(
P
n(l)) = 0 si l ,= 0 y h
1
(
P
n) = 1.
Demostracin alternativa de que H
p
(P
n
, O
P
n(l)) = 0 si 0 < p < n, para cada l Z, atencin
de todas formas al caso p = 1, hay algo que corregir.
Por induccin sobre n. Si n = 1 es trivial o si n = 2 es el caso que hemos visto. Truco, ver
P
n
como hiperplano de P
n+1
. Considero la sucesin exacta
0 S(1)
S
(x
n
)
0
con S = K[x
0
, . . . , x
n
] y
S
(xn)
K[x
0
, . . . , x
n1
]. Hacicando la sucesin exacta si tiene
0 O
P
n(1) O
P
n i

O
P
n1 0
donde identicamos P
n1
= H
n
= V (x
n
) P
n
.
Tensorizado por O
P
n(l)
0 O
P
n(l 1) O
P
n(l) i

O
P
n1(l) 0.
Por hipotesis de induccin
H
p
(P
n
, O
P
n(l 1)) H
p
(P
n
, O
P
n(l))
_

_
si 2 p n 2
epi si p = 1
mono si p = n 1
60
Si 2 p n 2
h
p
(O
P
n(l 1)) = h
p
(O
P
n(l))
as que
. . . = h
p
(O
P
n(2)) = h
p
(O
P
n(1)) = h
p
(O
P
n) = h
p
(O
P
n(1)) = . . .
si p = 1
. . . h
1
(O
P
n(1)) h
1
(O
P
n) h
1
(O
P
n(1)) . . .
si p = n 1
. . . h
n1
(O
P
n(1)) h
n1
(O
P
n) h
n1
(O
P
n) . . .
Aqu hay que utilizar un teorema fuerte de Serre.
Teorema 52 (Serre) Si T en un haz coherente sobre P
n
, entonces l
0
>> 0 tal que l > l
0
,
H
p
(T(l)) = 0 p > 0.
Con esto tenemos que h
p
(O
P
n(l)) = 0 para cada 2 p n 2 y h
n1
(O
P
n(l)) = 0. Queda
abierto el h
1
.
Coletilla del teorema di Serre. Adems, si T es localmente libre, H
p
(T(l)) = 0, l << 0
y p < n.
Vamos a ver que pasa para un haz coherente T: de
0 O
P
n(l 1) O
P
n(l) i

O
P
n1(l) 0
tensorizando por T no se preserva la exactitud a la derecha salen as los funtores derivados!
Supongamos que 0 T
t
T T
tt
0 sea una sucesin exacta de haces coherentes.
Considerando Hom((, ) obtenemos
0

Hom((, T
t
)

Hom((, T)

Hom((, T
tt
)
.g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
cxt
1
((, T
t
)

cxt
1
((, T)


Considerando de otro lado Hom(, () obtenemos
0

Hom(T
tt
, ()

Hom(T, ()

Hom(T
t
, ()
.g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
cxt
1
(T
tt
, ()

cxt
1
(T, ()


Si T es localmente libre, entonces cxt
i
(T, () = 0, i > 0, ( coherente (2). Obervacin.
Porqu pusimos Hom?
61
Hom((, ) el haz de homomorsmos de G en .
Hom(G, ) son los homomorsmos de ((X) a
(
X), creo que sean lo morsmos globales, esto
ya no es un haz
0

Hom(T
tt
, ()

Hom(T, ()

Hom(T
t
, ()
.g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
g
Ext
1
(T
tt
, ()

Ext
1
(T, ()


_

_
(1)
Analogamente para Hom(, () y Hom(, ().
Observacin. Si ( es localmente libre
Hom((, T)

= (

T
Hom((, T)

= H
0
((

T)
Razn Si M es A-mdulo libre, Hom
A
(M, N) M

A
N con isomorsmo n
m (m) n.
Consecuencia. Si ( es localmente libre, de (1) se saca
0 H
0
((

T
t
) H
0
((

T) H
0
((

T
tt
)
Como 0 T
t
T T
tt
0 queda exacta al tensorizar por (

, y se tiene
Ext
i
((, T) = H
i
((

T).
Observacin. ( localmente libre NO IMPLICA que Ext
i
((, T) = 0 i > 0, en contradiccin
con (2).
Ejemplo. ( = O
P
n, T =
P
n = Ext
i
((, T) = H
1
(
P
n) ,= 0!
Teorema de la Dualidad de Serre
Si X es una variedad lisa, tiene un brado cotangente
X
(localmente libre de rango igual
a dimX generado por las diferenciales). Si Y X subvariedad lisa, existe
X[Y

[Y
epimorsmo que consiste en las restricciones de las diferenciales.
Denicin 53 Se llama FIBRADO CONORMAL de Y en X al ncleo del epimorsmo de
arriba. Se llama FIBRADO NORMAL de Y en X al dual del brado conormal, denotado
con N
Y [X
.
62
Observaciones.
1. Si f
1
, . . . , f
r
son ecuaciones en un abierto de X que denen Y , entonces N

Y [X
esta
generado por f
1
, . . . , f
r
.(per me sono i dierenziali)
2. Por ser Y, X lisos se puede tomar r = codimY = dimX dimY .
Puedo denir 1
Y,X

Y [X
, que localmente es
g
1
f
1
+ +g
r
f
r
(g
1
df
1
+ +g
r
df
r
)
[Y
donde estoy restringiendo al abierto donde est denido todo.
Que ocurre si g
1
f
1
+ +g
r
f
r
= 0?
Esto implica que g
1
df
1
+ + g
r
df
r
+ dg
1
f
1
+ + dg
r
f
r
= 0. Siendo las f
j
las ecuaciones
que denen Y en X cuando restrinjo a Y la ultima equivalencia, la segunda mitad me sale
cero. As que tiene que ser g
1
df
1
+ +g
r
df
r
= 0, que nos dice que esta bien denida.
Conclusin. ker = 1
2
Y,X
, obteniendo la sucesin exacta
0

1
2
X,Y

1
X,Y

G
G
G
G
G
G
G
G
G

X[Y


Y

0
i

Y [X

J
J
J
J
J
J
J
J
J
J

v
v
v
v
v
v
v
v
v
0

u
u
u
u
u
u
u
u
u
u
0
Tenemos que N

Y [X

1
Y,X
1
2
Y,X
que una estructura de
O
X
1
Y,X
= O
Y
-mdulo. No necesito hacer el
i

en este caso porque ya estoy en el ambiente justo.

Observacin. En general se dene el haz conormal como
1
Y,X
1
2
Y,X
cociente.
Dada X lisa de dimensin n, se llama brado lineal canonico a
_
n

X
y cualquier divi-
sor suyos (divisor asociados al brado) se llama divisor canonico.
Notacin
X
: haz cannico que corresponde al brado lineal.
Teorema 54 (el Gordo) Si X P variedades lisas irreducibles y r = codimX, entonces
cxt
i
C
P
(O
X
,
P
) =
_
0 si i ,= r

X
si i = r
63
CASO PROYECTIVO
Sea X = P
n
. Se puede construir una aplicacin
H
0
(P
n
, O
P
n(d)) H
n
(P
n
, O
P
n(n d 1)) H
n
(P
n
, O
P
n(n 1))
. .
dim1
observando que O
P
n(n 1) =
P
n.
Siempre es importante tener a mente la sucesin
0
P
n O
P
n(1)
n+1
O
P
n 0
llamada "Sucesin de Euler".
En general se puede denir H
0
(X, T) H
i
(X, () H
i
(X, T (). Mas en general existe
algo del tipo H
i
( ) H
j
( ) H
i+j
( ). Vamos a dar una idea de lo que esta pasando, el
signicado es
Ext
1
(T, () = 0 ( H T 0 /
Dos extensiones son equivalentes
0

(

H

h

T

0
0

(

H
t
T

0
si existe h isomorsmo (que es isomorsmo por el lema de la serpiente) tal que el diagrama
conmuta. En general
Ext
i
(T, () = 0 ( H
1
. . . H
i
T 0 /
donde la relacin de equivalencia
0

(

H
1

. . .

H
i

T

0
0

(

H
t
1

. . .

H
t
i

T

0
se en numero nito de paso (las echas pueden ir arriba o abajo, pero el mismo paso van a
la misma direccin) relaciono las dos sucesiones.
De forma limpia
H
i
(X, T) Ext
j
(T, () Ext
i+j
(O
X
, () = H
i+j
(X, ()
64
que obtenemos observando que H
i
(X, T) = Ext
i
(O
X
, T) y uniendo su sucesin exacta del
Ext con la de Ext
j
(T, () tenemos
0
0

T

v
v
v
v
v
v
v
v
v
v
v
. . .
i pasos

O
X

0

l pasos

v
v
v
v
v
v
v
v
v
v
(

v
v
v
v
v
v
v
v
v
v
0

y uniendo las dos sucesiones ya hemos generalizado.

Teorema 55 (Dualidad de Serre) Si X es una variedad lisa, entonces
i) h
n
(X,
X
) = 1
ii) La aplicacin
H
i
(X, T) Ext
ni
(T,
X
) H
n
(X,
X
)
es un emparejamiento perfecto y por tanto
Ext
ni
(T,
X
)

= H
i
(X, T)

.
En particular si T es localmente libre tenemos la versin famosa del Teorema de
Dualidad de Serre
H
ni
(X, T

X
)

= H
i
(X, T)

Idea de la demostracin.
Sea X P
n
entonces por el teorema Gordo

X
= cxt
Nn
C
P
N
(O
X
,
P
N).
Cogemos
H
n
(X, cxt
Nn
C
P
N
(O
X
,
P
N))
65
observando que no siempre el H
0
(cxt) = Ext porque a lo mejor cxt solo es un prehaz.
Puedo pero siempre asociar, gracias a sucesiones espectrales
H
i
(X, cxt
j
(T, ()) ;Ext
i+j
(T, ()
la idea, muy imprecisa, es coger las parejas i, j con suma ja y hacer una especie de suma
directa de todos H
i
(cxt
j
).
Siempre por el teorema Gordo
H
n
(X, cxt
Nn
(O
X
,
P
N) ;Ext
N
(O
X
,
P
N) = H
N
(
P
N)
. .
dim1
Frmula de Adjuncin Sea X una variedad lisa y F un brado vectorial de rango r con
una seccin s que se anula en Y X lisa de codimensin r, entonces N
Y [X
= F
[U
.
Localmente X =

U
i
de forma que F
[U
i
U
i
K
r
entonces s
[U
i
= (f
i
1
, . . . , f
ir
) con f
i
j

O
X
(U
j
), son funciones regulares; tengo que las ecuaciones locales de Y in X son exactamente
las f
i
j
. N

Y [X
es generado localmente en U
i
Y por df
i
1
, . . . , df
ir
.
Paso de U
i
a U
j
.
En U
i
U
j
_
_
_
f
i
1
.
.
.
f
ir
_
_
_
= A
ij
_
_
_
f
j
1
.
.
.
f
jr
_
_
_
donde A
ij
son las matrices de transicin del brado F que ya tengo dadas con el brado.
Hago la diferencial de f
i
1
= a
11
f
j
1
+a
12
f
j
2
+. . . +a
1r
f
jr
que me sale
df
i
1[Y
= a
11
df
j
1[Y
+a
12
df
j
2[Y
+. . . +a
1r
df
jr
[Y
restringiendo a Y los dems trminos se han quedado nulos porque son exactamente los
trminos que denen Y
_
_
_
_
df
i
1[Y
.
.
.
df
ir [Y
_
_
_
_
= A
ij
[Y
_
_
_
_
df
j
1[Y
.
.
.
df
jr
[Y
_
_
_
_
entonces tenemos que
g
1
df
i
1[Y
+g
2
df
i
2[Y
+. . . +g
r
df
ir [Y
= (g
1
, . . . , g
r
)
_
_
_
_
df
i
1[Y
.
.
.
df
ir [Y
_
_
_
_
= (g
1
, . . . , g
r
)A
ij
[Y
. .
(g

1
,...,g

r
)
_
_
_
_
df
j
1[Y
.
.
.
df
jr
[Y
_
_
_
_
66
as que tenemos
_
_
_
g
t
1
.
.
.
g
t
r
_
_
_
= A
ij
T
[Y
_
_
_
g
1
.
.
.
g
r
_
_
_
Las coordenadas en U
i
son la g
1
, . . . , g
r
y para obtener las coordenadas en U
j
, las g
t
1
, . . . , g
t
r
,
tengo que multiplicar por A
i,j
T
[Y
.
_
_
_
g
1
.
.
.
g
r
_
_
_
=
_
A
ij
T
[Y
_
1
_
_
_
g
t
1
.
.
.
g
t
r
_
_
_
esto es el pasaje por el brado conormal, por el brado normal dualizo y ya tengo todo.
Clculo de cxt
r
C
P
N
(O
X
,
P
N). Sabemos que O
X
=
C
P
N
7
X,P
N
y 1
X,P
N localmente est generado
por f
1
, . . . , f
r
.
X localmente est denida por f
1
, . . . , f
r
, tantas funciones cuanta es la codimensin.
Localmente si A = O
P
N(U) tengo el complejo de Koszul
0

A =
_
r
A
r



_
2
A
r
A
r

F
F
F
F
F
F
F
F
F
F
F
F

A

A
(f
1
, . . . , f
r
)

0
(f
1
, . . . , f
r
)

x
x
x
x
x
x
x
x
x
x
x
x

K
K
K
K
K
K
K
K
K
K
K
0

s
s
s
s
s
s
s
s
s
s
s
0
Nos dice que localmente
0 O
U
O
r
U
O
U
O
XU
0
tengo una solucin libre.
Cogiendo polinomios tengo
0 S(N1) S(2)
(
N+1
2
)
S(1)
N+1
S
S = K[x
0
, . . . , x
n
]
(x
0
, . . . , x
n
)
K 0
y los haces asociados
0 O
P
N(N 1) O
P
N(2)
(
N+1
2
)
O
P
N(1)
N+1
O
P
N 0
Localmente tengo isomorsmos del tipo
cxt
r
C
P
N
(O
X
,
P
N)
[U

=
P
N
[U
.
67
El isomorsmo est dado en dependencia de la eleccin de f
1
, . . . , f
r
, tenemos que ver lo
que pasa cuando cambio representantes. De todas formas el cambio es relacionado con los
cambios en el brado conormal que hemos visto antes, al nal vamos a tener
cxt
r
C
P
N
(O
X
,
P
N)

=
P
N det N
X,P
N

=
X
().
Cogiendo la sucesin
0 N

X,P
N

P
N
[X

X
0
y tomando determinantes

P
N det N

X,P
N

X
que nos da exactamente (). El determinante en realidad tendra que ser el producto exterior
pero en este caso coinciden.
Teorema de Riemann-Roch
Sea E un brado de rango r sobre X lisa proyectiva y s una seccin de E que se anule
exactamente un una subvariedad Y X lisa de codimensin r. Ya hemos visto que N
Y/X
=
E
[Y
.
Hemos hablado tambin del brado conormal en la sucesin exacta
0 N

Y/X
. .
r

X[Y
. .
n

Y
..
nr
0
Podemos sacar de esta sucesin
n

X[Y
. .

X|Y

_
r

N
Y/X
_

_
nr

Y
_
. .

Y
.
Si Y est denida as entonces

Y
= det N
Y/X

X[Y
Si r = 1 cogemos E = L = O
X
(Y ) entonces

Y
= L
[Y

X[Y
= (O
X
(Y )
X
)
[Y
o visto de forma divisorial
K
Y
= (Y +K
X
)
[Y
.
68
Ejemplo. Si X = P
n
y Y es interseccin completa de r hypersupercies de grado d
1
, . . . , d
r
( Y es el lugar de ceros de una seccin de O
P
n(d
1
) . . . O
P
n(d
r
)).
Hemos visto que
P
n = O
P
n(n1) y que N
Y/P
n = O
Y
(d
1
) O
Y
(d
r
), as que det N
Y/P
n =
O
Y
(d
1
+ d
r
) y por la formula de adjuncin

Y
= O
Y
(n 1 +d
1
+ d
r
).
El Teorema de Riemann Roch en una variedad X es una formula que calcula, para cada haz
coherente T, la caracterstica de T
(T) = h
0
(X, T) h
1
(X, T) +h
2
(X, T) + + (1)
n
h
n
(X, T)
en funcin de ciertos invariantes de T y X.
Vamos a coger dimX = 1, 2 y T haz invertible (hacemos los casos simples).
Riemann-Roch para brados lineales en curvas Sea C una curva lisa y L un brado
lineal.
Supongamos que L tiene una seccin no nula que se anula en un esquema D
i
C. Tenemos
la sucesin
0 1
D,C
= O
C
(D) O
C
i

O
D
0
donde i

O
D
es un haz soportado en puntos en puntos(si U es un abierto de C que no contiene
a los puntos entonces (i

O
D
)(U) = O
C
(D U
. .

) = 0). Observamos que (O

C
O
C
(D))
[D
=
(O
C
(D))
[D
= O
D
. Dicho esto tensorizamos nuestra sucesin por L = O
C
(D)
0 O
C
O
C
(D) = L i

O
D
0
Tenemos
(L) = (O
C
) +(i

O
D
)
donde (i

O
D
) = h
0
(C, i

O
D
) h
1
(C, i

O
D
).
Si D =

d
i
p
i
;

d
i
= deg D = h
0
(C, i

O
D
), mientras h
1
(C, i

O
D
) = 0 porque estamos
sobre puntos (dim0) y la cohomologa se anula por i mayores de la dimensin. Nos falta el
trozo
(O
C
) = h
0
(C, O
C
) h
1
(C, O
C
)
donde h
0
(C, O
C
) = 1 y por dualidad de Serre h
1
(C, O
C
) = h
0
(C,
C
) = g gnero de la curva.
Conclusin
(O
C
(D)) = h
0
(C, O
C
(D)) h
1
(C, O
C
(D)) = h
0
(C, O
C
(D)) h
0
(C, O
C
(K
C
D))
= 1 g + deg D
69
Si D es un divisor arbitrario, existe D
t
sucientemente amplio, grande, positivo t.q. D +D
t
tambin es muy amplio. En trmino de brados dado L un brado lineal existe L
t
muy
amplio t.q. L L
t
es muy amplio.
Repito el truco
0 O
C
O
C
(D
t
) i

O
D
0
tensorizo por O
C
(D)
0 O
C
(D) O
C
(D +D
t
) i

O
D
0
Como antes
(O
C
(D +D
t
)) = (O
C
(D)) +(i

O
D
)
con (i

O
D
) = deg D
t
el calculo es lo mismo y por lo que hemos visto antes (O
C
(D+D
t
)) =
1 g + deg(D +D
t
) = 1 g + deg D + deg D
t
as que vale
(O
C
(D)) = deg D + 1 g
para cualquier divisor.
Si D = K
C
entonces O
C
(D) =
C
que me dice esto?
Sabemos que (K
C
) = deg K
C
+ 1 g y ademas que (K
C
) = h
0
(C,
C
) h
1
(C,
C
) donde
h
0
(C,
C
) = g y por la dualidad de Serre h
1
(C,
C
) = h
0
(C, O
C
) = 1. Podemos sacar que
deg K
C
= 2g 2.
Si C es una curva plana lisa de P
2
de grado d signica O
P
2(C) = O
P
2(d) o igualmente que
C es lugar de ceros de una seccin de O
P
2(d). Por la formula de adjuncin:

C
= (O
P
2(3 +d))
[C
y
2g 2 = deg
C
= d(d 3) = d
2
3d
obtenemos la formula
g =
d
2
3d + 2
2
=
(d 1)(d 2)
2
.
Riemann-Roch para supercies Sea S una supercie lisa y sea L = O
S
(D) con D curva
lisa y D
i
S. Como antes L tiene una seccin que se anula en D
0 1
S,D
= O
S
(D) O
S
i

O
D
0
70
tensorizo por O
S
(D) y obtengo
0 O
S
O
S
(D) i

(O
D
(D)) 0
Observamos que i

(O
D
(D)) = (O
S
(D))
[D
esta vez la restriccin no es trivial porque tengo
una curva en lugar de puntos como divisor. Tenemos
(O
S
(D)) = (O
S
) +(i

(O
D
(D)))
donde (O
S
) = h
0
(S, O
S
) h
1
(S, O
S
) +h
2
(S, O
S
) con h
0
(S, O
S
) = 1, por dualidad de Serre
h
1
(S, O
S
) = h
1
(S,
S
) = q que se llama irregularidad, y siempre por Serre h
2
(S, O
S
) =
h
=
(S,
S
) = p
g
que se llama gnero geomtrico. El otro troz es (i

(O
D
(D))) = (i

L
[D
).
Para ver un poquito lo que no has salido hacemos una pequea
Parntesis: Teora de Hodge Sia X una variedad proyectiva compleja
i) H
i
(X, C) =

p+q=i
H
p,q
(X) donde H
p,q
(X) = H
p
(X,
q
X
) denotando
q
X
=
_
q

X
ii) H
p,q
(X) = H
q,p
(X)
Fin Parntesis
En nuestro caso H
1
(S,
S
) = H
1
(S,
_
2

S
= H
1,2
(S) = H
2,1
(S) y el H
2,1
(S) = H
2
(S,
S
).
As que podemos tambin calcular la irregularidad como
q = h
0
(S,
S
).
Vamos a ver el otro trozo
(i

L
[D
) = h
0
(S, i

L
[D
) h
1
(S, i

L
[D
) +h
2
(S, i

L
[D
)
= h
0
(D, L
[D
) h
1
(D, L
[D
) +h
2
(D, L
[D
)
. .
=0
y por el teorema de Riemann-Roch para curvas (L
[D
) = deg(L
[D
) + 1 g(D).
Recordar que L = O
S
(D) Que es deg(L
[D
)?
En general si L = O
S
(D) con D divisor y D
t
curva lisa de S, puedo denir
D.D
t
= deg(L
[D
).
Si L = O
S
(D) y D
t
es arbitrario, entonces existe D
tt
sucientemente amplio tal que D
t
+D
tt
sea amplio lo justo para parecer una curva lisa
D.(D
t
+D
tt
) = deg(L
[D

+D
)
D.D
tt
= deg(L
[D
)
_
deno D.D
tt
= deg(L
[D

+D
) deg(L
[D
).
71
Hemos descubierto que deg(L
[D
) = D.D = D
2
: hecho el primer trozo.
g(D)?
Por la formula de adjuncin K
D
= (K
S
+ D)
[D
y K
S
.D + D
2
= deg(K
D
). Podemos sacar
2g(D) 2 = K
S
.D +D
2
y al nal
g(D) =
K
S
.D +D
2
2
+ 1.
Conclusin
(O
S
(D)) = (O
S
) +D
2
+ 1
_
K
S
.D+D
2
2
_
+ 1 =
= (O
S
) +
D
2
K
S
.D
2
Observamos que esto est demostrado para D efectivo y todo lo dems bonito. Por D general
haremos el mismo truco de siempre: cogemos D
tt
sucientemente amplio tal que D+D
tt
sea
sucientemente amplio y ......
Al nal la formula vale para todo divisor.
Aplicaciones sobre Curvas
Sea X un esquema con todas las buenas propiedades que hemos visto y sea L un brado
lineal con h
0
(X, L) = n + 1. Ya hemos visto que se puede construir una aplicacin

L
: X P
n
donde el espacio de llegada es el espacio proyectivo cuyos hiperplanos son elementos de
H
0
(X, L).
Quiero decir que para cada hiperplano H tengo una correspondencia
H P
n
s H
0
(X, L)0
D = H
L
(X) (s)
0
= D
donde cuidado, esta interseccin es una interseccin de esquemas, donde pueden pasar todas
las cosas malas que ya hemos visto (multiplicidades, . . . ).
Teora de Curvas Sea X un esquema liso, irreducible, reducido, propio de dimensin
1 (son todas las propiedades buenas). Fijamos L brado lineal sobre X. Por Riemann-
Roch h
0
(X, L) h
1
(X, L) = deg L + 1 g, donde por la dualidad de Serre h
1
(X, L) =
h
0
(X,
X
L
1
) y
X
L
1
tiene grado 2g 2 deg L.
Corolario 56 Si deg L > 2g 2 entonces h
0
(X, L) = deg(L) + 1 g.
72
Cundo podemos decir que
L
dene un morsmo?
Observamos que
L
: X P
N
dene un morsmo L es generado por sus secciones
globales x X s H
0
(X, L) tal que s(p) ,= 0.
Cogemos la sucesin
0 L 1
p,X
L L
[p
0
sacamos para las sucesiones globales
0 H
0
(X, L 1
p,X
) H
0
(X, L)
()
H
0
(L
[p
) = K
La construccin vale () ,= 0, pero h
0
(L
[p
) = 1, as que vale () es sobreyectiva
h
0
(X, L 1
p,X
)
()
= h
0
(X, L) 1.
Si X es una curva entonces 1
p,X
= O
X
(p) como divisor. Vamos a calcular h
0
(X, L(p)) y
ver si vale ().
Si deg L(p) > 2g 2 tenemos
h
0
(X, L(p)) = deg(L(p))
. .
deg L1
+1 g
= h
0
(X, L) 1
Corolario 57 Si deg L > 2g 1 entonces
L
es un morsmo.
Como traduzco
L
inyectiva?
Por supuesto
L
inyectiva p, q X vale
L
(p) ,=
L
(q). Observamos que esto es
equivalente al hecho que exista un hiperplano que pasa por
L
(p) y no por
L
(q) existe
s H
0
(X, L) tal que s(p) = 0 pero s(q) ,= 0 s H
0
(X, L(p)).
Para cada p X ocurre que para cada q X exista s H
0
(X, L(p)) tal que s(q) ,= 0
L(p) generado por sus secciones.
Remark. Si deg L(p) > 2g 1 deg L > 2g = L(p) esta generado por sus secciones.
Cuidado, hemos hecho trampa porque para la inyectividad nos hace falta pedir q X con
q ,= p. Pero el caso q = p nos viene bien para que sea una inmersin, as que cogemos ambos
casos.
Ejemplo. Cogemos
P
1
P
2
(t
0
: t
1
) (t
3
0
: t
0
t
2
1
: t
3
1
)
cuya imagen en P
2
est dada por V (x
3
1
x
0
x
2
2
), curva cuspidal. Observamos que (1 : 0)
(1 : 0 : 0) que es un punto singular. Hemos cogido una morsmo inyectivo que pero no es
una inmersin.
73
Proposicin 58 El morsmo
L
es una inmersin cerrada si y solo si Z X esquema
de longitud 2 (h
0
(O
Z
) = 2), cogiendo la sucesin
0 L 1
Z
L L
[Z
0
y las secciones globales
0 H
0
(X, L 1
Z
) H
0
(X, L)

H
0
(L
[Z
) K
2
la aplicacin () es sobreyectiva.
Corolario 59 Si deg L > 2g entonces
L
es una inmersin cerrada (por denicin si y solo
si L es muy amplio).
Corolario 60 Si X es una curva, entonces L es amplio si y solo si deg L > 0.
De manera obvia h
1
(X, L) = h
1
(X,
X
(L
1
X
)) y por la dualidad de Serre h
1
(X, L) =
h
0
(X,
X
L
1
) que hemos visto ser igual a cero si deg L > 2g 2 = deg
X
. Todo esto nos
dice que
deg(L
1
X
) > 0 L
1
X
es amplio.
La cosa es cierta en general
Teorema 61 (anulacin de Kodaira) Si K es un cuerpo tal que char K = 0 y X es un
esquema con todas las buenas propiedades sobre K. Entonces si L es amplio vale
H
i
(X,
X
L) = 0 i > 0
de manera equivalente
H
j
(X, L
1
) = 0 j < dimX.
Cundo
K
X
(del cannico) es una inmersin cerrada?
Sabemos que deg K
X
= 2g 2. Tenemos tres casos distintos
Si g = 0 entonces h
0
(X, nK
X
) = 0 para cada n N. K
X
no es amplio
Si g = 1 tengo h
0
(X,
X
) = 1 as que tengo una seccin que no se anula, tiene que ser
constante
X
= O
X
y h
0
(X, nK
X
) = 1 para cada n N. Tenemos
K
X
: X P
0
aplicacin constante.
74
Si g 2 tengo deg 2K
X
= 4g 4 > 2g 2g > 4 g > 2. K
X
es amplio.
Para cada p, q X vale h
0
(X, O
X
(K
X
p q)) = h
0
(X, O
X
(K
X
)) 2 = g 2? Tenemos
por Riemann-Roch
h
0
(O
X
(p +q)) h
0
(O
X
(K
X
p q)) = 2 + 1 g
as que
h
0
(O
X
(K
X
p q)) = h
0
(O
X
(p +q))
. .
()
+g 3,
si () = 1 es perfecto.
Denicin 62 X, con g 2, es una curva hiperelptica si p, q X tal que h
0
(O
X
(p+q)) >
1.
Hemos hecho otra trampa, la verdadera denicin es con h
0
(O
X
(p +q)) = 2, pero la nuestra
nos viene bien para enunciar el teorema siguiente sin muchos detalles.
Teorema 63 Si X no es hiperelptica entonces K
X
es muy amplio.
Denicin 64 Si X es un esquema y
X
el haz cannico y cogemos

n
X
: X > P
N
.
Se llama DIMENSIN DE KODAIRA de X := /(X) a
/(X) = max
nN
dim(

n
X
(X)).
Si h
0
(
n
X
) = 0 para cada n, entonces /(X) = .
Si dimX = /(X) se dice que X es de tipo general.
75
ndice general
Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Construccin y Propiedades Bsicas de los Esquemas . . . . . . . . . . . . . . . . 7
Esquemas Proyectivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
Morsmos Separados y Propios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
Haces y Fibrados Vectoriales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
Dimensin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Divisores y Fibrados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
Cohomologa de Haces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
Teorema de la Dualidad de Serre . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
Teorema de Riemann-Roch . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
Aplicaciones sobre Curvas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
76