arXiv subjects

Ryota Okazaki

Publications and source records attributed to Ryota Okazaki.

9 recordsLinked to original sources

arXiv2017

The Cohen-Macaulayness of the bounded complex of an affine oriented matroid

An affine oriented matroid is a combinatorial abstraction of an affine hyperplane arrangement. From it, Novik, Postnikov and Sturmfels constructed a squarefree monomial ideal in a polynomial ring, called an oriented matroid ideal, and got beautiful results. Developing their theory, we will show the following. (1) If an oriented matroid ideal is Cohen-Macaulay, then the bounded complex (a regular CW complex associated with it) of the corresponding affine oriented matroid is a contractible homology manifold with boundary. This is closely related to Dong's theorem, which used to be "Zaslavsky's conjecture". (2) We characterize the affine oriented matroid whose corresponding ideal is Cohen-Macaulay. (3) In the Cohen-Macaulay case, we give a description of the canonical module of the residue class ring by an oriented matroid ideal.

math.AC↗

arXiv2013

Normal cyclic polytopes and cyclic polytopes that are not very ample

Let $d$ and $n$ be positive integers with $n \geq d + 1$ and $τ_{1}, ..., τ_{n}$ integers with $τ_{1} < ... < τ_{n}$. Let $C_{d}(τ_{1}, ..., τ_{n}) \subset \RR^{d}$ denote the cyclic polytope of dimension $d$ with $n$ vertices $(τ_{1},τ_{1}^{2},...,τ_{1}^{d}), ..., (τ_{n},τ_{n}^{2},...,τ_{n}^{d})$. We are interested in finding the smallest integer $γ_{d}$ such that if $τ_{i+1} - τ_{i} \geq γ_{d}$ for $1 \leq i < n$, then $C_{d}(τ_{1}, ..., τ_{n})$ is normal. One of the known results is $γ_{d} \leq d (d + 1)$. In the present paper a new inequality $γ_{d} \leq d^{2} - 1$ is proved. Moreover, it is shown that if $d \geq 4$ with $τ_{3} - τ_{2} = 1$, then $C_{d}(τ_{1}, ..., τ_{n})$ is not very ample.

math.CO↗

arXiv2013

On CW complexes supporting Eliahou-Kervaire type resolutions of Borel fixed ideals

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.

math.AC↗

arXiv2012

Alternative polarizations of Borel fixed ideals, Eliahou-Kervaire type resolution and discrete Morse theory

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.

math.AC↗

arXiv2012

On the radical of multigraded modules

We define a functor $\rr^\ast$ from the category of positively determined modules to the category of squarefree modules which plays the role of passing from a monomial ideal to its radical. By using this functor, we generalize several results on properties that are shared by a monomial ideal and its radical. Moreover, we study the connection of $\rr^\ast$ to the Alexander duality and Auslander-Reiten translate functor.

math.AC↗

arXiv2012

Toric rings arising from cyclic polytopes

In the present paper, we consider the problem when the toric ring arising from an integral cyclic polytope is Cohen-Macaulay by discussing Serre's condition and we give a complete characterization when that is Gorenstein. Moreover, we study the normality of the other semigroup ring arising from an integral cyclic polytope but generated only with its vertices.

math.AC↗

arXiv2011

Alexander duality and Stanley depth of multigraded modules

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.

math.AC↗

arXiv2008

Dualizing complex of a toric face ring

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.

math.AC↗

arXiv2007

Linearity Defects of Face Rings

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.

math.AC↗