The \(h\)-vectors of arithmetically Gorenstein sets of points on a general sextic surface in \(\mathbb P^3\) (Q2253020): Difference between revisions

The author proves a classification of Gorenstein sets of points, hence also of rank \(2\) vector bundles without intermediate cohomology (ACM bundles), over a general surface of degree \(d=6\) in the projective space \(\mathbb P^3\) over the complex field. This establishes the actual record for the maximal degree \(d\) for which the classification is known. The classification of ACM rank \(2\) bundles on surfaces in \(\mathbb P^3\) is relevant also because it determines numerically the representations of a general sextic polynomial in four variables as the Pfaffian of a skew-symmetric matrix of forms. For indecomposable ACM rank \(2\) bundles \(E\) which are initialized, i.e. \(h^0E>h^0E(-1)=0\), the Chern classes are bounded by Riemann-Roch and by \textit{C. Madonna}'s bound on \(c_1\) [Rev. Mat. Complut. 13, No. 2, 287--301 (2000; Zbl 0981.14019)]. The author proves that all the Chern classes allowed by the aforementioned bounds can be effectively realized for bundles on a general sextic surface. The proof introduces an interesting new method: the author constructs some bundles using a chain of liaisons on set of points, which at some step can remove the points from the sextic surface. Then the author proves that in the final step of the liaison process one arrives again on a \textit{general} sextic surface \(X\). The proof of the generality of \(X\) is achieved by a computer aided argument that shows that a general sextic polynomial can be expressed, in a suitable way, as a sum of splitting forms.