Self-dual intersection space complexes
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 space is an algebraic variety our construction takes place in the category of mixed Hodge modules. We obtain an intersection space cohomology theory, satisfying Poincaré duality, valid for a class of pseudomanifolds with arbitrary depth stratifications. The main new ingredient is the category of Künneth complexes; these are cohomologically constructible complexes with respect to a fixed stratification, together with additional data, which codifies triviality structures along the strata. In analogy to what Goreski and McPherson showed for intersection homology complexes, we prove that there are unique Künneth complexes that satisfy the axioms for intersection space complexes introduced by the first and third author. This uniqueness implies the duality statements in the same scheme as in Goreski and McPherson theory.