Skip to main content Accessibility help
×
Hostname: page-component-76fb5796d-vfjqv Total loading time: 0 Render date: 2024-04-28T16:56:52.225Z Has data issue: false hasContentIssue false

10 - Twenty points in ℙ3

Published online by Cambridge University Press:  05 January 2015

D. Eisenbud
Affiliation:
University of California, Berkeley
R. Hartshorne
Affiliation:
University of California, Berkeley
F.-O. Schreyer
Affiliation:
Universität des Saarlandes
Christopher D. Hacon
Affiliation:
University of Utah
Mircea Mustaţă
Affiliation:
University of Michigan, Ann Arbor
Mihnea Popa
Affiliation:
University of Illinois, Chicago
Get access

Summary

Abstract

Using the possibility of computationally determining points on a finite cover of a unirational variety over a finite field, we determine all possibilities for direct Gorenstein linkages between general sets of points in ℙ3 over an algebraically closed field of characteristic 0. As a consequence, we show that a general set of d points is glicci (that is, in the Gorenstein linkage class of a complete intersection) if d ≤ 33 or d = 37, 38. Computer algebra plays an essential role in the proof. The case of 20 points had been an outstanding problem in the area for a dozen years [8].

For Rob Lazarsfeld on the occasion of his 60th birthday

1 Introduction

The theory of liaison (linkage) is a powerful tool in the theory of curves in ℙ3 with applications, for example, to the question of the unirationality of the moduli spaces of curves (e.g., [3, 26, 29]). One says that two curves C, D ⊂ ℙ3 (say, reduced and without common components) are directly linked if their union is a complete intersection, and evenly linked if there is a chain of curves C = C0, C1, …, C2m = D such that Ci is directly linked to Ci+1 for all i. The first step in the theory is the result of Gaeta that any two arithmetically Cohen-Macaulay curves are evenly linked, and in particular are in the linkage class of a complete intersection, usually written licci. Much later Rao [23] showed that even linkage classes are in bijection with graded modules of finite length up to shift, leading to an avalanche of results (reported, e.g., in [19, 20]). However, in codimension > 2 linkage yields an equivalence relation that seems to be very fine, and thus not so useful; for example, the scheme consisting of the four coordinate points in ℙ3 is not licci.

A fundamental paper of Peskine and Szpiro [22] laid the modern foundation for the theory of linkage.

Type
Chapter
Information
Recent Advances in Algebraic Geometry
A Volume in Honor of Rob Lazarsfeld’s 60th Birthday
, pp. 180 - 199
Publisher: Cambridge University Press
Print publication year: 2015

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1] Buchsbaum, D. A., Eisenbud, D.Algebra structures for finite free resolutions, and some structure theorems for ideals of codimension 3. Amer. J.Math. 99(99) (1977) 447–485.Google Scholar
[2] Casanellas, M., Drozd, E., Hartshorne, R.Gorenstein liaison and ACM sheaves. J. Reine Angew. Math. 584 (2005) 149–171.Google Scholar
[3] Chang, M. C., Ran, Z.Unirationality of the moduli spaces of curves of genus 11, 13 (and 12). Invent. Math. 76 (1984) 41–54.Google Scholar
[4] Diesel, S.J.Irreducibility and dimension theorems for families of height 3 Gorenstein algebras. Pacific J. Math. 172(172) (1996) 365–397.Google Scholar
[5] Eisenbud, D., Schreyer, F.-O. GlicciPointsInP3.m2 – Experiments establishing direct Gorenstein linkages for finite subsets of ℙ3.A Macaulay2 [6] package, available at http://www.math.uni-sb.de/ag/schreyer/home/computeralgebra.htm.
[6] Grayson, D. R., Stillman, M. E. Macaulay2, a software system for research in algebraic geometry. Available at http://www.math.uiuc.edu/Macaulay2/.
[7] Haiman, M., Sturmfels, B.Multigraded Hilbert schemes. J. Alg. Geom. 13(13) (2004) 72–769.Google Scholar
[8] Hartshorne, R.Experiments with Gorenstein liaison. Dedicated to Silvio Greco on the occasion of his 60th birthday(Catania, 2001). Le Matematiche (Catania) 55(2) (2002) 305–318.Google Scholar
[9] Hartshorne, R.Some examples of Gorenstein liaison in codimension three. Collect. Math. 53 (2002) 21–48.Google Scholar
[10] Hartshorne, R.Generalized divisors and biliaison. Illinois J. Math. 51 (2007) 83–98.Google Scholar
[11] Hartshorne, R.Deformation Theory. Graduate Texts in Mathematics, No. 257. New York: Springer-Verlag, 2010.
[12] Hartshorne, R., Martin-Deschamps, M., Perrin, D.Un théorème de Rao pour les families de courbes gauches. J. Pure Appl. Algebra 155 (2001) 53–76.Google Scholar
[13] Hartshorne, R., Migliore, J., Nagel, U.Liaison addition and the structure of a Gorenstein liaison class. J. Algebra 319(319) (2008) 3324–3342.Google Scholar
[14] Hartshorne, R., Sabadini, I., Schlesinger, E.Codimension 3 arithmetically Gorenstein subschemes of projective N-space. Ann. Inst. Fourier (Grenoble) 58(58) (2008) 2037–2073.Google Scholar
[15] Iarrobino, A., Kanev, V.Power Sums, Gorenstein Algebras, and Determinantal Loci. Lecture Notes in Mathematics, No. 1721. Berlin: Springer-Verlag, 1999.
[16] Kleppe, J. O.The smoothness and the dimension of PGor(H) and of other strata of the punctual Hilbert scheme. J. Algebra 200(200) (1998) 606–628.Google Scholar
[17] Kleppe, J.O., Migliore, J.C., Miro-Roig, R., Nagel, U., Peterson, C.Gorenstein liaison, complete intersection liaison invariants and unobstructedness. Mem. Amer. Math. Soc. 154 (2001).Google Scholar
[18] Macaulay, F. S.On the resolution of a given modular equation into primary systems. Math. Ann. 74 (1913) 66–121.Google Scholar
[19] Martin-Deschamps, M., Perrin, D.Sur la classification des courbes gauches. Astérisque No. 184–185 (1990), 208 pp.Google Scholar
[20] Migliore, J. C.Introduction to Liaison Theory and Deficiency Modules. Progress in Mathematics, No. 165. Boston, MA: Birkhauser, 1998.
[21] de Montmort, P. R.Essay d'analyse sur lesjeux de hazard. Paris: Jacque Quillau. Seconde Edition, Revue et augmentée de plusieurs Lettres, 1713.
[22] Peskine, C., Szpiro, L.Liaison des variétés algébriques. I. Invent. Math. 26 (1974) 271–302.Google Scholar
[23] Rao, A. P.Liaison among curves in ℙ3. Invent. Math. 50(50) (1978/79) 205–217.Google Scholar
[24] Reifegerste, A.Enumeration of special sets of polynomials over finite fields. Finite Fields Appl. 5(5) (1999) 112–156.Google Scholar
[25] Schenzel, P.Notes on liaison and duality. J. Math. Kyoto Univ. 22(22) (1982/83) 485–498.Google Scholar
[26] Schreyer, F.-O.Computer aided unirationality proofs of moduli spaces. In: Farkas, G., Morrison, I. (eds), Handbook of Moduli, Vol. 3, International Press, Somerville, Massachusetts, USA (2013), 257–280.
[27] Serre, J.-P.Modules projectifs et espaces fibrés à fibre vectorielle. 1958 Séminaire, P.Dubreil, M.-L.Dubreil-Jacotin, et C., Pisot, 1957/58, Fasc. 2, Exposé 23, 18 pp. Paris: Secrétariat mathématique.
[28] Stanley, R. P.Hilbert functions of graded algebras. Adv. Math. 28 (1978) 57–83.Google Scholar
[29] Verra, A.The unirationality of the moduli spaces of curves of genus 14 or lower. Compos. Math. 141(141) (2005) 1425–1444.Google Scholar

Save book to Kindle

To save this book to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

Available formats
×