Related papers: Constructing an infinite family of quandles from a…
Let $X$ be any rational surface. We construct a tilting bundle $T$ on $X$. Moreover, we can choose $T$ in such way that its endomorphism algebra is quasi-hereditary. In particular, the bounded derived category of coherent sheaves on $X$ is…
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…
In an earlier paper by three of the present authors and Csaba Schneider, it was shown that, for $m\ge2$, a set of $m+1$ partitions of a set $\Omega$, any $m$ of which are the minimal non-trivial elements of a Cartesian lattice, either form…
We categorify the theory of Lie algebras beginning with a new notion of categorified vector space, or `2-vector space', which we define as an internal category in Vect, the category of vector spaces. We then define a `semistrict Lie…
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…
The fundamental quandle is a complete invariant for unoriented tame knots \cite{JO, Ma} and non-split links \cite{FR}. The proof involves proving a relationship between the components of the fundamental quandle and the cosets of the…
We present methods of constructing examples of quandles of order 3n, where n is greater or equal to 3. The necessary and sufficient conditions for the constructed examples to be (i) connected (ii) group (conjugate) (iii) involutory and (iv)…
This article establishes the algebraic covering theory of quandles. For every connected quandle we explicitly construct a universal covering, which in turn leads us to define the algebraic fundamental group as the automorphism group of the…
A unitary finite dimensional quandle representation is decomposable into a direct sum of irreducible represenations. Not all quandle representations satisfy this property. We prove that a finite dimensional quandle represenation $\rho :Q…
Saki and Kiani proved that the subrack lattice of a rack $R$ is necessarily complemented if $R$ is finite but not necessarily complemented if $R$ is infinite. In this paper, we investigate further avenues related to the complementation of…
In this paper, we investigate a quandle structure induced by an augmented rack arising from a gauge transformation group. We construct a quandle from a principal bundle and its discrete generalization. When we see a group as a (discrete)…
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…
We describe an algorithm for determining whether a finite quandle is isomorphic to an Alexander quandle by finding all possible Alexander presentations of the quandle. We give an implementation of this algorithm in Maple.
We show that the embeddability relations for countable quandles and for countable fields of any given characteristic other than 2 are maximally complex in a strong sense: they are invariantly universal. This notion from the theory of Borel…
We prove that an Alexander quandle of prime order is generated by any pair of distinct elements. Furthermore, we prove for such a quandle that any ordered pair of distinct elements can be sent to any other such pair by an automorphism of…
This paper aims to consider algebraic structures of quandles defined over a hyperboloid of one sheet and compute the related longitudinal mapping for $SL(2,\mathbb{R})$.
A family of quantum cluster algebras is introduced and studied. In general, these algebras are new, but subclasses have been studied previously by other authors. The algebras are indexed by double partitions or double flag varieties.…
In the preprint of V. Bardakov, T. Kozlovskaya, D. Talalaev (Self-distributive bialgebras, arXiv:2501.19152) it was formulated a problem of classification of self-distributive bialgebras and was given classification of two-dimensional…
A Latin square has six conjugate Latin squares obtained by uniformly permuting its (row, column, symbol) triples. We say that a Latin square has conjugate symmetry if at least two of its six conjugates are equal. We enumerate Latin squares…
A Latin square of order $n$ with symbols $a_1,\ldots,a_n$ can be considered as a multiplication table for binary operation in the set $A=\{a_1,\ldots,a_n\}$. We prove that, if this operation is associative, then $A$ is a group.