We establish some cohomological bounds in $D$-module theory that are known in the holonomic case and folklore in general. The method rests on a generalization of the $b$-function lemma for non-holonomic $D$-modules.

We determine the irregular Hodge filtration, as introduced by Sabbah, for the purely irregular hypergeometric ${\mathcal{D}}$-modules. We obtain, in particular, a formula for the irregular Hodge numbers of these systems. We use the reduction of hypergeometric systems from GKZ-systems as well as comparison results to Gauss–Manin systems of Laurent polynomials via Fourier–Laplace and Radon transformations.

Let $f$ be a quasi-homogeneous polynomial with an isolated singularity in $\mathbf{C}^{n}$. We compute the length of the ${\mathcal{D}}$-modules ${\mathcal{D}}f^{\unicode[STIX]{x1D706}}/{\mathcal{D}}f^{\unicode[STIX]{x1D706}+1}$ generated by complex powers of $f$ in terms of the Hodge filtration on the top cohomology of the Milnor fiber. When $\unicode[STIX]{x1D706}=-1$ we obtain one more than the reduced genus of the singularity ($\dim H^{n-2}(Z,{\mathcal{O}}_{Z})$ for $Z$ the exceptional fiber of a resolution of singularities). We conjecture that this holds without the quasi-homogeneous assumption. We also deduce that the quotient ${\mathcal{D}}f^{\unicode[STIX]{x1D706}}/{\mathcal{D}}f^{\unicode[STIX]{x1D706}+1}$ is nonzero when $\unicode[STIX]{x1D706}$ is a root of the $b$-function of $f$ (which Saito recently showed fails to hold in the inhomogeneous case). We obtain these results by comparing these ${\mathcal{D}}$-modules to those defined by Etingof and the second author which represent invariants under Hamiltonian flow.

Let $A$ be a complete local ring with a coefficient field $k$ of characteristic zero, and let $Y$ be its spectrum. The de Rham homology and cohomology of $Y$ have been defined by R. Hartshorne using a choice of surjection $R\rightarrow A$ where $R$ is a complete regular local $k$-algebra: the resulting objects are independent of the chosen surjection. We prove that the Hodge–de Rham spectral sequences abutting to the de Rham homology and cohomology of $Y$, beginning with their $E_{2}$-terms, are independent of the chosen surjection (up to a degree shift in the homology case) and consist of finite-dimensional $k$-spaces. These $E_{2}$-terms therefore provide invariants of $A$ analogous to the Lyubeznik numbers. As part of our proofs we develop a theory of Matlis duality in relation to ${\mathcal{D}}$-modules that is of independent interest. Some of the highlights of this theory are that if $R$ is a complete regular local ring containing $k$ and ${\mathcal{D}}={\mathcal{D}}(R,k)$ is the ring of $k$-linear differential operators on $R$, then the Matlis dual $D(M)$ of any left ${\mathcal{D}}$-module $M$ can again be given a structure of left ${\mathcal{D}}$-module, and if $M$ is a holonomic ${\mathcal{D}}$-module, then the de Rham cohomology spaces of $D(M)$ are $k$-dual to those of $M$.

In this paper we study certain sheaves of $p$-adically complete rings of differential operators on semistable models of the projective line over the ring of integers in a finite extension $L$ of $\mathbb{Q}_{p}$. The global sections of these sheaves can be identified with (central reductions of) analytic distribution algebras of wide open congruence subgroups. It is shown that the global sections functor furnishes an equivalence between the categories of coherent module sheaves and finitely presented modules over the distribution algebras. Using the work of M. Emerton, we then describe admissible representations of $\text{GL}_{2}(L)$ in terms of sheaves on the projective limit of these formal schemes. As an application, we show that representations coming from certain equivariant line bundles on Drinfeld’s first étale covering of the $p$-adic upper half plane are admissible.

Let $X$ be an algebraic curve. We study the problem of parametrizing geometric structures over $X$ which are only generically defined. For example, parametrizing generically defined maps (rational maps) from $X$ to a fixed target scheme $Y$. There are three methods for constructing functors of points for such moduli problems (all originally due to Drinfeld), and we show that the resulting functors are equivalent in the fppf Grothendieck topology. As an application, we obtain three presentations for the category of $D$-modules ‘on’ $B(K)\backslash G(\mathbb{A})/G(\mathbb{O})$, and we combine results about this category coming from the different presentations.

We define the notion of a trace kernel on a manifold $M$. Roughly speaking, it is a sheaf on $M\times M$ for which the formalism of Hochschild homology applies. We associate a microlocal Euler class with such a kernel, a cohomology class with values in the relative dualizing complex of the cotangent bundle ${T}^{\ast } M$ over $M$, and we prove that this class is functorial with respect to the composition of kernels.

This generalizes, unifies and simplifies various results from (relative) index theorems for constructible sheaves, $\mathscr{D}$-modules and elliptic pairs.

We show that the cohomology of complexes of solutions of exponantial type associated to holonomic algebraic D-modules is constructible. We also compute the Euler–Poincaré index of such complexes.

Considering a holonomic ${\mathcal D}$-module and a hypersurface, we define a finite family of ${\mathcal D}$-modules on the hypersurface which we call modules of vanishing cycles. The first one had been previously defined and corresponds to formal solutions. The last one corresponds, via Riemann-Hilbert, to the geometric vanishing cycles of Grothendieck-Deligne. For regular holonomic ${\mathcal D}$-modules there is only one sheaf and for non regular modules the sheaves of vanishing cycles control the growth and the index of solutions. Our results extend to non holonomic modules under some hypothesis.