Syzygies of semi-regular sequences
type: Item
instance of: scholarly article
title: Syzygies of semi-regular sequences
zbMATH Open document ID: 1205.13019
author: Keith Pardue
author: Benjamin P. Richert
published in: Illinois Journal of Mathematics
publication date: 2010-03-01T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.ijm/1264170855
review text: Let \(S = k[x_1,\dots,x_n]\) be the polynomial ring in \(n\) variables over a field \(k\) and let \(f_1,\dots,f_r\) be a sequence of homogeneous polynomials of degrees \(d_1,\dots,d_r\), respectively. If \(r > n\) then this cannot be a regular sequence; a \textit{semi-regular sequence} is the next best thing: we require only that for each \(i\) (\(2 \leq i \leq r\)) and \(a\), the induced homomorphism \( \times f_i : [S/(f_1,\dots,f_{i-1})]_{a-d_i} \rightarrow [S/(f_1,\dots,f_{i-1})]_a \) be either injective or surjective. (To be regular would mean that this map is injective for all \(i\) and \(a\).) Notice that the cokernel of this map is \([S/(f_1,\dots,f_i)]_a\). Fröberg conjectured that ``most'' sequences of fixed degrees \(d_1,\dots,d_r\) are semi-regular. In particular, this means that the Hilbert functions for the ideals generated by ``most'' such sequences are well-understood. Some cases of this conjecture are known, but in general it remains open. This paper considers the more difficult question of determining the graded Betti numbers of an ideal generated by a semi-regular sequence. The main results show, in the language of Macaulay 2, that for an ideal generated by a semi-regular sequence, the Betti diagram looks like a Koszul diagram, except for the last two rows (or, if a certain numerical condition holds, then the exception is only the last row). In some cases they also provide a converse. The first quoted result was also shown by the reviewer and \textit{R. M. Miró-Roig} [J.\ Pure Appl.\ Algebra 182, No. 1, 79--107 (2003; Zbl 1041.13011)], but with an entirely different proof.
reviewed by: Juan C. Migliore
Mathematics Subject Classification ID: 13D02
Mathematics Subject Classification ID: 13D40
zbMATH DE Number: 5676325
zbMATH Keywords: semi-regular sequence
zbMATH Keywords: syzygy
zbMATH Keywords: Fröberg conjecture
zbMATH Keywords: Betti diagram
describes a project that uses: Macaulay2
MaRDI profile type: Publication
cites work: Thin algebras of embedding dimension three
cites work: Q4317713
cites work: An inequality for Hilbert series of graded algebras.
cites work: Ideals of general forms and the ubiquity of the weak Lefschetz property.
cites work: On the minimal free resolution of $n+1$ general forms
cites work: Combinatorics and commutative algebra.
description: scientific article