Commuting probability of skew left braces

Titolo: Probabilità di Commutazione di Skew Left Braces

1. Il Problema e il Contesto

La probabilità di commutazione (commuting probability) è un concetto ben consolidato nella teoria dei gruppi, introdotto originariamente da Erdős e Turán e successivamente sviluppato da Gustafson. Essa misura la probabilità che due elementi scelti casualmente in un gruppo finito commutino. È noto che per un gruppo non abeliano finito, questa probabilità è al massimo $5/8$, e il valore $3/4$ è il massimo possibile per gruppi non abeliani (con eccezioni specifiche).

Il problema affrontato in questo lavoro è l'estensione di questo concetto alla teoria delle skew left braces (brace sinistrorsi). Le skew left braces sono strutture algebriche $(B, +, \circ)$ dotate di due operazioni di gruppo, dove l'operazione additiva $(B, +)$ e quella moltiplicativa $(B, \circ)$ sono legate da una condizione di distributività sinistra: $a \circ (b + c) = (a \circ b) - a + (a \circ c)$. Queste strutture sono fondamentali nello studio delle soluzioni insiemistiche dell'equazione di Yang-Baxter quantistica.
L'obiettivo degli autori è definire una nozione analoga di probabilità di commutazione per le skew left braces (finite e infinite), stabilire i suoi limiti superiori e inferiori, e caratterizzare le strutture che raggiungono questi valori estremi.

2. Metodologia

Gli autori adottano un approccio che combina algebra astratta, teoria dei gruppi e teoria della misura topologica:

• Definizione Algebrica (Caso Finito): Per una skew left brace finita $B$, la probabilità di commutazione $Pb(B)$ è definita come la proporzione di coppie $(x, y) \in B \times B$ tali che i commutatori additivo e moltiplicativo siano entrambi l'identità ($1$). Formalmente:
  $$Pb(B) = \frac{1}{|B|^2} |\{(x, y) \in B \times B \mid x+y-x-y = x \circ y \circ x^{-1} \circ y^{-1} = 1\}|$$
  Questa definizione viene collegata alla dimensione dei centralizzatori "di brace" ($Cb_B(x)$).
• Struttura dei Centralizzatori: Viene analizzata la struttura dei sottogruppi $Cb_B(x)$ all'interno del gruppo moltiplicativo $(B, \circ)$. Si dimostra che per $x \notin \text{Ann}(B)$ (dove $\text{Ann}(B)$ è l'annullatore della brace), $Cb_B(x)$ è un sottogruppo proprio di $(B, \circ)$.
• Estensione Topologica (Caso Infinito): Per gestire le skew left braces infinite, gli autori introducono il concetto di skew left brace topologica di Hausdorff compatta. In questo contesto, si utilizza una misura di Haar $\mu$ definita sul gruppo $(B, \circ)$ (che coincide con quella di $(B, +)$ grazie alle proprietà della brace). La probabilità di commutazione è definita come la misura del prodotto cartesiano dell'insieme delle coppie che commutano: $Pb(B) = (\mu \times \mu)(Z)$.
• Strumenti Teorici: L'analisi si avvale di:
  • Serie di centralizzatori e serie di annullatori (analoghe alla serie centrale superiore dei gruppi).
  • Concetto di isoclinismo per le skew left braces (introdotta da P. Hall per i gruppi).
  • Proprietà di nilpotenza e strutture di brace a due lati (two-sided).

3. Risultati Chiave e Contributi

A. Limiti Superiori e Inferiori (Caso Finito)

• Limite Superiore: Per qualsiasi skew left brace finita non banale, la probabilità di commutazione è al massimo $3/4$.
• Gap nei Valori: Non esiste alcuna skew left brace con probabilità di commutazione nell'intervallo aperto $(5/8, 1)$, eccetto il valore $3/4$.
  • Se $Pb(B) > 5/8$, allora $Pb(B)$ deve essere $3/4$ o $1$.
  • Se $Pb(B) = 3/4$, allora il quoziente $B/\text{Ann}(B)$ ha ordine 2.
  • Se $Pb(B) = 5/8$, allora sia il gruppo additivo che quello moltiplicativo di $B/\text{Ann}(B)$ sono isomorfi a $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$.
• Legame con la Nilpotenza: Viene dimostrato che se $Pb(B) > 65/128$, allora la skew left brace $B$ è necessariamente nilpotente. Questo estende un risultato classico della teoria dei gruppi (dove $Pb(G) > 11/32$ implica nilpotenza).
• Invarianza per Isoclinismo: La probabilità di commutazione è un invariante sotto isoclinismo. Due skew left braces isocline hanno la stessa probabilità di commutazione.

B. Risultati per il Caso Infinito (Topologico)

• Misurabilità: Per una skew left brace compatta di Hausdorff, l'insieme $FCI(B)$ degli elementi con indice di centralizzatore finito è un insieme di Borel.
• Condizione di Positività: $Pb(B) > 0$ se e solo se $FCI(B)$ è un insieme aperto in $B$ (e quindi ha indice finito).
• Limiti Superiori Infiniti: Anche nel caso infinito non banale, il limite superiore rimane $3/4$.
• Unicità del Valore: L'unico numero razionale che può apparire come probabilità di commutazione nell'intervallo $(5/8, 1)$ per una brace infinita non banale è $3/4$.
• Esempi Costruiti: Gli autori forniscono esempi espliciti, inclusi brace infinite con $Pb(B) = 3/4$ costruite tramite prodotti diretti di brace finite e gruppi topologici compatti (es. $\mathbb{R}/\mathbb{Z}$).

C. Caratterizzazioni Strutturali

• Viene presentata una caratterizzazione completa delle brace con $Pb(B) = 3/4$e$Pb(B) = 5/8$.
• Si dimostra che per ogni sotto-brace $A$ di una brace finita $B$, vale $Pb(B) \le Pb(A)$.
• Vengono stabilite disuguaglianze precise basate sull'indice $d = |B/\text{Ann}(B)|$, mostrando che $Pb(B) \le \frac{d+1}{2d}$.

4. Significato e Impatto

Questo lavoro rappresenta un passo fondamentale nell'unificazione della teoria delle skew left braces con la teoria dei gruppi classica.

1. Generalizzazione: Estende risultati profondi sulla probabilità di commutazione (come il teorema di Gustafson e i lavori successivi) a una classe di strutture algebriche più ampia e complessa, che include sia i gruppi che le strutture legate all'equazione di Yang-Baxter.
2. Nuovi Fenomeni: Dimostra che, nonostante la maggiore complessità delle skew left braces (dove i due gruppi non sono necessariamente isomorfi e la distributività è solo sinistra), i vincoli sulla probabilità di commutazione rimangono sorprendentemente simili a quelli dei gruppi. Il fatto che il "gap" $(5/8, 3/4)$ esista anche per le brace suggerisce una rigidità strutturale profonda in queste algebre.
3. Strumenti per l'Infinito: L'introduzione della teoria della misura per le skew left braces topologiche apre nuove strade per lo studio di strutture infinite in questo contesto, permettendo di trattare problemi di commutatività in spazi continui.
4. Connessione con la Nilpotenza: Il legame tra alta probabilità di commutazione e nilpotenza ($Pb(B) > 65/128 \implies$ nilpotente) fornisce un potente criterio strutturale per classificare le skew left braces finite.

In sintesi, il paper stabilisce le basi per una teoria della "commutatività" nelle skew left braces, fornendo limiti precisi, caratterizzazioni strutturali e dimostrando che le proprietà fondamentali osservate nei gruppi si preservano in questo nuovo contesto algebrico.