Operations with regular holonomic \(\mathcal D\)-modules with support a normal crossing (Q2456582)

Let \(X = \mathbb{C}^n\), \(\mathcal{O}_X\) the sheaf of holomorphic functions on \(\mathbb{C}^n\), \(\mathcal{D}_X\) the sheaf of linear differential operators in \(\mathbb{C}^n\) with holomorphic coefficients and \(\text{Mod}(\mathcal{D}_X)_{hr}^T\) the category of regular holonomic \(\mathcal{D}_X\)-modules such that their solution complex \(\mathbb{R} \text{Hom}_{\mathcal{D}_X} (\mathcal{M}, \mathcal{O}_X)\) are perverse sheaves given relatively to the stratification by the union \(T\) of the coordinate planes in \(\mathbb{C}^n\). The author studies the full Abelian subcategory of \(\text{Mod}(\mathcal{D}_X)^T_{hr}\), denoted by \(\mathcal{D}^T_{v = 0}\) of modules with variation zero introduced in [\textit{J. Alvarez Montaner, R. Garcia López}, and \textit{S. Zarzuela Armengou}, Adv. Math. 174, No. 1, 35--36 (2003; Zbl 1050.13009)]. This subcategory is not closed under extension, and the author finds the full Abelian subcategory of \(\text{Mod} (\mathcal{D}_X)_{hr}^T\), containing \(\mathcal{D}_{v = 0}^T\) that is closed under extensions. Namely, this is the subcategory where objects are the modules with unipotent monodromy, denoted by \(\mathcal{D}_{uni}^T\). These modules can be characterized as follows: \(\mathcal{M} \in \mathcal{D}_{hr}^T\) has unipotent monodromy iff there is a finite increasing fibration \(\{\mathcal{F}\}_{j \geq 0}\) of \(\mathcal{M}\) by objects of \(\mathcal{D}_{hr}^T\) such that for all \(j \geq 1\) there are \(\mathcal{D}\)-module isomorphisms \(\mathcal{F}_j/\mathcal{F}_{j - 1} \simeq \mathcal{H}_{X_\alpha}^{| \alpha| } (\mathcal{O}_X)\), \( \alpha \in \{0, 1\}^n\), where \(\mathcal{H}_{X_\alpha}^{| \alpha| } (\mathcal{O}_X)\) are the local cohomology modules and \(X_\alpha\) is the linear subvariety of \(X\) defined by the homogeneous prime ideal \(P_\alpha = \langle x_i \mid \alpha_i = 1\rangle\). The author also considers operations in \(\mathcal{D}_{\nu = 0}^T\) as restriction to a face ideal, localization by a variable, image, kernel and cokernel localization computed in terms of characteristic cycles. Also, the author considers also the Bass numbers of modules with variation zero in relation with the characteristic cycles. For the computation of the characteristic cycle of certain local cohomology modules, the author gives an algorithm. This gives a different approach, using the Brodmann sequence in the computation number of these modules \(H_{p_\alpha}^p (M)\) (\(p_\alpha\) is a face ideal given by \textit{K. Yanagawa} [Math. Proc. Camb. Philos. Soc. 131, 45--60 (2001; Zbl 1090.13013)]). Finally, the dual Bass numbers of modules with variation zero are considered. The author defines the Matlis dual of such modules, and studies the Matlis dual functor which is exact contravariant.