Finite dimensional representations of invariant differential operators

Abstract

Let k k be an algebraically closed field of characteristic 0 0 , Y = k r × ( k × ) s Y=k^{r}\times {(k^{\times })}^{s} , and let G G be an algebraic torus acting diagonally on the ring of algebraic differential operators D ( Y ) \mathcal {D} (Y) . We give necessary and sufficient conditions for D ( Y ) G \mathcal {D}(Y)^G to have enough simple finite dimensional representations, in the sense that the intersection of the kernels of all the simple finite dimensional representations is zero. As an application we show that if K ⟶ G L ( V ) K\longrightarrow GL(V) is a representation of a reductive group K K and if zero is not a weight of a maximal torus of K K on V V , then D ( V ) K \mathcal {D} (V)^K has enough finite dimensional representations. We also construct examples of FCR-algebras with any integer GK dimension ≥ 3 \geq 3 .