Non-isomorphic restricted Lie algebras with isomorphic restricted enveloping algebras

Technische Zusammenfassung: Nicht-isomorphe restriktierte Lie-Algebren mit isomorphen restriktierten Enveloping-Algebren

Problemstellung
Die vorliegende Arbeit befasst sich mit dem Restriktierten Isomorphieproblem, einem modularen Analogon des klassischen Modularen Isomorphieproblems für Gruppenalgebren. Das Problem fragt, ob eine endlich-dimensionale restriktierte Lie-Algebra $L$ über einem Körper $F$ mit Charakteristik $p > 0$ durch ihre restriktierte Enveloping-Algebra $u(L)$ eindeutig bestimmt ist. Konkret: Wenn $u(L) \cong u(H)$ als $F$-Algebren, muss dann auch $L \cong H$ als restriktierte Lie-Algebren gelten?

Während das Problem für spezifische Klassen (z. B. abelsche, metazyklische oder $p$-nilpotente Algebren über perfekten Körpern in bestimmten Dimensionen) positiv gelöst wurde und für gewöhnliche universelle Enveloping-Algebren $U(g)$ in Primcharakteristik negativ entschieden wurde, blieb der allgemeine Fall für restriktierte Lie-Algebren offen. Der Autor stellt fest, dass frühere positive Ergebnisse für $p$-nilpotente Algebren auf eine potenzielle affirmative Antwort für diese Klasse hindeuteten, insbesondere über perfekten Körpern.

Methodik
Der Autor konstruiert explizite Gegenbeispiele zum Restriktierten Isomorphieproblem über Körper beliebiger positiver Charakteristik. Die Methodik umfasst:

1. Fallweise Konstruktion:
   • Charakteristik 2: Eine parametrische Familie von Algebren $L_k$ und $H_k$ wird über $\mathbb{F}_2$ konstruiert. Diese Algebren sind definiert durch spezifische Basen, $p$-Abbildungen (2-Abbildungen) und nicht-verschwindende Kommutatoren. Die Konstruktion stützt sich auf die spezifischen Identitäten der Charakteristik 2, wie etwa $(x+y)^2 = x^2 + y^2 + [x,y]$.
   • Ungerade Charakteristik: Eine distinkte Familie $L_{p,k}$ und $H_{p,k}$ wird über $\mathbb{F}_p$ für ungerade Primzahlen $p$ konstruiert. Diese Konstruktion adaptiert den Mechanismus des Falls der Charakteristik 2, erfordert jedoch unterschiedliche Kommutator-Definitionen und nutzt die Invertierbarkeit von 2, um spezifische zentrale Elemente zu definieren.
2. Verifizierung der Isomorphie: Für jedes Paar definiert der Autor eine Abbildung $\phi$ auf den Erzeugern von $u(L)$ auf Wörter in den Erzeugern von $u(H)$. Es wird rigoros verifiziert, dass diese Bilder die definierenden Relationen (Kommutatoren und $p$-Potenz-Relationen) von $u(L)$ erfüllen, wodurch ein wohldefinierter Algebra-Homomorphismus etabliert wird. Die Surjektivität wird durch den Nachweis bewiesen, dass die Erzeuger von $u(H)$ im Bild liegen, während die Injektivität aus der Gleichheit der Dimensionen folgt (garantiert durch den Poincaré–Birkhoff–Witt-Satz).
3. Generalisierung: Unter Nutzung der Eigenschaft, dass restriktierte Enveloping-Algebren mit Skalarextensionen kommutieren ($u(L \otimes_{\mathbb{F}_p} F) \cong u(L) \otimes_{\mathbb{F}_p} F$), werden die Ergebnisse von Primkörpern auf jeden Körper $F$ mit Charakteristik $p$ ausgeweitet.
4. Entdeckungsprozess: Der Autor merkt an, dass die ersten Beispiele mittels einer Computersuche entdeckt wurden, die durch „determinierte Invarianten“ (wie etwa Dimensionen von Unteralgebren-Quotienten) geleitet wurde, wobei gezielt nach Paaren gesucht wurde, bei denen die Dimensionen der abgeleiteten Unteralgebren differierten ($\dim L' \neq \dim H'$), während andere graduierte Invarianten übereinstimmten.

Wesentliche Beiträge und Ergebnisse
Das Primärergebnis ist Theorem 5.2, welches besagt:
Sei $F$ ein Körper mit Charakteristik $p > 0$. Für jede ganze Zahl $n \geq p + 5$ existieren $p$-nilpotente restriktierte Lie-Algebren $L$ und $H$ über $F$ mit:

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

Infolgedessen sind $L$ und $H$ nicht isomorph als restriktierte Lie-Algebren (und nicht einmal als gewöhnliche Lie-Algebren), da ihre abgeleiteten Unteralgebren unterschiedliche Dimensionen aufweisen.

Bedeutung und Ansprüche
Die Arbeit behauptet, eine negative Lösung für das Restriktierte Isomorphieproblem über jedem Körper positiver Charakteristik geliefert zu haben. Die Bedeutung dieses Ergebnisses ist dreifach:

1. Klärung offener Probleme: Es beantwortet Problem 6 (Existenz eines Gegenbeispiels) und Problem 9 (ob die Antwort für $p$-nilpotente Algebren über perfekten Körpern positiv ist) aus Usefis Survey [17].
2. Grenze der Determinierbarkeit: Die Ergebnisse zeigen, dass die restriktierte Enveloping-Algebra $u(L)$ weder die Dimension der abgeleiteten Unteralgebra $L'$ noch die zentralgestufte Folge von $L$ bestimmt, selbst innerhalb der Klasse der $p$-nilpotenten Algebren. Dies etabliert eine scharfe Grenze für die durch $u(L)$ erfassten Invarianten; während $u(L)$ die assoziierte graduierte restriktierte Lie-Algebra $\text{gr } L$ und Quotienten wie $L/(L'^p + \gamma_3(L))$ bestimmt, versagt es beim Erfassen der Dimension der abgeleiteten Unteralgebra.
3. Abgrenzung zu gewöhnlichen Enveloping-Algebren: Die Arbeit verdeutlicht, dass das Phänomen spezifisch für den restriktierten Kontext ist. Für die gewöhnliche universelle Enveloping-Algebra $U(g)$ würde die Isomorphie $U(L) \cong U(H)$ implizieren, dass $\dim(L/L') = \dim(H/H')$ gilt. Da die konstruierten Paare $\dim(L/L') \neq \dim(H/H')$ aufweisen, folgt daraus $U(L) \not\cong U(H)$. Somit beruhen die Gegenbeispiele entscheidend auf dem Kollaps der $p$-Abschluss der abgeleiteten Unteralgebra im kommutativen Quotienten der restriktierten Enveloping-Algebra.

Der Autor schließt, dass das restriktierte Isomorphieproblem selbst für $p$-nilpotente Algebren über perfekten Körpern eine negative Antwort hat und damit eine langjährige offene Frage in der Darstellungstheorie restriktierter Lie-Algebren klärt.