Recollements and stratification

Abstract

We develop various aspects of the theory of recollements of $\infty$-categories, including a symmetric monoidal refinement of the theory. Our main result establishes a formula for the gluing functor of a recollement on the right-lax limit of a locally cocartesian fibration determined by a sieve-cosieve decomposition of the base. As an application, we prove a reconstruction theorem for sheaves in an $\infty$-topos stratified over a finite poset $P$ in the sense of Barwick-Glasman-Haine. Combining our theorem with methods from the work of Ayala-Mazel-Gee-Rozenblyum, we then prove a conjecture of Barwick-Glasman-Haine that asserts an equivalence between the $\infty$-category of $P$-stratified $\infty$-topoi and that of toposic locally cocartesian fibrations over $P^{\mathrm{op}}$.

Revision and expansion of sections 1 and 2 of arXiv:1909.03920. 47 pages. v2: minor changes

References in corpus (5)

• Dualizing cartesian and cocartesian fibrations
• Parametrized higher category theory and higher algebra: Exposé IV -- Stability with respect to an orbital $\infty$-category
• A note on stable recollements
• A naive approach to genuine $G$-spectra and cyclotomic spectra
• On the parametrized Tate construction