arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.25422

Polynomial bounds for the stability of associated primes of monomial ideals

Tran Nam Trung
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $I$ be a nonzero proper monomial ideal in ${\rm k}[x_1,\ldots,x_r]$, and let $d$ be the maximal degree of a minimal monomial generator. We prove that the index of stability of the associated primes of its ordinary powers satisfies \[ {\rm astab}(I)\le\frac{(4e)^{r-1}}4\,d^{r-1}\qquad(r\ge3), \] while ${\rm astab}(I)=1$ for $r=2$. If $I$ has $s\ge2$ minimal generators, we also obtain \[ {\rm astab}(I)\le\min\{r,s\}(s-1)d^{\min\{r-1,s-2\}}. \] The first estimate answers Hoa's question on polynomial bounds. The proofs reduce stabilization to integer optimization for a matrix whose last row records the power of the ideal. We bound the degrees of its circuits and Graver basis elements and prove proximity estimates for optimal solutions in fixed fibers. A Steinitz rearrangement and a lattice-point count in the difference body of a simplex give the generator-independent bound. The matrix estimates hold for arbitrary indexed integral configurations in a simplex and real linear objective functions. The stability bounds hold over an arbitrary field, without normality or equigeneration assumptions.

Explore related subjects

math.AC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Tran Nam Trung. 2026-10-18. Polynomial bounds for the stability of associated primes of monomial ideals. https://arxiv.org/abs/2610.25422

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On the Rees, Dilworth and Matsumura number

In this paper we study three numerical invariants of local rings: the Rees number, the Dilworth number, and the Matsumura number. These quantities measure, respectively, the minimal lengths of certain cyclic modules, the maximal numbers of generators of ideals, and a parameter-based analogue in higher dimension. We construct a non-exact local complete-intersection ring over $\mathbb{F}_2$, thereby providing a negative answer to a question of Matsumura on the exactness of zero-dimensional complete intersections. We also present a family of artinian Gorenstein local rings over a field of characteristic zero that are exact, making progress on a question of Watanabe. Finally, answering a further question of Matsumura, we introduce and study the Matsumura number and the class of homologically exact rings, which extend the notion of exactness beyond the one-dimensional case.

math.AC↗
arXiv2026

Asymptotic behavior of invariants of syzygies of maximal Cohen-Macaulay modules

$(A,\mathfrak{m})$ be a complete intersection ring of codimension $c\geq 2$ and dimension $d\geq 1$. Let $M$ be a finitely generated maximal Cohen-Macaulay $A$-module and $M_i=\text{Syz}^A_{i}(M)$ be the $i$-th syzygy of $M$. Let $e^{I}_i(M)$ be the $i$-th Hilbert coefficient of $M$ with respect to an $\mathfrak{m}$-primary ideal $I$. In \cite{Quasipolynomial}, it is proved that the function $i\mapsto e^I_1(M)$ is of quasi-polynomial type with period $2$ and degree $\leq \text{cx}_A(M)-1$, where $\text{cx}_A(M)$ is the complexity of $M.$ We prove that for $I=\mathfrak{m}$, the associated polynomials have the same degree equal to $\text{cx}_A(M)-1$. For $\text{cx}_A(M)=2$ and $j=0,1$, we prove $$\lim_{i\to \infty}\dfrac{e^{\mathfrak{m}}_1(M_{2i+j})}{i}\geq \lim_{i\to \infty}\dfrac{e^{\mathfrak{m}}_0(M_{2i+j})}{i}-\lim_{i\to \infty}\dfrac{μ(M_{2i+j})}{i}.$$ When equality holds, we prove that the set $\{\text{reg }G_{\mathfrak{m}}(M_i)\,|\, i\geq 0\}$ is bounded, where reg $G_{\mathfrak{m}}(M_i)$ is the Castelnuovo-Mumford regularity of $G_{\mathfrak{m}}(M_i).$

math.AC↗
arXiv2026

On the arithmetic rank and cohomological dimension of some residual intersections

We determine the arithmetic rank and cohomological dimension of each generic residual intersection of the ideal of submaximal Pfaffians of an alternating matrix of variables. This ideal fails to be a set-theoretic complete intersection. Our methods yield several structural results: in characteristic zero, we compute the $D$-module length of the top local cohomology module supported at this ideal and show that over the integers, it admits a $\mathbb{Q}$-vector space structure. In particular, the top local cohomology module has no integer torsion. We also establish the $F$-regularity of the generic residual intersection rings considered here. Further, for each admissible height $s$, we construct $s$-residual intersections of complete intersection ideals and height three Gorenstein ideals that are set-theoretic complete intersections in any characteristic. Finally, we pose a general question of independent interest concerning the behaviour of arithmetic rank.

math.AC↗