On Hom-Analogues of Heaps and Trusses

Resumen Técnico: Hom-Análogos de Heaps y Trusses

Planteamiento del Problema
El artículo aborda la necesidad de extender las teorías algebraicas de los heaps (montículos), trusses (estructuras de tramo) y braces (estructuras de soporte) al entorno algebraico Hom. Mientras que los heaps clásicos (estructuras ternarias que generalizan a los grupos), los trusses (montículos dotados de una multiplicación distributiva) y los braces (estructuras que vinculan la teoría de grupos y de anillos mediante leyes distributivas) están bien establecidos, sus contrapartes bajo identidades "retorcidas" (twisted) —donde los axiomas se cumplen solo hasta un mapa propio distinguido $\alpha$— permanecen subdesarrollados. Específicamente, los autores pretenden definir Hom-heaps, Hom-trusses y Hom-braces, establecer sus propiedades estructurales y aclarar las correspondencias entre estas estructuras retorcidas y sus contrapartes clásicas y de Hom-grupos.

Metodología
Los autores emplean un enfoque constructivo y axiomático basado en la teoría del álgebra Hom. La metodología implica:

1. Definición y Axiomatización: Introducir definiciones formales para Hom-heaps, Hom-trusses (en tres tipos distintos) y Hom-braces (en tres tipos distintos). Estas definiciones adaptan los axiomas clásicos (asociatividad, identidades de Mal'cev, distributividad) incorporando un mapa de retorcimiento biyectivo $\alpha$ (y potencialmente un segundo mapa $\beta$).
2. Retracción y Construcción: Investigar la relación entre los Hom-heaps y los Hom-grupos mediante la definición de "retracciones" (construir una operación binaria a partir de una ternaria en un punto específico). Los autores analizan las condiciones bajo las cuales una retracción produce un Hom-grupo, requiriendo específicamente que el punto base sea un punto fijo del mapa de retorcimiento.
3. Pruebas de Equivalencia: Establecer equivalencias entre los tres tipos propuestos de Hom-trusses y Hom-braces. Esto implica demostrar que, bajo condiciones específicas (por ejemplo, $\alpha = \beta$ o $\alpha = \text{id}$), las definiciones colapsan entre sí o se reducen a estructuras conocidas.
4. Análisis de Correspondencia: Demostrar cómo los Hom-trusses inducen naturalmente Hom-braces (y viceversa) cuando se cumplen ciertas condiciones estructurales (como que la parte multiplicativa forme un Hom-grupo o la existencia de un absorbedor).
5. Mapas de Traslación: Utilizar mapas de traslación en los Hom-heaps para probar isomorfismos entre retracciones de Hom-grupos formadas en diferentes puntos base fijos.

Contribuciones Clave y Resultados

• Hom-Heaps y Hom-Grupos:

  • El artículo define un Hom-heap como un conjunto con una operación ternaria y un mapa biyectivo $\alpha$ que satisface las propiedades de Hom-Mal'cev y Hom-asociatividad.
  • Teorema: La retracción de un Hom-heap en un punto $e$ forma un Hom-grupo si y solo si $e$ es un punto fijo de $\alpha$ (es decir, $\alpha(e) = e$).
  • Los autores demuestran que los mapas de traslación entre diferentes puntos base fijos inducen isomorfismos entre los Hom-grupos resultantes, extendiendo el resultado clásico para los heaps.
  • Se establece una correspondencia biyectiva: cada Hom-grupo induce un Hom-heap, y cada Hom-heap con un punto fijo induce un Hom-grupo.

• Hom-Trusses:

  • Se introducen tres tipos de Hom-trusses:
    • Tipo (0): Basado en un único mapa de retorcimiento $\alpha$ que actúa tanto en la estructura de heap como en la de multiplicación.
    • Tipo (1): Involucra dos mapas conmutativos $\alpha$ y $\beta$, donde $\alpha$ retuerce el heap y $\beta$ retuerce la multiplicación, con leyes distributivas específicas.
    • Tipo (2): Una variante más compleja que involucra composiciones de orden superior de $\alpha$ y $\beta$ en las leyes de asociatividad y distributividad.
  • Equivalencia: Se muestra que un $\alpha$-Hom-truss de Tipo (1) es equivalente a un $\alpha$-Hom-truss de Tipo (2) cuando $\alpha = \beta$. Además, el Tipo (0) se recupera cuando $\alpha = \text{id}$ en el Tipo (1).
  • Construcción: El artículo demuestra cómo construir Hom-trusses a partir de trusses clásicos retorciendo las operaciones con automorfismos conmutativos y, inversamente, cómo recuperar trusses clásicos a partir de Hom-trusses mediante el retorcimiento inverso.

• Hom-Braces:

  • Análogamente a los trusses, se definen tres tipos de Hom-braces, vinculando dos estructuras de grupo (una abeliana y otra de Hom-grupo) mediante leyes distributivas.
  • Correspondencia con Trusses: Los autores prueban que todo Hom-truss de Tipo (0) donde la parte multiplicativa es un Hom-grupo da lugar a un Hom-brace de Tipo (0). Inversamente, un Hom-brace unitario produce un Hom-truss unitario.
  • Se establecen correspondencias similares para las estructuras de Tipo (1) y Tipo (2), particularmente involucrando condiciones de idempotencia y la existencia de absorbedores (elementos que anulan la multiplicación).

• Subestructuras: El artículo define Hom-subheaps y Hom-subheaps normales, proporcionando criterios para la normalidad y estableciendo propiedades relacionadas con las estructuras de cociente.

Significancia
El artículo afirma proporcionar un marco unificado que extiende la teoría de heaps y trusses al entorno algebraico Hom. Al definir sistemáticamente estas estructuras y probar sus interrelaciones, el trabajo generaliza la clasificación y los resultados de extensión clásicos. Los autores posicionan esta investigación como un paso fundacional hacia el estudio de los "Hom-affgebras" (álgebras afines Hom), que sirven como contrapartes afines de las álgebras Hom.

La significancia radica en:

1. Generalización: Adaptar con éxito la rica maquinaria de los heaps, trusses y braces al contexto retorcido de las álgebras Hom.
2. Unificación: Mostrar que los tres tipos de Hom-trusses y Hom-braces están interconectados, reduciéndose a estructuras clásicas o de Hom más simples bajo restricciones específicas.
3. Aplicaciones Potenciales: Los autores señalan que estas estructuras tienen aplicaciones potenciales en el estudio de las soluciones de tipo conjunto a la ecuación de Yang–Baxter y la geometría no asociativa, continuando la trayectoria establecida por Brzeziński y Rump en el entorno clásico. El artículo no pretende resolver problemas específicos de Yang–Baxter, sino más bien sentar las bases algebraicas para tales investigaciones.