Journal of Algebraic Geometry

Journal of Algebraic Geometry

Online ISSN 1534-7486; Print ISSN 1056-3911



Comparing powers and symbolic powers of ideals

Authors: Cristiano Bocci and Brian Harbourne
Journal: J. Algebraic Geom. 19 (2010), 399-417
Published electronically: August 17, 2009
MathSciNet review: 2629595
Full-text PDF

Abstract | References | Additional Information

Abstract: We develop tools to study the problem of containment of symbolic powers $ I^{(m)}$ in powers $ I^r$ for a homogeneous ideal $ I$ in a polynomial ring $ k[{\bf P}^N]$ in $ N+1$ variables over an arbitrary algebraically closed field $ k$. We obtain results on the structure of the set of pairs $ (r,m)$ such that $ I^{(m)}\subseteq I^r$. As corollaries, we show that $ I^2$ contains $ I^{(3)}$ whenever $ S$ is a finite generic set of points in $ {\bf P}^2$ (thereby giving a partial answer to a question of Huneke), and we show that the containment theorems of

Ein-Lazarsfeld-Smith [Invent. Math. 144 (2001), pp. 241-252] and

Hochster-Huneke [Invent. Math. 147 (2002), pp. 349-369] are optimal for every fixed dimension and codimension.

References [Enhancements On Off] (What's this?)

  • [AV] A. Arsie and J. E. Vatne. A Note on Symbolic and Ordinary Powers of Homogeneous Ideals, Ann. Univ. Ferrara - Sez. VII - Sc. Mat. Vol. IL, 19-30 (2003) ( MR 2164987 (2006h:13001)
  • [AM] M. Atiyah and I. G. Macdonald. Introduction to Commutative Algebra, Addison-Wesley, Reading, MA, 1969, ix+128 pp. MR 0242802 (39:4129)
  • [B] P. Biran. Constructing new ample divisors out of old ones, Duke Math. J. 98 (1999), no. 1, 113-135. MR 1687571 (2000d:14047)
  • [BH] C. Bocci and B. Harbourne. The resurgence of ideals of points and the containment problem, to appear, Proc. Amer. Math. Soc.
  • [Ch1] M. Chardin. Regularity of ideals and their powers, Prépublication 364, Institut de Mathematiques de Jussieu, 2004.
  • [Ch2] M. Chardin. On the behavior of Castelnuovo-Mumford regularity with respect to some functors, preprint, 2007. MR 2309925 (2008c:13023)
  • [CHHT] S. D. Cutkosky, H. T. Ha, H. Srinivasan and E. Theodorescu. Asymptotic behaviour of the length of local cohomology, Canad. J. Math. 57 (2005), no. 6, 1178-1192. MR 2178557 (2006f:13014)
  • [D] J.P. Demailly. Singular Hermitian metrics on positive line bundles, Complex Algebraic Varieties (Bayreuth 1990) (K. Hulek et al., eds.), LNM, vol. 1507, Springer, 1992, pp. 87-104. MR 1178721 (93g:32044)
  • [ELS] L. Ein, R. Lazarsfeld and K. Smith. Uniform bounds and symbolic powers on smooth varieties, Invent. Math. 144 (2001), p. 241-252. MR 1826369 (2002b:13001)
  • [EHU] D. Eisenbud, C. Huneke and B. Ulrich. The regularity of Tor and graded Betti numbers, Amer. J. Math. 128 (3), 2006, 573-605. MR 2230917 (2007b:13027)
  • [GGP] A. V. Geramita, A. Gimigliano and Y. Pitteloud. Graded Betti numbers of some embedded rational $ n$-folds, Math. Annalen 301 (1995), 363-380. MR 1314592 (96f:13022)
  • [GHM] A. V. Geramita, B. Harbourne and J. Migliore. Classifying Hilbert functions of fat point subschemes in $ {\bf P}^2$, Collect. Math. 60, 2 (2009), 159-192.
  • [GMS] A. V. Geramita, J. Migliore and L. Sabourin. On the first infinitesimal neighborhood of a linear configuration of points in $ {\bf P}^2$, J. Algebra 298 (2006), no. 2, 563-611. MR 2217628 (2007a:13016)
  • [GuH] E. Guardo and B. Harbourne. Resolutions of ideals of any six fat points in $ {\bf P}^2$, J. Alg. 318 (2), 619-640 (2007). MR 2371962 (2009a:13019)
  • [H1] B. Harbourne. Seshadri constants and very ample divisors on algebraic surfaces, J. Reine Angew. Math. 559 (2003) 115-122. MR 1989646 (2004d:14061)
  • [H2] B. Harbourne. Complete linear systems on rational surfaces, Trans. Amer. Math. Soc. 289, 213-226 (1985). MR 779061 (86h:14030)
  • [H3] B. Harbourne. An Algorithm for Fat Points on $ {\bf P}^2$, Can. J. Math. 52 (2000), 123-140. MR 1745704 (2001g:13037)
  • [H4] B. Harbourne. On Nagata's Conjecture, J. Algebra 236 (2001), 692-702. MR 1813496 (2002b:14039)
  • [HR1] B. Harbourne and J. Roé. Discrete Behavior of Seshadri Constants on Surfaces, Journal of Pure and Applied Algebra, 212 (2008), 616-627. MR 2365336 (2008i:14013)
  • [HR2] B. Harbourne and J. Roé. Extendible Estimates of multipoint Seshadri Constants, preprint, math.AG/0309064, 2003.
  • [HR3] B. Harbourne and J. Roé. Computing multi-point Seshadri constants on $ {\bf P}^2$, to appear, Bulletin of the Belgian Mathematical Society - Simon Stevin.
  • [Ht] R. Hartshorne. Algebraic Geometry, Springer-Verlag, New York, 1977, xvi+496. MR 0463157 (57:3116)
  • [Hi] A. Hirschowitz. La méthode d'Horace pour l'interpolation à plusieurs variables, Manus. Math. 50 (1985), 337-388. MR 784148 (86j:14013)
  • [Ho] M. Hochster. Criteria for equality of ordinary and symbolic powers of primes, Math. Z. 1973, 133, 53-65. MR 0323771 (48:2127)
  • [HH1] M. Hochster and C. Huneke. Comparison of symbolic and ordinary powers of ideals, Invent. Math. 147 (2002), no. 2, 349-369. MR 1881923 (2002m:13002)
  • [HH2] C. Huneke and M. Hochster. Fine behavior of symbolic powers of ideals, preprint, 2006. MR 2346193 (2008i:13003)
  • [K] V. Kodiyalam. Asymptotic behaviour of Castelnuovo-Mumford regularity, Proc. Amer. Math. Soc., Vol 128, pp. 407-411, 2000. MR 1621961 (2000c:13027)
  • [LS] A. Li and I. Swanson. Symbolic powers of radical ideals, Rocky Mountain J. of Math. 36 (2006), 997-1009. MR 2254374 (2007k:13004)
  • [Ma] H. Matsumura. Commutative Algebra, W. A. Benjamin, New York, 1970, xii+262 pp. MR 0266911 (42:1813)
  • [Mi] T. Mignon. Systèmes de courbes planes à singularités imposées: le cas des multiplicités inférieures ou égales à quatre, J. Pure Appl. Algebra 151 (2000), no. 2, 173-195. MR 1775572 (2001g:14048)
  • [N] M. Nagata. On rational surfaces, II, Mem. Coll. Sci. Univ. Kyoto, Ser. A Math. 33 (1960), 271-293. MR 0126444 (23:A3740)
  • [PSC] T. Bauer, S. Di Rocco, B. Harbourne, M. Kapustka, A. Knutsen, W. Syzdek, and T. Szemberg. A primer on Seshadri constants, to appear in the AMS Contemporary Mathematics series volume ``Interactions of Classical and Numerical Algebraic Geometry,'' Proceedings of a conference in honor of A.J. Sommese, held at Notre Dame, May 22-24 2008.
  • [R] J. Roé. A relation between one-point and multi-point Seshadri constants, J. Algebra 274, 643-651 (2004). MR 2043369 (2005h:14016)
  • [S] I. Swanson. Linear equivalence of topologies, Math. Zeitschrift, 234 (2000), 755-775. MR 1778408 (2001f:13037)
  • [ST] T. Szemberg and H. Tutaj-Gasińska. General blow ups of the projective plane, Proc. Amer. Math. Soc. 130 (2002), no. 9, 2515-2524. MR 1900857 (2003b:14013)
  • [TY] S. Takagi and K. Yoshida. Generalized test ideals and symbolic powers, preprint, 2007, math.AC/0701929.
  • [Te] Z. Teitler. On the intersection of the curves through a set of points in $ {\bf P}^2$, Journal of Pure and Applied Algebra 209 (2007), no. 2, 571-581. MR 2293328 (2007j:14008)
  • [Tu] H. Tutaj-Gasińska. A bound for Seshadri constants on $ {\bf P}^2$, Math. Nachr. 257 (2003), no. 1, 108-116. MR 1992815 (2004f:14017)
  • [Xu] G. Xu. Ample line bundles on smooth surfaces, J. Reine Ang. Math. 469 (1995), 199-209. MR 1363830 (96k:14003)

Additional Information

Cristiano Bocci
Affiliation: Dipartimento di Scienze Matematiche e Informatiche “R. Magari”, Università degli Studi di Siena, Pian dei mantellini, 44, 53100 Siena, Italy

Brian Harbourne
Affiliation: Department of Mathematics, University of Nebraska, Lincoln, Nebraska 68588-0130

Received by editor(s): February 12, 2008
Published electronically: August 17, 2009
Additional Notes: This reseach was partially supported by Gruppo Nazionale per le Strutture Algebriche, Geometriche e le loro Applicazioni of Istituto Nazionale di Alta Matematica (Italy) and by the National Security Agency

American Mathematical Society