6
$\begingroup$

Let $X$ be a collection of points in $\mathbb P^2$ over the complex numbers. Let $I_X$ be the defining ideal. I am interested in knowing when:

The syzygies of $I_X$ contains no linear forms. Since we are in $\mathbb P^2$, this just says that the Hilbert-Burch matrix contains no (non-zero) linear entries. $(*)$

One obvious case when this happens is when we take two general curves $F,G$ of degrees $a,b\geq 2$ and let $X=V(F)\cap V(G)$. Then the syzygies is just the Kozsul relation and has degrees $a,b$. I don't know further examples and would like to know if there are interesting geometric conditions that would imply $(*)$.

One obvious necessary condition is that the generators of $I_X$ have degree at least $2n-2$, where $n$ is the number of generators.

Also, perhaps if you fix the degree $d$ of $X$, then $(*)$ defines a closed subscheme (? I am not sure about this) of the Hilbert scheme $\mathbb P^{2[d]}$. If so, then knowing it's dimension would be nice.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.