Rigid ideals in Gorenstein rings of dimension one

Abstract: We investigate the existence of ideals

I

in a one-dimensional Gorenstein local ring

R

satisfying

m a t h r m {E x t}_{R}^{1} (I, I) = 0

.

Review text

Let $R$ be a commutative Noetherian ring, $M$ be a finitely generated $R$-module and $M^{*}=\Hom_R(M,R)$. An $R$-module is torsion-free, if no regular element of $R$ kills a nonzero element of the module. \textit{C. Huneke} and \textit{R. Wiegand} [Math. Ann. 299, No. 3, 449--476 (1994; Zbl 0803.13008)] conjectured that if $R$ is a Gorenstein local domain of dimension one and $M$ a finitely generated, torsion-free $R$-module such that $M\otimes_R M^{*}$ is torsion-free, then $M$ is free. An $R$-module $M$ is rigid provided $\mathrm{Ext}^1_R(M, M)=0$, that is to say, every self-extension of $M$ splits. It is well-known that over a Gorenstein local domain $R$ with $\dim R=1$, a finitely generated torsion-free $R$-module $M$ is rigid if and only if $M\otimes_R M^{*}$ is torsion-free. \par In this paper, the authors concentrate chiefly on ideals in one-dimensional rings. The condition that $R$ is a Gorenstein domain is relaxed to the condition that it is Cohen-Macaulay, and that the ideal in question is primary to the maximal ideal and reflexive. In such an $R$, an ideal is primary to the maximal ideal precisely when it contains a regular element, so if $R$ is Gorenstein this implies the ideal is reflexive. Without such hypotheses, there are easy counterexamples.

Recommendations

Cites work

Cited in

(14)

This page was built for publication: Rigid ideals in Gorenstein rings of dimension one

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