An elementary approach to containment relations between symbolic and ordinary powers of certain monomial ideals

DOI10.1080/00927872.2016.1175463zbMATH Open1387.14041arXiv1512.07092OpenAlexW2343070520MaRDI QIDQ4594723FDOQ4594723

Authors: Ryan W. Keane, Elise McMahon, Alex Küronya 

Publication date: 24 November 2017

Published in: Communications in Algebra (Search for Journal in Brave)

Abstract: 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$, $Ssubseteq{O}_X$ a non-zero sheaf of radical ideals with zero scheme $ZsubseteqX$; if every irreducible component of $Z$ has codimension at least $e$, then [ S^{(me)}_Z subseteq S^m_Z ] for all $mgeq1$. 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_ix_jmid 1leq i<jleq n) subseteq k[x_1,dots,x_n] ] defining the union of coordinate axes in $A{A}_k^n$. We work over an arbitrary field $k$. Our main result is as follows. Let $Sigmasubseteq{P}^{n-1}$ be a set of $n$ points not lying in a hyperplane. Then [ S_{Sigma}^{(lceil (2-frac{2}{n})m ceil) } subseteq S^m_{Sigma} ] for all positive integers $m$. If $n=3$, then the same statement holds for three distinct points in arbitrary position.

Full work available at URL: https://arxiv.org/abs/1512.07092

Recommendations

• Symbolic Powers of Monomial Ideals
• Comparing powers and symbolic powers of ideals
• On the containment problem
• A stable version of Harbourne's conjecture and the containment problem for space monomial curves

zbMATH Keywords

monomial idealssymbolic powers

Mathematics Subject Classification ID

Structure, classification theorems for modules and ideals in commutative rings (13C05) Cycles and subschemes (14C99)

Cited In (6)

• Resurgence numbers of fiber products of projective schemes
• Membership criteria and containments of powers of monomial ideals
• On the containment problem
• Containment results for ideals of various configurations of points in \(\mathbb P^N\)
• A test for monomial containment
• Fermat-type configurations of lines in \(\mathbb{P}^3\) and the containment problem

This page was built for publication: An elementary approach to containment relations between symbolic and ordinary powers of certain monomial ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4594723)