BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Masahico Saito

Masahico Saito appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.GTmath.QAmath.RAmath.COmath.AT

Catalog footprint

What is connected

18works
5topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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.

Published work

18 published item(s)

preprint2022arXiv

Extensions of Augmented Racks and Surface Ribbon Cocycle Invariants

A rack is a set with a binary operation that is right-invertible and self-distributive, properties diagrammatically corresponding to Reidemeister moves II and III, respectively. A rack is said to be an {\it augmented rack} if the operation is written by a group action. Racks and their cohomology theories have been extensively used for knot and knotted surface invariants. Similarly to group cohomology, rack 2-cocycles relate to extensions, and a natural question that arises is to characterize the extensions of augmented racks that are themselves augmented racks. In this paper, we characterize such extensions in terms of what we call {\it fibrant and additive} cohomology of racks. Simultaneous extensions of racks and groups are considered, where the respective $2$-cocycles are related through a certain formula. Furthermore, we construct coloring and cocycle invariants for compact orientable surfaces with boundary in ribbon forms embedded in $3$-space.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Fundamental Heap for Framed Links and Ribbon Cocycle Invariants

A heap is a set with a certain ternary operation that is self-distributive (TSD) and exemplified by a group with the operation $(x,y,z)\mapsto xy^{-1}z$. We introduce and investigate framed link invariants using heaps. In analogy with the knot group, we define the fundamental heap of framed links using group presentations. The fundamental heap is determined for some classes of links such as certain families of torus and pretzel links. We show that for these families of links there exist epimorphisms from fundamental heaps to Vinberg and Coxeter groups, implying that corresponding groups are infinite. A relation to the Wirtinger presentation is also described. The cocycle invariant is defined using ternary self-distributive (TSD) cohomology, by means of a state sum that uses ternary heap $2$-cocycles as weights. This invariant corresponds to a rack cocycle invariant for the rack constructed by doubling of a heap, while colorings can be regarded as heap morphisms from the fundamental heap. For the construction of the invariant, first computational methods for the heap cohomology are developed. It is shown that the cohomology splits into two types, called degenerate and nondegenerate, and that the degenerate part is one dimensional. Subcomplexes are constructed based on group cosets, that allow computations of the nondegenerate part. Computations of the cocycle invariants are presented using the cocycles constructed, and conversely, it is proved that the invariant values can be used to derive algebraic properties of the cohomology.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Braided Frobenius Algebras from certain Hopf Algebras

A braided Frobenius algebra is a Frobenius algebra with braiding that commutes with the operations, that are related to diagrams of compact surfaces with boundary expressed as ribbon graphs. A heap is a ternary operation exemplified by a group with the operation $(x,y,z) \mapsto xy^{-1}z$, that is ternary self-distributive. Hopf algebras can be endowed with the algebra version of the heap operation. Using this, we construct braided Frobenius algebras from a class of certain Hopf algebras that admit integrals and cointegrals. For these Hopf algebras we show that the heap operation induces a braiding, by means of a Yang-Baxter operator on the tensor product, which satisfies the required compatibility conditions. Diagrammatic methods are employed for proving commutativity between the braiding and Frobenius operations.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Skein theoretic approach to Yang-Baxter homology

We introduce skein theoretic techniques to compute the Yang-Baxter (YB) homology and cohomology groups of the R-matrix corresponding to the Jones polynomial. More specifically, we show that the YB operator $R$ for Jones, normalized for homology, admits a skein decomposition $R = I + βα$, where $α: V^{\otimes 2} \rightarrow k$ is a "cup" pairing map and $β: k \rightarrow V^{\otimes 2}$ is a "cap" copairing map, and differentials in the chain complex associated to $R$ can be decomposed into horizontal tensor concatenations of cups and caps. We apply our skein theoretic approach to determine the second and third YB homology groups, confirming a conjecture of Przytycki and Wang. Further, we compute the cohomology groups of $R$, and provide computations in higher dimensions that yield some annihilations of submodules.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Heap and Ternary Self-Distributive Cohomology

Heaps are para-associative ternary operations bijectively exemplified by groups via the operation $(x,y,z) \mapsto x y^{-1} z$. They are also ternary self-distributive, and have a diagrammatic interpretation in terms of framed links. Motivated by these properties, we define para-associative and heap cohomology theories and also a ternary self-distributive cohomology theory with abelian heap coefficients. We show that one of the heap cohomologies is related to group cohomology via a long exact sequence. Moreover we construct maps between second cohomology groups of normalized group cohomology and heap cohomology, and show that the latter injects into the ternary self-distributive second cohomology group. We proceed to study heap objects in symmetric monoidal categories providing a characterization of pointed heaps as involutory Hopf monoids in the given category. Finally we prove that heap objects are also "categorically" self-distributive in an appropriate sense.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Higher Arity Self-Distributive Operations in Cascades and their Cohomology

We investigate constructions of higher arity self-distributive operations, and give relations between cohomology groups corresponding to operations of different arities. For this purpose we introduce the notion of mutually distributive $n$-ary operations generalizing those for the binary case, and define a cohomology theory labeled by these operations. A geometric interpretation in terms of framed links is described, with the scope of providing algebraic background of constructing $2$-cocycles for framed link invariants. This theory is also studied in the context of symmetric monoidal categories. Examples from Lie algebras, coalgebras and Hopf algebras are given.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Algebraic Properties of Quandle Extensions and Values of Cocycle Knot Invariants

Quandle 2-cocycles define invariants of classical and virtual knots, and extensions of quandles. We show that the quandle 2-cocycle invariant with respect to a non-trivial $2$-cocycle is constant, or takes some other restricted form, for classical knots when the corresponding extensions satisfy certain algebraic conditions. In particular, if an abelian extension is a conjugation quandle, then the corresponding cocycle invariant is constant. Specific examples are presented from the list of connected quandles of order less than 48. Relations among various quandle epimorphisms involved are also examined.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Computation of quandle 2-cocycle knot invariants without explicit 2-cocycles

We explore a knot invariant derived from colorings of corresponding $1$-tangles with arbitrary connected quandles. When the quandle is an abelian extension of a certain type the invariant is equivalent to the quandle $2$-cocycle invariant. We construct many such abelian extensions using generalized Alexander quandles without explicitly finding $2$-cocycles. This permits the construction of many $2$-cocycle invariants without exhibiting explicit $2$-cocycles. We show that for connected generalized Alexander quandles the invariant is equivalent to Eisermann's knot coloring polynomial. Computations using this technique show that the $2$-cocycle invariant distinguishes all of the oriented prime knots up to 11 crossings and most oriented prime knots with 12 crosssings including classification by symmetry: mirror images, reversals, and reversed mirrors.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Quandle Identities and Homology

Quandle homology was defined from rack homology as the quotient by a subcomplex corresponding to the idempotency, for invariance under the type I Reidemeister move. Similar subcomplexes have been considered for various identities of racks and moves on diagrams. We observe common aspects of these identities and subcomplexes; a quandle identity gives rise to a $2$-cycle, the abelian extension with a $2$-cocycle that vanishes on the $2$-cycle inherits the identity, and a subcomplex is constructed from the identity. Specific identities are examined among small connected quandles.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Genus Ranges of Chord Diagrams

A chord diagram consists of a circle, called the backbone, with line segments, called chords, whose endpoints are attached to distinct points on the circle. The genus of a chord diagram is the genus of the orientable surface obtained by thickening the backbone to an annulus and attaching bands to the inner boundary circle at the ends of each chord. Variations of this construction are considered here, where bands are possibly attached to the outer boundary circle of the annulus. The genus range of a chord diagram is the genus values over all such variations of surfaces thus obtained from a given chord diagram. Genus ranges of chord diagrams for a fixed number of chords are studied. Integer intervals that can, and cannot, be realized as genus ranges are investigated. Computer calculations are presented, and play a key role in discovering and proving the properties of genus ranges.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Quandle Colorings of Knots and Applications

We present a set of 26 finite quandles that distinguish (up to reversal and mirror image) by number of colorings, all of the 2977 prime oriented knots with up to 12 crossings. We also show that 1058 of these knots can be distinguished from their mirror images by the number of colorings by quandles from a certain set of 23 finite quandles. We study the colorings of these 2977 knots by all of the 431 connected quandles of order at most 35 found by L. Vendramin. Among other things, we collect information about quandles that have the same number of colorings for all of the 2977 knots. For example, we prove that if $Q$ is a simple quandle of prime power order then $Q$ and the dual quandle $Q^*$ of $Q$ have the same number of colorings for all knots and conjecture that this holds for all Alexander quandles $Q$. We study a knot invariant based on a quandle homomorphism $f:Q_1\to Q_0$. We also apply the quandle colorings we have computed to obtain some new results for the bridge index, the Nakanishi index, the tunnel number, and the unknotting number. In an appendix we discuss various properties of the quandles in Vendramin's list. Links to the data computed and various programs in C, GAP and Maple are provided.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Genus Ranges of 4-Regular Rigid Vertex Graphs

We introduce a notion of genus range as a set of values of genera over all surfaces into which a graph is embedded cellularly, and we study the genus ranges of a special family of four-regular graphs with rigid vertices that has been used in modeling homologous DNA recombination. We show that the genus ranges are sets of consecutive integers. For any positive integer $n$, there are graphs with $2n $ vertices that have genus range ${m,m+1,...,m'}$ for all $0\le m<m'\le n$, and there are graphs with $2n-1$ vertices with genus range ${m,m+1,...,m'}$ for all $0\le m<m' <n$ or $0<m<m'\le n$. Further, we show that for every $n$ there is $k<n$ such that ${h}$ is a genus range for graphs with $2n-1$ and $2n$ vertices for all $h\le k$. It is also shown that for every $n$, there is a graph with $2n$ vertices with genus range ${0,1,...,n}$, but there is no such a graph with $2n-1$ vertices.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Connected Quandles Associated with Pointed Abelian Groups

A quandle is a self-distributive algebraic structure that appears in quasi-group and knot theories. For each abelian group A and c \in A we define a quandle G(A, c) on \Z_3 \times A. These quandles are generalizations of a class of non-medial Latin quandles defined by V. M. Galkin so we call them Galkin quandles. Each G(A, c) is connected but not Latin unless A has odd order. G(A, c) is non-medial unless 3A = 0. We classify their isomorphism classes in terms of pointed abelian groups, and study their various properties. A family of symmetric connected quandles is constructed from Galkin quandles, and some aspects of knot colorings by Galkin quandles are also discussed.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Algebraic Structures Derived from Foams

Foams are surfaces with branch lines at which three sheets merge. They have been used in the categorification of sl(3) quantum knot invariants and also in physics. The 2D-TQFT of surfaces, on the other hand, is classified by means of commutative Frobenius algebras, where saddle points correspond to multiplication and comultiplication. In this paper, we explore algebraic operations that branch lines derive under TQFT. In particular, we investigate Lie bracket and bialgebra structures. Relations to the original Frobenius algebra structures are discussed both algebraically and diagrammatically.

0 citations0 reviewsNo code linkedOpen access
preprint2002arXiv

Twisted quandle homology theory and cocycle knot invariants

The quandle homology theory is generalized to the case when the coefficient groups admit the structure of Alexander quandles, by including an action of the infinite cyclic group in the boundary operator. Theories of Alexander extensions of quandles in relation to low dimensional cocycles are developed in parallel to group extension theories for group cocycles. Explicit formulas for cocycles corresponding to extensions are given, and used to prove non-triviality of cohomology groups for some quandles. The corresponding generalization of the quandle cocycle knot invariants is given, by using the Alexander numbering of regions in the definition of state-sums. The invariants are used to derive information on twisted cohomology groups.

0 citations0 reviewsNo code linkedOpen access
preprint2001arXiv

A Theorem of Sanderson on Link Bordisms in Dimension 4

The groups of link bordism can be identified with homotopy groups via the Pontryagin-Thom construction. B.J. Sanderson computed the bordism group of 3 component surface-links using the Hilton-Milnor Theorem, and later gave a geometric interpretation of the groups in terms of intersections of Seifert hypersurfaces and their framings. In this paper, we geometrically represent every element of the bordism group uniquely by a certain standard form of a surface-link, a generalization of a Hopf link. The standard forms give rise to an inverse of Sanderson's geometrically defined invariant.

0 citations0 reviewsNo code linkedOpen access
preprint1999arXiv

Computations of Quandle Cocycle Invariants of Knotted Curves and Surfaces

State-sum invariants for knotted curves and surfaces using quandle cohomology were introduced by Laurel Langford and the authors in math.GT/9903135 In this paper we present methods to compute the invariants and sample computations. Computer calculations of cohomological dimensions for some quandles are presented. For classical knots, Burau representations together with Maple programs are used to evaluate the invariants for knot table. For knotted surfaces in 4-space, movie methods and surface braid theory are used. Relations between the invariants and symmetries of knots are discussed.

0 citations0 reviewsNo code linkedOpen access