Fourier Mukai Transforms In Algebraic Geometry Huybrechts Pdf
Finley Chopin
I am looking for an introductive reference to the theory of derived categories. Especially I need to start from the very beginning and I need to know how to use this in examples which comes from algebraic geometry. I don't want a too rigorous approach, made of a lot of definition and propositions but instead I would like to find an introduction which gives the main ideas and many examples.Thank you
Gelfand and Manin's "Methods of homological algebra" explains the subject quite nicely, though it takes them some pages to develop the theory (and there are many typos, at least in the first edition). Personally, I also use the first three chapters of Huybrecht's "Fourier-Mukai transforms in algebraic geometry", which is a bit more condensed but has a nice overview of the situation in the algebro-geometric setting. For more advanced material you could have a look at the notes on
There are two "families" of derived categories people study in algebraic geometry: derived categories of (quasi-)coherent sheaves on a (locally noetherian) scheme and derived categories of constructible complexes on topological spaces/ the etale topology on algebraic varieties. The first case leads one to the world of "derived algebraic geometry" while the second case will lead you to perverse sheaves and the decomposition theorem. In each case you will get the Grothendieck six functor formalism $f^*,f_*,f^!,f_!,Hom,\otimes$ giving rise to the whole yoga of cohomology.
Another important observation is that there always exists a rational morphism from a variety $X$ to $\mathbbP^1$. You can use the blow-up of $X$ along the undefined locus and get a pencil of varieties over $\mathbbP^1$. One nice "toy example" is given by the Weierstrass family of elliptic curves.
This area is said to have been discovered through Serre's intersection formula which states that the intersection multiplicity of two subvarieties $V,V'\hookrightarrow X$ can be computing using the euler characteristic of $\mathcalO_V\otimes^\mathbfL\mathcalO_V'$ when localization at a connected component $Z \subset V\cap V'$. This formula allows one to construct intersection theory using the bounded derived category of coherent sheaves $D^b(X) := D^b(\textCoh(X))$ for a variety $X$ and the grothendieck group $K(X) := K(D^b(X))$. More can be found in
Other applications of derived categories in this land are in deformation theory/cotangent complexes and in derived noncommutative geometry where you consider a derived category as a "space". There is a theorem of Beilinson where you can "compute" the derived category of coherent sheaves for projective space over $\mathbbC$.
The other main application of derived categories is in the theory of perverse sheaves. Essentially, they are a tool which allows you to systematically keep track of intersection cohomology. You can find a good picturesque introduction in MacPhersons "Intersection Homology and Perverse Sheaves". For the construction of perverse sheaves, try looking at Geordie Williamson's notes from a summer school he gave. It is titled "An Illustrated Guide to Perverse Sheaves". Fortunately, these lectures were recorded and can be found on youtube.
You'll find Bernhard Keller's notes for a short course on the subject in his web page. His exposition is characteristically lucid and clear. His focus is representation theory, so they may not match your interests, though.
I also second the suggestion of Gelfand/Manin. They actually have two books for some reason, "Homological Algebra" and "Methods of Homological Algebra", which are quite similar but have slightly different focus/applications. Both of them are worthwhile, and I think either one of them could be useful to you.
As already said in a previous answer, Fourier-Mukai transforms in Algebraic Geometry by Huybrechts is a good reference. The first time I studied derived categories (and triangulated categories) I used the first part of Residues and Duality by R. Hartshorne.
If you interested in better understanding the triangulated category structure of the derived category, I suggest you to read chapter 1 of Neeman's "Triangulated Categories". You can find much results explained in a very precise way. A good exercise would be to compare the definitions and results that appear in the above textbook with those in the already suggested Gelfand/Manin book. In this second textbook a very explicit approach for the derived and homotopic categories is taken, and you can surely detect typos by rewriting all computations that are relevant for your studies.
c80f0f1006