Addendum/Corrigendum to "On solubility of skew left braces and solutions of the Yang-Baxter equation"

Titolo e Contesto

Il documento è un addendum/corrigendum all'articolo precedente pubblicato su Advances in Mathematics (2024) dagli stessi autori (Ballester-Bolinches, Esteban-Romero, Jiménez-Seral, Pérez-Calabuig). L'obiettivo principale è correggere un errore nella dimostrazione del Teorema C dell'opera originale, il quale affermava l'equivalenza tra la solubilità di una skew left brace (braccio skew) e la solubilità della soluzione associata dell'equazione di Yang-Baxter (YBE).

Il Problema

Nella ricerca precedente, gli autori avevano introdotto il concetto di "solubilità" per le soluzioni dell'equazione di Yang-Baxter come estensione della solubilità delle skew left braces, nell'ambito della classificazione delle soluzioni non degeneri.
Tuttavia, come notato in [9], la dimostrazione del Teorema C conteneva un errore sostanziale derivante da una definizione imprecisa di omomorfismo di soluzioni. Nello specifico, la definizione originale non era sufficientemente forte da garantire che la struttura algebrica della soluzione (la skew brace di struttura) ereditasse correttamente le proprietà di solubilità. Di conseguenza, la caratterizzazione delle soluzioni indecomponibili tramite la semplicità delle soluzioni risultava incompleta.

Metodologia e Nuovi Strumenti

Per riparare l'errore e riformulare la teoria, gli autori introducono una nuova classe di morfismi: gli i-omomorfismi (dove "i" sta per indecomposable o ideal).

1. Definizione di i-omomorfismo:
   Un omomorfismo di soluzioni $f: (X, r) \to (Y, s)$ è definito un i-omomorfismo se esiste una classe di equivalenza $X_0 \subseteq X$ del nucleo di $f$ (chiamata i-nucleo) tale che per ogni altra classe di equivalenza $Z$ di $\ker f$, valgono le relazioni:
   $$r(X_0, Z) = Z \times X_0 \quad \text{e} \quad r(Z, X_0) = X_0 \times Z$$
   Questa condizione implica che l'i-nucleo interagisce con le altre classi in modo "trasversale" e strutturato, preservando la decomponibilità.

2. Connessione con le Skew Left Braces:
   Gli autori dimostrano che gli i-nuclei degli i-epimorfismi inducono ideali forti (strong left ideals) e ideali nella skew left brace di struttura $G_X$ associata alla soluzione. Questo legame è cruciale per trasferire le proprietà algebriche dalla soluzione alla sua struttura sottostante.

3. Ridefinizione della Solubilità:
   La solubilità di una soluzione viene ridefinita come la classe opposta alle soluzioni indecomponibili (o i-sempli). Una soluzione è detta solubile se ammette una catena di i-epimorfismi che riduce progressivamente la soluzione a una soluzione banale, dove i nuclei intermedi soddisfano condizioni di idealità abeliana nella skew brace associata.

Risultati Chiave e Teoremi Principali

• Proposizione 3.3 (Caratterizzazione delle soluzioni indecomponibili):
  Una soluzione $(X, r)$ (con $|X| > 1$) è indecomponibile se e solo se è i-semplie.
  Significato: La semplicità classica (basata su epimorfismi generici) non caratterizza correttamente l'indecomponibilità (come mostrato dall'Errore 2.6), ma la i-semplicità sì. Questo risolve il problema della caratterizzazione delle soluzioni minimali.

• Teorema 3.9 (Proprietà degli i-nuclei):
  Se $f: X \to U$ è un i-omomorfismo con i-nucleo $X_0$, allora:

  1. Il sottogruppo generato da $X_0$ nella skew brace di struttura $G_X$ è un ideale forte.
  2. L'insieme $I_{X_0} = \langle X_0 \rangle \cdot \ker \bar{f}$ è un ideale di $G_X$.
  3. Esiste una corrispondenza biunivoca tra le classi di equivalenza di $f$ e le classi laterali di questo ideale.

• Teorema 4.2 (Solubilità della struttura):
  Se una soluzione $(X, r)$ è solubile (secondo la nuova definizione basata sugli i-omomorfismi), allora la sua skew left brace di struttura $G_X$ è una skew brace solubile.
  Correzione: Questo risultato risolve l'errore del Teorema C originale, garantendo che la solubilità della soluzione implichi quella della struttura algebrica.

• Corollario 4.3 (Equivalenze):
  Per una skew brace $B$, le seguenti affermazioni sono equivalenti:

  1. $B$ è una skew brace solubile.
  2. La soluzione associata $(B, r_B)$ è una soluzione solubile.
  3. La skew brace di struttura $G_B$ è solubile.
  4. La skew brace di permutazione $G(B, r_B)$ è solubile.

• Teorema 4.4 (Condizione sufficiente per la solubilità):
  Se una soluzione $(X, r)$ ha una skew brace di struttura $G_X$ solubile e esiste un elemento $x \in X$ tale che $\lambda_x = \rho_x = \text{id}_X$ (ovvero, $x$ è un punto fisso per le azioni), allora $(X, r)$ è una soluzione solubile.
  Nota: Questo fornisce una nuova versione del Teorema D dell'articolo originale.

• Controesempi e Limiti:
  Gli autori mostrano che il viceversa del Teorema 4.2 non è sempre vero (Esempio 4.7). Esistono soluzioni con struttura solubile che non sono soluzioni solubili (ad esempio, soluzioni moltiplicative di livello 1 che sono però soluzioni semplici). Questo sottolinea la necessità della nuova definizione basata sugli i-omomorfismi.

Significato e Impatto

1. Correzione Fondamentale: Il documento ripara una lacuna critica nella letteratura recente sulla classificazione delle soluzioni dell'YBE, ristabilendo la validità del legame tra solubilità delle soluzioni e delle skew left braces.
2. Nuovo Strumento Teorico: L'introduzione degli i-omomorfismi fornisce un linguaggio più preciso per analizzare la decomponibilità delle soluzioni. Mentre la semplicità classica è troppo rigida o non correlata alla struttura ideale, la i-semplicità cattura esattamente l'essenza dell'indecomponibilità.
3. Avanzamento nella Classificazione: La nuova definizione di solubilità permette di identificare una classe più ampia e strutturata di soluzioni "complesse" (solubili) che si contrappongono alle soluzioni "semplici" (indecomponibili), offrendo un quadro più chiaro per la costruzione e la classificazione delle soluzioni non degeneri.
4. Connessione con le Soluzioni Multipermutazione: Il lavoro chiarisce la relazione tra soluzioni solubili e soluzioni multipermutazione, mostrando che sotto certe condizioni (presenza di elementi fissi), la solubilità della struttura garantisce la solubilità della soluzione stessa.

In sintesi, questo addendum non solo corregge un errore tecnico, ma arricchisce la teoria delle skew left braces introducendo concetti (i-omomorfismi, i-nuclei) che sembrano essere essenziali per una comprensione profonda della struttura delle soluzioni dell'equazione di Yang-Baxter.