Classifying Hilbert functions of fat point subschemes in P^2

• Autores: Anthony V. Geramita, Brian Harbourne, Juan C. Migliore
• Localización: Collectanea mathematica, ISSN 0010-0757, Vol. 60, Fasc. 2, 2009, págs. 159-192
• Idioma: inglés
• DOI: 10.1007/bf03191208
• Enlaces
  • Texto completo
• Resumen

  • The paper~\cite{GMS} raised the question of what the possible Hilbert functions\break are for fat point subschemes of the form 2$p_1+\cdots+$ 2$p_r$, for all possible choices of~$r$ distinct points in~$\pr2$. We study this problem for $r$ points in~$\pr2$ over an algebraically closed field~$k$ of arbitrary characteristic in case either~$r\le$~8 or$\,$ the points lie on a (possibly reducible) conic. In either case, it follows from~\cite{{freeres}, {BHProc}} that there are only finitely many configuration types of points, where our notion of configuration type is a generalization of the notion of a representable combinatorial geometry, also known as a representable simple matroid. (We say $ p_1,\ldots,p_r$ and $p'_1,\ldots,p'_r$ have the same {\tentimesit configuration type} if for all choices of nonnegative integers $ m_i$, $ Z=m_1p_1+\cdots+m_rp_r$ and $Z'=m_1p'_1+\cdots+m_rp'_r$ have the same Hilbert function.) Assuming either that~7 $\le r\le$~8 (see~\cite{GuH} for the cases $r\le$~6) or that the points~$ p_i$ lie on a conic, we explicitly determine all the configuration types, and show how the configuration type and the coefficients~$ m_i$ determine (in an explicitly computable way) the Hilbert function (and sometimes the graded Betti numbers) of $Z=m_1p_1+\cdots+m_rp_r$. We demonstrate our results by explicitly listing all Hilbert functions for schemes of~$r\le$~8 double points, and for each Hilbert function we state precisely how the points must be arranged (in terms of the configuration type) to obtain that Hilbert function.

• Referencias bibliográficas
  • ```text A. Bigatti, A.V. Geramita, and J.C. Migliore, Geometric consequences of extremal behavior in a theorem of Macaulay, Trans....
  • J.E. Blackburn, H.H. Crapo, and D.A. Higgs, A catalogue of combinatorial geometries, Math. Comp. 27 (1973), 155–166; addendum, ibid. Math....
  • G. Campanella, Standard bases of perfect homogeneous polynomial ideals of height 2, J. Algebra 101 (1986), 47–60.
  • M.V. Catalisano, “Fat” points on a conic, Comm. Algebra 19 (1991), 2153–2168.
  • C. Ciliberto, Geometric aspects of polynomial interpolation in more variables and of Waring’s problem, European Congress of Mathematics, I,...
  • S. Cooper, B. Harbourne, and Z. Teitler, Linear configurations of points in ℙ², Bezout and Cayley-Bacharach, to appear.
  • H.H. Crapo and G.-C. Rota, On the Foundations of Combinatorial Theory: Combinatorial Geometries, preliminary edition, The M.I.T. Press, Cambridge,...
  • E.G. Evans and B.P. Richert, Possible resolutions for a given Hilbert function, Comm. Algebra 30 (2002), 897–906.
  • A.V. Geramita, P. Maroscia, and L.G. Roberts, The Hilbert function of a reduced k-algebra, J. London Math. Soc. (2) 28 (1983), 443–452.
  • A.V. Geramita, J. Migliore, and L. Sabourin, On the first infinitesimal neighborhood of a linear configuration of points in ℙ², J. Algebra...
  • A. Gimigliano, On Linear Systems of Plane Curves, Ph.D. thesis, Queen’s University, Kingston, 1987.
  • E. Guardo and B. Harbourne, Resolutions of ideals of six fat points in ℙ², J. Algebra 318 (2007), 619–640.
  • E. Guardo and A. Van Tuyl, Some results on fat points whose support is a complete intersection minus a point, in: Projective Varieties with...
  • E. Guardo and A. Van Tuyl, Powers of complete intersections: graded Betti numbers and applications, Illinois J. Math. 49 (2005), 265–279.
  • S. Fitchett, B. Harbourne, and S. Holay, Resolutions of fat point ideals involving eight general points of ℙ², J. Algebra 244 (2001), 684–705.
  • B. Harbourne, An algorithm for fat points on ℙ², Canad. J. Math. 52 (2000), 123–140.
  • B. Harbourne, Free resolutions of fat point ideals on ℙ², J. Pure Appl. Algebra 125 (1998), 213–234.
  • B. Harbourne, Rational surfaces with K² > 0, Proc. Amer. Math. Soc. 124 (1996), 727–733.
  • B. Harbourne, Anticanonical rational surfaces, Trans. Amer. Math. Soc. 349 (1997), 1191–1208.
  • B. Harbourne, The geometry of rational surfaces and Hilbert functions of points in the plane, Proceedings of the 1984 Vancouver Conference...
  • A. Hirschowitz, Une conjecture pour la cohomologie des diviseurs sur les surfaces rationnelles génériques, J. Reine Angew. Math. 397 (1989),...
  • Y.I. Manin, Cubic Forms: Algebra, Geometry, Arithmetic, North-Holland Mathematical Library 4, North-Holland Publishing Co., Amsterdam, 1986.
  • D. Mayhew and G.F. Royle, Matroids with nine elements, (preprint, 2007), arXiv:math/0702316v1.
  • J. Roé, On the existence of plane curves with imposed multiple points, J. Pure Appl. Algebra 156 (2001), 115–126. ```