Related papers: A formula for symbolic powers

We prove that all the symbolic powers of a Stanley-Reisner ideal are Cohen-Macaulay if and only if the associated simplicial complex is a matroid.

Given a monomial ideal $I$, we study two functions that quantify ways to measure the difference between symbolic powers and usual powers of $I$. In many cases we determine the asymptotic growth rate of these two functions. We also perform…

In this paper we explicitly describe the symbolic powers of curves ${\mathcal C}(q,m)$ in ${\mathbb P}^3$ parametrized by $( x^{d+2m}, x^{d+m} y^m, x^{d} y^{2m}, y^{d+2m})$, where $q,m$ are positive integers, $d=2q+1$ and $\gcd(d,m)=1$. The…

Symbolic powers are a classical commutative algebra topic that relates to primary decomposition, consisting, in some circumstances, of the functions that vanish up to a certain order on a given variety. However, these are notoriously…

There are two different notions for symbolic powers of ideals existing in the literature, one defined in terms of associated primes, the other in terms of minimal primes. Elaborating on an idea known to Eisenbud, Herzog, Hibi, and Trung, we…

We introduce and study rational symbolic powers of ideals in Noetherian rings. We give membership criteria for rational symbolic powers and discuss settings where they agree with integer symbolic powers. We investigate the binomial…

Let $I$ be an ideal whose symbolic Rees algebra is Noetherian. For $m \geq 1$, the $m$-th symbolic defect, sdefect$(I,m)$, of $I$ is defined to be the minimal number of generators of the module $\frac{I^{(m)}}{I^m}$. We prove that…

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…

This article investigates under which conditions the symbolic powers of the extension of an ideal is the same as the extension of the symbolic powers. Our result generalizes the known scenarios. As an application, we prove formulas for the…

If I is an ideal in a Gorenstein ring S and S/I is Cohen-Macaulay, then the same is true for any linked ideal I'. However, such statements hold for residual intersections of higher codimension only under very restrictive hypotheses, not…

The symbolic analytic spread of an ideal $I$ is defined in terms of the rate of growth of the minimal number of generators of its symbolic powers. In this article we find upper bounds for the symbolic analytic spread under certain…

We establish a criterion for the (failure of) the containment $I^{(m)}\subset I^r$ for 3-generated ideals $I$ defining reduced sets of points in $\mathbb{P}^2$. Our criterion arises from studying the minimal free resolutions of the powers…

Let $I$ be a homogeneous ideal in a polynomial ring over a field. Let $I^{(n)}$ be the $n$-th symbolic power of $I$. Motivated by results about ordinary powers of $I$, we study the asymptotic behavior of the regularity function $\text{reg}~…

By an easy application of Skoda's theorem on ideal generation, a non-local version of the Briancon-Skoda theorem is obtained. In particular, the symbolic powers $I^{(p)}$ of a zero dimensional radical ideal $I$ generated by $r$ holomorphic…

Let $R$ be a polynomial ring over a field. We prove an upper bound for the multiplicity of $R/I$ when $I$ is a homogeneous ideal of the form $I=J+(F)$, where $J$ is a Cohen-Macaulay ideal and $F\notin J$. The bound is given in terms of two…

Let $d \geq 2$ and $m\geq 1$ be integers such that $\gcd (d,m)=1.$ Let ${\mathfrak p}$ be the defining ideal of the monomial curve in ${\mathbb A}_{ \Bbbk{k}}^d$ parametrized by $(t^{n_1}, \ldots, t^{n_d})$ where $n_i = d + (i-1)m$ for all…

As a generalization of the ideals of star configurations of hypersurfaces, we consider the $a$-fold product ideal $I_a(f_1^{m_1}\cdots f_s^{m_s})$ when ${f_1,\dots,f_s}$ is a sequence of generic forms and $1\le a\le m_1+\cdots+m_s$.…

For the edge ideal $I(\D)$ of a weighted oriented graph $\D$, we prove that its symbolic powers $I(\D)^{(t)}$ are Cohen-Macaulay for all $t\geqslant 1$ if and only if the underlying graph $G$ is composed of a disjoint union of some complete…

We consider an homogeneous ideal $I$ in the polynomial ring $S=K[x_1,\dots,$ $x_m]$ over a finite field $K=\mathbb{F}_q$ and the finite set of projective rational points $\mathbb{X}$ that it defines in the projective space…

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…