arXiv subjects
Publications and source records attributed to Mohamed Elhamdadi.
We give a foundational account on topological racks and quandles. Specifically, we define the notions of ideals, kernels, units, and inner automorphism group in the context of topological racks. Further, we investigate topological rack modules and principal rack bundles. Central extensions of topological racks are then introduced providing a first step towards a general continuous cohomology theory for topological racks and quandles.
We introduce a notion of ternary distributive algebraic structure, give examples, and relate it to the notion of a quandle. Classification is given for low order structures of this type. Constructions of such structures from ternary bialgebras are provided. We also describe ternary distributive algebraic structures coming from groups and give examples from vector spaces whose bases are elements of a finite ternary distributive set. We introduce a cohomology theory that is analogous to Hochschild cohomology and relate it to a formal deformation theory of these structures.
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.
We introduce augmented biracks and define a (co)homology theory associated to augmented biracks. The new homology theory extends the previously studied Yang-Baxter homology with a combinatorial formulation for the boundary map and specializes to $N$-reduced rack homology when the birack is a rack. We introduce augmented birack 2-cocycle invariants of classical and virtual knots and links and provide examples.
Distributivity in algebraic structures appeared in many contexts such as in quasigroup theory, semigroup theory and algebraic knot theory. In this paper we give a survey of distributivity in quasigroup theory and in quandle theory.
The purpose of this paper is to give a general survey of Hom-bialgebras, which are bialgebra-type structures where the identities are twisted by a morphism, and to extend the concept of quasi-bialgebra to Hom-setting. We provide some key constructions and generalize the concept of gauge transformation and Drinfeld's twists to this type of generalized quasi-bialgebras. Moreover, we provide an example of twisted quantum double.
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.
The aim of this paper is to define a homology theory for racks with finite rank N and use it to define invariants of knots generalizing the CJKLS 2-cocycle invariants related to the invariants defined in [15]. For this purpose, we prove that N -degenerate chains form a sub-complex of the classical complex defining rack homology. If a rack has rack rank N = 1 then it is a quandle and our homology theory coincides with the CKJLS homology theory [6]. Nontrivial cocycles are used to define invariants of knots and examples of calculations for classical knots with up to 8 crossings and classical links with up to 7 crossings are provided.
The aim of this paper is to extend Gerstenhaber formal deformations of algebras to the case of Hom-Alternative and Hom-Malcev algebras. We construct deformation cohomology groups in low dimensions. Using a composition construction, we give a procedure to provide deformations of alternative algebras (resp. Malcev algebras) into Hom-alternative algebras (resp. Hom-Malcev algebras). Then it is used to supply examples for which we compute some cohomology invariants.
The purpose of this paper is to introduce an algebraic cohomology and formal deformation theory of left alternative algebras. Connections to some other algebraic structures are given also.
For an arbitrary identity L=R between compositions of maps L and R on tensors of vector spaces V, a general construction of a 2-cocycle condition is given. These 2-cocycles correspond to those obtained in deformation theories of algebras. The construction is applied to a canceling pairings and copairings, with explicit examples with calculations. Relations to the Kauffman bracket and knot invariants are discussed.
A cohomology theory for multiplications and comultiplications of Frobenius algebras is developed in low dimensions in analogy with Hochschild cohomology of bialgebras based on deformation theory. Concrete computations are provided for key examples. Skein theoretic constructions give rise to solutions to the Yang-Baxter equation using multiplications and comultiplications of Frobenius algebras, and 2-cocycles are used to obtain deformations of R-matrices thus obtained.
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.
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 study the number of Reidemeister type III moves using Fox n-colorings of knot diagrams.
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.