The Stacks project

Weak version of the result in [Gabriel] stating that the category of quasi-coherent modules determines the isomorphism class of a scheme.

Lemma 56.7.8. Let $k$ be a field. Let $X$, $Y$ be finite type schemes over $k$ with $X$ separated and $Y$ reduced. If there is a $k$-linear equivalence $F : \textit{Coh}(\mathcal{O}_ X) \to \textit{Coh}(\mathcal{O}_ Y)$ of categories, then there is an isomorphism $f : Y \to X$ over $k$ and an invertible $\mathcal{O}_ Y$-module $\mathcal{L}$ such that $F(\mathcal{F}) = f^*\mathcal{F} \otimes \mathcal{L}$.

Proof using Gabriel-Rosenberg reconstruction. This lemma is a weak form of the results discussed in Lemma 56.7.2 and Remark 56.7.3. $\square$

Proof not relying on Gabriel-Rosenberg reconstruction. By Lemma 56.7.5 we obtain a coherent $\mathcal{O}_{X \times Y}$-module $\mathcal{K}$ which is flat over $X$ with support finite over $Y$ such that $F$ is given by the restriction of the functor ( to $\textit{Coh}(\mathcal{O}_ X)$. If we can show that $F(\mathcal{O}_ X)$ is an invertible $\mathcal{O}_ Y$-module, then by Lemma 56.7.6 we see that $\mathcal{K} = s_*\mathcal{L}$ for some section $s : Y \to X \times Y$ of $\text{pr}_2$ and some invertible $\mathcal{O}_ Y$-module $\mathcal{L}$. This will show that $F$ has the form indicated with $f = \text{pr}_1 \circ s$. Some details omitted.

It remains to show that $F(\mathcal{O}_ X)$ is invertible. We only sketch the proof and we omit some of the details. For a closed point $x \in X$ we denote $\mathcal{O}_ x$ in $\textit{Coh}(\mathcal{O}_ X)$ the skyscraper sheaf at $x$ with value $\kappa (x)$. First we observe that the only simple objects of the category $\textit{Coh}(\mathcal{O}_ X)$ are these skyscraper sheaves $\mathcal{O}_ x$. The same is true for $Y$. Hence for every closed point $y \in Y$ there exists a closed point $x \in X$ such that $\mathcal{O}_ y \cong F(\mathcal{O}_ x)$. Moreover, looking at endomorphisms we find that $\kappa (x) \cong \kappa (y)$ as finite extensions of $k$. Then

\[ \mathop{\mathrm{Hom}}\nolimits _ Y(F(\mathcal{O}_ X), \mathcal{O}_ y) \cong \mathop{\mathrm{Hom}}\nolimits _ Y(F(\mathcal{O}_ X), F(\mathcal{O}_ x)) \cong \mathop{\mathrm{Hom}}\nolimits _ X(\mathcal{O}_ X, \mathcal{O}_ x) \cong \kappa (x) \cong \kappa (y) \]

This implies that the stalk of the coherent $\mathcal{O}_ Y$-module $F(\mathcal{O}_ X)$ at $y \in Y$ can be generated by $1$ generator (and no less) for each closed point $y \in Y$. It follows immediately that $F(\mathcal{O}_ X)$ is locally generated by $1$ element (and no less) and since $Y$ is reduced this indeed tells us it is an invertible module. $\square$

Comments (2)

Comment #5120 by on

The categories in the statement are claimed to be triangulated, but it needs abelian categories (and this is what it used in the proof anyway).

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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0FZR. Beware of the difference between the letter 'O' and the digit '0'.