4
$\begingroup$

Suppose $X$ is a smooth algebraic variety (say, in characteristic $0$). It's a folklore result that $D^b\text{Coh}(X)$ is equivalent to the derived category of complexes of sheaves of $\mathcal{O}_X$-modules whose cohomology is coherent. The only reference I could find are these notes, which are written in some exotic language I can't parse. Does anyone know a more canonical reference?

Maybe a more general question is "what is a general reference to cite when using equivalences between classical (Grothendieck-era) derived categories and their more modern analogues?"

(Lurie's Higher Algebra will sometimes mention such equivalences without proving them).

$\endgroup$
6
  • 2
    $\begingroup$ Isn't this in Thomason-Trobaugh? $\endgroup$ Nov 30, 2015 at 1:02
  • 3
    $\begingroup$ It is proved in Hartshorne's book "Residues and Duality", in the broader context of the map $D^+({\rm{Qcoh}}(X)) \rightarrow D^{+}_{\rm{qcoh}}(X)$ being an equivalence for any noetherian scheme $X$ (maybe even locally noetherian, but I don't remember offhand), from which the "coherent" version in the bounded case can be easily deduced (as quasi-coherent sheaves on $X$ are exhausted by coherent subsheaves). I always assumed this was widely known to be the go-to reference on such matters; please promote more awareness of the classics! :) $\endgroup$
    – nfdc23
    Nov 30, 2015 at 1:51
  • 1
    $\begingroup$ In Thomason-Trobaugh, this is Proposition 2.3.1(e), which is attributed there to SGA 6, Expose II. $\endgroup$ Nov 30, 2015 at 3:02
  • 6
    $\begingroup$ @JasonStarr: The precise reference in SGA6 Exp. II is Cor. 2.2.2.1, but its proof rests on Prop. 3.5 that appears later in Exp. II and is precisely the assertion I had mentioned concerning $D^+$'s. The fun part is that the entire SGA6 proof of Prop. 3.5 (in the noetherian case) is to say: "le cas ou $S$ est noetherian etant bien connu ([H] II 7.19)", where [H] is (of course!) Hartshorne's "Residues and Duality". So T&T really should have referred to the latter (since that is where all of the content is given). $\endgroup$
    – nfdc23
    Nov 30, 2015 at 3:30
  • 1
    $\begingroup$ @AaronBergman: Continuing the theme of my previous comment, it is amusing to note that the result in Huybrechts' book (combine Cor. 3.4 and Prop. 3.5 there) that answers the question posed has as its crucial input a certain Prop. 3.3 whose proof consists of a single sentence: "For a proof, see [44, II, 7.18]." We can all guess what [44] is. :) The parts which Huybrechts does explain more fully (to get from Prop. 3.3 to Cor. 3.4 to Prop. 3.5) are exactly the same arguments as given in [44]. $\endgroup$
    – nfdc23
    Nov 30, 2015 at 3:48

1 Answer 1

1
$\begingroup$

As mentioned in the comments, I think SGA 6 is one of the original references for this. More specifically:

[SGA 6, II, Corollaire 2.2.2.1] If $X$ is a Noetherian scheme, then the canonical fully faithful functor $D^\mathrm{b}(\mathsf{Coh}(X))\hookrightarrow D(\mathsf{Sh}(X))$ identifies the codomain with the full subcategory $D^\mathrm{b}_{\mathsf{Coh}}(\mathsf{Sh}(X))$ of the domain.

[SGA 6, I, Corollaire 5.10, Exemples 5.11] If $X$ is a smooth scheme, then there is a canonical equivalence of triangulated categories $\mathsf{Perf}(X)\xrightarrow{\sim}D^{\mathrm{b}}(\mathsf{Coh}(X))$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.