Finiteness theorems for pseudo-coherent complexes on algebraic stacks
En palabras de los autores
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.
Resultado principalEl resumen no menciona limitaciones.
Apareció: martes, 22 de septiembre. arXiv. Preprint, todavía sin revisión por pares.