Open Access
Translator Disclaimer
Spring 2009 Syzygies of semi-regular sequences
Keith Pardue, Benjamin Richert
Illinois J. Math. 53(1): 349-364 (Spring 2009). DOI: 10.1215/ijm/1264170855


A semi-regular sequence in $S=k[x_1, \ldots, x_n]$ is a sequence of polynomials $f_1, \ldots, f_r$ of degrees $d_1, \ldots, d_r$ which satisfy a certain generic condition. Suppose that $I\subset S$ is generated by such a semi-regular sequence and let $\rho$ be the Castelnuovo--Mumford regularity of $S/I$. We show that a minimal free resolution of $S/I$ is isomorphic to the Koszul complex on $f_1, \ldots, f_r$ in degrees $\le\rho-2$. If a common numerical condition is satisfied, then this isomorphism also holds in degree $\rho-1$. Therefore, the Betti diagram of $S/I$ and the Betti diagram of the Koszul complex always agree in rows $\le\rho-2$; we can sometimes determine that they also agree in row $\rho-1$. We also give a partial converse, that if the Betti diagram of $S/I$ agrees with the diagram of the Koszul complex except in possibly the last two rows, then~$I$ can be generated by a (not necessarily minimal) semi-regular sequence.


Download Citation

Keith Pardue. Benjamin Richert. "Syzygies of semi-regular sequences." Illinois J. Math. 53 (1) 349 - 364, Spring 2009.


Published: Spring 2009
First available in Project Euclid: 22 January 2010

zbMATH: 1205.13019
MathSciNet: MR2584951
Digital Object Identifier: 10.1215/ijm/1264170855

Primary: 13D02 , 13D40

Rights: Copyright © 2009 University of Illinois at Urbana-Champaign


Vol.53 • No. 1 • Spring 2009
Back to Top