Free Reductive Lie Algebra Pairs of Lie-Yamaguti algebras

Sintesi Tecnica: Coppie di Lie Algebre Reduttive Libere di Algebre di Lie-Yamaguti

Enunciato del Problema
Il saggio affronta una fondamentale disconnessione categoriale tra due classi di strutture algebriche: le Coppie di Lie Algebre Reduttive (RLP) e le algebre di Lie-Yamaguti (LY). Sebbene esista una nota costruzione, denotata con $G'$, che mappa una RLP $(\mathfrak{g}, \mathfrak{h}, \mathfrak{m})$ in un'algebra LY $(\mathfrak{m}, T, R)$ tramite la proiezione delle parentesi di Lie, la direzione inversa è problematica. Nello specifico, la classica costruzione di un "algebra di Lie avvolgente" $\hat{\mathfrak{g}}(E)$ per una data algebra LY $E$ fallisce nell'essere un funzionale. Gli autori dimostrano che tale assegnazione non può essere estesa a un funzionale da una categoria di algebre LY a una di RLP perché non preserva i morfismi nel caso generale. Il problema centrale è stabilire una relazione funzionale rigorosa tra queste categorie e risolvere la non-funzionalità della costruzione dell'algebra avvolgente.

Metodologia
Gli autori utilizzano la teoria delle categorie, nello specifico la teoria dei funzionali amari, per ristrutturare la relazione tra queste categorie algebriche. La metodologia procede in tre fasi principali:

1. Costruzione del Controesempio: Gli autori forniscono innanzitutto un controesempio esplicito (Esempio 4) dimostrando che l'assegnazione $E \mapsto \hat{\mathfrak{g}}(E)$ non è un funzionale. Costruiscono un diagramma di sistemi tripli di Lie (un tipo specifico di algebra LY) in cui un morfismo $i$ e una suriezione $p$ soddisfano $p \circ i = \text{id}$. Tuttavia, applicando la costruzione dell'algebra avvolgente a questo diagramma, si giunge a una contraddizione riguardante l'iniettività e la suriettività delle mappe indotte, provando che non esiste un tale funzionale $H: \text{LY} \to \text{RLP}$.

2. Costruzione di un Funzionale Sinistro (Oggetto Libero): Per superare la mancanza di un funzionale diretto, gli autori costruiscono una coppia di Lie algebre reduttiva "libera" generata da un'algebra LY.

   • Essi iniziano con un'algebra LY $(E, T, R)$ e formano un'algebra non associativa preliminare $\tilde{\mathfrak{g}}(E) = E \oplus \Lambda^2 E$.
   • La parentesi su $\tilde{\mathfrak{g}}(E)$ è definita utilizzando le operazioni LY $T$ e $R$. Si dimostra che questa parentesi soddisfa l'identità di Leibniz ma non è necessariamente antisimmetrica.
   • Gli autori utilizzano la teoria delle algebre di Leibniz per identificare gli ostacoli specifici agli assiomi della parentesi di Lie. Definiscono due ideali bilaterali $\tilde{I}_1$ (generato dal fallimento dell'antisimmetria) e $\tilde{I}_2$ (generato da specifiche identità di somma ciclica derivate dagli assiomi LY).
   • Quotientando $\tilde{\mathfrak{g}}(E)$ per l'ideale $\tilde{I}(E) = \tilde{I}_1 + \tilde{I}_2$, si ottiene un'algebra di Lie $\mathfrak{g}(E)$. Ciò produce una coppia reduttiva $(\mathfrak{g}(E), \mathfrak{h}(E), E)$ dove $\mathfrak{h}(E) = \tilde{\mathfrak{g}}(E)/\tilde{I}(E)$.
   • Questa costruzione definisce un funzionale $F: \text{LY} \to \text{mRLP}$ (dove mRLP è la sottocategoria delle RLP generate da $m$ elementi).

3. Restrizione ai Morfismi Suriettivi: Per recuperare l'algebra di Lie avvolgente classica $\hat{\mathfrak{g}}(E)$ come un funzionale, gli autori restringono le categorie a sottocategorie contenenti solo morfismi suriettivi ($\text{LY}_s$ e $\text{mRLP}_s$). Essi dimostrano che, sotto questa restrizione, l'assegnazione classica diventa un funzionale covariante ben definito.

Contributi Chiave e Risultati

• Il Funzionale Sinistro ($\text{F}$): Il risultato primario (Teorema 9) è la costruzione esplicita di un funzionale $F: \text{LY} \to \text{mRLP}$ che è il sinistro amaro (left adjoint) del funzionale di restrizione $G: \text{mRLP} \to \text{LY}$. Ciò stabilisce che per ogni algebra LY $E$, esiste una coppia di Lie algebre reduttive "libera" $F(E)$ tale che i morfismi da $F(E)$ a qualsiasi RLP generata da $m$ elementi corrispondono naturalmente ai morfismi da $E$ all'algebra LY sottostante di tale RLP.

  • La costruzione si basa sul quoziente di $E \oplus \Lambda^2 E$ per specifici ideali derivati dalla teoria delle algebre di Leibniz.
  • L'unità di questa adgiunzione è un isomorfismo naturale, mentre la counità è un morfismo suriettivo.

• Il Funzionale Destro ($\hat{g}$): Il secondo risultato principale (Teorema 10) colloca la classica algebra di Lie avvolgente $\hat{\mathfrak{g}}(E)$ in un quadro categoriale. Restringendo alle morfismi suriettivi, l'assegnazione $E \mapsto \hat{\mathfrak{g}}(E)$ diventa un funzionale covariante $\hat{g}: \text{LY}_s \to \text{mRLP}_s$.

  • Questo funzionale $\hat{g}$ è il destro amaro (right adjoint) della restrizione del funzionale $G$ alla sottocategoria dei morfismi suriettivi.
  • La counità di questa seconda adgiunzione è un isomorfismo, e l'unità è un morfismo suriettivo.

• Relazione tra $F$ e $\hat{g}$: Il saggio chiarisce la distinzione tra la costruzione libera $F(E)$ e la classica algebra avvolgente $\hat{\mathfrak{g}}(E)$. Per un'algebra LY abeliana $E$, $F(E)$ produce un'algebra di Lie di tipo Heisenberg non abeliana ($E \oplus \Lambda^2 E$), mentre $\hat{\mathfrak{g}}(E)$ rimane abeliana. Il saggio stabilisce una catena di estensioni centrali che connette questi oggetti per ogni RLP generata da $m$ elementi:
  $$\mathfrak{g}(m) \xrightarrow{\epsilon_g} \mathfrak{g} \xrightarrow{\eta_{sg}} \hat{\mathfrak{g}}(m)$$
  dove i nuclei di queste mappe sono ideali centrali.

Significato
Il saggio afferma che la sua importanza risiede nel risolvere la non-funzionalità della costruzione dell'algebra avvolgente attraverso la lente della teoria delle categorie. Identificando i corretti amari, gli autori forniscono una "costruzione universale" (la RLP libera) che permette la traduzione delle proprietà tra le algebre LY e le RLP.

Il lavoro generalizza precedenti bozze riguardanti i sistemi tripli di Lie (un caso speciale di algebre LY) alla piena generalità delle algebre di Lie-Yamaguti. Inoltre, dimostra che, sebbene l'algebra avvolgente classica non sia un funzionale nella categoria generale, essa recupera la funzionalità e diventa un destro amaro quando i morfismi sono ristretti alle suriezioni. Ciò fornisce una base categoriale rigorosa per la relazione tra la geometria differenziale degli spazi omogenei reduttivi (modellati dalle RLP) e le loro descrizioni algebriche dello spazio tangente (modellate dalle algebre LY).