\(\mathscr{D}\)-modules on the basic affine space and large \(\mathfrak{g}\)-modules (Q6924765)

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}^*\).