Vanishing of Tate homology and depth formulas over local rings (Q472989): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 1107.3102 / rank | |||
Normal rank |
Revision as of 15:06, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Vanishing of Tate homology and depth formulas over local rings |
scientific article |
Statements
Vanishing of Tate homology and depth formulas over local rings (English)
0 references
21 November 2014
0 references
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.
0 references
homological functors
0 references
depth formula
0 references