Related papers: Regularization of relative holonomic D-modules

Let M be a complex of D-modules with bounded holonomic cohomology on a complex manifold. In this note, we prove that if the derived tensor product of M with itself is regular, then M is regular.

We study log D-modules on smooth log pairs and construct a comparison theorem of log de Rham complexes. The proof uses Sabbah's generalized b-functions. As applications, we deduce a log index theorem and a Riemann-Roch type formula for…

For any holomorphic function $f\colon X\to \mathbb{C}$ on a complex manifold $X$, we define and study moderate growth and rapid decay objects associated to an enhanced ind-sheaf on $X$. These will be sheaves on the real oriented blow-up…

In the first part we deepen the six-functor theory of (holonomic) logarithmic D-modules, in particular with respect to duality and pushforward along projective morphisms. Then, inspired by work of Ogus, we define a logarithmic analogue of…

We introduce the notion of regularity for a relative holonomic $\mathcal D$-module in the sense of arXiv:1204.1331. We prove that the solution functor from the bounded derived category of regular relative holonomic modules to that of…

We study the category of holonomic $\mathscr{D}_{X}$-modules for a quasi-compact, quasi-separated, smooth rigid analytic variety $X$ over the field $\mathbb{C}(\!(t)\!)$. In particular, we prove finiteness of the de Rham cohomology for such…

The article describes a purely topological counterpart of the $\epsilon$-factorization of constants in the functional equations (which is a key ingredient in the interplay between L-functions and classical automorphic forms). We consider…

In this paper we prove the constructibility on the subanalytic sites of the sheaves of tempered holomorphic solutions of holonomic D-modules on complex analytic manifolds. Such a result solves a conjecture of M. Kashiwara and P. Schapira…

Let A be a noetherian AS regular Koszul quiver algebra (if A is commutative, it is essentially a polynomial ring), and grA the category of finitely generated graded left A-modules. Following Jorgensen, we define the Castelnuovo-Mumford…

The invariant eigendistributions on a reductive Lie algebra are solutions of a holonomic D-module which has been proved to be regular by Kashiwara-Hotta. We solve here a conjecture of Sekiguchi saying that in the more general case of…

We compute formal invariants associated with the cohomology sheaves of the direct image of holonomic D-modules of exponential type. We also prove that every formal C[[t]]<\partial_t>-modules is isomorphic, after a ramification, to a germ of…

Let $O_X$ (resp. $D_X$) be the sheaf of holomorphic functions (resp. the sheaf of linear differential operators with holomorphic coefficients) on $X$ (=the complex affine n-space). Let $Y$ be a locally weakly quasi-homogeneous free divisor…

Let $X$ be a smooth projective and geometrically irreducible curve over the finite field $\mathbb{F}_q$ with $q$ elements and $K$ be its function field. Let $\infty$ be a fixed closed point on $X$ and $A$ be the ring of functions regular…

Let $R = k[x_1, \ldots, x_n]$ be a polynomial ring over a field $k$ of characteristic zero and $\cR$ be the formal power series ring $k[[x_1, \ldots, x_n]]$. If $M$ is a $\D$-module over $R$, then $\cR \otimes_R M$ is naturally a…

Let K be a subfield of the complex numbers, and let D be the Weyl algebra of K-linear differential operators on K[x_1,...,x_n]. If M and N are holonomic left D-modules we present an algorithm that computes explicit generators for the finite…

We extend the results of Schapira and Schneiders on relative regularity and finiteness of elliptic pairs to the framework of $\shd[[\hbar]]$-modules and $\R$-constructible sheaves of $\C[[\h]]$-modules. We also construct a relative duality…

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 generalise Kahn, Miyazaki, Saito, Yamazaki's theory of modulus pairs to pairs $(X, D)$ consisting of a qcqs scheme $X$ equipped with an effective Cartier divisor $D$ representing a ramification bound. We develop theories of sheaves on…

We compute the characters of the simple GL-equivariant holonomic D-modules on the vector spaces of general, symmetric and skew-symmetric matrices. We realize some of these D-modules explicitly as subquotients in the pole order filtration…

On a complex symplectic manifold we prove a finiteness result for the global sections of solutions of holonomic DQ-modules in two cases: (a) by assuming that there exists a Poisson compactification (b) in the algebraic case. This extends…