Let $A = K[x_1, ..., x_n]$ denote the polynomial ring in $n$ variables over a field $K$ with each $°x_i = 1$. Let $I$ be a homogeneous ideal of $A$ with $I \ne A$ and $H_{A/I}$ the Hilbert function of the quotient algebra $A / I$. Given a numerical function $H : \mathbb{N} \to \mathbb{N}$ satisfying $H=H_{A/I}$ for some homogeneous ideal $I$ of $A$, we write $\mathcal{A}_H$ for the set of those integers $0 \leq r \leq n$ such that there exists a homogeneous ideal $I$ of $A$ with $H_{A/I} = H$ and with $\depth A / I = r$. It will be proved that one has either $\mathcal{A}_H = \{0, 1, ..., b \}$ for some $0 \leq b \leq n$ or $|\mathcal{A}_H| = 1$.
We give an explicit formula for the Hilbert-Poincaré series of the parity binomial edge ideal of a complete graph $K_{n}$ or equivalently for the ideal generated by all $2\times 2$-permanents of a $2\times n$-matrix. It follows that the depth and Castelnuovo-Mumford regularity of these ideals are independent of $n$.
We present an algorithm which computes the Hilbert depth of a graded module based on a theorem of Uliczka. Connected to a Herzog's question we see that the Hilbert depth of a direct sum of modules can be strictly bigger than the Hilbert depth of all the summands.
We prove that the Hilbert-Kunz function of the ideal $(I,It)$ of the Rees algebra $\mathcal{R}(I)$, where $I$ is an $\mathfrak{m}$-primary ideal of a $1$-dimensional local ring $(R,\mathfrak{m})$, is a quasi-polynomial in $e$, for large $e.$ For $s \in \mathbb{N}$, we calculate the Hilbert-Samuel function of the $R$-module $I^{[s]}$ and obtain an explicit description of the generalized Hilbert-Kunz function of the ideal $(I,It)\mathcal{R}(I)$ when $I$ is a parameter ideal in a Cohen-Macaulay local ring of dimension $d \geq 2$, proving that the generalized Hilbert-Kunz function is a piecewise p…
This paper gives an upper bound of the second Hilbert coefficients ${\mathrm{e}}_2(I)$ of $\mathfrak{m}$-primary ideals $I$ in a Cohen-Macaulay local ring $(A,{\mathfrak{m}})$ in terms of the sectional genera of $I$.
Let $G$ be a finite simple graph on $n$ vertices and $J_G$ denote the corresponding binomial edge ideal in the polynomial ring $S = K[x_1, \ldots, x_n, y_1, \ldots, y_n].$ In this article, we compute the Hilbert series of binomial edge ideal of decomposable graphs in terms of Hilbert series of its indecomposable subgraphs. Also, we compute the Hilbert series of binomial edge ideal of join of two graphs and as a consequence we obtain the Hilbert series of complete $k$-partite graph, fan graph, multi-fan graph and wheel graph.
In this paper, we explore a relationship between Hilbert functions and the irreducible decompositions of ideals in local rings. Applications are given to characterize the regularity, Gorensteinness, Cohen-Macaulayness and sequentially Cohen-Macaulayness of local rings.
We provide suitable conditions under which the asymptotic limit of the Hilbert-Samuel coefficients of the Frobenius powers of an $\mathfrak{m}$-primary ideal exists in a Noetherian local ring $(R,\mathfrak{m})$ with prime characteristic $p>0.$ This, in turn, gives an expression of the Hilbert-Kunz multiplicity of powers of the ideal. We also prove that for a face ring $R$ of a simplicial complex and an ideal $J$ generated by pure powers of the variables, the generalized Hilbert-Kunz function $\ell(R/(J^{[q]})^k)$ is a polynomial for all $q,k$ and also give an expression of the generalized Hilb…
We consider the non-positivity of the Hilbert coefficients for a parameter ideal of a commutative Noetherian local ring. In particular, we show that the second Hilbert coefficient of a parameter ideal of depth at least d-1 is always non-positive and give a condition for the coefficient to be zero. With the added condition that the depth of the associated graded ring is also at least d- we show $e_{i}(q) \leq 0$ for $i=1, ..., d$.
We give a new proof of Hilbert's Syzygy Theorem for monomial ideals. In addition, we prove the following. If S=k[x_1,...,x_n] is a polynomial ring over a field, M is a squarefree monomial ideal in S, and each minimal generator of M has degree larger than i, then the projective dimension of S/M is at most n-i.
We give bounds for the Hilbert-Kunz multiplicity of the product of two ideals, and we characterize the equality in terms of the tight closures of the ideals. Connections are drawn with $*$-spread and with ordinary length calculations.
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.
This paper purposes to characterize Noetherian local rings $(A, {\mathfrak m})$ of positive dimension such that the first Hilbert coefficients of ${\mathfrak m}$-primary ideals in $A$ range among only finitely many values. Examples are explored.
We introduce the fractal expansions, sequences of integers associated to a number. We show that these sequences characterize the O-sequences and encode some information on lex segment ideals. Moreover, we introduce a numerical functions called fractal functions, and we show that fractal functions can be used to classify the Hilbert functions of bigraded algebras.
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}.
In this paper, we present an algorithm for computing the minimal reductions of $\mathfrak{m}$-primary ideals of Cohen--Macaulay local rings. Using this algorithm, we are able to compute the Hilbert--Samuel multiplicities and solve the membership problem for the integral closure of $\mathfrak{m}$-primary ideals.
We give conjectures on the "asymptotic" behaviour of the Hilbert series of (quotients by) generic ideals in the exterior algebra, as the number of variables tend to infinity. Our conjectures are supported by extensive computer calculations.
In this paper we explore the almost Cohen-Macaulayness of the associated graded ring of stretched $\mathfrak{m}$-primary ideals with small first Hilbert coefficient in a Cohen-Macaulay local ring $(A,\mathfrak{m})$. In particular, we explore the structure of stretched $\mathfrak{m}$-primary ideals satisfying the equality $\mathrm{e}_1(I)=\mathrm{e}_0(I)-\ell_A(A/I)+4$ where $\mathrm{e}_0(I)$ and $\mathrm{e}_1(I)$ denote the multiplicity and the first Hilbert coefficient respectively.
Let $(R,\mathfrak m)$ be an analytically unramified local ring of positive prime characteristic $p.$ For an ideal $I$, let $I^*$ denote its tight closure. We introduce the tight Hilbert function $H^*_I(n)=\ell(R/(I^n)^*)$ and the corresponding tight Hilbert polynomial $P_I^*(n)$ where $I$ is an $\mathfrak m$-primary ideal. It is proved that $F$-rationality can be detected by the vanishing of the first coefficient of $P_I^*(n).$ We find the tight Hilbert polynomial of certain parameter ideals in hypersurface rings and Stanley-Reisner rings of simplicial complexes.
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$.
Let $(R, \mathfrak m)$ be an unmixed Noetherian local ring, Q a parameter ideal and $K$ an $\mathfrak m$-primary ideal of $R$ containing $Q$. We give a necessary and sufficient condition for $R$ to be Cohen-Macaulay in terms of $g_0(Q)$ and $g_1(Q)$, the Hilbert coefficients of $Q$ with respect to $K$. As a consequence, we obtain a result of Ghezzi et al. which settles the negativity conjecture of W. V. Vasconcelos [15] in unmixed local rings.
There is a longstanding conjecture by Fröberg about the Hilbert series of the ring $R/I$, where $R$ is a polynomial ring, and $I$ an ideal generated by generic forms. We prove this conjecture true in the case when $I$ is generated by a large number of forms, all of the same degree. We also conjecture that an ideal generated by $m$'th powers of forms of degree $d$ gives the same Hilbert series as an ideal generated by generic forms of degree $md$. We verify this in several cases. This also gives a proof of the first conjecture in some new cases.
Let $A = K[x_1, ..., x_n]$ denote the polynomial ring in $n$ variables over a field $K$. We will classify all the Gotzmann ideals of $A$ with at most $n$ generators. In addition, we will study Hilbert functions $H$ for which all homogeneous ideals of $A$ with the Hilbert function $H$ have the same graded Betti numbers. These Hilbert functions will be called inflexible Hilbert functions. We introduce the notion of segmentwise critical Hilbert function and show that segmentwise critical Hilbert functions are inflexible.
The conjecture of Wolmer Vasconcelos on the vanishing of the first Hilbert coefficient $e_1(Q)$ is solved affirmatively, where $Q$ is a parameter ideal in a Noetherian local ring. Basic properties of the rings for which $e_1(Q)$ vanishes are derived. The invariance of $e_1(Q)$ for parameter ideals $Q$ and its relationship to Buchsbaum rings are studied.
We define a function, called s-multiplicity, that interpolates between Hilbert-Samuel multiplicity and Hilbert-Kunz multiplicity by comparing powers of ideals to the Frobenius powers of ideals. The function is continuous in s, and its value is equal to Hilbert-Samuel multiplicity for small values of s and is equal to Hilbert-Kunz multiplicity for large values of s. We prove that it has an Associativity Formula generalizing the Associativity Formulas for Hilbert-Samuel and Hilbert-Kunz multiplicity. We also define a family of closures such that if two ideals have the same s-closure then they ha…
We present short and elementary proofs of two theorems of Huckaba and Marley, while generalizing them at the same time to the case of a module. The theorems concern a characterization of the depth of the associated graded ring of a Cohen-Macaulay module, with respect to a Hilbert filtration, in terms of the Hilbert coefficient e_1. As an application, we derive bounds on the higher Hilbert coefficient e_i in terms of e_0.
Given the Hilbert function $u$ of a closed subscheme of a projective space over an infinite field $K$, let $m_u$ and $M_u$ be, respectively, the minimum and the maximum among all the Castelnuovo-Mumford regularities of schemes with Hilbert function $u$. I show that, for every integer $m$ such that $m_u \leq m \leq M_u$, there exists a scheme with Hilbert function $u$ and Castelnuovo-Mumford regularity $m$. As a consequence, the analogous algebraic result for an O-sequence $f$ and homogeneous polynomial ideals over $K$ with Hilbert function $f$ holds too. Although this result does not need any …
We study Hilbert-Kunz multiplicity of the powers of an ideal and establish existence of the second coefficient at the full level of generality, thus extending a recent result of Trivedi. We describe the second coefficient as the limit of the Hilbert coefficients of Frobenius powers and show that it is additive in short exact sequences and satisfies a Northcott-type inequality.
In this paper, we investigate the behavior of almost reverse lexicographic ideals with the Hilbert function of a complete intersection. More precisely, over a field $K$, we give a new constructive proof of the existence of the almost revlex ideal $J\subset K[x_1,\dots,x_n]$, with the same Hilbert function as a complete intersection defined by $n$ forms of degrees $d_1\leq \dots \leq d_n$. Properties of the reduction numbers for an almost revlex ideal have an important role in our inductive and constructive proof, which is different from the more general construction given by Pardue in 2010. We…
Using vanishing of graded components of local cohomology modules of the Rees algebra of the normal filtration of an ideal, we give bounds on the normal reduction number. This helps to get necessary and sufficient conditions in Cohen-Macaulay local rings of dimension $d\geq 3$, for the vanishing of the normal Hilbert coefficients $\overline{e}_k(I)$ for $k\leq d,$ in terms of the normal reduction number.
In this paper we find the tight closure of powers of parameter ideals of certain diagonal hypersurface rings. In many cases the associated graded ring with respect to tight closure filtration turns out to be Cohen-Macaulay. This helps us find the tight Hilbert polynomial in these diagonal hypersurfaces. We determine the tight Hilbert polynomial in the following cases: (1) F-pure diagonal hypersurfaces where number of variables is equal to the degree of defining equation, (2) diagonal hypersurface rings where characteristic of the ring is one less than the degree of defining equation and (3) qu…
We survey recent studies and results on the following problem: which numerical functions can be the depth function of powers and symbolic powers of homogeneous ideals.
Let $R$ be the polynomial ring $K[x_{i,j}]$ where $1 \le i \le r$ and $j \in \mathbb{N}$, and let $I$ be an ideal of $R$ stable under the natural action of the infinite symmetric group $S_{\infty}$. Nagel--Römer recently defined a Hilbert series $H_I(s,t)$ of $I$ and proved that it is rational. We give a much shorter proof of this theorem using tools from the theory of formal languages and a simple algorithm that computes the series.
Let $M$ be an ideal in $K[x_1,...,x_n]$ ($K$ is a field) generated by products of linear forms and containing a homogeneous regular sequence of some length. We prove that ideals containing $M$ satisfy the Eisenbud-Green-Harris conjecture and moreover prove that the Cohen-Macaulay property is preserved. We conclude that monomial ideals satisfy this conjecture. We obtain that $h$-vector of Cohen-Macaulay simplicial complex $Δ$ is the $h$-vector of Cohen-Macaulay $(a_1-1,...,a_t-1)$-balanced simplicial complex where $t$ is the height of the Stanley-Reisner ideal of $Δ$ and $(a_1,...,a_t)$ is the …
Criteria are given in terms of certain Hilbert coefficients for the fiber cone F(I) of an m-primary ideal I in a Cohen-Macaulay local ring (R,m) so that it is Cohen-Macaulay or has depth at least dim(R)-1. A version of Huneke's fundamental lemma is proved for fiber cones. S. Goto's results concerning Cohen-Macaulay fiber cones of ideals with minimal multiplicity are obtained as consequences.
We consider a finite dimensional representation of the dihedral group $D_{2p}$ over a field of characteristic two where $p$ is an odd prime and study the corresponding Hilbert ideal $I_H$. We show that $I_H$ has a universal Gr\" {o}bner basis consisting of invariants and monomials only. We provide sharp bounds for the degree of an element in this basis and in a minimal generating set for $I_H$. We also compute the top degree of coinvariants.
In this paper, we obtain explicit formulas for the Hilbert series and Hilbert depth of squarefree Veronese ideals in a standard graded polynomial ring.
Let $p$ be a prime number, $\Bbbk$ a field of characteristic $p$ and $G$ a finite $p$-group. Let $V$ be a finite-dimensional linear representation of $G$ over $\Bbbk$. Write $S = \mathrm{Sym} V^*$. For a class of $p$-groups which we call generalised Nakajima groups, we prove the following: \begin{enumerate} \item The Hilbert ideal is a complete intersection. As a consequence, for the case of generalised Nakajima groups, we prove a conjecture of Shank and Wehlau (reformulated by Broer) that asserts that if the invariant subring $S^G$ is a direct summand of $S$ as $S^G$-modules then $S^G$ is a p…
The equivariant Hilbert series of an ideal generated by an orbit of a monomial under the action of the monoid $\mbox{Inc}(\mathbb{N})$ of strictly increasing functions is determined. This is used to find the dimension and degree of such an ideal. The result also suggests that the description of the denominator of an equivariant Hilbert series of an arbitrary $\mbox{Inc}(\mathbb{N})$-invariant ideal as given by Nagel and Römer is rather efficient.
The aim of this paper is to give a formula for the Stanley depth of quotient of powers of the path ideal. As a consequence, we establish that the behaivior of the Stanley depth of quotient of powers of the path ideal is the same as a classical result of Brodmann on depth.
We compute the Stanley depth of irreducible monomial ideals and we show that the Stanley depth of a monomial complete intersection ideal is the same as the Stanley depth of it's radical. Also, we give some bounds for the Stanley depth of a monomial complete intersection ideal.
We compute the depth and Stanley depth for the quotient ring of the path ideal of length $3$ associated to a $n$-cyclic graph, given some precise formulas for depth when $n\not\equiv 1\,(\mbox{mod}\ 4)$, tight bounds when $n\equiv 1\,(\mbox{mod}\ 4)$ and for Stanley depth when $n\equiv 0,3\,(\mbox{mod}\ 4)$, tight bounds when $n\equiv 1,2\,(\mbox{mod}\ 4)$. Also, we give some formulas for depth and Stanley depth of a quotient of the path ideals of length $n-1$ and $n$.
We show that if $(R, \m)$ is a Cohen-Macaulay local ring and $I$ is an ideal of minimal mixed multiplicity, then $\depth G(I) \geq d- 1$ implies that $\depth F(I) \geq d-1$. We use this to show that if $I$ is a contracted ideal in a two dimensional regular local ring then $\depth R[It]-1= \depth G(I) = \depth F(I)$. We also give an infinite class of ideals where $R[It]$ is Cohen-Macaulay but $F(I)$ is not.
In this paper we study depth and Stanley depth of the edge ideals and quotient rings of the edge ideals, associated to classes of graphs obtained by taking the strong product of two graphs. We consider the cases when either both graphs are arbitrary paths or one is an arbitrary path and the other is an arbitrary cycle. We give exact formulae for values of depth and Stanley depth for some sub classes. We also give some sharp upper bounds for depth and Stanley depth in the general cases.
Let $(R, m)$ be a $d$-dimensional Cohen-Macaulay local ring. In this note we prove, in a very elementary way, an upper bound of the first normalized Hilbert coefficient of a $m$-primary ideal $I\subset R$ that improves all known upper bounds unless for a finite number of cases. We also provide new upper bounds of the Hilbert functions of $I$ extending the known bounds for the maximal ideal.
We give an upper bound for the Stanley depth of the edge ideal $I$ of a $k$-partite complete graph and show that Stanley's conjecture holds for $I$. Also we give an upper bound for the Stanley depth of the edge ideal of a $k$-uniform complete bipartite hypergraph.
Let $S$ be a ring of polynomials in finitely many variables over a field. In this paper we give lower bounds for depth and Stanley depth of modules of the type $S/I^t$ for $t\geq1$, where $I$ is the edge ideal of some caterpillar and lobster trees. These new bounds are much sharper than the existing bounds for the classes of ideals we considered.
Lyubeznik introduced the concept of size of a monomial ideal and showed that the size of a monomial ideal increased by $1$ is a lower bound for its depth. We show that the size is also a lower bound for its Stanley depth. Applying Alexander duality we obtain upper bounds for the regularity and Stanley regularity of squarefree monomial ideals.
Let $S$ be a polynomial algebra over a field. We study classes of monomial ideals (as for example lexsegment ideals) of $S$ having minimal depth. In particular, Stanley's conjecture holds for these ideals. Also we show that if Stanley's conjecture holds for a square free monomial ideal then it holds for all its trivial modifications.
