On the homogeneous ideal of finite sets in P^ n

DOI10.1016/S0021-8693(05)80056-0MaRDI QIDQ1194200zbMATH OpenFDO

Authors E. Ballico

Publication date 27 September 1992

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0021-8693(05)80056-0

zbMATH Keywords

coordinate ringgeneric Hilbert functionideal generation conjectureminimal number of generators

Mathematics Subject Classification ID

Relevant commutative algebra (14A05) Complete intersections (14M10) Projective techniques in algebraic geometry (14N05)

Review text

Let \(I\) be the homogeneous ideal in \(R = K[X_ 0 ,\cdots,X_ n ]\) (\(K\) an algebraically closed field) of a general finite set \(S\) of \(d\) points in projective space \(\mathbb{P}^ n\). If the first non-zero component of \(I\) is in degree \(k\), it is known that \(I\) is generated in degree \(\leq k+1\). Furthermore, dim \(I_ k\) and dim \(I_{k+1}\) are easy to compute (depending on the number of points) since the coordinate ring of \(S\) has so-called generic Hilbert function. Clearly the number of minimal generators of \(I\) in degree \(k\) is just dim \(I_ k\), and an interesting question is to determine the number of minimal generators in degree \(k+1\). This number is exactly dim \(I_{k+1}-\hbox{dim im } \phi_ k\), where \(\phi_ k : I_ k \otimes R_ 1 \rightarrow I_{k+1}\) gives the multiplication. So a lower bound is clearly \(\max \{ 0, \hbox{dim }I_{k+1} - (n+1)\cdot \hbox{dim }I_ k \}.\) The ideal generation conjecture says that for a general set of points, this bound is sharp. That is, \(\phi_ k\) has maximal rank. [This is part of a more general conjecture giving the expected graded Betti numbers of a minimal free resolution of \(I\). See \textit{A. Lorenzini}, J. Pure Appl. Algebra 60, No. 3, 273-288 (1989; Zbl 0702.13013) for details.] Given \(k\) and \(n\), there is an integer \(a(n,k)\) which is the smallest degree (i.e.\ number of points) for which you expect \(\phi_ k\) to be injective. The present paper proves that if \(d\) is not too close to \(a(n,k)\) then the conjecture is true. More precisely, there is an integer \(c(n)\) (depending only on \(n\)) such that if \(d \leq a(n,k) - c(n)\) then \(I\) is generated in degree \(k\), and if \(d \geq a(n,k) + c(n)\) then the number of minimal generators in degree \(k+1\) is that given by the conjecture. The author attributes the methods used to A. Hirschowitz. At the end of the paper he gives two related conjectures concerning ``general embeddings of a smooth curve.

Recommendations

• Homogeneous ideals on countable sets
• On the \((n, d)^{th} f\)-ideals
• On p_g-ideals
• scientific article; zbMATH DE number 1563323
• On certain \(\sigma\)-ideals of sets
• On the number of ideals of finite colength
• scientific article; zbMATH DE number 3918564
• scientific article; zbMATH DE number 3891533
• The invariance of the ideal \(\text{core}(a_1,\dots,a_n)\) of a set of homogeneous polynomials
• scientific article; zbMATH DE number 874355

Cites work

• Betti numbers of perfect homogeneous ideals
• Cohomology of a general instanton bundle
• Generators for the homogeneous ideal of s general points in \({\mathbb{P}}_ 3\)
• scientific article; zbMATH DE number 4081711 (Why is no real title available?)
• scientific article; zbMATH DE number 3704742 (Why is no real title available?)
• Linear free resolutions and minimal multiplicity
• Minimally generating ideals defining certain tangent cones
• On the homogeneous ideal of projectively normal curves
• On the homogeneous ideal of the generic union of lines in 3.
• On the postulation of a general projection of a curve in \(P^ 3\)
• On the postulation of a general projection of a curve in \(P^ N\), N\(\geq 4\)
• On the projective normality of complete linear series on an algebraic curve
• The Ideal Generation Conjecture for 28 Points in P³
• The ideal of forms vanishing at a finite set of points in \({\mathbb{P}}^ n\)

Cited in

(17)

• On the homogeneous ideal of collinear punctual subschemes of \(\mathbb{P}^2\)
• The geometric interpretation of Fröberg-Iarrobino conjectures on infinitesimal neighbourhoods of points in projective space
• The ideal generation conjecture for general rational projective curves
• On zero-dimensional subschemes of a complete intersections
• The ideal generation problem for fat points
• scientific article; zbMATH DE number 4146159 (Why is no real title available?)
• Subschemes of multi-projective spaces and the generators of their multi-homogeneous ideal
• scientific article; zbMATH DE number 3973058 (Why is no real title available?)
• scientific article; zbMATH DE number 16670 (Why is no real title available?)
• scientific article; zbMATH DE number 671746 (Why is no real title available?)
• scientific article; zbMATH DE number 1180331 (Why is no real title available?)
• scientific article; zbMATH DE number 2033032 (Why is no real title available?)
• Scheme-theoretic generation for ideals generated by forms of the same degree: a nice formula
• scientific article; zbMATH DE number 851450 (Why is no real title available?)
• THE DEFINING IDEAL OF A SET OF POINTS IN MULTI-PROJECTIVE SPACE
• On completely decomposable defining equations of finite sets in Pn
• The ideal of forms vanishing at a finite set of points in \({\mathbb{P}}^ n\)

This page was built for publication: On the homogeneous ideal of finite sets in \(\mathbb{P}^ n\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1194200)