Related papers: Symbolic powers of ideals of generic points in P^3
We show that the Conjecture of Harbourne and Huneke, $I^{(Nr-(N-1))} \subset M^{(r-1)(N-1)}I^{r}$ holds for ideals of generic (simple) points in $\PP^3$. As a result, for such ideals we prove the following bounds, which can be recognized as…
Guided by evidence coming from a few key examples and attempting to unify previous work of Chudnovsky, Esnault-Viehweg, Eisenbud-Mazur, Ein-Lazarsfeld-Smith, Hochster-Huneke and Bocci-Harbourne, Harbourne and Huneke recently formulated a…
In this note we show that Harbourne's conjecture is true for symbolic powers of ideals of points, we check that the stable version of this conjecture is valid for ideals of very general points (resp. generic points) in $\mathbb P_{\mathbb…
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 algebraically closed field $k$. We obtain results…
Searching for structural reasons behind old results and conjectures of Chudnovksy regarding the least degree of a nonzero form in an ideal of fat points in projective N-space, we make conjectures which explain them, and we prove the…
Given distinct points $p_1,\cdots,p_r$ of the projective plane $P^2$ and a positive integer $m$, the homogeneous ideal defining the fat point subscheme $Z=m(p_1+\cdots+p_r)$ is the symbolic power $I^{(m)}$ of the homogeneous ideal $I$…
We investigate symbolic and regular powers of monomial ideals. For a square-free monomial ideal $I$ in $k[x_0, \ldots, x_n]$ we show $I^{t(m+e-1)-e+r)}$ is a subset of $M^{(t-1)(e-1)+r-1}(I^{(m)})^t$ for all positive integers $m$, $t$ and…
We prove a long-standing conjecture of Chudnovsky for very general and generic points in $\mathbb{P}_k^N$, where $k$ is an algebraically closed field of characteristic zero, and for any finite set of points lying on a quadric, without any…
We study the symbolic and regular powers of ideals I for a family of special configurations of lines in P^3. For this family, we show that I^(m) = I^m for all integers m if and only if I^(3) = I^3. We use these configurations to answer a…
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…
Given an ideal $I$ in a Noetherian ring, one can ask the containment question: for which $m$ and $r$ is the symbolic power $I^{(m)}$ contained in the ordinary power $I^r$? C. Bocci and B. Harbourne study the containment question in a…
Given an ideal $I$, the containment problem is concerned about finding the values $m$ and $n$ such that the $m$-th symbolic power of $I$ is contained in its $n$-th ordinary power. In this paper we consider this problem focusing on two…
We study symbolic powers of bi-homogeneous ideals of points in the Cartesian product of two projective lines and extend to this setting results on the effect of points fattening obtained by Bocci, Chiantini and Dumnicki, Szemberg,…
Consider the ideal I corresponding to r points in P^2. We study the symbolic generic initial system of I, formed by taking the generic initial ideals of the symbolic powers of I, and its asymptotic behaviour. In particular, we describe the…
The purpose of this note is twofold. We present first a vanishing theorem for families of linear series with base ideal being a fat points ideal. We apply then this result in order to give a partial proof of a conjecture raised by Bocci,…
We investigate the minimal graded free resolutions of ideals of at most n+1 fat points in general position in P^n. Our main theorem is that these ideals are componentwise linear. This result yields a number of corollaries, including the…
Motivated by the work of Chudnovsky and the Eisenbud-Mazur Conjecture on evolutions, Harbourne and Huneke give a series of conjectures that relate symbolic and regular powers of ideals of fat points in $\mathbb P^n$. The conjectures involve…
Given a symbolic power of a homogeneous ideal in a polynomial ring, we study the problem of determining which powers of the ideal contain it. For ideals defining 0-dimensional subschemes of projective space, as an immediate corollary of our…
We show that in general the third symbolic power of a radical ideal of points in the complex projective plane is not contained in the second usual power of that ideal. This answers in negative a question asked by Huneke and generalized by…
The symbolic powers $I^{(n)}$ of a radical ideal $I$ in a polynomial ring consist of the functions that vanish up to order $n$ in the variety defined by $I$. These do not necessarily coincide with the ordinary algebraic powers $I^n$, but it…