相关论文: Bousfield localization on formal schemes

For a quasi-compact quasi-separated scheme X and an arbitrary scheme Y we show that the pullback construction implements an equivalence between the discrete category of morphisms Y --> X and the category of cocontinuous tensor functors…

Let $U$ be a smooth and connected curve over an algebraically closed field of positive characteristic, with smooth compactification $X$. We generalize classical Geometric Class Field theory to provide a classification of fppf $G$-torsors…

We study thick ideals in the stable motivic homotopy category SH(k) and in its subcategories of compact and of finite cellular objects. If k is a subfield of the complex or even the real numbers, then using comparison functors we find thick…

In this paper, we show that Goodwillie calculus, as applied to functors from stable homotopy to itself, interacts in striking ways with chromatic aspects of the stable category. Localized at a fixed prime p, let T(n) be the telescope of a…

We investigate to what extent we can descend the classification of localizing, smashing and thick ideals in a presentably symmetric monoidal stable $\infty$-category $\mathscr{C}$ along a descendable commutative algebra $A$. We establish…

We prove a localisation theorem for the K-theory of filtering subcategories of exact $\infty$-categories which subsumes the localisation theorem for stable $\infty$-categories, Quillen's localisation theorem for abelian categories, and…

We survey various approaches to axiomatic stable homotopy theory, with examples including derived categories, categories of (possibly equivariant or localized) spectra, and stable categories of modular representations of finite groups. We…

In this note, a condition (\emph{open persistence}) is presented under which a (pre)closure operation on submodules (resp. ideals) over rings of global sections over a scheme $X$ can be extended to a (pre)closure operation on sheaves of…

Let \pi : X -> S be a finite type morphism of noetherian schemes. A smooth formal embedding of X (over S) is a bijective closed immersion X -> \frak{X}, where \frak{X} is a noetherian formal scheme, formally smooth over S. An example of…

In this paper we study the category of localizing motives $\operatorname{Mot}^{\operatorname{loc}}$ -- the target of the universal finitary localizing invariant of idempotent-complete stable categories as defined by Blumberg-Gepner-Tabuada.…

Let R be a commutative Noetherian ring. We introduce the notion of colocalization functors with supports in arbitrary subsets of Spec R, which is a natural generalization of right derived functors of section functors with supports in…

We introduce a new category of non-archimedean analytic spaces over a complete discretely valued field. These spaces, which we call uniformly rigid, may be viewed as classical rigid-analytic spaces together with an additional uniform…

We give a condition which characterises those weight structures on a derived category which come from a Thomason filtration on the underlying scheme. Weight structures satisfying our condition will be called $\otimes ^c$-weight structures.…

For a connected reductive group $G$ and an affine smooth $G$-variety $X$ over the complex numbers, the localization functor takes $\mathfrak{g}$-modules to $D_X$-modules. We extend this construction to an equivariant and derived setting…

We give an explicit combinatorial description of the deformation theory of the Abelian category of (quasi)coherent sheaves on any separated Noetherian scheme $X$ via the deformation theory of path algebras of quivers with relations, by…

Given any pointed CW complex (X,x), it is well known that the fondamental group of X pointed at x is naturally isomorphic to the automorphism group of the functor which associates to a locally constant sheaf on X its fibre at x. The purpose…

We extend Berthelot's theory of arithmetic D-modules to a class of morphisms that are not necessarily of finite type. As an application we give a new construction of the category of convergent isocrystals on a separated scheme of finite…

We construct a functor from the category of graphs to the category of groups which is faithful and "almost" full, in the sense that it induces bijections of the Hom sets up to trivial homomorphisms and conjugation in the category of groups.…

This article is a sequel to hep-th/9411050, q-alg/9412017. In Chapter 1 we associate with every Cartan matrix of finite type and a non-zero complex number $\zeta$ an abelian artinian category $\FS$. We call its objects {\em finite…

We classify thick subcategories of the $\infty$-categories of perfect modules over ring spectra which arise as functions on even periodic derived stacks satisfying affineness and regularity conditions. For example, we show that the thick…