Containments of symbolic powers of ideals of generic points in ℙ³

Dumnicki, Marcin

doi:10.1090/S0002-9939-2014-12273-8

Containments of symbolic powers of ideals of generic points in $\mathbb {P}^3$
HTML articles powered by AMS MathViewer

by Marcin Dumnicki

Proc. Amer. Math. Soc. 143 (2015), 513-530

DOI: https://doi.org/10.1090/S0002-9939-2014-12273-8

Published electronically: October 31, 2014

PDF | Request permission

Abstract:

We show that the Conjecture of Harbourne and Huneke, stating that $I^{(Nr-(N-1))} \subset M^{(r-1)(N-1)}I^{r}$ for ideals of points in $\mathbb {P}^N$, holds for generic (simple) points for $N = 3$. As a result, for such ideals we prove the following bounds, which can be recognized as generalizations of Chudnovsky bounds: $\alpha (I^{(3m-k)}) \geq m\alpha (I)+2m-k$, for any $m \geq 1$ and $k=0,1,2$. Moreover, we obtain lower bounds for the Waldschmidt constant for such ideals.

References

Edoardo Ballico and Maria Chiara Brambilla, Postulation of general quartuple fat point schemes in $\textbf {P}^3$, J. Pure Appl. Algebra 213 (2009), no. 6, 1002–1012. MR 2498792, DOI 10.1016/j.jpaa.2008.11.001
Thomas Bauer, Sandra Di Rocco, Brian Harbourne, MichałKapustka, Andreas Knutsen, Wioletta Syzdek, and Tomasz Szemberg, A primer on Seshadri constants, Interactions of classical and numerical algebraic geometry, Contemp. Math., vol. 496, Amer. Math. Soc., Providence, RI, 2009, pp. 33–70. MR 2555949, DOI 10.1090/conm/496/09718
Cristiano Bocci and Brian Harbourne, Comparing powers and symbolic powers of ideals, J. Algebraic Geom. 19 (2010), no. 3, 399–417. MR 2629595, DOI 10.1090/S1056-3911-09-00530-X
Cristiano Bocci and Brian Harbourne, The resurgence of ideals of points and the containment problem, Proc. Amer. Math. Soc. 138 (2010), no. 4, 1175–1190. MR 2578512, DOI 10.1090/S0002-9939-09-10108-9
G. V. Chudnovsky, Singular points on complex hypersurfaces and multidimensional Schwarz lemma, Seminar on Number Theory, Paris 1979–80, Progr. Math., vol. 12, Birkhäuser, Boston, Mass., 1981, pp. 29–69. MR 633888
W. Decker, G.-M. Greuel, G. Pfister, and H. Schönemann, Singular 3-0-4 — A computer algebra system for polynomial computations. http://www.singular. uni-kl.de (2011).
Cindy De Volder and Antonio Laface, On linear systems of $\Bbb P^3$ through multiple points, J. Algebra 310 (2007), no. 1, 207–217. MR 2307790, DOI 10.1016/j.jalgebra.2006.12.003
Marcin Dumnicki, On hypersurfaces in $\Bbb P^3$ with fat points in general position, Univ. Iagel. Acta Math. 46 (2008), 15–19. MR 2553357
Marcin Dumnicki, An algorithm to bound the regularity and nonemptiness of linear systems in $\Bbb P^n$, J. Symbolic Comput. 44 (2009), no. 10, 1448–1462. MR 2543429, DOI 10.1016/j.jsc.2009.04.005
Marcin Dumnicki, Symbolic powers of ideals of generic points in $\Bbb P^3$, J. Pure Appl. Algebra 216 (2012), no. 6, 1410–1417. MR 2890510, DOI 10.1016/j.jpaa.2011.12.010
Marcin Dumnicki, Brian Harbourne, Tomasz Szemberg, and Halszka Tutaj-Gasińska, Linear subspaces, symbolic powers and Nagata type conjectures, Adv. Math. 252 (2014), 471–491. MR 3144238, DOI 10.1016/j.aim.2013.10.029
Lawrence Ein, Robert Lazarsfeld, and Karen E. Smith, Uniform bounds and symbolic powers on smooth varieties, Invent. Math. 144 (2001), no. 2, 241–252. MR 1826369, DOI 10.1007/s002220100121
Laurent Evain, On the postulation of $s^d$ fat points in $\Bbb P^d$, J. Algebra 285 (2005), no. 2, 516–530. MR 2125451, DOI 10.1016/j.jalgebra.2004.09.034
Brian Harbourne and Craig Huneke, Are symbolic powers highly evolved?, J. Ramanujan Math. Soc. 28A (2013), 247–266. MR 3115195