Computing the associated groups of quandles with tools from group homology theory

Katsumi Ishikawa

2024-02-24

Abstract:We give a complete description of the associated group of any quandle as a central extension of the inner-automorphism group. As an application, we compute the second quandle homology groups of quandles of some families, including those of Alexander quandles.

Geometric Topology

What problem does this paper attempt to address?

Conjugation groups and structure groups of quandles

Victoria Lebed

2024-07-16

Abstract:Quandles are certain algebraic structures showing up in different mathematical contexts. A group $G$ with the conjugation operation forms a quandle, $\operatorname{Conj}(G)$. In the opposite direction, one can construct a group $\operatorname{As}(Q)$ starting from any quandle $Q$. These groups are useful in practice, but hard to compute. We explore the group $\operatorname{As}(\operatorname{Conj}(G))$ for so-called $\overline{C}$-groups $G$. These are groups admitting a presentation with only conjugation and power relations. Symmetric groups $S_n$ are typical examples. We show that for $\overline{C}$-groups, $\operatorname{As}(\operatorname{Conj}(G))$ injects into $G \times \mathbb{Z}^m$, where $m$ is the number of conjugacy classes of $G$. From this we deduce information about the torsion, center, and derived group of $\operatorname{As}(\operatorname{Conj}(G))$. As an application, we compute the second quandle homology group of $\operatorname{Conj}(S_n)$ for all $n$, and unveil rich torsion therein.

Group Theory
Classification of generalized Alexander quandles

Akihiro Higashitani,Seiichi Kamada,Jin Kosaka,Hirotake Kurihara

2024-06-03

Abstract:The aim of this paper is to provide a new characterization of isomorphism classes of generalized Alexander quandles in terms of the underlying groups and their automorphisms. This extends the previous result [4, Theorem 1.4]. Additionally, we compute the number of generalized Alexander quandles up to quandle isomorphism arising from groups up to order 127 and their group automorphisms.

Geometric Topology,Group Theory
Homogeneous quandles with commutative inner automorphism groups

Takuya Saito,Sakumi Sugawara

2024-03-12

Abstract:In this paper, we give a characterization for homogeneous quandles with commutative inner automorphism groups. In particular, it is shown that such a quandle is expressed as an abelian extension of a trivial quandle. Our construction is a generalization of the recent work by Furuki and Tamaru, which gives the construction of disconnected flat quandles.

Geometric Topology,Combinatorics,Group Theory
Homogeneous quandles with abelian inner automorphism groups and vertex-transitive graphs

Konomi Furuki,Hiroshi Tamaru

2024-03-10

Abstract:A quandle is an algebraic system originated in knot theory, and can be regarded as a generalization of symmetric spaces. The inner automorphism group of a quandle is defined as the group generated by the point symmetries (right multiplications). In this paper, starting from any simple graphs, we construct quandles whose inner automorphism groups are abelian. We also prove that the constructed quandle is homogeneous if and only if the graph is vertex-transitive. This shows that there is a wide family of quandles with abelian inner automorphism groups, even if we impose the homogeneity. The key examples of such quandles are realized as subquandles of oriented real Grassmannian manifolds.

Geometric Topology,Differential Geometry
On Profinite Quandles

Alexander W. Byard,Brian Cai,Nathan P. Jones,Lucy H. Vuong,David N. Yetter

2024-11-03

Abstract:We undertake the study of profinite quandles. We provide several constructions of profinite quandles from profinite groups, and from other profinite quandle. We characterize which subquandles of profinite quandles are again profinite. Finally, we provide a characterization of algebraically connected profinite quandles in terms of the profinite completion of their inner automorphism groups $\widehat{\Inn(Q)}$. It is anticipated that the results herein will find applications to the étale homotopy theory of number fields. v.2 has been updated to include an example due to Ariel Davis settling in the negative the question of whether all Stone topological quandles are profinite.

Geometric Topology
Continuous cohomology of topological quandles

Mohamed Elhamdadi,Masahico Saito,Emanuele Zappala

DOI: https://doi.org/10.1142/S0218216519500366

2018-03-21

Abstract:A continuous cohomology theory for topological quandles is introduced, and compared to the algebraic theories. Extensions of topological quandles are studied with respect to continuous 2-cocycles, and used to show the differences in second cohomology groups for specific topological quandles. A method of computing the cohomology groups of the inverse limit is applied to quandles.

Geometric Topology,Algebraic Topology
Groups, conjugation and powers

Markus Szymik,Torstein Vik

2024-03-12

Abstract:We introduce the notion of the power quandle of a group, an algebraic structure that forgets the multiplication but keeps the conjugation and the power maps. Compared with plain quandles, power quandles are much better invariants of groups. We show that they determine the central quotient of any group and the center of any finite group. Any group can be canonically approximated by the associated group of its power quandle, which we show to be a central extension, with a universal property, and a computable kernel. This allows us to present any group as a quotient of a group with a power-conjugation presentation by an abelian subgroup that is determined by the power quandle and low-dimensional homological invariants.

Group Theory,Algebraic Topology,Geometric Topology,K-Theory and Homology,Representation Theory
Quandle Identities and Homology

W. Edwin Clark,Masahico Saito

DOI: https://doi.org/10.48550/arXiv.1602.08535

2016-02-27

Abstract: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.

Geometric Topology
The second quandle homology of the Takasaki quandle of an odd abelian group is an exterior square of the group

Maciej Niebrzydowski,Jozef H. Przytycki

DOI: https://doi.org/10.48550/arXiv.1006.0258

2010-06-02

Abstract:We prove that if G is an abelian group of odd order then there is an isomorphism from the second quandle homology of the Takasaki quandle of G to the exterior square of G. In particular, for G=Z_k^n, k odd, we obtain Z_k^{n(n-1)/2}. Nontrivial second homology allows us to use 2-cocycles to construct new quandles from T(G), and to construct link invariants.

Geometric Topology,Algebraic Topology
On the Euler characteristics for quandles

Ryoya Kai,Hiroshi Tamaru

2024-11-13

Abstract:A quandle is an algebraic system whose axioms generalize the algebraic structure of the point symmetries of symmetric spaces. In this paper, we give a definition of Euler characteristics for quandles. In particular, the quandle Euler characteristic of a compact connected Riemannian symmetric space coincides with the topological Euler characteristic. Additionally, we calculate the Euler characteristics of some finite quandles, including generalized Alexander quandles, core quandles, discrete spheres, and discrete tori. Furthermore, we prove several properties of quandle Euler characteristics, which suggest that they share similar properties with topological Euler characteristics.

Geometric Topology,Differential Geometry,Group Theory
Generalized (co)homology of symmetric quandles over homogeneous Beck modules

Biswadeep Karmakar,Deepanshi Saraf,Mahender Singh

2024-01-25

Abstract:A quandle equipped with a good involution is referred to as symmetric. It is known that the cohomology of symmetric quandles gives rise to strong cocycle invariants for classical and surface links, even when they are not necessarily oriented. In this paper, we introduce the category of symmetric quandle modules and prove that these modules completely determine the Beck modules in the category of symmetric quandles. Consequently, this establishes suitable coefficient objects for constructing appropriate (co)homology theories. We develop an extension theory of modules over symmetric quandles and propose a generalized (co)homology theory for symmetric quandles with coefficients in a homogeneous Beck module, which also recovers the symmetric quandle (co)homology developed by Kamada and Oshiro [Trans. Amer. Math. Soc. (2010)]. Our constructions also apply to symmetric racks. We conclude by establishing an explicit isomorphism between the second cohomology of a symmetric quandle and the first cohomology of its associated group.

Quantum Algebra,Geometric Topology
Automorphisms, cohomology and extensions of symmetric quandles

Biswadeep Karmakar,Deepanshi Saraf,Mahender Singh

2024-07-03

Abstract:It is well-known that the cohomology of symmetric quandles generates robust cocycle invariants for unoriented classical and surface links. Expanding on the recently introduced module-theoretic generalized cohomology for symmetric quandles, we derive a four-term exact sequence that relates 1-cocycles, second cohomology, and a specific group of automorphisms associated with the extensions of symmetric quandles. This exact sequence shows that the obstruction to lifting and extending automorphisms is found in the second symmetric quandle cohomology. Additionally, some general aspects of dynamical cocycles and extensions are discussed.

Quantum Algebra,Geometric Topology
Constructions of Quandles over Groups and Rings

A. A. Simonov,M. V. Neshchadim,A. N. Borodin

DOI: https://doi.org/10.1134/s003744662403011x

2024-05-30

Siberian Mathematical Journal

Abstract:We present the following constructions: extension of a trivial quandle by a group with a nontrivial abelian subgroup, a quandle over a noncommutative group by an arbitrary antiautomorphism, a quandle presenting from a generalized Alexander quandle with the replacement of the automorphism by a central antiautomorphism, and a quandle over an -dimensional module depending on parameters with in a commutative unital ring.

mathematics
Hierarchical quandles

Philipp Korablev

2023-11-07

Abstract:We introduce the notion of a hierarchical quandle, which is a generalisation of diquandles and multi-quandles. Using hierarchical quandle colourings, we construct a cocycle invariants for links coloured by quandles.

Geometric Topology
Super Hayashi Quandles

Antonio Lages,Pedro Lopes

2024-05-21

Abstract:Quandles are right-invertible, right-self distributive (and idempotent) algebraic structures. Therefore, right translations are quandle automorphisms. It has been interesting to look into finite quandles by way of the cycle structures their right translations may have. For each quandle, the list of these cycle structures is known as the profile of the quandle. For a connected quandle, any two right translations are conjugate so there is essentially one cycle structure per connected quandle - which we thus identify with the profile. Hayashi conjectured that, for a connected quandle, each length of its profile divides the longest length. In the present article we introduce Super Hayashi Quandles (SHQ). An SHQ is a finite connected quandle such that any two lengths in its profile are (i) distinct, and (ii) the shorter one divides the longer one. The SHQ's are latin quandles and we prove that their profiles depend only on the second shortest length and on the number of cycles. Furthermore, we prove that SHQ's have SHQ's alone for subquandles (with the same second shortest length but fewer cycles). Finally, we construct infinitely many SHQ's.

Combinatorics
Annihilation of torsion in homology of finite $m$-AQ quandles

Józef H. Przytycki,Seung Yeop Yang

DOI: https://doi.org/10.48550/arXiv.1510.03464

2015-10-13

Abstract: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.

Geometric Topology
A conjecture on superconnected quandles

Marco Bonatto

2024-01-07

Abstract:We study simple superfaithful and superconnected quandles and we found counterexamples to a conjecture suggested by computational data. We provide also examples of superconnected quandles built using group theoretical results and investigate primitive quandles.

Group Theory
Quandle Cohomology Quiver Representations

Sam Nelson

2024-11-04

Abstract:We define a family of quiver representation-valued invariants of oriented classical and virtual knots and links associated to a choice of finite quandle $X$, abelian group $A$, set of quandle 2-cocycles $C\subset H^2_Q(x;A)$, choice of coefficient ring $k$ and set of quandle endomorphisms $S\subset \mathrm{Hom}(X,X)$. From this representation we define four new polynomial (or ``polynomial'' depending on $A$) invariants. We generalize to the case of biquandles and compute some examples.

Geometric Topology,Quantum Algebra
Pointed quandles of linkoids

Neslihan Gügümcü,Runa Pflume

2024-04-22

Abstract:In this paper we define the fundamental quandle of knotoids and linkoids and prove that it is invariant under the under forbidden-move and hence encodes only the information of the underclosure of the knotoid. We then introduce $n$-pointed quandles, which generalize quandles by specifying $n$ elements as ordered basepoints. This leads to the notion of fundamental pointed quandles of linkoids, which enhances the fundamental quandle. Using $2$-pointed quandle allows us to distinguish 1-linkoids with equivalent under-closures and leads to a couple of 1-linkoid invariants. We also generalize the notion of homogeneity of quandles to $n$-homogeneity of quandles. We classify all $\infty$-homogeneous, finite quandles.

Geometric Topology,Quantum Algebra
Quandles with one nontrivial column

Nicholas Cazet

DOI: https://doi.org/10.1142/s0219498825502019

2024-02-21

Journal of Algebra and Its Applications

Abstract:Journal of Algebra and Its Applications, Ahead of Print. The axioms of a quandle imply that the columns of its Cayley table are permutations. This paper studies quandles with exactly one non-trivially permuted column. Their automorphism groups, quandle polynomials, (symmetric) cohomology groups, and [math] quandles are studied. The quiver and cocycle invariant of links using these quandles are shown to relate to linking number.

mathematics, applied

Computing the associated groups of quandles with tools from group homology theory

Conjugation groups and structure groups of quandles

Classification of generalized Alexander quandles

Homogeneous quandles with commutative inner automorphism groups

Homogeneous quandles with abelian inner automorphism groups and vertex-transitive graphs

On Profinite Quandles

Continuous cohomology of topological quandles

Groups, conjugation and powers

Quandle Identities and Homology

The second quandle homology of the Takasaki quandle of an odd abelian group is an exterior square of the group

On the Euler characteristics for quandles

Generalized (co)homology of symmetric quandles over homogeneous Beck modules

Automorphisms, cohomology and extensions of symmetric quandles

Constructions of Quandles over Groups and Rings

Hierarchical quandles

Super Hayashi Quandles

Annihilation of torsion in homology of finite $m$-AQ quandles

A conjecture on superconnected quandles

Quandle Cohomology Quiver Representations

Pointed quandles of linkoids

Quandles with one nontrivial column