Related papers: On the defining ideal of a set of points in multi-…

Given a finite set, $X$, of points in projective space for which the Hilbert function is known, a standard result says that there exists a subset of this finite set whose Hilbert function is ``as big as possible'' inside $X$. Given a finite…

If $I=(f_1,\ldots,f_r)$ is an ideal in $S=k[x_1,\ldots,x_n]$, and $f_i$ are "general" elements of given degrees, there is a conjecture on the Hilbert series of $S/I$. We are considering the corresponding concepts in bigraded rings.

We consider the multigraded Hilbert scheme corresponding to the Hilbert function of a finite number of points in general position in a smooth projective complex toric variety. We develop several criteria for a point of that parameter space…

A chopped ideal is obtained from a homogeneous ideal by considering only the generators of a fixed degree. We investigate cases in which the chopped ideal defines the same finite set of points as the original one-dimensional ideal. The…

Let $R = k[w, x_1,..., x_n]/I$ be a graded Gorenstein Artin algebra . Then $I = \ann F$ for some $F$ in the divided power algebra $k_{DP}[W, X_1,..., X_n]$. If $RI_2$ is a height one idealgenerated by $n$ quadrics, then $I_2 \subset (w)$…

We study the closure of the locus of radical ideals in the multigraded Hilbert scheme associated with a standard graded polynomial ring and the Hilbert function of a homogeneous coordinate ring of points in general position in projective…

Let X be a zero-dimensional scheme contained in a multiprojective space. Let $s_i$ be the length of the projection of X onto the i-th component of the multiprojective space. A result of Van Tuyl states that the Hilbert function of X, in the…

Using Hilbert schemes of points, we establish a number of results for a smooth projective variety $X$ in a sufficiently ample embedding. If $X$ is a curve or a surface, we show that the ideals of higher secant varieties are determinantally…

For an arithmetically Cohen--Macaulay subscheme of projective space, there is a well-known bound for the highest degree of a minimal generator for the defining ideal of the subscheme, in terms of the Hilbert function. We prove a natural…

We describe the eventual behaviour of the Hilbert function of a set of distinct points in P^{n_1} x ... x P^{n_k}. As a consequence of this result, we show that the Hilbert function of a set of points in P^{n_1} x ... x P^{n_k} can be…

Let $X=X_1\cup \cdots \cup X_s\subset \mathbb {P}^n$, $n\ge 4$, be a general union of smooth non-special curves with $X_i$ of degree $d_i$ and genus $g_i$ and $d_i\ge \max \{2g_i-1,g_i+n\}$ if $g_i>0$. We prove that $X$ has maximal rank,…

Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over the field $K$, and let $I\subset S$ be a graded ideal. It is shown that for $k \gg0$ the postulation number of $I^k$ is bounded by a linear function of $k$, and it is a linear function…

We study the Hilbert function of a general union $X\subset \mathbb{P}^3$ of $x$ double lines and $y$ lines. In many cases (e.g. always for $x=2$ and $y\ge 3$ or for $x=3$ and $y\ge 2$ or for $x\ge 4$ and $y\ge \lceil(\binom{3x+4}{3}…

Predicting the value of a function $f$ at a new point given its values at old points is an ubiquitous scientific endeavor, somewhat less developed when $f$ produces multiple values that depend on one another, e.g. when it outputs…

Using results obtained from the study of homogeneous ideals sharing the same initial ideal with respect to some term order, we prove the singularity of the point corresponding to a segment ideal with respect to the revlex term order in the…

There is a longstanding conjecture by Fr\"oberg about the Hilbert series of the ring $R/I$, where $R$ is a polynomial ring, and $I$ an ideal generated by generic forms. We prove this conjecture true in the case when $I$ is generated by a…

We study finite $0$-dimensional schemes in product of multiprojective spaces and their ideals. In particular, we describe the set of generators of the ideal defining a $0$-dimensional scheme in the case $\mathbb P^{1}\times\cdots…

This note is devoted to the study of the links between the Hilbert function of a subscheme X of the projective space, and its geometric properties. We will assume that X is arithmetically Cohen-Macaulay, which allows us to characterize its…

We provide conjectural necessary and (separately) sufficient conditions for the Hilbert scheme of points of a given length to have the maximum dimension tangent space at a point. The sufficient condition is claimed for 3D and reduces the…

In this paper we consider the problem of determining the Hilbert function of schemes X of the proiective space P^n which are the generic union of s lines and one m-multiple point. We completely solve this problem for any s and m when n > 3.…