zbMATH — the first resource for mathematics

Fixed rings of the Weyl algebra \(A_ 1({\mathbb{C}})\). (English) Zbl 0695.16022
In this interesting note, the fixed rings \(A_ 1({\mathbb{C}})^ G\) under the action of a finite group G on the first complex Weyl algebra \(A_ 1({\mathbb{C}})\) are classified. A crucial fact, due to J. Alev [Lect. Notes Math. 1197, 1-9 (1986; Zbl 0589.16027)], is that every finite subgroup G of \(Aut_{{\mathbb{C}}}(A_ 1({\mathbb{C}}))\) is conjugate to a subgroup of the canonical image of SL(2,\({\mathbb{C}})\) in \(Aut_{{\mathbb{C}}}(A_ 1({\mathbb{C}}))\). Since the finite subgroups of SL(2,\({\mathbb{C}})\) are classically known (they are the finite cyclic and the binary dihedral groups, plus three additional groups), this opens the way for an explicit study of the action of G. The main result of the article states that, if G and H are finite groups of automorphisms of \(A_ 1({\mathbb{C}})\), then \(A_ 1({\mathbb{C}})^ G\cong A_ 1({\mathbb{C}})^ H\) if and only if \(G\cong H\). As an application of Quillen’s theorem on filtered rings, the authors further point out that \(K_ i(A_ 1({\mathbb{C}})^ G)\cong K_ i({\mathbb{C}}G)\) holds for all \(i\geq 0\). In view of the aforementioned classification of possible groups G, this leads to an explicit description of \(K_ 0(A_ 1({\mathbb{C}})^ G)\) in each case. Finally, the trace group (or 0-th Hochschild or cyclic homology group) of \(A_ 1({\mathbb{C}})^ G\) is calculated in the cases where G is cyclic or binary dihedral.
Reviewer: M.Lorenz

16W20 Automorphisms and endomorphisms
16E20 Grothendieck groups, \(K\)-theory, etc.
16S34 Group rings
Full Text: DOI
[1] Alev, J, Un automorphisme non modéré de U(g3), Comm. algebra, 14, 1365-1378, (1986) · Zbl 0601.17009
[2] Alev, J, Actions de groupes sur A1(C), () · Zbl 0589.16027
[3] Dixmier, J, Sur LES algèbres de Weyl, Bull. soc. math. France, 96, 209-242, (1968) · Zbl 0165.04901
[4] Goodearl, K.R, Simple Noetherian rings not isomorphic to matrix rings over domains, Comm. algebra, 12, 1421-1435, (1984) · Zbl 0537.16006
[5] Levasseur, T, Anneaux d’opérateurs différentiels, () · Zbl 0507.14012
[6] Kermack, W.O; McCrea, W.H, On Professor Whittaker’s solution of differential equations by definite integrals, (), 205-240 · Zbl 0002.26301
[7] Montgomery, S, Fixed rings of finite automorphism groups of associative rings, () · Zbl 0449.16001
[8] Montgomery, S; Small, L, Fixed rings of Noetherian rings, Bull. London math. soc., 13, 33-38, (1981) · Zbl 0453.16021
[9] Quillen, D, Higher algebraic K-theory, () · Zbl 0359.18014
[10] Revoy, P, Algèbres de Weyl en caractéristique p, C.R. acad. sci. Paris ser. A, 276, 225-228, (1973) · Zbl 0265.16007
[11] Slodowy, P, Simple singularities and simple algebraic groups, () · Zbl 0441.14002
[12] Springer, T.A, Invariant theory, () · Zbl 0346.20020
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.