On medial Latin quandles and affine modules

Resumen Técnico: Sobre los Quandles Latinos Mediales y los Módulos Afines

Planteamiento del Problema
Este artículo aborda cuestiones estructurales dentro de la teoría de los quandles, centrándose específicamente en las categorías de quandles latinos mediales ($MLQnd$) y quandles conmutativos mediales ($MCQnd$). El trabajo está motivado por dos problemas abiertos planteados por Bardakov y Elhamdadi [1] respecto a los anillos de quandles:

1. Pregunta 7.1: Si todo quandle conmutativo finito puede descomponerse en una suma directa de quandles de punto medio cíclicos ($C_{2n+1}$), y una caracterización de los racks cuyos duales son conmutativos.
2. Pregunta 7.3: Una descripción de los objetos libres en la categoría de quandles conmutativos.

Dado que los quandles conmutativos mediales forman una subvariedad admisible para la teoría de extensiones centrales, su estructura categórica y el comportamiento de los objetos libres dentro de ellos requerían una caracterización algebraica más rigurosa.

Metodología
El artículo emplea un enfoque categórico, estableciendo equivalencias entre categorías específicas de quandles y categorías de módulos afines sobre ciertos anillos. La metodología procede a través de los siguientes pasos:

1. Clasificación mediante Teoremas Clásicos: El autor utiliza el teorema clásico de Bruck–Murdoch–Toyoda de la teoría de cuasigrupos. Este teorema establece que todo cuasigrupo medial es isomorfo a una estructura definida sobre un grupo abeliano $A$ con automorfismos conmutantes $\phi, \psi$ y una constante $z$. Al imponer las condiciones de idempotencia (para quandles) y propiedades específicas como la propiedad latina o la conmutatividad, el autor reduce estas estructuras a formas conocidas:

   • Se muestra que los quandles latinos mediales son isomorfos a los quandles de Alexander $Alex(A, \phi)$ donde $id - \phi$ es un automorfismo.
   • Se muestra que los quandles conmutativos mediales son isomorfos a los quandles de punto medio $M_{mid}$ definidos por $x * y = \frac{1}{2}(x+y)$.

2. Categorificación: El artículo define la categoría de módulos afines ($AffMod_R$) sobre un anillo $R$, donde los objetos son módulos de la izquierda $R$ (más el conjunto vacío) y los morfismos son transformaciones afines. El autor construye functores:

   • $Alex: AffMod_L \to MLQnd$, donde $L = \mathbb{Z}[t^{\pm 1}, (1-t)^{-1}]$.
   • $mid: AffMod_D \to MCQnd$, donde $D = \mathbb{Z}[1/2]$ (los racionales díadicos).

3. Pruebas de Equivalencia: Utilizando las propiedades de los homomorfismos de anillos (específicamente la suryección $L \twoheadrightarrow D$) y la estructura de los functores, el artículo demuestra que estos functores son equivalencias de categorías. Esto permite la traducción de problemas en la teoría de quandles hacia la teoría de módulos sobre $L$ y $D$.

Contribuciones Clave y Resultados

• Equivalencias Categóricas (Teoremas 5.3 y 5.4): El resultado principal es la demostración de que la categoría de quandles latinos mediales es equivalente a la categoría de módulos afines sobre el anillo de polinomios de Laurent $L$, y la categoría de quandles conmutativos mediales es equivalente a la categoría de módulos afines sobre los racionales díadicos $D$.
• Caracterización de Racks Cocomutativos (Teorema 3.1): El artículo caracteriza completamente los racks cuyos duales son conmutativos (racks cocomutativos). Establece que un rack es cocomutativo si y solo si sus aplicaciones de multiplicación por la izquierda son involuciones. En consecuencia, un quandle conmutativo es cocomutativo si y solo si es un kei (quandle involutivo).
• Estructura de los Quandles Conmutativos Mediales Finitamente Generados (Teorema 6.4): Aprovechando el teorema de estructura para módulos finitamente generados sobre un Dominio de Ideales Principales (PID), el artículo demuestra que todo rack conmutativo medial no vacío y finitamente generado es isomorfo a una suma directa de un módulo afín libre sobre $D$ y quandles de punto medio cíclicos $C_{2m_i+1}$.
• Objetos Libres (Proposición 6.1 y Corolario 6.2): El artículo describe los objetos libres en $MLQnd$y$MCQnd$. Para un conjunto $X$ de cardinalidad $n$, el quandle latino medial libre es isomorfo a $Alex(L^{n-1}, t)$, y el quandle conmutativo medial libre es isomorfo a $(D^{n-1})_{mid}$. Además, se muestra que para conjuntos de cardinalidad $n \leq 3$, el quandle conmutativo libre es medial y, por lo tanto, isomorfo al quandle conmutativo medial libre.

Significancia y Reivindicaciones
El artículo afirma resolver los dos problemas específicos de Bardakov y Elhamdadi [1] dentro del contexto de los anillos de quandles:

1. Resolución de la Pregunta 7.1: El artículo proporciona una respuesta negativa a la primera parte de la pregunta para los quandles conmutativos generales (citando ejemplos no mediales $D(1)$ y $D(3)$ de orden 81), pero ofrece una respuesta positiva y un teorema de estructura completo para la subcategoría de quandles conmutativos mediales (Teorema 6.4). También resuelve la segunda parte de la pregunta caracterizando los racks cocomutativos.
2. Resolución de la Pregunta 7.3: El artículo resuelve la conjetura sobre los quandles conmutativos libres para pequeñas cardinalidades ($n \leq 3$), mostrando que coinciden con los quandles conmutativos mediales libres, mientras señala que esta equivalencia probablemente falle para $n \geq 4$.

El autor enfatiza que este trabajo ofrece una "perspectiva categórica" sobre la correspondencia entre los quandles mediales y los módulos afines, formalizando las conexiones previamente estudiadas en [2, 10, 11]. Los resultados proporcionan un marco de teoría de módulos para comprender la estructura, las clases de isomorfismo y los objetos libres de estas variedades específicas de quandles, extendiendo los resultados previos de Nelson [16] y Grøsfjeld [9] a un contexto sin punto base.