10
$\begingroup$

I'm wondering if there is a characterization of schemes over a a field $k$ whose dualizing complex is a perfect complex in terms of singularities. E.g. on a proper Cohen-Macauley scheme over a field, the dualizing complex is a sheaf, when is this sheaf have a finite locally free resolution? (Or this never happens unless the scheme is Gorenstein?)

Recall a complex is called a perfect complex if it is locally quasi-isomorphic to a bounded complex of locally free sheaves.

$\endgroup$
  • $\begingroup$ Certainly Gorenstein varieties satisfy this, since the $\omega_X$ is already locally free... So it seems to happen sometime. $\endgroup$ – Karl Schwede Sep 15 '12 at 5:19
  • $\begingroup$ Sure. I edited. What I wanted to ask is whether that $\omega_X$ being a perfect complex only happens in the Gorenstein case. $\endgroup$ – Yuhao Huang Sep 15 '12 at 6:47
  • 5
    $\begingroup$ When $X$ is CM, then this is equivalent to $X$ Gorenstein, because the question is local and the Auslander-Buchsbaum formula. I think it is true in general as well, you can search for A-B formula for complexes. $\endgroup$ – Hailong Dao Sep 15 '12 at 6:57
12
$\begingroup$

As Hailong said in his comment this only happens in the Gorenstein case; here is a sketch of an argument.

Suppose $X$ is a quasi-compact quasi-separated scheme with a dualising complex $D$ and let us assume $D$ is perfect. Recall that $\mathsf{D}^\mathrm{perf}(X)$, the category of perfect complexes over $X$, is a rigid tensor category i.e., it is closed symmetric monoidal and setting, for E a perfect complex, $E^\vee = hom(E,\mathcal{O}_X)$ we have natural isomorphisms $$ E^\vee \otimes F \cong hom(E,F)$$ for all perfect complexes F (here I am being notationally lazy - of course the internal hom and tensor are the derived ones).

Now we just notice that there are isomorphisms $$R \cong hom(D,D) \cong D^\vee \otimes D$$ so $D$ is an invertible object with respect to the tensor product in $\mathsf{D}^\mathrm{perf}(X)$. This implies $D$ is isomorphic to a shift of a line bundle on each connected component of $X$ (see for instance Prop 6.4 of "Gluing techniques in triangular geometry" by Balmer and Favi for a short proof, although, I should mention, the result is pretty well known and older than that paper). Thus $X$ is Gorenstein.

$\endgroup$

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

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