Specializations of Ferrers ideals

We introduce a specialization technique in order to study monomial ideals that are generated in degree two by using our earlier results about Ferrers ideals. It allows us to describe explicitly a cellular minimal free resolution of various ideals including any strongly stable and any squarefree strongly stable ideal whose minimal generators have degree two. In particular, this shows that threshold graphs can be obtained as specializations of Ferrers graphs, which explains their similar properties.     

Depths of Powers of the Edge Ideal of a Tree

Lower bounds are given for the depths of R/I ^t for t ≥ 1 when I is the edge ideal of a tree or forest. The bounds are given in terms of the diameter of the tree, or in case of a forest, the largest diameter of a connected component and the number of connected components. These lower bounds provide a lower bound on the power for which the depths stabilize.     

The Cohen–Macaulay and Gorenstein Properties of Rings Associated to Filtrations

Let (R, m) be a Cohen–Macaulay local ring, and let ? = {F _i } _i∈? be an F ₁-good filtration of ideals in R. If F ₁ is m-primary we obtain sufficient conditions in order that the associated graded ring G(?) be Cohen–Macaulay. In the case where R is Gorenstein, we use the Cohen–Macaulay result to establish necessary and sufficient conditions for G(?) to be Gorenstein. We apply this result to the integral closure filtration ? associated to a monomial parameter ideal of a polynomial ring to give necessary and sufficient conditions for G(?) to be Gorenstein. Let (R, m) be a Gorenstein local ring, and let F ₁ be an ideal with ht(F ₁) = g > 0. If there exists a reduction J of ? with μ(J) = g and reduction number u: = r _J (?), we prove that the extended Rees algebra R′(?) is quasi-Gorenstein with a-invariant b if and only if J ⁿ : F _u  = F _n+b?u+g?1 for every n ∈ ?. Furthermore, if G(?) is Cohen–Macaulay, then the maximal degree of a homogeneous minimal generator of the canonical module ω _G(?) is at most g and that of the canonical module ω _R′(?) is at most g ? 1; moreover, R′(?) is Gorenstein if and only if J ^u : F _u  = F _u . We illustrate with various examples cases where G(?) is or is not Gorenstein.     

A Generalization of the Taylor Complex Construction

Given multigraded free resolutions of two monomial ideals, we construct a multigraded free resolution of the sum of the two ideals.     

type free resolutions of monomial ideals

Let be a monomial ideal of . Bayer-Peeva-Sturmfels studied a subcomplex of the Taylor resolution, defined by a simplicial complex . They proved that if is generic (i.e., no variable appears with the same non-zero exponent in two distinct monomials which are minimal generators), then is the minimal free resolution of , where is the Scarf complex of . In this paper, we prove the following: for a generic (in the above sense) monomial ideal and each integer , there is an embedded prime of . Thus a generic monomial ideal with no embedded primes is Cohen-Macaulay (in this case, is shellable). We also study a non-generic monomial ideal whose minimal free resolution is for some . In particular, we prove that if all associated primes of have the same height, then is Cohen-Macaulay and is pure and strongly connected.

     

Bases in the mod p Steenrod algebra, β included

In [3] well known results of Wall and Arnon on the monomial bases in the mod 2 Steenrod algebra (see [9], [1]) were generalized to the subalgebra ${\stackrel{￣}{A}}_p$ of the mod p Steenrod algebra, $p>2$, generated by the reduced powers. In the present paper we considered the case of the full Steenrod algebra $A_p$. We constructed βX-, βZ-, βC-, ZA-, and XC-bases. We proved extremal properties of the βX-, βZ-, ZA-, and XC-bases. Also we constructed a new polynomial generators of the ring $H^{?}(K(\mathbb{Z}/p,n),\mathbb{Z}/p)$ in terms of the βC-basis.     

Sliding Functor and Polarization Functor for Multigraded Modules

We define sliding functors, which are exact endofunctors of the category of multigraded modules over a polynomial ring. They preserve several invariants of modules, especially the (usual) depth and Stanley depth. In a similar way, we can also define the polarization functor. While this idea has appeared in papers of Bruns–Herzog and Sbarra, we give slightly different approach. Keeping these functors in mind, we treat simplicial spheres of Bier–Murai type.     

The Stanley Conjecture on Intersections of Four Monomial Prime Ideals

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∈[s] of S such that each P _i is not contained in the sum of the other (P _j ) _j≠i .