A generalized Bondal-Orlov full faithfulness criterion for Deligne-Mumford stacks

TL;DR

This paper extends the Bondal-Orlov full faithfulness criterion for Fourier-Mukai functors from smooth projective varieties and stacks to all smooth, proper Deligne-Mumford stacks over fields of characteristic zero, establishing foundational results.

Contribution

It generalizes the criterion to all smooth, proper Deligne-Mumford stacks over arbitrary characteristic zero fields, including foundational results for derived categories of algebraic stacks.

Findings

Extended the full faithfulness criterion to all smooth, proper Deligne-Mumford stacks.

Established foundational results for derived categories of algebraic stacks.

Provided a framework for Fourier-Mukai functors on stacks.

Abstract

Let $X$, $Y$ be smooth projective varieties over $\mathbf{C}$. Let $K$ be a bounded complex of coherent sheaves on $X\times Y$ and let $\Phi_K \colon \mathsf{D}^b_{\mathsf{Coh}}(X) \to \mathsf{D}^b_{\mathsf{Coh}}(Y)$ be the resulting Fourier-Mukai functor. There is a well-known criterion due to Bondal-Orlov for $\Phi_K$ to be fully faithful. This criterion was recently extended to smooth Deligne-Mumford stacks with projective coarse moduli schemes by Lim-Polischuk. We extend this to all smooth, proper Deligne-Mumford stacks over arbitrary fields of characteristic $0$. Along the way, we establish a number of foundational results for bounded derived categories of proper and tame morphisms of noetherian algebraic stacks (e.g., coherent duality).