Skip to main content Accessibility help
×
Home
Hostname: page-component-5d6d958fb5-xnv6z Total loading time: 1.195 Render date: 2022-11-27T09:13:28.208Z Has data issue: true Feature Flags: { "shouldUseShareProductTool": true, "shouldUseHypothesis": true, "isUnsiloEnabled": true, "useRatesEcommerce": false, "displayNetworkTab": true, "displayNetworkMapGraph": false, "useSa": true } hasContentIssue true

Symbolic Powers Versus Regular Powers of Ideals of General Points in ℙ1 × ℙ1

Published online by Cambridge University Press:  20 November 2018

Elena Guardo
Affiliation:
Dipartimento di Matematica e Informatica, Viale A. Doria, 6 - 95100 - Catania, Italy, e-mail: guardo@dmi.unict.it
Brian Harbourne
Affiliation:
Department of Mathematics, University of Nebraska–Lincoln, Lincoln, NE 68588-0130, USA, e-mail: bharbour@math.unl.edu
Adam Van Tuyl
Affiliation:
Department of Mathematical Sciences, Lakehead University, Thunder Bay, ON P7B 5E1, e-mail: avantuyl@lakeheadu.ca
Rights & Permissions[Opens in a new window]

Abstract

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

Recent work of Ein–Lazarsfeld–Smith and Hochster–Huneke raised the problem of which symbolic powers of an ideal are contained in a given ordinary power of the ideal. Bocci–Harbourne developed methods to address this problem, which involve asymptotic numerical characters of symbolic powers of the ideals. Most of the work done up to now has been done for ideals defining 0-dimensional subschemes of projective space. Here we focus on certain subschemes given by a union of lines in ${{\mathbb{P}}^{3}}$ that can also be viewed as points in ${{\mathbb{P}}^{1}}\times {{\mathbb{P}}^{1}}$. We also obtain results on the closely related problem, studied by Hochster and by Li and Swanson, of determining situations for which each symbolic power of an ideal is an ordinary power.

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 2013

References

[1] Bocci, C. and Harbourne, B., Comparing powers and symbolic power of ideals. J. Algebraic Geom. 19(2010), no. 3, 399417. http://dx.doi.org/10.1090/S1056-3911-09-00530-X CrossRefGoogle Scholar
[2] Bocci, C., The resurgence of ideals of points and the containment problem. Proc. Amer. Math. Soc. 138(2010), no. 4, 11751190. http://dx.doi.org/10.1090/S0002-9939-09-10108-9 CrossRefGoogle Scholar
[3] Bocci, C., Cooper, S., and Harbourne, B., Containment results for ideals of various configurations of points in ℙN. arxiv:1109.1884v1. Google Scholar
[4] Chudnovsky, G. V., Singular points on complex hypersurfaces and multidimensional Schwarz lemma. In: Seminar on Number Theory, Paris 1979–80, Progr. Math., 12, Birkhäuser, Boston, MA, 1981, pp. 2969.Google Scholar
[5] CoCoATeam, CoCoA: a system for doing computations in Commutative Algebra. http://cocoa.dima.unige.it. Google Scholar
[6] Bruns, W., Ichim, B., and Säger, C., Normaliz. Algorithms for rational cones and affine monoids. http://www.math.uos.de/normaliz. Google Scholar
[7] Ein, L., Lazarsfeld, R., and Smith, K. E., Uniform bounds and symbolic powers on smooth varieties. Invent. Math. 144(2001), no. 2, 241252. http://dx.doi.org/10.1007/s002220100121 CrossRefGoogle Scholar
[8] Esnault, H. and Viehweg, E., Sur une minoration du degrá d’hypersurfaces s’annulant en certains points. Math. Ann. 263(1983), no. 1, 7586.http://dx.doi.org/10.1007/BF01457085 CrossRefGoogle Scholar
[9] Fitchett, S., Maps of linear systems on blow-ups of the projective plane. J. Pure Appl. Algebra 156(2001), no. 1, 114. http://dx.doi.org/10.1016/S0022-4049(99)00115-2 CrossRefGoogle Scholar
[10] Geramita, A., Harbourne, B., and Migliore, J., Classifying Hilbert functions of fat point subschemes in ℙ2. Collect. Math. 60(2009), no. 2, 159192. http://dx.doi.org/10.1007/BF03191208 CrossRefGoogle Scholar
[11] Gimigliano, A., Harbourne, B., and Idà, M., Betti numbers for fat point ideals in the plane: a geometric approach. Trans. Amer. Math. Soc. 361(2009), no. 2, 11031127.http://dx.doi.org/10.1090/S0002-9947-08-04599-6 CrossRefGoogle Scholar
[12] Giuffrida, S., Maggioni, R., and Ragusa, A., On the postulation of 0-dimensional subschemes on a smooth quadric. Pacific J. Math. 155(1992), no. 2, 251282.CrossRefGoogle Scholar
[13] Grayson, D. R. and Stillman, M. E., Macaulay 2, a software system for research in algebraic geometry. http://www.math.uiuc.edu/Macaulay2/. Google Scholar
[14] Guardo, E., Fat point schemes on a smooth quadric. J. Pure Appl. Algebra 162(2001), no. 2–3, 183208. http://dx.doi.org/10.1016/S0022-4049(00)00123-7 CrossRefGoogle Scholar
[15] Guardo, E. and Harbourne, B., Resolutions of ideals of six fat points in ℙ2. J. Algebra 318(2007), no. 2, 619640. http://dx.doi.org/10.1016/j.jalgebra.2007.09.018 CrossRefGoogle Scholar
[16] Guardo, E., Harbourne, B., and Van Tuyl, A., Asymptotic resurgences for ideals of positive dimensional subschemes of projective space. arxiv:1202.4370v1. Google Scholar
[17] Guardo, E., Fat lines in ℙ3: powers versus symbolic powers. arxiv:1208.5221v1. Google Scholar
[18] Guardo, E. and Van Tuyl, A., Fat points in ℙ1 ✗ ℙ1 and their Hilbert functions. Canad. J. Math. 56(2004), no. 4, 716741. http://dx.doi.org/10.4153/CJM-2004-033-0 CrossRefGoogle Scholar
[19] Harbourne, B., Birational models of rational surfaces. J. Algebra 190(1997), 145162. http://dx.doi.org/10.1006/jabr.1996.6899 CrossRefGoogle Scholar
[20] Harbourne, B., Free Resolutions of Fat Point Ideals on P2. J. Pure Appl. Algebra 125(1998), no. 1–3, 213234. http://dx.doi.org/10.1016/S0022-4049(96)00126-0 CrossRefGoogle Scholar
[21] Harbourne, B. and Huneke, C., Are symbolic powers highly evolved? J. Ramanujan Math. Soc., to appear. arxiv:1103.5809v1. Google Scholar
[22] Hochster, M., Criteria for the equality of ordinary and symbolic powers of primes. Math. Z. 133(1973), 5365.http://dx.doi.org/10.1007/BF01226242 CrossRefGoogle Scholar
[23] Hochster, M. and Huneke, C., Comparison of symbolic and ordinary powers of ideals. Invent. Math. 147(2002), no. 2, 349369. http://dx.doi.org/10.1007/s002220100176 CrossRefGoogle Scholar
[24] Li, A. and Swanson, I., Symbolic powers of radical ideals. Rocky Mountain J. Math. 36(2006), no. 3, 9971009. http://dx.doi.org/10.1216/rmjm/1181069441 CrossRefGoogle Scholar
[25] Marino, L., Conductor and separating degrees for sets of points in ℙr and in ℙ1 ✗ ℙ1. Boll. Unione Mat. Ital. Sez. B Artic. Ric. Mat. (8) 9(2006), no. 2, 397421.Google Scholar
[26] Mumford, D., Varieties defined by quadratic equations. In: Questions on algebraic varieties (C.I.M.E., III Ciclo, Varenna, 1969) Edizioni Cremonese, Rome, 1970, pp. 30100.Google Scholar
[27] Schwede, K., A canonical linear system associated to adjoint divisors in characteristic p>0. arxiv:1107.3833v1. 0.+arxiv:1107.3833v1.>Google Scholar
[28] Sidman, J. and Van Tuyl, A., Multigraded regularity: syzygies and fat points. Beiträge Algebra Geom. 47(2006), no. 1, 6787.Google Scholar
[29] Skoda, H., Estimations L2 pour l'opérateur et applications arithmétiques. In: Journée sur les Fonctions Analytiques (Toulouse, 1976), Lecture Notes in Math., 578, Springer, Berlin, 1977, pp. 314323.Google Scholar
[30] Van Tuyl, A., The defining ideal of a set of points in multi-projective space. J. London Math. Soc. (2) 72(2005), no. 1, 7390.http://dx.doi.org/10.1112/S0024610705006459 CrossRefGoogle Scholar
[31] Van Tuyl, A., An appendix to a paper of Catalisano, Geramita, Gimigliano: The Hilbert function of generic sets of 2-fat points in ℙ1 ✗ ℙ1. In: Projective Varieties with Unexpected Properties. de Gruyter, Berlin, 2005, pp. 109112.Google Scholar
[32] Waldschmidt, M., Propriétés arithmétiques de fonctions de plusieurs variables. II. In: Séminaire Pierre Lelong (Analyse), 1975–76, Lecture Notes Math. 578, Springer, Berlin, 1977, pp. 108135.Google Scholar
[33] Waldschmidt, M., Nombres transcendants et groupes algébriques, Astérisque 69/70, Sociéte Mathématiqué de France, Paris, 1979.Google Scholar
[34] Zariski, O. and Samuel, P., Commutative algebra. Vol. II. The University Series in Higher Mathematics, D. Van Nostrand Co., Inc., Princeton, NJ-Toronto-London-New York, 1960.Google Scholar
You have Access
16
Cited by

Save article to Kindle

To save this article 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.

Symbolic Powers Versus Regular Powers of Ideals of General Points in ℙ1 × ℙ1
Available formats
×

Save article to Dropbox

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

Symbolic Powers Versus Regular Powers of Ideals of General Points in ℙ1 × ℙ1
Available formats
×

Save article to Google Drive

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

Symbolic Powers Versus Regular Powers of Ideals of General Points in ℙ1 × ℙ1
Available formats
×
×

Reply to: Submit a response

Please enter your response.

Your details

Please enter a valid email address.

Conflicting interests

Do you have any conflicting interests? *