Betti numbers of the conormal module of licci rings (Q2131123)

From MaRDI portal
Revision as of 05:59, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Betti numbers of the conormal module of licci rings
scientific article

    Statements

    Betti numbers of the conormal module of licci rings (English)
    0 references
    0 references
    0 references
    25 April 2022
    0 references
    Let \(R\) be a commutative noetherian local ring. For an ideal \(I \subset R\), the conormal module is the module \(I/I^2\). It was shown by \textit{D. Ferrand} [C. R. Acad. Sci., Paris, Sér. A 264, 427--428 (1967; Zbl 0154.03801)] and by \textit{W. V. Vasconcelos} [J. Algebra 6, 309--316 (1967; Zbl 0147.29301)] that \(I\) is generated by a regular sequence (i.e. \(I\) is a complete intersection) if and only if \(I\) has finite projective dimension and the conormal module is free as an \(R/I\)-module. When \(R\) is a polynomial ring over a field, \textit{L. L. Avramov} and \textit{J. Herzog} [Invent. Math. 117, No. 1, 75--88 (1994; Zbl 0813.13024)] showed that if \(I\) is not a complete intersection then the Betti numbers of the conormal module grow exponentially. In this paper, the authors consider licci ideals, i.e. ideals that are in the linkage class of a complete intersection, in a regular local ring. They find lower bounds for the Betti numbers of the conormal module. In particular, when \(I\) is a licci Gorenstein ideal, they show that the \(i\)-th Betti number of \(I/I^2\) is at least \(5 f_{2i-1}\) for \(i \geq 1\), where \(f_n\) is the \(n\)-th Fibonacci number.
    0 references
    linkage
    0 references
    Betti numbers
    0 references
    conormal module
    0 references
    free resolutions
    0 references
    licci ideals
    0 references
    Fibonacci numbers
    0 references

    Identifiers