[Paper Review] The origins of involutory quandles

David Stanovský|arXiv (Cornell University)|Jun 8, 2015

Mathematics and Applications28 references3 citations

TL;DR

This paper traces the historical development of involutory quandles—algebraic structures satisfying left distributivity, idempotence, and involution—drawing from pre-1980s work in symmetric spaces, loop theory, and knot invariants. It provides a chronological reference guide to foundational results, emphasizing connections to symmetric spaces, cores of groups, and knot quandles, with key contributions including enumeration of connected and latin involutory quandles up to size 47 and structural characterizations via group-theoretic envelopes.

ABSTRACT

We present an overview of some older papers on involutory quandles, mostly from the times before the term "quandle" was born. It is meant as a reference guide, not (yet) as an expository article explaining what the involutory quandles are and what they are good for.

Motivation & Objective

• To document the pre-1980s origins of involutory quandles, particularly before the term 'quandle' was formalized.
• To trace the evolution of key concepts such as symmetric spaces, group cores, and knot invariants in the context of involutory quandles.
• To serve as a reference guide for researchers, highlighting foundational papers and results, even if incomplete or informal.
• To present structural results on connected involutory quandles using group-theoretic envelopes and enumeration data.
• To clarify the relationship between involutory quandles and broader algebraic structures like medial, faithful, and latin quandles.

Proposed method

• Using chronological organization to trace the emergence of involutory quandle concepts across different mathematical domains.
• Employing the canonical correspondence between connected quandles and quandle envelopes in transitive groups to analyze structure.
• Applying the left multiplication group $\mathrm{LMlt}(Q)$ and displacement group $\mathrm{Dis}(Q)$ to study transitivity and faithfulness.
• Deriving normal forms for terms in varieties of involutory quandles via group operations and identities.
• Using computational enumeration to list connected involutory quandles, latin quandles, and affine involutory quandles up to size 47.
• Analyzing cores of groups and loops to establish conditions for right distributivity, faithfulness, and the latin property.

Experimental results

Research questions

• RQ1 How did the concept of involutory quandles emerge historically, particularly before the term 'quandle' was coined?
• RQ2 What are the foundational connections between involutory quandles and symmetric spaces in differential geometry?
• RQ3 Under what group-theoretic conditions is the core of a group an involutory quandle with specific properties like faithfulness or the latin property?
• RQ4 How can connected involutory quandles be systematically enumerated using group-theoretic constructions?
• RQ5 What is the role of mediality and subvariety lattices in classifying involutory quandles?

Key findings

• The number of connected involutory quandles of size 16 is 0, while there are 4 connected involutory quandles of size 15.
• There are 2 connected latin involutory quandles of size 14, and 2 connected affine involutory quandles of size 35.
• The free involutory quandle with two generators is isomorphic to the core of the integers under the operation $a*b = a(b^{-1}a)$.
• The equational theory of medial involutory quandles is equivalent to that of cores of abelian groups.
• For a group with trivial center, the displacement group of its core is isomorphic to $L(G) \times R(G)$, and $\mathrm{Dis}(Q)$ is a normal subgroup of $G$ with $G/\mathrm{Dis}(Q)$ elementary abelian of exponent 2.
• The lattice of subvarieties of medial involutory quandles is isomorphic to the lattice of integers under division with an additional top element.