Vanishing of Tate homology and depth formulas over local rings (Q472989): Difference between revisions

Let \(R\) be a commutative Noetherian local ring. \textit{M. Auslander} [Ill. J. Math. 5, 631--647 (1961; Zbl 0104.26202)] proved that if \(M\), \(N\) be finitely generated \(R\)-modules such that the projective dimension of \(M\) is finite and \(\text{Tor}_i^R(M,N)\) vanish for all \(i>0\), then \[ \text{depth}_R(M\otimes_RN)=\text{depth}_RM+\text{depth}_RN-\text{depth}R. \] This formula is called (Auslander's) depth formula. As a generalization of this formula, \textit{H.-B. Foxby} [Lect. Notes Math. 795, 360--368 (1980; Zbl 0438.13010)] proved that if \(M\), \(N\) be \(R\)-modules such that the projective dimension of \(M\) is finite, then \[ \text{depth}_R(P_*\otimes_RN)=\text{depth}_RM+\text{depth}_RN-\text{depth}R,\tag{\(\star\)} \] where \(P_*\) is a projective resolution of \(M\). In the present paper, the authors establish vanishing of Tate homology \(\widehat{\text{Tor}}_*^R(M,N)\) as a sufficient condition for the equality \((\star)\) to holds for modules \(M\), \(N\), where \(M\) has finite Gorenstein projective dimension. This subsumes many of previous generalizations of Auslander's depth formula.