We consider rings of differential operators over the classical rings of invariants, in
the sense of Weyl [We]. Thus, let Xk be one of the following varieties: (CASE A) all
complex p x q matrices of rank h; (CASE B) all symmetric n x n matrices of rank
h ; (CASE C) all antisymmetric n x n matrices of rank 2k. We prove that the
ring of differential operators V(Xk) = V(0(X k)) defined on the ring of regular functions
O(Xk) is a simple, finitely generated, Noetherian domain.
Assume further that Xk is singular (which is the only interesting case). Then the
result is proved by showing that 'D(Xk) is a factor ring of an enveloping algebra U(Q) .
Here 9 = gl(p + g), sp(2n) and so(2n) in the Cases A, B and C, respectively.
Finally, let SO(k) act in the natural way on the ring C[X] of complex polynomials
in kn variables. Then we prove that V(C[X]so^) has a similarly pleasant structure
and, at least for k n , is a finitely generated U(sp(2n)) -module.
Key words and phrases
Rings of differential operators, classical rings of invariants, semi-simple Lie
algebras, primitive factor rings, simple rings, Noetherian rings.
Previous Page Next Page