An Elementary Approach to Containment Relations Between Symbolic and Ordinary Powers of Certain Monomial Ideals

The purpose of this note is to find an elemenary explanation of a surprising result of Ein–Lazarsfeld–Smith \cite{ELS} and Hochster–Huneke \cite{HH} on the containment between symbolic and ordinary powers of ideals in simple cases. This line of research has been very active ever since, see for instance \cites{BC,HaH,DST} and the references therein, by now the literature on this topic is quite extensive. By `elementary’ we refer to arguments that among others do not make use of resolution of singularities and multiplier ideals nor tight closure methods. Let us quickly recall the statement \cite{ELS}: let $X$ be a smooth projective variety of dimension $n$, $S\subseteq O_X$ a non-zero sheaf of radical ideals with zero scheme $Z\subseteq X$; if every irreducible component of $Z$ has codimension at least $e$, then $$S_Z^{(me)}\subseteq S_Z^m$$ for all $m\ge 1$. Our goal is to reprove this assertion in the case of points in projective spaces (as asked in \cite{PAGII}*{Example 11.3.5}) without recurring to deep methods of algebraic geometry. Instead of working with subsets of projective space, we will concentrate on the affine cones over them; our aim hence becomes to understand symbolic and ordinary powers ideals of sets of line through the origin. We will end up reducing the general case to a study of the ideals $$I_{2,n}=(x_i{x}_j\mid 1\le i<j\le n)\subseteq k[x_1,\dots ,x_n]$$ defining the union of coordinate axes in ${\mathring{A}}_k^n$. We work over an arbitrary field $k$. Our main result is as follows. Let $\mathrm{\Sigma }\subseteq P^{n-1}$ be a set of $n$ points not lying in a hyperplane. Then $$S_{\mathrm{\Sigma }}^{(\lceil (2-\frac{2}{n})m\rceil )}\subseteq S_{\mathrm{\Sigma }}^m$$ for all positive integers $m$. If $n=3$, then the same statement holds for three distinct points in arbitrary position.