Related papers: Generalized nearby cycles via relative and logarit…
We will establish a nearby and vanishing cycle formalism for the arithmetic $\mathscr{D}$-module theory following Beilinson's philosophy. As an application, we define smooth objects in the framework of arithmetic $\mathscr{D}$-modules whose…
Let $R$ be a regular semi-local ring, essentially of finite type over an infinite perfect field of characteristic $p \ge 3$. We show that the cycle class map with modulus from an earlier work of the authors induces a pro-isomorphism between…
The topology of smooth quasi-projective complex varieties is very restrictive. One aspect of this statement is the fact that natural strata of local systems, called cohomology support loci, have a rigid structure: they consist of…
Using twisted nearby cycles, we define a new notion of slopes for complex holonomic D-modules. We prove a boundedness result for these slopes, study their functoriality and use them to characterize regularity. For a family of (possibly…
We study the structure of $D$-modules over a ring $R$ which is a direct summand of a polynomial or a power series ring $S$ with coefficients over a field. We relate properties of $D$-modules over $R$ to $D$-modules over $S$. We show that…
We prove a conjecture of the first author relating the Bernstein-Sato ideal of a finite collection of multivariate polynomials with cohomology support loci of rank one complex local systems. This generalizes a classical theorem of Malgrange…
We establish a geometric criterion for local microlocal holonomies to be globally regular on the moduli space of Lagrangian fillings. This local-to-global regularity result holds for arbitrary Legendrian links and it is a key input for the…
Let $G$ be a connected reductive group over a $p$-adic local field $F$. We propose and study the notions of $G$-$\varphi$-modules and $G$-$(\varphi,\nabla)$-modules over the Robba ring, which are exact faithful $F$-linear tensor functors…
Given a morphism $f: X \rightarrow S$ of complex algebraic varieties and a constructible sheaf $\mathcal{G}$ on $X$, we compute the local monodromy of $Rf_*(\mathcal{G})$ and $Rf_!(\mathcal{G})$ in terms of the local monodromy of…
We realise Buchweitz and Flenner's semiregularity map (and hence a fortiori Bloch's semiregularity map) for a smooth variety $X$ as the tangent of a generalised Abel--Jacobi map on the derived moduli stack of perfect complexes on $X$. The…
We show that each direct summand of the associated graded module of the test module filtration $\tau(M, f^\lambda)_{\lambda \geq 0}$ admits a natural Cartier structure. If $\lambda$ is an $F$-jumping number, then this Cartier structure is…
We construct a moduli space of stable maps with fields associated to a triple $(X,E,s)$ of a projective variety (or a DM stack with projective moduli space) a vector bundle and a section. We show the class coincides up to a sign with the…
For a commutative ring $A$, we have the category of (bounded-below) chain complexes of $A$-modules $Ch_{+}(A\mymod)$, a closed symmetric monoidal category with a compatible stable Quillen model structure. The associated homotopy category is…
We study the preservation of semisimplicity for holonomic D-modules with respect to the direct and inverse image of mainly finite maps $\pi : X \to Y$ of smooth varieties. A natural filtration of the direct image $\pi_+({\mathcal O}_X)$ is…
This paper solves the global moduli problem for regular holonomic D-modules with normal crossing singularities on a nonsingular complex projective variety. This is done by introducing a level structure (which gives rise to…
We show how a quasi-smooth derived enhancement of a Deligne-Mumford stack X naturally endows X with a functorial perfect obstruction theory in the sense of Behrend-Fantechi. This result is then applied to moduli of maps and perfect…
We study holonomic D-modules on SL_n(C)xC^n, called mirabolic modules, analogous to Lusztig's character sheaves. We describe the supports of simple mirabolic modules. We show that a mirabolic module is killed by the functor of Hamiltonian…
In this paper we study two classes of $\ell$-modular standard modules of the general linear group. The first class is obtained by reducing existing standard modules over $\overline{\mathbb{Q}}_\ell$ to $\overline{\mathbb{F}}_\ell$ with…
Let $K / \mathbb{Q}_p$ be a finite Galois extension and $D$ a $(\varphi, \Gamma)$-module over the Robba-ring $B^{\dagger}_{\textrm{rig}, K}$. We give a generalization of the Bloch-Kato exponential map for $D$ using continuous…
Let D be a divisor in a complex analytic manifold X. A natural problem is to determine when the de Rham complex of meromorphic forms on X with poles along D is quasi-isomorphic to its subcomplex of logarithmic forms. In this mostly…