On Tor-vanishing of local rings
Abstract
Let R be a local ring with residue field k and M, N be finitely generated modules over R. It is well known that TorRi(M, N) = 0 for i 0 if pdR(M) < ∞ or pdR(N) < ∞. The ring R is said to satisfy the Tor-vanishing property if the converse holds, that is, TorRi(M, N) = 0 for i 0 implies pdR(M) < ∞ or pdR(N) < ∞. Interest in the Tor-vanishing property stems from the fact that Cohen-Macaulay local rings satisfying this property also satisfy the Auslander-Reiten conjecture. In this article, we study a variant of this property. If R is a generalized Golod ring, we prove that TorRi(M, N) = 0 for i 0 implies \curvR M, curvR N \ \0, 1\ ≠ . A key intermediate step in our proof is to show that curvR M ∈ \0, 1, curvR k\ for any module M over a generalized Golod ring R. As an application, we prove that generic Gorenstein local rings, non-trivial connected sums of generalized Golod-Gorenstein rings satisfy the Tor-vanishing property and consequently the Auslander-Reiten conjecture. Our method suggests a uniform approach and recovers many old results on the Tor-vanishing property.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.