Related papers: On the stable Harbourne conjecture for ideals defi…

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…

We give explicit criteria that imply the resurgence of a self-radical ideal in a regular ring is strictly smaller than its codimension, which in turn implies that the stable version of Harbourne's conjecture holds for such ideals. This…

Over an arbitrary field $\mathbb{F}$, Harbourne conjectured that $$I^{(N (r-1)+1)} \subseteq I^r$$ for all $r>0$ and all homogeneous ideals $I$ in $S = \mathbb{F} [\mathbb{P}^N] = \mathbb{F} [x_0, \ldots, x_N]$. The conjecture has been…

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…

Given a homogeneous ideal $I \subseteq k[x_0,\dots,x_n]$, the Containment problem studies the relation between symbolic and regular powers of $I$, that is, it asks for which pair $m, r \in \mathbb{N}$, $I^{(m)} \subseteq I^r$ holds. In the…

Let $R=K[x_1,...,x_n]$ be the polynomial ring in $n$ variables over a field $K$ with the maximal ideal $\frak{m}=(x_1,...,x_n)$. Let $\astab(I)$ and $\dstab(I)$ be the smallest integer $n$ for which $\Ass(I^n)$ and $\depth(I^n)$ stabilize,…

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 our previous work with Grifo and H\`a, we showed the stable Harbourne-Huneke containment and Chudnovsky's conjecture for the defining ideal of sufficiently many general points in $\mathbb{P}^N$. In this paper, we establish the…

In this paper, we investigate containment statements between symbolic and ordinary powers and bounds on the Waldschmidt constant of defining ideals of points in projective spaces. We establish the stable Harbourne conjecture for the…

We study closed subschemes $X$ in ${\mathbb P}^n$ of dimension one, locally defined at any point by at most $n$ equations such that the analytic spread of $I_{\mathfrak{m}}$ is at most $n$, where $I \subseteq \Bbbk[x_0, \ldots, x_n] $ is…

We prove that the Stanley's conjecture holds for monomial ideals $I\subset K[x_1,...,x_n]$ generated by at most $2n-1$ monomials, i.e. $sdepth(I)\geq depth(I)$.

We show that the defining ideal of every monomial curve in the affine or projective three-dimensional space can be set-theoretically defined by three binomial equations, two of which set-theoretically define a determinantal ideal generated…

Given a strictly increasing sequence $\Lambda=(\lambda_n)$ of nonegative real numbers, with $\sum_{n=1}^\infty \frac{1}{\lambda_n}<\infty$, the M\"untz spaces $M_\Lambda^p$ are defined as the closure in $L^p([0,1])$ of the monomials…

In arXiv:math/0405373 , Eisenbud, Huneke and Ulrich conjectured a result on the Castelnuovo-Mumford regularity of the embedding of a projective space $\mathbb{P}^{n-1}\hookrightarrow \mathbb{P}^{r-1}$ determined by generators of a linearly…

In this article we produce Groebner bases for the defining ideal of a monomial curve that corresponds to an almost arithmetic sequence of positive integers, correcting previous work of Sengupta,(2003).

It is proved that given any prime ideal $\mathfrak{p}$ of height at least 2 in a countable commutative noetherian ring $A$, there are uncountably many more dualizable objects in the $\mathfrak{p}$-local $\mathfrak{p}$-torsion stratum of 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…

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…

The Eisenbud-Mazur conjecture states that given an equicharacteristic zero, regular local ring (R,\mathfrak{m}) and a prime ideal P\subset R, we have that P^{(2)}\subseteq mP. In this paper, we computationally prove that the conjecture…

Let (R,m) be a regular local ring with prime ideals p and q such that p+q is m-primary and dim(R/p)+dim(R/q)=dim(R). It has been conjectured by Kurano and Roberts that p^{(n)} \cap q \subseteq m^{n+1} for all positive integers n. We discuss…