Algebraic description of \(\mathcal D\)-modules associated to \(3\times 3\) matrices. (Q2490036)

Let \(X\) be the complex vector space of \(3\times 3\) matrices. The group \(\text{GL}_3(\mathbb{C})\times\text{GL}_3(\mathbb{C})\) acts on \(X\), and denote by \(G\) the quotient of this group by the kernel of this action. This action of \(G\) on \(X\) defines a morphism \(L\) from the Lie algebra \(\mathcal G\) of \(G\) to the subalgebra \(\Theta_X\) of \({\mathcal D}_x\) of vector fields; denote by \(\wedge\) the characteristic variety these fields (infinitesimal generators). \(\wedge\) has 4 irreducible components, which are the conormal bundles to the orbits of \(G\). The author obtains a classification of the regular \({\mathcal D}_x\)-modules \(\mathcal M\) whose characteristic varieties are contained in \(\wedge\). The category of such \({\mathcal D}_x\) modules will be denoted by \(\text{Mod}_\wedge^{rh}({\mathcal D}_X)\). If \(\widetilde G_\mathbb{C}\) is the universal covering of the group \(G\), the infinitesimal action of \(G\) lifts to an action of \(\widetilde G_\mathbb{C}\), and in particular to \(\widetilde G=\text{SL}_3(\mathbb{C})\times\text{SL}_3(\mathbb{C})\). Then the author proves that if \({\mathcal M}\in\text{Mod}_\wedge^{rh}({\mathcal D}_x)\) is generated by its \(\widetilde G\)-invariant global section \((s_j)\), \(j=1,\dots,p\in\Gamma(X,\mathcal M)\) such that \(\dim_\mathbb{C}\mathbb{C}[\theta]s_j <\infty\) where \(\theta\) is the Euler vector field. This is based on a detailed description of the \(\mathbb{C}\)-algebra \(\overline B=\Gamma(X,{\mathcal D}_x)^{\widetilde G}\) of \(\widetilde G\)-invariant differential operators with polynomial coefficients, and of its quotient \(B=\overline B/\overline B(A,B)\overline B\) where \(B(A,B)\overline B\) is a 2-sided ideal generated by two precisely defined generators \(A\) and \(B\). If \(\text{Mod}^{gr}(B)\) is the category of graded \(B\)-modules \(T\) of finite type such that \(\dim_\mathbb{C}\mathbb{C}[\theta]u<\infty\) for any \(u\in T\), then \(\text{Mod}_\wedge^{rh}({\mathcal D}_x)\) is equivalent to \(\text{Mod}^{gr}(B)\), with explicitly defined functors \(\phi\) and \(\psi\) that induce this equivalence. The objects in \(\text{Mod}^{gr}(B)\) can be described in terms of diagrams of linear maps.