March 6, 2007
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
April 19, 2017
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...
October 13, 2004
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...
July 19, 2016
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...
August 27, 2023
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...
May 14, 2017
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 \...
August 6, 2019
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 $...
October 9, 2016
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.
June 23, 2020
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...
November 1, 2006
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 ...
March 25, 2013
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.