Scribd
Upload
7 views7 pages

Grothendieck-Serre Duality Explained

The document summarizes Grothendieck-Serre duality. It states that for a projective embeddable morphism f between Noetherian schemes of finite Krull dimension, there exists an isomorphism between Rf_*RHom_X(F, f!_G) and RHom_Y(Rf_*F, G), where F and G are complexes of quasi-coherent sheaves. It then outlines the structure of the document, which will introduce categorical language, the language of schemes, and provide a proof of the main theorem along with references.

Uploaded by

api-263874712
Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
7 views7 pages

Grothendieck-Serre Duality Explained

The document summarizes Grothendieck-Serre duality. It states that for a projective embeddable morphism f between Noetherian schemes of finite Krull dimension, there exists an isomorphism between Rf_*RHom_X(F, f!_G) and RHom_Y(Rf_*F, G), where F and G are complexes of quasi-coherent sheaves. It then outlines the structure of the document, which will introduce categorical language, the language of schemes, and provide a proof of the main theorem along with references.

Uploaded by

api-263874712
Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd

Grothendieck - Serre Duality

yagism
2014 9 10
1
Contents
1 Intro 3
1.1 Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Notations and Terminology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3 Main Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2 Language of Categories 4
3 Language of Schemes 5
4 Proof of Main Theorem 6
4.1 basic stategy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2
1 Intro
1.1 Preface
L
A
T
E
X Twitter
yagism
1.2 Notations and Terminology
pdf
scheme

EGA prescheme
Grothendieck universe
scheme sch. separated sepd
1.3 Main Theorem
pdf
Thm. (Grothendieck - Serre duality)
let f : X Y projective embeddable morphism between Noetherien sch. with nite Krull dimension.
Then, there exists the isomorphism
Rf

RHom
X
(F, f
!
G)
//
RHom
Y
(Rf

F, G)
where F D

qc
(X), G D
+
qc
(Y ).
3
2 Language of Categories
4
3 Language of Schemes
5
4 Proof of Main Theorem
4.1 basic stategy
6
Reference
[1] Grothendieck,

Elements de Geometie Algebrique


[2] Grothendieck, Sur quelques points dalgebre homologique
[3] Weibel, Introduction to Homological Algebra
[4] Hartshorne, Residues and Duality .
7

You might also like