Huneke-Wiegand conjecture for complete intersection numerical semigroup rings. (Q2438018)

From MaRDI portal
Revision as of 14:23, 12 February 2024 by RedirectionBot (talk | contribs) (‎Removed claim: author (P16): Item:Q286542)
scientific article
Language Label Description Also known as
English
Huneke-Wiegand conjecture for complete intersection numerical semigroup rings.
scientific article

    Statements

    Huneke-Wiegand conjecture for complete intersection numerical semigroup rings. (English)
    0 references
    10 March 2014
    0 references
    With regards to the study of torsion in tensor products of modules, \textit{C. Huneke} and \textit{R. Wiegand} [Math. Ann. 299, No. 3, 449-476 (1994; Zbl 0803.13008)] formulated the following conjecture: if \(R\) is a one-dimensional Gorenstein local domain and \(M\) is a non-zero finitely generated \(R\)-module such that \(M\) and \(M\otimes\Hom_R(M,R)\) are torsion-free, then \(M\) is free. It has been shown that a positive answer to the conjecture would imply that the same statement holds for Gorenstein local domains of any dimension, and it would further prove a conjecture of Auslander and Reiten for such rings (cf. \textit{O. Celikbas} and \textit{R. Takahashi} [J. Algebra 382, 100-114 (2013; Zbl 1342.13022)]). In the paper under review, the authors analyze the problem in the case where \(R\) is a complete intersection numerical semigroup ring and \(M\) is a monomial ideal of \(R\). Let \(\mathcal S\) be a numerical semigroup, i.e. a cofinite submonoid of \((\mathbb N,+)\), and consider the semigroup ring \(R=k[[\mathcal S]]=k[[t^s:s\in \mathcal S]]\). Some ring-theoretic properties of \(R\) (e.g. Gorensteinness) have a clear semigroup-theoretic characterization, and several classical definitions for rings, such as complete intersection and embedding dimension, are extended to numerical semigroups by means of this correspondence. \textit{C. Delorme} [Ann. Sci. Éc. Norm. Supér. (4) 9, 145-154 (1976; Zbl 0325.20065)] provides a recursive characterization of the complete intersection property, in terms of an operation on numerical semigroups that is now known as gluing: the gluing of two complete intersection numerical semigroups is a complete intersection, and every complete intersection numerical semigroup other than \(\mathbb N\) is a gluing of two complete intersections with smaller embedding dimension. By studying the behavior of fractional ideals under gluing and applying some previous results of the second author [Torsion and tensor products over domains and specializations to semigroup rings. \url{arXiv:1211.2896} (2012)], the authors provide two cases in which the Huneke-Wiegand conjecture is satisfied. The first main result is an affirmative answer to the conjecture when \(R\) is a complete intersection numerical semigroup ring and \(M\) is an ideal of \(R\) generated by two monomials. The second main result of the paper concerns free numerical semigroups, a subclass of the complete intersections that was introduced by \textit{J. Bertin} and \textit{F. Carbonne} [J. Algebra 49, 81-95 (1977; Zbl 0498.14016)] in the study of analytic branches of plane curves. The authors prove that the Huneke-Wiegand conjecture holds for free numerical semigroup rings and arbitrary monomial curves.
    0 references
    Huneke-Wiegand conjecture
    0 references
    numerical semigroup rings
    0 references
    complete intersections
    0 references
    free numerical semigroups
    0 references
    gluings
    0 references

    Identifiers