an:04212258
Zbl 0733.16009
Levasseur, Thierry
Rel??vements d'op??rateurs diff??rentiels sur les anneaux d'invariants. (Liftings of differential operators over rings of invariants)
FR
Operator algebras, unitary representations, enveloping algebras, and invariant theory, Proc. Colloq. in Honour of J. Dixmier, Paris/Fr. 1989, Prog. Math. 92, 449-470 (1990).
1990
a
16S32 16W50 20G05 14A10 14L30 13N10
ring of differential operators; finite dimensional representation; reductive group; affine variety; ring of regular functions; lifting property; graded morphism; height one primes
[For the entire collection see Zbl 0719.00018.]
Let \(G\to GL(V)\) be a finite dimensional representation of the reductive group G, and let V//G denote the affine variety whose ring of regular functions \({\mathcal O}(V//G)\) equals \({\mathcal O}(V)^ G\). The group G operates naturally on the ring \({\mathcal D}(V)\) of differential operators on V and maps each of the \({\mathcal O}(V)\)-modules \({\mathcal D}er^ m(V)\) of differential operators of order \(\leq m\) with zero constant term into itself. Then (V,G) is said to have the property of lifting to order m if the restriction morphism \(\phi\) : \({\mathcal D}er^ m(V)^ G\to {\mathcal D}er^ m(V//G)\) is surjective. If this holds for all m, then (V,G) is said to satisfy the lifting property, and this will imply the surjectivity of \(\phi\) : \({\mathcal D}(V)^ G\to {\mathcal D}(V//G)\). The author provides a sufficient condition for this to happen. In order to formulate his main result, let \({\mathcal A}(V//G)\) denote the ideal of \({\mathcal O}(V)^ G\) defining the complement of the principal stratum of V//G, let gr \(\phi\) :gr \({\mathcal D}(V)^ G\to gr {\mathcal D}(V//G)\) be the graded morphism associated with \(\phi\), and set \(R=gr {\mathcal D}(V)^ G/\ker (gr \phi)\). Then, if R is the intersection of all localizations of its height one primes, and if \({\mathcal A}(V//G)\) generates an ideal of height \(\geq 2\) in R, then (V,G) has the lifting property. Among other applications, this is used to treat the cases when G is finite or the group of nonzero complex numbers, since in both instances the structure of R is fairly well known.
G.Krause (Winnipeg)
Zbl 0719.00018