Related papers: Logarithmic comparison theorem and D-modules: an o…
In this paper we study the comparison between the logarithmic and the meromorphic de Rham complexes along a divisor in a complex manifold. We focus on the case of free divisors, starting with the case of locally quasihomogeneous divisors,…
Let $X$ be a complex analytic manifold, $D\subset X$ a locally quasi-homogeneous free divisor, $E$ an integrable logarithmic connection with respect to $D$ and $L$ the local system of the horizontal sections of $E$ on $X-D$. In this paper…
Let X be a complex analytic manifold and D \subset X a free divisor. Integrable logarithmic connections along D can be seen as locally free {\cal O}_X-modules endowed with a (left) module structure over the ring of logarithmic differential…
In this paper we survey the role of D-module theory in the comparison between logarithmic and meromorphic de Rham complexes of integrable logarithmic connections with respect to free divisors, and we present some new linearity conditions on…
Let $X$ be a complex analytic manifold, $D\subset X$ a free divisor with jacobian ideal of linear type (e.g. a locally quasi-homogeneous free divisor), $j: U=X-D \to X$ the corresponding open inclusion, $E$ an integrable logarithmic…
Let $D$ be a divisor in ${\bf C}^n$. We present methods to compare the ${\mathcal D}$-module of the meromorphic functions ${\mathcal O}[* D]$ to some natural approximations. We show how the analytic case can be treated with computations in…
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…
To a smooth variety $X$ with simple normal crossings divisor $D$, we associate a sheaf of vertex algebras on $X$, denoted $\Omega^{ch}_{X}(\operatorname{log}D)$, whose conformal weight $0$ subspace is the algebra…
Consider a complex analytic manifold $X$ and a coherent Lie subalgebra $\shi$ of the Lie algebra of complex vector fields on $X$. By using a natural $\shd_X$-module $\shm_\shi$ naturally associated to $\shi$ and the ring (in the derived…
In order to look for a well-behaved counterpart to Dolbeault cohomology in D-complex geometry, we study the de Rham cohomology of an almost D-complex manifold and its subgroups made up of the classes admitting invariant, respectively…
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 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…
Let $(R, \mf, k_R)$ be regular local $k$-algebra satisfying the weak Jacobian criterion, such that $k_R/k$ is an algebraic field extension. Let $D_R$ be the ring of $k$-linear differential operators of $R$. We give an explicit decomposition…
For a rank 1 local system on the complement of a reduced divisor on a complex manifold $X$, its cohomology is calculated by the twisted meromorphic de Rham complex. Assuming the divisor is everywhere positively weighted homogeneous, we…
We prove an analogue of the de Rham theorem for polar homology; that the polar homology $HP_q(X)$ of a smooth projective variety $X$ is isomorphic to its $H^{n,n-q}$ Dolbeault cohomology group. This analogue can be regarded as a geometric…
Let M be a meromorphic connection with poles along a smooth divisor D in a smooth algebraic variety. Let Sol M be the solution complex of M. We prove that the good formal decomposition locus of M coincides with the locus where the…
Let $I \subset R = \mathbb{F}[x_1,x_2]$ be a height two ideal minimally generated by three homogeneous polynomials of the same degree $d$, where $\mathbb{F}$ is a field of characteristic zero. We use the theory of $D$-modules to deduce…
We study de Rham character sheaves on a commutative connected algebraic group $G$, defined as multiplicative line bundles with integrable connection. We construct a group algebraic space $G^\flat$ representing their moduli problem on…
Let $X$ be a smooth threefold with a simple normal crossings divisor $D$. We construct the Donaldson-Thomas theory of the pair $(X|D)$ enumerating ideal sheaves on $X$ relative to $D$. These moduli spaces are compactified by studying…
Let X be a smooth complex manifold. Let Sol denote the solution functor for D-modules on X. Traditionally, the fully-faithfulness of Riemann-Hilbert correspondance is proved by showing that if M_1 and M_2 are regular holonomic D_X modules,…