Extreme values of the resurgence for homogeneous ideals in polynomial rings

DOI10.1016/J.JPAA.2021.106811MaRDI QIDQ1979288zbMATH OpenOpenAlexFDO

Authors Brian Harbourne, Jake Kettinger, Frank Zimmitti

Publication date 2 September 2021

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2005.05282

asymptotic resurgence containment problem fat points ideals integral closure polynomial ring resurgence symbolic power

Integral closure of commutative rings and ideals (13B22) Polynomials and finite commutative rings (13M10) Divisors, linear systems, invertible sheaves (14C20)

Abstract: We show that two ostensibly different versions of the asymptotic resurgence introduced by Guardo, Harbourne and Van Tuyl in 2013 are the same. We also show that the resurgence and asymptotic resurgence attain their maximal values simultaneously, if at all, which we apply to a conjecture of Grifo. For radical ideals of points, we show that the resurgence and asymptotic resurgence attain their minimal values simultaneously. In addition, we introduce an integral closure version of the resurgence and relate it to the other versions of the resurgence. In closing we provide various examples and raise some related questions, and we finish with some remarks about computing the resurgence.

Review text

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.

Recommendations

Cites work

Cited in

(11)

This page was built for publication: Extreme values of the resurgence for homogeneous ideals in polynomial rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1979288)