Related papers: The de Rham functor for logarithmic D-modules
We lift Grothendieck-Verdier-Spaltenstein's six functor formalism for derived categories of sheaves on ringed spaces over a field to differential graded enhancements. Our main tools come from enriched model category theory.
Let V be a finite dimensional representation of the connected complex reductive group H. Denote by G the derived subgroup of H and assume that the categorical quotient of V by G is one dimensional. In this situation there exists a…
In this mostly expository note we give a down-to-earth introduction to the V-filtration of M. Kashiwara and B. Malgrange on D-modules. We survey some applications to generalized Bernstein-Sato polynomials, multiplier ideals, and monodromy…
These are expanded notes from some talks given during the fall 2002, about ``homotopical algebraic geometry'' (HAG) with special emphasis on its applications to ``derived algebraic geometry'' (DAG) and ``derived deformation theory''. We use…
In a beautiful paper Deligne and Illusie proved the degeneration of the Hodge-to-de Rham spectral sequence using positive characteristic methods. In a recent paper Arinkin, C\u{a}ld\u{a}raru and the author of this paper gave a geometric…
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 introduce in this paper a hypercohomology version of the resonance varieties and obtain some relations to the characteristic varieties of rank one local systems on a smooth quasi-projective complex variety $M$, see Theorem (3.1) and…
Let G be a $p$-adic Lie group. We develop a dimension theory for coadmissible G-equivariant $\mathcal{D}$-modules on smooth rigid analytic spaces. We introduce the category of weakly holonomic G-equivariant $\mathcal{D}$-modules, study its…
In this paper, we define $\Lambda$-quot-functors on Deligne-Mumford stacks. We prove that the $\Lambda$-quot-functor is representable by an algebraic space. Then, we construct the moduli space of $\Lambda$-modules on a projective…
We introduce ``sheafification'' functors from categories of (lax monoidal) linear functors to categories of quasi-coherent sheaves (of algebras) of stacks. They generalize the homogeneous sheafification of graded modules for projective…
The aim of this paper is to extend the definition of motivic homotopy theory from schemes to a large class of algebraic stacks and establish a six functor formalism. The class of algebraic stacks that we consider includes many interesting…
Over any smooth algebraic variety over a $p$-adic local field $k$, we construct the de Rham comparison isomorphisms for the \'etale cohomology with partial compact support of de Rham $\mathbb Z_p$-local systems, and show that they are…
We show that the Hodge ideals in the sense of Mustata and Popa are quite closely related to the induced microlocal V-filtration on the structure sheaf, defined by using the microlocalization of the V-filtration of Kashiwara and Malgrange.…
Let $V$ be a representation of the modular group $\Gamma$ of dimension $p$. We show that the $\mathbb{Z}$-graded space $\mathcal{H}(V)$ of holomorphic vector-valued modular forms associated to $V$ is a free module of rank $p$ over the…
Given a scheme in characteristic p together with a lifting modulo p^2, we construct a functor from a category of suitably nilpotent modules with connection to the category of Higgs modules. We use this functor to generalize the…
We identify the type of $\mathbb{C}[[\hbar]]$-linear structure inherent in the $\infty$-categories which arise in the theory of Deformation Quantization modules. Using this structure, we show that the $\infty$-category of quasicoherent…
Tachikawa's second conjecture predicts that a finitely generated, orthogonal module over a finite-dimensional self-injective algebra is projective. This conjecture is an important part of the Nakayama conjecture. Our principal motivation of…
In this article we prove a conjecture of Braverman-Kazhdan in \cite{BK} on the acyclicity of gamma sheaves in the de Rham setting. The proof relies on the techniques developed in \cite{BFO} on Drinfeld center of Harish-Chandra bimodules and…
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…
Drinfeld suggested the definition of a certain endo-functor, called the pseudo-identity functor, on the category of D-modules on an algebraic stack. We extend this definition to an arbitrary DG category, and show that if certain finiteness…