Decomposition of quandle rings of Takasaki quandles

Dilpreet Kaur,Pushpendra Singh

2023-03-13

Abstract:Let $K = \mathbb{R}$ or $\mathbb{C}$ and $T_{n}$ denote the Takasaki quandle of order $n$. In this article we provide decomposition of quandle ring $K[T_n]$ as direct sum of right simple ideals. This decomposition is equivalent to decomposition of regular representation \cite{EM18} of Takasaki quandles.

Group Theory,Rings and Algebras

What problem does this paper attempt to address?

Tensor product and quandle rings of connected quandles of prime order

Dilpreet Kaur,Pushpendra Singh

2024-01-30

Abstract:Let $\mathbb{C}$ be field of complex numbers and $X$ be a connected quandle of prime order. We study the regular representation of $X$ by describing the quandle ring $\mathbb{C}[X]$ as direct sum of right simple ideals. We provide description of tensor product of connected quandles of prime order. We further discuss multiplicity freeness of quandle ring decomposition for connected quandles of order $\leq 47$ and prove that $\mathbb{C}[X]$ decomposes multiplicity free for affine connected quandle $X$.

Group Theory,Rings and Algebras
Knot quandle decomposition along a torus

Marco Bonatto,Alessia Cattabriga,Eva Horvat

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

2024-03-23

Journal of Knot Theory and Its Ramifications

Abstract:Journal of Knot Theory and Its Ramifications, Volume 33, Issue 01, January 2024. We study the structure of the augmented fundamental quandle of a knot whose complement contains an incompressible torus. We obtain the relationship between the fundamental quandle of a satellite knot and the fundamental quandles/groups of its companion and pattern knots. General presentations of the fundamental quandles of a link in a solid torus, a link in a lens space and a satellite knot are described. In the last part of this paper, an algebraic approach to the study of affine quandles is presented and some known results about the Alexander module and quandle colorings are obtained.

mathematics
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
On the representation theory of cyclic and dihedral quandles

Mohamed Elhamdadi,Prasad Senesi,Emanuele Zappala

2023-07-08

Abstract:Quandle representations are homomorphisms from a quandle to the group of invertible matrices on some vector space taken with the conjugation operation. We study certain families of quandle representations. More specifically, we introduce the notion of regular representation for quandles, investigating in detail the regular representations of dihedral quandles and \emph{completely classifying} them. Then, we study representations of cyclic quandles, giving some necessary conditions for irreducibility and providing a complete classification under some restrictions. Moreover, we provide various counterexamples to constructions that hold for group representations, and show to what extent such theory has the same properties of the representation theory of finite groups. In particular, we show that Maschke's theorem does not hold for quandle representations.

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
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
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
Finiteness Of Canonical Quotients Of Dehn Quandles Of Surfaces

NEERAJ K. DHANWANI,MAHENDER SINGH

DOI: https://doi.org/10.1017/s144678872400003x

2024-03-12

Journal of the Australian Mathematical Society

Abstract:The Dehn quandle of a closed orientable surface is the set of isotopy classes of nonseparating simple closed curves with a natural quandle structure arising from Dehn twists. In this paper, we consider the finiteness of some canonical quotients of these quandles. For a surface of positive genus, we give a precise description of the 2-quandle of its Dehn quandle. Further, with some exceptions for genus more than 2, we determine all values of n for which the n-quandle of its Dehn quandle is finite. The result can be thought of as the Dehn quandle analogue of a similar result of Hoste and Shanahan for link quandles ['Links with finite n-quandles', Algebr. Geom. Topol.17(5) (2017), 2807–2823]. We also compute the size of the smallest nontrivial quandle quotient of the Dehn quandle of a surface. Along the way, we prove that the involutory quotient of an Artin quandle is precisely the corresponding Coxeter quandle, and also determine the smallest nontrivial quotient of a braid quandle.

mathematics
Indecomposable representations for extended Dynkin quivers

Dirk Kussin,Hagen Meltzer

DOI: https://doi.org/10.48550/arXiv.math/0612453

2006-12-16

Abstract:We describe a method for an explicit determination of indecomposable preprojective and preinjective representations for extended Dynkin quivers by vector spaces and matrices. This method uses tilting theory and the explicit knowledge of indecomposable modules over the corresponding canonical algebra of domestic type.

Representation Theory
Annihilators and decompositions of singularity categories

Özgür Esentepe,Ryo Takahashi

DOI: https://doi.org/10.1017/s001309152400018x

2024-04-24

Proceedings of the Edinburgh Mathematical Society

Abstract:Given any commutative Noetherian ring R and an element x in R, we consider the full subcategory of its singularity category consisting of objects for which the morphism that is given by the multiplication by x is zero. Our main observation is that we can establish a relation between and for any two ring elements x and y. Utilizing this observation, we obtain a decomposition of the singularity category and consequently an upper bound on the dimension of the singularity category.

mathematics
Representations of quivers over the algebra of dual numbers

claus michael ringel,pu zhang

DOI: https://doi.org/10.1016/j.jalgebra.2016.12.001

IF: 0.908

2017-01-01

Journal of Algebra

Abstract:The representations of a quiver Q over a field k (the kQ-modules, where kQ is the path algebra of Q over k) have been studied for a long time, and one knows quite well the structure of the module category modkQ. It seems to be worthwhile to consider also representations of Q over arbitrary finite-dimensional k-algebras A. Here we draw the attention to the case when A=k[ϵ] is the algebra of dual numbers (the factor algebra of the polynomial ring k[T] in one variable T modulo the ideal generated by T2), thus to the Λ-modules, where Λ=kQ[ϵ]=kQ[T]/〈T2〉. The algebra Λ is a 1-Gorenstein algebra, thus the torsionless Λ-modules are known to be of special interest (as the Gorenstein-projective or maximal Cohen–Macaulay modules). They form a Frobenius category L, thus the corresponding stable category L_ is a triangulated category. As we will see, the category L is the category of perfect differential kQ-modules and L_ is the corresponding homotopy category. The category L_ is triangle equivalent to the orbit category of the derived category Db(modkQ) modulo the shift and the homology functor H:modΛ→modkQ yields a bijection between the indecomposables in L_ and those in modkQ. Our main interest lies in the inverse, it is given by the minimal L-approximation. Also, we will determine the kernel of the restriction of the functor H to L and describe the Auslander–Reiten quivers of L and L_.
Wreath Macdonald polynomials, quiver varieties, and quasimap counts

Jeffrey Ayers,Hunter Dinkins

2024-10-10

Abstract:We study the $K$-theoretic enumerative geometry of cyclic Nakajima quiver varieties, with particular focus on $\text{Hilb}^{m}([\mathbb{C}^{2}/\mathbb{Z}_{l}])$, the equivariant Hilbert scheme of points on $\mathbb{C}^2$. The direct sum over $m$ of the equivariant $K$-theories of these varieties is known to be isomorphic to the ring symmetric functions in $l$ colors, with structure sheaves of torus fixed points identified with wreath Macdonald polynomials. Using properties of wreath Macdonald polynomials and the recent identification of the Maulik-Okounkov quantum affine algebra for cyclic quivers with the quantum toroidal algebras of type $A$, we derive an explicit formula for the generating function of capped vertex functions of $\text{Hilb}^{m}([\mathbb{C}^{2}/\mathbb{Z}_{l}])$ with descendants given by exterior powers of the $0$th tautological bundle. We also sharpen the large framing vanishing results of Okounkov, providing a class of descendants and cyclic quiver varieties for which the capped vertex functions are purely classical.

Algebraic Geometry,High Energy Physics - Theory,Mathematical Physics,Combinatorics,Representation Theory
Toward a classification of finite quandles

G. Ehrman,A. Gurpinar,M. Thibault,D.N. Yetter

DOI: https://doi.org/10.48550/arXiv.math/0512135

2005-12-07

Abstract:This paper summarizes substantive new results derived by a student team (the first three authors) under the direction of the fourth author at the 2005 session of the KSU REU ``Brainstorming and Barnstorming''. The main results are a decomposition theorem for quandles in terms of an operation of `semidisjoint union' showing that all finite quandles canonically decompose via iterated semidisjoint unions into connected subquandles, and a structure theorem for finite connected quandles with prescribe inner automorphism group. The latter theorem suggests a new approach to the classification of finite connected quandles.

Quantum Algebra
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
Dynamics of quandle orders

Chihaya Jibiki

2024-10-29

Abstract:We construct a continuous map from the space of orders on quandles to the space of quandle actions on one-manifolds, providing an answer to a question posed by Idrissa Ba and Mohamed Elhamdadi. As an application of this map, we characterize isolated orders on quandles in terms of strong rigidity. As another application, we prove that there is no isolated right order on the free quandles, except for specific cases.

Geometric Topology,Dynamical Systems
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
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
Relations in Twisted Quantum K-Rings

Irit Huq-Kuruvilla

2024-09-23

Abstract:We introduce twisted quantum $K$-rings, defined via twisted $K$-theoretic Gromov-Witten invariants. We develop a toolkit for computing relations by adapting some results about ordinary quantum K rings to our setting, and discuss some applications, including Ruan-Zhang's quantum $K$-theory with level structure, and complete intersections inside projective space, confirming some predictions coming from physics. In addition, we formulate a ring-theoretic abelian/non-abelian correspondence conjecture, relating the quantum K-ring of a GIT quotient $X//G$ to a certain twist of the quantum K-ring of $X//T$, the quotient by the maximal torus. We prove this conjecture for the case of Grassmanians, and use this to give another proof of the Whitney relations of Mihalcea-Gu-Sharpe-Zhou.

Algebraic Geometry,Mathematical Physics
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
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

Decomposition of quandle rings of Takasaki quandles

Tensor product and quandle rings of connected quandles of prime order

Knot quandle decomposition along a torus

Homogeneous quandles with commutative inner automorphism groups

On the representation theory of cyclic and dihedral quandles

Quandle Identities and Homology

Quandle Cohomology Quiver Representations

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

Finiteness Of Canonical Quotients Of Dehn Quandles Of Surfaces

Indecomposable representations for extended Dynkin quivers

Annihilators and decompositions of singularity categories

Representations of quivers over the algebra of dual numbers

Wreath Macdonald polynomials, quiver varieties, and quasimap counts

Toward a classification of finite quandles

Hierarchical quandles

Dynamics of quandle orders

Pointed quandles of linkoids

Super Hayashi Quandles

Relations in Twisted Quantum K-Rings

On Profinite Quandles

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