Related papers: Bousfield localization on formal schemes

Centers of categories capture the natural operations on their objects. Homotopy coherent centers are introduced here as an extension of this notion to categories with an associated homotopy theory. These centers can also be interpreted as…

We construct an embedding G of the category of graphs into the category of abelian groups such that for graphs X and Y we have Hom(GX,GY)=Z[Hom(X,Y)], the free abelian group whose basis is the set Hom(X,Y). The isomorphism is functorial in…

For an essentially small triangulated category $\mathcal{T}$, we introduce the notion of prime thick subcategories and define the spectrum of $\mathcal{T}$, which shares the basic properties with the spectrum of a tensor triangulated…

Let X be a scheme of finite type over a Noetherian base scheme S admitting a dualizing complex, and let U be an open subset whose complement has codimension at least 2. We extend the Deligne-Bezrukavnikov theory of perverse coherent sheaves…

We consider all Bott-Samelson varieties ${\rm BS}(s)$ for a fixed connected semisimple complex algebraic group with maximal torus $T$ as the class of objects of some category. The class of morphisms of this category is an extension of the…

We outline the theory of reflections for prederivators, derivators and stable derivators. In order to parallel the classical theory valid for categories, we outline how reflections can be equivalently described as categories of fractions,…

Given a diagram of rings, one may consider the category of modules over them. We are interested in the homotopy theory of categories of this type: given a suitable diagram of model categories M(s) (as s runs through the diagram), we…

We introduce two novel complementary notions of the Lefschetz number for a functor from a finite acyclic category to itself and we prove a Lefschetz fixed-object theorem and a Lefschetz fixed-morphism theorem. In order to do so, we use the…

This chapter sets out preliminaries for the duality theory in later chapters. An underlying idea is that local cohomology functors are higher derived functors of colocalizations (a.k.a.~coreflections). Predominantly well-known facts about…

Let $R$ be a commutative Noetherian ring such that $X=Spec R$ is connected. We prove that the category $D^b(coh X)$ contains no proper full triangulated subcategories which are regular. We also bound from below the dimension of a regular…

For a regular noetherian scheme $X$ with a divisor with strict normal crossings $D$ we prove that coherent sheaves satisfy descent w.r.t. the 'covering' consisting of the open parts in the various completions of $X$ along the components of…

We proved in a previous work that Cattani-Sassone's higher dimensional transition systems can be interpreted as a small-orthogonality class of a topological locally finitely presentable category of weak higher dimensional transition…

We construct localization cofiber sequences for the topological Hochschild homology (THH) and topological cyclic homology (TC) of spectral categories. Using a global construction of the THH and TC of a scheme in terms of the perfect…

Consider a space X with the singular locus, Z=Sing(X), of positive dimension. Suppose both Z and X are locally complete intersections. The transversal type of X along Z is generically constant but at some points of Z it degenerates. We…

Let S be a Dedekind scheme with field of functions K. We show that if X_K is a smooth connected proper curve of positive genus over K, then it admits a N\'eron model over S, i.e., a smooth separated model of finite type satisfying the usual…

We show for a ring R of weak global dimension at most one that there is a bijection between the smashing subcategories of its derived category and the equivalence classes of homological epimorphisms starting in R. If, moreover, R is…

We prove that localization functors of crossed modules of groups do not always admit fiberwise (or relative) versions. To do so we characterize the existence of a fiberwise localization by a certain normality condition and compute explicit…

Let $S$ be a base scheme, assumed separated and Noetherian. We define \emph{adequate classes} of morphisms of $S$-schemes by formalizing certain properties of homotopy equivalences of complex algebraic varieties. Other examples of adequate…

For a noetherian scheme, we introduce its unbounded stable derived category. This leads to a recollement which reflects the passage from the bounded derived category of coherent sheaves to the quotient modulo the subcategory of perfect…

Locality is implemented in an arbitrary category using Grothendieck topologies. We explore how different Grothendieck topologies on one category can be related, and, more general, how functors between categories can preserve them. As…