7
$\begingroup$

Let $X$ be a smooth projective integral variety over an algebraically closed field $k$. Let $Y$ be a (not necessarily smooth) projective integral variety over $k$.

Assume that $D^b(X) \cong D^b(Y)$.

Does it follow that $Y$ is smooth?

Edit: Here $D^b(X)$ (resp. $D^b(Y)$) is $D^b(Coh(X))$ (resp. $D^b(Coh(Y))$).

$\endgroup$
5
  • 7
    $\begingroup$ Isn't Serre's homological criterion that $Y$ is smooth if and only if, for every pair of objects $A$, $B$ of $D^b(Y)$, $\text{Hom}_{D^b(Y)}(A,B[n])$ equals $\{0\}$ for all but finitely many choices of $n$? $\endgroup$ Jan 19, 2017 at 11:53
  • 5
    $\begingroup$ What Jason mentioned sometimes is called Ext-finiteness and it is, indeed, a criterion of smoothness. $\endgroup$
    – Sasha
    Jan 19, 2017 at 11:57
  • 1
    $\begingroup$ Thank you for your comments. Is there a reference where I can find the statement with proof? I looked around quickly but couldn't find it. $\endgroup$
    – Marco
    Jan 19, 2017 at 12:00
  • 2
    $\begingroup$ I just read in another MO post that the correct attribution is due to Auslander-Buchsbaum-Serre, cf. mathoverflow.net/questions/103530/… $\endgroup$ Jan 19, 2017 at 12:46
  • 7
    $\begingroup$ Somewhere Count Dracula is smiling that I misattributed a result: mathoverflow.net/questions/259808/… $\endgroup$ Jan 19, 2017 at 12:48

1 Answer 1

5
$\begingroup$

I shall elaborate on the comments and provide a sketch of the proof (for which I unfortunately don't know a reference). As $k$ is a perfect field, $X$ is smooth if and only if $X$ is regular. By a well-known theorem of Serre $X$ is regular if and only if for every closed point $x\in X$ the local ring $\mathscr{O}_{X,x}$ is of finite homological dimension,

Theorem. The following are equivalent:

(i) $X$ is regular;

(ii) $Coh(X)$ has finite homological dimension;

(iii) $D^b(X)$ is Ext-finite.

Proof. (i)$ \Rightarrow $(ii): Serre duality.

(ii)$ \Rightarrow $(iii): By assumption the condition required by Ext-finiteness holds for all complexes concentrated in one degree, and it follows for all bounded complexes for instance by use of standard spectral sequences (see remark 3.7 in Huybrecht's `Fourier-Mukai transforms').

(iii)$ \Rightarrow $(i): Suppose that $X$ is not regular, let $x\in X$ be a closed singular point. Let $\mathscr{O}_x$ be the skyscraper sheaf with stalk $\kappa(x)$ at $x$. Then the local-to-global spectral sequence yields isomorphisms $\mathrm{Ext}^n_X(\mathscr{O}_x,\mathscr{O}_x)\simeq\mathrm{Ext}^n_{\mathscr{O}_{X,x}}(\kappa(x),\kappa(x))$. The latter is nonzero for infinitely many $n$ because $\mathscr{O}_{X,x}$ has infinite homological dimension. Hence $D^b(X)$ is not Ext-finite.

$\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.