Related papers: Hom Quandles

The homotopy coherent nerve from simplicial categories to simplicial sets and its left adjoint C are important to the study of (infinity,1)-categories because they provide a means for comparing two models of their respective homotopy…

We show, up to h-cobordism, that the existence and uniqueness of connected sum decompositions of oriented 4-dimensional manifolds is an invariant of homotopy equivalence, assuming that the fundamental group of each summand is "good" in the…

We are interested in abstract conditions that characterize homomorphic images of affine quandles. Our main result is a two-fold characterization of this class: one by a property of the displacement group, the other one by a property of the…

An equivalent description of a symmetric monoidal category is introduced in which, instead of separate associator and commutator isomorphisms satisfying the usual coherence axioms, we simply have associo-commutator isomorphisms satisfying…

Let M be a monoidal category endowed with a distinguished class of weak equivalences and with appropriately compatible classifying bundles for monoids and comonoids. We define and study homotopy-invariant notions of normality for maps of…

Exact categories are a natural generalisation of abelian categories and provide a fertile ground to develop relative homological algebra. In this paper, starting from a class of relative Gorenstein projective objects in an exact category…

In this paper we provide an alternative characterization of finite simply connected quandles involving only cocycles with values in abelian groups of prime size. As a corollary of such a characterization and the classification of connected…

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…

We prove that the degenerate part of the distributive homology of a multispindle is determined by the normalized homology. In particular, when the multispindle is a quandle $Q$, the degenerate homology of $Q$ is completely determined by the…

We introduce a modified homology and cohomology theory for involutory biquandles (also known as \textit{bikei}). We use bikei 2-cocycles to enhance the bikei counting invariant for unoriented knots and links as well as unoriented and…

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…

We study the topology of the moduli space of flat SU(2)-bundles over a nonorientable surface X. This moduli space may be identified with the space of homomorphisms Hom(\pi_1(X),SU(2)) modulo conjugation by SU(2). In particular, we compute…

Quandle colorings and cocycle invariants are studied for composite knots, and applied to chirality and abelian extensions. The square and granny knots, for example, can be distinguished by quandle colorings, so that a trefoil and its mirror…

We prove that the automorphism group of the dihedral quandle with n elements is isomorphic to the affine group of the integers mod n, and also obtain the inner automorphism group of this quandle. In [9], automorphism groups of quandles (up…

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…

This paper generalizes Bismut's equivariant Chern character to the setting of abelian gerbes. In particular, associated to an abelian gerbe with connection, an equivariantly closed differential form is constructed on the space of maps of a…

A quandle of cyclic type of order $n$ with $f\geq 2$ fixed points is such that each of its permutations splits into $f$ cycles of length $1$ and one cycle of length $n-f$. In this article we prove that there is only one such connected…

Let $X$ and $Y$ be spaces and $M$ be an abelian group. A homotopy invariant $f\colon [X,Y]\to M$ is called straight if there exists a homomorphism $F\colon L(X,Y)\to M$ such that $f([a])=F(\langle a\rangle)$ for all $a\in C(X,Y)$. Here…

Quandles with involutions that satisfy certain conditions, called good involutions, can be used to color non-orientable surface-knots. We use subgroups of signed permutation matrices to construct non-trivial good involutions on extensions…

The codomain category of a generalized homology theory is the category of modules over a ring. For an abelian category A, an A-valued (generalized) homology theory is defined by formally replacing the category of modules with the category…