Related papers: Bousfield localization on formal schemes

We extend the framework of combinatorial model categories, so that the category of small presheaves over large indexing categories and ind-categories would be embraced by the new machinery called class-combinatorial model categories. The…

We introduce a new topological invariant of a rigidly-compactly generated tensor-triangulated category and two new notions of support. The first is based on smashing subcategories: it is unknown whether the frame of smashing subcategories…

We study how smashing Bousfield localizations behave under various equivariant functors. We show that the analogs of the smash product and chromatic convergence theorems for the Real Johnson-Wilson theories $E_{\mathbb{R}}(n)$ hold only…

For a tensor triangulated category which is well generated in the sense of Neeman, it is shown that the collection of Bousfield classes forms a set. This set has a natural structure of a complete lattice which is then studied, using the…

We study the composition of Bousfield localizations on a tensor triangulated category stratified via the Balmer-Favi support and with noetherian Balmer spectrum. Our aim is to provide reductions via purely axiomatic arguments, allowing us…

Weakly approximable triangulated categories, introduced by Neeman, provide a powerful framework for studying localization phenomena in triangulated categories. In this paper, we establish new localization theorems showing that, under mild…

Given a tensor triangulated category we investigate the geometry of the Balmer spectrum as a locally ringed space. Specifically we construct functors assigning to every object in the category a corresponding sheaf and a notion of support…

The Hom closed colocalising subcategories of the stable module category of a finite group scheme are classified. This complements the classification of the tensor closed localising subcategories in our previous work. Both classifications…

Let $(\mathcal C,\otimes,1)$ be an abelian symmetric monoidal category satisfying certain conditions and let $X$ be a scheme over $(\mathcal C,\otimes,1)$ in the sense of To\"en and Vaqui\'{e}. In this paper we show that when $X$ is…

We classify the dualizable localizing ideals of rigidly-compactly generated tt-$\infty$-categories that are cohomologically stratified. By definition, these are the localizing ideals that are dualizable with respect to the Lurie tensor…

Let $f\colon Y \to X$ be a proper flat morphism of locally noetherian schemes. Then, the locus in $X$ over which $f$ is smooth is stable under generization. We prove that under suitable assumptions on the formal fibers of $X$, the same…

We prove that, in a triangulated category with combinatorial models, every localizing subcategory is coreflective and every colocalizing subcategory is reflective if a certain large-cardinal axiom (Vopenka's principle) is assumed true. It…

The Hom closed colocalizing subcategories of the stable module category of a finite group are classified. Along the way, the colocalizing subcategories of the homotopy category of injectives over an exterior algebra, and the derived…

This short note reports on joint work with Michael Batanin towards a general machine for proving Baez-Dolan Stabilization Theorems for various models of higher categories, based on substitudes, Bousfield localization, and homotopical…

We introduce the general notions of an overconvergent site and a constructible crystal on an overconvergent site. We show that if $V$ is a geometric materialization of a locally noetherian formal scheme $X$ over an analytic space $O$…

In this paper we prove formal glueing along an arbitrary closed substack $Z$ of an arbitrary Artin stack $X$ (locally of finite type over a field $k$), for the stacks of (almost) perfect complexes , and of $G$-bundles on $X$ (for $G$ a…

We prove a sheaf-theoretic derived-category generalization of Greenlees-May duality (a far-reaching generalization of Grothendieck's local duality theorem): for a quasi-compact separated scheme X and a "proregular" subscheme Z---for…

Let S be the spectrum of a discrete valuation ring with function field K. Let X be a scheme over S. We will say that X is semi-factorial over S if each invertible sheaf on the generic fiber X_K can be extended to an invertible sheaf on X.…

We show that compactly generated t-structures in the derived category of a commutative ring $R$ are in a bijection with certain families of compactly generated t-structures over the local rings $R_\mathfrak{m}$ where $\mathfrak{m}$ runs…

In this paper, we develop basic results of algebraic geometry over abelian symmetric monoidal categories. Let $A$ be a commutative monoid object in an abelian symmetric monoidal category $(\mathbf C,\otimes,1)$ satisfying certain conditions…