On the representability of actions of unital algebras

Sintesi Tecnica: Sulla Rappresentabilità delle Azioni di Algebre Unitarie

Enunciato del Problema
Il lavoro investiga la rappresentabilità delle azioni interne nel contesto delle algebre non associative unitarie su un campo. Nell'algebra categoriale, una categoria è rappresentabile per azioni se il funtore delle estensioni scisse (o azioni interne) su un oggetto $X$ è naturalmente isomorfo al funtore Hom $\text{Hom}(-, [X])$, dove $[X]$ è un oggetto chiamato "attore". Sebbene questa proprietà valga per i gruppi (dove $[X] = \text{Aut}(X)$) e per le algebre di Lie, è noto che fallisce per molte varietà di algebre non associative, come le algebre associative commutative.

Lavori precedenti hanno stabilito che, nell'ambito delle categorie semi-abeliane (che includono le algebre non unitarie), la rappresentabilità per azioni è una proprietà altamente restrittiva, che caratterizza essenzialmente solo le algebre abeliane e di Lie. Gli autori affrontano la questione se tale restrizione persista quando si restringe l'attenzione alle algebre unitarie. Nello specifico, esaminano le categorie esattamente ideali delle algebre unitarie (che generalmente non sono puntate, a differenza delle categorie semi-abeliane) per determinare se la presenza di un'unità moltiplicativa ripristini la rappresentabilità per azioni.

Metodologia
Gli autori impiegano una combinazione di tecniche di algebra categoriale e algebra universale:

1. Categorie Esattamente Ideali: Lavorano all'interno del quadro delle categorie esattamente ideali (introdotte da G. Janelidze), che generalizzano le categorie semi-abeliane per includere contesti non puntati come la categoria degli anelli unitari ($\text{Ring}$) e degli anelli commutativi unitari ($\text{CRing}$). La rappresentabilità per azioni in questo contesto è definita rispetto alla categoria slice semi-abeliana $(\mathcal{U} \downarrow 0)$.
2. Attori Deboli Esterni: Per varietà operadiche e accessibili per azioni di algebre non associative, gli autori utilizzano la costruzione dell'attore debole esterno $E(X)$. Si tratta di un'algebra parziale costruita a partire da coppie di endomorfismi che soddisfano identità specifiche (le regole $\lambda/\mu$) derivate dalle equazioni definitorie della varietà.
3. La Mappa Canonica: Uno strumento centrale è l'omomorfismo canonico di algebre parziali $\text{Inn}: X \to E(X)$, definito mappando un elemento $x$ ai suoi operatori di moltiplicazione sinistra e destra $(L_x, R_x)$.
4. Varietà Chiusse per l'Unità: L'analisi si concentra sulle varietà chiuse per l'unità, dove l'aggiunta di un'unità esterna a un'algebra preserva l'appartenenza alla varietà. Ciò permette agli autori di relazionare le proprietà delle algebre unitarie alla varietà non unitaria sottostante.

Contributi e Risultati Chiave

• Fallimento dell'Accessibilità nelle Categorie Unitarie Generali: Il lavoro dimostra che, in generale, le categorie di algebre unitarie non sono nemmeno accessibili per azioni (una condizione più debole della rappresentabilità). Nello specifico, la Proposizione 4.11 prova che le categorie delle algebre commutative unitarie ($\text{Com}_1$) e delle algebre non associative unitarie ($\text{Alg}_1$) non sono accessibili per azioni. Ciò è dimostrato costruendo una specifica algebra commutativa unitaria di dimensione 6 in cui le estensioni scisse non ammettono morfismi verso oggetti fedeli.

• Caratterizzazione dell'Unitarietà tramite l'Attore Debole Esterno: Per una varietà $\mathcal{V}$ operadica, accessibile per azioni e chiusa per l'unità, gli autori provano una cruciale equivalenza (Teorema 5.6): Per qualsiasi algebra $X$ in $\mathcal{V}$, la mappa canonica $\text{Inn}: X \to E(X)$ è un isomorfismo se e solo se $X$ è un'algebra unitaria.

  • Se $X$ è unitaria, il nucleo di $\text{Inn}$ (l'annullatore) è banale, e l'esistenza di un'unità permette a ogni elemento dell'attore debole esterno di essere univocamente determinato dalla sua azione sull'unità, garantendo la suriettività.
  • Se $\text{Inn}$ è un isomorfismo, la controimmagine della coppia identità $(\text{id}_X, \text{id}_X)$ fornisce un'unità moltiplicativa per $X$.

• Teorema Principale sulla Rappresentabilità per Azioni: Il risultato centrale (Teorema 5.7) afferma che se $\mathcal{V}$ è una varietà operadica, accessibile per azioni e chiusa per l'unità, allora la categoria esattamente ideale $\mathcal{V}_1$ delle algebre unitarie in $\mathcal{V}$ è rappresentabile per azioni. Inoltre, l'attore di qualsiasi algebra unitaria $X$ è la stessa $X$.

  • Ciò implica che per tali varietà, il funtore delle estensioni scisse di un'algebra unitaria $X$ è rappresentabile da $X$.
  • Questo risultato si applica alle algebre associative unitarie, alle algebre associative commutative unitarie, alle algebre alternative unitarie e alle algebre Jacobi-Jordan unitarie (in caratteristica 3).

• Estensione alle Algebre di Poisson: Gli autori estendono questi risultati alle algebre di Poisson unitarie ($\text{Pois}_1$) e alle algebre di Poisson commutative unitarie ($\text{CPois}_1$). Utilizzando la costruzione esplicita dell'attore generale stretto universale (USGA) per le categorie di Orzech di interesse, provano (Teoremi 6.7 e 6.8) che queste categorie sono rappresentabili per azioni, con l'attore di un'algebra di Poisson unitaria che è l'algebra stessa.

Significato e Affermazioni
Il lavoro afferma di risolvere un contrasto significativo tra i contesti non unitario e unitario nell'algebra non associativa. Mentre la rappresentabilità per azioni nel contesto semi-abeliano (non unitario) è rara (limitata essenzialmente alle algebre di Lie), l'introduzione di un'unità moltiplicativa in varietà operadiche, accessibili per azioni e chiuse per l'unità ripristina questa proprietà universalmente.

Gli autori sottolineano che per le algebre unitarie in queste specifiche varietà, l'"attore" non è un oggetto esterno complesso (come un'algebra di bimoltiplicatori o un'algebra di derivazioni), bensì l'algebra stessa. Ciò semplifica la struttura categoriale delle azioni per le algebre unitarie, suggerendo che la presenza di un'unità altera fondamentalmente il comportamento delle estensioni scisse e delle azioni interne, rendendole rappresentabili in modo diretto e intrinseco. Il lavoro fornisce inoltre un metodo concreto per verificare la rappresentabilità per azioni in nuove varietà controllando la proprietà di chiusura per l'unità e l'esistenza delle regole $\lambda/\mu$.