Betti numbers of the conormal module of licci rings (Q2131123): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s13348-021-00320-x / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3173448068 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 03:23, 20 March 2024
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
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