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 Hilbert depth of $h_M$, that is $$\operatorname{hdepth}(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 $\operatorname{hdepth}(h_S)=n$, where $S=K[x_1,\ldots,x_n]$. We show that $\operatorname{hdepth}(h_{S/J})=n$, if $J=(f_1,\ldots,f_d)\subset S$ is a complete intersection monomial ideal with $deg(f_i)\geq 2$ for all $1\leq i\leq d$. Also, we show that $\operatorname{hdepth}(h_{\overline M})\geq \operatorname{hdepth}(h_M)$ for any finitely generated graded $S$-module $M$, where $\overline M=M\otimes_S S[x_{n+1}]$.
Let Q be an affine semigroup generating Z^d, and fix a finitely generated Z^d-graded module M over the semigroup algebra k[Q] for a field k. We provide an algorithm to compute a minimal Z^d-graded injective resolution of M up to any desired cohomological degree. As an application, we derive an algorithm computing the local cohomology modules H^i_I(M) supported on any monomial (that is, Z^d-graded) ideal I. Since these local cohomology modules are neither finitely generated nor finitely cogenerated, part of this task is defining a finite data structure to encode them.
We describe the cone of Hilbert functions of artinian graded modules finitely generated in degree 0 over the polynomial ring R = k[x, y] with the non-standard grading deg(x) = 1 and deg(y) = n, where n is any natural number.
Let $R$ be a positively graded algebra over a field. We say that $R$ is Hilbert-cyclotomic if the numerator of its reduced Hilbert series has all of its roots on the unit circle. Such rings arise naturally in commutative algebra, numerical semigroup theory and Ehrhart theory. If $R$ is standard graded, we prove that, under the additional hypothesis that $R$ is Koszul or has an irreducible $h$-polynomial, Hilbert-cyclotomic algebras coincide with complete intersections. In the Koszul case, this is a consequence of some classical results about the vanishing of deviations of a graded algebra.
Let M be a finitely generated ZZ-graded module over the standard graded polynomial ring R=K[X_1, ..., X_n] with K a field, and let H_M(t)=Q_M(t)/(1-t)^d be the Hilbert series of M. We introduce the Hilbert regularity of M as the lowest possible value of the Castelnuovo-Mumford regularity for an R-module with Hilbert series H_M. Our main result is an arithmetical description of this invariant which connects the Hilbert regularity of M to the smallest k such that the power series Q_M(1-t)/(1-t)^k has no negative coefficients. Finally we give an algorithm for the computation of the Hilbert regula…
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.
Given a local Cohen-Macaulay ring $(R, {\mathfrak m})$, we study the interplay between the integral closedness -- or even the normality -- of an ${\mathfrak m}$-primary $R$-ideal $I$ and conditions on the Hilbert coefficients of $I$. We relate these properties to the depth of the associated graded ring of $I$.
We give two algorithms for computing the Hilbert depth of a \emph{graded ideal} in the polynomial ring. These algorithms work efficiently for (squarefree) lex ideals. As a consequence, we construct counterexamples to some conjectures made by Shen in \cite{B:Sh2}.
We prove that the generalized Hilbert-Kunz function of a graded module $M$ over a two-dimensional standard graded normal $K$-domain over an algebraically closed field $K$ of prime characteristic $p$ has the form $gHK(M,q)=e_{gHK}(M)q^{2}+γ(q)$, with rational generalized Hilbert-Kunz multiplicity $e_{gHK}(M)$ and a bounded function $γ(q)$. Moreover we prove that if $R$ is a $\mathbb{Z}$-algebra, the limit for $p\rightarrow+\infty$ of the generalized Hilbert-Kunz multiplicity $e_{gHK}^{R_p}(M_p)$ over the fibers $R_p$ exists and it is a rational number.
We show that there exists a saturated graded ideal in a standard graded polynomial ring which has the largest total Betti numbers among all saturated graded ideals for a fixed Hilbert polynomial.
For a finitely generated graded module $M$ over a positively-graded commutative Noetherian ring $R$, the second author established in 1999 some restrictions, which can be formulated in terms of the Castelnuovo regularity of $M$ or the so-called $a^*$-invariant of $M$, on the supporting degrees of a graded-indecomposable graded-injective direct summand, with associated prime ideal containing the irrelevant ideal of $R$, of any term in the minimal graded-injective resolution of $M$. Earlier, in 1995, T. Marley had established connections between finitely graded local cohomology modules of $M$ an…
We compute the Hilbert coefficients of a graded module with pure resolution and discuss lower and upper bounds for these coefficients for arbitrary graded modules.
Let $(A,\m)$ be a Noetherian local ring with infinite residue field and let $I$ be an ideal in $A$ and let $F(I) = \oplus_{n \geq 0}I^n/\m I^n$ be the fiber-cone of $I$. We prove certain relations among the Hilbert coefficients of $F(I)$ when the $a$-invariant of the associated graded ring $G(I)$ is negative.
In this paper, we give a way to construct graded filtrations of graded modules. We then apply it to the Sally module, which describes a correction term of the Hilbert function. As a result, we obtain the inequality of the Hilbert coefficients for ideals of reduction number $2$ or $3$.
Let $R$ be a standard graded algebra over an infinite field $\mathbb{K}$ and $M$ a finitely generated $\ZZ$-graded $R$-module. Let $I_1,\ldots I_m$ be graded ideals of $R$. The functions $r(M/I_1^{a_1}\ldots I_m^{a_m}M)$ and $r(I_1^{a_1}\ldots I_m^{a_m}M)$ are investigated and their asymptotical behaviours are given. Here $r(\bullet)$ stands for the reduction number of a finitely graded module $\bullet$.
In this expository paper we present proofs of Grothendieck-Serre Formula for multi-graded algebras and Rees algebras for admissible multi-graded filtrations. As applications, we derive formulas of Sally for postulation number of admissible filtrations and Hilbert coefficients. We also discuss a partial solution of Itoh's conjecture by Kummini and Masuti. We present an alternate proof of Huneke-Ooishi Theorem and a generalisation for multi-graded filtrations.
Let $k$ be a field. We determine the ideals $I$ in a finitely generated graded $k$-algebra $A$, whose associated graded rings are isomorphic to $A$. Also we compute the graded local cohomologies of the Rees rings $A[I t]$ and give the condition for $A[I t]$ to be generalized Cohen-Macaulay.
Let R denote a two-dimensional normal standard-graded domain over the algebraic closure K of a finite field of characteristic p, and let I denote a homogeneous primary ideal. We prove that the Hilbert-Kunz function of I has the form = e_{HK}(I) q^{2} + g (q) with rational Hilbert-Kunz multiplicity e_{HK}(I) and an eventually periodic function g (q).
We introduce the $k$-strong Lefschetz property ($k$-SLP) and the $k$-weak Lefschetz property ($k$-WLP) for graded Artinian $K$-algebras, which are generalizations of the Lefschetz properties. The main results obtained in this paper are as follows: 1. Let $I$ be a graded ideal of $R=K[x_1, x_2, x_3]$ whose quotient ring $R/I$ has the SLP. Then the generic initial ideal of $I$ is the unique almost revlex ideal with the same Hilbert function as $R/I$. 2. Let $I$ be a graded ideal of $R=K[x_1, x_2, ..., x_n]$ whose quotient ring $R/I$ has the $n$-SLP. Suppose that all $k$-th differences of the Hil…
Let $R$ be a polynomial ring over a field and $M= \bigoplus_n M_n$ a finitely generated graded $R$-module, minimally generated by homogeneous elements of degree zero with a graded $R$-minimal free resolution $\mathbf{F}$. A Cohen-Macaulay module $M$ is Gorenstein when the graded resolution is symmetric. We give an upper bound for the first Hilbert coefficient, $e_1$ in terms of the shifts in the graded resolution of $M$. When $M = R/I$, a Gorenstein algebra, this bound agrees with the bound obtained in \cite{ES} in Gorenstein algebras with quasi-pure resolution. We conjecture a similar bound f…
In this article we mainly consider the positively Z-graded polynomial ring R=F[X,Y] over an arbitrary field F and Hilbert series of finitely generated graded R-modules. The central result is an arithmetic criterion for such a series to be the Hilbert series of some R-module of positive depth. In the generic case, that is, the degrees of X and Y being coprime, this criterion can be formulated in terms of the numerical semigroup generated by those degrees.
It is known that graded cyclic modules over $S=K[x,y]$ have the Weak Lefschetz Property (WLP). This is not true for non-cyclic modules over $S$. The purpose of this note is to study which conditions on $S$-modules ensure the WLP. We give an algorithm to test the WLP for graded modules with fixed Hilbert function. In particular, we prove that indecomposable graded modules over $S$ with the Hilbert function $(h_0,h_1)$ have the WLP.
Let S be a finitely generated standard multi-graded algebra over a Noetherian local ring A. This paper first expresses mixed multiplicities of S in term of Hilbert-Samuel multiplicity that explained the mixed multiplicities S as the Hilbert-Samuel multiplicities for quotient modules of S. As an application, we get formulas for the mixed multiplicities of ideals that covers the main result of Trung-Verma 2007 [TV].
We show that the Hilbert-Kunz multiplicity is a rational number for an R_+-primary homogeneous ideal I=(f_1, ..., f_n) in a two-dimensional graded domain R of finite type over an algebraically closed field of positive characteristic. Moreover we give a formula for the Hilbert-Kunz multiplicity in terms of certain rational numbers coming from the strong Harder-Narasimhan filtration of the syzygy bundle Syz(f_1, . . ., f_n) on the projective curve Y = Proj R.
In this expository paper we survey results that relate Hilbert coefficients of an m-primary ideal I in a Cohen-Macaulay local ring (R, m) with depth of the associated graded ring G(I). Several results in this area follow from two theorems of S. Huckaba and T. Marley. These were proved using homological techniques. We provide simple proofs using superficial sequences.
We describe the main functions of the Macaulay2 package Quasidegrees. The purpose of this package is to compute the quasidegree set of a finitely generated A-graded module presented as the cokernel of a monomial matrix. We provide examples with motivation coming from A-hypergeometric systems.
We present a library autgradalg.lib for the free computer algebra system Singular to compute automorphisms of integral, finitely generated $\mathbb{C}$-algebras that are graded pointedly by a finitely generated abelian group. It implements the algorithms developed in 'Computing automorphisms of Mori dream spaces'. We apply the algorithms to Mori dream spaces and investigate the automorphism groups of a series of Fano varieties.
In this paper, considering the difference between the finiteness dimension and cohomological dimension for a finitely generated module, we investigate the asymptotic behavior of grades of components of graded local cohomology modules with respect to irrelevant ideal; as long as we study some artinian and tameness property of such modules.
In this note, we give examples of formal power series satisfying certain conditions that cannot be realized as Hilbert series of finitely generated modules. This answers to the negative a question raised in a recent article by the second and the third author. On the other hand, we show that the answer is positive after multiplication with a scalar.
We describe the graded characters and Hilbert functions of certain graded artinian Gorenstein quotients of the polynomial ring which are also representations of the symmetric group. Specifically, we look at those algebras whose socles are trivial representations and whose principal apolar submodules are generated by the sum of the orbit of a power of a linear form.
We present an Avoidance Principle for certain graded rings. As an application we fill a gap in the proof of a result by Brodmann, Rohrer and Sazeedeh about the antipolynomiality of the Hilbert-Samuel multiplicity of the graded components of the local cohomology modules of a finitely generated module over a Noetherian homogeneous ring with two-dimensional local base ring.
An upper bound for the Castelnuovo-Mumford regularity of the associated graded module of an one-dimension module is given in term of its Hilbert coeffcients. It is also investigated when the bound is attained.
In this work, we prove that if a graded, commutative algebra $R$ over a field $k$ is not Koszul then, denoting by $\mathfrak{m}$ the maximal homogeneous ideal of $R$ and by $M$ a finitely generated graded $R$-module, the nonzero modules of the form $\mathfrak{m} M$ have infinite Castelnuovo-Mumford regularity. We also prove that over complete intersections which are not Koszul, a nonzero direct summand of a syzygy of $k$ has infinite regularity. Finally, we relate the vanishing of the graded deviations of $R$ to having a nonzero direct summand of a syzygy of $k$ of finite regularity.
We determine the class of Hilbert series H so that if M is a finitely generated zero-dimensional R-graded module with the strong Lefschetz property, then the tensor product of M and k[y]/(y^m) has the strong Lefschetz property for y an indeterminate and all positive integers m if and only if the Hilbert series of M is in H. Given two finite graded R-modules M and N with the strong Lefschetz property, we determine sufficient conditions in order that the tensor product of M and N has the strong Lefschetz property.
Let $(R,\mathfrak{m})$ be a $d$-dimensional Cohen-Macaulay local ring, $I$ an $\mathfrak{m}$-primary ideal of $R$ and $J=(x_1,...,x_d)$ a minimal reduction of $I$. We show that if $J_{d-1}=(x_1,...,x_{d-1})$ and $\sum\limits_{n=1}^\inftyλ{({I^{n+1}\cap J_{d-1}})/({J{I^n} \cap J_{d-1}})=i}$ where i=0,1, then depth $G(I)\geq{d-i-1}$. Moreover, we prove that if $e_2(I) = \sum_{n=2}^\infty (n-1) λ(I^n/JI^{n-1})-2;$ or if $I$ is integrally closed and $e_2(I) = \sum_{n=2}^\infty (n-1)λ({I^{n}}/JI^{n-1})-i$ where $i=3,4$, then $e_1(I) = \sum_{n=1}^\infty λ(I^n / JI^{n-1})-1.$ In addition, we show tha…
Let $R=\bigoplus_{α\inΓ}R_α$ be a graded integral domain graded by an arbitrary grading torsionless monoid $Γ$, and $\star$ be a semistar operation on $R$. In this paper we define and study the graded integral domain analogue of $\star$-Nagata and Kronecker function rings of $R$ with respect to $\star$. We say that $R$ is a graded Prüfer $\star$-multiplication domain if each nonzero finitely generated homogeneous ideal of $R$ is $\star_f$-invertible. Using $\star$-Nagata and Kronecker function rings, we give several different equivalent conditions for $R$ to be a graded Prüfer $\star$-multipli…
Let $Q$ be a Noetherian ring with finite Krull dimension and let $\mathbf{f}= f_1,... f_c$ be a regular sequence in $Q$. Set $A = Q/(\mathbf{f})$. Let $I$ be an ideal in $A$, and let $M$ be a finitely generated $A$-module with $\projdim_Q M$ finite. Set $\R = \bigoplus_{n\geq 0}I^n$, the Rees-Algebra of $I$. Let $N = \bigoplus_{j \geq 0}N_j$ be a finitely generated graded $\R$-module. We show that \[\bigoplus_{j\geq 0}\bigoplus_{i\geq 0} \Ext^{i}_{A}(M,N_j) \] is a finitely generated bi-graded module over $\Sc = \R[t_1,...,t_c]$. We give two applications of this result to local complete inters…
The Hilbert function of standard graded algebras are well understood by Macaulay's theorem and very little is known in the local case, even if we assume that the local ring is a complete intersection. An extension to the power series ring $R$ of the theory of Gröbner bases (w.r.t. local degree orderings) enable us to characterize the Hilbert function of one dimensional quadratic complete intersections $A=R/I$, and we give a structure theorem of the minimal system of generators of $I$ in terms of the Hilbert function. We find several restrictions for the Hilbert function of $A$ in the case that…
Let $S$ be a polynomial ring in $n$ variables over a field $K$ of characteristic $0$. A numerical characterization of all possible extremal Betti numbers of any graded submodule of a finitely generated graded free $S$-module is given.
We prove the existence of HK density function for a pair $(R, I)$, where $R$ is a ${\mathbb N}$-graded domain of finite type over a perfect field and $I\subset R$ is a graded ideal of finite colength. This generalizes our earlier result where one proves the existence of such a function for a pair $(R, I)$, where, in addition $R$ is standard graded. As one of the consequences we show that if $G$ is a finite group scheme acting linearly on a polynomial ring $R$ of dimension $d$ then the HK density function $f_{R^G, {\bf m}_G}$, of the pair $(R^G, {\bf m}_G)$, is a piecewise polynomial function o…
The Hilbert coefficients of the normal filtration give important geometric information on the base ring like the pseudo-rationality. The Sally module was introduced by W.V. Vasconcelos and it is useful to connect the Hilbert coefficients to the homological properties of the associated graded module of a Noetherian filtration. In this paper we give a complete structure of the Sally module in the case the second normal Hilbert coefficient attains almost minimal value in an analytically unramified Cohen-Macaulay local ring. As a consequence, in this case we present a complete description of the H…
Assume that $R=\oplus_{n\in \mathbb{N}_0}R_n$ is a standard graded algebra over the local ring $(R_0,\mathfrak{m}_0)$, $\mathfrak{a}$ is a homogeneous ideal of $R$, $M$ is a finitely generated graded $R$-module and $R_+:=\oplus_{n\in \mathbb{N}}R_n$ denotes the irrelevant ideal of $R$. In this paper, we study the asymptotic behaviour of the set $\{ \operatorname{grade}(\mathfrak{a} \cap R_0, H^{\operatorname{grade}(R_+,M)}_{R_+}(M)_n) \}_{n \in \mathbb{Z}}$ as $n \rightarrow -\infty$, in the case where $\mathfrak{a}$ and $R_+$ are homogenously linked over $M$.
Given a locally nilpotent derivation on an affine algebra $B$ over a field $k$ of characteristic zero, we consider a finitely generated $B$-module $M$ which admits a locally nilpotent module derivation $δ_M$ (see Definition 1.1 below). Let $A=\Ker δ$ and $M_0=\Ker δ_M$. We ask if $M_0$ is a finitely generated $A$-module. In general, there exist counterexamples which are closely related to the fourteenth problem of Hilbert. We also look for some sufficient conditions for finite generation.
The literature in persistent homology often refers to a "structure theorem for finitely generated graded modules over a graded principal ideal domain". We clarify the nature of this structure theorem in this context.
We study inequalities between graded Betti numbers of ideals in a standard graded algebra over a field and their images under embedding maps, defined earlier by us in [Math. Z. 274, (2013), no. 3-4, pp. 809-819; arXiv:1009.4488]. We show that if graded Betti numbers do not decrease when we replace ideals in an algebra by their embedded versions, then the same behaviour is carried over to ring extensions. As a corollary we give alternative inductive proofs of earlier results of Bigatti, Hulett, Pardue, Mermin-Peeva-Stillman and Murai. We extend a hypersurface restriction theorem of Herzog-Popes…
Numerical invariants of a minimal free resolution of a module $M$ over a regular local ring $(R,\n)$ can be studied by taking advantage of the rich literature on the graded case. The key is to fix suitable $\n$-stable filtrations ${\mathbb M} $ of $M $ and to compare the Betti numbers of $M$ with those of the associated graded module $ gr_{\mathbb M}(M). $ This approach has the advantage that the same module $M$ can be detected by using different filtrations on it. It provides interesting upper bounds for the Betti numbers and we study the modules for which the extremal values are attained. Am…
This article surveys results on graded algebras and their Hilbert series. We give simple constructions of finitely generated graded associative algebras $R$ with Hilbert series $H(R,t)$ very close to an arbitrary power series $a(t)$ with exponentially bounded nonnegative integer coefficients. Then we summarize some related facts on algebras with polynomial identity. Further we discuss the problem how to find series $a(t)$ which are rational/algebraic/transcendental over ${\mathbb Q}(t)$. Applying a classical result of Fatou we conclude that if a finitely generated graded algebra has a finite G…
Hilbert's 14th problem studies the finite generation property of the intersection of an integral algebra of finite type with a subfield of the field of fractions of the algebra. It has a negative answer due to the counterexample of Nagata. We show that a subfinite version of Hilbert's 14th problem has a confirmative answer. We then establish a graded analogue of this result, which permits to show that the subfiniteness of graded linear series does not depend on the function field in which we consider it. Finally, we apply the subfiniteness result to the study of geometric and arithmetic graded…
Let $A=\oplus_{i\in \nn}A_i$ be an excellent homogeneous Noetherian graded ring and let $M=\oplus_{n\in \zz}M_n$ be a finitely generated graded $A$-module. We consider $M$ as a module over $A_0$ and show that the $(S_k)$-loci of $M$ are open in $\Spec(A_0)$. In particular, the Cohen-Macaulay locus $U^0_{CM}=\{\p\in \Spec(A_0) \mid M_\p {is Cohen-Macaulay}\}$ is an open subset of $\Spec(A_0)$. We also show that the $(S_k)$-loci on the homogeneous parts $M_n$ of $M$ are eventually stable. As an application we obtain that for a finitely generated Cohen-Macaulay module $M$ over an excellent ring $…
This first part of the paper describes the support of top graded local cohomology modules. As a corrolary one obtains a simple criteria for the vanishing of these modules and also the fact that they have finitely many minimal primes. The second part of this paper constructs examples of cohomological Hilbert functions which are not of polynomial type.
Let $(R,\mathfrak{m})$ be a $d$-dimensional Cohen-Macaulay local ring with infinite residue field. Let $I$ be an ideal of $R$ that has analytic spread $\ell(I)=d$, satisfies the $G_d$ condition, the weak Artin-Nagata property $AN_{d-2}^-$ and depth$(R/I)\geq\min\lbrace 1,\dim R/I \rbrace$. In this paper, we show that if $j_1(I) = λ(I/J) +λ[R/(J_{d-1} :_{R} I+(J_{d-2} :_{R}I+I) :_R, \mathfrak{m}^\infty)]+1$, then depth$(G(I))\geq d -1$ and $r_J(I)\leq 2$, where $J$ is a general minimal reduction of $I$. In addition, we extend the result by Sally who has studied the depth of associated graded ri…
Let $G$ be a finitely generated abelian group, and let $S = A[x_1, ..., x_n]$ be a $G$-graded polynomial ring over a commutative ring $A$. Let $I_1, ..., I_s$ be $G$-homogeneous ideals in $S$, and let $M$ be a finitely generated $G$-graded $S$-module. We show that, when $A$ is Noetherian, the nonzero $G$-graded Betti numbers of $MI_1^{t_1} ... I_s^{t_s}$ exhibit an asymptotic linear behavior as the $t_i$s get large.
