Invariant holonomic systems on symmetric spaces and other polar representations

arXiv2109.11387MaRDI QIDQ6504685FDOQ6504685

Authors: Gwyn Bellamy, Thomas A. Nevins, J. T. Stafford 

Abstract: Let $V$ be a symmetric space over a connected reductive Lie algebra $G$, with Lie algebra $mathfrakg$ and discriminant $deltainmathbbC[V]$. A fundamental object is the emph{invariant holonomic system} $mathcalG=mathcalD(V)Big/Bigl(mathcalD(V)mathfrakg+mathcalD(V)(mathrmSym,V{)}_{+}^{G}Bigr)$ over the ring of differential operators $mathcalD(V)$. Jointly with Levasseur we have shown that there exists a surjective radial parts map $mathrmrad$ from $mathcalD(V{)}^G$ to the spherical subalgebra $A_{kappa}$ of a Cherednik algebra. When $A_{kappa}$ is simple we show that $mathcalG$ has no $delta$-torsion submodule nor factor module and we determine when $mathcalG$ is semisimple, thereby answering questions of Sekiguchi, respectively Levasseur-Stafford. In the diagonal case when $V=mathfrakg$, these results reduce to fundamental theorems of Harish-Chandra and Hotta-Kashiwara. We generalise these results to polar representations $V$ satisfying natural conditions. By twisting the radial parts map, we obtain families of invariant holonomic systems. We introduce shift functors between the different twists. We show that the image of the simple summands of $mathcalG$ under these functors is described by Opdam's KZ-twist.

Mathematics Subject Classification ID

Commutative rings of differential operators and their modules (13N10) Rings of differential operators (associative algebraic aspects) (16S32) Semisimple Lie groups and their representations (22E46) Representation theory for linear algebraic groups (20G05) Deformations of associative rings (16S80)

This page was built for publication: Invariant holonomic systems on symmetric spaces and other polar representations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6504685)