Related papers: Local homology and Gorenstein flat modules

Let $\fa$ be an ideal of a commutative Noetherian ring $R$ and $M$ a finitely generated $R$-module. Let $t$ be a natural integer. It is shown that there is a finite subset $X$ of $\Spec R$, such that $\Ass_R(H_{\fa}^t(M))$ is contained in…

We introduce a local homology theory for linearly compact modules which is in some sense dual to the local cohomology theory of A. Grothendieck. Some basic properties such as the noetherianness, the vanishing and non-vanishing of local…

For $K$ a field, consider a finite subgroup $G$ of $\operatorname{GL}_n(K)$ with its natural action on the polynomial ring $R:=K[x_1,\dots,x_n]$. Let $\mathfrak{n}$ denote the homogeneous maximal ideal of the ring of invariants $R^G$. We…

We provide a formula (see Theorem 1.5) for the Matlis dual of the injective hull of $R/\mathfrak{p}$ where $\mathfrak p$ is a one dimensional prime ideal in a local complete Gorenstein domain $(R,\mathfrak{m})$. This is related to results…

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,…

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…

A recent result by J. \v{S}aroch and J. \v{S}\v{t}ov\'{\i}\v{c}ek asserts that there is a unique abelian model structure on the category of left $R$-modules, for any associative ring $R$ with identity, whose (trivially) cofibrant and…

Let $\mathfrak{a}$ denote an ideal of a commutative Noetherian ring $R$. Let $M$ and $N$ be two $R$-modules. In this paper, we give partial answers on the extension of Hartshorne's conjecture about the cofiniteness of torsion and extension…

New homotopy invariant finiteness conditions on modules over commutative rings are introduced, and their properties are studied systematically. A number of finiteness results for classical homological invariants like flat dimension,…

Let R be a commutative Noetherian local ring. We show that R is Gorenstein if and only if every finitely generated R-module can be embedded in a finitely generated R-module of finite projective dimension. This extends a result of Auslander…

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…

Let $R$ by a right coherent ring and $R$-Mod denote the category of left $R$-modules. We show that there is an abelian model structure on $R$-Mod whose cofibrant objects are precisely the Gorenstein flat modules. Employing a new method for…

We study homological and homotopical aspects of Gorenstein flat modules over a ring with respect to a duality pair $(\mathcal{L,A})$. These modules are defined as cycles of exact chain complexes with components in $\mathcal{L}$ which remain…

In this article, we study the behaviour of smooth algebra $R$ over local Noetherian local ring $A$. At first, we observe that for every $f\in R$, $R_f$ has finite length in the category of $D(R,A)$-module if dimension of $A$ is zero. This…

We investigate when a commutative ring spectrum $R$ satisfies a homotopical version of local Gorenstein duality, extending the notion previously studied by Greenlees. In order to do this, we prove an ascent theorem for local Gorenstein…

The first goal of this paper is to provide an abstract framework in which to formulate and study local duality in various algebraic and topological contexts. For any stable $\infty$-category $\mathcal{C}$ together with a collection of…

Let $(A,\mathfrak{m})$ be an excellent Gorenstein local ring of dimension $d \geq 2$ which is an isolated singularity. Let $\widehat{A}$ denote the completion of $A$. If $G(A)$ is the Grothendieck group of $A$ then by $G(A)_\mathbb{Q}$ we…

Let $(R,\mathfrak{m})$ be a Noetherian local ring and $I$ an ideal of $R$. We study how local cohomology modules with support in $\mathfrak{m}$ change for small perturbations $J$ of $I$, that is, for ideals $J$ such that $I\equiv J\bmod…

Let $\fa$ denote an ideal of a commutative Noetherian ring $R$ and $M$ and $N$ two finitely generated $R$-modules with $\pd M< \infty$. It is shown that if $\fa$ is principal or $R$ is complete local and $\fa$ a prime ideal with $\dim…

The Gorenstein property in local algebra admits several characterizations via its module category. The goal of this paper is to collect and generalize such characterizations to the relative setting, i.e., to Gorenstein morphisms as defined…