Moduli spaces of semiorthogonal decompositions in families
Abstract
For a smooth projective family of schemes we prove that a semiorthogonal decomposition of the bounded derived category of coherent sheaves of the fiber of a point uniquely deforms over an étale neighborhood of the point. We do this using a comparison theorem between semiorthogonal decompositions and decomposition triangles of the structure sheaf of the diagonal. We then apply to the latter a deformation theory for morphisms with a fixed lift of the target, which is developed in the appendix. Using this as a key ingredient we introduce a moduli space which classifies semiorthogonal decompositions of the category of perfect complexes of a smooth projective family. We show that this is an étale algebraic space over the base scheme of the family, which can be non-quasicompact and non-separated. This is done using Artin's criterion for a functor to be an étale algebraic space over the base. We generalize this to families of geometric noncommutative schemes in the sense of Orlov. We also define the open subspace classifying non-trivial semiorthogonal decompositions only, which is used in a companion paper to study indecomposability of derived categories in various examples.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2020
- DOI:
- 10.48550/arXiv.2002.03303
- arXiv:
- arXiv:2002.03303
- Bibcode:
- 2020arXiv200203303B
- Keywords:
-
- Mathematics - Algebraic Geometry;
- Mathematics - Category Theory;
- Mathematics - K-Theory and Homology
- E-Print:
- with an appendix coauthored with Wendy Lowen, first version, comments are very welcome