On resurgence via asymptotic resurgence (Q1984339)

Let \(I\) denote an ideal of the polynomial ring \(R\) over a field \(K\). For an integer \(s \geq 1\) let \(I^s\) resp \(I^{(s)}\) the \(s\)-th ordinary resp. the \(s\)-th symbolic power of \(I\). Clearly \(I^s \subseteq I^{(s)}\) for all \(s \geq 1\). In the paper [Math. Nachr. 129, 123--148 (1986; Zbl 0606.13001)] by the reviewer it is shown that for each \(r\) there is an integer \(s \geq r\) such that \(I^{(s)} \subseteq I^r\). The present author posed the problem to describe the smallest value \(f(r) := \min \{s \mid I^{(s)} \subseteq I^r\}\). Among others \textit{I. Swanson} [Math. Z. 234, No. 4, 755--775 (2000; Zbl 1010.13015)] proved that \(f(r)\) is bounded above by a linear function on \(r\). Under the above assumptions on \(R\) by the work of \textit{L. Ein} et al. [Invent. Math. 144, No. 2, 241--252 (2001; Zbl 1076.13501)] it follows that \(f(r) \leq hr\), where \(h\) denotes the big height of \(I\). For more general rings further results are obtained by \textit{M. Hochster} and \textit{C. Huneke} [Invent. Math. 147, No. 2, 349--369 (2002; Zbl 1061.13005)] and by \textit{L. Ma} and \textit{K. Schwede} [Invent. Math. 214, No. 2, 913--955 (2018; Zbl 1436.13009)]. A subtle point of view was initiated in the work of \textit{B. Harbourne} and \textit{C. Huneke} [J. Ramanujan Math. Soc. 28A, 247--266 (2013; Zbl 1296.13018)] with several research articles in recent times. This leads to two ``statistical quantities'', namely the resurgence \(\rho(I) = \sup \{s/r \mid I^{(s)} \not\subseteq I^r\}\) and the asymptotic resurgence \(\hat{\rho}(I) = s/r \mid I^{(st)} \not\subseteq I^{rt} \mbox{ for all } t \gg 0\}\). It follows that \(\hat{\rho}(I) \leq \rho(I) \leq h\). A problem is the rationality of the resurgence, answered in the affirmative by the authors provided the symbolic Rees algebra is finitely generated as an algebra. This is a consequence of the following: If \( \hat{\rho}(I) < \rho(I)\), then \( \rho(I)\) is a maximum instead of a supremum. This follows by the authors result about two bounds on asymptotic resurgence given a single known containment between a symbolic and ordinary power. With that they deduce subsequent criteria for expected resurgence, (that is, \( \rho(I) < h\)). As an application it is shown that squarefree monomial ideals have expected resurgence.