The homotopy-invariance of constructible sheaves - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Homology, Homotopy and Applications Année : 2023

The homotopy-invariance of constructible sheaves

Résumé

The purpose of this paper is to explain why the functor that sends a stratified topological space $S$ to the $\infty$-category of constructible (hyper)sheaves on $S$ with coefficients in a large class of presentable $\infty$categories is homotopy-invariant. To do this, we first establish a number of results in the unstratified setting, i.e., the setting of locally constant (hyper)sheaves. For example, if $X$ is a locally weakly contractible topological space and $\mathcal{E}$ is a presentable $\infty$-category, then we give a concrete formula for the constant hypersheaf functor $\mathcal{E}\to \mathrm{Sh}^{\mathrm{hyp}}(X;\mathcal{E})$. This formula lets us show that the constant hypersheaf functor is a right adjoint, and is fully faithful if $X$ is also weakly contractible. It also lets us prove a general monodromy equivalence and categorical K\"unneth formula for locally constant hypersheaves.

Dates et versions

hal-04006231 , version 1 (27-02-2023)

Identifiants

Citer

Peter J. Haine, Mauro Porta, Jean-Baptiste Teyssier. The homotopy-invariance of constructible sheaves. Homology, Homotopy and Applications, In press. ⟨hal-04006231⟩
21 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More