Lemma 57.9.6. Let $k$ be a field. Let $X$ be a quasi-compact separated smooth scheme over $k$. There exist finite locally free $\mathcal{O}_ X$-modules $\mathcal{E}$ and $\mathcal{G}$ such that
in $D(\mathcal{O}_{X \times X})$ where the notation is as in Derived Categories, Section 13.36.
Proof. Recall that $X$ is regular by Varieties, Lemma 33.25.3. Hence $X$ has the resolution property by Derived Categories of Schemes, Lemma 36.36.8. Hence we may choose a resolution as in Lemma 57.9.3. Say $\dim (X) = d$. Since $X \times X$ is smooth over $k$ it is regular. Hence $X \times X$ is a regular Noetherian scheme with $\dim (X \times X) = 2d$. The object
of $D_{perf}(\mathcal{O}_{X \times X})$ has cohomology sheaves $\mathcal{O}_\Delta $ in degree $0$ and $\mathop{\mathrm{Ker}}(\mathcal{E}_{2d} \boxtimes \mathcal{G}_{2d} \to \mathcal{E}_{2d-1} \boxtimes \mathcal{G}_{2d-1})$ in degree $-2d$ and zero in all other degrees. Hence by Lemma 57.9.5 we see that $\mathcal{O}_\Delta $ is a summand of $K$ in $D_{perf}(\mathcal{O}_{X \times X})$. Clearly, the object $K$ is in
which finishes the proof. (The reader may consult Derived Categories, Lemmas 13.36.1 and 13.35.7 to see that our object is contained in this category.) $\square$
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)