arXiv subjects
Publications and source records attributed to Kohji Yanagawa.
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.
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 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.
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 $I^sq$, 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.
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 $xy^2 \in S$ to $x_1y_1y_2 \in S'$, ours sends it to $x_1y_2y_3$. 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.
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.
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.
A finite poset $P$ is called "simplicial", if it has the smallest element $\hat{0}$, and every interval $[\hat{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 $A_P$ 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 $A_P$, 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.
The notion of "toric face rings" generalizes both Stanley-Reisner rings and affine semigroup rings, and has been studied by Bruns, Romer, et.al. Here, we will show that, for a toric face ring $R$, the "graded" Matlis dual of a Cech complex gives a dualizing complex. In the most general setting, $R$ is not a graded ring in the usual sense. Hence technical argument is required.
A "toric face ring", which generalizes both Stanley-Reisner rings and affine semigroup rings, is studied by Bruns, Roemer and their coauthors recently. In this paper, under the "normality" assumption, we describe a dualizing complex of a toric face ring $R$ in a very concise way. Since $R$ is not a graded ring in general, the proof is not straightforward. We also develop the squarefree module theory over $R$, and show that the Buchsbaum property and the Gorenstein* property of $R$ are topological properties of its associated cell complex.
Let A be a Koszul algebra, and $mod A$ the category of finitely generated graded left A-modules. The "linearity defect" ld_A(M) of $M \in mod A$ is an invariant defined by Herzog and Iyengar. An exterior algebra E is a Koszul algebra which is the Koszul dual S^! of a polynomial ring S. Eisenbud et al. showed that $ld_E(M) < \infty$ for all $M \in mod E$. Improving their result, we show the following (and many other facts): (*) If A is a Koszul complete intersection, then $reg_{A^!} (M) < \infty$ and $ld_{A^!} (M) < \infty$ for all $M \in mod A^!$. (**) There is a uniform bound of $ld(J)$, where J is a graded ideal of E.
Let $S = K[x_1, ..., x_n ]$ be a polynomial ring over a field $K$, and $E = K < y_1, ..., y_n >$ an exterior algebra. The "linearity defect" $ld_E(N)$ of a finitely generated graded $E$-module $N$ measures how far $N$ departs from "componentwise linear". It is known that $ld_E(N) < \infty$ for all $N$. But the value can be arbitrary large, while the similar invariant $ld_S(M)$ for an $S$-module $M$ is alway at most $n$. We show that if $I_Δ$ (resp. $J_Δ$) is the squarefree monomial ideal of $S$ (resp. $E$) corresponding to a simplicial complex $Δ$ on ${1, >..., n}$, then $ld_E(E/J_Δ) = ld_S(S/I_Δ)$. Moreover, except some extremal cases, $ld$ is a topological invariant of the Alexander dual $Δ^\vee$ of $Δ$. We also show that, when $n > 3$, $ld_E(E/J_Δ) = n-2$ (this is the largest possible value) if and only if $Δ$ is an $n$-gon.
Let $C \subset {\bf N}^d$ be an affine semigroup, and $R=K[C]$ its semigroup ring. This paper is a collection of various results on "$C$-graded" $R$-modules, especially, monomial ideals. For example, we show the following: If $R$ is normal and $I$ is a radical monomial ideal (i.e., $R/I$ is a generalization of Stanley-Reisner rings), then the sequentially Cohen-Macaulay property of $R/I$ is a topological property of the "geometric realization" of the cell complex associated with $I$. Moreover, we can give a squarefree modules/constructible sheaves version of this result.
Let A be a noetherian AS regular Koszul quiver algebra (if A is commutative, it is essentially a polynomial ring), and grA the category of finitely generated graded left A-modules. Following Jorgensen, we define the Castelnuovo-Mumford regularity reg(X) of a complex X \in D^b(grA) in terms of the local cohomologies or the minimal projective resolution of X. Let A^! be the quadratic dual ring of A. For the Koszul duality functor DG : D^b(grA) -> D^b(grA^!), we have reg(X) = max {i | H^i(DG (X)) \ne 0}. Using these concepts, we study weakly Koszul modules (= componentwise linear modules) over A^!. As an application, refining a result of Herzog and Roemer, we show that if J is a monomial ideal of an exterior algebra E= \bigwedge < y_1, ..., y_d > with d \geq 3, then the (d-2)nd syzygy of E/J is weakly Koszul.
Let $Σ$ be a finite regular cell complex with $\emptyset \in Σ$, and regard it as a partially ordered set (poset) by inclusion. Let $R$ be the incidence algebra of the poset $Σ$ over a field $k$. Corresponding to the Verdier duality for constructible sheaves on $Σ$, we have a dualizing complex $w \in D^b(mod_{R \otimes_k R})$ giving a duality functor from $D^b(mod_R)$ to itself. $w$ satisfies the Auslander condition. Our duality is somewhat analogous to the Serre duality for projective schemes ($\emptyset$ plays a similar role to that of "irrelevant ideals"). If $H^i(w) \ne 0$ for exactly one $i$, then the underlying topological space of $Σ$ is Cohen-Macaulay (in the sense of the Stanley-Reisner ring theory). The converse also holds when $Σ$ is a simplicial complex. $R$ is always a Koszul ring with $R^! \cong R^op$. The relation between the Koszul duality for $R$ and the Verdier duality is discussed. This result is a variant of a theorem of Vybornov. The Mobius function of the poset $\hatΣ$ is also discussed.