On the depth and reflexivity of tensor products

From MaRDI portal
Publication:2144407



Abstract: In this paper we study the depth of tensor products of homologically finite complexes over commutative Noetherian local rings. As an application of our main result, we determine new conditions under which nonzero tensor products of finitely generated modules over hypersurface rings can be reflexive only if both of their factors are reflexive. A result of Asgharzadeh shows that nonzero symbolic powers of prime ideals in a local ring cannot have finite projective dimension, unless the ring in question is a domain. We make use of this fact in the appendix and consider the reflexivity of tensor products of prime ideals over hypersurface rings.


In this well researched and presented article the authors introduce a beautiful theorem [Theorem 1.3] in the beginning based on the results of Huneke and Wiegand and went on to elaborate the proof in section 3. Theorem 1.3. Let \(R\) be a local hypersurface ring, and let \(M\) and \(N\) be nonzero \(R\)-modules such that \(M \otimes_R N\) is reflexive. Assume the following conditions hold: \begin{itemize}\item[{(i)}] \(N\) has rank (e.g., \(\mathrm{pd}R(N) < \infty \) ). \item[{(ii)}] Each \(M_P\)-regular sequence is \(R_P\)-regular for all \( P \in \mathrm{Supp}_R (M) \).\end{itemize} Then \(M\) and \(N\) are both reflexive. The proof involves a main Theorem 3.1 which concerns the depth of (derived) tensor products of homologically finite complexes that have finite complete intersection dimension over local rings. The proof also involves Corollary 3.2, Remark 3.3 and Corollary 3.4. In section 4, they give examples and highlight the condition in part (ii) of Theorem 1.3 which is independent of the main tool used in [\textit{O. Celikbas} et al., Contemp. Math. 773, 1--10 (2021; Zbl 1489.13028)]. In the appendix, the authors give an application of Theorem 1.1, and prove that if the tensor product of two prime ideals is reflexive over a hypersurface ring that is not a domain, then both of the primes considered must be minimal. Over all, this is an excellent and brilliantly crafted article and the way it has been narrated deserves a great appreciation.











This page was built for publication: On the depth and reflexivity of tensor products

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2144407)