Combinatorial bounds on Hilbert functions of fat points in projective space (Q538065): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Q538064 / rank | |||
Property / author | |||
Property / author: Susan Marie Cooper / rank | |||
Normal rank | |||
Property / review text | |||
Given a finite subset \(\{p_1,\dots,p_r \}\subset {\mathbb P}^N\) , how to determine the Hilbert function of schemes of fat points \(A = a_1p_1+\dots+a_rp_r\), \(a_i\in \mathbb N\)? Here \(A\) is defined by the ideal \(I_A = I_{p_1}^{a_1}\cap \dots\cap I_{p_r}^{a_r}\). This is a problem which has received much attention in the last 30 years, since it has appeared in connection to many other problems in Math (someone even talked about ``ubiquity of fat points''). In this paper algorithms are given to get upper and lower bounds for the Hilbert function of schemes \(A\) in the plane, depending only on the \(a_i\)'s and on which subsets of the points are linearly dependent. The idea is to repeatedly use exact sequences of type: \[ 0 \rightarrow {\mathcal I}_{A:L} (t-1) \rightarrow {\mathcal I}_{A} (t) \rightarrow {\mathcal I}_{A\cap L,L }(t) \rightarrow 0 \] where \(L\) is a hyperplane defined by \(F=0\) an the residual scheme \(A:L\) is defined by the ideal \(I_A:(F)\). Consider hyperplanes \(L_1,\dots,L_n\) such that, by iterating this procedure with \( A_1 = A:L_1, A_2=A_1:L_2,\dots,A_n=A_{n-1}:L_n\), we get \(A_n=\emptyset\). Then one gets the required bounds for the Hilbert function of \(A\) from the cohomology sequences associated to the exact sequences of ideal sheaves. In the second part of the paper a condition is given in order to get that the lower and upper bounds obtained for the Hilbert function coincide (it is a numerical condition on the degrees which are ``cut off'' from \(A\) at each step, by using the \(L_i\)'s). Conditions are given to get that the bounds on the Hilbert function also give the graded Betti numbers of a minimal resolution of \(I_A\), and many examples of families of fat points are studied. | |||
Property / review text: Given a finite subset \(\{p_1,\dots,p_r \}\subset {\mathbb P}^N\) , how to determine the Hilbert function of schemes of fat points \(A = a_1p_1+\dots+a_rp_r\), \(a_i\in \mathbb N\)? Here \(A\) is defined by the ideal \(I_A = I_{p_1}^{a_1}\cap \dots\cap I_{p_r}^{a_r}\). This is a problem which has received much attention in the last 30 years, since it has appeared in connection to many other problems in Math (someone even talked about ``ubiquity of fat points''). In this paper algorithms are given to get upper and lower bounds for the Hilbert function of schemes \(A\) in the plane, depending only on the \(a_i\)'s and on which subsets of the points are linearly dependent. The idea is to repeatedly use exact sequences of type: \[ 0 \rightarrow {\mathcal I}_{A:L} (t-1) \rightarrow {\mathcal I}_{A} (t) \rightarrow {\mathcal I}_{A\cap L,L }(t) \rightarrow 0 \] where \(L\) is a hyperplane defined by \(F=0\) an the residual scheme \(A:L\) is defined by the ideal \(I_A:(F)\). Consider hyperplanes \(L_1,\dots,L_n\) such that, by iterating this procedure with \( A_1 = A:L_1, A_2=A_1:L_2,\dots,A_n=A_{n-1}:L_n\), we get \(A_n=\emptyset\). Then one gets the required bounds for the Hilbert function of \(A\) from the cohomology sequences associated to the exact sequences of ideal sheaves. In the second part of the paper a condition is given in order to get that the lower and upper bounds obtained for the Hilbert function coincide (it is a numerical condition on the degrees which are ``cut off'' from \(A\) at each step, by using the \(L_i\)'s). Conditions are given to get that the bounds on the Hilbert function also give the graded Betti numbers of a minimal resolution of \(I_A\), and many examples of families of fat points are studied. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Alessandro Gimigliano / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14Q99 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13D40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14C20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13P20 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5899124 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hilbert function | |||
Property / zbMATH Keywords: Hilbert function / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
fat points | |||
Property / zbMATH Keywords: fat points / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
graded Betti numbers | |||
Property / zbMATH Keywords: graded Betti numbers / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(0\)-dimensional schemes | |||
Property / zbMATH Keywords: \(0\)-dimensional schemes / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2005021066 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0912.1915 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combinatorics and geometry of power ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Comparing powers and symbolic powers of ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2754413 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Linear systems of plane curves with base points of equal multiplicity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nagata's conjecture for a square or nearly-square number of points / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cutting diagram method for systems of plane curves with base points / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4699515 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computing limit linear series with infinitesimal methods / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Resolutions of ideals of fat points with support in a hyperplane / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Resolutions of fat points ideals involving eight general point of \(\mathbb{P}^2\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fat points of \({\mathbb{P}}^n\) whose support is contained in a linear proper subspace. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classifying Hilbert functions of fat point subschemes in \(\mathbb{P}^2\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An alternative to the Hilbert function for the ideal of a finite set of points in \(\mathbb P^n\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Hilbert Function of a Reduced <i>K</i> -Algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the first infinitesimal neighborhood of a linear configuration of points in \(\mathbb P^2\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Global aspects of the geometry of surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3751693 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Resolutions of ideals of quasiuniform fat point subschemes of 𝐏² / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Linear systems with multiple base points in <i>ℙ<sup>2</sup> </i> / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: La methode d'Horace pour l'interpolation à plusieurs variables / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Une conjecture pour la cohomologie des diviseurs sur les surfaces rationelles génériques. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4360117 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3592297 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On rational surfaces, II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Resonance Varieties Via Blowups of P2 and Scrolls / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hilbert functions of graded algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The cone conjecture for Calabi-Yau pairs in dimension 2 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 02:50, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Combinatorial bounds on Hilbert functions of fat points in projective space |
scientific article |
Statements
Combinatorial bounds on Hilbert functions of fat points in projective space (English)
0 references
23 May 2011
0 references
Given a finite subset \(\{p_1,\dots,p_r \}\subset {\mathbb P}^N\) , how to determine the Hilbert function of schemes of fat points \(A = a_1p_1+\dots+a_rp_r\), \(a_i\in \mathbb N\)? Here \(A\) is defined by the ideal \(I_A = I_{p_1}^{a_1}\cap \dots\cap I_{p_r}^{a_r}\). This is a problem which has received much attention in the last 30 years, since it has appeared in connection to many other problems in Math (someone even talked about ``ubiquity of fat points''). In this paper algorithms are given to get upper and lower bounds for the Hilbert function of schemes \(A\) in the plane, depending only on the \(a_i\)'s and on which subsets of the points are linearly dependent. The idea is to repeatedly use exact sequences of type: \[ 0 \rightarrow {\mathcal I}_{A:L} (t-1) \rightarrow {\mathcal I}_{A} (t) \rightarrow {\mathcal I}_{A\cap L,L }(t) \rightarrow 0 \] where \(L\) is a hyperplane defined by \(F=0\) an the residual scheme \(A:L\) is defined by the ideal \(I_A:(F)\). Consider hyperplanes \(L_1,\dots,L_n\) such that, by iterating this procedure with \( A_1 = A:L_1, A_2=A_1:L_2,\dots,A_n=A_{n-1}:L_n\), we get \(A_n=\emptyset\). Then one gets the required bounds for the Hilbert function of \(A\) from the cohomology sequences associated to the exact sequences of ideal sheaves. In the second part of the paper a condition is given in order to get that the lower and upper bounds obtained for the Hilbert function coincide (it is a numerical condition on the degrees which are ``cut off'' from \(A\) at each step, by using the \(L_i\)'s). Conditions are given to get that the bounds on the Hilbert function also give the graded Betti numbers of a minimal resolution of \(I_A\), and many examples of families of fat points are studied.
0 references
Hilbert function
0 references
fat points
0 references
graded Betti numbers
0 references
\(0\)-dimensional schemes
0 references
0 references
0 references
0 references
0 references