Finiteness theorems for pseudo-coherent complexes on algebraic stacks
In the authors' words
Let be a proper and tame morphism of algebraic stacks, where and are locally of finite type over an algebraic stack . We prove that sends complexes that are pseudo-coherent relative to to pseudo-coherent complexes relative to . In the scheme case, this resolves a conjecture of Illusie from SGA6. We also prove related and new results in the non-tame setting (e.g., infinite stabilizers). Our methods use derived algebraic geometry and also give new proofs of classical statements for schemes due to Kiehl. Along the way, we extend some foundational results for quasi-coherent sheaves on algebraic stacks to the derived setting.
Main resultThe abstract does not state a limitation.
Appeared: Tuesday, September 22. arXiv. Preprint, not yet peer-reviewed.