Related papers: On the containment problem for fat points ideals
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…
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…
In the paper we prove the containment $I^{(nm)}\subset M^{(n-1)m}I^m$, for a radical ideal $I$ of $s$ general points in $\mathbb{P}^n$, where $s\geq 2^n$. As a corollary we get that the Chudnovsky Conjecture holds for a very general set of…
We study the Hilbert series of a family of ideals J_\phi generated by powers of linear forms in k[x_1,...,x_n]. Using the results of Emsalem-Iarrobino, we formulate this as a question about fatpoints in P^{n-1}. In the three variable case…
For the ideal $\mathfrak{p}$ in $k[x, y, z]$ defining a space monomial curve, we show that $\mathfrak{p}^{(2 n - 1)} \subseteq \mathfrak{m} \mathfrak{p}^{n}$ for some positive integer $n$, where $\mathfrak{m}$ is the maximal ideal $(x, y,…
By defining a fat point subscheme of $P^2$ to be a 0-dimensional subscheme defined by a sheaf of integrally closed ideals one extends the notion of fat point subschemes to allow infinitely near points. With this notion of fat points, this…
Let $I$ be an equigenerated squarefree monomial ideal in the polynomial ring $\mathbb{K}[x_1,\ldots,x_n]$, and let $\mathcal{H}$ be a uniform clutter on the vertex set $\{x_1,\ldots,x_n\}$ such that $I=I(\mathcal{H})$ is its edge ideal. A…
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…
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 prove Demailly's Conjecture concerning the lower bound for the Waldschmidt constant in terms of the initial degree of the second symbolic powers for any set of generic points or very general points in $\mathbb{P}^N$. We also discuss the…
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…
Let I be the ideal corresponding to a set of general points $p_1,...,p_n \in P^2$. There recently has been progress in showing that a naive lower bound for the Hilbert functions of symbolic powers $I^{(m)}$ is in fact attained when n>9.…
The purpose of this note is to provide an overview of the containment problem for symbolic and ordinary powers of homogeneous ideals, related conjectures and examples. We focus here on ideals with zero dimensional support. This is an area…
The purpose of this note is to show a new series of examples of homogeneous ideals $I$ in ${\mathbb K}[x,y,z,w]$ for which the containment $I^{(3)}\subset I^2$ fails. These ideals are supported on certain arrangements of lines in ${\mathbb…
Building on previous work by the same authors, we show that certain ideals defining Gorenstein rings have expected resurgence, and thus satisfy the stable Harbourne Conjecture. In prime characteristic, we can take any radical ideal defining…
In the paper we develop a new method of proving non-speciality of a linear system with base fat points in general position. Using this method we show that the Hirschowitz-Harbourne Conjecture holds for systems with base points of equal…
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…
Consider an ideal I in K[x,y,z] corresponding to a point configuration in P2 where all but one of the points lies on a single line. In this paper we study the symbolic generic initial system obtained by taking the reverse lexicographic…
There has been increased recent interest in understanding the relationship between the symbolic powers of an ideal and the geometric properties of the corresponding variety. While a number of results are available for the two-dimensional…