Related papers: Microsupport of tempered solutions of D-Modules as…

This is a quick survey on the characteristic varieties associated to rank one local systems on a smooth, irreducible, quasi-projective complex variety $M$. A key new result is Proposition 1.8, giving additional information on the…

This is an announcement of a long paper in progress. On a locally compact space, we introduce the stack of ind-sheaves (ind-objects of the category of sheaves with compact support) and construct the analogous of the usual six operations on…

L-modules are a combinatorial analogue of constructible sheaves on the reductive Borel-Serre compactification of a locally symmetric space. We define the micro-support of an L-module; it is a set of irreducible modules for the Levi…

For a smooth variety $Y$ over a perfect field of positive characteristic, the sheaf $D_Y$ of crystalline differential operators on $Y$ (also called the sheaf of $PD$-differential operators) is known to be an Azumaya algebra over $T^*_{Y'},$…

Let $M$ be a complex manifold and $S\subset M$ a (possibly singular) subvariety of $M$. Let $f\colon M\to M$ be a holomorphic map such that $f$ restricted to $S$ is the identity. We show that one can associate to $f$ a holomorphic section…

Let M be a smooth connected compact surface, P be either the real line R^1 or the circle S^1. For a subset X of M denote by D(M,X) the group of diffeomorphisms of M fixed on X. In this note we consider a special class F of smooth maps…

Let X be a complex space and F a coherent O_X-module. A F-(co)framed} sheaf on X is a pair (E,f) with a coherent O_X-module E and a morphism of coherent sheaves f : F -> E (resp. f : E -> F). Two such pairs (E,f) and (E',f') are said to be…

For any holomorphic function $f\colon X\to \mathbb{C}$ on a complex manifold $X$, we define and study moderate growth and rapid decay objects associated to an enhanced ind-sheaf on $X$. These will be sheaves on the real oriented blow-up…

We study two classes of morphisms in infinite type: tamely presented morphisms and morphisms with coherent pullback. These are generalizations of finitely presented morphisms and morphisms of finite Tor-dimension, respectively. The class of…

The Hom closed colocalizing subcategories of the stable module category of a finite group are classified. Along the way, the colocalizing subcategories of the homotopy category of injectives over an exterior algebra, and the derived…

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…

The aim of this paper is to investigate the closed subschemes of moduli spaces corresponding to projective varieties which admit an effective action by a given finite group $G$. To achieve this, we introduce the moduli functor…

We study the behaviour of D-cap-modules on rigid analytic varieties under pushforward along a proper morphism. We prove a D-cap-module analogue of Kiehl's Proper Mapping Theorem, considering the derived sheaf-theoretic pushforward from…

We prove that for any element $L$ in the completion of the space of smooth compact exact Lagrangian submanifolds of a cotangent bundle equipped with the spectral distance, the $\gamma$-support of $L$ coincides with the reduced micro-support…

We show that the bounded derived category of regular holonomic D-modules on a smooth variety is equivalent to the homotopy catgory of compact (or constructible) modules over the motivic ring spectrum $H_{dR}$ representing algebraic de Rham…

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…

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

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…

Let $f$ be a Morse function on a smooth compact manifold $M$ with boundary. The path component $\mathrm{PH}_f^{-1}(D)$ containing $f$ of the space of Morse functions giving rise to the same Persistent Homology $D=\mathrm{PH}(f))$ is shown…