Classification of localizing subcategories along t-structures

TL;DR

This paper explores the relationship between localizing subcategories in stable $ abla$-categories with t-structures, establishing bijections that extend classical correspondences to a broader categorical context.

Contribution

It generalizes known correspondences between subcategories in noetherian rings and bounded t-structures to the setting of stable $ abla$-categories with arbitrary t-structures.

Findings

Weak localizing subcategories of the heart correspond to localizing subcategories of the stable category.

Bijection between localizing subcategories of the heart and kernels of t-exact functors.

Extension of Lurie's correspondence to the entire stable $ abla$-category.

Abstract

We study the interplay between localizing subcategories in a stable $\infty$-category $\mathcal{C}$ with $t$-structure $(\mathcal{C}_{\geq 0}, \mathcal{C}_{\leq 0})$, the prestable $\infty$-category $\mathcal{C}_{\geq 0}$ and the abelian category $\mathcal{C}^{\heartsuit}$. We prove that weak localizing subcategories of $\mathcal{C}^{\heartsuit}$ are in bijection with the localizing subcategories of $\mathcal{C}$ where object-containment can be checked on the heart. This generalizes similar known correspondences for noetherian rings and bounded $t$-structures. We also prove that this restricts to a bijection between localizing subcategories of $\mathcal{C}^{\heartsuit}$, and localizing subcategories of $\mathcal{C}$ that are kernels of $t$-exact functors -- lifting Lurie's correspondence between localizing subcategories in $\mathcal{C}_{\geq 0}$ and $\mathcal{C}^{\heartsuit}$ to the stable category $\mathcal{C}$.