arXiv++ Combinatorics

Let $I$ be a monomial ideal in a standard graded polynomial ring and let $\overline{I}$ denote its integral closure. We study the relationship between $\mathrm{v}(I)$ and $\mathrm{v}(\overline{I})$. We prove that $\mathrm{v}(\overline{I}) \leq \mathrm{v}(I)$ for monomial ideals in two variables, for equigenerated monomial ideals in three variables and for several special classes of monomial ideals, while providing examples showing that this inequality does not hold in general. For the edge ideal $I(G)$ of a connected graph $G$, we show that $\mathrm{v}(I(G)^k)=\mathrm{v}(\overline{I(G)^k}) = 2k-1$ for all $k \geq 1+|E(G)|$. Moreover, when $G$ is disconnected, we prove that $\mathrm{v}(\overline{I(G)^k})\leq\mathrm{v}({I(G)^k})$ for all sufficiently large $k$.

In this paper, we prove that for Noetherian graded families $\mathcal{I} = \{I_k\}_{k \ge 0}$ of homogeneous ideals, $\lim\limits_{k \to \infty} \frac{\mathrm{v}(I_k)}{k}$ exists, %equals $\lim\limits_{k \to \infty} \frac{α(I_k)}{k}$, and is given by $\frac{α(I_r)}{r}$ for some $r \ge 1$, where $α(I)$ denotes the initial degree. Extending these results to integral closures, we show that \( \lim\limits_{k\to\infty}\frac{\mathrm{v}(\overline{I_k})}{k} = \lim\limits_{k\to\infty}\frac{α(\overline{I_k})}{k}=\lim\limits_{k\to\infty}\frac{\mathrm{v}(I_k)}{k}=\lim\limits_{k\to\infty}\frac{α(I_k)}{k} \). For monomial ideals, we provide a combinatorial interpretation of these limits via Newton--Okounkov regions $Δ(\mathcal{I})$. %demonstrating that they equal $λ(Δ(\mathcal{I}))$, the minimum coordinate sum among vertices of $Δ(\mathcal{I})$. This connection is further generalized to arbitrary homogeneous ideals using good valuations. We also establish that both $\operatorname{reg}(I_k)$ and $\mathrm{v}(I_k)$ are eventually quasi-linear functions of $k$ for any Noetherian graded family. %Under suitable conditions, we prove the strict inequality $\mathrm{v}(I_k) < \operatorname{reg}(I_k)$. For stable monomial ideal $I$ we show that $\mathrm{v}(I) < \operatorname{reg}(I)$. Finally, for zero-dimensional homogeneous ideal $I$ in a polynomial ring $S$, we prove that $\mathrm{v}(I) < e(S/I)$, where $e(S/I)$ denote the multiplicity.