Questions tagged [derived-categories]
For questions about the derived categories of various abelian categories and questions regarding the derived category construction itself.
783
questions
63
votes
5
answers
9k
views
Intuition about the cotangent complex?
Does anyone have an answer to the question "What does the cotangent complex measure?"
Algebraic intuitions (like "homology measures how far a sequence is from being exact") are as welcome as ...
52
votes
7
answers
5k
views
What does a projective resolution mean geometrically?
For R a commutative ring and M an R-module, we can always find a projective resolution of M which replaces M by a sequence of projective R-modules. But as R is commutative, we can consider the affine ...
50
votes
5
answers
5k
views
What (if anything) unifies stable homotopy theory and Grothendieck's six functors formalism?
I know of two very general frameworks for describing generalizations of what a "cohomology theory" should be: Grothendieck's "six functors", and the theory of spectra.
In the former, one assigns to ...
45
votes
8
answers
10k
views
A down-to-earth introduction to the uses of derived categories
When I was learning about spectral sequences, one of the most helpful sources I found was Ravi Vakil's notes here. These notes are very down-to-earth and give a kind of minimum knowledge needed about ...
42
votes
2
answers
8k
views
How do I know the derived category is NOT abelian?
I have heard the claim that the derived category of an abelian category is in general additive but not abelian. If this is true there should be some toy example of a (co)kernel that should be there ...
41
votes
7
answers
4k
views
Simplicial objects
How should one think about simplicial objects in a category versus actual objects in that category? For example, both for intuition and for practical purposes, what's the difference between a [...
40
votes
7
answers
9k
views
Heuristic behind the Fourier-Mukai transform
What is the heuristic idea behind the Fourier-Mukai transform? What is the connection to the classical Fourier transform?
Moreover, could someone recommend a concise introduction to the subject?
39
votes
9
answers
5k
views
What is a deformation of a category?
I have several naive and possibly stupid questions about deformations of categories. I hope that someone can at least point me to some appropriate references.
What is a deformation of a (linear, dg, ...
36
votes
6
answers
5k
views
How to think about model categories?
I've read about model categories from an Appendix to one of Lurie's papers.
What are the examples of model categories? What should be my intuition about them?
E.g. I understand the typical examples ...
35
votes
3
answers
6k
views
What is a triangle?
So I've been reading about derived categories recently (mostly via Hartshorne's Residues and Duality and some online notes), and while talking with some other people, I've realized that I'm finding it ...
30
votes
1
answer
1k
views
Which properties of a variety are detected by its derived category of coherent sheaves?
Context: I'm giving an informal seminar/reading group collection of talks on derived categories, following on from earlier talks giving the abstract definition. I am starting to talk about $\mathcal{...
28
votes
3
answers
3k
views
Why are derived categories natural places to do deformation theory?
It seems to me that a lot of people do deformation theory (of schemes, sheaves, maps etc) in derived category (of an appropriate abelian category). For example, the cotangent complex of a morphism $f:...
25
votes
4
answers
4k
views
determinant of a perfect complex
Say $K_\bullet$ is a bounded complex of vector bundles. I seem to want the determinant of $K_\bullet$ to be the alternating tensor product of the terms of the complex:
$\det(K) = \bigotimes_n \det(...
25
votes
4
answers
7k
views
Is the Fukaya category "defined"?
Sometimes people say that the Fukaya category is "not yet defined" in general.
What is meant by such a statement? (If it simplifies things, let's just stick with Fukaya categories of compact ...
25
votes
2
answers
1k
views
Complete the following sequence: point, triangle, octahedron, . . . in a dg-category
Let $\mathcal C$ be a pre-triangulated dg-category (or a stable $\infty$-category, if you wish).
An object $X$ in $\mathcal C$ gives a "point":
$$X$$
A morphism $X\xrightarrow f Y$ in $\mathcal C$ ...