Totally reflexive modules over rings that are close to Gorenstein

DOI10.1016/J.JALGEBRA.2018.09.012MaRDI QIDQ2219010zbMATH OpenOpenAlexWikidataFDO

Authors Andrew Kustin, Adela Vraciu

Publication date 18 January 2021

Published in Journal of Algebra (Search for Journal in Brave)

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

zbMATH Keywords

canonical moduleG-regular local ringGorenstein colengthhigher matrix factorizationsummands of syzygiestest modulesteter ringtotally reflexive modules

Mathematics Subject Classification ID

Graded rings (13A02) Syzygies, resolutions, complexes and commutative rings (13D02) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Homological dimension (category-theoretic aspects) (18G20)

Abstract: Let $S$ be a deeply embedded, equicharacteristic, Artinian Gorenstein local ring. We prove that if $R$ is a non-Gorenstein quotient of $S$ of small colength, then every totally reflexive $R$-module is free. Indeed, the second syzygy of the canonical module of $R$ has a direct summand $T$ which is a test module for freeness over $R$ in the sense that if $mathrm{Tor}_{+}^R(T,N)=0$, for some finitely generated $R$-module $N$, then $N$ is free.

Review text

Over a commutative Noetherian ring, \textit{M. Auslander} and \textit{M. Bridger} [Stable module theory. Providence, RI: American Mathematical Society (AMS) (1969; Zbl 0204.36402)] extended the notion of finitely generated projective modules to totally reflexive modules, i.e. modules occurring as the cokernels of differentials in exact chain complexes of finitely generated free modules whose dual complexes are also exact. There has been a growing interest in identifying the local rings over which every totally reflexive module is projective or equivalently free, i.e. the so-called ``G-regular rings coined by Takahashi. Regular local rings and Golod local rings that are not hypersurfaces are among the examples of G-regular rings. However, a singular Gorenstein local ring is never G-regular. In the paper under review, the authors prove that any non-Gorenstein quotient of small colength of a deeply embedded equicharacteristic Artinian Gorenstein local ring is G-regular. Their investigation relies on the fact that an Artinian local ring is G-regular if there exists a projective-test module that happens to be a direct summand of a syzygy of the canonical module of the ring. Overall, this is an interesting and readable paper.

Recommendations

• Remarks on reflexive modules, covers, and envelopes
• The homomorphism M^* N Hom(M,N)
• Some homological properties of almost Gorenstein rings
• Filtrations of totally reflexive modules
• On the existence of embeddings into modules of finite homological dimensions
• Brauer-Thrall for totally reflexive modules
• Existence of totally reflexive modules via Gorenstein homomorphisms
• scientific article; zbMATH DE number 613136
• Gorenstein dimensions
• Cyclic modules of finite Gorenstein injective dimension and Gorenstein rings

Cites work

• A family of complexes associated to an almost alternating map, with applications to residual intersections
• ABSOLUTE, RELATIVE, AND TATE COHOMOLOGY OF MODULES OF FINITE GORENSTEIN DIMENSION
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• Minimal free resolutions over complete intersections
• Modules that detect finite homological dimensions
• On G-Regular Local Rings
• On test modules for flat dimension
• On the ubiquity of Gorenstein rings
• Poincaré series of modules over compressed Gorenstein local rings
• Some homological properties of almost Gorenstein rings
• Stable module theory
• Testing for the Gorenstein property
• Éléments de géométrie algébrique. III: Étude cohomologique des faisceaux cohérents. (Séconde partie). Rédigé avec la colloboration de J. Dieudonné

Cited in

(17)

• Totally reflexive modules over connected sums with \(\mathfrak{m}^3 =0\)
• Burch ideals and Burch rings
• Reflexive modules with finite Gorenstein dimension with respect to a semidualizing module
• Burch index, summands of syzygies and linearity in resolutions
• Filtrations of totally reflexive modules
• Some homological properties of almost Gorenstein rings
• scientific article; zbMATH DE number 1187350 (Why is no real title available?)
• Existence of totally reflexive modules via Gorenstein homomorphisms
• Brauer-Thrall for totally reflexive modules
• Existence and Constructions of Totally Reflexive Modules
• Strong G-regularity and totally acyclic complexes over some tensor product rings
• On G-Regular Local Rings
• Remarks on Reflexive Subcategories
• On reflexive and 𝐼-Ulrich modules over curve singularities
• Test modules, weakly regular homomorphisms and complete intersection dimension
• k summands of syzygies over rings of positive Burch index via canonical resolutions
• Bounds on Gorenstein dimensions and exceptional complete intersection maps

Describes a project that uses

Uses Software

• Macaulay2

This page was built for publication: Totally reflexive modules over rings that are close to Gorenstein

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