Let $\mathcal A$ be a locally noetherian Grothendieck category. In this paper, we study subcategories of $\mathcal A$ using subsets of the Rosenberg spectrum $\mathfrak Spec(\mathcal A)$. Along the way, we also develop results in local algebra with respect to the category $\mathcal A$ that we believe to be of independent interest.
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 category introduced by Balmer. We mainly focus on triangulated categories that appear in algebraic geometry such as the derived and the singularity categories of a noetherian scheme $X$. We prove that certain classes of thick subcategories are prime thick subcategories of these triangulated categories. Furthermore, we use this result to show that certain subspaces…
We classify the prelocalizing subcategories of the category of quasi-coherent sheaves on a locally noetherian scheme. In order to give the classification, we introduce the notion of a local filter of subobjects of the structure sheaf. The essential part of the argument is given as results on a Grothendieck category with certain properties. We also classify the localizing subcategories, the closed subcategories, and the bilocalizing subcategories in terms of filters.
In this paper, we introduce the atom spectrum of an abelian category as a topological space consisting of all the equivalence classes of monoform objects. In terms of the atom spectrum, we give a classification of Serre subcategories of an arbitrary noetherian abelian category. Moreover we show that the atom spectrum of a locally noetherian Grothendieck category is homeomorphic to its Ziegler spectrum.
We study the derived categories of small categories over commutative noetherian rings. Our main result is a parametrization of the localizing subcategories in terms of the spectrum of the ring and the localizing subcategories over residue fields. In the special case of representations of Dynkin quivers over a commutative noetherian ring we give a complete description of the localizing subcategories of the derived category, a complete description of the thick subcategories of the perfect complexes and show the telescope conjecture holds. We also present some results concerning the telescope con…
We define the extension group between an atom and an object in a locally noetherian Grothendieck category as a module over a skew field. We show that the dimension of the i-th extension group between an atom and an object coincides with the i-th Bass number of the object with respect to the atom. As an application, we give a bijection between the E-stable subcategories closed under arbitrary direct sums and direct summands and the subsets of the atom spectrum and show that such subcategories are also closed under extensions, kernels of epimorphisms, and cokernels of monomorphisms. We show some…
For an exact category having enough projective objects, we establish a bijection between thick subcategories containing the projective objects and thick subcategories of the stable derived category. Using this bijection we classify thick subcategories of finitely generated modules over local complete intersections and produce generators for the category of coherent sheaves on a separated noetherian scheme with an ample family.
The Grothendieck monoid of an exact category is a monoid version of the Grothendieck group. We use it to classify Serre subcategories of an exact category and to reconstruct the topology of a noetherian scheme. We first construct bijections between (i) the set of Serre subcategories of an exact category, (ii) the set of faces of its Grothendieck monoid, and (iii) the monoid spectrum of its Grothendieck monoid. By using (ii), we classify Serre subcategories of exact categories related to a finite dimensional algebra and a smooth projective curve. In particular, we determine the Grothendieck mon…
For any graded commutative noetherian ring, where the grading group is abelian and where commutativity is allowed to hold in a quite general sense, we establish an inclusion-preserving bijection between, on the one hand, the twist-closed localizing subcategories of the derived category, and, on the other hand, subsets of the homogeneous spectrum of prime ideals of the ring. We provide an application to weighted projective schemes.
We introduce the notion of integrality of Grothendieck categories as a simultaneous generalization of the primeness of noncommutative noetherian rings and the integrality of locally noetherian schemes. Two different spaces associated to a Grothendieck category yield respective definitions of integrality, and we prove the equivalence of these definitions using a Grothendieck-categorical version of Gabriel's correspondence, which originally related indecomposable injective modules and prime two-sided ideals for noetherian rings. The generalization of prime two-sided ideals is also used to classi…
Let $\mathscr{A}$ be an abelian category having enough projective and injective objects, and let $\mathscr{T}$ be an additive subcategory of $\mathscr{A}$ closed under direct summands. A known assertion is that in a short exact sequence in $\mathscr{A}$, the $\mathscr{T}$-projective (respectively, $\mathscr{T}$-injective) dimensions of any two terms can sometimes induce an upper bound of that of the third term by using the same comparison expressions. We show that if $\mathscr{T}$ contains all projective (respectively, injective) objects of $\mathscr{A}$, then the above assertion holds true if…
Let S be a commutative ring with topologically noetherian spectrum and let R be the absolutely flat approximation of S. We prove that subsets of the spectrum of R parametrise the localising subcategories of D(R). Moreover, we prove the telescope conjecture holds for D(R). We also consider unbounded derived categories of absolutely flat rings which are not semi-artinian and exhibit an example of a cohomological Bousfield class that is not a Bousfield class.
We prove that the Balmer spectrum of a tensor triangulated category is homeomorphic to the Zariski spectrum of its graded central ring, provided the triangulated category is generated by its tensor unit and the graded central ring is noetherian and regular in a weak sense. There follows a classification of all thick subcategories, and the result extends to the compactly generated setting to yield a classification of all localizing subcategories as well as the analog of the telescope conjecture. This generalizes results of Shamir for commutative ring spectra.
We formulate a general abstract criterion for verifying the local-to-global principle for a rigidly-compactly generated tensor triangulated category. Our approach is based upon an inductive construction using dimension functions. Using our criterion we give a new proof of the theorem that the local-to-global principle holds for such categories when they have a model and the spectrum of the compacts is noetherian. As further applications we give a new set of conditions on the spectrum of the compacts that guarantee the local-to-global principle holds and use this to classify localising subcateg…
In recent years, Benson, Iyengar and Krause have developed a theory of stratification for compactly generated triangulated categories with an action of a graded commutative Noetherian ring. Stratification implies a classification of localizing and thick subcategories in terms of subsets of the prime ideal spectrum of the given ring. In this paper two stratification results are presented: one for the derived category of a commutative ring-spectrum with polynomial homotopy and another for the derived category of cochains on certain spaces. We also give the stratification of cochains on a space a…
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 essential extensions. The set $\mathbf{L}^{st}(\mathcal{C})$ of stable localizing subcategories of $\mathcal{C}$ is partially ordered under reverse inclusion. We show $\mathcal{L} \mapsto Z(\mathcal{C}/\mathcal{L})$ defines a sheaf of commutative rings on $\mathbf{L}^{st}(\mathcal{C})$ with respect to finite coverings. When $\mathcal{C}$ is assumed to be lo…
For a separated Noetherian scheme $X$ with an ample family of line bundles and a non-zero-divisor $W\inΓ(X,L)$ of a line bundle $L$ on $X$, we classify certain thick subcategories of the derived matrix factorization category ${\rm DMF}(X,L,W)$ of the Landau-Ginzburg model $(X,L,W)$. Furthermore, by using the classification result and the theory of Balmer's tensor triangular geometry, we show that the spectrum of the tensor triangulated category $({\rm DMF}(X,L,W), \otimes^{\frac{1}{2}})$ is homeomorphic to the relative singular locus ${\rm Sing}(X_0/X)$, introduced in this paper, of the zero s…