Syzygies in Hilbert schemes of complete intersections

Let I = (F_1,...,F_r) be a homogeneous ideal of R = k[x_0,...,x_n] generated by a regular sequence of type (d_1,...,d_r). We give an elementary proof for an explicit description of the graded Betti numbers of I^s for any s \geq 1. These numbers depend only upon the type and s. We then use this description to: (1) write H_{R/I^s}, the Hilbert function of R/I^s, in terms of H_{R/I}; (2) verify that the k-algebra R/I^s satisfies a conjecture of Herzog-Huneke-Srinivasan; and (3) ...

We prove a Cayley-Bacharach-type theorem for points in projective space $\mathbb{P}^n$ that lie on a complete intersection of $n$ hypersurfaces. This is made possible by new bounds on the growth of the Hilbert function of almost complete intersections.

In this paper we derive geometric consequences from the presence of a long strand of linear syzygies in the minimal free resolution of a closed scheme in projective space whose homogeneous ideal is generated by quadrics. These consequences are given in terms of intersections with arbitrary linear subspaces. We use our results to bound homological invariants of some well-known projective varieties, to give a combinatorial characterization of quadratic monomial ideals with a lo...

We prove that the space of smooth rational curves of degree $e$ in a general complete intersection of multidegree $(d_1, ..., d_m)$ in $\PP^n$ is irreducible of the expected dimension if $\sum_{i=1}^m d_i <\frac{2n}{3}$ and $n$ is large enough. This generalizes the results of Harris, Roth and Starr \cite{hrs}, and is achieved by proving that the space of conics passing through any point of a general complete intersection has constant dimension if $\sum_{i=1}^m d_i$ is small c...

Given an ideal $I=(f_1,\ldots,f_r)$ in $\mathbb C[x_1,\ldots,x_n]$ generated by forms of degree $d$, and an integer $k>1$, how large can the ideal $I^k$ be, i.e., how small can the Hilbert function of $\mathbb C[x_1,\ldots,x_n]/I^k$ be? If $r\le n$ the smallest Hilbert function is achieved by any complete intersection, but for $r>n$, the question is in general very hard to answer. We study the problem for $r=n+1$, where the result is known for $k=1$. We also study a closely r...

Consider the Fano scheme $F_k(Y)$ parameterizing $k$-dimensional linear subspaces contained in a complete intersection $Y \subset \mathbb{P}^m$ of multi-degree $\underline{d} = (d_1, \ldots, d_s)$. It is known that, if $t := \sum_{i=1}^s \binom{d_i +k}{k}-(k+1) (m-k)\leqslant 0$ and $\Pi_{i=1}^sd_i >2$, for $Y$ a general complete intersection as above, then $F_k(Y)$ has dimension $-t$. In this paper we consider the case $t> 0$. Then the locus $W_{\underline{d},k}$ of all comp...

The Hilbert polynomial of a homogeneous complete intersection is determined by the degrees of the generators of the defining ideal. The degrees of the generators are not, in general, determined by the Hilbert polynomial -- but sometimes they are. When? We give some general criteria and completely answer the question up to codimension 6.

$V$ is a complete intersection scheme in a multiprojective space if it can be defined by an ideal $I$ with as many generators as $\textrm{codim}(V)$. We investigate the multigraded regularity of complete intersections scheme in $\mathbb{P}^n\times \mathbb{P}^m$. We explicitly compute many values of the Hilbert functions of $0$-dimensional complete intersections. We show that these values only depend upon $n,m$, and the bidegrees of the generators of $I$. As a result, we provi...

The rational Chow ring A?(S[n],Q) of the Hilbert scheme S[n] parametrising the length n zero-dimensional subschemes of a toric surface S can be described with the help of equivariant techniques. In this paper, we explain the general method and we illustrate it through many examples. In the last section, we present results on the intersection theory of graded Hilbert schemes.

In this paper we prove that, for any $n\ge 3$, there exist infinitely many $r\in \N$ and for each of them a smooth, connected curve $C_r$ in $\P^r$ such that $C_r$ lies on exactly $n$ irreducible components of the Hilbert scheme $\hilb(\P^r)$. This is proven by reducing the problem to an analogous statement for the moduli of surfaces of general type.