Bounds on depth of tensor products of modules (Q2254326)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Bounds on depth of tensor products of modules
scientific article

    Statements

    Bounds on depth of tensor products of modules (English)
    0 references
    0 references
    0 references
    0 references
    4 February 2015
    0 references
    Let \(R\) be a regular local ring, \(M\) and \(N\) be two finitely generated \(R\)-modules such that \(\mathrm{Tor}^R_i(M,N)=0\) for all \(i>0\). Call this vanishing property by ``Tor-independent''. By a famous result of \textit{M. Auslander} [Ill. J. Math. 5, 631--647 (1961; Zbl 0104.26202)] there is a formula called ``depth formula'': \(\mathrm{depth}(M\otimes N)=\mathrm{depth}((M)+\mathrm{depth}((N)-\mathrm{depth}((R)\). The depth formula extends to local complete intersection rings by the work of \textit{C. Huneke} and \textit{R. Wiegand} [Math. Ann. 299, No. 3, 449--476 (1994; Zbl 0803.13008)]. The paper deals with the following question: Let \(R\) be a local complete intersection ring of codimension \(c\). Assume \(M\otimes N\) is a \((c + 1)\)-syzygy of some finitely generated \(R\)-module. Under what conditions is \(M\) and \( N\) Tor-independent. There are several related results to this question. Let us recall a corollary of the paper under review: Corollary. Let \(R\) be a hypersurface ring with an isolated singularity and let \(M\) and \(N\) be nonfree maximal Cohen-Macaulay \(R\)-modules. Then \(\mathrm{depth}(M \otimes_R N)\leq 1\). Also, the authors present a generalization of [\textit{D. A. Jorgensen}, J. Algebra 211, No. 2, 578--598 (1999; Zbl 0926.13007)]. This determines a number of consecutive vanishing of \(\mathrm{Tor}^R_i (M, N)\) that guaranties the higher vanishing of \(\mathrm{Tor}^R_i(M, N)\).
    0 references
    0 references
    0 references
    0 references
    0 references
    complete intersection
    0 references
    depth formula
    0 references
    Tor-independent
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references