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 than or equal to $p$ and whose regularity $\mathrm{reg}(I)$ is smaller than or equal to $d$, then there exists a monomial ideal $L$ having the maximal graded Betti numbers among graded ideals $J$ which have the same Hilbert function as $I$ and which satisfy $\mathrm{proj dim}(J) \leq p$ and $\mathrm{reg}(J) \leq d$. We also prove the same fact for squarefree monomial ideals. The main methods for proofs are generic initial ideals and combinatorics on strongly stable ideals.
In this paper, we obtain explicit formulas for the Hilbert series and Hilbert depth of squarefree Veronese ideals in a standard graded polynomial ring.
We study the normalization of a monomial ideal, and show how to compute its Hilbert function (using Ehrhart polynomials) if the ideal is zero dimensional. A positive lower bound for the second coefficient of the Hilbert polynomial is shown.
The present paper investigates properties of quasi-stable ideals and of Borel-fixed ideals in a polynomial ring $k[x_0,\dots,x_n]$, in order to design two algorithms: the first one takes as input $n$ and an admissible Hilbert polynomial $P(z)$, and outputs the complete list of saturated quasi-stable ideals in the chosen polynomial ring with the given Hilbert polynomial. The second algorithm has an extra input, the characteristic of the field $k$, and outputs the complete list of saturated Borel-fixed ideals in $k[x_0,\dots,x_n]$ with Hilbert polynomial $P(z)$. The key tool for the proof of bot…
Let $I\subset S=\KK[x_1,...,x_n]$ be a lexsegment ideal, generated by monomials of degree $d$. The main aim of this paper is to characterize when the Hilbert depth of $I$ will be 1, in the standard graded case. In addition to this, we will give an estimate of depth of squarefree monomial ideals, generalizing a result of Popescu. We will also show that Stanley conjecture holds for squarefree stable ideals, in the multigraded case.
Let $R=K[x_1,\ldots, x_n]$ be the polynomial ring in $n$ variables over a field $K$ and let $M_{n,t}=(x^{e_1},\ldots, x^{e_n})$ be a monomial ideal of $R$, where $x^{e_i}=x_1^t\ldots x_{i-1}^tx_{i+1}^t\ldots x_n^t$. We study the unmixedness of its integral closure. Furthermore, we compute the Hilbert series of this ideal and we show that this ideal is Freiman.
The Hilbert depth of a module M is the maximum depth that occurs among all modules with the same Hilbert function as M. In this note we compute the Hilbert depths of the powers of the irrelevant maximal ideal in a standard graded polynomial ring.
In [7] we obtained a formula for the Hilbert depth of squarefree Veronese ideals in a standard graded polynomial ring by relating it to the Hilbert depth of powers of the irrelevant maximal ideal. In this paper, we prove that these two Hilbert depth formulas are equivalent to each other. Our result reveals that there is a strong connection between these two classes of seemingly unrelated monomial ideals. We conjecture that their Stanley depths are equivalent as well.
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$.
Strongly stable monomial ideals are important in algebraic geometry, commutative algebra, and combinatorics. Prompted, for example, by combinatorial approaches for studying Hilbert schemes and the existence of maximal total Betti numbers among saturated ideals with a given Hilbert polynomial, in this note we present three algorithms to produce all strongly stable ideals with certain prescribed properties: the saturated strongly stable ideals with a given Hilbert polynomial, the almost lexsegment ideals with a given Hilbert polynomial, and the saturated strongly stable ideals with a given Hilbe…
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…
The vanishing ideal I of a subspace arrangement is an intersection of linear ideals. We give a formula for the Hilbert polynomial of I if the subspaces meet transversally. We also give a formula for the Hilbert series of a product J of the linear ideals without any assumptions on the subspace arrangement. It turns out that the Hilbert series of J is a combinatorial invariant of the subspace arrangement: it only depends on the intersection lattice and the dimension function. The graded Betti numbers of J are determined by the Hilbert series, so they are combinatorial invariants as well. The res…
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.
For a graph G, we construct two algebras, whose dimensions are both equal to the number of spanning trees of G. One of these algebras is the quotient of the polynomial ring modulo certain monomial ideal, while the other is the quotient of the polynomial ring modulo certain powers of linear forms. We describe the set of monomials that forms a linear basis in each of these two algebras. The basis elements correspond to G-parking functions that naturally came up in the abelian sandpile model. These ideals are instances of the general class of monotone monomial ideals and their deformations. We sh…
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, m) be a Cohen-Macaulay local ring and I be an m-primary ideal. We introduce ideals of almost minimal mixed multiplicty which are analogues of ideals studied by J. Sally. The main theorem describes the Hilbert series of fiber cones of these ideals.
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 \texttt{StronglyStableIdeals} package for \textit{Macaulay2} provides a method to compute all saturated strongly stable ideals in a given polynomial ring with a fixed Hilbert polynomial. A description of the main method and auxiliary tools is given.
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…
If $I=(f_1,\ldots,f_r)$ is an ideal in $S=k[x_1,\ldots,x_n]$, and $f_i$ are "general" elements of given degrees, there is a conjecture on the Hilbert series of $S/I$. We are considering the corresponding concepts in bigraded rings.
An Artinian ideal $I$ of $k[x,y]$ has many Hilbert-Burch matrices. We show that there is a canonical choice. As an application, we determine the dimension of certain affine Gröbner cells and their Betti strata recovering results of Ellingsrud and Strømme, Göttsche and Iarrobino.
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 …
Borel-fixed ideals play a key role in the study of Hilbert schemes. Indeed each component and each intersection of components of a Hilbert scheme contains at least one Borel-fixed point, i.e. a point corresponding to a subscheme defined by a Borel-fixed ideal. Moreover Borel-fixed ideals have good combinatorial properties, which make them very interesting in an algorithmic perspective. In this paper, we propose an implementation of the algorithm computing all the saturated Borel-fixed ideals with number of variables and Hilbert polynomial assigned, introduced from a theoretical point of view i…
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.
This paper is a survey on major results on Hilbert functions of multigraded algebras and mixed multiplicities of ideals, including their applications to the computation of Milnor numbers of complex analytic hypersurfaces with isolated singularity, multiplicities of blowup algebras and mixed volumes of polytopes.
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…
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 …
We relate homological properties of a binomial edge ideal $\mathcal{J}_G$ to invariants that measure the connectivity of a simple graph $G$. Specifically, we show if $R/\mathcal{J}_G$ is a Cohen-Macaulay ring, then graph toughness of $G$ is exactly $\frac{1}{2}$. We also give an inequality between the depth of $R/\mathcal{J}_G$ and the vertex-connectivity of $G$. In addition, we study the Hilbert-Samuel multiplicity, and the Hilbert-Kunz multiplicity of $R/\mathcal{J}_G$.
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.
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…
We give a notion of "combinatorial proximity" among strongly stable ideals in a given polynomial ring with a fixed Hilbert polynomial. We show that this notion guarantees "geometric proximity" of the corresponding points in the Hilbert scheme. We define a graph whose vertices correspond to strongly stable ideals and whose edges correspond to pairs of adjacent ideals. Every term order induces an orientation of the edges of the graph. This directed graph describes the behavior of the points of the Hilbert scheme under Gröbner degenerations with respect to the given term order. Then, we introduce…
