Posets for which Verdier duality holds (Q6080079)

From MaRDI portal
scientific article; zbMATH DE number 7756890
Language Label Description Also known as
English
Posets for which Verdier duality holds
scientific article; zbMATH DE number 7756890

    Statements

    Posets for which Verdier duality holds (English)
    0 references
    0 references
    30 October 2023
    0 references
    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.
    0 references
    Verdier duality
    0 references
    combinatorial topology
    0 references
    posets
    0 references
    stratification
    0 references
    cosheaves
    0 references
    \(\infty\)-toposes
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references