In this paper we describe the categories $\mathbb{L}_R$ , [$\mathbb{R}_R$] whose objects are left [right] ideals of a Noetherian ring $R$ with unity and morphisms are appropriate $R$-linear transformations. Further it is shown that these are preadditive categories with zero object and are full subcategories of the $R$-modulue category with the property that these are categories with subobjects and the morphisms admits factorization property.
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.
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…
Let $R$ be a commutative Noetherian ring and let $\mathcal D(R)$ be its (unbounded) derived category. We show that all compactly generated t-structures in $\mathcal D(R)$ associated to a left bounded filtration by supports of Spec$(R)$ have a heart which is a Grothendieck category. Moreover, we identify all compactly generated t-structures in $\mathcal D(R)$ whose heart is a module category. As geometric consequences for a compactly generated t-structure $(\mathcal{U},\mathcal{U}^\perp [1])$ in the derived category $\mathcal{D}(\mathbb{X})$ of a Noetherian scheme $\mathbb{X}$, we get the follo…
We classify compactly generated co-t-structures on the derived category of a commutative noetherian ring. In order to accomplish that, we develop a theory for compactly generated Hom-orthogonal pairs (also known as torsion pairs in the literature) in triangulated categories that resembles Bousfield localization theory. Finally, we show that the category of perfect complexes over a connected commutative noetherian ring admits only the trivial co-t-structures and (de)suspensions of the canonical co-t-structure and use this to describe all silting objects in the category.
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.
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…
The main theorem in this paper is that the base change functor from a noetherian abelian category to its noetherian polynomial category induces an isomorphism on K-theory. The main theorem implies the well-known fact that A^1-homotopy invariance of K'-theory for noetherian schemes.
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 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 and characterise small support for complexes over non-Noetherian rings and in this context prove a vanishing theorem for modules. Our definition of support makes sense for any rigidly compactly generated tensor triangulated category. Working in this generality, we establish basic properties of support and investigate when it detects vanishing. We use pointless topology to relate support, the topology of the Balmer spectrum, and the structure of the idempotent Bousfield lattice.
We develop theory of (possibly large) cotilting objects of injective dimension at most one in general Grothendieck categories. We show that such cotilting objects are always pure-injective and that they characterize the situation where the Grothendieck category is tilted using a torsion pair to another Grothendieck category. We prove that for Noetherian schemes with an ample family of line bundles a cotilting class is closed under injective envelopes if and only if it is invariant under twists by line bundles, and that such cotilting classes are parametrized by specialization closed subsets di…
Consider the obvious functor from the unbounded derived category of all finitely generated modules over a left noetherian ring $R$ to the unbounded derived category of all modules. We answer the natural question whether this functor defines an equivalence onto the full subcategory of complexes with finitely generated cohomology modules in two special cases. If $R$ is a quasi-Frobenius ring of infinite global dimension, then this functor is not full. If $R$ has finite left global dimension, this functor is an equivalence. We also prove variants of the latter assertion for left coherent rings, f…
We define the graph minor category and prove that the category of contravariant representations of the graph minor category over a Noetherian ring is locally Noetherian. This can be regarded as a categorification of the Robertson--Seymour graph minor theorem. In addition, we generalize Sam and Snowden's Gröbner theory of categories to the setting of pairs consisting of a category along with a functor to sets, and we apply this theory to the edge functor on the graph minor category. As an application, we study homology groups of unordered configuration spaces of graphs, improving upon various f…
