Questions tagged [constructible-sheaves]

I'm looking for a proof of a theorem that is attributed to MacPherson. Treumann (Section 1.1 in Exit paths and constructible stacks, 2009) states the theorem as: Theorem 1.2 (MacPherson). Let $(X,S)...

The path-groupoid $\mathcal{P}_1(X)$ of a (smooth) topological space $X$ is a refinement of the fundamental groupoid $\Pi_1(X)$ whose morphisms are given by (piecewise smooth) paths in $X$ up to thin-...

For a smooth complex variety, one can consider the category of say holonomic $\mathcal D$ modules on it. It is equipped with the deRham functor, which turns a $\cal D$-module into a constructible ...

I saw the following statement in a paper of Bhatt-Mathew: Let $X$ be a quasicompact quasiseparated scheme. Then there is an equivalence of categories between constructible étale sheaves (of sets) on ...

For a variety over a finite field Deligne define weights by looking at the eigenvalues of the Frobenius. On the other hand, if we take a variety over $\mathbb{Q}$, at least for its constant sheaf we ...

I'm studying M. A. A. de Cataldo, L. Migliorini - The Hard Lefschetz Theorem and the topology of semismall maps, Ann. sci. École Norm. Sup., Serie 4 35 (2002) 759-772. The premises are the following....