[Paper Review] A Universal algebraic approach to rack coverings

Marco Bonatto, David Stanovský|arXiv (Cornell University)|Oct 21, 2019

Rings, Modules, and Algebras32 references4 citations

TL;DR

This paper develops a universal algebraic framework for rack and quandle coverings using strongly abelian congruences and commutator theory, establishing that coverings correspond precisely to extensions over such congruences. It characterizes central and abelian coverings, proves that central coverings coincide with normal extensions in a categorical sense, and shows that simply connected quandles are those for which all coverings are trivial—offering new axiomatic characterizations of quandle identities and solvability in terms of reductive laws.

ABSTRACT

We study rack and quandle coverings from a universal algebraic viewpoint and we show how they can be understood using the notion of strongly abelian congruences. We provide an abstract characterization of several particular types of covering extensions, such as central and abelian ones. We give a new characterization of simply connected quandles and we show that the categorical notion of normal extension coincides with the notion of central covering. We answer several questions from the papers of Clark, Saito and Vendramin \cite{CS} and \cite{CSV} about identities preserved by quandle coverings.

Motivation & Objective

• To develop a universal algebraic framework for understanding rack and quandle coverings using commutator theory.
• To characterize central, abelian, and covering extensions in terms of strongly abelian and strongly solvable algebras.
• To resolve open questions from Clark, Saito, and Vendramin on identities preserved under quandle coverings.
• To show that the categorical notion of normal extension coincides with central covering in the context of quandles and projection quandles.
• To provide a new characterization of simply connected quandles via the triviality of all coverings.

Proposed method

• The authors use universal algebraic tools, particularly the theory of commutator congruences, to analyze rack and quandle extensions.
• They define coverings as extensions over strongly abelian congruences, showing that such extensions are precisely the coverings studied in knot theory.
• They introduce and apply the concept of strongly solvable algebras to characterize multipermutation racks as finite sequences of coverings.
• They use the largest idempotent factor congruence $\mathfrak{ip}_Q$ to relate racks to quandles and show that every rack is a central cover of a quandle.
• They employ automorphism-induced cohomology comparisons via the mapping $\pi_{\mathfrak{ip}_Q}$ to determine isomorphism classes of rack extensions.
• They apply the notion of displacement group and Cayley-like representations to analyze the structure of racks and their automorphisms.

Experimental results

Research questions

• RQ1 How can rack and quandle coverings be characterized using universal algebraic concepts such as strongly abelian congruences?
• RQ2 Which quandle identities are preserved under coverings, and how do these relate to inner identities and reductive laws?
• RQ3 What is the relationship between central coverings and normal extensions in the categorical sense?
• RQ4 How can simply connected quandles be characterized algebraically beyond the topological definition?
• RQ5 Under what conditions are two rack extensions over the same base quandle isomorphic, and how does the automorphism group act on cocycle cohomology?

Key findings

• Coverings are precisely the extensions over strongly abelian congruences, providing a universal algebraic characterization of this key class of extensions.
• Every quandle is a central cover of a projection quandle, and every rack is a central cover of its largest idempotent factor, which is a quandle.
• Simply connected quandles are characterized as those for which every covering is trivial, offering a new algebraic criterion independent of topology.
• The categorical notion of normal extension coincides with central covering in the adjunction between quandles and projection quandles.
• Every strongly solvable rack is nilpotent, and such racks are axiomatized by reductive laws, confirming a conjecture in the context of set-theoretic solutions to the Yang-Baxter equation.
• The extension $E = Q \times_\theta A$ is isomorphic to $E' = Q \times_\varepsilon A$ if and only if the cocycles $\theta$ and $\varepsilon \circ (g \times g)$ are cohomologous for some $g \in \mathrm{Aut}(Q)$, when $\mathfrak{ip}_E = \mathfrak{ip}_{E'}$.