Finiteness theorems for pseudo-coherent complexes on algebraic stacks
Let $f\colon X \to Y$ be a proper and tame morphism of algebraic stacks, where $X$ and $Y$ are locally of finite type over an algebraic stack $S$. We prove that $R f_*$ sends complexes that are pseudo-coherent relative to $S$ to pseudo-coherent complexes relative to $S$. 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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.24420
curl -X POST /api/v1/records/arxiv/2609.24420/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.24420/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'