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 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.
In this paper we give an effective characterization of Hilbert functions and polynomials of standard algebras over an Artinian equicharacteristic local ring; the cohomological properties of such algebras are also studied. We describe algorithms to check the admissibility of a given function or polynomial as a Hilbert function or polynomial, and to produce a standard algebra with a given Hilbert function.
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.
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}.
Let $G$ be a group with identity $e$ and $R$ be a $G$-graded commutative ring with nonzero unity $1$. In this article, we introduce the concept of graded strongly $1$-absorbing primary ideals. A proper graded ideal $P$ of $R$ is said to be a graded strongly $1$-absorbing primary ideal of $R$ if whenever nonunit homogeneous elements $x, y, z\in R$ such that $xyz\in P$, then either $xy\in P$ or $z\in Grad(\{0\})$ (the graded radical of $\{0\}$). Several properties of graded strongly $1$-absorbing primary ideals are investigated. Many results are given to disclose the relations between this new c…
In this article, we introduce a generalization of the concept of graded $r$-ideals in graded commutative rings with nonzero unity. Let $G$ be a group, $R$ be a $G$-graded commutative ring with nonzero unity and $GI(R)$ be the set of all graded ideals of $R$. Suppose that $ϕ: GI(R)\rightarrow GI(R)\bigcup\{\emptyset\}$ is a function. A proper graded ideal $P$ of $R$ is called a graded $ϕ$-$r$-ideal of $R$ if whenever $x, y$ are homogeneous elements of $R$ such that $xy\in P-ϕ(P)$ and $Ann(x) =\{0\}$, then $y\in P$. Several properties of graded $ϕ$-$r$-ideals have been examined.
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 consider powers of lexsegment ideals with a linear resolution (equivalently, with linear quotients) which are not completely lexsegment ideals. We give a complete description of their minimal graded free resolution.
Let $G$ be a group, $R$ be a $G$-graded commutative ring with nonzero unity and $GI(R)$ be the set of all graded ideals of $R$. Suppose that $ϕ:GI(R)\rightarrow GI(R)\cup\{\emptyset\}$ is a function. In this article, we introduce and study the concept of graded $ϕ$-$1$-absorbing prime ideals. A proper graded ideal $I$ of $R$ is called a graded $ϕ$% -$1$-absorbing prime ideal of $R$ if whenever $a,b,c$ are homogeneous nonunit elements of $R$ such that $abc\in I-ϕ(I)$, then $ab\in I$ or $c\in I$. Several properties of graded $ϕ$-$1$-absorbing prime ideals have been examined.
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.
In this paper we study graded Bourbaki ideals. It is a well-known fact that for torsionfree modules over Noetherian normal domains, Bourbaki sequences exist. We give criteria in terms of certain attached matrices for a homomorphism of modules to induce a Bourbaki sequence. Special attention is given to graded Bourbaki sequences. In the second part of the paper, we apply these results to the Koszul cycles of the residue class field and determine particular Bourbaki ideals explicitly. We also obtain in a special case the relationship between the structure of the Rees algebra of a Koszul cycle an…
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.
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.
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$.
We use purely combinatorial arguments to give a formula to compute all graded Betti numbers of path ideals of line graphs and cycles. As a consequence we can give new and short proofs for the known formulas of regularity and projective dimensions of path ideals of line graphs.
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 the present paper we prove that all homogeneous ideals with linear quotients are componentwise linear. Moreover we establish an extended version of Eliahou-Kervaire formula for graded Betti numbers.
For a graded domain $R=k[X_0,...,X_m]/J$ over an arbitrary domain $k$, it is shown that the ideal generated by elements of degree $\geq mA$, where $A$ is the least common multiple of the weights of the $X_i$, is a normal ideal.
By definition, an $\m$-primary ideal $I$ in a 2-dimensional regular local ring $(R, \m)$ is contracted if $I=R \cap IR[\m/x]$ for some $x \in \m \setminus \m^2$. Contracted ideals have been introduced by Zariski and used for proving the unique factorization theorem for complete (i.e. integrally closed) ideals. Any complete ideal is contracted but not the other way round. While the associated graded rings to complete ideals are always Cohen-Macaulay, this is not the case for contracted ideals. Our goal is to study depth, Hilbert function and defining equations of the graded rings of homogeneous…
We relate the annihilators of graded components of the canonical module of a graded Cohen-Macaulay ring to colon ideals of powers of the homogeneous maximal ideal. In particular, we connect them to the core of the maximal ideal. An application of our results characterizes Cayley-Bacharach sets of points in terms of the structure of the core of the maximal ideal of their homogeneous coordinate ring. In particular, we show that a scheme is Cayley-Bacharach if and only if the core is a power of the maximal ideal.
Let $R = \bigoplus_{n \in \mathbb{N}_{0}} R_{n}$ be a standard graded ring, $M$ be a finite graded $R$-module and $J$ be a homogenous ideal of $R$. In this paper we study the graded structure of the $i$-th local cohomology module of $M$ defined by a pair of ideals $(R_{+},J)$, i.e. $H^{i}_{R_{+},J}(M)$. More precisely, we discuss finiteness property and vanishing of the graded components $H^{i}_{R_{+},J}(M)_{n}$. Also, we study the Artinian property and tameness of certain submodules and quotient modules of $H^{i}_{R_{+},J}(M)$.
We generalize a result of Eisenbud-Huneke-Ulrich on the maximal graded shifts of a module with prescribed annihilator and prove a linear regularity bound for ideals in a polynomial ring depending only on the first $p - c$ steps in the resolution, where $p = \mathrm{pd}(S/I)$ and $c = \mathrm{codim}(I)$.
Let $I$ be a graded ideal of $K[x_1,\ldots,x_n]$ generated by homogeneous polynomials of a same degree $d$, and assume that $I$ has linear quotients. In this note, we use Horseshoe Lemma to give a relatively direct inductive construction of a minimal free resolution of $I$, which is called a $d$-linear resolution.
In this paper, we prove some well-known results on local cohomology with respect to a pair of ideals in graded version, such as, Independence Theorem, Lichtenbaum-Harshorne Vanishing Theorem, Basic Finiteness and Vanishing Theorem, among others. Besides, we present a generalized version of Melkersson Theorem about Artinianess of modules and a result concerning Artinianess of local cohomology modules.
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…
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.
We consider ideals $I$ in a Stanley-Reisner ring $k[Δ]$ over the simplical complex $Δ$, such that the tight closure of $I$, $I^*$, is equal to $\mathfrak{m}$, the standard graded maximal ideal of $k[Δ]$. We determine the minimal number of generators of $I$ to be the $\dim Δ+1$ and note the important role this value plays in bounding the intersection of all such ideals $I$. We make mention of this intersection in special cases of Stanley-Reisner rings. We conclude with a description of how this work relates to integral closure.
This Note provides first a generalization of the stabilization result of Eisenbud and Ulrich for the regularity of powers of a m-primary ideal to the case of ideals that are not generated in a single degree. We then partially extend our previous results expressing this stabilization degree in term of the regularity of a specific graded strand of the Rees ring : The natural extension of the statement holds at least if the stabilization index or the regularity is greater than the number of variables. In any case a precise comparison is given.
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).
Using the concept of vector partition functions, we investigate the asymptotic behavior of graded Betti numbers of powers of homogeneous ideals in a polynomial ring over a field. Our main results state that if the polynomial ring is equipped with a positive $\ZZ$-grading, then the Betti numbers of powers of ideals are encoded by finitely many polynomials. More precisely, in the case of $\ZZ$-grading, $\ZZ^2$ can be splitted into a finite number of regions such that each region corresponds to a polynomial that depending to the degree $(μ, t)$, $\dim_k \left(\tor_i^S(I^t, k)_μ \right)$ is equal …
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…
Inspired by the notion of König graphs we introduce graded ideals of König type with respect to a monomial order $<$. It is shown that if $I$ is of König type, then the Cohen--Macaulay property of $\ini_<(I)$ does not depend on the characteristic of the base field. This happens to be the case also for $I$ itself when $I$ is a binomial edge ideal. Attached to an ideal of König type is a sequence of linear forms, whose elements are variables or differences of variables. This sequence is a system of parameters for $\ini_<(I)$, and is a potential system of parameters for $I$ itself. We study in de…
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.
Let $R=\oplus_{n\in \N_0}R_n$ be a standard graded ring, $M$ be a finitely generated graded $R$-module and $R_+:=\oplus_{n\in \N}R_n$ denotes the irrelevant ideal of $R$. In this paper, considering the new concept of linkage of ideals over a module, we study the graded components $H^i_{\fa}(M)_n$ when $\fa$ is an h-linked ideal over $M$. More precisely, we show that $H^i_{\fa}(M)$ is tame in each of the following cases: \begin{itemize} \item [(i)] $i=f_{\fa}^{R_+}(M)$, the first integer $i$ for which $R_+\nsubseteq \sqrt{0:H^i_{\fa}(M)}$; \item [(ii)] $i=\cd(R_+,M)$, the last integer $i$ for w…
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 $R$ be a commutative $G$-graded ring with a nonzero unity. In this article, we introduce the concept of graded radically principal ideals. A graded ideal $I$ of $R$ is said to be graded radically principal if $Grad(I)=Grad(\langle c\rangle)$ for some homogeneous $c\in R$, where $Grad(I)$ is the graded radical of $I$. The graded ring $R$ is said to be graded radically principal if every graded ideal of $R$ is graded radically principal. We study graded radically principal rings. We prove an analogue of the Cohen theorem, in the graded case, precisely, a graded ring is graded radically princ…
We give a complete combinatorial characterization of all possible polarizations of powers of the graded maximal ideal $(x_1,x_2,\cdots,x_m)^n$ of a polynomial ring in $m$ variables. We also give a combinatorial description of the Alexander duals of such polarizations. In the three variable case $m=3$ and also in the power two case $n=2$ the descriptions are easily visualized and we show that every polarization defines a (shellable) simplicial ball. We give conjectures relating to topological properties and to algebraic geometry, in particular that any polarization of an Artinian monomial ideal…
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 give a necessary and sufficient condition for a standard graded Artinian ring defined by an m-full ideal, to have the weak Lefschetz property in terms of graded Betti numbers. This is a generalization of a theorem of Wiebe for componentwise linear ideals. We also prove that the class of componentwise linear ideals and that of completely m-full ideals coincide in characteristic zero and in positive characteristic, with the assumption that the generic initial ideal w.r.t. the graded reverse lexicographic order is stable.
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$.
The asymptotic behavior of graded Betti numbers of powers of homogeneous ideals in a polynomial ring over a field has recently been reviewed. We extend quasi polynomial behavior of graded Betti numbers of powers of homogenous ideals to Z-graded algebra over Notherian local ring. Furthermore our main result treats the Betti table of filtrations which is finite or integral over the Rees algebra.
We establish a generalization of the Briancon-Skoda theorem about integral closures of ideals for graded systems of ideals satisfying a certain geometric condition.
We give a formula for the v-number of a graded ideal that can be used to compute this number. Then we show that for the edge ideal $I(G)$ of a graph $G$ the induced matching number of $G$ is an upper bound for the v-number of $I(G)$ when $G$ is very well-covered, or $G$ has a simplicial partition, or $G$ is well-covered connected and contain neither $4$- nor $5$-cycles. In all these cases the v-number of $I(G)$ is a lower bound for the regularity of the edge ring of $G$. We classify when the upper bound holds when $G$ is a cycle, and classify when all vertices of a graph are shedding vertices …
The homological property of the associated graded ring of an ideal is an important problem in commutative algebra and algebraic geometry. In this paper we explore the almost Cohen-Macaulayness of the associated graded ring of stretched $\mathfrak{m}$-primary ideals in the case where the reduction number attains almost minimal value in a Cohen-Macaulay local ring $(A,\mathfrak{m})$. As an application, we present complete descriptions of the associated graded ring of stretched $\mathfrak{m}$-primary ideals with small reduction number.
This paper deals with the graded commutative rings in which every homogeneous prime ideal is contained in a unique homogeneous maximal ideal called Gelfand graded ring. The purpose is to establish some topological and algebraic characterizations of these rings, one of which is the algebraic analogue of the Urysohn's lemma. Finally we look at a special class of those graded rings called pm$^+$ graded rings which can be viewed as graded ring with a Gelfand strong property.
In this work we introduce a new set of invariants associated to the linear strands of a minimal free resolution of a $\mathbb{Z}$-graded ideal $I\subseteq R=\Bbbk[x_1, \ldots, x_n]$. We also prove that these invariants satisfy some properties analogous to those of Lyubeznik numbers of local rings. In particular, they satisfy a consecutiveness property that we prove first for Lyubeznik numbers. For the case of squarefree monomial ideals we get more insight on the relation between Lyubeznik numbers and the linear strands of their associated Alexander dual ideals. Finally, we prove that Lyubeznik…
We show the existence (and define) the mixed multiplicities of arbitrary graded families of ideals under mild assumptions. In particular, our methods and results are valid for the case of arbitrary $\mathfrak{m}$-primary graded families. Furthermore, we provide a far-reaching "Volume = Multiplicity formula" for the mixed multiplicities of graded families of ideals.