Showing 1–50 of 56 results for author: Yoshida, K

Uniqueness of free 2-periodicities of links

Authors: Ken'ichi Yoshida

Abstract: We show that if two links in the real projective 3-space $\mathbb{RP}^{3}$ have isotopic preimages in the 3-sphere $S^{3}$ by the double covering map, then they are themselves isotopic in $\mathbb{RP}^{3}$. We show that if two links in the real projective 3-space $\mathbb{RP}^{3}$ have isotopic preimages in the 3-sphere $S^{3}$ by the double covering map, then they are themselves isotopic in $\mathbb{RP}^{3}$. △ Less

Submitted 28 May, 2025; originally announced May 2025.

Comments: 10 pages

MSC Class: 57K10; 57K32; 57K35; 57M10

On the isotopies of tangles in periodic 3-manifolds using finite covers

Authors: Yuka Kotorii, Sonia Mahmoudi, Elisabetta Matsumoto, Ken'ichi Yoshida

Abstract: A periodic tangle is a one-dimensional submanifold in $\mathbb{R}^3$ that has translational symmetry in one, two or three transverse directions. A periodic tangle can be seen as the universal cover of a link in the solid torus, the thickened torus, or the three-torus, respectively. Our goal is to study equivalence relations of such periodic tangles. Since all finite covers of a link lift to the sa… ▽ More A periodic tangle is a one-dimensional submanifold in $\mathbb{R}^3$ that has translational symmetry in one, two or three transverse directions. A periodic tangle can be seen as the universal cover of a link in the solid torus, the thickened torus, or the three-torus, respectively. Our goal is to study equivalence relations of such periodic tangles. Since all finite covers of a link lift to the same periodic tangle, it is necessary to prove that isotopies between different finite covers are preserved. In this paper, we show that if two links have isotopic lifts in a common finite cover, then they are isotopic. To do so, we employ techniques from 3-manifold topology to study the complements of such links. △ Less

Submitted 27 May, 2025; originally announced May 2025.

Comments: 33 pages, 8 figures

MSC Class: 57K10; 57K30; 57K32; 57M10

A Geometric description of almost Gorensteinness for two-dimensional normal singularities

Authors: Tomohiro Okuma, Kei-ichi Watanabe, Ken-ichi Yoshida

Abstract: Let $A$ be an excellent two-dimensional normal local ring containing an algebraically closed field. Then $A$ is called an elliptic singularity if $p_f(A)=1$, where $p_f$ denotes the fundamental genus. On the other hand, the concept of almost Gorenstein rings was introduced by Barucci and Fröberg for one-dimensional local rings and generalized by Goto, Takahashi and Taniguchi to higher dimension. I… ▽ More Let $A$ be an excellent two-dimensional normal local ring containing an algebraically closed field. Then $A$ is called an elliptic singularity if $p_f(A)=1$, where $p_f$ denotes the fundamental genus. On the other hand, the concept of almost Gorenstein rings was introduced by Barucci and Fröberg for one-dimensional local rings and generalized by Goto, Takahashi and Taniguchi to higher dimension. In this paper, we describe almost Gorenstein rings in geometric language using resolution of singularities and give criterions to be almost Gorenstein. In particular, we show that elliptic singularities are almost Gorenstein. Also, for every integer $g\ge 2$, we provide examples of singularities that is almost Gorenstein (resp. not almost Gorenstein) with $p_f(A)=g$. We also provide several examples of determinantal singularities associated with $2\times 3$ matrices, which include both almost Gorenstein singularities and non-almost Gorenstein singularities. △ Less

Submitted 31 October, 2024; originally announced October 2024.

Comments: 25 pages

MSC Class: 13H10; 13G05; 14B05; 14J17

On vanishing of higher direct images of the structure sheaf

Authors: Shihoko Ishii, Ken-ichi Yoshida

Abstract: We show the vanishing of the first direct image of the structure sheaf of a normal scheme $X$ which is mapped properly and birationally over a regular scheme of any dimension. On the other hand, for any dimension greater than two, we show examples of a proper birational morphism from a normal and Cohen-Macaulay scheme to a regular scheme such that the second direct image does not vanish and has an… ▽ More We show the vanishing of the first direct image of the structure sheaf of a normal scheme $X$ which is mapped properly and birationally over a regular scheme of any dimension. On the other hand, for any dimension greater than two, we show examples of a proper birational morphism from a normal and Cohen-Macaulay scheme to a regular scheme such that the second direct image does not vanish and has an isolated support. △ Less

Submitted 19 April, 2025; v1 submitted 20 October, 2024; originally announced October 2024.

Comments: We strengthened the main theorem and the corollary. We added some references. We corrected some typos. to appear in Michigan Mathematical Journal

MSC Class: 13H05; 13A30; 14B05

Links in the spherical 3-manifold obtained from the quaternion group and their lifts

Authors: Ken'ichi Yoshida

Abstract: We show that there are infinitely many triples of non-isotopic hyperbolic links in the lens space $L(4,1)$ such that the three lifts of each triple in $S^{3}$ are isotopic. They are obtained as the lifts of links in $S^{3} / Q_{8}$ by double covers, where $Q_{8}$ is the quaternion group. To construct specific examples, we introduce a diagram of a link in $S^{3} / Q_{8}$ obtained by projecting to a… ▽ More We show that there are infinitely many triples of non-isotopic hyperbolic links in the lens space $L(4,1)$ such that the three lifts of each triple in $S^{3}$ are isotopic. They are obtained as the lifts of links in $S^{3} / Q_{8}$ by double covers, where $Q_{8}$ is the quaternion group. To construct specific examples, we introduce a diagram of a link in $S^{3} / Q_{8}$ obtained by projecting to a square. The diagrams of isotopic links are connected by Reidemeister-type moves. △ Less

Submitted 3 July, 2025; v1 submitted 28 September, 2024; originally announced September 2024.

Comments: 20 pages, 19 figures

MSC Class: 57K10 (Primary) 57K32; 57M10 (Secondary)

On Gorensteiness of associated graded rings of filtrations

Authors: Meghana Bhat, Saipriya Dubey, Shreedevi K. Masuti, Tomohiro Okuma, Jugal K. Verma, Kei-ichi Watanabe, Ken-ichi Yoshida

Abstract: Let $(A, \mathfrak{m})$ be a Gorenstein local ring, and $\mathcal{F} =\{F_n \}_{n\in \mathbb{Z}}$ a Hilbert filtration. In this paper, we give a criterion for Gorensteinness of the associated graded ring of $\mathcal{F}$ in terms of the Hilbert coefficients of $\mathcal{F}$ in some cases. As a consequence we recover and extend a result proved by Okuma, Watanabe and Yoshida. Further, we present rin… ▽ More Let $(A, \mathfrak{m})$ be a Gorenstein local ring, and $\mathcal{F} =\{F_n \}_{n\in \mathbb{Z}}$ a Hilbert filtration. In this paper, we give a criterion for Gorensteinness of the associated graded ring of $\mathcal{F}$ in terms of the Hilbert coefficients of $\mathcal{F}$ in some cases. As a consequence we recover and extend a result proved by Okuma, Watanabe and Yoshida. Further, we present ring-theoretic properties of the normal tangent cone of the maximal ideal of $A=S/(f)$ where $S=K[\![x_0,x_1,\ldots, x_m]\!]$ is a formal power series ring over an algebraically closed field $K$, and $f=x_0^a-g(x_1,\ldots,x_m)$, where $g$ is a polynomial with $g \in (x_1,\ldots,x_m)^b \setminus (x_1,\ldots,x_m)^{b+1}$, and $a, \, b, \, m$ are integers. We show that the normal tangent cone $\overline{G}(\mathfrak{m})$ is Cohen-Macaulay if $A$ is normal and $a \le b$. Moreover, we give a criterion of the Gorensteinness of $\overline{G}(\mathfrak{m})$. △ Less

Submitted 11 October, 2024; v1 submitted 22 April, 2024; originally announced April 2024.

Comments: Comments are welcome

MSC Class: 13D40 (Primary); 13H10 (Secondary)

A mathematical approach to mechanical properties of networks in thermoplastic elastomers

Authors: Ken'ichi Yoshida, Naoki Sakata, Koya Shimokawa

Abstract: We employ a mathematical model to analyze stress chains in thermoplastic elastomers (TPEs) with a microphase-separated spherical structure composed of triblock copolymers. The model represents stress chains during uniaxial and biaxial extensions using networks of spherical domains connected by bridges. We advance previous research and discuss permanent strain and other aspects of the network. It e… ▽ More We employ a mathematical model to analyze stress chains in thermoplastic elastomers (TPEs) with a microphase-separated spherical structure composed of triblock copolymers. The model represents stress chains during uniaxial and biaxial extensions using networks of spherical domains connected by bridges. We advance previous research and discuss permanent strain and other aspects of the network. It explores the dependency of permanent strain on the extension direction, using the average of tension tensors to represent isotropic material behavior. The concept of deviation angle is introduced to measure network anisotropy and is shown to play an essential role in predicting permanent strain when a network is extended in a specific direction. The paper also discusses methods to create a new network structure using various polymers. △ Less

Submitted 12 June, 2024; v1 submitted 27 September, 2023; originally announced October 2023.

Comments: 25 pages, 37 figures

MSC Class: 92E10; 05C10 (Primary) 05C50 (Secondary)

Gorensteinness for normal tangent cones of elliptic ideals

Authors: Tomohiro Okuma, Kei-ichi Watanabe, Ken-ichi Yoshida

Abstract: Let $A$ be a two-dimensional excellent normal Gorenstein local domain. In this paper, we characterize elliptic ideals $I \subset A$ for its normal tangent cone $\overline{G}(I)$ to be Gorenstein. Moreover, we classify all those ideals in a Gorenstein elliptic singularity in the characteristic zero case. Let $A$ be a two-dimensional excellent normal Gorenstein local domain. In this paper, we characterize elliptic ideals $I \subset A$ for its normal tangent cone $\overline{G}(I)$ to be Gorenstein. Moreover, we classify all those ideals in a Gorenstein elliptic singularity in the characteristic zero case. △ Less

Submitted 8 August, 2024; v1 submitted 15 February, 2023; originally announced February 2023.

Comments: 20 pages. To appear in Journal of Pure and Applied Algebra

MSC Class: 13G05; 14J17; 13H10; 14J27

Topological entropy for countable Markov shifts and Exel--Laca algebras

Authors: Yuta Michimoto, Yushi Nakano, Hisayoshi Toyokawa, Keisuke Yoshida

Abstract: We show that the (Gurevich) topological entropy for the countable Markov shift associated with an infinite transition matrix $A$ coincides with the non-commutative topological entropy for the Exel--Laca algebra associated with $A$, under certain conditions on $A$. An important example satisfying the conditions is the renewal shift, which is not locally finite. We also pose interesting questions fo… ▽ More We show that the (Gurevich) topological entropy for the countable Markov shift associated with an infinite transition matrix $A$ coincides with the non-commutative topological entropy for the Exel--Laca algebra associated with $A$, under certain conditions on $A$. An important example satisfying the conditions is the renewal shift, which is not locally finite. We also pose interesting questions for future research on non-commutative topological entropy for non-locally finite transition matrices. △ Less

Submitted 30 December, 2022; originally announced December 2022.

Comments: 47 pages

MSC Class: 46L55; 37B40; 37B10

Holed cone structures on 3-manifolds

Authors: Ken'ichi Yoshida

Abstract: We introduce holed cone structures on 3-manifolds to generalize cone structures. In the same way as a cone structure, a holed cone structure induces the holonomy representation. We consider the deformation space consisting of the holed cone structures on a 3-manifold whose holonomy representations are irreducible. This deformation space for positive cone angles is a covering space on a reasonable… ▽ More We introduce holed cone structures on 3-manifolds to generalize cone structures. In the same way as a cone structure, a holed cone structure induces the holonomy representation. We consider the deformation space consisting of the holed cone structures on a 3-manifold whose holonomy representations are irreducible. This deformation space for positive cone angles is a covering space on a reasonable subspace of the character variety. △ Less

Submitted 3 June, 2025; v1 submitted 26 October, 2022; originally announced October 2022.

Comments: 20 pages, 4 figures

MSC Class: 57M50 (Primary) 57K31; 57K32 (Secondary)

A mathematical model of network elastoplasticity

Authors: Hiroki Kodama, Ken'ichi Yoshida

Abstract: We introduce a mathematical model, based on networks, for the elasticity and plasticity of materials. We define the tension tensor for a periodic graph in a Euclidean space, and we show that the tension tensor expresses elasticity under deformation. Plasticity is induced by local moves on a graph. The graph is described in terms of the weights of edges, and we discuss how these weights affect the… ▽ More We introduce a mathematical model, based on networks, for the elasticity and plasticity of materials. We define the tension tensor for a periodic graph in a Euclidean space, and we show that the tension tensor expresses elasticity under deformation. Plasticity is induced by local moves on a graph. The graph is described in terms of the weights of edges, and we discuss how these weights affect the plasticity. △ Less

Submitted 27 April, 2022; v1 submitted 9 July, 2021; originally announced July 2021.

Comments: 29 pages, 14 figures. Final version

Report number: RIKEN-iTHEMS-Report-21 MSC Class: 92E10; 05C10 (Primary) 05C50; 05C81; 58E20 (Secondary)

Journal ref: Proc. R. Soc. A 478 (2022), 20210828

On the Simplicity of C$^*$-algebras Associated to Multispinal Groups

Authors: Keisuke Yoshida

Abstract: We characterize the simplicity of universal C$^*$-algebras arising from multispinal groups. Let $\mathcal{O}_{G_{\max}}$ be the universal C$^*$-algebra associated to a multispinal group $G$. We show that the invertibility of a matrix completely determines the simplicity of $\mathcal{O}_{G_{\max}}$. We characterize the simplicity of universal C$^*$-algebras arising from multispinal groups. Let $\mathcal{O}_{G_{\max}}$ be the universal C$^*$-algebra associated to a multispinal group $G$. We show that the invertibility of a matrix completely determines the simplicity of $\mathcal{O}_{G_{\max}}$. △ Less

Submitted 11 February, 2021; v1 submitted 3 February, 2021; originally announced February 2021.

Comments: 20pages

Normal Hilbert coefficients and elliptic ideals in normal two-dimensional singularities

Authors: Tomohiro Okuma, Maria Evelina Rossi, Kei-ichi Watanabe, Ken-ichi Yoshida

Abstract: Let $(A,\mathfrak m)$ be an excellent two-dimensional normal local domain. In this paper we study the elliptic and the strongly elliptic ideals of $A$ with the aim to characterize elliptic and strongly elliptic singularities, according to the definitions given by Wagreich and by Yau. In analogy with the rational singularities, in the main result we characterize a strongly elliptic singularity in t… ▽ More Let $(A,\mathfrak m)$ be an excellent two-dimensional normal local domain. In this paper we study the elliptic and the strongly elliptic ideals of $A$ with the aim to characterize elliptic and strongly elliptic singularities, according to the definitions given by Wagreich and by Yau. In analogy with the rational singularities, in the main result we characterize a strongly elliptic singularity in terms of the normal Hilbert coefficients of the integrally closed $\mathfrak m$-primary ideals of $A$. Unlike $p_g$-ideals, elliptic ideals and strongly elliptic ideals are not necessarily normal and necessary and sufficient conditions for being normal are given. In the last section we discuss the existence (and the effective construction) of strongly elliptic ideals in any two-dimensional normal local ring. △ Less

Submitted 12 March, 2022; v1 submitted 10 December, 2020; originally announced December 2020.

Comments: 25 pages; revised version; the title is slightly changed. To appear in Nagoya Mathematical Journal

MSC Class: 13G05; 14J17; 13H10; 14J27

Lower bounds on Hilbert--Kunz multiplicities and maximal F-signatures

Authors: Jack Jeffries, Yusuke Nakajima, Ilya Smirnov, Kei-ichi Watanabe, Ken-ichi Yoshida

Abstract: Hilbert-Kunz multiplicity and F-signature are numerical invariants of commutative rings in positive characteristic that measure severity of singularities: for a regular ring both invariants are equal to one and the converse holds under mild assumptions. A natural question is for what singular rings these invariants are closest to one. For Hilbert--Kunz multiplicity this question was first consider… ▽ More Hilbert-Kunz multiplicity and F-signature are numerical invariants of commutative rings in positive characteristic that measure severity of singularities: for a regular ring both invariants are equal to one and the converse holds under mild assumptions. A natural question is for what singular rings these invariants are closest to one. For Hilbert--Kunz multiplicity this question was first considered by the last two authors and attracted significant attention. In this paper, we study this question, i.e., an upper bound, for F-signature and revisit lower bounds on Hilbert--Kunz multiplicity. △ Less

Submitted 2 February, 2022; v1 submitted 14 February, 2020; originally announced February 2020.

Comments: An updated version with several general improvements

The normal reduction number of two-dimensional cone-like singularities

Authors: Tomohiro Okuma, Kei-ichi Watanabe, Ken-ichi Yoshida

Abstract: Let $(A, \mathfrak m)$ be a normal two-dimensional local ring and $I$ an $\mathfrak m$-primary integrally closed ideal with a minimal reduction $Q$. Then we calculate the numbers: $\mathrm{nr}(I) = \min\{n \;|\; \overline{I^{n+1}} = Q\overline{I^n}\}, \quad \bar{r}(I) = \min\{n \;|\; \overline{I^{N+1}} = Q\overline{I^N}, \forall N\ge n\}$, $\mathrm{nr}(A)$, and $\bar{r}(A)$, where… ▽ More Let $(A, \mathfrak m)$ be a normal two-dimensional local ring and $I$ an $\mathfrak m$-primary integrally closed ideal with a minimal reduction $Q$. Then we calculate the numbers: $\mathrm{nr}(I) = \min\{n \;|\; \overline{I^{n+1}} = Q\overline{I^n}\}, \quad \bar{r}(I) = \min\{n \;|\; \overline{I^{N+1}} = Q\overline{I^N}, \forall N\ge n\}$, $\mathrm{nr}(A)$, and $\bar{r}(A)$, where $\mathrm{nr}(A)$ (resp. $\bar{r}(A)$) is the maximum of $\mathrm{nr}(I)$ (resp. $\bar{r}(I)$) for all $\mathfrak m$-primary integrally closed ideals $I\subset A$. Then we have that $\bar{r}(A) \le p_g(A) + 1$, where $p_g(A)$ is the geometric genus of $A$. In this paper, we give an upper bound of $\bar{r}(A)$ when $A$ is a cone-like singularity (which has a minimal resolution whose exceptional set is a single smooth curve) and show, in particular, if $A$ is a hypersurface singularity defined by a homogeneous polynomial of degree $d$, then $\bar{r}(A)= \mathrm{nr}(\mathfrak m) = d-1$. Also we give an example of $A$ and $I$ so that $\mathrm{nr}(I) = 1$ but $\bar{r}(I)= \bar{r}(A) = p_g(A) +1=g+1$ for every integer $g \ge 2$. △ Less

Submitted 30 July, 2021; v1 submitted 28 September, 2019; originally announced September 2019.

Comments: 13 pages; revised version. To appear in Proceedings of the American Mathematical Society

MSC Class: Primary 13B22; Secondary 14B05; 14J17

Degeneration of 3-dimensional hyperbolic cone structures with decreasing cone angles

Authors: Ken'ichi Yoshida

Abstract: For 3-dimensional hyperbolic cone structures with cone angles $θ$, local rigidity is known for $0 \leq θ\leq 2π$, but global rigidity is known only for $0 \leq θ\leq π$. The proof of the global rigidity by Kojima is based on the fact that hyperbolic cone structures with cone angles at most $π$ do not degenerate in deformations decreasing cone angles to zero. In this paper, we give an example of… ▽ More For 3-dimensional hyperbolic cone structures with cone angles $θ$, local rigidity is known for $0 \leq θ\leq 2π$, but global rigidity is known only for $0 \leq θ\leq π$. The proof of the global rigidity by Kojima is based on the fact that hyperbolic cone structures with cone angles at most $π$ do not degenerate in deformations decreasing cone angles to zero. In this paper, we give an example of a degeneration of hyperbolic cone structures with decreasing cone angles less than $2π$. These cone structures are constructed on a certain alternating link in the thickened torus by gluing four copies of a certain polyhedron. For this construction, we explicitly describe the isometry types on such a hyperbolic polyhedron. △ Less

Submitted 13 October, 2022; v1 submitted 14 September, 2019; originally announced September 2019.

Comments: 11pages, 3 figures. Final version

MSC Class: 57M50; 52B10

Journal ref: Conform. Geom. Dyn. 26 (2022), 182-193

A von Neumann algebraic approach to self-similar group actions

Authors: Keisuke Yoshida

Abstract: We study some relations between self-similar group actions and operator algebras. We consider KMS states on the Cuntz--Pimsner algebras constructed by Nekrashevych from self-similar actions and the GNS representations of the KMS states. The KMS states are given by the Bernoulli measure. We also consider the von Neumann algebras on the GNS spaces and show that the von Neumann algebras are type III… ▽ More We study some relations between self-similar group actions and operator algebras. We consider KMS states on the Cuntz--Pimsner algebras constructed by Nekrashevych from self-similar actions and the GNS representations of the KMS states. The KMS states are given by the Bernoulli measure. We also consider the von Neumann algebras on the GNS spaces and show that the von Neumann algebras are type III factors. △ Less

Submitted 3 February, 2020; v1 submitted 10 May, 2019; originally announced May 2019.

Comments: 13 pages, to appear in International Journal of Mathematics

MSC Class: 46L55

Instant MPC for linear systems and dissipativity-based stability analysis

Authors: Keisuke Yoshida, Masaki Inoue, Takeshi Hatanaka

Abstract: This letter is devoted to the concept of ``instant'' model predictive control (iMPC) for linear systems. An optimization problem is formulated to express the finite-time constrained optimal regulation control, like conventional MPC. Then, iMPC determines the control action based on the optimization process rather than the optimizer, unlike MPC. The iMPC concept is realized by a continuous-time dyn… ▽ More This letter is devoted to the concept of ``instant'' model predictive control (iMPC) for linear systems. An optimization problem is formulated to express the finite-time constrained optimal regulation control, like conventional MPC. Then, iMPC determines the control action based on the optimization process rather than the optimizer, unlike MPC. The iMPC concept is realized by a continuous-time dynamic algorithm of solving the optimization; the primal-dual gradient algorithm is directly implemented as a dynamic controller. On the basis of the dissipativity evaluation of the algorithm, the stability of the control system is analyzed. Finally, a numerical experiment is performed in order to demonstrate that iMPC emulates MPC and to show its less computational burden. △ Less

Submitted 9 March, 2020; v1 submitted 2 March, 2019; originally announced March 2019.

Journal ref: in IEEE Control Systems Letters, vol. 3, no. 4, pp. 811-816, 2019

Quotient topology on the set of commensurability classes of hyperbolic 3-manifolds

Authors: Ken'ichi Yoshida

Abstract: We investigate relation between Dehn fillings and commensurability of hyperbolic 3-manifolds. The set consisting of the commensurability classes of hyperbolic 3-manifolds admits the quotient topology induced by the geometric topology. We show that this quotient space satisfies some separation axioms. Roughly speaking, this means that commensurablity classes are sparsely distributed in the space co… ▽ More We investigate relation between Dehn fillings and commensurability of hyperbolic 3-manifolds. The set consisting of the commensurability classes of hyperbolic 3-manifolds admits the quotient topology induced by the geometric topology. We show that this quotient space satisfies some separation axioms. Roughly speaking, this means that commensurablity classes are sparsely distributed in the space consisting of the hyperbolic 3-manifolds. △ Less

Submitted 15 March, 2022; v1 submitted 16 January, 2019; originally announced January 2019.

Comments: 7 pages. Final version

MSC Class: 57M50; 54B15

Journal ref: Topology Appl. 272 (2020) 107091

Normal reduction numbers for normal surface singularities with application to elliptic singularities of Brieskorn type

Authors: Tomohiro Okuma, Kei-ichi Watanabe, Ken-ichi Yoshida

Abstract: In this paper, we give a formula for normal reduction number of an integrally closed $\mathfrak m$-primary ideal of a $2$-dimensional normal local ring $(A,\mathfrak m)$ in terms of the geometric genus $p_g(A)$ of $A$. Also we compute the normal reduction number of the maximal ideal of Brieskorn hypersurfaces. As an application, we give a short proof of a classification of Brieskorn hypersurfaces… ▽ More In this paper, we give a formula for normal reduction number of an integrally closed $\mathfrak m$-primary ideal of a $2$-dimensional normal local ring $(A,\mathfrak m)$ in terms of the geometric genus $p_g(A)$ of $A$. Also we compute the normal reduction number of the maximal ideal of Brieskorn hypersurfaces. As an application, we give a short proof of a classification of Brieskorn hypersurfaces having elliptic singularities. △ Less

Submitted 10 April, 2018; originally announced April 2018.

Comments: 14 pages

MSC Class: Primary 13A15; Secondary 13B22; 14B05; 14J17

The strong Rees property of powers of the maximal ideal and Takahashi-Dao's question

Authors: Tony J. Puthenpurakal, Kei-ichi Watanabe, Ken-ichi Yoshida

Abstract: In this paper, we introduce the notion of the strong Rees property (SRP) for $\mathfrak{m}$-primary ideals of a Noetherian local ring and prove that any power of the maximal ideal $\mathfrak{m}$ has its property if the associated graded ring $G$ of $\mathfrak{m}$ satisfies $\text{depth} \ G \ge 2$. As its application, we characterize two-dimensional excellent normal local domains so that… ▽ More In this paper, we introduce the notion of the strong Rees property (SRP) for $\mathfrak{m}$-primary ideals of a Noetherian local ring and prove that any power of the maximal ideal $\mathfrak{m}$ has its property if the associated graded ring $G$ of $\mathfrak{m}$ satisfies $\text{depth} \ G \ge 2$. As its application, we characterize two-dimensional excellent normal local domains so that $\mathfrak{m}$ is a $p_g$-ideal. Finally we ask what $\mathfrak{m}$-primary ideals have SRP and state a conjecture which characterizes the case when $\mathfrak{m}^n$ are the only ideals which have SRP. △ Less

Submitted 21 August, 2017; originally announced August 2017.

MSC Class: Primary 13A30; Secondary 13H15; 13B22; 14B05

Unions of 3-punctured spheres in hyperbolic 3-manifolds

Authors: Ken'ichi Yoshida

Abstract: We classify the topological types for the unions of the totally geodesic 3-punctured spheres in orientable hyperbolic 3-manifolds. General types of the unions appear in various hyperbolic 3-manifolds. Each of the special types of the unions appears only in a single hyperbolic 3-manifold or Dehn fillings of a single hyperbolic 3-manifold. Furthermore, we investigate bounds of the moduli of adjacent… ▽ More We classify the topological types for the unions of the totally geodesic 3-punctured spheres in orientable hyperbolic 3-manifolds. General types of the unions appear in various hyperbolic 3-manifolds. Each of the special types of the unions appears only in a single hyperbolic 3-manifold or Dehn fillings of a single hyperbolic 3-manifold. Furthermore, we investigate bounds of the moduli of adjacent cusps for the union of linearly placed 3-punctured spheres. △ Less

Submitted 22 September, 2019; v1 submitted 11 August, 2017; originally announced August 2017.

Comments: 40 pages, 32 figures. v2: Section 5 extended, references added, v3: Theorem 1.3 added, which concerns infinitely many 3-punctured spheres, v4: reference added; to appear in Communications in Analysis and Geometry

MSC Class: 57M50; 57N10

Journal ref: Comm. Anal. Geom. 29 (2021) no. 7, 1643-1689

Gorenstein simplices with a given $δ$-polynomial

Authors: Takayuki Hibi, Akiyoshi Tsuchiya, Koutarou Yoshida

Abstract: To classify the lattice polytopes with a given $δ$-polynomial is an important open problem in Ehrhart theory. A complete classification of the Gorenstein simplices whose normalized volumes are prime integers is known. In particular, their $δ$-polynomials are of the form $1+t^k+\cdots+t^{(v-1)k}$, where $k$ and $v$ are positive integers. In the present paper, a complete classification of the Gorens… ▽ More To classify the lattice polytopes with a given $δ$-polynomial is an important open problem in Ehrhart theory. A complete classification of the Gorenstein simplices whose normalized volumes are prime integers is known. In particular, their $δ$-polynomials are of the form $1+t^k+\cdots+t^{(v-1)k}$, where $k$ and $v$ are positive integers. In the present paper, a complete classification of the Gorenstein simplices with the above $δ$-polynomials will be performed, when $v$ is either $p^2$ or $pq$, where $p$ and $q$ are prime integers with $p \neq q$. Moreover, we consider the number of Gorenstein simplices, up to unimodular equivalence, with the expected $δ$-polynomial. △ Less

Submitted 22 July, 2019; v1 submitted 15 May, 2017; originally announced May 2017.

Comments: 14 pages, to appear in Discrete Mathematics

MSC Class: 52B12; 52B20

Journal ref: Discrete Mathematics 342, (2019), 111619

Existence of regular unimodular triangulations of dilated empty simplices

Authors: Takayuki Hibi, Akihiro Higashitani, Koutarou Yoshida

Abstract: Given integers $k$ and $m$ with $k \geq 2$ and $m \geq 2$, let $P$ be an empty simplex of dimension $(2k-1)$ whose $δ$-polynomial is of the form $1+(m-1)t^k$. In the present paper, the necessary and sufficient condition for the $k$-th dilation $kP$ of $P$ to have a regular unimodular triangulation will be presented. Given integers $k$ and $m$ with $k \geq 2$ and $m \geq 2$, let $P$ be an empty simplex of dimension $(2k-1)$ whose $δ$-polynomial is of the form $1+(m-1)t^k$. In the present paper, the necessary and sufficient condition for the $k$-th dilation $kP$ of $P$ to have a regular unimodular triangulation will be presented. △ Less

Submitted 25 November, 2017; v1 submitted 10 January, 2017; originally announced January 2017.

Comments: 12 pages

Almost Gorenstein Rees algebras of $p_g$-ideals, good ideals, and powers of the maximal ideals

Authors: Shiro Goto, Naoyuki Matsuoka, Naoki Taniguchi, Ken-ichi Yoshida

Abstract: Let $(A,{\mathfrak m})$ be a Cohen-Macaulay local ring and let $I$ be an ideal of $A$. We prove that the Rees algebra ${\mathcal R}(I)$ is an almost Gorenstein ring in the following cases: (1) $(A,{\mathfrak m})$ is a two-dimensional excellent Gorenstein normal domain over an algebraically closed field $K \cong A/{\mathfrak m}$ and $I$ is a $p_g$-ideal; (2) $(A,{\mathfrak m})$ is a two-dimensional… ▽ More Let $(A,{\mathfrak m})$ be a Cohen-Macaulay local ring and let $I$ be an ideal of $A$. We prove that the Rees algebra ${\mathcal R}(I)$ is an almost Gorenstein ring in the following cases: (1) $(A,{\mathfrak m})$ is a two-dimensional excellent Gorenstein normal domain over an algebraically closed field $K \cong A/{\mathfrak m}$ and $I$ is a $p_g$-ideal; (2) $(A,{\mathfrak m})$ is a two-dimensional almost Gorenstein local ring having minimal multiplicity and $I={\mathfrak m}^{\ell}$ for all $\ell \ge 1$; (3) $(A,{\mathfrak m})$ is a regular local ring of dimension $d \ge 2$ and $I={\mathfrak m}^{d-1}$. Conversely, if ${\mathcal R}({\mathfrak m}^{\ell})$ is an almost Gorenstein graded ring for some $\ell \ge 2$ and $d \ge 3$, then $\ell=d-1$. △ Less

Submitted 25 June, 2017; v1 submitted 20 July, 2016; originally announced July 2016.

Comments: 14 pages, and the title of this article was changed on 26, June, 2017

MSC Class: 13H10; 13H15; 13A30

On the almost Gorenstein property in Rees algebras of contracted ideals

Authors: Shiro Goto, Naoyuki Matsuoka, Naoki Taniguchi, Ken-ichi Yoshida

Abstract: The question of when the Rees algebra ${\mathcal R} (I)= \bigoplus_{n \ge 0}I^n$ of $I$ is an almost Gorenstein graded ring is explored, where $R$ is a two-dimensional regular local ring and $I$ a contracted ideal of $R$. It is known that ${\mathcal R} (I)$ is an almost Gorenstein graded ring for every integrally closed ideal $I$ of $R$. The main results of the present paper show that if $I$ is a… ▽ More The question of when the Rees algebra ${\mathcal R} (I)= \bigoplus_{n \ge 0}I^n$ of $I$ is an almost Gorenstein graded ring is explored, where $R$ is a two-dimensional regular local ring and $I$ a contracted ideal of $R$. It is known that ${\mathcal R} (I)$ is an almost Gorenstein graded ring for every integrally closed ideal $I$ of $R$. The main results of the present paper show that if $I$ is a contracted ideal with $\mathrm{o}(I) \le 2$, then ${\mathcal R} (I)$ is an almost Gorenstein graded ring, while if $\mathrm{o}(I) \ge 3$, then ${\mathcal R} (I)$ is not necessarily an almost Gorenstein graded ring, even though $I$ is a contracted stable ideal. Thus both affirmative answers and negative answers are given. △ Less

Submitted 3 July, 2016; v1 submitted 16 April, 2016; originally announced April 2016.

Comments: 15 pages

MSC Class: 13H10; 13H15; 13A30

Journal ref: Kyoto J. Math. 59, no. 4 (2019), 769-785

A Duality in Buchsbaum rings and triangulated manifolds

Authors: Satoshi Murai, Isabella Novik, Ken-ichi Yoshida

Abstract: Let $Δ$ be a triangulated homology ball whose boundary complex is $\partialΔ$. A result of Hochster asserts that the canonical module of the Stanley--Reisner ring of $Δ$, $\mathbb F[Δ]$, is isomorphic to the Stanley--Reisner module of the pair $(Δ, \partialΔ)$, $\mathbb F[Δ,\partial Δ]$. This result implies that an Artinian reduction of $\mathbb F[Δ,\partial Δ]$ is (up to a shift in grading) isomo… ▽ More Let $Δ$ be a triangulated homology ball whose boundary complex is $\partialΔ$. A result of Hochster asserts that the canonical module of the Stanley--Reisner ring of $Δ$, $\mathbb F[Δ]$, is isomorphic to the Stanley--Reisner module of the pair $(Δ, \partialΔ)$, $\mathbb F[Δ,\partial Δ]$. This result implies that an Artinian reduction of $\mathbb F[Δ,\partial Δ]$ is (up to a shift in grading) isomorphic to the Matlis dual of the corresponding Artinian reduction of $\mathbb F[Δ]$. We establish a generalization of this duality to all triangulations of connected orientable homology manifolds with boundary. We also provide an explicit algebraic interpretation of the $h"$-numbers of Buchsbaum complexes and use it to prove the monotonicity of $h"$-numbers for pairs of Buchsbaum complexes as well as the unimodality of $h"$-vectors of barycentric subdivisions of Buchsbaum polyhedral complexes. We close with applications to the algebraic manifold $g$-conjecture. △ Less

Submitted 3 March, 2016; v1 submitted 21 February, 2016; originally announced February 2016.

Comments: 19 pages, minor changes

MSC Class: 13F55; 13H10; 05E40; 52B05; 57Q15

Journal ref: Alg. Number Th. 11 (2017) 635-656

A characterization of two-dimensional rational singularities via Core of ideals

Authors: Tomohiro Okuma, Kei-ichi Watanabe, Ken-ichi Yoshida

Abstract: The notion of $p_g$-ideals for normal surface singularities has been proved to be very useful. On the other hand, the core of ideals has been proved to be very important concept and also very mysterious one. However, the computation of the core of an ideal seems to be given only for very special cases. In this paper, we will give an explicit description of the core of $p_g$-ideals of normal surfac… ▽ More The notion of $p_g$-ideals for normal surface singularities has been proved to be very useful. On the other hand, the core of ideals has been proved to be very important concept and also very mysterious one. However, the computation of the core of an ideal seems to be given only for very special cases. In this paper, we will give an explicit description of the core of $p_g$-ideals of normal surface singularities. As a consequence, we give a characterization of rational singularities using the inclusion of the core of integrally closed ideals. △ Less

Submitted 28 December, 2017; v1 submitted 4 November, 2015; originally announced November 2015.

Comments: 16 pages; various corrections and improvements. To appear in Journal of Algebra

MSC Class: 14B05 (Primary); 13B22; 14J17; 13A15; 13H15 (Secondary)

Rees algebras and $p_g$-ideals in a two-dimensional normal local domain

Authors: Tomohiro Okuma, Kei-ichi Watanabe, Ken-ichi Yoshida

Abstract: The authors introduced the notion of $p_g$-ideals for two-dimensional excellent normal local domain over an algebraicaly closed field in terms of resolution of singularities. In this note, we give several ring-theoretic characterization of $p_g$-ideals. For instance, an $m$-primary ideal $I \subset A$ is a $p_g$-ideal if and only if the Rees alegbra $\mathcal{R}(I)$ is a Cohen-Macaulay normal doma… ▽ More The authors introduced the notion of $p_g$-ideals for two-dimensional excellent normal local domain over an algebraicaly closed field in terms of resolution of singularities. In this note, we give several ring-theoretic characterization of $p_g$-ideals. For instance, an $m$-primary ideal $I \subset A$ is a $p_g$-ideal if and only if the Rees alegbra $\mathcal{R}(I)$ is a Cohen-Macaulay normal domain. △ Less

Submitted 3 November, 2015; originally announced November 2015.

Comments: 10 pages

MSC Class: Primary 13B22; Secondary 13A30; 14B05

On the most expected number of components for random links

Authors: Kazuhiro Ichihara, Ken-ichi Yoshida

Abstract: We consider a random link, which is defined as the closure of a braid obtained from a random walk on the braid group. For such a random link, the expected value for the number of components was calculated by Jiming Ma. In this paper, we determine the most expected number of components for a random link, and further, consider the most expected partition of the number of strings for a random braid. We consider a random link, which is defined as the closure of a braid obtained from a random walk on the braid group. For such a random link, the expected value for the number of components was calculated by Jiming Ma. In this paper, we determine the most expected number of components for a random link, and further, consider the most expected partition of the number of strings for a random braid. △ Less

Submitted 30 November, 2015; v1 submitted 11 July, 2015; originally announced July 2015.

Comments: 5 pages. v2; typos corrected. To appear in Tohoku Mathematical Journal

MSC Class: Primary 57M25; Secondary 20F36; 60G50

The almost Gorenstein Rees algebras of parameters

Authors: Shiro Goto, Naoyuki Matsuoka, Naoki Taniguchi, Ken-ichi Yoshida

Abstract: There is given a characterization for the Rees algebras of parameters in a Gorenstein local ring to be almost Gorenstein graded rings. A characterization is also given for the Rees algebras of socle ideals of parameters. The latter one shows almost Gorenstein Rees algebras rather rarely exist for socle ideals, if the dimension of the base local ring is greater than two. There is given a characterization for the Rees algebras of parameters in a Gorenstein local ring to be almost Gorenstein graded rings. A characterization is also given for the Rees algebras of socle ideals of parameters. The latter one shows almost Gorenstein Rees algebras rather rarely exist for socle ideals, if the dimension of the base local ring is greater than two. △ Less

Submitted 9 July, 2015; originally announced July 2015.

Comments: 13 pages

MSC Class: 13H10; 13H15; 13A30

The almost Gorenstein Rees algebras over two-dimensional regular local rings

Authors: Shiro Goto, Naoyuki Matsuoka, Naoki Taniguchi, Ken-ichi Yoshida

Abstract: Let $(R,\mathfrak{m})$ be a two-dimensional regular local ring with infinite residue class field. Then the Rees algebra $\mathcal{R} (I)= \bigoplus_{n \ge 0}I^n$ of $I$ is an almost Gorenstein graded ring in the sense of Goto-Takahashi-Taniguchi for every $\mathfrak{m}$-primary integrally closed ideal $I$ in $R$. Let $(R,\mathfrak{m})$ be a two-dimensional regular local ring with infinite residue class field. Then the Rees algebra $\mathcal{R} (I)= \bigoplus_{n \ge 0}I^n$ of $I$ is an almost Gorenstein graded ring in the sense of Goto-Takahashi-Taniguchi for every $\mathfrak{m}$-primary integrally closed ideal $I$ in $R$. △ Less

Submitted 22 June, 2015; originally announced June 2015.

Comments: 12 pages

MSC Class: 13H10; 13H15; 13A30

Ehrhart polynomials with negative coefficients

Authors: Takayuki Hibi, Akihiro Higashitani, Akiyoshi Tsuchiya, Koutarou Yoshida

Abstract: It is shown that, for each $d \geq 4$, there exists an integral convex polytope $\mathcal{P}$ of dimension $d$ such that each of the coefficients of $n, n^{2}, \ldots, n^{d-2}$ of its Ehrhart polynomial $i(\mathcal{P},n)$ is negative. Moreover, it is also shown that for each $d \geq 3$ and $1 \leq k \leq d-2$, there exists an integral convex polytope $\mathcal{P}$ of dimension $d$ such that the co… ▽ More It is shown that, for each $d \geq 4$, there exists an integral convex polytope $\mathcal{P}$ of dimension $d$ such that each of the coefficients of $n, n^{2}, \ldots, n^{d-2}$ of its Ehrhart polynomial $i(\mathcal{P},n)$ is negative. Moreover, it is also shown that for each $d \geq 3$ and $1 \leq k \leq d-2$, there exists an integral convex polytope $\mathcal{P}$ of dimension $d$ such that the coefficient of $n^k$ of the Ehrhart polynomial $i(\mathcal{P},n)$ of $\mathcal{P}$ is negative and all its remaining coefficients are positive. Finally, we consider all the possible sign patterns of the coefficients of the Ehrhart polynomials of low dimensional integral convex polytopes. △ Less

Submitted 2 May, 2016; v1 submitted 1 June, 2015; originally announced June 2015.

Comments: 9 pages

MSC Class: 52B20 (Primary); 52B11 (Secondary)

Ulrich modules over cyclic quotient surface singularities

Authors: Yusuke Nakajima, Ken-ichi Yoshida

Abstract: In this paper, we characterize Ulrich modules over cyclic quotient surface singularities by using the notion of special Cohen-Macaulay modules. We also investigate the number of indecomposable Ulrich modules for a given cyclic quotient surface singularity, and show that the number of exceptional curves in the minimal resolution gives a boundary for the number of indecomposable Ulrich modules. In this paper, we characterize Ulrich modules over cyclic quotient surface singularities by using the notion of special Cohen-Macaulay modules. We also investigate the number of indecomposable Ulrich modules for a given cyclic quotient surface singularity, and show that the number of exceptional curves in the minimal resolution gives a boundary for the number of indecomposable Ulrich modules. △ Less

Submitted 6 April, 2017; v1 submitted 28 April, 2015; originally announced April 2015.

Comments: 16 pages, to appear in J. Algebra, v3: changed several notations for improving our proofs, v2: Some minor changes, especially preliminaries are simplified

Stable presentation length of 3-manifold groups

Authors: Ken'ichi Yoshida

Abstract: We introduce the stable presentation length of a finitely presented group. The stable presentation length of the fundamental group of a 3-manifold can be considered as an analogue of the simplicial volume. We show that the stable presentation length have some additive properties like the simplicial volume, and the simplicial volume of a closed 3-manifold is bounded from above and below by constant… ▽ More We introduce the stable presentation length of a finitely presented group. The stable presentation length of the fundamental group of a 3-manifold can be considered as an analogue of the simplicial volume. We show that the stable presentation length have some additive properties like the simplicial volume, and the simplicial volume of a closed 3-manifold is bounded from above and below by constant multiples of the stable presentation length of its fundamental group. △ Less

Submitted 21 January, 2018; v1 submitted 11 January, 2015; originally announced January 2015.

Comments: 34 pages, 15 figures. v3: Lemma 6.3 added, the proof of Proposition 6.7 corrected, references added, v4: references added

MSC Class: 57M05; 57M27 (Primary) 57M10; 57M20 (Secondary)

Journal ref: Algebr. Geom. Topol. 18 (2018) 687-722

Good ideals and $p_g$-ideals in two-dimensional normal singularities

Authors: Tomohiro Okuma, Kei-ichi Watanabe, Ken-ichi Yoshida

Abstract: In this paper, we introduce the notion of $p_g$-ideals and $p_g$-cycles, which inherits nice properties of integrally closed ideals on rational singularities. As an application, we prove an existence of good ideals for two-dimensional Gorenstein normal local rings. Moreover, we classify all Ulrich ideals for two-dimensional simple elliptic singularities with small degree. In this paper, we introduce the notion of $p_g$-ideals and $p_g$-cycles, which inherits nice properties of integrally closed ideals on rational singularities. As an application, we prove an existence of good ideals for two-dimensional Gorenstein normal local rings. Moreover, we classify all Ulrich ideals for two-dimensional simple elliptic singularities with small degree. △ Less

Submitted 6 August, 2015; v1 submitted 7 July, 2014; originally announced July 2014.

Comments: 21 pages. The proof of Proposition 5.6 of the first version has been revised

MSC Class: 13A35 (Primary); 14B05; 14J17 (Secondary)

Ehrhart polynomials with negative coefficients

Authors: Takayuki Hibi, Akihiro Higashitani, Akiyoshi Tsuchiya, Koutarou Yoshida

Abstract: It is shown that, for each $d \geq 4$, there exists an integral convex polytope $\mathcal{P}$ of dimension $d$ such that each of the coefficients of $n, n^{2}, \ldots, n^{d-2}$ of its Ehrhart polynomial $i(\mathcal{P},n)$ is negative. It is shown that, for each $d \geq 4$, there exists an integral convex polytope $\mathcal{P}$ of dimension $d$ such that each of the coefficients of $n, n^{2}, \ldots, n^{d-2}$ of its Ehrhart polynomial $i(\mathcal{P},n)$ is negative. △ Less

Submitted 31 December, 2013; v1 submitted 25 December, 2013; originally announced December 2013.

Comments: 4 pages

MSC Class: Primary 52B20; Secondary 52B11

Ulrich ideals and modules over two-dimensional rational singularities

Authors: Shiro Goto, Kazuho Ozeki, Ryo Takahashi, Kei-ichi Watanabe, Ken-ichi Yoshida

Abstract: The main aim of this paper is to classify Ulrich ideals and Ulrich modules over two-dimensional Gorenstein rational singularities (rational double points) from a geometric point of view. To achieve this purpose, we introduce the notion of (weakly) special Cohen-Macaulay modules with respect to ideals, and study the relationship between those modules and Ulrich modules with respect to good ideals. The main aim of this paper is to classify Ulrich ideals and Ulrich modules over two-dimensional Gorenstein rational singularities (rational double points) from a geometric point of view. To achieve this purpose, we introduce the notion of (weakly) special Cohen-Macaulay modules with respect to ideals, and study the relationship between those modules and Ulrich modules with respect to good ideals. △ Less

Submitted 8 July, 2013; originally announced July 2013.

Comments: 30 pages

The minimal volume orientable hyperbolic 3-manifold with 4 cusps

Authors: Ken'ichi Yoshida

Abstract: We prove that the 8^4_2 link complement is the minimal volume orientable hyperbolic manifold with 4 cusps. Its volume is twice of the volume V_8 of the ideal regular octahedron, i.e. 7.32... = 2V_8. The proof relies on Agol's argument used to determine the minimal volume hyperbolic 3-manifolds with 2 cusps. We also need to estimate the volume of a hyperbolic 3-manifold with totally geodesic bounda… ▽ More We prove that the 8^4_2 link complement is the minimal volume orientable hyperbolic manifold with 4 cusps. Its volume is twice of the volume V_8 of the ideal regular octahedron, i.e. 7.32... = 2V_8. The proof relies on Agol's argument used to determine the minimal volume hyperbolic 3-manifolds with 2 cusps. We also need to estimate the volume of a hyperbolic 3-manifold with totally geodesic boundary which contains an essential surface with non-separating boundary. △ Less

Submitted 30 April, 2013; v1 submitted 6 September, 2012; originally announced September 2012.

Comments: 22 pages, 16 figures

MSC Class: 57M27

Journal ref: Pacific Journal of Mathematics 266-2 (2013) 457-476

Ulrich ideals and modules

Authors: Shiro Goto, Kazuho Ozeki, Ryo Takahashi, Kei-ichi Watanabe, Ken-ichi Yoshida

Abstract: In this paper we study Ulrich ideals of and Ulrich modules over Cohen--Macaulay local rings from various points of view. We determine the structure of minimal free resolutions of Ulrich modules and their associated graded modules, and classify Ulrich ideals of numerical semigroup rings and rings of finite CM-representation type. In this paper we study Ulrich ideals of and Ulrich modules over Cohen--Macaulay local rings from various points of view. We determine the structure of minimal free resolutions of Ulrich modules and their associated graded modules, and classify Ulrich ideals of numerical semigroup rings and rings of finite CM-representation type. △ Less

Submitted 6 June, 2013; v1 submitted 14 June, 2012; originally announced June 2012.

Comments: 31 pages, to appear in Math. Proc. Cambridge Philos. Soc. Section 9 in the previous version will be included in another paper

MSC Class: 13A30; 13D02; 13H10; 13H15; 16G60

On the second powers of Stanley-Reisner ideals

Authors: Giancarlo Rinaldo, Naoki Terai, Ken-ichi Yoshida

Abstract: In this paper, we study several properties of the second power $I_Δ^2$ of a Stanley-Reisner ideal $I_Δ$ of any dimension. As the main result, we prove that $S/I_Δ$ is Gorenstein whenever $S/I_Δ^2$ is Cohen-Macaulay over any field $K$. Moreover, we give a criterion for the second symbolic power of $I_Δ$ to satisfy $(S_2)$ and to coincide with the ordinary power, respectively. Finally, we provide ne… ▽ More In this paper, we study several properties of the second power $I_Δ^2$ of a Stanley-Reisner ideal $I_Δ$ of any dimension. As the main result, we prove that $S/I_Δ$ is Gorenstein whenever $S/I_Δ^2$ is Cohen-Macaulay over any field $K$. Moreover, we give a criterion for the second symbolic power of $I_Δ$ to satisfy $(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. △ Less

Submitted 8 March, 2012; originally announced March 2012.

Comments: This is an almost final version

MSC Class: 13F55; 13H10

Journal ref: J. Commut. Algebra 3 (2011) 405-430

Cohen--Macaulaynees for symbolic power ideals of edge ideals

Authors: Giancarlo Rinaldo, Naoki Terai, Ken-ichi Yoshida

Abstract: Let $S = K[x_1,..., x_n]$ be a polynomial ring over a field $K$. Let $I(G) \subseteq S$ denote the edge ideal of a graph $G$. We show that the $\ell$th symbolic power $I(G)^{(\ell)}$ is a Cohen-Macaulay ideal (i.e., $S/I(G)^{(\ell)}$ is Cohen-Macaulay) for some integer $\ell \ge 3$ if and only if $G$ is a disjoint union of finitely many complete graphs. When this is the case, all the symbolic powe… ▽ More Let $S = K[x_1,..., x_n]$ be a polynomial ring over a field $K$. Let $I(G) \subseteq S$ denote the edge ideal of a graph $G$. We show that the $\ell$th symbolic power $I(G)^{(\ell)}$ is a Cohen-Macaulay ideal (i.e., $S/I(G)^{(\ell)}$ is Cohen-Macaulay) for some integer $\ell \ge 3$ if and only if $G$ is a disjoint union of finitely many complete graphs. When this is the case, all the symbolic powers $I(G)^{(\ell)}$ are Cohen-Macaulay ideals. Similarly, we characterize graphs $G$ for which $S/I(G)^{(\ell)}$ has (FLC). As an application, we show that an edge ideal $I(G)$ is complete intersection provided that $S/I(G)^{\ell}$ is Cohen-Macaulay for some integer $\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]. △ Less

Submitted 8 March, 2012; originally announced March 2012.

Comments: The final version have been published

MSC Class: 13F55; 13H10

Journal ref: Journal of Algebra 347 (2011) 405-430

Steenrod-Cech homology-cohomology theories associated with bivariant functors

Authors: Kohei Yoshida

Abstract: Let NG0 denote the category of all pointed numerically generated spaces and continuous maps preserving base-points. In [SYH], we described a passage from bivariant functors to generalized homology and cohomology theories. In this paper, we construct a bivariant functor such that the associated cohomology is the Cech cohomology and the homology is the Steenrod homology (at least for compact metric… ▽ More Let NG0 denote the category of all pointed numerically generated spaces and continuous maps preserving base-points. In [SYH], we described a passage from bivariant functors to generalized homology and cohomology theories. In this paper, we construct a bivariant functor such that the associated cohomology is the Cech cohomology and the homology is the Steenrod homology (at least for compact metric spaces). △ Less

Submitted 28 December, 2011; originally announced December 2011.

Comments: 10 pages

MSC Class: 55N20; 55N05; 55N07

Homology and cohomology via enriched bifunctors

Authors: K. Shimakawa, K. Yoshida, T. Haraguchi

Abstract: We show that the category of numerically generated pointed spaces is complete, cocomplete, and monoidally closed with respect to the smash product, and then utilize these features to establish a simple but flexible method for constructing generalized homology and cohomology theories by using the notion of enriched bifunctors. We show that the category of numerically generated pointed spaces is complete, cocomplete, and monoidally closed with respect to the smash product, and then utilize these features to establish a simple but flexible method for constructing generalized homology and cohomology theories by using the notion of enriched bifunctors. △ Less

Submitted 16 October, 2010; originally announced October 2010.

Comments: 16 pages

MSC Class: 55N20; 18G55; 18B30

Schmitt-Vogel type lemma for reductions

Authors: Kyouko Kimura, Naoki Terai, Ken-ichi Yoshida

Abstract: The lemma given by Schmitt and Vogel is an important tool in the study of arithmetical rank of squarefree monomial ideals. In this paper, we give a Schmitt-Vogel type lemma for reductions as an analogous result. The lemma given by Schmitt and Vogel is an important tool in the study of arithmetical rank of squarefree monomial ideals. In this paper, we give a Schmitt-Vogel type lemma for reductions as an analogous result. △ Less

Submitted 7 December, 2009; originally announced December 2009.

Comments: 10 pages

MSC Class: 13A30

Bifurcation Analysis of Noise-induced Synchronization

Authors: Katsutoshi Yoshida, Yusuke Nishizawa

Abstract: We investigate bifurcation phenomena between slow and fast convergences of synchronization errors arising in the proposed synchronization system consisting of two identical nonlinear dynamical systems linked by a common noisy input only. The numerical continuation of the saddle-node bifurcation set of the primary resonance of moments provides an effective identifier of the slow convergence of sy… ▽ More We investigate bifurcation phenomena between slow and fast convergences of synchronization errors arising in the proposed synchronization system consisting of two identical nonlinear dynamical systems linked by a common noisy input only. The numerical continuation of the saddle-node bifurcation set of the primary resonance of moments provides an effective identifier of the slow convergence of synchronization errors. △ Less

Submitted 7 September, 2009; originally announced September 2009.

Comments: 12 pages, 8 figures

Journal ref: IJICIC, Vol.5, No.9, (2009), pp.2809-2818

Locally complete intersection Stanley-Reisner ideals

Authors: Naoki Terai, Ken-ichi Yoshida

Abstract: In this paper, we prove that the Stanley--Reisner ideal of any connected simplicial complex of dimension $\ge 2$ that is locally complete intersection is a complete intersection ideal. As an application, we show that the Stanley--Reisner ideal whose powers are Buchsbaum is a complete intersection ideal. In this paper, we prove that the Stanley--Reisner ideal of any connected simplicial complex of dimension $\ge 2$ that is locally complete intersection is a complete intersection ideal. As an application, we show that the Stanley--Reisner ideal whose powers are Buchsbaum is a complete intersection ideal. △ Less

Submitted 25 January, 2009; originally announced January 2009.

Comments: 15 pages

MSC Class: 13F55; 13H10

Test ideals vs. multiplier ideals

Authors: Mircea Mustata, Ken-ichi Yoshida

Abstract: The generalized test ideals introduced in [HY] are related to multiplier ideals via reduction to characteristic p. In addition, they satisfy many of the subtle properties of the multiplier ideals, which in characteristic zero follow via vanishing theorems. In this note we give several examples to emphasize the different behavior of test ideals and multiplier ideals. Our main result is that every… ▽ More The generalized test ideals introduced in [HY] are related to multiplier ideals via reduction to characteristic p. In addition, they satisfy many of the subtle properties of the multiplier ideals, which in characteristic zero follow via vanishing theorems. In this note we give several examples to emphasize the different behavior of test ideals and multiplier ideals. Our main result is that every ideal in an F-finite regular local ring can be written as a generalized test ideal. We also prove the semicontinuity of $F$-pure thresholds (though the analogue of the Generic Restriction Theorem for multiplier ideals does not hold). △ Less

Submitted 3 June, 2008; v1 submitted 8 June, 2007; originally announced June 2007.

Comments: 14 pages; v.2: typos corrected; v.3: minor revision, to appear in Nagoya Mathematical Journal

MSC Class: 13A35 (Primary); 14B05 (Secondary)

Generalized test ideals and symbolic powers

Authors: Shunsuke Takagi, Ken-ichi Yoshida

Abstract: Hochster and Huneke proved in \cite{HH5} fine behaviors of symbolic powers of ideals in regular rings, using the theory of tight closure. In this paper, we use generalized test ideals, which are a characteristic $p$ analogue of multiplier ideals, to give a slight generalization of Hochster-Huneke's results. Hochster and Huneke proved in \cite{HH5} fine behaviors of symbolic powers of ideals in regular rings, using the theory of tight closure. In this paper, we use generalized test ideals, which are a characteristic $p$ analogue of multiplier ideals, to give a slight generalization of Hochster-Huneke's results. △ Less

Submitted 1 December, 2007; v1 submitted 31 January, 2007; originally announced January 2007.

Comments: 13 pages; v.2: minor changes, to appear in Michigan Math. J

MSC Class: 13H05; 13A35

Buchsbaum homogeneous algebras with minimal multiplicity

Authors: Shiro Goto, Ken-ichi Yoshida

Abstract: In this paper we first give a lower bound on multiplicities for Buchsbaum homogeneous $k$-algebras $A$ in terms of the dimension $d$, the codimension $c$, the initial degree $q$, and the length of the local cohomology modules of $A$. Next, we introduce the notion of Buchsbaum $k$-algebras with minimal multiplicity of degree $q$, and give several characterizations for those rings. In particular,… ▽ More In this paper we first give a lower bound on multiplicities for Buchsbaum homogeneous $k$-algebras $A$ in terms of the dimension $d$, the codimension $c$, the initial degree $q$, and the length of the local cohomology modules of $A$. Next, we introduce the notion of Buchsbaum $k$-algebras with minimal multiplicity of degree $q$, and give several characterizations for those rings. In particular, we will show that those algebras have linear free resolutions. Further, we will give many examples of those algebras. △ Less

Submitted 18 July, 2006; originally announced July 2006.

Comments: 16 pages

MSC Class: 13H10; 13H15