arXiv++ Combinatorics

In this paper, we investigate the componentwise linear property of support-two monomial ideals. Our first main result shows that if $I$ is a support-two monomial ideal, then its underlying simple graph $G_I$ is co-chordal; equivalently, by Fröberg's theorem, $\sqrt{I}$ admits a linear resolution. This phenomenon is quite rare for general monomial ideals. In fact, there exist monomial ideals with linear resolutions whose radicals fail to have linear resolutions, even when the radical is the edge ideal of a graph. For any monomial ideal $I$, one always has $μ(I)\geq μ(\sqrt{I})$. In the literature, support-two monomial ideals satisfying $μ(I)=μ(\sqrt{I})$ are of special interest, as they include edge ideals of simple graphs, weighted oriented graphs, edge-weighted graphs, and vertex-weighted graphs. We refer to such ideals as minimal support-two monomial ideals. We explicitly characterize all minimal support-two monomial ideals, as well as their powers, that admit linear resolutions. Next, we classify the linearity of non-minimal ones. Consequently, we obtain a complete classification of linear support-two monomial ideals, which shows that the property of being linear does not depend on the characteristics of the base field for support-two monomial ideals.

In this paper, we study the asymptotic behaviour of the v-number of a Noetherian graded filtration $\mathcal{I}= \{I_{[k]}\}_{k\geq 0}$ of a Noetherian $\mathbb{N}$-graded domain $R$. Recently, it is shown that $\mathrm{v}(I_{[k]})$ is periodically linear in $k$ for $k \gg 0$. We show that all these linear functions have the same slope, i.e. $\displaystyle \lim_{k \rightarrow \infty}\frac{\mathrm{v}(I_{[k]})}{k}$ exists, which is equal to $\displaystyle \lim_{k \rightarrow \infty}\frac{α(I_{[k]})}{k}$, where $α(I)$ denotes the minimum degree of a non-zero element in $I$. In particular, for any Noetherian symbolic filtration $\mathcal{I}= \{I^{(k)}\}_{k\geq 0}$ of $R$, it follows that $\displaystyle \lim_{k \rightarrow \infty}\frac{\mathrm{v}(I^{(k)})}{k}=\hatα(I)$, the Waldschmidt constant of $I$. Next, for a non-equigenerated square-free monomial ideal $I$, we prove that $\mathrm{v}(I^{(k)}) \leq \mathrm{reg}(R/I^{(k)})$ for $k\gg 0$. Also, for an ideal $I$ having the symbolic strong persistence property, we give a linear upper bound on $\mathrm{v}(I^{(k)})$. As an application, we derive some criteria for a square-free monomial ideal $I$ to satisfy $\mathrm{v}(I^{(k)})\leq \mathrm{reg}(R/I^{(k)})$ for all $k\geq 1$, and provide several examples in support. In addition, for any simple graph $G$, we establish that $\mathrm{v}(J(G)^{(k)}) \leq \mathrm{reg}(R/J(G)^{(k)})$ for all $k \geq 1$, and $\mathrm{v}(J(G)^{(k)}) = \mathrm{reg}(R/J(G)^{(k)})=α(J(G)^{(k)})-1$ for all $k\geq 1$ if and only if $G$ is a Cohen-Macaulay very-well covered graph, where $J(G)$ is the cover ideal of $G$.