On the depth and reflexivity of tensor products (Q2144407)

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.