Let K be a field of characteristic 0, and let V be a vector space over K of dimension n, and pick k < n. Let X be the Grassmannian Grass(k, V). We’ll briefly explore the (bounded) derived category of coherent sheaves of X, denoted .
1. Derived category review
For those unfamiliar with derived categories, here’s a quick summary. If A is any Abelian category, set K(A) to be the category of (co)chain complexes of A with the morphisms being chain maps modulo homotopy equivalence. Chain maps which induce isomorphisms are formally inverted, and the result is the derived category of A. Usually we only want to consider bounded complexes, or at least complexes with finitely many nonzero (co)homology groups, and in this case we denote the category . The category is equipped with a shift functor, which just shifts the degrees of a given complex.
One thing we can do is reformulate derived functors. Given a left exact functor , we define its right derived functor as follows. Given an object X in A, an injective resolution of X becomes an isomorphism in (considering X as a complex with one nonzero term), so we define to be the complex obtained by applying F to . Actually, we don’t need an injective resolution, we only need a resolution consisting of F-acyclic objects (i.e., the usual right derived functors of F vanish for them). To define on a general complex , we need to find a double complex which is term by term an injective resolution for each (these are called Cartan–Eilenberg resolutions). Then we apply F to the total complex of . A similar story is true for right exact functors G, so we get left derived functors . For notation, the left derived functor of the tensor product is denoted .
The replacement for exact sequences are now exact triangles, which are written as . The relevant facts are that exact sequences of cochain complexes become exact triangles, and that if we try to calculate cohomology, exact triangles give long exact sequences. Most importantly, the total derived functors are exact in the sense that they preserve exact triangles.
We’ll need two facts. The first is the derived version of the projection formula. Let be a proper morphism of projective schemes, , and . Then we have
The second is flat base change. If we have a pullback diagram
with u flat and f proper, then we have a natural isomorphism
for all .
2. Exceptional sequences and the Fourier–Mukai transform
For this post, we’ll look for a finite set of generators of , i.e., using only the operations of mapping cones and shifting degrees (so we’re allowed to take kernels, cokernels, and direct sums also), we can obtain the isomorphism class of every object. More specifically, we will construct an exceptional sequence. This means the following things:
- Every object in the sequence is exceptional: and for k>0.
- for and i < j.
Using the Schubert cell decomposition of the Grassmannian, it can be shown that the length of an exceptional sequence must equal the number of its Schubert varieties (and more generally, this is true for any homogeneous space for a semisimple group, see the Böhning reference below).
The main tool will be the Fourier–Mukai transform. Suppose that Y and Z are any varieties let be the projections from to Y and Z, respectively. For , we define a map
Since it is a composition of exact functors, the Fourier–Mukai transform is itself exact. Also, we can let the argument stay fixed and vary the superscript to get another exact functor. So if we have an exact triangle
in , then we get, for any element , an exact triangle
in . The key point is that in the case that Y=Z, the Fourier–Mukai transform using the structure sheaf of the diagonal is the identity functor. To see this, let be the diagonal embedding. Letting be the two projections, then
where in the last equality, we use that is the identity map. In light of this remark and the exactness remark, it makes sense to try to find a resolution for the diagonal if we’re trying to find a set of generators of . So we’ll do just that.
3. Resolution of the diagonal
Let be the rank k tautological subbundle of X, and let be the tautological quotient bundle, so that we have a short exact sequence
We’ll use to denote the exterior tensor product of sheaves on X, i.e., if are the two projections, and F and G are two sheaves on X, then is a sheaf on .There is a natural map where the first map identifies the trivial bundle V with and is the corresponding inclusion, while the second map identifies V with and is the corresponding projection. Set-theoretically, the zero set of this map is the diagonal , and we can check locally that it also defines the diagonal scheme-theoretically.
So let s be the section of corresponding to this map. We get a Koszul complex
which is exact: and are nonsingular, so is locally a complete intersection in . This idea is due to Beilinson, who did it for the case of projective space. The argument was extended to Grassmannians by Kapranov.
4. Finishing things up
Now we can splice (*) into exact triangles. To use the Fourier–Mukai transform, we have to decide if we’re going from the first factor to the second, or vice versa (there is an asymmetry in the terms of (*), so this matters). Both choices will give a different set of generators. For now, let’s go from the second factor to the first. Since the characteristic of K is zero, we get the decomposition
where the sum is over partitions of size i, denotes a Schur functor, and is the transpose partition to . This decomposition is the dual Cauchy identity, and is a consequence, for example, of the dual Robinson–Schensted–Knuth correspondence. If the field has positive characteristic, then we only get a filtration of the LHS whose associated graded is the RHS. Of course, if k=1, this is irrelevant.
Now pick any object . If we want to generate A, we can apply the Fourier–Mukai transform to A using the exact triangles we got by splicing (*). This shows that the set generates A, where and the set is over all which fit in the rectangle. Ranging over all A, this is an infinite set, but we can simplify further:
by definition, and using the projection formula, this is isomorphic to
Using flat base change (with the notation in the above diagram, we have , , , and ), the above can be replaced by derived global sections:
where the second factor is isomorphic to a cochain complex consisting of its cohomology groups with zero differentials. Hence we see that the Fourier–Mukai transform is a complex consisting of copies of in various degrees. So we see that is a generating set, where ranges over all partitions fitting inside of the box.
On the other hand, if we did the Fourier–Mukai transform going from the first factor to the second factor, we would get as a set of generators, where ranges over all partitions which fit inside of the box.
The last thing to check is that we get an exceptional sequence. We have a partial ordering: whenever for all i. Extending this to a total order will do the trick. To check that all of the appropriate Ext groups vanish, we need to use the Borel–Weil–Bott theorem, but I will omit this task.
- Christian Böhning, Derived categories of coherent sheaves on rational homogeneous manifolds
- Andrei Caldararu, Derived categories of sheaves: a skimming
- D. Huybrechts, Fourier-Mukai transforms in algebraic geometry (book)
- M. M. Kapranov, On the derived categories of coherent sheaves on some homogeneous spaces