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…
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.
Various classification theorems of thick subcategories of a triangulated category have been obtained in many areas of mathematics. In this paper, as a higher-dimensional version of the classification theorem of thick subcategories of the stable category of finitely generated representations of a finite $p$-group due to Benson, Carlson and Rickard, we consider classifying thick subcategories of the stable category of Cohen-Macaulay modules over a Gorenstein local ring. The main result of this paper yields a complete classification of the thick subcategories of the stable category of Cohen-Macau…
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…
Let R be a Gorenstein local ring which is locally a hypersurface on the punctured spectrum. In this paper, we classify thick subcategories of the bounded derived category of finitely generated R-modules. Moreover, using this classification, we also classify thick subcategories of finitely generated R-modules, and find out the relationships with thick subcategories of Cohen-Macaulay R-modules.
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…
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.
A new proof of the classification for tensor ideal thick subcategories of the bounded derived category, and the stable category, of modular representations of a finite group is obtained. The arguments apply more generally to yield a classification of thick subcategories of the bounded derived category of an artinian complete intersection ring. One of the salient features of this work is that it takes no recourse to infinite constructions, unlike the previous proofs of these results.
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.
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 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 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 …
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…
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…
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.
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.
Let $R$ be a commutative noetherian ring and let $\frak a$ be an ideal of $R$. In this paper, we study a certain condition, namely $C_{\frak a}$, introduced by Aghapournahr and Melkersson, on the extension of two subcategories of $R$-modules. We extend and generalize some of the main results of Yoshizawa [Y1,Y2]. As an example of extension of subcategories, we study the weakly Laskerian modules and we find some conditions under which the local cohomology modules of a weakly Laskerian module lie in an arbitrary Serre subcategory. Eventually, we investigate the cofiniteness of the local cohomolo…
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.
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.
We study the triangulated subcategories of compact objects in stable homotopy categories such as the homotopy category of spectra, the derived categories of rings, and the stable module categories of Hopf algebras. In the first part of this thesis we use a K-theory recipe of Thomason to classify these subcategories. This recipe when applied to the category of finite p-local spectra gives a refinement of the ``chromatic tower''. This refinement has some interesting consequences. In particular, it gives new evidence to a conjecture of Frank Adams that the thick subcategory C_2 can be generated b…
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.
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…
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…
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 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.
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.
This paper is concerned about the relation between local cohomology modules defined by a pair of ideals and Serre classes of R-modules, as a generalization of results of J. Azami, R. Naghipour and B. Vakili (2009) and M. Asgharzadeh and M.Tousi (2010). Let R be a commutative Noetherian ring, I, J be two ideals of R and M be an R-module. Let a\in W(I; J) and t \in N_0 be such that Ext^t_R(R/a,M)\in S and Ext^j_R(R/a,H^i_I;J(M))\inS for all i < t and all j>=0. Then for any submodule N of H^t_I;J(M) such that Ext^1_R(R/a;N)\in,we obtain HomR(R=a;H^t_I;J(M)/N)\inS.
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…
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…
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.
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…
We investigate the properties of categories of G_C-flat R-modules where C is a semidualizing module over a commutative noetherian ring R. We prove that the category of all G_C-flat R-modules is part of a weak AB-context, in the terminology of Hashimoto. In particular, this allows us to deduce the existence of certain Auslander-Buchweitz approximations for R-modules of finite G_C-flat dimension. We also prove that two procedures for building R-modules from complete resolutions by certain subcategories of G_C-flat R-modules yield only the modules in the original subcategories.
Let $(R,\frak m)$ be a commutative noetherian local ring. In this paper, we prove that if $\frak m$ is decomposable, then for any finitely generated $R$-module $M$ of infinite projective dimension $\frak m$ is a direct summand of (a direct sum of) syzygies of $M$. Applying this result to the case where $\frak m$ is quasi-decomposable, we obtain several classfications of subcategories, including a complete classification of the thick subcategories of the singularity category of $R$.
If K is a commutative ring and A is a K-algebra, for any sequence $σ$ of positive integers there exists an higher order analogue dR($σ$) of the standard de Rham complex dR(1,...,1,...), which can also be defined starting from suitable ("differentially closed") subcategories of (A-mod). The main result of this paper is that the cohomology of dR($σ$) does not depend on $σ$, under some smoothness assumptions on the ambient category. Before proving the main theorem we give a rather detailed exposition of all relevant (to our present purposes) functors of differential calculus on commutative algebr…
We show that every thick subcategory of the singularity category of a complete intersection ring is self dual. We also prove the analogous statement for thick subcategories of the bounded derived category and give applications to the symmetry of vanishing of cohomology. These results are also proved for certain complete intersection schemes.
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…
A notion of stratification is introduced for any compactly generated triangulated category T endowed with an action of a graded commutative noetherian ring R. The utility of this notion is demonstrated by establishing diverse consequences which follow when T is stratified by R. Among them are a classification of the localizing subcategories of T in terms of subsets of the set of prime ideals in R; a classification of the thick subcategories of the subcategory of compact objects in T; and results concerning the support of the R-module of homomorphisms Hom_T^*(C,D) leading to an analogue of the …