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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Extreme values of the resurgence for homogeneous ideals in polynomial rings
scientific article

    Statements

    Extreme values of the resurgence for homogeneous ideals in polynomial rings (English)
    0 references
    0 references
    0 references
    0 references
    2 September 2021
    0 references
    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.
    0 references
    resurgence
    0 references
    asymptotic resurgence
    0 references
    symbolic power
    0 references
    integral closure
    0 references
    fat points
    0 references
    polynomial ring
    0 references
    ideals
    0 references
    containment problem
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references