Non-isomorphic restricted Lie algebras with isomorphic restricted enveloping algebras

Technische Samenvatting: Niet-isomorfe beperkte Lie-algebra's met isomorfe beperkte enveloppende algebra's

Probleemstelling
Het artikel behandelt het Beperkte Isomorfieprobleem, een modulaire analogie van het klassieke Modulaire Isomorfieprobleem voor groepslichamen. Het probleem vraagt of een einddimensionaal beperkt Lie-algebra $L$ over een lichaam $F$ met karakteristiek $p > 0$ uniek wordt bepaald door zijn beperkte enveloppende algebra $u(L)$. Specifiek: als $u(L) \cong u(H)$ is als $F$-algebra, moet $L \cong H$ dan ook zijn als beperkte Lie-algebra's?

Hoewel het probleem positief is beslecht voor specifieke klassen (bijv. abeliaanse, metacyclische of $p$-nilpotente algebra's over perfecte lichamen in bepaalde dimensies) en negatief voor gewone universele enveloppende algebra's $U(\mathfrak{g})$ in priemkarakteristiek, bleef de algemene casus voor beperkte Lie-algebra's open. De auteur merkt op dat eerdere positieve resultaten voor $p$-nilpotente algebra's suggereerden dat er een potentieel positief antwoord voor deze klasse bestond, met name over perfecte lichamen.

Methodologie
De auteur construeert expliciete tegenvoorbeelden voor het Beperkte Isomorfieprobleem over lichamen van willekeurige positieve karakteristiek. De methodologie omvat:

1. Casus-specifieke Constructie:
   • Karakteristiek 2: Een parametrische familie van algebra's $L_k$ en $H_k$ wordt geconstrueerd over $\mathbb{F}_2$. Deze algebra's worden gedefinieerd door specifieke bases, $p$-afbeeldingen ($2$-afbeeldingen) en niet-nul commutatoren. De constructie steunt op de specifieke identiteiten van karakteristiek 2, zoals $(x+y)^2 = x^2 + y^2 + [x,y]$.
   • Oneven Karakteristiek: Een afzonderlijke familie $L_{p,k}$ en $H_{p,k}$ wordt geconstrueerd over $\mathbb{F}_p$ voor oneven priemgetallen $p$. Deze constructie past het mechanisme van de karakteristiek 2-casus aan, maar vereist andere commutator-definities en maakt gebruik van de inversibiliteit van 2 om specifieke centrale elementen te definiëren.
2. Isomorfie-verificatie: Voor elk paar definieert de auteur een afbeelding $\phi$ op de generatoren van $u(L)$ naar woorden in de generatoren van $u(H)$. Er wordt rigoureus geverifieerd dat deze afbeeldingen voldoen aan de definiërende relaties (commutatoren en $p$-machtrelaties) van $u(L)$, waarmee een goed gedefinieerde algebra-homomorfisme wordt vastgesteld. Surjectiviteit wordt bewezen door aan te tonen dat de generatoren van $u(H)$ in het beeld liggen, en injectiviteit volgt uit de gelijkheid van dimensies (gegarandeerd door de Poincaré–Birkhoff–Witt-stelling).
3. Generalisatie: Door gebruik te maken van de eigenschap dat beperkte enveloppende algebra's commuteren met scalaire extensies ($u(L \otimes_{\mathbb{F}_p} F) \cong u(L) \otimes_{\mathbb{F}_p} F$), worden de resultaten uitgebreid van priemlichamen naar elk lichaam $F$ met karakteristiek $p$.
4. Ontdekkingsproces: De auteur merkt op dat de initiële voorbeelden werden ontdekt via een computerzoekopdracht geleid door "bepaalde invarianten" (zoals dimensie-subalgebra kwotiënten), waarbij specifief werd gezocht naar paren waarbij de dimensies van de afgeleide subalgebra verschilden ($\dim L' \neq \dim H'$) terwijl andere gegradeerde invarianten overeenkwamen.

Belangrijkste Bijdragen en Resultaten
Het primaire resultaat is Stelling 5.2, die stelt:
Laat $F$ een lichaam zijn met karakteristiek $p > 0$. Voor elk geheelal $n \geq p + 5$ bestaan er $p$-nilpotente beperkte Lie-algebra's $L$ en $H$ over $F$ waarvoor geldt:

• $\dim L = \dim H = n$.
• $u(L) \cong u(H)$ als $F$-algebra's.
• $\dim L' = p$ en $\dim H' = p + 1$.

Bij consequentie zijn $L$ en $H$ niet isomorf als beperkte Lie-algebra's (en zelfs niet als gewone Lie-algebra's) omdat hun afgeleide subalgebra's verschillende dimensies hebben.

Betekenis en Claims
Het artikel claimt een negatief antwoord te bieden op het Beperkte Isomorfieprobleem over elk lichaam van positieve karakteristiek. De betekenis van dit resultaat is drieledig:

1. Resolutie van Openstaande Problemen: Het geeft een negatief antwoord op Probleem 6 (existentie van een tegenvoorbeeld) en Probleem 9 (of het antwoord positief is voor $p$-nilpotente algebra's over perfecte lichamen) uit de survey van Usefi [17].
2. Grens van Determinatie: De resultaten demonstreren dat de beperkte enveloppende algebra $u(L)$ de dimensie van de afgeleide subalgebra $L'$, noch de centrale reeks van $L$, niet bepaalt, zelfs niet binnen de klasse van $p$-nilpotente algebra's. Dit vestigt een scherpe grens voor de invarianten die door $u(L)$ worden gevangen; hoewel het de geassocieerde gegradeerde beperkte Lie-algebra $\text{gr } L$ en kwotiënten zoals $L/(L'^p + \gamma_3(L))$ bepaalt, faalt het in het vastleggen van de dimensie van de afgeleide subalgebra.
3. Onderscheid van Gewone Enveloppende Algebra's: Het artikel verduidelijkt dat het fenomeen specifiek is voor de beperkte setting. Voor de gewone universele enveloppende algebra $U(\mathfrak{g})$, zou de isomorfie $U(L) \cong U(H)$ impliceren dat $\dim(L/L') = \dim(H/H')$. Aangezien de geconstrueerde paren $\dim(L/L') \neq \dim(H/H')$ hebben, volgt dat $U(L) \not\cong U(H)$. Hiermee leunen de tegenvoorbeelden cruciaal op het instorten van de $p$-sluiting van de afgeleide subalgebra in de commutatieve kwotiënt van de beperkte enveloppende algebra.

De auteur concludeert dat het beperkte isomorfieprobleem een negatief antwoord heeft, zelfs voor $p$-nilpotente algebra's over perfecte lichamen, waarmee een langdurige open vraag in de representatietheorie van beperkte Lie-algebra's wordt beslecht.