Extreme values of the resurgence for homogeneous ideals in polynomial rings (Q1979288)

The paper concerns the notions of resurgence and asymptotic resurgence. The resurgence of a homogeneous ideal \(I\subset \mathbb{K}[\mathbb{P}^N]\), introduced in the paper of \textit{C. Bocci} and \textit{B. Harbourne} [J. Algebr. Geom. 19, No. 3, 399--417 (2010; Zbl 1198.14001)], says when the containment of an \(m\)th symbolic power of \(I\) in \(I^r\) holds, more precisely, \(\rho(I)=\sup\{\frac{m}{r} : I^{(m)}\not\subseteq I^r\}\). The asymptotic versions of this invariant were defined in two ways, in the paper of \textit{E. Guardo} et al. [Adv. Math. 246, 114--127 (2013; Zbl 1296.13017)]. The first one is \(\rho'(I)=\limsup_t\rho(I,t),\) where \(\rho(I,t)=\sup \{\frac{m}{r} : I^{(m)}\not\subseteq I^r, m\geq t, r\geq t \}\), and the second one \(\widehat{\rho}(I)=\sup \{\frac{m}{r} : I^{(mt)}\not\subseteq I^{rt}, t\gg0 \}.\) In the reviewed paper the authors prove that for a nontrivial homogeneous \(I\) these two notions are in fact equivalent. Then they prove that the inequality \(\widehat{\rho}(I)<h_I\) holds if and only if \(\rho(I)<h_I\) holds, where \(h_I\) denotes the minimum of \(N\) and the maximum of the heights of associated primes of \(I\). Next, the authors consider a (fat) point subscheme \(Z\) of \( \mathbb{P}^N\). Recall that the symbolic defect \(\mathrm{sdefect}(I(Z),m)\) is the minimum number of generators of the module \(I(mZ)/I(Z)^m\). The authors prove, among others, that if \(Z\) is reduced, then \(I(Z)\) is complete intersection ideal if and only if \(\mathrm{sdefect}(I(Z),m)=0\) for all \(m\geq 1\), and this is eqivalent to \(\rho(I)=1\) and to \(\widehat{\rho}(I)=1\). They also prove for any fat point subscheme \(Z\) on \(\mathbb{P}^2\) that \(\rho(I)=1\) iff \(\widehat{\rho}(I)=1\). \\ The authors define also a third kind of asymptotic resurgence, namely the integral closure resurgence: \(\rho_{\mathrm{int}}(I)=\sup \{\frac{m}{r} : \overline{I^m}\not\subseteq I^r \}\) (bar denotes the integral closure) and they relate \(\rho_{\mathrm{int}}(I)\) to \(\rho(I)\), proving for example that if \(I^{(m)}=\overline{I^{(m)}}\) then \(\rho_{\mathrm{int}}(I)\leq \rho(I)\). Then the authors discuss their result with respect to the conjecture of \textit{E. Grifo} (which says that for a radical homogeneous ideal \(I\subseteq\mathbb{K}[\mathbb{P}^N]\) and for \(r\gg 0\) we have \(I^{(h_Ir-h_I+1)}\subseteq I^r\), [J. Pure Appl. Algebra 224, No. 12, Article ID 106435, 22 p. (2020; Zbl 1453.13009)]); they also include examples and questions, and two algorithmic ways of computing the resurgence in some cases.