Related papers: Verdier duality on conically smooth stratified spa…

We present a uniform theory of constructible sheaves on arbitrary schemes with coefficients in topological or even condensed rings. This is accomplished by defining lisse sheaves to be the dualizable objects in the derived infinity-category…

Given a stratified topological space, we answer the question whether the functor from the derived category of constructible sheaves to the derived category of sheaves with constructible cohomology is an equivalence. We also establish basic…

Let \(E\) be a finite-dimensional real vector space. We study invertible objects in the monoidal category of constructible sheaves on \(E\), endowed with the convolution product \(\star\). We show that the inverse of an invertible…

This paper gives an explicit computation of the category of constructible sheaves on a toric variety (with respect to the stratification by torus orbits). Over the complex numbers, this simplifies a description due to Braden and Lunts. The…

We show that conically smooth stratified spaces embed fully faithfully into $\infty$-categories. This articulates a stratified generalization of the homotopy hypothesis proposed by Grothendieck. As such, each $\infty$-category defines a…

We introduce a notion of constructibility for \'etale sheaves with torsion coefficients over a suitable class of adic spaces. This notion is related to the classical notion of constructibility for schemes via the nearby cycles functor. We…

We study monoidal categories that enjoy a certain weakening of the rigidity property, namely, the existence of a dualizing object in the sense of Grothendieck and Verdier. We call them Grothendieck-Verdier categories. Notable examples…

This paper develops aspects of cosheaf theory on rigid analytic spaces, and demonstrates a sheaf-cosheaf Verdier duality equivalence theorem for overconvergent sheaves on separated, paracompact spaces, analogous to Jacob Lurie's treatment…

Here we prove a Poincar\'e-Verdier duality theorem for the o-minimal sheaf cohomology with definably compact supports of definably normal, definably locally compact spaces in an arbitrary o-minimal structure.

We discuss two known sheaf-cosheaf duality theorems: Curry's for the face posets of finite regular CW complexes and Lurie's for compact Hausdorff spaces, i.e., covariant Verdier duality. We provide a uniform formulation for them and prove…

In this article, we prove that there is a canonical Verdier self-dual intersection space sheaf complex for the middle perversity on Witt spaces that admit compatible trivializations for their link bundles, for example toric varieties. If…

The goal of this article is to extend a theorem of Lurie \[ \mathsf{Sh}_A (X) = \mathsf{Fun}(\mathsf{Exit}_A (X), \mathsf{S}) \] representing constructible sheaves with values in $ \mathsf{S} $, the $ \infty $-category of spaces, on a…

We prove a theorem relating torus-equivariant coherent sheaves on toric varieties to polyhedrally-constructible sheaves on a vector space. At the level of K-theory, the theorem recovers Morelli's description of the K-theory of a smooth…

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…

We study the dualizability of sheaves on manifolds with isotropic singular supports $\operatorname{Sh}_\Lambda(M)$ and microsheaves with isotropic supports $\operatorname{\mu sh}_\Lambda(\Lambda)$ and obtain a classification result of…

Interpreting the syzygy theorem for tame modules over posets in the setting of derived categories of subanalytically constructible sheaves proves two conjectures due to Kashiwara and Schapira concerning the existence of stratifications of…

We introduce an exact category of torsion-free constructible tori and an abelian category of constructible tori over a Dedekind scheme with perfect residue fields. The first one has an explicit description as $2$-term complexes of smooth…

We construct a moduli space of slope-semistable pure sheaves, building upon previous work of Le Potier and Jun Li on torsion-free sheaves over smooth surfaces. In particular, our construction provides a compactification of the Simpson…

Given a stratified variety X with strata satisfying a cohomological parity-vanishing condition, we define and show the uniqueness of "parity sheaves", which are objects in the constructible derived category of sheaves with coefficients in…

This thesis develops the theory of sheaves and cosheaves with an eye towards applications in science and engineering. To provide a theory that is computable, we focus on a combinatorial version of sheaves and cosheaves called cellular…