Counterexamples to the \(I^{(3)}\subset I^2\) containment (Q2438380): Difference between revisions

Ler \(\mathcal{I} \subset S=\mathbb{C}[x_0,\dots,x_n]\) be a homogeneous ideal; the \(m\)-th symbolic power \(\mathcal{I}^{(m)}\) of \(\mathcal{I}\) is defined as: \(\quad \mathcal{I}^{(m)} = S\cap \left( \bigcap_p \mathcal{I}^mS_p\right)\); where \(p\) runs among all primes associated to \(\mathcal{I}\) and the intersections are considered in the field of quotiens of \(S\). Many authors have considered the relation between symbolic and ordinary powers of ideals; e.g. it is known that \(\mathcal{I}^{(nr)} \subset \mathcal{I}^r\), \(\forall r\geq 0\), and a quite natural conjecture is that \(\mathcal{I}^{(n)} \subset \mathcal{I}^r \) for \(m\geq rn-(n-1)\). In particular, \textit{C. Huneke} [``Open problems on powers of ideals'', Notes from a workshop on Integral Closure, Multiplier Ideals and Cores, AIM, December 2006, \url{http://www.aimath.org/WWN/integralclosure/Huneke.pdf}] has been raised the problem whether or not for an ideal of fat points in \(\mathbb{P}^2\) is it true that \(\mathcal{I}^{(3)}\subset \mathcal{I}^2\). In this paper a counterexample is given to this inclusion (this is also a counterexample for the above conjecture). The example is constructed via a special set of 12 points (for generic sets of points the containment is known to be true) such that there are 9 lines each containing 4 of the points and exactly 3 of them passing through each of the points (this is the dual of what is known as ``Hesse configuration''.