Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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.

share|improve this question
    
Certainly Gorenstein varieties satisfy this, since the $\omega_X$ is already locally free... So it seems to happen sometime. –  Karl Schwede Sep 15 '12 at 5:19
    
Sure. I edited. What I wanted to ask is whether that $\omega_X$ being a perfect complex only happens in the Gorenstein case. –  Yuhao Huang Sep 15 '12 at 6:47
5  
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. –  Hailong Dao Sep 15 '12 at 6:57
add comment

1 Answer 1

up vote 9 down vote accepted

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.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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