The containment problem and a rational simplicial arrangement (Q1757295)

In the present announcement, the authors study the containment problem for symbolic powers of ideals. Let \(\mathcal{P} = \{P_{1},\dots, P_{s}\} \subset \mathbb{P}^{2}\) be a finite set of \(s\geq 1\) distinct points, then they consider the following associated ideal \[ I = I(\mathcal{P}) = \bigcap_{i=1}^{s} I(P_{i}). \] Then the \(m\)-th symbolic power of \(I\) is defined as \[ I^{(m)} = \bigcap_{i=1}^{s} I^{m}(P_{i}), \] and geometrically this is the set of forms vanishing along each \(P_{i}\) with multiplicity \(\geq m_{i}\). The main motivating question can be formulated as follows. Question. Let \(\mathcal{P} \subset \mathbb{P}^{2}\) be a finite set of distinct points defined over the rational numbers. Denote by \(I\) the associated radical ideal, does the containment \[ I^{(3)} \subset I^{2} \] hold? We know that for the above containment problem we have several counterexamples (mostly over the complex and real numbers), so it is somehow natural to ask about \textit{rational} counterexamples. In the note, the authors show that using \(49\) singular points of multiplicities \(\geq 3\) of the simplicial arrangement \(\mathcal{A}(25,2)\) (according to Grünbaum's list) one can construct a rational counterexample to the above containment problem. This is quite interesting from a different viewpoint since it is not usual that simplicial arrangements can be constructed over the rational numbers.