The Orbit Group of a Quandle

Sriram Nagaraj

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

2008-10-10

Abstract:We define the notion of the orbit group of a quandle via its connectivity and compute the orbit groups for some basic quandles. We also show that the orbit group counts the number of orbits of certain quandles.

Geometric Topology

What problem does this paper attempt to address?

Clifford Orbits from Cayley Graph Quotients

Cynthia Keeler,William Munizzi,Jason Pollack

2023-06-02

Abstract:We describe the structure of the $n$-qubit Clifford group $\mathcal{C}_n$ via Cayley graphs, whose vertices represent group elements and edges represent generators. In order to obtain the action of Clifford gates on a given quantum state, we introduce a quotient procedure. Quotienting the Cayley graph by the stabilizer subgroup of a state gives a reduced graph which depicts the state's Clifford orbit. Using this protocol for $\mathcal{C}_2$, we reproduce and generalize the reachability graphs introduced in <a class="link-https" data-arxiv-id="2204.07593" href="https://arxiv.org/abs/2204.07593">arXiv:2204.07593</a>. Since the procedure is state-independent, we extend our study to non-stabilizer states, including the W and Dicke states. Our new construction provides a more precise understanding of state evolution under Clifford circuit action.

Quantum Physics,High Energy Physics - Theory,Group Theory
On the Orbital Diameter of Primitive Affine Groups

Kamilla Rekvényi

2024-09-24

Abstract:The orbital diameter of a primitive permutation group is the maximal diameter of its orbital graphs. There has been a lot of interest in bounds for the orbital diameter. In this paper we provide explicit bounds on the diameters of groups of primitive affine groups with almost quasisimple point stabilizer. As a consequence we obtain a partial classification of primitive affine groups with orbital diameter less than or equal to 2.

Group Theory
On the quandles of isometries of the hyperbolic 3-space

Ryoya Kai

2024-06-07

Abstract:A quandle is an algebraic structure whose axioms are related to the Reidemeister moves used in knot theory. In this paper, we investigate the conjugate quandle of the orientation-preserving isometry group $\mathrm{PSL}(2, \mathbb{C})$ of hyperbolic 3-space and its subquandles. We introduce a quandle, denoted by $Q(\Gamma, \gamma)$, associated with a pair $(\Gamma, \gamma)$. Here, $\Gamma$ is a Kleinian group, and $\gamma$ is a non-trivial element of $\Gamma$. This construction can be regarded as a generalization of knot quandles to hyperbolic knots. Moreover, for pairs $(\Gamma, \gamma)$ satisfying certain conditions, we construct the canonical map from $Q(\Gamma, \gamma)$ to the conjugate quandle of $\mathrm{PSL}(2, \mathbb{C})$, which is an injective quandle homomorphism with a discrete image.

Geometric Topology
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
On some combinatorial properties of the orbits on subsets

Xavier Buchwalder

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

2010-08-23

Abstract:We introduce generalised orbit algebras. The purpose here is to measure how some combinatorial properties can characterize the action of a group of permutations on the subsets. The similarity with orbit algebras is such that it took the author a long time to find a generalised orbit algebra not arising from a permutation group.

Combinatorics,Group Theory
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
Effective equidistribution of orbits under semisimple groups on congruence quotients

Andreas Wieser

2024-07-18

Abstract:We prove an effective equidistribution result for periodic orbits of semisimple groups on congruence quotients of an ambient semisimple group. This extends previous work of Einsiedler, Margulis and Venkatesh. The main new feature is that we allow for periodic orbits of semisimple groups with nontrivial centralizer in the ambient group. Our proof uses crucially an effective closing lemma from work with Lindenstrauss, Margulis, Mohammadi, and Shah.

Dynamical Systems,Number 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
Quandle Action Quivers

Mason Cai,Sam Nelson

2024-03-30

Abstract:Quandle Coloring Quivers are directed graph-valued invariants of classical and virtual knots and links associated to finite quandles. Quandle action quivers are subquivers of the full quandle coloring quiver associated to quandle actions by elements of the coloring quandle. These quivers provide a categorification of the quandle counting invariant associated to each element of the quandle. We obtain new polynomial invariants called quandle action polynomials from these quivers as decategorifications.

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
Almost-quasifibrations and fundamental groups of orbit configuration spaces

S K Roushon

2023-10-08

Abstract:In this article we introduce the notion of a k-almost-quasifibration and give many examples. We also show that a large class of these examples are not quasifibrations. As a consequence, supporting the Asphericity conjecture of [19], we deduce that the fundamental group of the orbit configuration space of an effective and properly discontinuous action of a discrete group, on an aspherical 2-manifold with isolated fixed points is torsion free. Furthermore, if the 2-manifold has at least one puncture then it is poly-free, and hence has an iterated semi-direct product of free groups structure, which generalizes a result of Xicotencatl ([27], Theorem 6.3).

Geometric Topology,Algebraic Topology,Group Theory
Orbits of Distal Actions on Locally Compact Groups

Riddhi Shah

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

2010-10-28

Abstract:We discuss properties of orbits of (semi)group actions on locally compact groups G. In particular, we show that if a compactly generated locally compact abelian group acts distally on G then the closure of each of its orbits is a minimal closed invariant set (i.e. the action has [MOC]). We also show that for such an action distality is preserved if we go modulo any closed normal invariant subgroup and hence [MOC] is also preserved. We also show that any semigroup action on G has [MOC] if and only if the corresponding actions on a compact invariant metrizable subgroup K and on the quotient space G/K has [MOC].

Dynamical Systems
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
Knot groups, quandle extensions and orderability

Idrissa Ba,Mohamed Elhamdadi

2023-07-18

Abstract:This paper gives a new way of characterizing L-space $3$-manifolds by using orderability of quandles. Hence, this answers a question of Adam Clay et al. [Question 1.1 of Canad. Math. Bull. 59 (2016), no. 3, 472-482]. We also investigate both the orderability and circular orderability of dynamical extensions of orderable quandles. We give conditions under which the conjugation quandle on a group, as an extension of the conjugation of a bi-orderable group by the conjugation of a right orderable group, is right orderable. We also study the right circular orderability of link quandles. We prove that the $n$-quandle $Q_n(L)$ of the link quandle of $L$ is not right circularly orderable and hence it is not right orderable. But on the other hand, we show that there are infinitely many links for which the $p$-enveloping group of the link quandle is right circularly orderable for any prime integer $p$.

Geometric Topology,Group Theory
On the complement of the dense orbit for a quiver of type $\Aa$

Karin Baur,Lutz Hille

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

2010-05-12

Abstract:Let $\Aa_t$ be the directed quiver of type $\Aa$ with $t$ vertices. For each dimension vector $d$ there is a dense orbit in the corresponding representation space. The principal aim of this note is to use just rank conditions to define the irreducible components in the complement of the dense orbit. Then we compare this result with already existing ones by Knight and Zelevinsky, and by Ringel. Moreover, we compare with the fan associated to the quiver $\Aa$ and derive a new formula for the number of orbits using nilpotent classes. In the complement of the dense orbit we determine the irreducible components and their codimension. Finally, we consider several particular examples.

Representation Theory
Higher Orbit Integrals, Cyclic Cocyles, and K-theory of Reduced Group C*-algebra

Yanli Song,Xiang Tang

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

2019-11-07

Abstract:Let G be a connected real reductive group. Orbit integrals define traces on the group algebra of G. We introduce a construction of higher orbit integrals in the direction of higher cyclic cocycles on the Harish-Chandra Schwartz algebra of G. We analyze these higher orbit integrals via Fourier transform by expressing them as integrals on the tempered dual of G. We obtain explicit formulas for the pairing between the higher orbit integrals and the K-theory of the reduced group C*-algebra, and discuss their applications to representation theory and K-theory.

K-Theory and Homology,Functional Analysis,Operator Algebras,Representation Theory
The quandle and group for higher-dimensional and virtual knots

Blake Winter

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

2009-05-25

Geometric Topology

Abstract:Joyce has shown that the fundamental quandle of a classical knot can be derived from consideration of the fundamental group and the peripheral structure of the knot, and also that the group and much of the peripheral structure can be recovered from the quandle. We generalize these results to arbitrary dimensions, and also to virtual and welded knots and arcs.
Constructively describing orbit spaces of finite groups by few inequalities

Philippe Moustrou,Cordian Riener,Robin Schabert

2024-07-11

Abstract:Let $G$ be a finite group acting linearly on $\mathbb{R}^n$. A celebrated Theorem of Procesi and Schwarz gives an explicit description of the orbit space $\mathbb{R}^n /\!/G$ as a basic closed semi-algebraic set. We give a new proof of this statement and another description as a basic closed semi-algebraic set using elementary tools from real algebraic geometry. Bröcker was able to show that the number of inequalities needed to describe the orbit space generically depends only on the group $G$. Here, we construct such inequalities explicitly for abelian groups and in the case where only one inequality is needed. Furthermore, we answer an open question raised by Bröcker concerning the genericity of his result.

Algebraic Geometry
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

The Orbit Group of a Quandle

Clifford Orbits from Cayley Graph Quotients

On the Orbital Diameter of Primitive Affine Groups

On the quandles of isometries of the hyperbolic 3-space

Conjugation groups and structure groups of quandles

On some combinatorial properties of the orbits on subsets

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

Effective equidistribution of orbits under semisimple groups on congruence quotients

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

Quandle Action Quivers

Quandles with one nontrivial column

Almost-quasifibrations and fundamental groups of orbit configuration spaces

Orbits of Distal Actions on Locally Compact Groups

On Profinite Quandles

Knot groups, quandle extensions and orderability

On the complement of the dense orbit for a quiver of type $\Aa$

Higher Orbit Integrals, Cyclic Cocyles, and K-theory of Reduced Group C*-algebra

The quandle and group for higher-dimensional and virtual knots

Constructively describing orbit spaces of finite groups by few inequalities

Dynamics of quandle orders