Anti-associative dendriform algebras

Sintesi Tecnica: Algebre Dendriformi Anti-Associative

Enunciato del Problema e Motivazione
Il lavoro affronta il problema di estendere il quadro operadico della "suddivisione" delle operazioni algebriche al contesto delle algebre anti-associative. Mentre la suddivisione delle operazioni associative conduce alle algebre dendriformi (introdotte da Loday), e la suddivisione delle strutture Lie-ammissibili conduce alle algebre pre-Lie, l'autore indaga la struttura analoga per le algebre anti-associative.

La motivazione nasce dal desiderio di completare un diagramma commutativo che relaziona categorie algebriche. Nello specifico, il lavoro mira a estendere la relazione nota tra algebre anti-associative ($AAs$), algebre Jacobi-Jordan ($J-J$) e algebre pre-Jacobi-Jordan ($Pre-J-J$). Proprio come le algebre dendriformi si collocano nell'angolo "in alto a sinistra" del diagramma che relaziona algebre associative e pre-Lie, l'autore ipotizza l'esistenza di una categoria di "algebre dendriformi anti-associative" ($AAs\text{-}Dend$) che completi il diagramma per il caso anti-associativo.

Metodologia
Il lavoro adotta un approccio strutturale e operadico, utilizzando i seguenti metodi:

1. Definizione e Verifica: L'autore definisce le algebre dendriformi anti-associative come spazi vettoriali dotati di due operazioni bilineari ($\succ, \prec$) tali che la loro somma sia anti-associativa. Le identità specifiche sono derivate richiedendo che la struttura algebrica indotta appartenga alla categoria delle algebre anti-associative.
2. Teoria dei Bimoduli: Il lavoro utilizza la teoria dei bimoduli sulle algebre anti-associative per costruire nuove algebre su somme dirette ($A \oplus V$). Questo viene utilizzato per caratterizzare le algebre dendriformi anti-associative tramite strutture di bimodulo compatibili.
3. Operatori O e Operatori di Rota-Baxter: L'autore introduce gli operatori O sulle algebre anti-associative come generalizzazione degli operatori di Rota-Baxter. Questo strumento è utilizzato per costruire algebre dendriformi anti-associative a partire da algebre anti-associative esistenti.
4. Cocicli di Connes: Viene esplorata la relazione tra cocicli di Connes non degeneri e strutture dendriformi anti-associative, specificamente nel contesto delle costruzioni doppie sulla somma diretta di un'algebra e del suo duale.
5. Classificazione: Il lavoro esegue una classificazione delle algebre di bassa dimensione (2-dimensionali) sui numeri complessi analizzando i vincoli imposti dalle identità definitorie sulle costanti strutturali.

Contributi e Risultati Chiave

• Definizione di Algebre Dendriformi Anti-Associative:
  Il lavoro definisce un'algebra dendriforme anti-associativa $(A, \succ, \prec)$ come uno spazio vettoriale in cui le operazioni soddisfano:

  • $(x \succ y) \succ z = -x \succ (y \succ z)$
  • $x \prec (y \prec z) = -(x \prec y) \prec z$
  • $x \succ (y \prec z) = -(x \succ y) \prec z$
    dove il prodotto totale $x * y = x \succ y + x \prec z$ è anti-associativo (soddisfacendo $a*(b*c) + (a*b)*c = 0$).

• Completamento del Diagramma Commutativo:
  Il Teorema 2.7 dimostra che la categoria $AAs\text{-}Dend$ completa il seguente diagramma commutativo:
  $$\begin{array}{ccc} AAs\text{-}Dend & \to & Pre\text{-}J\text{-}J \\ \downarrow & & \downarrow \\ AAs & \to & J\text{-}J \end{array}$$
  Qui, le frecce verticali rappresentano i funtori dimenticanti verso l'algebra anti-associativa sottostante e l'algebra pre-Jacobi-Jordan associata, rispettivamente.

• Caratterizzazione tramite Bimoduli:
  Il Teorema 2.8 stabilisce che una struttura di algebra dendriforme anti-associativa su $A$ è equivalente all'esistenza di una struttura di bimodulo $(A, L_\succ, R_\prec)$ sull'algebra anti-associativa associata $(A, *)$.

• Operatori O e Operatori di Rota-Baxter:

  • Teorema 3.3: Dimostra che ogni operatore O $T: V \to A$ associato a un bimodulo di un'algebra anti-associativa induce una struttura dendriforme anti-associativa su $V$.
  • Teorema 3.5: Dimostra che un'algebra anti-associativa ammette una struttura dendriforme anti-associativa compatibile se e solo se esiste su di essa un operatore O invertibile.
  • Corollario 3.7: Mostra che la somma diretta di un'algebra dendriforme anti-associativa con se stessa ammette una struttura di operatore di Rota-Baxter.

• Cocicli di Connes:
  Il Teorema 4.2 stabilisce che un cociclo di Connes non degenere su un'algebra anti-associativa permette la costruzione di una struttura dendriforme anti-associativa compatibile. Ciò porta alla Proposizione 4.3, che descrive la "costruzione doppia" dei cocicli di Connes ($A \bowtie A^*$) come fonte di tali strutture.

• Classificazione delle Algebre 2-Dimensionali:
  Il Teorema 5.4 fornisce una classificazione delle algebre dendriformi anti-associative 2-dimensionali non banali su $\mathbb{C}$. I casi non banali rientrano in due famiglie:

  1. $Rh_1$: Definita da $e_1 \prec e_1 = e_2$.
  2. $Rh_2[\lambda]$: Definita da $e_1 \succ e_1 = e_2$ e $e_1 \prec e_1 = \lambda e_2$ (dove $\lambda \in \mathbb{C}$).
     Il lavoro nota inoltre che le algebre associate all'algebra anti-associativa abeliana sono 2-nilpotenti.

• Nilpotenza e Quozienti:
  Il lavoro introduce il concetto di 2-nilpotenza per queste algebre e dimostra (Proposizione 5.6) che, sotto certe condizioni riguardanti l'annullatore, il quoziente di un'algebra dendriforme anti-associativa per il suo annullatore conserva una struttura dendriforme anti-associativa compatibile.

Significato e Affermazioni
Il lavoro afferma di fornire uno studio sistematico delle "algebre dendriformi anti-associative" come controparte naturale delle algebre dendriformi di Loday all'interno della varietà delle algebre anti-associative. Il suo significato principale risiede in:

1. Unificazione: Offrire un quadro unificato che parallela la suddivisione dell'associatività, estendendo così l'approccio operadico all'anti-associatività.
2. Strumenti Strutturali: Fornire operatori O e cocicli di Connes come strumenti efficaci per costruire e interpretare queste algebre.
3. Classificazione Fondamentale: Porre le basi per la classificazione di queste algebre risolvendo il problema per il caso 2-dimensionale, che funge da base per comprendere la struttura della varietà.

L'autore afferma esplicitamente che il lavoro mira ad affrontare la "suddivisione dell'anti-associatività" e presenta il diagramma commutativo (3) come il risultato strutturale centrale, confermando l'esistenza della categoria $AAs\text{-}Dend$ come il collegamento mancante nella gerarchia delle algebre correlate all'anti-associatività.