A rigidity theorem for finite group actions on enveloping algebras of semisimple Lie algebras (Q1891291): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q115396411, #quickstatements; #temporary_batch_1707216511891 |
Set OpenAlex properties. |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: William M. McGovern / rank | |||
Property / reviewed by | |||
Property / reviewed by: William M. McGovern / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1006/aima.1995.1022 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2075599432 / rank | |||
Normal rank |
Latest revision as of 01:52, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A rigidity theorem for finite group actions on enveloping algebras of semisimple Lie algebras |
scientific article |
Statements
A rigidity theorem for finite group actions on enveloping algebras of semisimple Lie algebras (English)
0 references
30 May 1995
0 references
Let \(G\) be a finite group of automorphisms acting (not necessarily linearly) on the enveloping algebra \(U ({\mathfrak g})\) of a semisimple Lie algebra \({\mathfrak g}\) over an algebraically closed field \(k\) of characteristic zero. The main result of this paper is that if the fixed subalgebra \(U^ G\) is \(k\)-isomorphic to any enveloping algebra, then \(G\) is trivial; the same result is also shown for the \(n\)th Weyl algebra \(A_ n (k)\). In other words, enveloping algebras of semisimple Lie algebras and Weyl algebras do not admit Galois embeddings into themselves; note that symmetric algebras by contrast do admit such embeddings. The proof of the first result uses certain very precise but quite classical facts about primitive ideals in \(U ({\mathfrak g})\); it actually shows more generally that \(U^ G\) cannot even be a quotient of an enveloping algebra if \(G\) acts trivially on the center of \(U ({\mathfrak g})\) (and \(G \neq 1)\). The second result is proved in two ways, one of which involves passing to prime characteristic and the other higher \(K\)-theory. The second proof is much shorter but of course less elementary and unfortunately applies only to linear actions.
0 references
rigidity theorem
0 references
automorphisms
0 references
enveloping algebras
0 references
semisimple Lie algebras
0 references
Weyl algebras
0 references
Galois embeddings
0 references