English
Related papers

Related papers: Bousfield localization on formal schemes

200 papers

We study a notion of total acyclicity for complexes of flat sheaves over a scheme. It is Zariski-local - i.e. it can be verified on any open affine covering of the scheme - and it agrees, in their setting, with the notion studied by Murfet…

Commutative Algebra · Mathematics 2016-06-24 Lars Winther Christensen , Sergio Estrada , Alina Iacob

We develop a categorical and algebro-geometric treatment of localization for cohomological theories endowed with an open--closed recollement. Starting from a class on a space whose restriction to the open complement vanishes, we show that…

Algebraic Geometry · Mathematics 2026-04-09 Mauricio Corrêa , Simone Noja

Derived decompositions of abelian categories are introduced in internal terms of abelian subcategories to construct semi-orthogonal decompositions (or Bousfield localizations, or hereditary torsion pairs) in various derived categories of…

Representation Theory · Mathematics 2018-11-26 Hongxing Chen , Changchang Xi

Given a functor $T:C \to D$ carrying a class of morphisms $S\subset C$ into a class $S'\subset D$, we give sufficient conditions in order that $T$ induces an equivalence on the localised categories. These conditions are in the spirit of…

Algebraic Geometry · Mathematics 2010-09-13 Bruno Kahn , R. Sujatha

We construct an exact tensor functor from the category $\mathcal{A}$ of finite-dimensional graded modules over the quiver Hecke algebra of type $A_\infty$ to the category $\mathscr C_{B^{(1)}_n}$ of finite-dimensional integrable modules…

Representation Theory · Mathematics 2017-10-19 Masaki Kashiwara , Myungho Kim , Se-jin Oh

The aim of this short paper is two-fold: (i) to construct a TQ-localization functor on algebras over a spectral operad O, in the case where no connectivity assumptions are made on the O-algebras, and (ii) more generally, to establish the…

Algebraic Topology · Mathematics 2019-07-11 John E. Harper , Yu Zhang

The center $Z(\mathcal{A})$ of an abelian category $\mathcal{A}$ is the endomorphism ring of the identity functor on that category. A localizing subcategory of a Grothendieck category $\mathcal{C}$ is said to be stable if it is stable under…

Representation Theory · Mathematics 2022-10-25 Konstantin Ardakov , Peter Schneider

Let A be a commutative noetherian ring. In this paper, we interpret localizing subcategories of the derived category of A by using subsets of Spec A and subcategories of the category of A-modules. We unify theorems of Gabriel, Neeman and…

Commutative Algebra · Mathematics 2009-07-15 Ryo Takahashi

Let X be the toric scheme over a ring R associated with a fan Sigma. It is shown that there are a group B, a B-graded R-algebra S and a graded ideal I of S such that there is an essentially surjective, exact functor ~ from the category of…

Algebraic Geometry · Mathematics 2014-04-03 Fred Rohrer

In this paper, we prove that for a noetherian formal scheme X, its derived category of sheaves of modules with quasi-coherent torsion homologies D_qct(X) is generated by a single compact object. In an appendix we prove that the category of…

Algebraic Geometry · Mathematics 2017-04-27 Leovigildo Alonso , Ana Jeremias , Marta Perez , Maria J. Vale

This paper is the first in a series. The main goal of the series is to present a geometric construction of certain remarkable tensor categories arising from quantum groups coresponding to the value of deformation parameter $q$ equal to a…

High Energy Physics - Theory · Physics 2008-02-03 M. Finkelberg , V. Schechtman

We generalize the adjunction between the functors $Rf_*$ and $f^!$ of derived categories of quasi-coherent sheaves for proper morphisms $f\colon X \to Y$ of Noetherian schemes to the following situation: Let $f$ be a finite type morphism…

Algebraic Geometry · Mathematics 2018-10-16 Tobias Schedlmeier

Given a Noetherian formal scheme $\hat X$ over ${\rm Spf}(R)$, where $R$ is a complete DVR, we first prove a theorem of meromorphic descent along a possibly infinite cover of $\hat{X}$. Using this we construct a specialization functor from…

Algebraic Geometry · Mathematics 2022-02-08 Marcin Lara , Jiu-Kang Yu , Lei Zhang

For a normal variety X defined over an algebraically closed field with an action of the multiplicative group G_m, we consider the ``hyperbolic localization'' functor from D^b(X) to D^b(X^T), which localizes using closed supports in the…

Algebraic Geometry · Mathematics 2007-05-23 Tom Braden

We investigate several versions of the telescope conjecture on localized categories of spectra, and implications between them. Generalizing the "finite localization" construction, we show that on such categories, localizing away from a set…

Algebraic Topology · Mathematics 2016-01-20 F. Luke Wolcott

Let $Z\to X$ be a closed immersion of smooth affine schemes over an arbitrary field $k$, and $X^h_Z$ denote the henselization of $X$ along $Z$. For each presheaf $E\colon \mathbf{SH}(k)\to \mathrm{Ab}^\mathrm{op}$ on the stable motivic…

Algebraic Geometry · Mathematics 2020-10-08 A. Druzhinin

We prove that any noetherian quasi-excellent scheme of characteristic zero admits a strong desingularization which is functorial with respect to all regular morphisms. We show that as an easy formal consequence of this result one obtains…

Algebraic Geometry · Mathematics 2019-12-19 Michael Temkin

The dependence of torsion functors on their supporting ideals is investigated, especially in the case of monomial ideals of certain subrings of polynomial algebras over not necessarily Noetherian rings. As an application it is shown how…

Commutative Algebra · Mathematics 2014-04-03 Fred Rohrer

We establish a purely geometric form of the concentration theorem (also called localization theorem) for actions of a linearly reductive group $G$ on an affine scheme $X$ over an affine base scheme $S$. It asserts the existence of a…

Algebraic Geometry · Mathematics 2025-03-27 Olivier Haution

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…

Algebraic Topology · Mathematics 2024-12-13 Torgeir Aambø