Posets for which Verdier duality holds

From MaRDI portal



Abstract: 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 their generalizations. Our version of the former works over the sphere spectrum and for more general finite posets, which we characterize in terms of the Gorenstein* condition. Our version of the latter says that the stabilization of a proper separated infty-topos is rigid in the sense of Gaitsgory. As an application, for stratified topological spaces, we clarify the relation between these two duality equivalences.


For the face poset \ of a locally finite regular CW complex, \textit{J. M. Curry} [J. Pure Appl. Algebra 222, No. 4, 966--993 (2018; Zbl 1481.18017)] established that there exists a canonical equivalence \[ \mathbb{D}:\mathsf{h}\mathrm{D}^{b}\left( \mathrm{Fun}\left( P,\mathsf{Vect} \right) \right) \rightarrow\mathsf{h}\mathrm{D}^{b}\left( \mathrm{Fun} \left( P^{\mathrm{op}},\mathsf{Vect}\right) \right) \] between triangulated categories, where \(\mathsf{Vect}\)\ denotes the category of vector spaces over a field. For a locally compact Hausdorff space \(X\), Lurie [\url{https://people.math.harvard.edu/~lurie/papers/HA.pdf}, \S 5.5.5] states Verdier duality as a canonical equivalence \[ \mathbb{D}:\mathrm{Sh}\mathsf{v}_{\mathsf{Sp}}\left( X\right) \rightarrow \mathsf{c}\mathrm{Sh}\mathsf{v}_{\mathsf{Sp}}\left( X\right) \] between the \(\infty\)-categories of spectrum-valued sheaves and cosheaves. This paper provides a uniform formulation for them, establishing their generalizations. The author's version of the former works over the sphere spectrum and for more general finite posets, which is characterized in terms of the Gorenstein condition. The author's version of the latter claims that the stabilization of a proper separated \(\infty\)-topos is rigid in the sense of \textit{D. Gaitsgory} [Contemp. Math. 643, 127--225 (2015; Zbl 1346.14004)]. As an application to stratified topological spaces, the author clarifies the relation between these two duality equivalence.











This page was built for publication: Posets for which Verdier duality holds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6080079)