Hostname: page-component-586b7cd67f-rdxmf Total loading time: 0 Render date: 2024-11-23T22:58:52.518Z Has data issue: false hasContentIssue false

An Algorithm for Fat Points on ${{\mathbf{P}}^{2}}$

Published online by Cambridge University Press:  20 November 2018

Brian Harbourne*
Affiliation:
Department of Mathematics and Statistics, University of Nebraska-Lincoln, Lincoln, NE 68588-0323, USA email: [email protected] website: http://www.math.unl.edu/~bharbour/
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Let $F$ be a divisor on the blow-up $X$ of ${{\mathbf{P}}^{2}}$ at $r$ general points ${{p}_{1}},...,{{p}_{r}}$ and let $L$ be the total transform of a line on ${{\mathbf{P}}^{2}}$. An approach is presented for reducing the computation of the dimension of the cokernel of the natural map ${{\mu }_{F}}:\Gamma ({{\mathcal{O}}_{_{X}}}(F))\otimes \Gamma ({{\mathcal{O}}_{_{X}}}(L))\to \Gamma ({{\mathcal{O}}_{_{X}}}(F)\otimes {{\mathcal{O}}_{_{X}}}(L))$ to the case that $F$ is ample. As an application, a formula for the dimension of the cokernel of ${{\mu }_{_{F}}}$ is obtained when $r\,=\,7$, completely solving the problem of determining the modules in minimal free resolutions of fat point subschemes ${{m}_{1}}\,{{p}_{1}}\,+\,\cdot \cdot \cdot \,+\,{{m}_{7}}\,{{p}_{7}}\,\subset \,{{\mathbf{P}}^{2}}$. All results hold for an arbitrary algebraically closed ground field $k$.

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 2000

References

[1] Catalisano, M. V., “Fat” points on a conic. Comm. Algebra (8) 19 (1991), 21532168.Google Scholar
[2] Fitchett, S., Doctoral dissertation. University of Nebraska-Lincoln, 1997.Google Scholar
[3] Geramita, A. V. and Orrechia, F., Minimally generating ideals defining certain tangent cones. J. Algebra 78 (1982), 3657.Google Scholar
[4] Geramita, A. V., Gregory, D. and Roberts, L., Minimal ideals and points in projective space. J. Pure Appl. Algebra 40 (1986), 3362.Google Scholar
[5] Harbourne, B., Complete linear systems on rational surfaces. Trans. Amer. Math. Soc. 289 (1985), 213226.Google Scholar
[6] Harbourne, B., The geometry of rational surfaces and Hilbert functions of points in the plane. CMS Conf. Proc. 6 (1986), 95111.Google Scholar
[7] Harbourne, B., Points in Good Position in P2. In: Zero-dimensional schemes, Proceedings of the International Conference held in Ravello, Italy, June 813. 1992, De Gruyter, 1994.Google Scholar
[8] Harbourne, B., Rational surfaces with K2 > 0. Proc. Amer. Math. Soc. 124 (1996), 727733.+0.+Proc.+Amer.+Math.+Soc.+124+(1996),+727–733.>Google Scholar
[9] Harbourne, B., Anticanonical rational surfaces. Trans. Amer. Math. Soc. 349 (1997), 11911208.Google Scholar
[10] Harbourne, B., Free Resolutions of Fat Point Ideals on P2. J. Pure Appl. Algebra 125 (1998), 213234.Google Scholar
[11] Harbourne, B., The Ideal Generation Problem for Fat Points. Preprint; J. Pure Appl. Algebra, to appear.Google Scholar
[12] Hartshorne, R., Algebraic Geometry. Springer-Verlag, 1977.Google Scholar
[13] Hirschowitz, A., Une conjecture pour la cohomologie des diviseurs sur les surfaces rationelles génériques. J. Reine Angew. Math. 397 (1989), 208213.Google Scholar
[14] Manin, Y. I., Cubic Forms. 2nd edition, North-Holland Mathematical Library 4 , 1986.Google Scholar
[15] Mumford, D., Varieties defined by quadratic equations. In: Questions on algebraic varieties, Corso C. I. M. E. 1969 Rome: Cremonese, 1970, 29 , 30100.Google Scholar
[16] Nagata, M., On rational surfaces, II. Mem. Coll. Sci. Univ. Kyoto Ser. A Math. 33 (1960), 271293.Google Scholar