On medial Latin quandles and affine modules

Technical Summary: On Medial Latin Quandles and Affine Modules

Problem Statement
This paper addresses structural questions within the theory of quandles, specifically focusing on the categories of medial Latin quandles ($MLQnd$) and medial commutative quandles ($MCQnd$). The work is motivated by two open problems posed by Bardakov and Elhamdadi [1] regarding quandle rings:

1. Question 7.1: Whether every finite commutative quandle can be decomposed into a direct sum of cyclic midpoint quandles ($C_{2n+1}$), and a characterization of racks whose duals are commutative.
2. Question 7.3: A description of free objects in the category of commutative quandles.

While medial commutative quandles form an admissible subvariety for the theory of central extensions, their categorical structure and the behavior of free objects within them required a more rigorous algebraic characterization.

Methodology
The paper employs a categorical approach, establishing equivalences between specific categories of quandles and categories of affine modules over certain rings. The methodology proceeds through the following steps:

1. Classification via Classical Theorems: The author utilizes the classical Bruck–Murdoch–Toyoda theorem from quasigroup theory. This theorem states that every medial quasigroup is isomorphic to a structure defined on an abelian group $A$ with commuting automorphisms $\phi, \psi$ and a constant $z$. By imposing the conditions of idempotence (for quandles) and specific properties like the Latin property or commutativity, the author reduces these structures to known forms:

   • Medial Latin quandles are shown to be isomorphic to Alexander quandles $Alex(A, \phi)$ where $id - \phi$ is an automorphism.
   • Medial commutative quandles are shown to be isomorphic to midpoint quandles $M_{mid}$ defined by $x * y = \frac{1}{2}(x+y)$.

2. Categorification: The paper defines the category of affine modules ($AffMod_R$) over a ring $R$, where objects are left $R$-modules (plus the empty set) and morphisms are affine transformations. The author constructs functors:

   • $Alex: AffMod_L \to MLQnd$, where $L = \mathbb{Z}[t^{\pm 1}, (1-t)^{-1}]$.
   • $mid: AffMod_D \to MCQnd$, where $D = \mathbb{Z}[1/2]$ (the dyadic rationals).

3. Equivalence Proofs: Using properties of ring homomorphisms (specifically the surjection $L \twoheadrightarrow D$) and the structure of the functors, the paper proves that these functors are equivalences of categories. This allows the translation of problems in quandle theory into module theory over $L$ and $D$.

Key Contributions and Results

• Categorical Equivalences (Theorems 5.3 and 5.4): The primary result is the proof that the category of medial Latin quandles is equivalent to the category of affine modules over the Laurent polynomial ring $L$, and the category of medial commutative quandles is equivalent to the category of affine modules over the dyadic rationals $D$.
• Characterization of Cocommutative Racks (Theorem 3.1): The paper completely characterizes racks whose duals are commutative (cocommutative racks). It establishes that a rack is cocommutative if and only if its left multiplication maps are involutions. Consequently, a commutative quandle is cocommutative if and only if it is a kei (involutive quandle).
• Structure of Finitely Generated Medial Commutative Quandles (Theorem 6.4): By leveraging the structure theorem for finitely generated modules over a Principal Ideal Domain (PID), the paper proves that every nonempty finitely generated medial commutative rack is isomorphic to a direct sum of a free affine module over $D$ and cyclic midpoint quandles $C_{2m_i+1}$.
• Free Objects (Proposition 6.1 and Corollary 6.2): The paper describes free objects in $MLQnd$ and $MCQnd$. For a set $X$ of cardinality $n$, the free medial Latin quandle is isomorphic to $Alex(L^{n-1}, t)$, and the free medial commutative quandle is isomorphic to $(D^{n-1})_{mid}$. Furthermore, it is shown that for sets of cardinality $n \leq 3$, the free commutative quandle is medial and thus isomorphic to the free medial commutative quandle.

Significance and Claims
The paper claims to solve the two specific open problems of Bardakov and Elhamdadi [1] within the context of quandle rings:

1. Resolution of Question 7.1: The paper provides a negative answer to the first part of the question for general finite commutative quandles (by citing non-medial examples $D(1)$ and $D(3)$ of order 81) but provides a positive answer and a complete structure theorem for the subcategory of medial commutative quandles (Theorem 6.4). It also resolves the second part of the question by characterizing cocommutative racks.
2. Resolution of Question 7.3: The paper resolves the conjecture regarding free commutative quandles for small cardinalities ($n \leq 3$), showing they coincide with free medial commutative quandles, while noting that this equivalence likely fails for $n \geq 4$.

The author emphasizes that this work offers a "categorical perspective" on the correspondence between medial quandles and affine modules, formalizing connections previously studied in [2, 10, 11]. The results provide a module-theoretic framework for understanding the structure, isomorphism classes, and free objects of these specific quandle varieties, extending previous results by Nelson [16] and Grøsfjeld [9] to a basepoint-free context.