On codimension two flats in Fermat-type arrangements (Q1627502)

In the paper under review, the authors study the following Huneke-type question: Question. Let \(V\) be a codimension \(2\) subvariety in \(\mathbb{P}^{N}\) and let \(I\) be the homogeneous ideal defining \(V\). Is then \[ I^{(3)} \subset I^{2}? \] Here, by \(I^{(m)}\) we denote the \(m\)-th symbolic power of \(I\). In order to formulate the main result, let us recall the so-called Fermat arrangements, which are given by linear factors of the defining polynomial \[ F_{N,n}(x_{0},\dots,x_{N}) = \prod_{0 \leq i< j \leq N}(x_{i}^{n} - x_{j}^{n}). \] Now for the union \(V_{N,n}\) of codimension \(2\) flats \(W\) in \(\mathbb{P}^{N}\) such that there are at least \(3\) hyperplanes among those defined by the linear factors of \(F_{N,n}\) vanishing along \(W\). Let \(I_{N,n}\) be the radical ideal defining \(V_{N,n}\). Main Result. For arbitrary \(N \geq 2\) and \(n\geq 3\) there is \[ I^{(3)}_{N,m} \not\subset I^{2}_{N,n}. \] For the entire collection see [Zbl 1400.13003].