Huneke-Wiegand conjecture and change of rings

DOI10.1016/J.JALGEBRA.2014.09.006MaRDI QIDQ471872zbMATH OpenOpenAlexWikidataFDO

Authors Shiro Goto, Naoki Taniguchi, Hoang Le Truong, Ryo Takahashi

Publication date 17 November 2014

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1305.4238

zbMATH Keywords

canonical moduleCohen-Macaulay ringGorenstein ringmultiplicitynumerical semigroup ringtorsionfree

Mathematics Subject Classification ID

Torsion modules and ideals in commutative rings (13C12) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Multiplicity theory and related topics (13H15)

Abstract: Let $R$ be a Cohen-Macaulay local ring of dimension one with a canonical module $m{K}_R$. Let $I$ be a faithful ideal of $R$. We explore the problem of when $Iotime{s}_R{I}^{vee}$ is torsionfree, where $I^{vee}=operatornameHo{m}_R(I,m{K}_R)$. We prove that if $R$ has multiplicity at most $6$, then $I$ is isomorphic to $R$ or $m{K}_R$ as an $R$-module, once $Iotime{s}_R{I}^{vee}$ is torsionfree. This result is applied to monomial ideals of numerical semigroup rings. A higher dimensional assertion is also discussed.

Review text

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.

Recommendations

• On the Ideal Case of a Conjecture of Huneke and Wiegand
• On a Theorem of Huneke Concerning Multiplicities
• On the vanishing of the theta invariant and a conjecture of Huneke and Wiegand
• Huneke-Wiegand conjecture for complete intersection numerical semigroup rings.
• On a class of Burch ideals and a conjecture of Huneke and Wiegand

Cites work

• Auslander-Reiten conjecture and Auslander-Reiten duality
• Cohen-Macaulay local rings of maximal embedding dimension
• Der kanonische Modul eines Cohen-Macaulay-Rings. (The canonical moduls of a Cohen-Macaulay-ring)
• scientific article; zbMATH DE number 3613200 (Why is no real title available?)
• Huneke-Wiegand conjecture for complete intersection numerical semigroup rings.
• Minimal Generating Sets for Relative Ideals in Numerical Semigroups of Multiplicity Eight
• Modules over unramified regular local rings
• Necessary conditions for the depth formula over Cohen-Macaulay local rings
• On graded rings. I
• On the associated graded ring of a local Cohen-Macaulay ring
• Tensor products of modules, rigidity and local cohomology.
• The Converse to a Theorem of Sharp on Gorenstein Modules
• The number of generators for an ideal and its dual in a numerical semigroup
• Torsion and tensor products over domains and specializations to semigroup rings
• Torsion in the tensor product of an ideal with its inverse
• Vanishing of tor and torsion in tensor products

Cited in

(20)

• Applications and homological properties of local rings with decomposable maximal ideals
• Tensoring with the Frobenius endomorphism
• Rigid ideals in Gorenstein rings of dimension one
• Associated primes and syzygies of linked modules
• On a class of Burch ideals and a conjecture of Huneke and Wiegand
• On the vanishing of the theta invariant and a conjecture of Huneke and Wiegand
• Residually faithful modules and the Cohen-Macaulay type of idealizations
• Huneke-Wiegand conjecture for complete intersection numerical semigroup rings.
• On a Theorem of Huneke Concerning Multiplicities
• Change of rings and characteristic classes
• Factorization properties of Leamer monoids.
• On the Ideal Case of a Conjecture of Huneke and Wiegand
• On the Auslander-Reiten conjecture for Cohen-Macaulay local rings
• Some applications of a lemma by Hanes and Huneke
• Semidualizing modules over numerical semigroup rings
• Remarks on a conjecture of Huneke and Wiegand and the vanishing of (co)homology
• Some remarks on two-periodic modules over local rings
• Two theorems on the vanishing of Ext
• Endomorphism algebras over commutative rings and torsion in self tensor products
• Semidualizing modules and rings of invariants

This page was built for publication: Huneke-Wiegand conjecture and change of rings

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