TY - JOUR
T1 - On the Ideal Case of a Conjecture of Huneke and Wiegand
AU - Celikbas, Olgur
AU - Goto, Shiro
AU - Takahashi, Ryo
AU - Taniguchi, Naoki
PY - 2019/1/1
Y1 - 2019/1/1
N2 - A conjecture of Huneke and Wiegand claims that, over one-dimensional commutative Noetherian local domains, the tensor product of a finitely generated, non-free, torsion-free module with its algebraic dual always has torsion. Building on a beautiful result of Corso, Huneke, Katz and Vasconcelos, we prove that the conjecture is affirmative for a large class of ideals over arbitrary one-dimensional local domains. Furthermore, we study a higher-dimensional analogue of the conjecture for integrally closed ideals over Noetherian rings that are not necessarily local. We also consider a related question on the conjecture and give an affirmative answer for first syzygies of maximal Cohen-Macaulay modules.
AB - A conjecture of Huneke and Wiegand claims that, over one-dimensional commutative Noetherian local domains, the tensor product of a finitely generated, non-free, torsion-free module with its algebraic dual always has torsion. Building on a beautiful result of Corso, Huneke, Katz and Vasconcelos, we prove that the conjecture is affirmative for a large class of ideals over arbitrary one-dimensional local domains. Furthermore, we study a higher-dimensional analogue of the conjecture for integrally closed ideals over Noetherian rings that are not necessarily local. We also consider a related question on the conjecture and give an affirmative answer for first syzygies of maximal Cohen-Macaulay modules.
KW - integrally closed ideals
KW - torsion in tensor products of modules
KW - weakly m-full ideals
UR - http://www.scopus.com/inward/record.url?scp=85061394884&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85061394884&partnerID=8YFLogxK
U2 - 10.1017/S0013091518000731
DO - 10.1017/S0013091518000731
M3 - Article
AN - SCOPUS:85061394884
SN - 0013-0915
JO - Proceedings of the Edinburgh Mathematical Society
JF - Proceedings of the Edinburgh Mathematical Society
ER -