Let C be a subcategory of the category of finitely generated R-modules over a commutative noetheian ring R. We prove that, if C is closed under images and extensions (which we call an IE-closed subcategory), then C is closed under submodules, and hence is a torsion-free class. This result complements Stanley--Wang's result in some sense and, furthermore, provides a complete answer to the question posed by Iima--Matsui--Shimada--Takahashi. The proof relies on the general theory of IE-closed subcategories in an abelian category, which states that IE-closed subcategories are precisely the intersections of torsion classes and torsion-free classes. Additionally, we completely characterize right noetherian rings such that every IE-closed subcategory (or torsion-free class) is a Serre subcategory.
Let R be a commutative noetherian ring. Denote by mod R the category of finitely generated R-modules. In this paper, we study n-torsionfree modules in the sense of Auslander and Bridger, by comparing them with n-syzygy modules, and modules satisfying Serre's condition (S_n). We mainly investigate closedness properties of the full subcategories of mod R consisting of those modules.
Contravariantly finite resolving subcategories of the category of finitely generated modules have been playing an important role in the representation theory of algebras. In this paper we study contravariantly finite resolving subcategories over commutative rings. The main purpose of this paper is to classify contravariantly finite resolving subcategories over a henselian Gorenstein local ring; in fact there exist only three ones. Our method to obtain this classification also recovers as a by-product the theorem of Christensen, Piepmeyer, Striuli and Takahashi concerning the relationship betwe…
For a commutative noetherian ring A, we compare the support of a complex of A-modules with the support of its cohomology. This leads to a classification of all full subcategories of A-modules which are thick (that is, closed under taking kernels, cokernels, and extensions) and closed under taking direct sums.
Let R be a quotient ring of a commutative coherent regular ring by a finitely generated ideal. Hovey gave a bijection between the set of coherent subcategories of the category of finitely presented R-modules and the set of thick subcategories of the derived category of perfect R-complexes. Using this isomorphism, he proved that every coherent subcategory of finitely presented R-modules is a Serre subcategory. In this paper, it is proved that this holds whenever R is a commutative noetherian ring. This paper also yields a module version of the bijection between the set of localizing subcategori…
We classify certain resolving subcategories of finitely generated modules over a commutative noetherian ring R by using integer-valued functions on Spec R. As an application we give a complete classification of resolving subcategories when R is a locally hypersurface ring. Our results also recover a "missing theorem" by Auslander.
Let R be a commutative noetherian ring. The notion of n-wide subcategories of Mod R is introduced and studied in Matsui-Nam-Takahashi-Tri-Yen in relation to the cohomological dimension of a specialization-closed subset of Spec R. In this paper, we introduce the notions of n-coherent subsets of Spec R and n-uniform subcategories of D(Mod R), and explore their interactions with n-wide subcategories of Mod R. We obtain a commutative diagram which yields filtrations of subcategories of Mod R, D(Mod R) and subsets of Spec R and complements classification theorems of subcategories due to Gabriel, Kr…
This paper introduces the concept of the dimension of a triangulated category with respect to a fixed full subcategory. For the bounded derived category of an abelian category, upper bounds of the dimension with respect to a contravariantly finite subcategory and a resolving subcategory are given. Our methods not only recover some known results on the dimensions of derived categories in the sense of Rouquier, but also apply to various commutative and non-commutative noetherian rings.
Let R be a commutative noetherian ring. In this paper, we study specialization-closed subsets of Spec R. More precisely, we first characterize the specialization-closed subsets in terms of various closure properties of subcategories of modules. Then, for each nonnegative integer n we introduce the notion of n-wide subcategories of R-modules to consider the question asking when a given specialization-closed subset has cohomological dimension at most n.
The Hom closed colocalizing subcategories of the stable module category of a finite group are classified. Along the way, the colocalizing subcategories of the homotopy category of injectives over an exterior algebra, and the derived category of a formal commutative differential graded algebra, are classified. To this end, and with an eye towards future applications, a notion of local homology and cosupport for triangulated categories is developed, building on earlier work of the authors on local cohomology and support.
Let R be a commutative Noetherian local ring with residue field k. Let X be a resolving subcategory of finitely generated R-modules. This paper mainly studies when X contains k or consists of totally reflexive modules. It is proved that X does so if X is closed under cosyzygies. A conjecture of Dao and Takahashi is also shown to hold in several cases.
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.
The paper has been withdrawn, since there is a mistake in Proposition 5.2. The result on the telescope conjecture for semihereditary rings is correct, but the characterization of the smashing subcategories of the derived category of commutative rings is not complete.
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 Krause.
In this paper, we classify certain subcategories of modules over a ring R. A wide subcategory of R-modules is an Abelian subcategory of R-Mod that is closed under extensions. We give a complete classification of wide subcategories of finitely presented modules when R is a quotient of a regular commutative coherent ring by a finitely generated ideal. This includes all finitely presented algebras over a principal ideal domain, as well as polynomial rings on infinitely many variable over a PID. The classification is in terms of subsets of Spec R, and depends heavily on Thomason's classification o…
Let $R$ be a commutative ring. A full additive subcategory $\C$ of $R$-modules is triangulated if whenever two terms of a short exact sequence belong to $\C$, then so does the third term. In this note we give a classification of triangulated subcategories of finitely generated modules over a principal ideal domain. As a corollary we show that in the category of finitely generated modules over a PID, thick subcategories (triangulated subcategories closed under direct summands), wide subcategories (abelian subcategories closed under extensions) and Serre subcategories (wide subcategories closed …
This paper investigates when local cohomology modules have an annihilator that does not depend on the choice of an ideal. Takahashi classified the dominant resolving subcategories of the category of finitely generated modules over a commutative Noetherian ring. We show that his classification theorem describes annihilation results of local cohomology modules over a finite-dimensional ring with certain assumptions or a Cohen-Macaulay ring.
Let $R$ be a commutative noetherian ring, $\frak a$ be an ideal of $R$, $\cS$ be an arbitrary Serre subcategory of $R$-modules and let $\cN$ be the subcategory of finitely generated $R$-modules. In this paper, we study $\cN\cS$-$\frak a$-cofinite modules with respect to the extension subcategory $\cN\cS$ when $\dim R/\frak a\leq 2$. We also study $\frak a$-cofiniteness with respect to a new dimension.
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.
Let $R$ be a commutative noetherian ring, $\frak a$ be an ideal of $R$, $\mathcal{S}$ be an arbitrary Serre subcategory of $R$-modules satisfying the condition $C_{\frak a}$ and let $\mathcal{N}$ be the subcategory of finitely generated $R$-modules. In this paper, we define and study $\mathcal{NS}$-$\frak a$-cofinite modules with respect to the extension subcategory $\mathcal{NS}$ as an generalization of the classical notion, namely $\frak a$-cofinite modules. For the lower dimensions, we show that the classical results of $\frak a$-cofiniteness hold for the new notion.
We classify 1-tilting classes over an arbitrary commutative ring. As a consequence, we classify all resolving subcategories of finitely presented modules of projective dimension at most 1. Both these collections are in 1-1 correspondence with faithful Gabriel topologies of finite type, or equivalently, with Thomason subsets of the spectrum avoiding a set of primes associated in a specific way to the ring. We also provide a generalization of the classical Fuchs and Salce tilting modules, and classify the equivalence classes of all 1-tilting modules. Finally we characterize the cases when tiltin…
Let $R$ be a commutative noetherian ring, let $\frak a$ and $\frak b$ be two ideals of $R$; and let $\Ss$ be a Serre subcategory of $R$-modules. We give a necessary and sufficient condition by which $\Ss$ satisfies $C_{\frak a}$ and $C_{\frak b}$ conditions. As an conclusion we show that over a artinian local ring, every Serre subcategory satisfies $C_{\frak a}$ condition. We also show that $\Ss_{\frak a}$ is closed under extension of modules. If $\Ss$ is a torsion subcategory, we prove that $S$ satisfies $C_{\frak a}$ condition. We prove that $C_{\frak a}$ condition can be transferred via rin…
We give necessary and sufficient conditions for stratification and costratification to descend along a coproduct preserving, tensor-exact $R$-linear functor between $R$-linear tensor-triangulated categories which are rigidly-compactly generated by their tensor units. We then apply these results to non-positive commutative DG-rings and connective ring spectra. In particular, this gives a support-theoretic classification of (co)localizing subcategories, and thick subcategories of compact objects of the derived category of a non-positive commutative DG-ring with finite amplitude, and provides a f…
Let R be a commutative noetherian ring. Denote by mod R the category of finitely generated R-modules. In the present paper, we first provide various sufficient (and necessary) conditions for a full subcategory of mod R to be a Serre subcategory, which include several refinements of theorems of Stanley and Wang and of Takahashi with simpler proofs. Next we consider when an IKE-closed subcategory of mod R is a torsionfree class. We investigate certain modules out of which all modules of finite length can be built by taking direct summands and extensions, and then we apply it to show that the IKE…
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 commutative, we prove that the compactly generated localizing subcategories correspond precisely to flat epimorphisms. We also classify smashing localizations of the derived category of any valuation domain, and provide an easy criterion for the Telescope Conjecture (TC) for any commutative ring of weak global dimension at most one. As a consequence, we show that t…
We classify all tilting and cotilting classes over commutative noetherian rings in terms of descending sequences of specialization closed subsets of the Zariski spectrum. Consequently, all resolving subcategories of finitely generated modules of bounded projective dimension are classified. We also relate our results to Hochster's conjecture on the existence of finitely generated maximal Cohen-Macaulay modules.
A full subcategory of modules over a commutative ring $R$ is wide if it is abelian and closed under extensions. Hovey \cite{wide} gave a classification of wide subcategories of finitely presented modules over regular coherent rings in terms of certain specialisation closed subsets of $\Spec(R)$. We use this classification theorem to study K-theory and Krull-Schmidt type decompositions for wide subcategories. It is shown that the K-group, in the sense of Grothendieck, of a wide subcategory $\W$ of finitely presented modules over a regular coherent ring is isomorphic to that of the thick subcate…
Let $\mathfrak{a}$ be an ideal of a commutative noetherian ring $R$, $\mathcal{S}$ a Serre subcategory of $R$-modules satisfying the condition $C_\mathfrak{a}$ and $\mathcal{N}$ the subcategory of finitely generated $R$-modules. In this paper, we continue the study of $\mathcal{NS}$-$\mathfrak{a}$-cofinite modules with respect to the extension subcategory $\mathcal{NS}$, show that some classical results of $\mathfrak{a}$-cofiniteness hold for $\mathcal{NS}$-$\mathfrak{a}$-cofiniteness in the cases $\mathrm{dim}R=d$ or $\mathrm{dim}R/\mathfrak{a}=d-1$, where $d$ is a positive integer. We also s…
Let R be a commutative noetherian local ring, and let X be a resolving subcategory of the category of finitely generated R-modules. In this paper, we study modules in X by relating them to modules in X which are free on the punctured spectrum of R. We do this by investigating nonfree loci and establishing an analogue of the notion of a level in a triangulated category which has been introduced by Avramov, Buchweitz, Iyengar and Miller. As an application, we prove a result on the dimension of the nonfree locus of a resolving subcategory having only countably many nonisomorphic indecomposable mo…
Let R be a commutative, noetherian, local ring. Topological Q-vector spaces modelled on full subcategories of the derived category of R are constructed in order to study intersection multiplicities.
Auslander-Reiten theory is fundamental to study categories which appear in representation theory, for example, modules over artin algebras, Cohen-Macaulay modules over Cohen-Macaulay rings, lattices over orders, and coherent sheaves on projective curves. In these Auslander-Reiten theories, the number `2' is quite symbolic. For one thing, almost split sequences give minimal projective resolutions of simple functors of projective dimension `2'. For another, Cohen-Macaulay rings of Krull-dimension `2' provide us with one of the most beautiful situation in representation theory, which is closely r…
We investigate parametrizations of compactly generated t-structures, or more generally, t-structures with a definable coaisle, in the unbounded derived category D(Mod-A) of a ring A. To this end, we provide a construction of t-structures from chains in the lattice of ring epimorphisms starting in A, which is a natural extension of the construction of compactly generated t-structures from chains of subsets of the Zariski spectrum known for the commutative noetherian case. We also provide constructions of silting and cosilting objects in D(Mod-A). This leads us to classification results over som…
Let A be a commutative ring, and \a a weakly proregular ideal in A. This includes the noetherian case: if A is noetherian then any ideal in it is weakly proregular; but there are other interesting examples. In this paper we prove the MGM equivalence, which is an equivalence between the category of cohomologically \a-adically complete complexes and the category of cohomologically \a-torsion complexes. These are triangulated subcategories of the derived category of A-modules. Our work extends earlier work by Alonso- Jeremias-Lipman, Schenzel and Dwyer-Greenlees.
Given a good $n$-tilting module $T$ over a ring $A$, let $B$ be the endomorphism ring of $T$, it is an open question whether the kernel of the left-derived functor $T\otimes^L_B-$ between the derived module categories of $B$ and $A$ could be realized as the derived module category of a ring $C$ via a ring epimorphism $B\rightarrow C$ for $n\ge 2$. In this paper, we first provide a uniform way to deal with the above question both for tilting and cotilting modules by considering a new class of modules called Ringel modules, and then give criterions for the kernel of $T\otimes^L_B-$ to be equival…
In the setting of the unbounded derived category D(R) of a ring R of weak global dimension at most one we consider t-structures with a definable coaisle. The t-structures among these which are stable (that is, the t-structures which consist of a pair of triangulated subcategories) are precisely the ones associated to a smashing localization of the derived category. In this way, our present results generalize those of [BŠ17] to the non-stable case. As in the stable case [BŠ17], we confine for the most part to the commutative setting, and give a full classification of definable coaisles in the l…
Let $R$ a commutative ring, $\mathfrak{a} \subset R$ an ideal, $I$ an injective $R$-module and $S \subset R$ a multiplicatively closed set. When $R$ is Noetherian it is well-known that the $\mathfrak{a}$-torsion sub-module $Γ_{\mathfrak{a}}(I)$, the factor module $I/Γ_{\mathfrak{a}}(I)$ and the localization $I_S$ are again injective $R$-modules. We investigate these properties in the case of a commutative ring $R$ by means of a notion of relatively-$\mathfrak{a}$-injective $R$-modules. In particular we get another characterization of weakly pro-regular sequences in terms of relatively injectiv…
We prove that one can realize certain triangulated subcategories of the singularity category of a complete intersection as homotopy categories of matrix factorizations. Moreover, we prove that for any commutative ring and non-zerodivisor, the homotopy category of matrix factorizations embeds into the homotopy category of totally acyclic complexes of finitely generated projective modules over the factor ring.
Fairness and centredness of ideals in commutative rings, i.e., the relations between assassins and weak assassins of a module, its small or large torsion submodule, and the corresponding quotients, are studied. General criteria as well as more specific results about idempotent or nil ideals are given, and several examples are presented.
