Seiichi Kamada
The homology and cohomology of quandles and racks are used in knot theory: given a finite quandle and a cocycle, we can construct a knot invariant. This is a quick introductory survey to the invariants of knots derived from quandles and racks.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We revisit finite racks and quandles using a perspective based on permutations which can aid in the understanding of the structure. As a consequence we recover old results and prove new ones. We also present and analyze several examples.
In 1993, Fenn, Rourke and Sanderson introduced rack spaces and rack homotopy invariants, and modifications to quandle spaces and quandle homotopy invariants were introduced by Nosaka in 2011. In this paper, we define the Cayley-type graph and the extended quandle space of a quandle in analogy to rack and quandle spaces. Moreover, we construct the shadow homotopy invariant of a classical link and prove that the shadow homotopy invariant is equal to the quandle homotopy invariant multiplied by the order of a quandle.
The theory of rack and quandle modules is developed - in particular a tensor product is defined, and shown to satisfy an appropriate adjointness condition. Notions of free rack and quandle modules are introduced, and used to define an enveloping object (the `rack algebra' or `wring') for a given rack or quandle. These constructions are then used to define homology and cohomology theories for racks and quandles which contain all currently-known variants.
In this paper we describe methods for computing rack and quandle cohomology. We illustrate these methods by completely determining the cohomology of prime dihedral quandles.
We initiate the homotopical study of racks and quandles, two algebraic structures that govern knot theory and related braided structures in algebra and geometry. We prove analogs of Milnor's theorem on free groups for these theories and their pointed variants, identifying the homotopy types of the free racks and free quandles on spaces of generators. These results allow us to complete the stable classification of racks and quandles by identifying the ring spectra that model their stable homotopy theories. As an application, we show that the stable homotopy of a knot quandle is, in general, mor…
This paper has partially a novel and partially a survey character. We start with a short review of rack (two term) homology of self distributive algebraic structures (shelves) and their connections to knot theory. We concentrate on a sub-family of quandles satisfying the graphic axiom. For a large family of graphic quandles (including infinite ones), we compute the second rack homology groups. Finally, we propose conjectures based on our computational data.
It is a classical result in reduced homology of finite groups that the order of a group annihilates its homology. Similarly, we have proved that the torsion subgroup of rack and quandle homology of a finite quasigroup quandle is annihilated by its order. However, it does not hold for connected quandles in general. In this paper, we define an $m$-almost quasigroup ($m$-AQ) quandle which is a generalization of a quasigroup quandle and study annihilation of torsion in its rack and quandle homology groups.
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.
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 study rack polynomials and the link invariants they define. We show that constant action racks are classified by their generalized rack polynomials and show that $ns^at^a$-quandles are not classified by their generalized quandle polynomials. We use subrack polynomials to define enhanced rack counting invariants, generalizing the quandle polynomial invariants.
This short survey contains some recent developments of the algebraic theory of racks and quandles. We report on some elements of representation theory of quandles and ring theoretic approach to quandles.
New definitions of rack and quandle modules are introduced, and shown to generalise the definitions previously studied by Andruskiewitsch, Etingof and Grana. This new construct is shown to coincide with Beck's general definition of a module in an arbitrary category. A theory of Abelian extensions of racks and quandles is then developed, which is shown to generalise the theories developed by Carter, Elhamdadi, Kamada and Saito.
We show that the structure of a fibered knot, as a fiber bundle, is reflected in its knot quandle. As an application, we discuss finiteness and equivalence of knot quandles of concrete fibered 2-knots.
We define ambient isotopy invariants of oriented knots and links using the counting invariants of framed links defined by finite racks. These invariants reduce to the usual quandle counting invariant when the rack in question is a quandle. We are able to further enhance these counting invariants with 2-cocycles from the coloring rack's second rack cohomology satisfying a new degeneracy condition which reduces to the usual case for quandles.
We classify indecomposable racks of order p^2 (p a prime). There are 2p^2 - 2p - 2 isomorphism classes, among which 2p^2 - 3p - 1 correspond to quandles. In particular, we prove that an indecomposable quandle of order p^2 is affine (=Alexander). One of the results yielding this classification is the computation of the quandle nonabelian second cohomology group of an indecomposable quandle of prime order; which turns out to be trivial, as in the abelian case.
A symmetric quandle is a quandle with a good involution. For a knot in \$R^3\$, a knotted surface in \$R^4\$ or an \$n\$-manifold knot in \$R^{n+2}\$, the knot symmetric quandle is defined. We introduce the notion of a symmetric quandle presentation, and show how to get a presentation of a knot symmetric quandle from a diagram.
This article is the second part of a series of three articles, in which we develop a higher covering theory of racks and quandles. This project is rooted in M. Eisermann's work on quandle coverings, and the categorical perspective brought to the subject by V. Even, who characterizes coverings as those surjections which are categorically central, relatively to trivial quandles. We extend this work by applying the techniques from higher categorical Galois theory, in the sense of G. Janelidze, and in particular we identify meaningful higher-dimensional centrality conditions defining our higher co…
Knot quandles distinguish Suciu's ribbon knots
本文研究Suciu带状n-纽结的纽结quandle，证明尽管这些纽结的纽结群同构，其纽结quandle仍彼此不同构，并进一步计算了这些quandle的类型。
$2$-knots with the same knot group but different knot quandles
本文通过分析扭旋的纽结quandle，构造出同纽结群但不同纽结quandle的2-纽结首例，并分类了具有有限纽结quandle的扭旋。
A rack of order $n$ is a binary operation $\rack$ on a set $X$ of cardinality $n$, such that right multiplication is an automorphism. More precisely, $(X,\rack)$ is a rack provided that the map $x\mapsto x\rack y$ is a bijection for all $y\in X$, and $(x\rack y)\rack z=(x\rack z)\rack (y\rack z)$ for all $x,y,z\in X$. The paper provides upper and lower bounds of the form $2^{cn^2}$ on the number of isomorphism classes of racks of order $n$. Similar results on the number of isomorphism classes of quandles and kei are obtained. The results of the paper are established by first showing how an arb…
In this note, residual finiteness of quandles is defined and investigated. It is proved that free quandles and knot quandles of tame knots are residually finite and Hopfian. Residual finiteness of quandles arising from residually finite groups (conjugation, core and Alexander quandles) is established. Further, residual finiteness of automorphism groups of some residually finite quandles is also discussed.
The second quandle homology group of the knot $n$-quandle
本文计算了纽结 $n$-quandle 的第二 quandle 同调群，发现其比纽结 quandle 的同调群信息更丰富，并证明 $3$-quandle 的情形可刻画平凡纽结、三叶结和五叶结。
A quandle is an algebraic system which excels at describing limited symmetries of a space. We introduce the concept of Schläfli quandles which are defined relating to chosen rotational symmetries of regular tessellations. On the other hand, quandles have a good chemistry with knot theory. Associated with a knot we have its knot quandle. We show that the knot quandle of the $m$-twist-spun trefoil is a central extension of the Schläfli quandle related to the regular tessellation $\{ 3, m \}$ in the sense of the Schläfli symbol if $m \geq 3$.
We construct elements of the third quandle homology groups of knot quandles, which are called the shadow fundamental classes. They play the same roles for the shadow quandle cocycle invariants of knots as the fundamental classes of knot quandles does for the quandle cocycle invariants. As an application of the shadow fundamental classes, we show the relation between the shadow quandle cocycle invariants and the based shadow quandle cocycle invariants. Moreover, we will show, for a prime knot, that any third quandle homology classes are considered as images of the shadow fundamental classes of …
This article is the second part of a series of three articles, in which we develop a higher covering theory of racks and quandles. This project is rooted in M. Eisermann's work on quandle coverings, and the categorical perspective brought by V. Even, who characterizes coverings as those surjections which are central, relatively to trivial quandles. We extend this work by applying the techniques from higher categorical Galois theory, in the sense of G. Janelidze, and in particular we identify meaningful higher-dimensional centrality conditions defining our higher coverings of racks and quandles…
For an oriented knot $K$, we construct a functor from the category of pointed quandles to the category of quandles in three different ways. We also extend the quandle cocycle invariants of knots by using these quandle-valued invariant of knots, and study their properties.
Enumeration of virtual quandles up to isomorphism
本文通过计算机搜索对虚拟quandle和racks进行到同构的分类，并计算了有限循环群holomorphs的类数。
We prove that the fundamental quandle of the trefoil knot is isomorphic to the projective primitive subquandle of transvections of the symplectic space $\Z \oplus \Z$. The last quandle can be identified with the Dehn quandle of the torus and the cord quandle on a 2-sphere with four punctures. We also show that the fundamental quandle of the long trefoil knot is isomorphic to the cord quandle on a 2-sphere with a hole and three punctures.
We have a knot quandle and a fundamental class as invariants for a surface-knot. These invariants can be defined for a classical knot in a similar way, and it is known that the pair of them is a complete invariant for classical knots. In this paper, we compare a situation in surface-knot theory with that in classical knot theory, and prove the following: There exist arbitrarily many inequivalent surface-knots of genus $g$ with the same knot quandle, and there exist two inequivalent surface-knots of genus $g$ with the same knot quandle and with the same fundamental class.
We prove that if Q is a finite quasigroup quandle, then |Q| annihilates the torsion of its homology. It is a classical result in reduced homology of finite groups that the order of a group annihilates its homology. From the very beginning of the rack homology (between 1990 and 1995) the analogous result was suspected. The first general results in this direction were obtained independently about 2001 by R.A.Litherland and S.Nelson, and P.Etingof and M.Grana. In Litherland-Nelson paper it is proven that if (Q;*) is a finite homogeneous rack (this includes quasigroup racks) then the torsion of ho…
We show that the fundamental quandle defines a functor from the oriented tangle category to a suitably defined quandle category. Given a tangle decomposition of a link $L$, the fundamental quandle of $L$ may be obtained from the fundamental quandles of tangles. We apply this result to derive a presentation of the fundamental quandle of periodic links, composite knots and satellite knots.
Algebraic homology and cohomology theories for quandles have been studied extensively in recent years. With a given quandle 2(3)-cocycle one can define a state-sum invariant for knotted curves(surfaces). In this paper we introduce another version of quandle (co)homology theory, say positive quandle (co)homology. Some properties of positive quandle (co)homology groups are given and some applications of positive quandle cohomology in knot theory are discussed.
We define an invariant of tangles and framed tangles given a finite crossed module and a pair of functions, called a Reidemeister pair, satisfying natural properties. We give several examples of Reidemeister pairs derived from racks, quandles, rack and quandle cocycles, and central extensions of groups. We prove that our construction includes all rack and quandle cohomology (framed) link invariants, as well as the Eisermann invariant of knots. We construct a class of Reidemeister pairs which constitute a lifting of the Eisermann invariant, and show through an example that this class is strictl…
We establish a relationship between the knot symmetries and the automorphisms of the knot quandle. We identify the homeomorphisms of the pair $(S^{3},K)$ that induce the (anti)automorphisms of the fundamental quandle $Q(K)$. We show that every quandle (anti)automorphism of $Q(K)$ is induced by a homeomorphism of the pair $(S^{3},K)$. As an application of those results, we are able to explore some symmetry properties of a knot based on the presentation of its fundamental quandle, which is easily derived from a knot diagram.
Knot quandle decomposition along a torus
本文研究了补包含不可压缩环面的纽结增广基本拟群结构，揭示了卫星纽结与其伴纽结及模式纽结基本拟群/群的关系，并提出了研究仿射拟群的代数方法。
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 e…
Relations will be described between the quandle cocycle invariant and the minimal number of colors used for non-trivial Fox colorings of knots and links. In particular, a lower bound for the minimal number is given in terms of the quandle cocycle invariant.
We introduce the notion of a $G$-family of quandles which is an algebraic system whose axioms are motivated by handlebody-knot theory, and use it to construct invariants for handlebody-knots. Our invariant can detect the chiralities of some handlebody-knots including unknown ones.
Racks do not give us invariants of surface-knots in general. For example, if a surface-knot diagram has branch points (and a rack which we use satisfies some mild condition), then it admits no rack colorings. In this paper, we investigate rack colorings for surface-knot diagrams without branch points and prove that rack colorings are invariants of $S^2$-knots. We also prove that rack colorings for $S^2$-knots can be interpreted in terms of quandles, and discuss a relationship with regular-equivalences of surface-knot diagrams.
Biorderability of knot quandles of knots up to eight crossings
本文研究八交叉以下素纽结的纽结quandle的双序性，证明了五个纽结的quandle不可双序，并给出了二十个可能双序的纽结的生成集线性序。
Let $K, K'$ be ribbon knottings of $n$-spheres with $1$-handles in $S^{n+2}$, $n\geq 2$. We show that if the knot quandles of these knots are isomorphic, then the ribbon knottings are stably equivalent, in the sense of Nakanishi and Nakagawa, after taking a finite number of connected sums with trivially embedded copies of $S^{n-1}\times S^{1}$.
We define new invariants of knots by means of quandle colorings and longitudinal information. These invariants can be applied to a tangle embedding problem and recognizing non-classical virtual knots.
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. Computatio…
Good involutions of conjugation subquandles
该研究针对带良好对合的广群分类难题，分析共轭子广群等的良好对合并得到数量界，实现相关计算算法、构造非对合对称广群族，完成低阶相关结构分类并证明范畴等价关系。
Loop Fundamental Quandles: A Geometric Generalization of the Knot Quandle
本文引入环基本quandle，证明其函子性与同伦不变性，将其应用于纽结外部可还原出多种纽结相关quandle，是纽结quandle的几何推广。
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.
Graph quandles: Generalized Cayley graphs of racks and right quasigroups
本文研究了基于右拟群作用于图的广义 Cayley 图，介绍了基于标记的图不变量，并证明了所有右拟群可由无边图或完全图实现，解决了 Bardakov 的两个问题。
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,…
Homomorphisms on quandle cohomology groups that raise the dimensions by one are studied in relation to the cocycle state-sum invariants of knots and knotted surfaces. Skein relations are also studied.
In this note we prove that for any finite quandle $X$ and any 2-cocycle $ϕ\in Z^2_{Q\pm}(X; \mathds{Z})$, the cocycle invariant $Φ^{\pm}_ϕ(K)$ is trivial for all knots $K$.
Planar Equivalence of Knotoids and Quandle Invariants
针对平面纽结类分类难的问题，本文用受限广群着色与上循环不变量研究其等价性，还提出更强的三角广群上循环不变量，可用于检测平面性及分析对称性。
Characterizations of knot groups and knot symmetric quandles of surface-links
本文推广了已有可定向曲面链纽结群的刻画结论，利用plat表示刻画了含不可定向曲面链在内的曲面链纽结群，还给出了曲面链纽结对称广群的类似刻画，并证明任意带优对合的二面体广群都可实现为某曲面链的纽结对称广群。
Quandle cocycle invariants form a powerful and well developed tool in knot theory. This paper treats their variations - namely, positive and twisted quandle cocycle invariants, and shadow invariants. We interpret the former as particular cases of the latter. As an application, several constructions from the shadow world are extended to the positive and twisted cases. Another application is a sharpening of twisted quandle cocycle invariants for multi-component links.
GL-racks and coloring invariants of Legendrian knots
本文研究了GL-racks的代数结构，证明有限GL-racks可以分解为置换GL-racks和块GL-racks。作为推论，验证了具有相同经典不变量的两个Legendrian结在任何给定的有限GL-rack下的着色不变量是等价的。
If a knot has the Alexander polynomial not equal to 1, then it is linear $n$-colorable. By means of such a coloring, such a knot is given an upper bound for the minimal quandle order, i.e., the minimal order of a quandle with which the knot is quandle colorable. For twist knots, we study the minimal quandle orders in detail.
We show that the lower bounds for Betti numbers given in math.GT/9909161 are equalities for a class of racks that includes dihedral and Alexander racks. We confirm a conjecture from the same paper by defining a splitting for the short exact sequence of quandle chain complexes. We define isomorphisms between Alexander racks of certain forms, and we also list the second and third homology groups of some dihedral and Alexander quandles.
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.
A quandle is an algebra with two binary operations satisfying three conditions which are related to Reidemeister moves in knot theory. In this paper we introduce the notion of the (canonical) tensor product of a quandle. The tensor product of the knot quandle or the knot symmetric quandle of a surface-link in $4$-space can be used to classify or construct invariants of $1$-handles attaching to the surface-link.
Given a rack Q and a ring A, one can construct a Yang-Baxter operator c_Q: V tensor V --> V tensor V on the free A-module V = AQ by setting c_Q(x tensor y) = y tensor x^y for all x,y in Q. In answer to a question initiated by D.N. Yetter and P.J. Freyd, this article classifies formal deformations of c_Q in the space of Yang-Baxter operators. For the trivial rack, where x^y = x for all x,y, one has, of course, the classical setting of r-matrices and quantum groups. In the general case we introduce and calculate the cohomology theory that classifies infinitesimal deformations of c_Q. In many cas…
A. Ishii and K. Oshiro introduced the notion of an $f$-twisted Alexander matrix. This notion is a quandle version of the twisted Alexander matrix which was introduced by M. Wada. They showed that the twisted Alexander matrix of a pair of a link group and a group representation can be recovered from the $f$-twisted Alexander matrix of a pair of a link quandle and a quandle homomorphism. In this paper, we study a relationship between the $f$-twisted Alexander matrix and the quandle cocycle invariant. As an application, we show that an $f$-twisted Alexander invariant of knot quandles is a really …
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。