A duality theorem for the ic-resurgence of edge ideals (Q2111193): Difference between revisions

Let \(I\subset K[t_1,\dots,t_s]\) be a square-free monomial ideal. The resurgence relative to the integral closure, introduced in [\textit{M. DiPasquale} et al., Trans. Am. Math. Soc. 372, No. 9, 6655--6676 (2019; Zbl 1425.14007)], is defined by \[ \rho_{ic}(I) = \sup \{n/r \mid I^{(n)}\not \subset \overline{I^r}\}, \] where \(I^{(n)}\) denotes the \(n\)th symbolic power of \(I\) and \(\overline{I^r}\) denotes the integral closure of \(I^r\). The aim of the article under review is to use linear programming and polyhedral geometry to study this invariant. More precisely, letting \(\mathcal{Q}(I)\) denote the covering polyhedron of \(I\), that is, the rational polyhedron defined by \[ \mathcal{Q}(I) = \{\mathbf{x}\in \mathbb{R}^s \mid \mathbf{x}\geq 0,\; \mathbf{x}A\geq \mathbf{1} \}, \] where \(A\) is the matrix whose columns are the exponent vectors of the minimal monomial generators of \(I\), in the main result of this article (Theorem 3.7), the author shows that \[ \frac{1}{\rho_{ic}(I)} = \min \{\langle u,v\rangle \mid u\in V(\mathcal{Q}(I)),\; v\in V(\mathcal{Q}(I^{\vee})) \}, \] where \(I^{\vee}\) is the Alexander dual of \(I\). In particular, this yields \(\rho_{ic}(I) = \rho_{ic}(I^\vee)\). Among other results, some of which recovering results in existing literature, in Corollary 3.11, the author applies the theorem above to show that if \(I_1\) and \(I_2\) are square-free monomial ideals on two disjoint sets of variables, then \[ \rho_{ic}(I_1+I_2)=\max\{\rho_{ic}(I_1),\rho_{ic}(I_2) \}. \] Section~4 of this article contains five examples and an appendix contains a Macaulay2 procedure to compute \(\rho_{ic}(I)\), for any square-free monomial ideal.