High Frobenius pushforwards generate the bounded derived category

Abstract

This work concerns generators for the bounded derived category of coherent sheaves over a noetherian scheme $X$ of prime characteristic. The main result is that when the Frobenius map on $X$ is finite, for any compact generator $G$ of $\mathsf{D}(X)$ the Frobenius pushforward $F_{\ast }^{e}G$ generates the bounded derived category whenever $p^e$ is larger than the codepth of $X$, an invariant that is a measure of the singularity of $X$. The conclusion holds for all positive integers $e$ when $X$ is locally complete intersection. The question of when one can take $G={\mathcal{O}}_X$ is also investigated. For smooth projective complete intersections it reduces to a question of generation of the Kuznetsov component.

32 pages; minor revision. To appear in Forum of Mathematics, Sigma

References in corpus (16)

• Equivalences of monoidal model categories
• Stratifying triangulated categories
• Subcategories of singularity categories via tensor actions
• On two examples by Iyama and Yoshino
• Maximal lengths of exceptional collections of line bundles
• Generating the bounded derived category and perfect ghosts
• Cotilting Sheaves on Noetherian Schemes
• Family of counterexamples to King's conjecture
• Duality for bounded derived categories of complete intersections
• Scalar extensions of triangulated categories
• Rouquier dimension is Krull dimension for normal toric varieties
• Relation between two twisted inverse image pseudofunctors in duality theory
• Duality and symmetry of complexity over complete intersections via exterior homology
• The toric Frobenius morphism and a conjecture of Orlov
• On the Frobenius direct image of the structure sheaf of a homogeneous projective variety
• Twisted Hochschild homology and MacLane homology