English

Localizing and colocalizing subcategories on schemes

Algebraic Geometry 2025-07-24 v2 Category Theory

Abstract

A full triangulated subcategory LT\mathsf{L} \subset \mathsf{T} of triangulated category T\mathsf{T} is \emph{localizing} if it is stable for coproducts. If, further, T\mathsf{T} is \otimes-triangulated, we say that L\mathsf{L} is \otimes-ideal if FGLF \otimes G \in \mathsf{L} for all GLG \in \mathsf{L} and all FTF \in \mathsf{T}. Analogously, a full triangulated subcategory CT\mathsf{C} \subset \mathsf{T} is \emph{colocalizing} if it is stable for products. If, further, T\mathsf{T} is \emph{closed}, \textit{i.e.} \otimes-triangulated with internal homs (denoted [,][-,-]), we say that C\mathsf{C} is H\mathcal{H}-coideal if [F,G]C[F, G] \in \mathsf{C} for all GCG \in \mathsf{C} and all FTF \in \mathsf{T}. For a point generated concentrated scheme XX, we prove that all \otimes-ideal localizing subcategories of Dqc(X)\mathbf{D}_{qc}(X) are classified by the subsets of XX. As a consequence, we prove that for H\mathcal{H}-coideal colocalizing subcategories of Dqc(X)\mathbf{D}_{qc}(X) the same holds. Moreover, every such colocalizing subcategory C\mathsf{C} is of the form C=L\mathsf{C} = \mathsf{L}^\perp, where L\mathsf{L} is a \otimes-ideal localizing subcategory.

Keywords

Cite

@article{arxiv.2405.10383,
  title  = {Localizing and colocalizing subcategories on schemes},
  author = {Leovigildo Alonso and Ana Jeremías and Eduardo Loureiro},
  journal= {arXiv preprint arXiv:2405.10383},
  year   = {2025}
}

Comments

19 pages. V2: Changed title, revamped introduction, added new section discussing the improvement of the present set up with respect to the usual Noetherian hypothesis

R2 v1 2026-06-28T16:30:03.978Z