Gorenstein rings via homological dimensions, and symmetry in vanishing of Ext and Tate cohomology

DOI10.1007/S10468-023-10223-ZMaRDI QIDQ6151733zbMATH OpenFDO

Authors Dipankar Ghosh, Tony J. Puthenpurakal

Publication date 11 March 2024

Published in Algebras and Representation Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2302.06267

zbMATH Keywords

Gorenstein ringsspectral sequenceshomological dimensionsCohen-Macaulay and G-perfect modulesExt and Tate (co)homology

Mathematics Subject Classification ID

Homological dimension and commutative rings (13D05) Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

Abstract: The aim of this article is to consider the spectral sequences induced by tensor-hom adjunction, and provide a number of new results. Let $R$ be a commutative Noetherian local ring of dimension $d$. In the 1st part, it is proved that $R$ is Gorenstein if and only if it admits a nonzero CM (Cohen-Macaulay) module $M$ of finite Gorenstein dimension $g$ such that $mtype(M)lemu({mExt}_R^g(M,R))$ (e.g., $mtype(M)=1$). This considerably strengthens a result of Takahashi. Moreover, we show that if there is a nonzero $R$-module $M$ of depth $ged-1$ such that the injective dimensions of $M$, ${mHom}_R(M,M)$ and ${mExt}_R^1(M,M)$ are finite, then $M$ has finite projective dimension and $R$ is Gorenstein. In the 2nd part, we assume that $R$ is CM with a canonical module $omega$. For CM $R$-modules $M$ and $N$, we show that the vanishing of one of the following implies the same for others: ${mExt}_R^{gg0}(M,N^{+})$, ${mExt}_R^{gg0}(N,M^{+})$ and ${mTor}_{gg0}^R(M,N)$, where $M^{+}$ denotes ${mExt}_R^{d-dim(M)}(M,omega)$. This strengthens a result of Huneke and Jorgensen. Furthermore, we prove a similar result for Tate cohomologies under the additional condition that $R$ is Gorenstein.

Recommendations

• Vanishing of cohomology over Gorenstein rings of small codimension
• Symmetry theorems for Ext vanishing
• Vanishing of Tate cohomology and Gorenstein injective dimension
• Vanishing of Ext and Tor over some Cohen-Macaulay local rings
• Gorenstein homological dimension and Ext-depth of modules

Cites work

• scientific article; zbMATH DE number 5017510 (Why is no real title available?)
• scientific article; zbMATH DE number 3922813 (Why is no real title available?)
• scientific article; zbMATH DE number 3985382 (Why is no real title available?)
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• scientific article; zbMATH DE number 595200 (Why is no real title available?)
• ABSOLUTE, RELATIVE, AND TATE COHOMOLOGY OF MODULES OF FINITE GORENSTEIN DIMENSION
• Absolute, Gorenstein, and Tate Torsion Modules
• An introduction to homological algebra
• Characterizations of regular local rings via syzygy modules of the residue field
• Dimension projective finie et cohomologie locale. Applications à la demonstration de conjectures de M. Auslander, H. Bass et A. Grothendieck
• Gorenstein dimensions
• Isomorphims between complexes with applications to the homological theory of modules.
• Nonvanishing cohomology and classes of Gorenstein rings
• On complete resolutions
• On the $\mu^i$ in a Minimal Injective Resolution.
• On the existence of certain modules of finite Gorenstein homological dimensions
• On the growth of the Betti sequence of the canonical module
• On the new intersection theorem for totally reflexive modules
• Quasi-perfect modules over COHEN-MACAULAY Rings
• Some characterizations of Gorenstein local rings in terms of G-dimension
• Stable module theory
• Support varieties and cohomology over complete intersections
• Symmetry in the vanishing of Ext over Gorenstein rings
• Syzygy modules with semidualizing or G-projective summands
• Tate (co)homology via pinched complexes
• Testing for the Gorenstein property

Cited in

(2)

• Numerical aspects of complexes of finite homological dimensions
• Auslander-Reiten conjecture and finite injective dimension of \(\operatorname{Hom}\)

This page was built for publication: Gorenstein rings via homological dimensions, and symmetry in vanishing of Ext and Tate cohomology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6151733)