Multipliers, $W$-algebras and the growth of generalized polynomial identities

1. Enunciato del Problema e Contesto

Il lavoro affronta la teoria delle identità polinomiali generalizzate (GPI) nel contesto delle $W$-algebre.

• Contesto: Una $W$-algebra $A$ è un'algebra associativa su un campo $F$ (caratteristica 0) equipaggiata con una struttura di bimodulo su un'altra algebra $W$, soddisfacendo condizioni di compatibilità specifiche tra la moltiplicazione in $A$ e l'azione di $W$.
• Il Divario: La ricerca precedente sulle GPI (ad esempio, di Amitsur, Gordienko) tipicamente fissava l'algebra $W$ e la sua specifica azione su $A$ (solitamente come sottoalgebra che agisce per moltiplicazione sinistra/destra) a priori. Ciò limitava la generalità della teoria.
• L'Obiettivo: Gli autori mirano a sviluppare una teoria unificata e completa delle $W$-algebre che sia indipendente dalla scelta specifica di $W$ o della sua azione, permettendo una classificazione più ampia della crescita della codimensione generalizzata e affrontando la proprietà di Specht (generazione finita degli ideali di identità) in questo contesto generalizzato.

2. Metodologia

Gli autori adottano un approccio strutturale incentrato sulle algebre di moltiplicatori per astrarre l'azione di $W$.

• Quadro delle Algebre di Moltiplicatori:

  • Introducono l'algebra di moltiplicatori $M(A)$ di un'algebra $A$, definita come coppie di applicazioni lineari $(R, L)$ (moltiplicatori destro e sinistro) che soddisfano condizioni di compatibilità specifiche con il prodotto in $A$.
  • Stabiliscono una dualità tra l'azione di $W$ su $A$ e gli omomorfismi da $W$ in $M(A)$. Nello specifico, un'azione di $W$ corrisponde a un "omomorfismo agente" $\Phi: W \to M(A)$ dove l'immagine soddisfa una condizione di permutabilità ($R(w_1)L(w_2) = L(w_2)R(w_1)$).
  • Ciò permette loro di trattare l'azione di $W$ come un'operazione unaria che emerge naturalmente dalla struttura di $M(A)$, piuttosto che fissare $W$ esternamente.

• Decomposizione Strutturale:

  • Utilizzando il Teorema di Wedderburn-Malcev, analizzano le $W$-algebre di dimensione finita. Dimostrano che il radicale di Jacobson $J(A)$ è sempre un $W$-ideale.
  • Caratterizzano le algebre $W$-semplici, mostrando che sono isomorfe ad algebre di matrici $M_k(F)$ con azioni indotte da sottoalgebre.

• Analisi Combinatoria:

  • Definiscono le codimensioni generalizzate $c_n^W(A)$ come la dimensione dello spazio dei $W$-polinomi multilineari modulo l'ideale delle identità.
  • Utilizzano costruzioni di basi per le $W$-algebre libere $W\langle X \rangle$ e analizzano i tassi di crescita di queste successioni.

3. Contributi e Risultati Chiave

A. Teoria Unificata delle $W$-Algebre

• Generalizzazione: Il lavoro fornisce un quadro in cui $W$ non è fissato. Dimostra che qualsiasi struttura di $W$-algebra può essere vista attraverso l'algebra di moltiplicatori $M(A)$.
• Prodotto Semidiretto: Costruiscono il prodotto semidiretto $W \ltimes A$, mostrando che ogni $W$-algebra può essere immersa in una $W$-algebra unitaria, facilitando lo studio dei casi non unitari.
• Uguaglianza degli Esponenti: Dimostrano che per una $W$-algebra unitaria di dimensione finita $A$, l'esponente PI generalizzato $\exp_W(A)$ esiste ed è uguale all'esponente PI ordinario $\exp(A)$.

B. Crescita delle Codimensioni Generalizzate

Gli autori investigano il comportamento asintotico della successione $c_n^W(A)$.

• Algebre di Matrici ($M_k(F)$):

  • Calcolano la base per l'ideale $T_W$ delle identità per $M_k(F)$ dove $W$ agisce come l'algebra di matrici piena $M_k(F)$.
  • Risultato: Le codimensioni generalizzate sono $c_n^W(M_k) = k^{2(n+1)}$.
  • Significato: Nonostante la crescita esponenziale della successione stessa, la varietà generata da $M_k(F)$ esibisce una crescita quasi polinomiale. Ciò significa che la varietà stessa ha crescita esponenziale, ma ogni sottovarietà propria ha crescita polinomiale. Questo è un risultato inaspettato, poiché le algebre di matrici solitamente generano varietà di crescita esponenziale pura nella teoria PI classica.

• Matrici Triangolari Superiori ($UT_2$):

  • Classificano le $W$-identità per $UT_2$ sotto varie azioni (da $F$, matrici diagonali $D$, una specifica sottoalgebra $C$, o $UT_2$ stessa).
  • Calcolano le successioni esatte delle codimensioni per questi casi (ad esempio, $c_n^W(UT_2^D) = n2^{n-1} + 2$).

• Teorema di Classificazione:

  • Forniscono una caratterizzazione completa delle varietà generalizzate con crescita quasi polinomiale.
  • Teorema: Una $W$-algebra di dimensione finita $A$ genera una varietà di crescita quasi polinomiale se e solo se la varietà contiene una delle seguenti algebre "critiche":
    1. $UT_2^F$ (Matrici triangolari superiori con azione scalare).
    2. $UT_2^D$ (Matrici triangolari superiori con azione diagonale).
    3. $M_k$ per $k \ge 2$ (Algebre di matrici con azione piena).
  • Se nessuna di queste è contenuta nella varietà, la crescita è polinomiale.

C. La Proprietà di Specht e Controesempi

• Contesto: La proprietà di Specht chiede se l'ideale delle identità sia finitamente generato. Kemer ha dimostrato ciò per le algebre associative in caratteristica zero.
• Controesempio: Gli autori costruiscono un controesempio nel contesto generalizzato.
  • Considerano l'algebra di Grassmann $E$ (di dimensione infinita) e lasciano che $W$ agisca su $E$ sia come l'algebra piena $E$ sia come una sottoalgebra di dimensione finita $E_k$.
  • Risultato: Se $W$ non è finitamente generata, l'ideale $T_W$ delle identità per $E$ non è finitamente generato.
  • Specifiche:
    • Per $E(k)$ (azione da $E_k$), le codimensioni sono finite ($c_n^E(E(k)) = 2^{n-1}(2^{k+1}-1)$), ma l'ideale richiede infiniti generatori a causa dell'insieme infinito di identità che coinvolgono elementi $e_j$ per $j > k$.
    • Per $E$ (azione da $E$), le codimensioni sono infinite ($c_n^E(E) = +\infty$).
• Congettura: Gli autori congetturano che se $W$ è finitamente generata, allora l'ideale $T_W$ di qualsiasi $W$-algebra è finitamente generato (ripristinando la proprietà di Specht).

4. Significato

• Unificazione Teorica: Il lavoro disaccoppia con successo lo studio delle identità generalizzate dalla scelta specifica dell'algebra agente $W$, utilizzando le algebre di moltiplicatori per creare un quadro robusto e generale.
• Nuovi Fenomeni di Crescita: La scoperta che la varietà generata da algebre di matrici con azione piena ha una crescita quasi polinomiale (anziché esponenziale pura) sfida le intuizioni esistenti derivate dalla teoria PI classica e mette in luce il comportamento unico delle identità generalizzate.
• Confine della Proprietà di Specht: Il lavoro delimita il confine preciso in cui la proprietà di Specht fallisce nei contesti generalizzati. Identifica la generazione finita dell'algebra agente $W$ come il fattore cruciale, piuttosto che semplicemente la dimensione di $A$.
• Avanzamenti Computazionali: Il calcolo esplicito delle basi per gli ideali $T_W$ in $M_k(F)$ e $UT_2$ fornisce strumenti concreti per ulteriori ricerche in algebra non commutativa e teoria combinatoria degli anelli.

In sintesi, Martino e Rizzo estendono la teoria delle identità polinomiali a un contesto altamente generale, rivelando nuove proprietà strutturali delle $W$-algebre, classificando i loro tassi di crescita e identificando le condizioni specifiche in cui la classica proprietà di Specht si rompe.