\(F^e\)-modules with applications to \(D\)-modules (Q2109055)

This note was inspired by two examples in the literature. The first half of the article explores \(F^e\)-modules, a generalization of \(F\)-modules. In [\textit{M. Katzman} et al., Trans. Am. Math. Soc. 370, No. 12, 8551--8580 (2018; Zbl 1440.13077)], the authors exhibited a simple \(\mathcal{D}\)-submodule of an \(F\)-module which was not an \(F\)-submodule. The first main result shows that a simple \(\mathcal{D}\)-submodule of an \(F^e\)-submodule is an \(F^{e^\prime e}\)-submodule for some \(e^\prime \geq 1\). The remainder of the paper is motivated by an example in [\textit{R. Datta} et al., ``Annihilators of \(\mathcal{D}\)-modules in mixed characteristic'', Preprint, \url{arXiv:1907.09948}] which exhibited a mixed characteristic regular local ring \(R\) and a nonzero local cohomology module \(H^i_I(R)\) with \(\text{Supp}_R(H^i_I(R)^\vee) \neq \text{Spec}(R)\) giving a counterexample to a conjecture of \textit{ G. Lyubeznik} and \textit{T. Yıldırım} [Proc. Am. Math. Soc. 146, No. 9, 3715--3720 (2018; Zbl 1392.13006)]. Generalizing this example, the author proves that if \(R\) is a power series with coefficients in a DVR \(V\) with uniformizing element \(\pi\) and residue field \(k\) such that \([k:k^p]<\infty\), then if \(\text{Coker} (H^i_I(R) \overset{\pi}{\rightarrow} H^i_I(R)) \neq 0\) or \(\text{Ker} (H^i_I(R) \overset{\pi}{\rightarrow} H^i_I(R)) \neq 0\) then \(\text{Spec}(R/\pi R) \subseteq \text{Supp}_R(H^i_I(R)^\vee)\). The author concludes the paper with two open questions about \(\text{Supp}_R(H^i_I(R)^\vee)\).