On the injective dimension of \(\mathscr{F}\)-finite modules and holonomic \(\mathscr{D}\)-modules (Q2408448)

The paper under review is devoted to the study (in particular to determining the lower bounds) of injective dimension of \(\mathcal{F}\)- and \(\mathfrak{D}\)-modules. Let \((R, \mathfrak{m})\) be a regular local ring which contains a field \(k\). If \(M\) is an \(R\)-module and \(I\) is an ideal of \(R\), then \(H_{I}^{i}(M)\) denotes the \(i\)th local cohomology of \(M\) with support in \(I\). The following notion of \(\mathcal{F}\)-module was introduced in [\textit{G. Lyubeznik}, J. Reine Angew. Math. 491, 65--130 (1997; Zbl 0904.13003)]. Let \(\mathrm{Char }k = p > 0\) and let \(R'\) be the additive group of \(R\) regarded as an \(R\)-bimodule with the usual left \(R\)-action and with the right \(R\)-action defined by \(r'r = r^{p}r'\) for all \(r\in R\), \(r'\in R'\). For any \(R\)-module \(M\), let \(F(M) = R'\bigotimes_{R}M\); it is viewed as an \(R\)-module via the left \(R\)-module structure on \(R'\). An \(\mathcal{F}_{R}\)-module (or simply an \(\mathcal{F}\)-module if \(R\) is fixed) is an \(R\)-module \(M\) together with a ``structure'' \(R\)-module isomorphism \(M\rightarrow F(M)\). Properties of \(\mathcal{F}\)-modules, as well as the notion of an \(\mathcal{F}\)-finite module can be found in the above-mentioned paper of G. Lyubeznik. With the above notation, the main result of the paper under review is as follows: (i) If \(\mathrm{Char }R = p > 0\) and \(M\) is an \(\mathcal{F}\)-finite module, then \(\dim_{R}M-1\leq\,\) inj\(.\dim_{R}M\) where inj\(.\dim_{R}M\) denotes the injective dimension of \(M\). (ii) If \(\mathrm{Char }R = 0\) and \(M = H_{I}^{i}(R)_{f}\) for some \(f\in R\), then \(\dim_{R}M-1\leq\,\) inj\(.\dim_{R}M\). Furthermore, the author obtains a similar result for a class of holonomic \(\mathfrak{D}\)-modules which contains local cohomology modules.