On Hom-Analogues of Heaps and Trusses

Sintesi Tecnica: Omologhi di Hom-Heap e Hom-Truss

Enunciato del Problema
Il saggio affronta la necessità di estendere le teorie algebriche di heap, truss e braces nell'ambito dell'algebra Hom. Mentre gli heap classici (strutture ternarie che generalizzano i gruppi), i truss (heap dotati di una moltiplicazione distributiva) e i braces (strutture che collegano la teoria dei gruppi e quella degli anelli tramite leggi distributive) sono ben stabiliti, i loro corrispettivi sotto identità "twisted" (dove gli assiomi valgono solo rispetto a una mappa auto-determinata $\alpha$) rimangono poco sviluppati. Nello specifico, gli autori mirano a definire Hom-heap, Hom-truss e Hom-brace, stabilire le loro proprietà strutturali e chiarire le corrispondenze tra queste strutture "twisted" e i loro omologhi classici e Hom-gruppi.

Metodologia
Gli autori impiegano un approccio costruttivo e assiomatico radicato nella teoria dell'algebra Hom. La metodologia prevede:

1. Definizione e Assiomatizzazione: Introduzione di definizioni formali per Hom-heap, Hom-truss (in tre tipi distinti) e Hom-brace (in tre tipi distinti). Queste definizioni adattano gli assiomi classici (associatività, identità di Mal'cev, distributività) incorporando una mappa di torsione biettiva $\alpha$ (e potenzialmente una seconda mappa $\beta$).
2. Ritrazione e Costruzione: Investigazione della relazione tra Hom-heap e Hom-gruppi definendo "ritratti" (costruzione di un'operazione binaria da una ternaria in un punto specifico). Gli autori analizzano le condizioni sotto le quali un ritratto genera un Hom-gruppo, richiedendo specificamente che il punto base sia un punto fisso della mappa di torsione.
3. Dimostrazioni di Equivalenza: Stabilire equivalenze tra i tre tipi proposti di Hom-truss e Hom-brace. Ciò comporta la dimostrazione che, sotto specifiche condizioni (ad esempio $\alpha = \beta$ o $\alpha = \text{id}$), le definizioni collassano l'una nell'altra o si riducono a strutture note.
4. Analisi di Corrispondenza: Dimostrare come gli Hom-truss inducano naturalmente gli Hom-brace (e viceversa) quando vengono soddisfatte specifiche condizioni strutturali (come il fatto che la parte moltiplicativa formi un Hom-gruppo o l'esistenza di un assorbitore).
5. Mappe di Traslazione: Utilizzare mappe di traslazione negli Hom-heap per dimostrare isomorfismi tra ritratti di Hom-gruppo formati in diversi punti base fissi.

Contributi Chiave e Risultati

• Hom-Heap e Hom-Gruppi:

  • Il saggio definisce un Hom-heap come un insieme con un'operazione ternaria e una mappa biettiva $\alpha$ che soddisfa le proprietà di Hom-Mal'cev e Hom-associatività.
  • Teorema: Il ritratto di un Hom-heap in un punto $e$ forma un Hom-gruppo se e solo se $e$ è un punto fisso di $\alpha$ (ovvero $\alpha(e) = e$).
  • Gli autori dimostrano che le mappe di traslazione tra diversi punti base fissi inducono isomorfismi tra i risultanti Hom-gruppi, estendendo il risultato classico per gli heap.
  • Viene stabilita una corrispondenza biettiva: ogni Hom-gruppo induce un Hom-heap, e ogni Hom-heap con un punto fisso induce un Hom-gruppo.

• Hom-Truss:

  • Vengono introdotti tre tipi di Hom-truss:
    • Tipo (0): Basato su una singola mappa di torsione $\alpha$ che agisce sia sulla struttura dell'heap che su quella della moltiplicazione.
    • Tipo (1): Coinvolge due mappe commutanti $\alpha$ e $\beta$, dove $\alpha$ distorce l'heap e $\beta$ distorce la moltiplicazione, con specifiche leggi distributive.
    • Tipo (2): Una variante più complessa che coinvolge composizioni di ordine superiore di $\alpha$ e $\beta$ nelle leggi di associatività e distributività.
  • Equivalenza: Si dimostra che un $\alpha$-Hom-truss di Tipo (1) è equivalente a un $\alpha$-Hom-truss di Tipo (2) quando $\alpha = \beta$. Inoltre, il Tipo (0) si recupera quando $\alpha = \text{id}$ nel Tipo (1).
  • Costruzione: Il saggio dimostra come costruire Hom-truss partendo da truss classici tramite la torsione delle operazioni con automorfismi commutanti, e viceversa, come recuperare i truss classici dagli Hom-truss tramite torsione inversa.

• Hom-Brace:

  • Analogamente ai truss, sono definiti tre tipi di Hom-brace, che collegano due strutture di gruppo (una abeliana, l'altra Hom-gruppo) tramite leggi distributive.
  • Corrispondenza con i Truss: Gli autori dimostrano che ogni Hom-truss di Tipo (0) in cui la parte moltiplicativa è un Hom-gruppo dà origine a un Hom-brace di Tipo (0). Viceversa, un unital Hom-brace produce un unital Hom-truss.
  • Corrispondenze simili sono stabilite per le strutture di Tipo (1) e di Tipo (2), in particolare riguardanti le condizioni idempotenti e l'esistenza di assorbitori (elementi che annullano la moltiplicazione).

• Sottostrutture: Il saggio definisce Hom-subheaps e normal Hom-subheaps, fornendo criteri per la normalità e stabilendo proprietà relative alle strutture quoziente.

Significato
Il saggio sostiene di fornire un quadro unificato che estende la teoria di heap e truss al contesto dell'algebra Hom. Definendo sistematicamente queste strutture e dimostrando le loro interrelazioni, il lavoro generalizza la classificazione e i risultati di estensione classici. Gli autori posizionano questa ricerca come un passo fondamentale verso lo studio degli "Hom-affgebras" (algebre affini Hom), che fungono da controparti affini delle algebre Hom.

La significatività risiede in:

1. Generalizzazione: Adattamento con successo del ricco apparato di heap, truss e braces al contesto "twisted" delle algebre Hom.
2. Unificazione: Dimostrare che i tre tipi di Hom-truss e Hom-brace sono interconnessi, riducendosi a strutture classiche o Hom-strutture più semplici sotto vincoli specifici.
3. Potenziali Applicazioni: Gli autori notano che queste strutture hanno potenziali applicazioni nello studio delle soluzioni set-theoretic all'equazione di Yang–Baxter e nella geometria non associativa, continuando la traiettoria stabilita da Brzeziński e Rump nel contesto classico. Il saggio non pretende di risolvere problemi specifici di Yang–Baxter, ma piuttosto di porre le basi algebriche per tali indagini.