Regularity bounds by minimal generators and Hilbert function
type: Item
instance of: scholarly article
title: Regularity bounds by minimal generators and Hilbert function
zbMATH Open document ID: 1188.14020
DOI: 10.1007/BF03191218
published in: Collectanea Mathematica
publication date: 2009-06-10T00:00:00Z
full work available at URL: https://eudml.org/doc/42152
review text: Let \(I_X \subset S = K[x_0,\dots,x_n]\) (where \(K\) is an algebraically closed field) be a saturated homogeneous ideal defining a closed subscheme \(X \subset \mathbb P^n\). The (Castelnuovo-Mumford) regularity of \(I_X\) (or of \(X\)), \(\mathrm{reg}(I_X)\), is the smallest integer \(m\) such that for all \(i\), the \(i\)-th syzygy module of \(I_X\) is generated in degree \(\leq m+i\). Recall that \(\mathrm{reg}(I_X)\) is an upper bound for the degrees of the minimal generators of \(I_X\). Also associated to \(I_X\) is the Hilbert function \(H_X (t) := \dim_K [S/I_X]_t\). For \(t \gg 0\), \(H_X (t)\) coincides with the Hilbert polynomial \(P_X (t)\). The regularity of \(H_X \) is defined to be \(\rho_X := \min \{ \bar t \;| \;H_X (t) = P_X (t)\) for all \(t \geq \bar t \}\). From now on we assume consider a curve \(C\) in \(\mathbb P^n\). Let \(\beta_1,\dots,\beta_{n-1}\) be degrees for which there exists a complete intersection of type \((\beta_1,\dots,\beta_{n-1})\) containing \(C\). Then \(\mathrm{reg}(I_C)\) is bounded above by \(\max \{ \rho_C +1, \beta_1 + \cdots + \beta_{n-1} - (n-1) \}\). Furthermore, the authors show that this bound is sharp if \(C\) is directly linked to a curve \(Y\) with degenerate general hyperplane section. In characteristic 0, the authors also show the following. Let \(C \subset \mathbb P^3\) be a non-degenerate curve with \(\mathrm{reg}(C) > \rho_C +1\), and assume that \(\beta_1, \beta_2\) (as above) are the smallest possible. Then \(C\) is directly linked to a plane curve \(C'\) by a complete intersection of type \((\beta_1,\beta_2)\) if and only if \(\mathrm{reg}(C) = \beta_1 + \beta_2 -2\). The authors end the paper with a number of examples.
Mathematics Subject Classification ID: 14H50
Mathematics Subject Classification ID: 14F17
Mathematics Subject Classification ID: 14Q05
zbMATH DE Number: 5563710
zbMATH Keywords: Castelnuovo-Mumford regularity
zbMATH Keywords: Hilbert function
zbMATH Keywords: minimal generators
author: Francesca Cioffi
author: Maria Grazia Marinari
author: Luciana Ramella
reviewed by: Juan C. Migliore
describes a project that uses: CoCoA
MaRDI profile type: Publication
cites work: On Singular Curves in the Case of Positive Characteristic
cites work: A criterion for detecting m-regularity
cites work: Vanishing Theorems, A Theorem of Severi, and the Equations Defining Projective Varieties
cites work: Bounding cohomological Hilbert functions by hyperplane sections
cites work: Bounds for the Castelnuovo-Mumford regularity of modules
cites work: Liaison and Castelnuovo-Mumford regularity
cites work: Gorenstein Algebras and the Cayley-Bacharach Theorem
cites work: The genus of space curves
cites work: Q4887547
cites work: Q3676243
cites work: The Hilbert function of generic plane sections of curves of \({\mathbb P}^ 3\)
cites work: Degrees of generators of ideals defining curves in projective space
cites work: Introduction to liaison theory and deficiency modules
cites work: On K-buchsbaum curves in P3
cites work: Sharp bounds on Castelnuovo-Mumford regularity
cites work: Degree bounds for generators of cohomology modules and Castelnuovo-Mumford regularity
cites work: Integral subschemes of codimension two
cites work: Q4027264
description: scientific article; zbMATH DE number 5563710