Non-isomorphic restricted Lie algebras with isomorphic restricted enveloping algebras

Riepilogo Tecnico: Algebre di Lie Restritte Non Isomorfe con Algebre Avvolgenti Restrette Isomorfe

Enunciato del Problema
Il documento affronta il Problema dell'Isomorfismo Restretto, un analogo modulare del classico Problema dell'Isomorfismo Modulare per le algebre di gruppo. Il problema chiede se un'algebra di Lie ristretta $L$ di dimensione finita su un campo $F$ di caratteristica $p > 0$ sia determinata unicamente dalla sua algebra avvolgente ristretta $u(L)$. Nello specifico, se $u(L) \cong u(H)$ come $F$-algebre, deve necessariamente $L \cong H$ come algebre di Lie ristrette?

Sebbene il problema sia stato risolto positivamente per classi specifiche (ad esempio, algebre abeliane, metacicliche o $p$-nilpotenti su campi perfetti in determinate dimensioni) e negativamente per le ordinarie algebre avvolgenti universali $U(\mathfrak{g})$ in caratteristica prima, il caso generale per le algebre di Lie ristrette rimaneva aperto. L'autore osserva che i precedenti risultati positivi per le algebre $p$-nilpotenti suggerivano una potenziale risposta affermativa per questa classe, in particolare su campi perfetti.

Metodologia
L'autore costruisce controesempi espliciti al Problema dell'Isomorfismo Restretto su campi di arbitraria caratteristica positiva. La metodologia prevede:

1. Costruzione Caso per Caso:
   • Caratteristica 2: Viene costruita una famiglia parametrica di algebre $L_k$ e $H_k$ su $\mathbb{F}_2$. Queste algebre sono definite da basi specifiche, mappe-$p$ (mappe-2), e commutatori non nulli. La costruzione si basa sulle identità specifiche della caratteristica 2, quali $(x+y)^2 = x^2 + y^2 + [x,y]$.
   • Caratteristica Dispari: Una distinta famiglia $L_{p,k}$ e $H_{p,k}$ viene costruita su $\mathbb{F}_p$ per primi dispari. Questa costruzione adatta il meccanismo del caso in caratteristica 2 ma richiede definizioni di commutatore differenti e utilizza l'invertibilità di 2 per definire elementi centrali specifici.
2. Verifica dell'Isomorfismo: Per ogni coppia, l'autore definisce una mappa $\phi$ sui generatori di $u(L)$ verso parole nei generatori di $u(H)$. Si verifica rigorosamente che le loro immagini soddisfino le relazioni definitorie (commutatori e relazioni di potenza-$p$) di $u(L)$, stabilendo così un omomorfismo di algebre ben definito. La suriettività è dimostrata mostrando che i generatori di $u(H)$ giacciono nell'immagine, mentre l'iniettività segue dall'uguaglianza delle dimensioni (garantita dal teorema di Poincaré–Birkhoff–Witt).
3. Generalizzazione: Utilizzando la proprietà per cui le algebre avvolgenti ristrette commutano con le estensioni scalari ($u(L \otimes_{\mathbb{F}_p} F) \cong u(L) \otimes_{\mathbb{F}_p} F$), i risultati vengono estesi dai campi primi a qualsiasi campo $F$ di caratteristica $p$.
4. Processo di Scoperta: L'autore nota che gli esempi iniziali sono stati scoperti tramite una ricerca computazionale guidata da "invarianti determinati" (come i quozienti di sottospazi di dimensione), cercando specificamente coppie in cui le dimensioni del sottospazio derivato differivano ($\dim L' \neq \dim H'$) mentre altri invarianti graduati coincidevano.

Contributi Chiave e Risultati
Il risultato primario è il Teorema 5.2, il quale afferma:
Sia $F$ un campo di caratteristica $p > 0$. Per ogni intero $n \geq p + 5$, esistono algebre di Lie ristrette $p$-nilpotenti $L$ e $H$ su $F$ tali che:

• $\dim L = \dim H = n$.
• $u(L) \cong u(H)$ come $F$-algebre.
• $\dim L' = p$ e $\dim H' = p + 1$.

Di conseguenza, $L$ e $H$ non sono isomorfe come algebre di Lie ristrette (e nemmeno come algebre di Lie ordinarie) perché i loro sottospazi derivati hanno dimensioni differenti.

Significato e Rivendicazioni
Il documento sostiene di fornire una soluzione negativa al Problema dell'Isomorfismo Restretto su ogni campo di caratteristica positiva. Il significato di questo risultato è triplice:

1. Risoluzione di Problemi Aperti: Risponde negativamente al Problema 6 (esistenza di un controesempio) e al Problema 9 (se la risposta sia positiva per le algebre $p$-nilpotenti su campi perfetti) dal survey di Usefi [17].
2. Limite della Determinazione: I risultati dimostrano che l'algebra avvolgente ristretta $u(L)$ non determina il dimensione del sottospazio derivato $L'$, né la serie centrale inferiore di $L$, anche all'interno della classe delle algebre $p$-nilpotenti. Ciò stabilisce un confine netto per gli invarianti catturati da $u(L)$; pur determinando l'algebra di Lie ristretta associata graduata $\text{gr } L$ e i quozienti come $L/(L'^p + \gamma_3(L))$, esso fallisce nel catturare la dimensione del sottospazio derivato.
3. Distinzione dalle Algebre Avvolgenti Ordinarie: Il documento chiarisce che il fenomeno è specifico del contesto ristretto. Per l'ordinaria algebra avvolgente universale $U(\mathfrak{g})$, l'isomorfismo $U(L) \cong U(H)$ implicherebbe $\dim(L/L') = \dim(H/H')$. Poiché le coppie costruite presentano $\dim(L/L') \neq \dim(H/H')$, ne consegue che $U(L) \not\cong U(H)$. Pertanto, i controesempi si basano crucialmente sul collasso della chiusura-$p$ del sottospazio derivato nel quoziente commutativo dell'algebra avvolgente ristretta.

L'autore conclude che il problema dell'isomorfismo ristretto ha una risposta negativa anche per le algebre $p$-nilpotenti su campi perfetti, risolvendo una questione aperta di lunga data nella teoria delle rappresentazioni delle algebre di Lie ristrette.