Professional Documents
Culture Documents
yagism
2014 9 11
1
Contents
0 Intro 3
0.1 Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
0.2 Notations and Terminology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
0.3 Main Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1 Language of Categories 4
1.1 Abelian category . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2 Cohomology via derived functor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3 Why derived category? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4 Derived category . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2 Language of Schemes 7
3 Proof of Main Theorem 8
3.1 basic stategy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2
0 Intro
0.1 Preface
L
A
T
E
X Twitter
yagism
0.2 Notations and Terminology
pdf
scheme
EGA prescheme
Grothendieck universe
scheme sch. separated sepd
0.3 Main Theorem
pdf
Thm. 0.1 (Grothendieck - Serre duality)
Let f : X Y projective embeddable morphism between Noetherien sch. with nite Krull dimension. Then,
there exists the isomorphism
Rf
RH om
X
(F, f
!
G)
//
RH om
Y
(Rf
F, G)
where F D
qc
(X), G D
+
qc
(Y).
Rem. 0.1
Let Y a algebraic closed eld k, and G the dualizing sheaf
) H
ni
(X, F)
where V
) -foncteur if it satises
the condition
At rst, for every exact sequence in A
0
//
A
//
A
//
A
//
0 ,
we have long complex
. . .
//
T
i
(A
)
//
T
i
(A)
//
T
i
(A
)
//
T
i+1
(A
)
//
. . . .
Second, for every commutative diagram with two horizontal exact sequence in A
0
//
A
//
A
//
//
0
0
//
B
//
B
//
B
//
0 ,
we have
T
i
(A
)
//
T
i+1
(A
T
i
(B
)
//
T
i+1
(B
) .
Moreover, we call -foncteur exact when the above long complex is exact sequence. And usually, we call
exact -foncteur cohomologicy foncteur.
Rem. 1.2
We consider in the only case that every index set of -foncteur is Z
0
.
These notations of -foncteur are owe to Grothendiecks T ohoku paper [2].
Def. 1.2.2 (universal -foncteur, satellite foncteur)
We call -foncteur (T
) to (T
) s.t. f
i
is the given f
i
for i i
0
.
Let F contravariant foncteur of C to C
) s.t. T
0
F exists uniquely (up to
isom.) if exists.
In this, the universal -foncteur (T
F).
5
Thm. 1.2 (When is exact -foncteur universal ?)
Let C C
Ab.cat. and (T
) is universal. In
addition, if C is enough injective and (T
F) and S
i
F is effaceable for i > 0. Moreover, (S
,
where I
p
is an injective object.
and dene
R
F(A) =
def
H
(F(I
)) .
As result, we get a cohomology foncteur R
F S
F
We call this cohomolgy foncteur R