arXiv subjects
Publications and source records attributed to Massoud Tousi.
Let R be an associative ring with identity. We introduce an equivalence relation on the class of Wakamatsu tilting right R modules. By using this equivalence relation, we extend the Mantese Reiten theorems from the setting of Artin algebras to that of arbitrary associative rings.
Let R be an associative ring with identity, and let T be a tilting right R-module, with S=End(T). It is known that if R is a Noetherian algebra that satisfies the Auslander-Reiten conjecture, then so is S. In this paper, we consider the dual situation where C is a cotilting right R-module, with S=End(C). We investigate the invariance of the property of satisfying the Auslander-Reiten conjecture when passing from R to S.
In contrast to the theory of tilting modules, the dual theory lacks a unified definition. Nevertheless, several notions of cotilting modules have been proposed. In this paper, we compare four of the main definitions of cotilting modules that have appeared in the literature. We show that, in the setting of finitely generated right modules, three of these definitions coincide over right Artinian Noetherian algebras, and all four coincide over Artin algebras.
Let R be an associative ring with identity. We establish that the generalized Auslander-Reiten conjecture implies the Wakamatsu tilting conjecture. Furthermore, we prove that any Wakamatsu tilting R-module of finite projective dimension that is tensorly faithful is projective. By utilizing this result, we show the validity of the Wakamatsu tilting conjecture for R in two cases: when R is a left Artinian local ring or when it is the group ring of a finite group G over a commutative Artinian ring.
For a dualizing module $D$ over a commutative Noetherian ring $R$ with identity, it is known that its Auslander class $\mathscr{A}_D\left(R\right)$ (respectively, Bass class $\mathscr{B}_D\left(R\right)$) is characterized as those $R$-modules with finite Gorenstein flat dimension (respectively, finite Gorenstein injective dimension). We establish an analogue of this result in the context of cotilting modules over general Noetherain rings.
Let $R$ be a commutative Noetherian ring with identity and $C$ a semidualizing module for $R$. Let $\mathscr{P}_C(R)$ and $\mathscr{I}_C (R)$ denote, respectively, the classes of $C$-projective and $C$-injective $R$-modules. We show that their induced Ext bifunctors $\text{Ext}^i_{\mathscr{P}_C}(-,\sim)$ and $\text{Ext}^i_{\mathscr{I}_C}(-,\sim)$ coincide for all $i\geq 0$ if and only if $C$ is projective. Also, we provide some other criteria for $C$ to be projective by using some special cotorsion theories.
It is known that the numerical invariants Betti numbers and Bass numbers are worthwhile tools for decoding a large amount of information about modules over commutative rings. We highlight this fact, further, by establishing some criteria for certain semidualizing complexes via their Betti and Bass numbers. Two distinguished types of semidualizing complexes are the shifts of the underlying rings and dualizing complexes. Let $C$ be a semidualizing complex for an analytically irreducible local ring $R$ and set $n:=\sup C$ and $d:=\dim_RC$. We show that $C$ is quasi-isomorphic to a shift of $R$ if and only if the $n$th Betti number of $C$ is one. Also, we show that $C$ is a dualizing complex for $R$ if and only if the $d$th Bass number of $C$ is one.
Let R be a local ring and C a semidualizing module of R. We investigate the behavior of certain classes of generalized Cohen-Macaulay R-modules under the Foxby equivalence between the Auslander and Bass classes with respect to C. In particular, we show that generalized Cohen-Macaulay R-modules are invariant under this equivalence and if M is a finitely generated R-module in the Auslander class with respect to C such that C\otimes_RM is surjective Buchsbaum, then M is also surjective Buchsbaum.
Let a be an ideal of a commutative Noetherian ring R with identity. We study finitely generated R-modules M whose a-finiteness and a-cohomological dimensions are equal. In particular, we examine relative analogues of quasi-Buchsbaum, Buchsbaum and surjective Buchsbaum modules. We reveal several interactions between these types of modules that extend some of the existing results in the classical theory to the relative one.
Let (R,m,k) be a local ring. We establish a totally reflexive analogue of the New Intersection Theorem, provided for every totally reflexive R-module M, there is a big Cohen-Macaulay R-module B_M such that the socle of B_M\otimes_RM is zero. When R is a quasi-specialization of a G-regular local ring or when M has complete intersection dimension zero, we show the existence of such a big Cohen-Macaulay R-module. It is conjectured that if R admits a non-zero Cohen-Macaulay module of finite Gorenstein dimension, then it is Cohen-Macaulay. We prove this conjecture if either R is a quasi-specialization of a G-regular local ring or a quasi-Buchsbaum local ring.
Let R be a commutative Noetherian (not necessarily local) ring with identity and a be a proper ideal of R. We introduce a notion of a-relative system of parameters and characterize them by using the notion of cohomological dimension. Also, we present a criterion of relative Cohen-Macaulay modules via relative system of parameters.
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 technique of way-out functors, we show that if $\cd(\mathfrak{a},R)\leq 1$, or $\dim(R/\mathfrak{a}) \leq 1$, or $\dim(R) \leq 2$, then the local cohomology module $H^{i}_{\mathfrak{a}}(X)$ is $\mathfrak{a}$-cofinite for every $R$-complex $X$ with finitely generated homology modules and every $i \in \mathbb{Z}$. We further answer Question 1.3 in the three aforementioned cases, and reveal a correlation between Questions 1.1, 1.2, and 1.3.
Given a Serre class $\mathcal{S}$ of modules, we compare the containment of the Koszul homology, Ext modules, Tor modules, local homology, and local cohomology in $\mathcal{S}$ up to a given bound $s \geq 0$. As some applications, we give a full characterization of noetherian local homology modules. Further, we establish a comprehensive vanishing result which readily leads to the formerly known descriptions of the numerical invariants width and depth in terms of Koszul homology, local homology, and local cohomology. Also, we immediately recover a few renowned vanishing criteria scattered about the literature.
Let $R$ be a commutative noetherian ring, and $\mathcal{Z}$ a stable under specialization subset of $\Spec(R)$. We introduce a notion of $\mathcal{Z}$-cofiniteness and study its main properties. In the case $\dim(\mathcal{Z})\leq 1$, or $\dim(R)\leq 2$, or $R$ is semilocal with $\cd(\mathcal{Z},R) \leq 1$, we show that the category of $\mathcal{Z}$-cofinite $R$-modules is abelian. Also, in each of these cases, we prove that the local cohomology module $H^{i}_{\mathcal{Z}}(X)$ is $\mathcal{Z}$-cofinite for every homologically left-bounded $R$-complex $X$ whose homology modules are finitely generated and every $i \in \mathbb{Z}$.
Let $\frak a$ be an ideal of a commutative noetherian ring $R$ with unity and $M$ an $R$-module supported at $\V(\fa)$. Let $n$ be the supermum of the integers $i$ for which $H^{\fa}_i(M)\neq 0$. We show that $M$ is $\fa$-cofinite if and only if the $R$-module $\Tor^R_i(R/\fa,M)$ is finitely generated for every $0\leq i\leq n$. This provides a hands-on and computable finitely-many-steps criterion to examine $\mathfrak{a}$-confiniteness. Our approach relies heavily on the theory of local homology which demonstrates the effectiveness and indispensability of this tool.
In this paper several quasi-Gorenstein counterparts to some known properties of Gorenstein rings are given. We, furthermore, give an explicit description of the attach prime ideals of certain local cohomology modules.
We establish a characterization of dualizing modules among semidualizing modules. Let R be a finite dimensional commutative Noetherian ring with identity and C a semidualizing R-module. We show that C is a dualizing R-module if and only if Tor_i^R(E,E') is C- injective for all C-injective R-modules E and E' and all i\geq 0.
Let k be a field and R a pure subring of the infinite-dimensional polynomial ring k[X1;...]. If R is generated by monomials, then we show that the equality of height and grade holds for all ideals of R. Also, we show R satisfies the weak Bourbaki unmixed property. As an application, we give the Cohen-Macaulay property of the invariant ring of the action of a linearly reductive group acting by k-automorphism on k[X1;...]. This provides several examples of non-Noetherian Cohen-Macaulay rings (e.g. Veronese, determinantal and Grassmanian rings).