English
Related papers

Related papers: Ascent of module structures, vanishing of Ext, and…

200 papers

We present an in-depth exploration of the module structures of local (co)homology modules (moreover, for complexes) over the completion $\widehat R^{\mathfrak a}$ of a commutative noetherian ring $R$ with respect to a proper ideal…

Commutative Algebra · Mathematics 2016-02-25 Sean Sather-Wagstaff , Richard Wicklein

Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$, $M$ an arbitrary $R$-module and $N$ a finite $R$-module. We prove that \cite[Theorem 2.1]{Mel} and \cite[Proposition 3.3 (i)$\Leftrightarrow$(ii)]{B1} are true for any Serre…

Commutative Algebra · Mathematics 2023-05-18 Moharram Aghapournahr , Leif Melkersson

Let $ R $ be a $ d $-dimensional Cohen-Macaulay (CM) local ring of minimal multiplicity. Set $ S := R/({\bf f}) $, where $ {\bf f} := f_1,\ldots,f_c $ is an $ R $-regular sequence. Suppose $ M $ and $ N $ are maximal CM $ S $-modules. It is…

Commutative Algebra · Mathematics 2019-08-14 Dipankar Ghosh , Tony J. Puthenpurakal

Let $R$ be a commutative Noetherian ring, $\fa$ be an ideal of $R$ and $M$ be an $R$-module. It is shown that if $\Ext^i_R(R/\fa,M)$ is minimax for all $i\leq \dim M$, then the $R$-module $\Ext^i_R(N,M)$ is minimax for all $i\geq 0$ and for…

Commutative Algebra · Mathematics 2018-01-25 Hajar Roshan-Shekalgourabi

Let $I$ be an ideal of a commutative Noetherian ring $R$. Let $M$ and $N$ be any $R$-modules. We define the generalized completion homology modules $L_i\Lambda^I (N,M)$, for $i\in \mathbb{Z}$, as the homologies of the complex…

Commutative Algebra · Mathematics 2017-01-19 Waqas Mahmood

Let R be a commutative ring, M an R-module, and N a finitely presented R-module such that the intersection of Max(R) and Supp(N) is finite-dimensional and Noetherian. Suppose also that N is homothetic; in other words, suppose that the…

Commutative Algebra · Mathematics 2021-08-10 Robin Baidya

We prove that over a commutative noetherian ring the three approaches to introducing depth for complexes: via Koszul homology, via Ext modules, and via local cohomology, all yield the same invariant. Using this result, we establish a far…

Commutative Algebra · Mathematics 2007-05-23 H. -B. Foxby , S. Iyengar

Let $(R,\frak{m})$ be a Noetherian local ring, $I$ an ideal of $R$ and $N$ a finitely generated $R$-module. Let $k{\ge}-1$ be an integer and $ r=\depth_k(I,N)$ the length of a maximal $N$-sequence in dimension $>k$ in $I$ defined by M.…

Commutative Algebra · Mathematics 2012-11-08 Nguyen Tu Cuong , Nguyen Van Hoang

Let $R$ be a finitely generated positively graded algebra over a Noetherian local ring $B$, and $\mathfrak{m} = [R]_+$ be the graded irrelevant ideal of $R$. We provide a local criterion characterizing the $B$-freeness of all the local…

Commutative Algebra · Mathematics 2022-12-20 Yairon Cid-Ruiz

Let $R$ be a commutative Noetherian ring, $I$ an ideal of $R$ and $M$, $N$ two finitely generated $R$-modules. The aim of this paper is to investigate the $I$-cofiniteness of generalized local cohomology modules $\displaystyle…

Commutative Algebra · Mathematics 2015-11-03 Nguyen Tu Cuong , Shiro Goto , Nguyen Van Hoang

Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity,…

Commutative Algebra · Mathematics 2025-05-29 Luca Pol , Jordan Williamson

The goal of this paper is to show that if $R$ is an unramified hypersurface, if $M$ and $N$ are finitely generated $R$ modules, and if $\operatorname{Ext}_{R}^{n}(M,N)=0$ for some $n\leq\operatorname{grade}{M}$, then…

Commutative Algebra · Mathematics 2022-03-07 Andrew Soto Levins

Avramov and Buchweitz proved that for finitely generated modules $M$ and $N$ over a complete intersection local ring $R$, $\Ext^i_R(M,N)=0$ for all $i\gg 0$ implies $\Ext^i_R(N,M)=0$ for all $i\gg 0$. In this note we give some…

Commutative Algebra · Mathematics 2009-05-01 Saeed Nasseh , Massoud Tousi

Let $(R,\my)$ be a noetherian local ring and let $M$ be an $R$-module such that $\bigcap\limits_{n\geq 1} \my^n M=0.$ Let $\hat{M}$ be the completion of $M$. We show that Ass$(\hat{M})=$ Koatt$(M)$ holds in the following three cases: if…

Commutative Algebra · Mathematics 2012-06-21 Helmut Zöschinger

Let $R$ be a commutative Noetherian ring. We give criteria for flatness of $R$-modules in terms of associated primes and torsion-freeness of certain tensor products. This allows us to develop a criterion for regularity if $R$ has…

Commutative Algebra · Mathematics 2015-12-11 Neil Epstein , Yongwei Yao

Let $A$ be a commutative noetherian ring, $\frak a$ be an ideal of $A$, $m,n$ be non-negative integers and let $M$ be an $A$-module such that $\Ext^i_A(A/\frak a,M)$ is finitely generated for all $i\leq m+n$. We define a class $\cS_n(\frak…

Commutative Algebra · Mathematics 2022-01-13 Mohammad Khazaei , Reza Sazeedeh

In this article, we study the following question raised by Mel Hochster: let $(R,m,K)$ be a local ring and $S$ be a flat extension with regular closed fiber. Is $\cV(mS)\cap\Ass_S H^i_I(S)$ finite for every ideal $I\subset S$ and $i\in…

Commutative Algebra · Mathematics 2012-10-12 Luis Núñez-Betancourt

Let $M$ denote a finitely generated module over a Noetherian ring $R$. For an ideal $I \subset R$ there is a study of the endomorphisms of the local cohomology module $H^g_I(M), g = \operatorname{grade} (I,M),$ and related results. Another…

Commutative Algebra · Mathematics 2021-05-04 Peter Schenzel

We prove that if $f:R \rightarrow S$ is a local homomorphism of noetherian local rings, and $M$ is a non-zero finitely generated or artinian $S$-module whose injective dimension over $R$ is bounded by the difference of the embedding…

Commutative Algebra · Mathematics 2023-07-26 Hossein Faridian

We investigate symmetry in the vanishing of Ext for finitely generated modules over local Gorenstein rings. In particular, we define a class of local Gorenstein rings, which we call AB rings, and show that for finitely generated modules $M$…

Commutative Algebra · Mathematics 2014-09-04 Craig Huneke , David Jorgensen