Hom-unitality and hom-associative structures

Titolo: Om-unitalità e strutture om-associative

Autori: Germán García Butenegro, Abdennour Kitouni, Sergei Silvestrov
Ambito: Algebra non associativa, Teoria delle deformazioni, Algebra omologica.

1. Il Problema

Il lavoro si concentra sullo studio delle strutture om-associative su algebre generali, possibilmente non associative, con un'attenzione specifica al ruolo dell'unità (o "unitalità") in questo contesto deformato.
Le algebre om-associative sono generalizzazioni delle algebre associative in cui l'assioma di associatività è "deformato" da una mappa lineare $\alpha$ (mappa di torsione o twisting map). L'equazione fondamentale è:
$$\alpha(x) \cdot (y \cdot z) = (x \cdot y) \cdot \alpha(z)$$
Il problema centrale affrontato dagli autori è la caratterizzazione delle condizioni sotto le quali queste strutture ammettono un'unità (o un'unità debole, detta hom-unity), e come la presenza di tale unità influenzi la natura della mappa di torsione $\alpha$. Nello specifico, gli autori indagano:

• La relazione tra l'unità classica e l'unità om-associativa (hom-unity).
• Le condizioni necessarie affinché la mappa di torsione $\alpha$ sia moltiplicativa (cioè un omomorfismo di algebre: $\alpha(xy) = \alpha(x)\alpha(y)$).
• La descrizione esplicita dei sottospazi di elementi che inducono strutture om-associative (i "moltiplicatori" o hom-unities) in algebre unitali (a destra, a sinistra o bilatere) e non unitali.
• L'applicazione di questi risultati a classi note di algebre non associative (es. algebre di Cayley-Dickson, algebre di Leibniz).

2. Metodologia

Gli autori adottano un approccio algebrico rigoroso basato su:

• Analisi degli operatori di moltiplicazione: Sfruttano l'osservazione chiave che, in un'algebra om-unitali, la mappa di torsione $\alpha$ agisce come un operatore di moltiplicazione per un elemento specifico (l'immagine dell'unità sotto $\alpha$).
• Studio dei nuclei relativi e dei centralizzatori: Utilizzano concetti classici di algebra non associativa come il nucleo ($N(A)$), il centro ($Z(A)$), gli annullatori ($Ann(A)$) e gli associatori per caratterizzare i sottospazi di elementi compatibili con la struttura om-associativa.
• Processo di Unitalizzazione: Per le algebre non unitali, applicano una costruzione standard di unitalizzazione (estendendo l'algebra con un campo scalare) per descrivere i sottospazi di hom-unities in termini di autovalori degli operatori di moltiplicazione.
• Dimostrazioni per casi: Analizzano separatamente i casi di algebre unitali a sinistra, a destra e bilatere, mostrando come i risultati per un lato possano essere estesi all'altro tramite l'algebra opposta.
• Applicazione a classi specifiche: Verificano le teorie generali su esempi concreti come le algebre di Cayley-Dickson (Numeri complessi, Quaternioni, Ottonioni, Sedenioni) e le algebre di Leibniz.

3. Contributi Chiave e Risultati

A. Caratterizzazione dell'Om-Unità e Moltiplicatività

• Teorema 16: Viene stabilito un risultato fondamentale per le algebre om-unitali: la mappa di torsione $\alpha$ è moltiplicativa se e solo se l'elemento $\alpha(1_\star)$ (dove $1_\star$ è l'unità) è idempotente ($\alpha(1_\star)^2 = \alpha(1_\star)$).
• Questo risultato crea un ponte diretto tra la proprietà di moltiplicatività (spesso richiesta per studiare la coomologia) e la struttura degli idempotenti dell'algebra.
• Ne consegue che molte algebre om-associative unitali e moltiplicative sono in realtà associative o banali, a meno che non esistano idempotenti non banali.

B. Sottospazi di Hom-Unity in Algebre Unitali

• Caso Bilatero (Sezione 4): Per un'algebra unitali bilatere $(A, 1_{lr})$, gli autori dimostrano che il sottospazio degli elementi che inducono strutture om-associative, denotato $AC(A)$, è esattamente l'intersezione:
  $$AC(A) = Z(A) \cap N(A) \cap Ann_A([A, A, A]_{as})$$
  Ovvero, gli elementi devono essere centrali, appartenere al nucleo, e annullare tutti gli associatori dell'algebra.
• Caso Unilatero (Sezione 5): Per algebre unitali a sinistra $(A, 1_l)$, viene introdotto il sottospazio $AC_l(A)$. Viene dimostrato che questo sottospazio ammette una decomposizione diretta:
  $$AC_l(A) = (AC_l(A) \cdot 1_l) \oplus Ann_l(A)$$
  Il sottospazio $AC_l(A) \cdot 1_l$ è un'algebra associativa commutativa isomorfa all'algebra delle mappe compatibili.
• Teorema 46 (Domini): Viene provato che non esistono domini om-associativi unitali non banali e non associativi. Se un'algebra è un dominio (senza divisori dello zero) e om-unitali, deve essere o banale o associativa.

C. Algebre Non Unitali e Unitalizzazione (Sezione 6)

• Per le algebre senza unità, la corrispondenza biunivoca tra mappe compatibili e om-unity si perde. Gli autori utilizzano il processo di unitalizzazione $\tilde{A} = A \oplus \mathbb{F}$ per descrivere i sottospazi di om-unity.
• Viene mostrato che gli elementi di $AC(\tilde{A})$ possono essere caratterizzati tramite gli autovalori degli operatori di moltiplicazione rispetto agli associatori di $A$.
• Algebre di Leibniz: Viene applicata la teoria alle algebre di Leibniz. Si dimostra che in un'algebra di Leibniz, l'esistenza di un'unità non banale è incompatibile con la struttura di prodotto non banale, a meno che il prodotto non sia nullo. Tuttavia, tramite l'unitalizzazione, si identificano sottospazi di om-unity nascosti negli elementi nilpotenti (in particolare elementi 3-nilpotenti).

D. Applicazioni alle Algebre di Cayley-Dickson

• Gli autori calcolano esplicitamente i sottospazi $AC(A)$ per le algebre di Cayley-Dickson:
  • Numeri Complessi ($\mathbb{C}$): $AC(\mathbb{C}) = \mathbb{C}$ (tutte le moltiplicazioni sono compatibili).
  • Quaternioni ($\mathbb{H}$): $AC(\mathbb{H}) = \mathbb{R}$ (solo i multipli reali dell'unità).
  • Ottonioni ($\mathbb{O}$) e Sedenioni ($\mathbb{S}$): $AC(\mathbb{O}) = \{0\}$ e $AC(\mathbb{S}) = \{0\}$.
  • Questo risultato illustra come la perdita di proprietà associative (passando da $\mathbb{H}$ a $\mathbb{O}$ e $\mathbb{S}$) elimini progressivamente la possibilità di avere strutture om-associative non banali indotte da moltiplicazioni.

4. Significato e Implicazioni

Questo lavoro è significativo per diversi motivi:

1. Unificazione Concettuale: Fornisce un quadro unificato per comprendere come l'unitalità classica si relaziona con la struttura om-associativa, chiarendo quando una struttura deformatata può ancora essere considerata "unitali" in senso generalizzato.
2. Restrizioni Strutturali: Dimostra che la moltiplicatività in presenza di unità è una condizione estremamente restrittiva, spesso forzata a ridurre l'algebra a una struttura associativa classica. Questo aiuta a classificare quali algebre om-associative possono essere studiate con strumenti di coomologia standard.
3. Strumenti Computazionali: Offre formule esplicite (in termini di centro, nucleo e annullatori) per calcolare le strutture om-associative in classi specifiche di algebre, rendendo il problema trattabile in casi concreti.
4. Estensione a Nuove Classi: Estende la teoria oltre le algebre associative e Lie, toccando algebre di Leibniz e algebre di Cayley-Dickson, mostrando l'interazione tra la torsione e la perdita di proprietà algebriche fondamentali (come l'associatività o la commutatività).

In sintesi, il paper stabilisce che l'om-unitalità agisce come un "filtro" potente sulla struttura dell'algebra, legando indissolubilmente la mappa di torsione agli idempotenti e agli elementi centrali, e fornendo una mappa chiara per la costruzione e la classificazione di tali strutture in contesti non associativi.