相关论文: Truncated microsupport and holomorphic solutions o…

We prove that the k-truncated microsupport of the specialization of a complex of sheaves $F$ along a submanifold is contained in the normal cone to the conormal bundle along the k-truncated microsupport of $F$. In the complex case, applying…

Let $f:X\to Y$ be a smooth morphism of complex analytic manifolds and let $F$ be an $\mathbb{R}$-constructible complex on $Y$. Let $\cal{M}$ be a coherent $\shd_X$-module. We prove that the microsupport of the solution complex of $\shm$ in…

Using a result of J-M. Bony, we prove the weak involutivity of truncated microsupports. More precisely, given a sheaf $F$ on a real manifold and an integer $k$, if two functions vanish on the truncated microsupport $Ss_k(F)$, then so does…

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…

We define the notions of micro-support and regularity for ind-sheaves, and prove their invariance by contact transformations. We apply the results to the ind-sheaves of temperate holomorphic solutions of D-modules. We prove that the…

We show that for any constructible sheaf F on a smooth algebraic variety X over a field of arbitrary characteristic its singular support SS(F) is equidimensional of dimension dim X. Here SS(F) is the minimal closed subset of the cotangent…

In this paper, We define the stratified metric $\infty$-category $\mathbf{StratMet}_{\infty}$ and the middle perversity moduli stack $\mathscr{M}^{\mathrm{mid}}$. We construct a universal truncation complex…

The notion of microsupport and regularity for ind-sheaves was introduced by M. Kashiwara and P. Schapira in "Microlocal study of ind-sheaves I: microsupport and regularity". In this paper we study the behaviour of the microsupport under…

In this paper we prove the constructibility on the subanalytic sites of the sheaves of tempered holomorphic solutions of holonomic D-modules on complex analytic manifolds. Such a result solves a conjecture of M. Kashiwara and P. Schapira…

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…

We introduce the notion of strong regularity for subanalytic sheaves and establish estimates for the supports and microsupports of their multi-microlocalizations. As applications, we study subanalytic sheaves of Whit- ney and temperate…

Let $\frak g$ be a reductive Lie algebra over an algebraically closed field of characteristic 0 and $\frak k$ be a reductive in $\frak g$-subalgebra. Let $M$ be a finitely generated (possibly, infinite-dimensional) $\frak g$-module. We say…

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 $(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…

Let $X$ be a complex manifold. In "Microlocal study of Ind-sheaves I: microsupport and regularity", M. Kashiwara e P. Schapira made the conjecture that a holonomic D-module $\shm$ is regular holonomic if and only if…

We study differentiable holonomic sheaves of $AV$-modules on a smooth quasi-projective variety. We show that a simple differentiable holonomic sheaf $M$ of $AV$-modules is locally the tensor product of a simple holonomic $D$-module and a…

In the Simpson moduli space $M$ of semi-stable sheaves with Hilbert polynomial $dm-1$ on a projective plane we study the closed subvariety $M'$ of sheaves that are not locally free on their support. We show that for $d\ge 4$ it is a…

We establish several results combining discrete Morse theory and microlocal sheaf theory in the setting of finite posets and simplicial complexes. Our primary tool is a computationally tractable description of the bounded derived category…

We develop a `universal' support theory for derived categories of constructible (analytic or \'etale) sheaves, holonomic D-modules, mixed Hodge modules and others. As applications we classify such objects up to the tensor triangulated…

We prove that cuspidal automorphic D-modules have non-vanishing Whittaker coefficients, generalizing known results in the geometric Langlands program from GL_n to general reductive groups. The key tool is a microlocal interpretation of…