Depth formula for modules of finite reducing projective dimension
Let \(R\) be a commutative Noetherian local ring with non-zero identity and all \(R\)-modules are finitely generated. Let \(M,N\) be two \(R\)-modules. In 1961, Auslander proved that if \(\mathrm{pd}_RM<\infty\) and \(\mathrm{Tor}_i^R(M,N)=0\) for all \(i>0,\) then \N\[\N\mathrm{depth}_R(M)+\mathrm{depth}_R(N)=\mathrm{depth}(R)+\mathrm{depth}_R(M\otimes_R N).\N\]\NThe above equality is called \textit{depth formula}. If \(\mathrm{Tor}_i^R(M,N)=0\) for all \(i>0,\) then \(M,N\) are called Tor-independent. The depth formula has been proved to hold true in many cases, such as when \(R\) is a complete intersection ring or when \(R\) is a Cohen-Macaulay local ring with certain conditions on \(M\) and \(N\).\N\NThe first main result is a generalization of \textit{P. A. Bergh} and \textit{D. A. Jorgensen}'s results [Ill. J. Math. 55, No. 2, 465--478 (2011; Zbl 1285.13015)]. Let \(R\) be a Cohen-Macaulay local ring and let \(M\) and \(N\) be Tor-independent \(R\)-modules. If \(M\) has finite reducing projective dimension, then the depth formula holds for \(M\) and \(N.\)\N\NThe authors provided examples indicating that the depth formula fails over certain special rings. Next, the paper contains some description of the number \(\sup\{i\mid \mathrm{Tor}_i^R(M,N)\ne 0\}.\)
- A generalization of the Auslander-Buchsbaum formula
- Bounded complexes of flat modules
- Complete intersection dimension
- Criteria for vanishing of \(\mathrm{Tor}\) over complete intersections
- Depth for complexes, and intersection theorems
- scientific article; zbMATH DE number 5017510 (Why is no real title available?)
- scientific article; zbMATH DE number 3683732 (Why is no real title available?)
- scientific article; zbMATH DE number 43569 (Why is no real title available?)
- scientific article; zbMATH DE number 482758 (Why is no real title available?)
- scientific article; zbMATH DE number 2046147 (Why is no real title available?)
- scientific article; zbMATH DE number 3252377 (Why is no real title available?)
- scientific article; zbMATH DE number 3198935 (Why is no real title available?)
- Maximal Orders
- Modules of finite virtual projective dimension
- Modules over unramified regular local rings
- Modules with reducible complexity
- Necessary conditions for the depth formula over Cohen-Macaulay local rings
- Nonvanishing cohomology and classes of Gorenstein rings
- ON A DEPTH FORMULA FOR MODULES OVER LOCAL RINGS
- On modules with reducible complexity
- On reducing homological dimensions over Noetherian rings
- On tensor products of rings and extension conjectures
- On the reducing projective dimension over local rings
- Quasi-projective dimension
- Reducing invariants and total reflexivity
- Remarks on a depth formula, a grade inequality and a conjecture of Auslander
- Stable module theory
- Symmetry in the vanishing of Ext over Gorenstein rings
- Tensor products of modules and the rigidity of Tor
- The depth formula for modules with reducible complexity
- VANISHING OF (CO)HOMOLOGY OVER COMMUTATIVE RINGS
- Vanishing of Tate homology and depth formulas over local rings
This page was built for publication: Depth formula for modules of finite reducing projective dimension
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7006468)
