Fourier--Mukai loci are open and base change

Abstract

We develop a theory of relative (quasi-)perfect complexes for algebraic spaces. Our main result proves that for a pseudocoherent kernel relatively perfect over both factors, the loci where its fiberwise Fourier--Mukai transform is fully faithful or an equivalence are open. The kernel need not be perfect, and these loci commute with Noetherian base change. Moreover, we provide an explicit autoequivalence for elliptic fibrations, and establish that smoothness and Gorensteinness are derived invariants.

arXiv commentexpanded mates appendix, small improvements to main results; (v2) added new loci base change, (higher) literature comparison, and derived invariances; improved exposition