Resurgences for ideals of special point configurations in \(\mathbb P^N\) coming from hyperplane arrangements (Q497719)

In recent decades the theory of symbolic powers of homogeneous ideals attracts more and more researchers. In the present note the author study the so-called resurgence and the asymptotic resurgence which allow to measure containment relations between symbolic and ordinary powers of homogeneous ideals. Let \(R = \mathbb{K}[\mathbb{P}^{N}]\) be a polynomial ring of \(N+1\) variables and let \(I\subset R\) be a homogeneous ideal, then the \(m\)-th symbolic power of ideal \(I\) is defined to be \[ I^{(m)} = R \cap \bigg(\bigcap_{p \in \mathrm{Ass}(I)} I^{m}R_{p}\bigg), \] where the intersection is taken in \(R_{(0)}\). In particular, if \(S \subset \mathbb{P}^{N}\) is a finite set of points and \(I_{S}\) is the associated ideal, then \[ I^{(m)}_{S} = \bigcap_{i}I^{m}_{P_{i}}, \] and geometrically it can be viewed as a set of forms vanishing to order at least \(m\) at each point of \(S\). It is easy to observe that one always has \(I_{S}^{m} \subset I_{S}^{(m)}\). Moreover, there are some examples of finite sets of points for which there is equality \(I_{S}^{m} = I_{S}^{(m)}\), but in general it is rather less obvious to say for which numbers \(m\) (with respect to \(r\)) one has the containment \(I_{S}^{(m)} \subset I_{S}^{r}\). In order to study the issue \textit{C. Bocci} and \textit{B. Harbourne} introduced in [J. Algebr. Geom. 19, No. 3, 399--417 (2010; Zbl 1198.14001)] the so-called resurgence. Let \((0) \neq I \subset \mathbb{K}[\mathbb{P}^{N}]\) be a homogeneous ideal. Then the resurgence \(\rho(I)\) of \(I\) is defined as \[ \rho(I) = \sup \bigg\{\frac{m}{r} : I^{(m)} \not\subseteq I^{r} \bigg\}. \] Its asymptotic version is defined as \[ \widehat{\rho(I)} = \sup \bigg\{\frac{m}{r} : I^{(mt)} \not\subseteq I^{rt} \text{ for } t>>0 \bigg\}. \] It is immediate that \(\widehat{\rho(I)} \leq \rho(I)\). There are two natural problems related to these numbers, i.e. whether \(\widehat{\rho(I)}\) and \(\rho(I)\) may differ and whether \(\rho(I)\) could be infinite. In the case of the second problem it turns out that for \(r \geq 1\) \textit{L. Ein} et al. [Invent. Math. 144, No. 2, 241--252 (2001; Zbl 1076.13501)] and \textit{M. Hochster} and \textit{C. Huneke} [Invent. Math. 147, No. 2, 349--369 (2002; Zbl 1061.13005)] showed that there is a uniform containment \[ I^{(m)} \subset I^{r} \] for \(m \geq Nr\) and for all homogeneous ideals \(I\subset \mathbb{K}[\mathbb{P}^{N}]\). This shows that \(\rho(I) \leq N\), but there is no known examples with \(\rho(I) = N\). On the other hand, one can ask whether the above containment is optimal. Huneke asked whether for finite sets of points in \(\mathbb{P}^{2}\) one has \(I^{(3)} \subset I^{2}\), or more generally Harbourne formulated the following conjecture. Conjecture. The containment \(I^{(rN-(N-1))} \subset I^{r}\) holds for all homogeneous ideals in \(\mathbb{K}[\mathbb{P}^{N}]\). It turned out that the containment \(I^{(3)} \subset I^{2}\) fails to be true in general, the first counterexample, which comes from the dual Hesse line arrangement over the complex numbers, was given in the paper [\textit{M. Dumnicki} et al., J. Algebra 393, 24--29 (2013; Zbl 1297.14008)] and the other one, which comes from the Börörczky line arrangement over the real numbers, was presented in [\textit{A. Czapliński, A. Główka-Habura, G. Malara, M. Lampa-Baczyńska, P. Łuszcz-Świdecka, P. Pokora} and \textit{J. Szpond}, ``A counterexample to the containment \(I^{(3)} \subset I^{2}\) over the reals'', \url{arXiv:1310.0904}]. In the present note the authors compute resurgences and asymptotic resurgences for various counterexamples to the conjecture of Harbourne, in particular they compute these numbers for the above mentioned two counterexamples. These counterexamples have the additional highly remarkable property, namely the asymptotic resurgence differs from the resurgence, for instance for the dual Hesse configuration one has \(\rho(I) = 3/2\) and \(\widehat{\rho(I)} = 4/3\).