Classification and (Quasi)-Centroids of Four-Dimensional Ternary Leibniz Algebras

Sintesi Tecnica: Classificazione e (Quasi-)Centroidi di Algebre di Leibniz Ternarie Quadridimensionali

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo dell'algebra non associativa e delle generalizzazioni $n$-arie delle strutture algebriche classiche. Nello specifico, l'articolo affronta due problemi fondamentali riguardanti le algebre di Leibniz ternarie (strutture vettoriali dotate di un'operazione trilineare che soddisfa un'identità di tipo Leibniz, generalizzando le algebre di Lie ternarie rimuovendo l'antisimmetria):

1. Problema di Classificazione: Completare la classificazione, a meno di isomorfismo, delle algebre di Leibniz ternarie di dimensione 4 su un campo algebricamente chiuso di caratteristica zero. Sebbene esistano risultati per dimensioni inferiori, la classificazione completa per $n=4$ rimane un passo cruciale per comprendere le proprietà strutturali di queste algebre.
2. Studio delle Simmetrie Interne: Determinare esplicitamente il centroide ($Cent(L)$) e il quasi-centroide ($QCent(L)$) per ciascuna algebra non abeliana classificata. Questi oggetti descrivono le simmetrie interne dell'algebra e sono strettamente legati alla teoria delle derivazioni, agli automorfismi e alla teoria delle deformazioni.

2. Metodologia

L'approccio adottato combina teoria algebrica astratta e calcolo computazionale:

• Definizioni Formali: Vengono stabilite le definizioni rigorose di algebra di Leibniz ternaria, centroide (applicazioni lineari che commutano con l'operazione in tutti gli argomenti) e quasi-centroide (applicazioni che soddisfano condizioni di commutatività rilassate).
• Rappresentazione Matriciale: Le algebre sono definite tramite una base $\{e_1, e_2, e_3, e_4\}$ e le costanti di struttura $\chi^p_{ijk}$ che definiscono il prodotto ternario $\llbracket e_i, e_j, e_k \rrbracket$.
• Vincoli Computazionali: Le condizioni per appartenere al quasi-centroide sono tradotte in un sistema di equazioni lineari sulle matrici dei coefficienti dell'applicazione lineare $\Phi$.
• Strumento Computazionale: I calcoli complessi necessari per risolvere i sistemi di equazioni derivanti dalle condizioni di Leibniz e dalle definizioni di centroide/quasi-centroide sono stati eseguiti utilizzando il software Mathematica.
• Analisi dei Casi: Il lavoro esamina sistematicamente i casi non abeliani, calcolando le dimensioni dei sottospazi vettoriali corrispondenti a $Cent(L)$e$QCent(L)$.

3. Contributi Chiave e Risultati

A. Classificazione delle Algebre
L'autore fornisce una lista completa di 18 classi di isomorfismo di algebre di Leibniz ternarie quadridimensionali non abeliane (denotate da $L_1$ a $L_{18}$, dove alcune famiglie dipendono da un parametro $\alpha$, come $L_7^\alpha$ e $L_{18}^\alpha$). Per ciascuna algebra, sono esplicitati i prodotti ternari non nulli sulla base canonica.

B. Calcolo dei Centroidi e Quasi-Centroidi
Per ogni algebra della classificazione, sono stati determinati:

• La forma matriciale esplicita degli elementi del centroide e del quasi-centroide.
• La dimensione di questi spazi vettoriali.

Risultati Numerici Significativi:

• Dimensione del Centroide ($Dim(Cent(L))$): Varia tra 1 e 5. In molti casi (es. $L_1, L_3, L_4, L_5$), la dimensione è minima (1), indicando una rigidità strutturale elevata, mentre in casi come $L_{16}$ e $L_{17}$ raggiunge 5.
• Dimensione del Quasi-Centroide ($Dim(QCent(L))$): Varia tra 1 e 9. Si osserva che $Dim(Cent(L)) \leq Dim(QCent(L))$, come atteso dalla teoria.
• Casi Particolari:
  • L'algebra $L_1$ presenta un quasi-centroide di dimensione 9, il massimo possibile per la classe studiata, suggerendo una struttura con molte simmetrie interne rilassate.
  • L'algebra $L_{10}$ e $L_{13}$ mostrano una coincidenza tra centroide e quasi-centroide (dimensione 1), indicando che le condizioni di commutatività sono strettamente vincolate.
  • Vengono forniti esempi di basi esplicithe per questi spazi (es. per $L_1$, la base del quasi-centroide è composta da 9 matrici elementari specifiche).

C. Proprietà Teoriche Dimostrate
Il lavoro include dimostrazioni formali di proprietà fondamentali:

• Il centroide è una sottoalgebra di $End_K(L)$.
• Il quasi-centroide è uno spazio vettoriale che contiene il centroide.
• Relazioni tra derivazioni, derivazioni centrali e l'intersezione tra centroide e derivazioni ($C(L) = \Gamma(L) \cap Der(L)$).
• Comportamento della composizione e del commutatore tra elementi del centroide e derivazioni.

4. Significato e Implicazioni

Questo studio rappresenta un contributo sostanziale alla teoria delle algebre $n$-arie per i seguenti motivi:

1. Estensione dei Risultati Classici: Estende la conoscenza acquisita nel contesto binario (algebre di Leibniz standard) al caso ternario, fornendo un modello per future generalizzazioni a $n$-arie.
2. Strumento per la Teoria delle Deformazioni: La conoscenza esplicita dei centroidi e dei quasi-centroidi è essenziale per lo studio delle deformazioni delle algebre e per la coomologia di Leibniz, poiché questi spazi descrivono le simmetrie che preservano la struttura.
3. Banco di Prova per Dimensione Superiore: La classificazione completa in dimensione 4 fornisce esempi concreti e controesempi necessari per formulare congetture su algebre di dimensione superiore.
4. Rilevanza Fisica: Le algebre di Leibniz ternarie hanno applicazioni nella meccanica di Nambu e nello studio delle simmetrie di ordine superiore in fisica teorica; una classificazione precisa è un prerequisito per modellare tali sistemi fisici.

In conclusione, il lavoro offre una descrizione completa e computazionale delle simmetrie interne delle algebre di Leibniz ternarie quadridimensionali, colmando un vuoto nella letteratura esistente e fornendo una base solida per ricerche future su derivazioni, deformazioni e strutture coomologiche in contesti ad alta dimensionalità e alta arità.