Related papers: Temperate holomorphic solutions and regularity of …
In this paper we prove the preconstructibility of the complex of tempered holomorphic solutions of holonomic D-modules on complex analytic manifolds. This implies the finiteness of such complex on any relatively compact open subanalytic…
We study the irregularity of hypergeometric D-modules $\mathcal{M}_A (\beta )$ via the explicit construction of Gevrey series solutions along coordinate subspaces in $X =\mathbb{C}^n$. As a consequence, we prove that along coordinate…
Let $X$ be a complex analytic curve. In this paper we prove that the subanalytic sheaf of tempered holomorphic solutions of $\mathcal D_X$-modules induces a fully faithful functor on a subcategory of germs of formal holonomic $\mathcal…
Let $X$ be a smooth projective rational surface, $D\subset X$ an effective anticanonical curve, $\beta$ a curve class on $X$ and $\mathfrak{d}=\sum w_iP_i$ an effective divisor on $D_{\mathrm{sm}}$. We consider the moduli space…
Given a compact hyperkaehler manifold $M$ and a holomorphic bundle B over $M$, we consider a Hermitian connection $\nabla$ on B which is compatible with all complex structures on $M$ induced by the hyperkaehler structure. Such a connection…
We study binomial D-modules, which generalize A-hypergeometric systems. We determine explicitly their singular loci and provide three characterizations of their holonomicity. The first of these states that a binomial D-module is holonomic…
We present results and examples which show that the consideration of a certain tubular mutation is advantageous in the study of noncommutative curves which parametrize the simple regular representations of a tame bimodule. We classify all…
Let $X$ be a smooth proper scheme over an algebraically closed field $k$ in characteristic $p$. In this short note, by interpreting $\mathcal{D}_{X}$-modules as $F$-divided sheaves and establishing a cohomological boundedness property for…
Following the ideas of Ginzburg, for a subgroup $K$ of a connected reductive $\mathbb{R}$-group $G$ we introduce the notion of $K$-admissible $D$-modules on a homogeneous $G$-variety $Z$. We show that $K$-admissible $D$-modules are regular…
We study the truncated microsupport $Ss_k$ of sheaves on a real manifold. Applying our results to the case of $F=RHom_D(M,O)$, the complex of holomorphic solutions of a coherent $D$-module $M$, we show that $Ss_k(F)$ is completely…
We prove stability of logarithmic tangent sheaves of singular hypersurfaces D of the projective space with constraints on the dimension and degree of the singularities of D. As main application, we prove that determinants and symmetric…
In this text, we illustrate the use of local methods in the theory of (irregular) holonomic D-modules. I. (The Euler characteristic of the de~Rham complex) We show the invariance of the global or local Euler characteristic of the de~Rham…
We show that the arithmetic D-module associated to an overconvergent F-isocrystal over a smooth curve is holonomic. We first prove that unipotent F-isocrystals are holonomic D-module by using the fact that such F-isocrystals come from…
We study the locus of smooth hypersurfaces inside the Hilbert scheme of a smooth projective complex variety. In the spirit of scanning, we construct a map to a continuous section space of a projective bundle, and show that it induces an…
Based on the recent progress in the irregular Riemann-Hilbert correspondence for holonomic D-modules, we show that the characteristic cycles of some standard irregular holonomic D-modules can be expressed as in the classical theorem of…
When M is a finitely generated graded module over a standard graded algebra S and I is an ideal of S, it is known from work of Cutkosky, Herzog, Kodiyalam, R\"omer, Trung and Wang that the Castelnuovo-Mumford regularity of I^mM has the form…
This is a survey paper on the Riemann-Hilbert correspondence on (irregular) holonomic D-modules, based on the 16-th Takagi lecture (2015/11/28). In this paper, we use subanalytic sheaves, an analogous notion to the one of indsheaves.
In this paper, we prove that any perfect complex of $D^{\infty}$-modules may be reconstructed from its holomorphic solution complex provided that we keep track of the natural topology of this last complex. This is to be compared with the…
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…
We explain a formalism of regular holonomic $D$-modules for algebraic geometers using the distinguished triangles associated with algebraic local cohomology together with meromorphic Deligne extensions of local systems as well as the dual…