Source author record

Naoki Terai

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

9works
2topics
4close collaborators

Published work

9 publications

preprint2012arXiv

Cohen--Macaulaynees for symbolic power ideals of edge ideals

Let S=K[x1,...,xn]S = K[x_1,..., x_n] be a polynomial ring over a field KK. Let I(G)⊆SI(G) \subseteq S denote the edge ideal of a graph GG. We show that the ℓ\ellth symbolic power I(G)(ℓ)I(G)^{(\ell)} is a Cohen-Macaulay ideal (i.e., S/I(G)(ℓ)S/I(G)^{(\ell)} is Cohen-Macaulay) for some integer ℓ≥3\ell \ge 3 if and only if GG is a disjoint union of finitely many complete graphs. When this is the case, all the symbolic powers I(G)(ℓ)I(G)^{(\ell)} are Cohen-Macaulay ideals. Similarly, we characterize graphs GG for which S/I(G)(ℓ)S/I(G)^{(\ell)} has (FLC). As an application, we show that an edge ideal I(G)I(G) is complete intersection provided that S/I(G)ℓS/I(G)^{\ell} is Cohen-Macaulay for some integer ℓ≥3\ell \ge 3. This strengthens the main theorem in [Effective Cowsik-Nori theorem for edge ideals by M.Crupi, G.Rinaldo, N.Terai, and K.Yoshida, Comm. Alg. 38 (2010), 3347-3357].

preprint2012arXiv

On the second powers of Stanley-Reisner ideals

In this paper, we study several properties of the second power IΔ2I_Δ^2 of a Stanley-Reisner ideal IΔI_Δ of any dimension. As the main result, we prove that S/IΔS/I_Δ is Gorenstein whenever S/IΔ2S/I_Δ^2 is Cohen-Macaulay over any field KK. Moreover, we give a criterion for the second symbolic power of IΔI_Δ to satisfy (S2)(S_2) and to coincide with the ordinary power, respectively. Finally, we provide new examples of Stanley-Reisner ideals whose second powers are Cohen-Macaulay.

preprint2010arXiv

Cohen-Macaulayness of large powers of Stanley-Reisner ideals

We prove that for m > 2, the m-th symbolic power of a Stanley-Reisner ideal is Cohen-Macaulay if and only if the simplicial complex is a matroid. Similarly, the m-th ordinary power is Cohen-Macaulay for some m > 2 if and only if the complex is a complete intersection. These results solve several open questions on the Cohen-Macaulayness of ordinary and symbolic powers of Stanley-Reisner ideals. Moreover, they have interesting consequences on the Cohen-Macaulayness of symbolic powers of facet ideals and cover ideals.

preprint2010arXiv

Sequentially SrS_r simplicial complexes and sequentially S2S_2 graphs

We introduce sequentially SrS_r modules over a commutative graded ring and sequentially SrS_r simplicial complexes. This generalizes two properties for modules and simplicial complexes: being sequentially Cohen-Macaulay, and satisfying Serre's condition SrS_r. In analogy with the sequentially Cohen-Macaulay property, we show that a simplicial complex is sequentially SrS_r if and only if its pure ii-skeleton is SrS_r for all ii. For r=2r=2, we provide a more relaxed characterization. As an algebraic criterion, we prove that a simplicial complex is sequentially SrS_r if and only if the minimal free resolution of the ideal of its Alexander dual is componentwise linear in the first rr steps. We apply these results for a graph, i.e., for the simplicial complex of the independent sets of vertices of a graph. We characterize sequentially SrS_r cycles showing that the only sequentially S2S_2 cycles are odd cycles and, for r≥3r\ge 3, no cycle is sequentially SrS_r with the exception of cycles of length 3 and 5. We extend certain known results on sequentially Cohen-Macaulay graphs to the case of sequentially SrS_r graphs. We prove that a bipartite graph is vertex decomposable if and only if it is sequentially S2S_2. We provide some more results on certain graphs which in particular implies that any graph with no chordless even cycle is sequentially S2S_2. Finally, we propose some questions.

preprint2008arXiv

Arithmetical ranks of Stanley-Reisner ideals of simplicial complexes with a cone

When a cone is added to a simplicial complex ΔΔ over one of its faces, we investigate the relation between the arithmetical ranks of the Stanley-Reisner ideals of the original simplicial complex and the new simplicial complex Δ′Δ'. In particular, we show that the arithmetical rank of the Stanley-Reisner ideal of Δ′Δ' equals the projective dimension of the Stanley-Reisner ring of Δ′Δ' if the corresponding equality holds for ΔΔ.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.