Huneke-Wiegand conjecture and change of rings (Q471872)

There is an important conjecture due to \textit{C. Huneke} and \textit{R. Wiegand} [Math. Scand. 81, No. 2, 161--183 (1997; Zbl 0908.13010)] which says: { Conjecture 1.} Let \(R\) be a Gorenstein local domain. Let \(M\) be a maximal Cohen-Macaulay \(R\)-module. If \(M \otimes_R \Hom_R(M, R)\) is torsionfree, then \(M\) is free. Even it is proved for some special cases but still open in general, and no one has a complete answer to the following conjecture too: { Conjecture 2.} Let \(R\) be a Gorenstein local domain of dimension one and \(I\) an ideal of \(R\). If \(I\otimes_R \Hom_R(I, R)\) is torsionfree, then \(I\) is a principal ideal. In the paper under review, the authors consider Conjecture 2 in the Cohen-Macaulay case and prove the following result: { Theorem.} Let \(R\) be a Cohen-Macaulay local ring of dimension one having a canonical module \(K_R\). Let \(I\) be a faithful ideal of \(R\). Set \(r = \mu_R(I)\) and \(s = \mu_R(\Hom_R(I, K_R))\). {\parindent =6mm \begin{itemize} \item(1) Assume that the canonical map \(I\otimes_R \Hom_R(I, K_R)\to K_R\) is an isomorphism. If \(r, s \geq 2\), then \(e(R) > (r + 1)s \geq 6\). \item (2) Suppose that \(I\otimes_R \Hom_R(I, K_R)\) is torsionfree. If \(e(R) \leq 6\), then \(I\) is isomorphic to either \(R\) or \(K_R\). \end{itemize}} Here, \(\mu_R(*)\) denotes the number of elements in a minimal system of generators, and \(e(*)\) stands for the multiplicity with respect to the maximal ideal of \(R\). As a corollary to the above theorem, they show that ``Let \(R\) be a Cohen-Macaulay local ring with \(\dim R \geq 1\). Assume that for every height one prime ideal \(\mathfrak{p}\) the local ring \(R_{\mathfrak{p}}\) is Gorenstein and \(e(R_{\mathfrak{p}}) \leq 6\). Let \(I\) be a faithful ideal of \(R\). If \(I\otimes_R \Hom_R(I, R)\) is reflexive, then \(I\) is a principal ideal''.