Related papers: Functorial properties of the microsupport and regu…
The paper begins by overviewing the basic facts on geometric exceptional collections. Then, we derive, for any coherent sheaf $\cF$ on a smooth projective variety with a geometric collection, two spectral sequences: the first one abuts to…
We develop a microlocal theory, in the sense of Kashiwara-Schapira, for Zariski-constructible sheaves on rigid analytic varieties. We define and study monodromic sheaves, the monodromic Fourier transform, specialisation, microlocalisation,…
A Pfaff field on a projective space is a map from the sheaf of differential s-forms, for a certain s, to an invertible sheaf. The interesting ones are those arising from a Pfaff system, as they give rise to a distribution away from their…
In this survey article we describe moduli spaces of simple, stable, and semistable sheaves on K3 surfaces, following the work of Mukai, O'Grady, Huybrechts, Yoshioka, and others. We also describe some recent developments, including…
Given a (not necessarily regular) holonomic D-module defined on the product of two complex manifolds, we prove that the associated correspondence commutes (in some sense) with the De Rham functor. We apply this result to the study of the…
This is a survey paper based on a series of lectures given at the IHES in February/March 2015. In a first part, we recall the main results on the tempered holomorphic solutions of D-modules in the language of indsheaves and, as an…
Malliavin calculus provides a characterization of the centered model in regularity structures that is stable under removing the small-scale cut-off. In conjunction with a spectral gap inequality, it yields the stochastic estimates of the…
We study how regularity along a submanifold of a differential or microdifferential system can propagate from a family of submanifolds to another. The first result is that a microdifferential system regular along a lagrangian foliation is…
Let $\mathscr{I}$ be an ideal sheaf on $P^n$ defining a subscheme $X$. Associated to $\mathscr{I}$ there are two elementary invariants: the invariant $s$ which measures the positivity of $\mathscr{I}$, and the minimal number $d$ such that…
In this paper we define specialization and microlocalization for subanalytic sheaves. Applying these functors to the sheaves of tempered and Whytney holomorphic functions we get a unifying description of tempered and formal…
We give an explicit construction of the stack of microlocal perverse sheaves on the projective cotangent bundle of a complex manifold. Microlocal perverse sheaves will be represented as complexes of analytic ind-sheaves which have recently…
Enhanced ind-sheaves provide a suitable framework for the irregular Riemann-Hilbert correspondence. In this paper, we show how Sato's specialization and microlocalization functors have a natural enhancement, and discuss some of their…
This paper studies microlocal regularity properties of the distributions f on a strongly noncharacteristic submanifold E of a hypo-analytic manifold M that arise as the boundary values of solutions on wedges in M with edge E. The…
Kashiwara-Schapira style sheaf theory is used to justify analytic continuability of solutions of a Laplace transformed Schroedinger equation with a small parameter. This partially proves the description of the Stokes phenomenon for WKB…
In this paper, we will explain a relation between [Thm. 9.5.3, Andrea D'Agnolo and Masaki Kashiwara, Riemann-Hilbert correspondence for holonomic D-modules, 2016] and [Thm. 6.3, Masaki Kashiwara, Riemann-Hilbert correspondence for irregular…
In this paper, we prove that infinitesimal automorphisms of an involutive structure are smooth. For this, we build a regularity theory for sections of vector bundles over an involutive structure $(M,V)$ endowed with a connection compatible…
Let $X$ and $S$ be complex analytic manifolds where $S$ plays the role of a parameter space. Using the sheaf $\DXS^{\infty}$ of relative differential operators of infinite order, we construct functorially the regular holonomic $\DXS$-module…
Let X be a complex curve, $X_{sa}$ the subanalytic site associated to X, M a holonomic $D_X$-module. Let $O^t$ be the sheaf on $X_{sa}$ of tempered holomorphic functions, Sol(M) (resp. $Sol^t$(M)) the complex of holomorphic (resp. tempered…
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 prove that the singular support of an element in the derived category of sheaves is $\gamma$-coisotropic, a notion defined in [Vit22]. We prove that this implies that it is involutive in the sense of Kashiwara-Schapira, but being…