Differential operators commuting with invariant functions (Q1379591): Difference between revisions

\({\mathfrak g}\) be a complex reductive Lie algebra, \(G\) its adjoint group, \({\mathcal D}({\mathfrak g})\) its ring of differential operators, \(\tau : {\mathfrak g} \rightarrow {\mathcal D}({\mathfrak g})\) the differential of the adjoint action, \({\mathcal O}({\mathfrak g})\) the ring of regular functions on \({\mathfrak g}\), and \({\mathcal O}({\mathfrak g})^G\) the subalgebra of \(G\)--invariant functions. The main result of this paper proves that the commutant, \({\mathcal C}\), in \({\mathcal D}({\mathfrak g})\) of \({\mathcal O}({\mathfrak g})^G\) is the algebra generated by \({\mathcal O}({\mathfrak g})\) and \(\tau ({\mathfrak g})\). In addition the authors prove that \({\mathcal C}\) is an Auslander-Gorenstein, CM domain and a maximal order its quotient division ring. These results follow from the following theorem. Let \(A\) be the subalgebra of \({\mathcal D}({\mathfrak g})\) generated by \({\mathcal O}({\mathfrak g})\) and \(\tau ({\mathfrak g})\), \(E= {\mathcal O}({\mathfrak g}) \tau ({\mathfrak g}) \subset Der {\mathcal O}({\mathfrak g})\), \(\text{Sym}_{{\mathcal O}({\mathfrak g})}(E)\) for the symmetric algebra, and filter \({\mathcal D}({\mathfrak g})\) by degree. Then \(\text{Sym}_{{\mathcal O}({\mathfrak g})}(E)\) is a factorial, complete intersection of Krull dimension \(2\dim({\mathfrak g})- \text{rk}({\mathfrak g})\) and \(\text{gr}(A)= \text{gr}({\mathcal C})= \text{Sym}_{{\mathcal O}({\mathfrak g})}(E)\).