arXiv subjects
Publications and source records attributed to Masahico Saito.
A cohomology theory of the adjoint of Hopf algebras, via deformations, is presented by means of diagrammatic techniques. Explicit calculations are provided in the cases of group algebras, function algebras on groups, and the bosonization of the super line. As applications, solutions to the YBE are given and quandle cocycles are constructed from groupoid cocycles.
Cocycles are constructed by polynomial expressions for Alexander quandles. As applications, non-triviality of some quandle homology groups are proved, and quandle cocycle invariants of knots are studied. In particular, for an infinite family of quandles, the non-triviality of quandle homology groups is proved for all odd dimensions.
A group-theoretical method, via Wada's representations, is presented to distinguish Kishino's virtual knot from the unknot. Biquandles are constructed for any group using Wada's braid group representations. Cocycle invariants for these biquandles are studied. These invariants are applied to show the non-existence of Alexander numberings and checkerboard colorings.
To study embeddings of tangles in knots, we use quandle cocycle invariants. Computations are carried out for the tables of knots and tangles, to investigate which tangles may or may not embed in knots in the tables.
We define self-distributive structures in the categories of coalgebras and cocommutative coalgebras. We obtain examples from vector spaces whose bases are the elements of finite quandles, the direct sum of a Lie algebra with its ground field, and Hopf algebras. The self-distributive operations of these structures provide solutions of the Yang--Baxter equation, and, conversely, solutions of the Yang--Baxter equation can be used to construct self-distributive operations in certain categories. Moreover, we present a cohomology theory that encompasses both Lie algebra and quandle cohomologies, is analogous to Hochschild cohomology, and can be used to study deformations of these self-distributive structures. All of the work here is informed via diagrammatic computations.
We construct solutions to the set-theoretic Yang-Baxter equation using braid group representations in free group automorphisms and their Fox differentials. The method resembles the extensions of groups and quandles.
We study the number of Reidemeister type III moves using Fox n-colorings of knot diagrams.
We prove that a crossing change along a double point circle on a 2-knot is realized by ribbon-moves for a knotted torus obtained from the 2-knot by attaching a 1-handle. It follows that any 2-knots for which the crossing change is an unknotting operation, such as ribbon 2-knots and twist-spun knots, have trivial Khovanov-Jacobsson number.
A homology theory is developed for set-theoretic Yang-Baxter equations, and knot invariants are constructed by generalized colorings by biquandles and Yang-Baxter cocycles.
This paper is a brief overview of some of our recent results in collaboration with other authors. The cocycle invariants of classical knots and knotted surfaces are summarized, and some applications are presented.
We give necessary conditions of a surface-knot to be ribbon concordant to another, by introducing a new variant of the cocycle invariant of surface-knots in addition to using the invariant already known. We demonstrate that twist-spins of some torus knots are not ribbon concordant to their orientation reversed images.
Three new knot invariants are defined using cocycles of the generalized quandle homology theory that was proposed by Andruskiewitsch and Graña. We specialize that theory to the case when there is a group action on the coefficients. First, quandle modules are used to generalize Burau representations and Alexander modules for classical knots. Second, 2-cocycles valued in non-abelian groups are used in a way similar to Hopf algebra invariants of classical knots. These invariants are shown to be of quantum type. Third, cocycles with group actions on coefficient groups are used to define quandle cocycle invariants for both classical knots and knotted surfaces. Concrete computational methods are provided and used to prove non-invertibility for a large family of knotted surfaces. In the classical case, the invariant can detect the chirality of 3-colorable knots in a number of cases.
The theory of quandle (co)homology and cocycle knot invariants is rapidly being developed. We begin with a summary of these recent advances. One such advance is the notion of a dynamical cocycle. We show how dynamical cocycles can be used to color knotted surfaces that are obtained from classical knots by twist-spinning. We also demonstrate relations between cocycle invariants and Alexander matrices.
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.
This paper is a survey of several papers in quandle homology theory and cocycle knot invariants that have been published recently. Here we describe cocycle knot invariants that are defined in a state-sum form, quandle homology, and methods of constructing non-trivial cohomology classes.
The 2-twist spun trefoil is an example of a sphere that is knotted in 4-dimensional space. Here this example is shown to be distinct from the same sphere with the reversed orientation. To demonstrate this fact a state-sum invariant for classical knots and knotted surfaces is developed via a cohomology theory of racks and quandles (also known as distributive groupoids). A quandle is a set with a binary operation --- the axioms of which model the Reidemeister moves in the classical theory of knotted and linked curves in 3-space. Colorings of diagrams of knotted curves and surfaces by quandle elements, together with cocycles of quandles, are used to define state-sum invariants for knotted circles in 3-space and knotted surfaces in 4-space. Cohomology groups of various quandles are computed herein and applied to the study of the state-sum invariants of classical knots and links and other linked surfaces. Non-triviality of the invariants are proved for variety of knots and links, including the trefoil and figure-eight knots, and conversely, knot invariants are used to prove non-triviality of cohomology for a variety of quandles.
Quandle cocycles are constructed from extensions of quandles. The theory is parallel to that of group cohomology and group extensions. An interpretation of quandle cocycle invariants as obstructions to extending knot colorings is given, and is extended to links component-wise.
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.