Skip to content
DraconiticResearch
Search Sources API
194,161 studies31 sourcesUpdated 10 min ago
PreprintarXiv licencearXiv

Finiteness theorems for pseudo-coherent complexes on algebraic stacks

  • Jack Hall
  • Oliver Li
Open at sourcePDFDOICite

Abstract

Let f: X → 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 results for quasi-coherent sheaves on algebraic stacks to the derived setting.

Related

  1. Finiteness of Anosov and pseudo-Anosov flows on hyperbolic 3-manifolds
    David Gabai, Lily Qiao Li
    arXivPreprintarXiv licenceFull textDynamical systemsGeometry & topologyarXiv
  2. Finiteness theorems for Cayley permutation classes
    Giulio Cerbai, Anders Claesson
    arXivPreprintarXiv licenceFull textCombinatorics & discrete mathematicsarXiv
  3. The Serre-Grothendieck Finiteness Theorem for the cohomology of coherent sheaves
    Beren Sanders
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  4. Finiteness theorems for trace Euclidean quadratic lattices over totally real number fields
    Zilong He
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  5. Finiteness of algebraic Weil-Petersson totally geodesic curves in pointed moduli spaces
    Tianzhi Hu, Kang Zuo
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv

Cite

BibTeXRIS
BibTeX
@misc{hall2026finiteness,
  title = {{Finiteness theorems for pseudo-coherent complexes on algebraic stacks}},
  author = {Jack Hall and Oliver Li},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.24420},
  eprint = {2609.24420},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.24420},
}
RIS
TY  - UNPB
TI  - Finiteness theorems for pseudo-coherent complexes on algebraic stacks
AU  - Jack Hall
AU  - Oliver Li
PY  - 2026
DA  - 2026/09/21
PB  - arXiv
DO  - 10.48550/arxiv.2609.24420
UR  - https://arxiv.org/abs/2609.24420
AB  - Let f: X → 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 results for quasi-coherent sheaves on algebraic stacks to the derived setting.
ER  -