Related papers: The derived category of a locally complete interse…
For Y a closed normal subvariety of codimension c of a smooth complex variety X, Brylinski and Kashiwara showed that the local cohomology module H^c_Y(X,O_X) contains a unique simple D_X-submodule, denoted by L(Y,X). In this paper the…
Let $\mathfrak{a}$ be an ideal of a commutative noetherian (not necessarily local) ring $R$. In the case $\cd(\mathfrak{a},R)\leq 1$, we show that the subcategory of $\mathfrak{a}$-cofinite $R$-modules is abelian. Using this and the…
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…
In a previous paper, the third author proved that finite-degree polynomial functors over infinite fields are topologically Noetherian. In this paper, we prove that the same holds for polynomial functors from free $R$-modules to finitely…
A ring with a test module of finite upper complete intersection dimension is complete intersection.
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…
Let R be a commutative noetherian ring. Let M be a finitely generated R-module. In this paper, we reconstruct M from its Koszul homology with respect to a suitable sequence of elements of R by taking direct summands, syzygies and…
For any commutative ring $A$ we introduce a generalization of $S$-noetherian rings using a hereditary torsion theory $\sigma$ instead of a multiplicatively closed subset $S\subseteq{A}$. It is proved that if $A$ is a totally…
We classify all compactly generated t-structures in the unbounded derived category of an arbitrary commutative ring, generalizing the result of [ATLJS10] for noetherian rings. More specifically, we establish a bijective correspondence…
A finitely generated module C over a commutative noetherian ring R is semidualizing if Hom_R(C,C) \cong R and Ext^i_R(C,C) = 0 for all i \geq 1. For certain local Cohen-Macaulay rings (R,m), we verify the equality of Hilbert-Samuel…
Let $\mathfrak{a}$ be an ideal of Noetherian ring $R$ and let $M$ be an $R$-module such that $\mathrm{Ext}^i_R(R/\mathfrak{a},M)$ is finite $R$-module for every $i$. If $s$ is the first integer such that the local cohomology module…
For an associative ring $R$, the projective level of a complex $F$ is the smallest number of mapping cones needed to build $F$ from projective $R$-modules. We establish lower bounds for the projective level of $F$ in terms of the vanishing…
It is proved that localizations of injective $R$-modules of finite Goldie dimension are injective if $R$ is an arithmetical ring satisfying the following condition: for every maximal ideal $P$, $R_P$ is either coherent or not semicoherent.…
It is proved that localizations of injective $R$-modules of finite Goldie dimension are injective if $R$ is an arithmetical ring satisfying the following condition: for every maximal ideal $P$, $R_P$ is either coherent or not semicoherent.…
We define, via Gorenstein homomorphisms, a class of local rings over which there exist non-trivial totally reflexive modules. We also provide a general construction of such rings, which indicates their abundance.
It is proved that a noetherian commutative local ring A containing a field is regular if there is a complex M of free A-modules with the following properties: M_i=0 for i not in [0,dim A]; the homology of M has finite length; H_0(M)…
Let $\frak a$ denote an ideal in a regular local (Noetherian) ring $R$ and let $N$ be a finitely generated $R$-module with support in $V(\frak a)$. The purpose of this paper is to show that all homomorphic images of the $R$-modules…
Given a significative class $F$ of commutative rings, we study the precise conditions under which a commutative ring $R$ has an $F$-envelope. A full answer is obtained when $F$ is the class of fields, semisimple commutative rings or…
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…
Let $\bar{I}$ denote the integral closure of an ideal in a Noetherian ring $R$. The main result of this paper asserts that $R$ is locally quasi-unmixed if and only if, the topologies defined by $\overline{I^n}$ and $I^{\langle n\rangle}$,…