Related papers: The convolution algebra of constructible sheaves

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…

Let G be an infinitesimal group scheme of finite height r and V(G) the scheme which represents 1-parameter subgroups of G. We consider sheaves over the projectivization P(G) of V(G) constructed from a G-module M. We show that if P(G) is…

Let $X$ be a real analytic manifold endowed with a distance satisfying suitable properties and let $\mathbf{k}$ be a field. In [PS20], the authors construct a pseudo-distance on the derived category of sheaves of $\mathbf{k}$-modules on…

Using the fact that $\Pi$-invertible sheaves can be interpreted as locally free sheaves of modules for the super skew field $\mathbb{D}$, we give a new construction of the $\Pi$-projective superspace $\mathbb{P}^n_{\Pi, B}$ over affine $k$…

We prove a microlocal characterisation of character sheaves on a reductive Lie algebra over an algebraically closed field of sufficiently large positive characteristic: a perverse irreducible G-equivariant sheaf is a character sheaf if and…

Let $X$ and $Y$ be real analytic manifolds and let $\Lambda \subseteq T^*X$ and $\Sigma \subseteq T^*Y$ be closed conic subanalytic singular isotropics. Given a sheaf $K \in \mathrm{Sh}_{-\Lambda \times \Sigma}(X \times Y)$ microsupported…

Given a compact oriented manifold of dimension $n$ with a conically smooth stratification, we show that the moduli of $\mathcal{D}(k)$-valued constructible sheaves and the moduli of perverse sheaves are $(2-n)$-shifted Lagrangian. The…

The Ehresmann-Schein-Nambooripad theorem gives a structure theorem for inverse monoids: they are inductive groupoids. A particularly nice case due to Jarek is that commutative inverse monoids become semilattices of abelian groups. It has…

Persistent homology has been recently studied with the tools of sheaf theory in the derived setting by Kashiwara and Schapira, after J. Curry has made the first link between persistent homology and sheaves. We prove the isometry theorem in…

A space is reversible if every continuous bijection of the space onto itself is a homeomorphism. In this paper we study the question of which countable spaces with a unique non-isolated point are reversible. By Stone duality, these spaces…

We prove that intermediate extensions of perverse constructible $\mathbb{F}_p$-sheaves commute with smooth pullbacks for schemes admitting a closed embedding into a smooth scheme over a field of characteristic $p$ (embeddable schemes for…

We study coinductive invertibility of cells in weak $\omega$-categories. We use the inductive presentation of weak $\omega$-categories via an adjunction with the category of computads, and show that invertible cells are closed under all…

We present an explicit expression of the cohomology complex of a constructible sheaf of abelian groups on the small \'etale site of an irreducible curve over an algebraically closed field, when the torsion of the sheaf is invertible in the…

The aim of this note is threefold. The first is to obtain a simple characterization of relative constructible sheaves when the parameter space is projective. The second is to study the relative Fourier-Mukai for relative constructible…

Graded Hecke algebras can be constructed in terms of equivariant cohomology and constructible sheaves on nilpotent cones. In earlier work, their standard modules and their irreducible modules where realized with such geometric methods. We…

Consider a compact Riemannian manifold in dimension $n\geq 3$ with strictly convex boundary. We show that the transverse ray transform of $1$ tensors and the mixed ray transform of $1+1$ tensors are invertible, up to natural obstructions,…

Given an open-closed decomposition of the stratifying poset, we construct a new semi-orthogonal decomposition of the $\infty$-category of constructible sheaves on a stratified space admitting an exit-path $\infty$-category. From this we…

The sheaf-function correspondence identifies the group of constructible functions on a real analytic manifold $M$ with the Grothendieck group of constructible sheaves on $M$. When $M$ is a finite dimensional real vector space,…

We construct moduli stacks of stable sheaves for surfaces fibered over marked nodal curves by using expanded degenerations. These moduli stacks carry a virtual class and therefore give rise to enumerative invariants. In the case of a…

This article contains a proof of the basic lemma. This lemma, discovered by Beilinson, yields a motivic proof of the Andreotti-Frankel theorem for affine varieties. Next, it is shown that the category of Cohomologically Constructible…