Finiteness properties of local cohomology modules over differentiable admissible algebras (Q2396803)

Hereafter, let \(k\) be a field of characteristic zero, let \(R\) be a commutative Noetherian ring containing \(k\) of dimension \(n\), let \(D\) be the ring of \(k\)-linear differential operators on \(R,\) and let \(M\) be a (left) \(D\)-module. When \(R\) is, in addition, either a regular finitely generated \(k\)-algebra, or a regular local ring, and \(M\) is a holonomic \(D\)-module, \textit{G. Lyubeznik} proved [Invent. Math. 113, No. 1, 41--55 (1993; Zbl 0795.13004)] the below results about cohomology with supports: {\parindent=0.7cm\begin{itemize}\item[(1)] For any maximal ideal \(\mathfrak{m}\) of \(R,\) \(H_{\mathfrak{m}}^j (M)\) is an injective \(R\)-module. \item[(2)] If the dimension of \(M\) is zero, then \(M\) is an injective \(R\)-module. \item[(3)] For any integer \(i\geq 0\) and for any maximal ideal \(\mathfrak{m}\) of \(R,\) the \(i\)th Bass number \(\mu_i (\mathfrak{m},M)\) is finite. \item[(4)] For any ideal \(I\subseteq R,\) the set of associated primes of \(H_I^j(M)\) is finite. \end{itemize}} Building upon his previous joint work with \textit{Z. Mebkhout} [Ann. Sci. Èc. Norm. Supér. (4) 24, No. 2, 227--256 (1991; Zbl 0765.14009)], and also on work by \textit{L. Núñez-Betancourt} [J. Algebra 379, 1--10 (2013; Zbl 1279.13029)], \textit{L. Narváez-Macarro} introduced the notion of \textit{differentiable admissible algebra}; these \(k\)-algebras are those Noetherian regular ones (namely, \(S\)) satisfying the following three requirements: {\parindent=0.7cm\begin{itemize}\item[--] The height of any maximal of \(S\) is equal to the dimension of \(S.\) \item[--] For any maximal ideal \(\mathfrak{n}\) of \(S,\) \(S/\mathfrak{n}\) is an algebraic extension of \(k.\) \item[--] \(\text{Der}_k (S)\) is a finitely generated, projective \(S\)-module of rank \(\dim (S)\) and, for any maximal ideal \(\mathfrak{n}\) of \(S,\) the natural map \(S_{\mathfrak{n}}\otimes_S \text{Der}_k (S) \longrightarrow\text{Der}_k (S_{\mathfrak{n}})\) is an isomorphism. \end{itemize}} In the paper under review, the authors extend Lyubeznik's results to the class of differentiable admissible \(k\)--algebras (see Theorem 2.7 and Proposition 4.5); they also introduce, over these specific type of algebras, the class of \textit{quasi-holonomic} \(D\)-modules (see Definition 3.2). Moreover, they show that quasi-holonomic \(D\)-modules are those can be expressed as colimit (aka direct limit) of holonomic \(D\)-modules; it is also proved that quasi-holonomicity is preserved after taking submodules, quotients, extensions, under localization, and after taking cohomology over an arbitrary family of supports.