Definition 57.18.1. Let $k$ be a field. Let $X$ and $Y$ be smooth projective schemes over $k$. We say $X$ and $Y$ are derived equivalent if there exists a $k$-linear exact equivalence $D_{perf}(\mathcal{O}_ X) \to D_{perf}(\mathcal{O}_ Y)$.
57.18 Countability of derived equivalent varieties
In this section we prove a result of Anel and Toën, see [AT].
Here is the result
Theorem 57.18.2. Let $K$ be an algebraically closed field. Let $\mathbf{X}$ be a smooth proper scheme over $K$. There are at most countably many isomorphism classes of smooth proper schemes $\mathbf{Y}$ over $K$ which are derived equivalent to $\mathbf{X}$.
Proof. Choose a countable set $I$ and for $i \in I$ systems $(S_ i/K, X_ i \to S_ i, Y_ i \to S_ i, M_ i)$ satisfying properties (1), (2), (3), and (4) of Lemma 57.17.5. Pick $i \in I$ and set $S = S_ i$, $X = X_ i$, $Y = Y_ i$, and $M = M_ i$. Clearly it suffice to show that the set of isomorphism classes of fibres $Y_ s$ for $s \in S(K)$ such that $X_ s \cong \mathbf{X}$ is countable. This we prove in the next paragraph.
Let $S$ be a finite type scheme over $K$, let $X \to S$ and $Y \to S$ be proper smooth morphisms, and let $M \in D_{perf}(\mathcal{O}_{X \times _ S Y})$ be the Fourier-Mukai kernel of a relative equivalence from $X$ to $Y$ over $S$. We will show the set of isomorphism classes of fibres $Y_ s$ for $s \in S(K)$ such that $X_ s \cong \mathbf{X}$ is countable. By Lemma 57.17.4 applied to the families $\mathbf{X} \times S \to S$ and $X \to S$ there exists a countable set $I$ and for $i \in I$ a pair $(S_ i \to S, h_ i)$ with the following properties
$S_ i \to S$ is a morphism of finite type, set $X_ i = X \times _ S S_ i$,
$h_ i : \mathbf{X} \times S_ i \to X_ i$ is an isomorphism over $S_ i$, and
for any closed point $s \in S(K)$ if $\mathbf{X} \cong X_ s$ over $K = \kappa (s)$ then $s$ is in the image of $S_ i \to S$ for some $i$.
Set $Y_ i = Y \times _ S S_ i$. Denote $M_ i \in D_{perf}(\mathcal{O}_{X_ i \times _{S_ i} Y_ i})$ the pullback of $M$. By Lemma 57.15.3 $M_ i$ is the Fourier-Mukai kernel of a relative equivalence from $X_ i$ to $Y_ i$ over $S_ i$. Since $I$ is countable, by property (3) it suffices to prove that the set of isomorphism classes of fibres $Y_{i, s}$ for $s \in S_ i(K)$ is countable. In fact, this number is finite by Lemma 57.16.5 and the proof is complete. $\square$
Post a comment
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)