ID: math/0703152

Hilbert polynomials and powers of ideals

March 6, 2007

View on ArXiv
Juergen Herzog, Tony J. Puthenpurakal, J. K. Verma
Mathematics
Commutative Algebra

The growth of Hilbert coefficients for powers of ideals are studied. For a graded ideal $I$ in the polynomial ring $S=K[x_1,...,x_n]$ and a finitely generated graded $S$-module, the Hilbert coefficients $e_i(M/I^kM)$ are polynomial functions. Given two families of graded ideals $(I_k)_{k\geq 0}$ and $(J_k)_{k\geq 0}$ with $J_k\subset I_k$ for all $k$ with the property that $J_kJ_\ell\subset J_{k+\ell}$ and $I_kI_\ell\subset I_{k+\ell}$ for all $k$ and $\ell$, and such that the algebras $A=\Dirsum_{k\geq 0}J_k$ and $B=\Dirsum_{k\geq 0}I_k$ are finitely generated, we show the function $k \mapsto_0(I_k/J_k)$ is of quasi-polynomial type, say given by the polynomials $P_0,..., P_{g-1}$. If $J_k = J^k$ for all $k$ then we show that all the $P_i$ have the same degree and the same leading coefficient. As one of the applications it is shown that $\lim_{k\to \infty}\length(\Gamma_\mm(S/I^k))/k^n \in \mathbb{Q}.$ We also study analogous statements in the local case.

Similar papers 1

On the $h$-vectors of the powers of graded ideals

April 19, 2017

91% Match
Seyed Shahab Arkian, Amir Mafi
Algebraic Geometry
Commutative Algebra

Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over the field $K$, and let $I\subset S$ be a graded ideal. It is shown that for $k \gg0$ the postulation number of $I^k$ is bounded by a linear function of $k$, and it is a linear function of $k$, if $I$ is generated in a single degree. By using the relationship of the $h$-vector with the higher iterated Hilbert coefficients of $I^k$ it is shown that the Hilbert coefficients $e_i(I^k)$ of $I^k$ are polynomials for $k \gg 0$, w...

Find SimilarView on arXiv

Derived Functors and Hilbert Polynomials

October 13, 2004

89% Match
Emanoil Theodorescu
Commutative Algebra

Let $R$ be a commutative Noetherian ring, $I$ an ideal, $M$ and $N$ finitely generated $R$-modules. Assume $V(I)\cap Supp(M)\cap Supp(N)$ consists of finitely many maximal ideals and let ${\l}(\e^i(N/I^nN,M))$ denote the length of $\e^i(N/I^nN,M)$. It is shown that ${\l}(\e^i(N/I^nN,M))$ agrees with a polynomial in $n$ for $n>>0$, and an upper bound for its degree is given. On the other hand, a simple example shows that some special assumption such as the support condition ab...

Find SimilarView on arXiv

A partial characterization of Hilbert quasi-polynomials in the non-standard case

July 19, 2016

88% Match
Massimo Caboara, Carla Mascia
Commutative Algebra

The Hilbert function, its generating function and the Hilbert polynomial of a graded ring R have been extensively studied since the famous paper of Hilbert: Ueber die Theorie der algebraischen Formen [Hil90]. In particular, the coefficients and the degree of the Hilbert polynomial play an important role in Algebraic Geometry. If the ring grading is non-standard, then its Hilbert function is not eventually equal to a polynomial but to a quasi-polynomial. It turns out that a Hi...

Find SimilarView on arXiv

On the quasi depth of the Hilbert function of a finitely generated graded module

August 27, 2023

88% Match
Silviu Balanescu, Mircea Cimpoeas
Commutative Algebra

Let $K$ be a field, $A$ a standard graded $K$-algebra and $M$ a finitely generated graded $A$-module. Inspired by our previous works, we study the invariant called \emph{quasi depth} of $h_M$, that is $$ qdepth(h_M)=\max\{d\;:\; \sum\limits_{j\leq k} (-1)^{k-j} \binom{d-j}{k-j} h_{M}(j) \geq 0 \text{ for all } k\leq d\}, $$ where $h_M(-)$ is the Hilbert function of $M$, and we prove basic results regard it. Using the theory of hypergeometric functions, we prove that $qdepth...

Find SimilarView on arXiv

Length of local cohomology of powers of ideals

May 14, 2017

88% Match
Hailong Dao, Jonathan Montaño
Commutative Algebra
Algebraic Geometry

Let $R$ be a polynomial ring over a field $k$ with irrelevant ideal $\frak m$ and dimension $d$. Let $I$ be a homogeneous ideal in $R$. We study the asymptotic behavior of the length of the modules $H^{i}_{\frak m}(R/I^n)$ for $n\gg 0$. We show that for a fixed number $\alpha \in \mathbb Z$, $\limsup_{n\rightarrow \infty}\frac{\lambda(H^{i}_{\frak m}(R/I^n)_{\geq -\alpha n})}{n^d}<\infty.$ Combining this with recent strong vanishing results gives that $\limsup_{n\rightarrow \...

Find SimilarView on arXiv

Symbolic powers of monomial ideals

August 6, 2019

87% Match
Tony J. Puthenpurakal
Commutative Algebra

Let $A = K[X_1,\ldots, X_d]$ and let $I$, $J$ be monomial ideals in $A$. Let $I_n(J) = (I^n \colon J^\infty)$ be the $n^{th}$ symbolic power of $I$ \wrt \ $J$. It is easy to see that the function $f^I_J(n) = e_0(I_n(J)/I^n)$ is of quasi-polynomial type, say of period $g$ and degree $c$. For $n \gg 0$ say \[ f^I_J(n) = a_c(n)n^c + a_{c-1}(n)n^{c-1} + \text{lower terms}, \] where for $i = 0, \ldots, c$, $a_i \colon \mathbb{N} \rt \mathbb{Z}$ are periodic functions of period $...

Find SimilarView on arXiv

Higher iterated Hilbert coefficients of the graded components of bigraded modules

October 9, 2016

87% Match
Seyed Shahab Arkian
Commutative Algebra

Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over the field $K$, and let $I\subset S$ be a graded ideal. It is shown that the higher iterated Hilbert coefficients of the graded $S$-modules $\Tor_i^S(M,I^k)$ and $\Ext^i_S(M,I^k)$ are polynomial functions in $k$, and an upper bound for their degree is given. These results are derived by considering suitable bigraded modules.

Find SimilarView on arXiv

Rationality of Equivariant Hilbert Series and Asymptotic Properties

June 23, 2020

87% Match
Uwe Nagel
Commutative Algebra
Combinatorics
Representation Theory

An FI- or an OI-module $\mathbf{M}$ over a corresponding noetherian polynomial algebra $\mathbf{P}$ may be thought of as a sequence of compatible modules $\mathbf{M}_n$ over a polynomial ring $\mathbf{P}_n$ whose number of variables depends linearly on $n$. In order to study invariants of the modules $\mathbf{M}_n$ in dependence of $n$, an equivariant Hilbert series is introduced if $\mathbf{M}$ is graded. If $\mathbf{M}$ is also finitely generated, it is shown that this seri...

Find SimilarView on arXiv

Hilbert functions of d-regular ideals

November 1, 2006

87% Match
Satoshi Murai
Commutative Algebra
Combinatorics

In the present paper, we characterize all possible Hilbert functions of graded ideals in a polynomial ring whose regularity is smaller than or equal to $d$, where $d$ is a positive integer. In addition, we prove the following result which is a generalization of Bigatti, Hulett and Pardue's result: Let $p \geq 0$ and $d>0$ be integers. If the base field is a field of characteristic 0 and there is a graded ideal $I$ whose projective dimension $\mathrm{proj\ dim}(I)$ is smaller ...

Find SimilarView on arXiv

On Hilbert functions of general intersections of ideals

March 25, 2013

87% Match
Giulio Caviglia, Satoshi Murai
Commutative Algebra

Let I and J be homogeneous ideals in a standard graded polynomial ring. We study upper bounds of the Hilbert function of the intersection of I and g(J), where g is a general change of coordinates. Our main result gives a generalization of Green's hyperplane section theorem.

Find SimilarView on arXiv