Codimension Arithmetically Gorenstein Subschemes of projective -space
We study the lowest dimensional open case of the question whether every arithmetically Cohen–Macaulay subscheme of is glicci, that is, whether every zero-scheme in is glicci. We show that a general set of points in admits no strictly descending Gorenstein liaison or biliaison. In order to prove this theorem, we establish a number of important results about arithmetically Gorenstein zero-schemes in .