Related papers: The EGH Conjecture and the Sperner property of com…

The Eisenbud-Green-Harris (EGH) conjecture states that a homogeneous ideal in a polynomial ring $K[x_1,\,\ldots,\,x_n]$ over a field $K$ that contains a regular sequence $f_1,\,\ldots,\, f_n$ with degrees $a_i$, $i=1,\,\ldots,\,n$ has the…

The Hilbert polynomial of a homogeneous complete intersection is determined by the degrees of the generators of the defining ideal. The degrees of the generators are not, in general, determined by the Hilbert polynomial -- but sometimes…

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…

Let $I$ be a monomial almost complete intersection ideal of a polynomial algebra $S$ over a field. Then Stanley's Conjecture holds for $S/I$ and $I$.

We generalize some properties related to Hilbert series and Lefschetz properties of Milnor algebras of projective hypersurfaces with isolated singularities to the more general case of an almost complete intersection ideal $J$ of dimension…

The Eisenbud-Green-Harris (EGH) conjecture offers a generalization of the famous Macaulay's theorem about the Hilbert functions of homogeneous ideals in a polynomial ring $K[x_1,\ldots, x_n]$. In this survey paper, we provide a good…

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…

In this paper, we apply liaison theory to the Eisenbud-Green-Harris conjecture and prove that the conjecture holds for a certain subclass of homogeneous ideals in the linkage class of a complete intersection ideal. In the case of three…

Let I = (F_1,...,F_r) be a homogeneous ideal of R = k[x_0,...,x_n] generated by a regular sequence of type (d_1,...,d_r). We give an elementary proof for an explicit description of the graded Betti numbers of I^s for any s \geq 1. These…

Let $k$ be a commutative ring and $S=k[x_0, \ldots, x_n]$ be a polynomial ring over $k$ with a monomial order. For any monomial ideal $J$, there exists an affine $k$-scheme of finite type, called Gr\"obner scheme, which parameterizes all…

We classify all unmixed monomial ideals I of codimension 2 which are generically a complete intersection and which have the property that the symbolic power algebra A(I) is standard graded. We give a lower bound for the highest degree of a…

Eggert's Conjecture says that if R is a finite-dimensional nilpotent commutative algebra over a perfect field F of characteristic p, and R^{(p)} is the image of the p-th power map on R, then dim_F R \geq p dim_F R^{(p)}. Whether this very…

We give an elementary combinatorial proof of the following fact: Every real or complex analytic complete intersection germ X is equisingular -- in the sense of the Hilbert-Samuel function -- with a germ of an algebraic set defined by…

Let $K$ be a field and $I$ a monomial ideal of the polynomial ring $S=K[x_1,\ldots, x_n]$. We show that if either: 1) $I$ is almost complete intersection, 2) $I$ can be generated by less than four monomials; or 3) $I$ is the Stanley-Reisner…

The Eisenbud-Green-Harris conjecture states that a homogeneous ideal in k[x_1,...,x_n] containing a homogeneous regular sequence f_1,...,f_n with deg(f_i)=a_i has the same Hilbert function as an ideal containing x_i^{a_i} for 1 \leq i \leq…

A graph G is perfect if for every induced subgraph H, the chromatic number of H equals the size of the largest complete subgraph of H, and G is Berge if no induced subgraph of G is an odd cycle of length at least 5 or the complement of one.…

This is essentially an erratum, with some example to indicate inconsistencies. Suppose $A=k[X_1, X_2, \ldots, X_n]$ is a polynomial ring over a field $k$. The Complete Intersection conjecture states that, for any ideal $I$ in $A$,…

The celebrated Hajnal-Szemer\'edi theorem gives the precise minimum degree threshold that forces a graph to contain a perfect K_k-packing. Fischer's conjecture states that the analogous result holds for all multipartite graphs except for…

For a graph $G$, Postnikov-Shapiro \cite{PS04} construct two ideals $I_G$ and $J_G.$ $I_G$ is a monomial ideal and $J_G$ is generated by powers of linear forms. They proved the equality of their Hilbert series and conjectured that the…

We show that the Stanley's Conjecture holds for an intersection of four monomial prime ideals of a polynomial algebra $S$ over a field and for an arbitrary intersection of monomial prime ideals $(P_i)_{i\in [s]}$ of $S$ such that…