BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
Let P be a lattice polytope with h∗-vector (1,h1∗,h2∗). In this note we show that if h2∗≤h1∗, then P is IDP. More generally, we show the corresponding statements for semi-standard graded Cohen-Macaulay domains over algebraically closed fields.
In this short note, we give a characterization of domains satisfying Serre's condition (R1) in terms of their canonical modules. In the special case of toric rings, this generalizes a result of the second author (K. Yanagawa, Dualizing complexes of seminormal affine semigroup rings and toric face rings, J. Algebra 425 (2015).) where the normality is described in terms of the "shape" of the canonical module.
In this work we introduce a new set of invariants associated to the linear strands of a minimal free resolution of a Z-graded ideal I⊆R=k[x1,…,xn]. 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 numbers of Stanley-Reisner rings are not only an algebraic invariant but also a topological invariant, meaning that they depend on the homeomorphic class of the geometric realization of the associated simplicial complex and the characteristic of the base field.
Let k be an algebraically closed field of characteristic 0, and A a Cohen-Macaulay graded domain with A0=k. If A is semi-standard graded (i.e., A is finitely generated as a k[A1]-module), it has the h-vector (h0,h1,...,hs), which encodes the Hilbert function of A. From now on, assume that s=2. It is known that if A is standard graded (i.e., A=k[A1]), then A is level. We will show that, in the semi-standard case, if A is not level, then h1+1 divides h2. Conversely, for any positive integers h and n, there is a non-level A with the h-vector (1,h,(h+1)n). Moreover, such examples can be constructed as Ehrhart rings (equivalently, normal toric rings).
We characterize the seminormality of an affine semigroup ring in terms of the dualizing complex, and the normality of a Cohen-Macaulay semigroup ring by the "shape" of the canonical module. We also characterize the seminormality of a toric face ring in terms of the dualizing complex. A toric face ring is a simultaneous generalization of Stanley-Reisner rings and affine semigroups.
We exhibit a global bound for the Lyubeznik numbers of a ring of prime characteristic. In addition, we show that for a monomial ideal, the Lyubeznik numbers of the quotient rings of its radical and its polarization are the same. Furthermore, we present examples that show striking behavior of the Lyubeznik numbers under localization. We also show related results for generalizations of the Lyubeznik numbers.
We give a purely combinatorial characterization of complete Stanley-Reisner rings having principally generated (equivalently, finitely generated) Cartier algebras.
We prove that the Eliahou-Kervaire resolution of a Cohen-Macaulay stable monomial is supported by a regular CW complex whose underlying space is a closed ball. We also show that the modified Eliahou-Kervaire resolutions of variants of a Borel fixed ideal (e.g., a squarefree strongly stable ideal) are supported by regular CW complexes, and their underlying spaces are closed balls in the Cohen-Macaulay case.
In this paper, we introduce a new algebraic concept, which we call squarefree P-modules. This concept is inspired from Karu's proof of the non-negativity of the cd-indices of Gorenstein* posets, and supplies a way to study cd-indices from the viewpoint of commutative algebra. Indeed, by using the theory of squarefree P-modules, we give several new algebraic and combinatorial results on CW-posets. First, we define an analogue of the cd-index for any CW-poset and prove its non-negativity when a CW-poset is Cohen-Macaulay. This result proves that the h-vector of the barycentric subdivision of a Cohen-Macaulay regular CW-complex is unimodal. Second, we prove that the Stanley-Reisner ring of the barycentric subdivision of an odd dimensional Cohen-Macaulay polyhedral complex has the weak Lefschetz property. Third, we obtain sharp upper bounds of the cd-indices of Gorenstein* posets for a fixed rank generating function.
We construct an Eliahou-Kervaire-like minimal free resolution of the alternative polarization b−pol(I) of a Borel fixed ideal I. It yields new descriptions of the minimal free resolutions of I itself and Isq, where (−)sq is the squarefree operation in the shifting theory. These resolutions are cellular, and the (common) supporting cell complex is given by discrete Morse theory. If I is generated in one degree, our description is equivalent to that of Nagel and Reiner.
We apply Miller's theory on multigraded modules over a polynomial ring to the study of the Stanley depth of these modules. Several tools for Stanley's conjecture are developed, and a few partial answers are given. For example, we show that taking the Alexander duality twice (but with different "centers") is useful for this subject. Generalizing a result of Apel, we prove that Stanley's conjecture holds for the quotient by a cogeneric monomial ideal.
For a monomial ideal I of a polynomial ring S, a "polarization" of I is a \textit{squarefree} monomial ideal J of a larger polynomial ring S′ such that S/I is a quotient of S′/J by a regular sequence (consisting of degree 1 elements). We show that a Borel fixed ideal admits a "non-standard" polarization. For example, while the standard polarization sends xy2∈S to x1y1y2∈S′, ours sends it to x1y2y3. Using this idea, we recover/refine the results on "squarefree operation" in the shifting theory of simplicial complexes. The present paper generalizes a result of Nagel and Reiner, while our approach is very different from theirs.
A finite poset P is called "simplicial", if it has the smallest element 0^, and every interval [0^,x] is a boolean algebra. The face poset of a simplicial complex is a typical example. Generalizing the Stanley-Reisner ring of a simplicial complex, Stanley assigned the graded ring AP to P. This ring has been studied from both combinatorial and topological perspective. In this paper, we will give a concise description of a dualizing complex of AP, which has many applications.
Recently, G. Floystad studied "higher Cohen-Macaulay property" of certain finite regular cell complexes. In this paper, we partially extend his results to squarefree modules, toric face rings, and simplicial posets. For example, we show that if (the corresponding cell complex of) a simplicial poset is l-Cohen-Macaulay then its codimension one skeleton is (l+1)-Cohen-Macaulay.
We define "sliding functors", which are exact endofunctors of the category of multi-graded 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.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.