\(\mathcal D\)-modules on the complex projective space \(\mathbb{CP}^{n-1}\) associated to a quadric (Q819839)

Let \(X\) be the space \(\mathbb{C}^n\), \(\widetilde{X}\) the associated projective space \(\mathbb{C} \mathbb{P}^{n-1}\), \(\mathcal{D}_{\widetilde X}\) (respectively \(\mathcal{D}_X\)) the sheaf of differential operators on \(\widetilde X\) (respectively, \(X\)). The author classifies the \({\mathcal{D}}_{\mathbb{C} \mathbb{P}^{n-1}}\)-holonomic regular modules whose characteristic variety are contained in the union \(\widetilde\wedge\) of fiber bundles conormal to the strates of \(\mathbb{C} \mathbb{P}^{n-1}\) (more precisely of \(\widetilde X =(\widetilde X, \widetilde Q) \cup \widetilde Q\), where \(\widetilde Q\) is a hypersurface defined by a quadratic form on \(\mathbb{C}\mathbb{P}^{n-1}\), is a stratification of \(\mathbb{C}\mathbb{P}^{n-1}\), \(\widetilde \wedge=T^*_{(\widetilde X, \widetilde Q)} \widetilde X \cup T_{\widetilde Q}^* \widetilde X\). The category whose objects are the regular holonomic modules will be denoted \(\text{Mod}_{\widetilde\wedge}^{rh} (\mathcal{D}_{\mathbb{C}\mathbb{P}^{n-1}})\). The result of the author is the following. The categories \(\text{Mod}_{\widetilde\wedge}^{rh} (\mathcal{D}_{\mathbb{C}\mathbb{P}^{n-1}})\) and \(C''\) are equivalent. Here \(C''\) is defined as follows: let \(q\) be a nondegenerate quadratic form, \(G=\text{SO}(q)\) the rotation group, \(\bar{\mathcal{B}}=\Gamma (X, \mathcal{D}_X)^G\) the Weyl algebra of \(G\)-invariant differential operators and let \(B\) be the quotient \(\bar{\mathcal{B}}/\mathcal{I}\), where \(\mathcal{I}\) is the ideal of differential operators which annulates the \(G\)-invariant functions. Now \(\mathcal{C}\) is the category whose objects are the graduate \(B\)-modules of finite type \(T\) and such that \(\dim_{\mathbb{C}} \mathbb{C} [\Theta]u <\infty\) for any \(u \in T\), where \(\Theta\) is the Euler vector field and \(\mathcal{C}'\) the category of \(B\)-modules generated by homogeneous sections of entire degree. Finally denote with \(\mathcal{C}_0\) the category of modules supported by the origin (we have \(\mathcal{C}_0 \subset \mathcal{C}' \subset \mathcal{C}\)). Then \(\mathcal{C}''\) is defined as the quotient \(\mathcal{C}'/\mathcal{C}_0\). For a section \(s\) of a \(\mathcal{D}_X\) module to be homogeneous of integral degree \(p \in \mathbb{Z}\) means that there exists \(j \in \mathbb{N}\) such that \((\theta -p)^j s=0\). If \(\Pi:\mathbb{C}^n \setminus\{0\} \to \mathbb{C} \mathbb{P}^{n-1}\) is the canonical projection, the author describes the inverse image by \(\Pi\) of a regular holonomic \(\mathcal{D}_{\mathbb{C}\mathbb{P}^{n-1}}\)-module, namely if \(\mathcal{M}\) is an object in \(\text{Mod}_{\widetilde \wedge}^{rh} (\mathcal{D}_{\mathbb{C}\mathbb{P}^{n-1}})\), \(\Pi^+ (\mathcal{M})\) is generated over \(\mathcal{D}_{X\setminus \{0\}}\) by a finite number of global homogeneous generators of integral degree, and these generators are invariant by rotation (Th.G). The functions establishing the equivalence of categories are described precisely (for \(\widetilde{\mathcal{N}}\) an object in \(\mathcal{C}''\) one associates \(\widetilde\phi (\widetilde{\mathcal{N}})=\Pi i^+ (\mathcal{D}_x \otimes_{\mathcal{B}} \widetilde{\mathcal{N}}) \in \text{Mod}_{\widetilde \wedge}^{rh} (\mathcal{D}_{\mathbb{C}\mathbb{P}^{n-1}})\). The interesting fact is that the objects in \(\mathcal{C}''\) can be described by means of finite diagrams of linear maps, and the author gives a classification of these diagrams modulo \(C_0\).