D-modules on the basic affine space and large g-modules

DOI10.1016/J.JALGEBRA.2025.06.037MaRDI QIDQ6924765zbMATH OpenFDO

Publication date 29 September 2025

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.JALGEBRA.2025.06.037

\(\mathscr{D}_D\)-module basic affine space Beilinson-Bernstein correspondence branching problem reductive Lie group representation theory

Mathematics Subject Classification ID

Semisimple Lie groups and their representations (22E46)

Review text

Let \(G\) be a simply-connected semisimple algebraic group over \(\mathbb{C}\). Let \(B=TU\) be a Borel subgroup of \(G\) with a maximal torus \(T\) and unipotent radical \(U\). The Beilinson-Bernstein correspondence says that the global section functor gives an equivalence of categories from the category \(\mathrm{Mod}_{qc}(\mathscr{D}_{G/B,\lambda})\) to the category of \(\mathfrak{g}\)-modules with infinitesimal character \(\lambda \in \mathfrak{t}^*\) if \(\lambda\) is regular anti-dominant. Here \(\mathscr{D}_{G/B,\lambda}\) is an algebra of twisted differential operators on \(G/B\). The main purpose of this paper is to show fundamental results about \(\mathscr{D}_{G/U}\)-modules which are regarded as a ``good family of \(\mathfrak{g}\)-modules as a global counterpart of the correspondence and their global sections. This paper thus prepares basic results about large non-irreducible modules for the branching problem and harmonic analysis of reductive groups.\N\NA main tool in this paper is a formula given by \textit{R. Bezrukavnikov} et al. [J. Inst. Math. Jussieu 1, No. 4, 543--557 (2002; Zbl 1044.16020)]. The formula is about a product of functions and their Fourier transforms on \(G/U\) like Capelli's identity. First, the author shows that the global section functor and the localization functor preserve holonomicity. Then, the author gives a generalization of the Beilinson-Bernstein correspondence. Using the Beilinson-Bernstein correspondence, the author also shows non-vanishing of the global section functor. Finally, the author considers the space \(V/\mathfrak{u} V\) of \(\mathfrak{u}\)-coinvariants where \((\mathcal{A},G)\) is a generalized pair and \(V\) is an irreducible \(\mathcal{A}\)-module. The author gives a \({(\mathcal{A}\otimes \mathcal{D}_{G/U})}^G\)-module structure on \(V/ \mathfrak{u} V\) and shows that the \({(\mathcal{A}\otimes \mathcal{D}_{G/U})}^G\)-module \(V/\mathfrak{u} V\) has finite length under an assumption on \(\mathcal{A}\), where \(\mathcal{D}_{G/U}\) is the global section of \(\mathscr{D}_{G/U}\). The author also shows that the support of a vector \(v\in V/\mathfrak{u} V\) is a finite union of affine subspaces in \(\mathfrak{t}^*\).

Cites work

This page was built for publication: \(\mathscr{D}\)-modules on the basic affine space and large \(\mathfrak{g}\)-modules

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