arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.26532

Saturation degree of powers of graded ideals

Le Tuan Hoa·Hop Dang Nguyen·Ngo Viet Trung
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $I$ be a non-nilpotent graded ideal of a standard graded algebra over a Noetherian commutative ring. We show that the saturation degree sdeg $I^n$ is asymptotically a constant function or a linear function whose slope is one of the generating degrees of $I$. Furthermore, we give sufficient (and necessary) conditions for a numerical functions to be the function sdeg $I^n$ of an ideal $I$ generated by forms of the same degree. Our results may provide a better understanding of the initial behavior of the regularity function reg $I^n$.

Explore related subjects

math.AC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Le Tuan Hoa, Hop Dang Nguyen, Ngo Viet Trung. 2026-10-19. Saturation degree of powers of graded ideals. https://doi.org/10.1016/j.jpaa.2026.108392

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↗