Let X be an algebraic variety over a base scheme S and Ο: T β S a base change. Given an admissible subcategory π in π b ( X ), the bounded derived category of coherent sheaves on X , we construct under some technical conditions an admissible subcategory π T in π b ( X Γ S T ), called the base change of π, in such a way that the following base change theorem holds: if a semiorthogonal decomposition of π b ( X ) is given, then the base changes of its components form a semiorthogonal decomposition of π b ( X Γ S T ) . As an intermediate step, we construct a compatible system of semiorthogonal decompositions of the unbounded derived category of quasicoherent sheaves on X and of the category of perfect complexes on X . As an application, we prove that the projection functors of a semiorthogonal decomposition are kernel functors.
No takes yet. Share an insight, caveat, or question.
Alexander Kuznetsov (2011) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: