Configuration types and cubic surfaces

From MaRDI portal



Abstract: This paper is a sequel to the paper cite{refGH}. We relate the matroid notion of a combinatorial geometry to a generalization which we call a configuration type. Configuration types arise when one classifies the Hilbert functions and graded Betti numbers for fat point subschemes supported at nle8 essentially distinct points of the projective plane. Each type gives rise to a surface X obtained by blowing up the points. We classify those types such that n=6 and −KX is nef. The surfaces obtained are precisely the desingularizations of the normal cubic surfaces. By classifying configuration types we recover in all characteristics the classification of normal cubic surfaces, which is well-known in characteristic 0 cite{refBW}. As an application of our classification of configuration types, we obtain a numerical procedure for determining the Hilbert function and graded Betti numbers for the ideal of any fat point subscheme Z=m1p1+...+m6p6 such that the points pi are essentially distinct and −KX is nef, given only the configuration type of the points p1,...,p6 and the coefficients mi.


This paper takes into consideration sets of six points (also infinitely near) \(P_1,\dots ,P_6\) in \({\mathbb P}^2\), and studies how the Hilbert function and graded Betti numbers of schemes of ``fat points (i.e. schemes defined by ideals of type \(I_{P_1}^{m_1}\cap \dots \cap I_{P_6}^{m_6}\)) are related to the geometry of the surface \(X\) obtained by blowing up \({\mathbb P}^2\) at the points. The case treated here is when \(-K_X\) is effective and the points are allowed to be infinitely near (thus generalizing previous work by the authors which considered the case of distinct points). It turns out that the graded Betti numbers (hence also the Hilbert function) only depend on multiplicities \(m_1,\dots ,m_6\) and the structure of effective divisor classes on \(X\) having negative self-intersection. The structure of these divisor classes is determined via the ``configuration type \(T\) of the points, i.e. (given an order to the points) by using a matrix made of 1's and 0's, with 7 columns and a row for each line which contains three or more of the \(P_i\)'s. An explicit numerical procedure is given to get the Betti numbers of the fat points from \(T\) and \(m_1,\dots ,m_6\).











This page was built for publication: Configuration types and cubic surfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q958640)