1
$\begingroup$

Let $X,Y$ be varieties over $\mathbb{C}$, and $D(X),D(Y)$ be the derived categories of bounded complex of coherent sheaves. Let $U \subset X, V \subset Y$ be open subvarieties, and let $X-U, Y-V$ have codimensions $c_1, c_2$ respectively. Assume $U $ is isomorphism to $V$. I heard a result that says: when the codimension $c_1, c_2$ high enough, then $D(X)$ is derived equivalent to $D(Y)$.

Does anyone know any references or the precise statement of any results along this direction, I am especially interest in the upper bound of codimension.

$\endgroup$
5
  • 1
    $\begingroup$ The highest codimension is reached for $U=\varnothing=V$, so I'd say the 'result' is not true. $\endgroup$ Apr 30, 2013 at 1:02
  • 2
    $\begingroup$ Do you mean to say that the codimensions of the complements of $U$ and $V$ are high? $\endgroup$ Apr 30, 2013 at 5:00
  • $\begingroup$ This reminds me of A. Usnich's triangulated categories, which are birational invariants front.math.ucdavis.edu/0710.4561 . $\endgroup$
    – S. Okada
    Apr 30, 2013 at 12:42
  • $\begingroup$ @Benjamin Antieau Yes, that is what I mean. $\endgroup$
    – Li Yutong
    Apr 30, 2013 at 14:57
  • $\begingroup$ Updated link for the paper in @S.Okada 's comment: arxiv.org/abs/0710.4561 The action of the Cremona group on the non-commutative ring (published as doi.org/10.1016/j.aim.2011.05.002) $\endgroup$
    – David Roberts
    Sep 24, 2021 at 0:59

1 Answer 1

6
$\begingroup$

In your assumption the varieties $X$ and $Y$ are birational. In particular, there is a smooth variety $Z$ with two proper birational maps $p:Z\to X$ and $q:Z\to Y$ which are isomorphisms over $U$ and $V$ (for $Z$ you can take an appropriate resolution of singularities of the graph of your birational isomorphism).

There is a conjecture saying that if $p^*K_X = q^*K_Y$ then $D(X) \cong D(Y)$ (for short K-equivalence implies D-equivalence). Its condition holds if both $codim(Z\setminus p^{-1}(U))$ and $codim(Z\setminus q^{-1}(V))$ are at least 2. But I am afraid this cannot be formulated just in terms of $codim(X\setminus U)$ and $codim(Y\setminus V)$.

$\endgroup$
5
  • $\begingroup$ Could you let me know the reference for the result you mentioned above? Thank you! $\endgroup$
    – Li Yutong
    Apr 30, 2013 at 14:59
  • $\begingroup$ arxiv.org/pdf/math.AG/0205287, Conjecture 1.2. $\endgroup$
    – Sasha
    Apr 30, 2013 at 17:31
  • $\begingroup$ @Sasha thank you! Do you know any reference about the result: "$codim(Z-p^{-1}(U))$ at least 2..." implies D-equivalent? $\endgroup$
    – Li Yutong
    Apr 30, 2013 at 19:31
  • $\begingroup$ If two line bundles on a smooth variety agree on an open subset with complement of codimension at least two, then they are isomorphic. This is the Hartogs theorem. $\endgroup$
    – Sasha
    Apr 30, 2013 at 19:37
  • $\begingroup$ One could perhaps add that without the assumption on the canonical divisor there is no hope to prove derived equivalence. For instance, let $V$ and $W$ 2 vector spaces such that $2 < \dim V < \dim W$. Consider $X$ the total space of W(-1) over $\mathhbb{P}(V)$ and $Y$ be the total space $V(-1)$ over $\mathbb{P}(W)$. Then $X$ and $Y$ are isomorphic in codimension $1$, but $D(X) \neq D(Y)$ (though there is a fully faithful embedding of one in the other) $\endgroup$
    – Johan
    May 9, 2013 at 18:00

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.