Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Multivariate Alexander quandles, VI. Metabelian groups and 2-component links

Lorenzo Traldi

TL;DR

The paper proves two main results linking quandles with Alexander-type invariants in the metabelian setting. First, the fundamental multivariate Alexander quandle $Q_A(L)$ is isomorphic to the natural image of the fundamental quandle in the metabelian quotient $G(L)/G(L)''$, with the total quandle $U(L)$ corresponding to $ ext{Conj}(G(L)/G(L)'')$; this aligns $Q_A(L)$ with the image of $Q(L)$ in the metabelian quotient. Second, for classical 2-component links, the medial quandle is determined by the reduced Alexander invariant $M_A^{red}(L)$, and conversely the medial quandle recovers this reduced invariant. The authors leverage Crowell’s exact sequence descriptions and several descriptions of the tensor product module $ obreak obreak obreak obreak abla H ext{--} IG$ to connect quandles to metabelian and reduced Alexander data, then specialize to the 2-component case via peripheral structures. The work clarifies when medial quandles coincide and shows how metabelian quotients encode key quandle information, improving our understanding of the relationship between quandle-type and Alexander-type invariants in link theory.

Abstract

We prove two properties of the modules and quandles discussed in this series. First, the fundamental multivariate Alexander quandle $Q_A(L)$ is isomorphic to the natural image of the fundamental quandle in the metabelian quotient $G(L)/G(L)''$ of the link group. Second, the medial quandle of a classical 2-component link $L$ is determined by the reduced Alexander invariant of $L$.

Multivariate Alexander quandles, VI. Metabelian groups and 2-component links

TL;DR

The paper proves two main results linking quandles with Alexander-type invariants in the metabelian setting. First, the fundamental multivariate Alexander quandle is isomorphic to the natural image of the fundamental quandle in the metabelian quotient , with the total quandle corresponding to ; this aligns with the image of in the metabelian quotient. Second, for classical 2-component links, the medial quandle is determined by the reduced Alexander invariant , and conversely the medial quandle recovers this reduced invariant. The authors leverage Crowell’s exact sequence descriptions and several descriptions of the tensor product module to connect quandles to metabelian and reduced Alexander data, then specialize to the 2-component case via peripheral structures. The work clarifies when medial quandles coincide and shows how metabelian quotients encode key quandle information, improving our understanding of the relationship between quandle-type and Alexander-type invariants in link theory.

Abstract

We prove two properties of the modules and quandles discussed in this series. First, the fundamental multivariate Alexander quandle is isomorphic to the natural image of the fundamental quandle in the metabelian quotient of the link group. Second, the medial quandle of a classical 2-component link is determined by the reduced Alexander invariant of .
Paper Structure (4 sections, 11 theorems, 13 equations, 1 figure)

This paper contains 4 sections, 11 theorems, 13 equations, 1 figure.

Table of Contents

  1. Introduction
  2. Theorem \ref{['metabelian']}
  3. Theorem \ref{['main']}
  4. Theorem \ref{['maintwo']}

Key Result

Theorem 8

For any link $L$, $U(L)$ is isomorphic to $\textup{Conj}(G(L)/G(L)")$, the conjugation quandle of the metabelian quotient of $G(L)$. Moreover, there is an isomorphism $U(L) \cong \textup{Conj}(G(L)/G(L)")$ that maps $Q_A(L)$ isomorphically onto the natural image of $Q(L)$ in $G(L)/G(L)"$.

Figures (1)

  • Figure 1: The arcs incident at a classical crossing $c$ are indexed so that $b_1(c)$ is on the right of the overpassing arc $a(c)$.

Theorems & Definitions (24)

  • Definition 1
  • Definition 2
  • Definition 3
  • Definition 4
  • Definition 5
  • Definition 6
  • Definition 7
  • Theorem 8
  • Theorem 9
  • Corollary 10
  • ...and 14 more