Showing 1–9 of 9 results for author: Matsuzaki, S

(Co)homology of racks and multiple group racks for compact oriented surfaces in the 3-sphere

Authors: Shosaku Matsuzaki, Tomo Murao

Abstract: We introduce (co)homology theory for multiple group racks and construct cocycle invariants of compact oriented surfaces in the 3-sphere using their 2-cocycles, where a multiple group rack is a rack consisting of a disjoint union of groups. We provide a method to find new rack cocycles and multiple group rack cocycles from existing rack cocycles and quandle cocycles. Evaluating cocycle invariants,… ▽ More We introduce (co)homology theory for multiple group racks and construct cocycle invariants of compact oriented surfaces in the 3-sphere using their 2-cocycles, where a multiple group rack is a rack consisting of a disjoint union of groups. We provide a method to find new rack cocycles and multiple group rack cocycles from existing rack cocycles and quandle cocycles. Evaluating cocycle invariants, we determine several symmetry types, caused by chirality and invertibility, of compact oriented surfaces in the 3-sphere. △ Less

Submitted 20 October, 2023; originally announced October 2023.

Comments: 27 pages, 16 figures

MSC Class: 57K12; 57K10; 55N20

Circle arrangements of link projections

Authors: Noboru Ito, Shosaku Matsuzaki, Kouki Taniyama

Abstract: An oriented link projection is the image of a generic immersion of oriented circles into the 2-sphere. The circle arrangement of a link projection is a disjoint union of unoriented circles on the 2-sphere obtained by orientation-incoherent smoothing at each crossing point. We show that two oriented link projections have the same circle arrangement if and only if they are transformed into each othe… ▽ More An oriented link projection is the image of a generic immersion of oriented circles into the 2-sphere. The circle arrangement of a link projection is a disjoint union of unoriented circles on the 2-sphere obtained by orientation-incoherent smoothing at each crossing point. We show that two oriented link projections have the same circle arrangement if and only if they are transformed into each other by certain local moves. We also show that every odd (resp. even) component link has a link projection whose circle arrangement consists of exactly one (resp. two) circles. △ Less

Submitted 20 November, 2020; originally announced November 2020.

Comments: 8 pages, 13 figures

Journal ref: Kobe J. Math. 34 (2017), 27--36

Cocycles of $G$-Alexander biquandles and $G$-Alexander multiple conjugation biquandles

Authors: Atsushi Ishii, Masahide Iwakiri, Seiichi Kamada, Jieon Kim, Shosaku Matsuzaki, Kanako Oshiro

Abstract: Biquandles and multiple conjugation biquandles are algebras which are related to links and handlebody-links in $3$-space. Cocycles of them can be used to construct state-sum type invariants of links and handlebody-links. In this paper we discuss cocycles of a certain class of biquandles and multiple conjugation biquandles, which we call $G$-Alexander biquandles and $G$-Alexander multiple conjugati… ▽ More Biquandles and multiple conjugation biquandles are algebras which are related to links and handlebody-links in $3$-space. Cocycles of them can be used to construct state-sum type invariants of links and handlebody-links. In this paper we discuss cocycles of a certain class of biquandles and multiple conjugation biquandles, which we call $G$-Alexander biquandles and $G$-Alexander multiple conjugation biquandles, with a relationship with group cocycles. We give a method to obtain a (biquandle or multiple conjugation biquandle) cocycle of them from a group cocycle. △ Less

Submitted 25 February, 2020; originally announced February 2020.

Comments: 31 pages

MSC Class: 57M27; 57M25

A multiple group rack and oriented spatial surfaces

Authors: Atsushi Ishii, Shosaku Matsuzaki, Tomo Murao

Abstract: A spatial surface is a compact surface embedded in the 3-sphere. In this paper, we provide several typical examples of spatial surfaces and construct a coloring invariant to distinguish them. The coloring is defined by using a multiple group rack, which is a rack version of a multiple conjugation quandle. A spatial surface is a compact surface embedded in the 3-sphere. In this paper, we provide several typical examples of spatial surfaces and construct a coloring invariant to distinguish them. The coloring is defined by using a multiple group rack, which is a rack version of a multiple conjugation quandle. △ Less

Submitted 22 October, 2023; v1 submitted 6 December, 2019; originally announced December 2019.

Comments: 17 pages, 19 figures

MSC Class: 57K12 (Primary); 57K10; 57K31 (Secondary)

Journal ref: J. Knot Theory Ramifications Vol.29, No.7 (2020) 2050046, 20pages

A diagrammatic presentation and its characterization of non-split compact surfaces in the 3-sphere

Authors: Shosaku Matsuzaki

Abstract: We give a presentation for a non-split compact surface embedded in the 3-sphere by using diagrams of spatial trivalent graphs equipped with signs and we define Reidemeister moves for such signed diagrams. We show that two diagrams of embedded surfaces are related by Reidemeister moves if and only if the surfaces represented by the diagrams are ambient isotopic in the 3-sphere. We give a presentation for a non-split compact surface embedded in the 3-sphere by using diagrams of spatial trivalent graphs equipped with signs and we define Reidemeister moves for such signed diagrams. We show that two diagrams of embedded surfaces are related by Reidemeister moves if and only if the surfaces represented by the diagrams are ambient isotopic in the 3-sphere. △ Less

Submitted 22 October, 2023; v1 submitted 8 May, 2019; originally announced May 2019.

Comments: 28 pages, 43 figures

MSC Class: 57M25 (primary); 57M27 (secondary)

Journal ref: J. Knot Theory Ramifications Vol.30, No.9 (2021) 2150071, 32pages

Biquandle (co)homology and handlebody-links

Authors: Atsushi Ishii, Masahide Iwakiri, Seiichi Kamada, Jieon Kim, Shosaku Matsuzaki, Kanako Oshiro

Abstract: In this paper, we introduce the (co)homology group of a multiple conjugation biquandle. It is the (co)homology group of the prismatic chain complex, which is related to the homology of foams introduced by J. S. Carter, modulo a certain subchain complex. We construct invariants for $S^1$-oriented handlebody-links using $2$-cocycles. When a multiple conjugation biquandle… ▽ More In this paper, we introduce the (co)homology group of a multiple conjugation biquandle. It is the (co)homology group of the prismatic chain complex, which is related to the homology of foams introduced by J. S. Carter, modulo a certain subchain complex. We construct invariants for $S^1$-oriented handlebody-links using $2$-cocycles. When a multiple conjugation biquandle $X\times\mathbb{Z}_{\operatorname{type}X_Y}$ is obtained from a biquandle $X$ using $n$-parallel operations, we provide a $2$-cocycle (or $3$-cocycle) of the multiple conjugation biquandle $X\times\mathbb{Z}_{\operatorname{type}X_Y}$ from a $2$-cocycle (or $3$-cocycle) of the biquandle $X$ equipped with an $X$-set $Y$. △ Less

Submitted 22 January, 2018; originally announced January 2018.

Comments: arXiv admin note: text overlap with arXiv:1702.01363; text overlap with arXiv:1704.07792 by other authors

MSC Class: 57M27; 57M25

A multiple conjugation biquandle and handlebody-links

Authors: Atsushi Ishii, Masahide Iwakiri, Seiichi Kamada, Jieon Kim, Shosaku Matsuzaki, Kanako Oshiro

Abstract: We introduce a multiple conjugation biquandle, and show that it is the universal algebra to define a semi-arc coloring invariant for handlebody-links. A multiple conjugation biquandle is a generalization of a multiple conjugation quandle. We extend the notion of $n$-parallel biquandle operations for any integer $n$, and show that any biquandle gives a multiple conjugation biquandle with them. We introduce a multiple conjugation biquandle, and show that it is the universal algebra to define a semi-arc coloring invariant for handlebody-links. A multiple conjugation biquandle is a generalization of a multiple conjugation quandle. We extend the notion of $n$-parallel biquandle operations for any integer $n$, and show that any biquandle gives a multiple conjugation biquandle with them. △ Less

Submitted 4 February, 2017; originally announced February 2017.

MSC Class: 57M27; 57M25

Genera and minors of multibranched surfaces

Authors: Shosaku Matsuzaki, Makoto Ozawa

Abstract: We say that a $2$-dimensional CW complex is a multibranched surface if we remove all points whose open neighborhoods are homeomorphic to the $2$-dimensional Euclidean space, then we obtain a $1$-dimensional complex which is homeomorphic to a disjoint union of some $S^1$'s. We define the genus of a multibranched surface $X$ as the minimum number of genera of $3$-dimensional manifold into which $X$… ▽ More We say that a $2$-dimensional CW complex is a multibranched surface if we remove all points whose open neighborhoods are homeomorphic to the $2$-dimensional Euclidean space, then we obtain a $1$-dimensional complex which is homeomorphic to a disjoint union of some $S^1$'s. We define the genus of a multibranched surface $X$ as the minimum number of genera of $3$-dimensional manifold into which $X$ can be embedded. We prove some inequalities which give upper bounds for the genus of a multibranched surface. A multibranched surface is a generalization of graphs. Therefore, we can define "minors" of multibranched surfaces analogously. We study various properties of the minors of multibranched surfaces. △ Less

Submitted 30 March, 2016; originally announced March 2016.

Comments: 23 pages, 16 figures

An obstruction to embedding $2$-dimensional complexes into the $3$-sphere

Authors: Kazufumi Eto, Shosaku Matsuzaki, Makoto Ozawa

Abstract: We consider an embedding of a $2$-dimensional CW complex into the $3$-sphere, and construct it's dual graph. Then we obtain a homogeneous system of linear equations from the $2$-dimensional CW complex in the first homology group of the complement of the dual graph. By checking that the homogeneous system of linear equations does not have an integral solution, we show that some $2$-dimensional CW c… ▽ More We consider an embedding of a $2$-dimensional CW complex into the $3$-sphere, and construct it's dual graph. Then we obtain a homogeneous system of linear equations from the $2$-dimensional CW complex in the first homology group of the complement of the dual graph. By checking that the homogeneous system of linear equations does not have an integral solution, we show that some $2$-dimensional CW complexes cannot be embedded into the 3-sphere. △ Less

Submitted 28 March, 2015; v1 submitted 7 March, 2015; originally announced March 2015.

Comments: 10 page, 11 figures

MSC Class: 57Q35 (Primary); 57N35 (Secondary)