Intersection space constructible complexes (Q2208978)

The aim of this paper is to present an obstruction theoretic inductive construction of intersection space pairs, which generalizes Banagl's construction of intersection spaces for arbitraty depth stratifications. The authors construct intersection space pairs for pseudo-manifolds with compatible trivial structures at the link fibrations; this includes the case of toric varieties. They define intersection space complexes in an axiomatic way, similar to the Goresky-McPherson axioms for intersection cohomology. They prove that if the intersection space pair exists, then the pseudomanifold has an intersection space complex whose hypercohomology recovers the cohomology of the intersection space pair. The authors characterize existence and uniqueness of intersection space complexes in terms of the derived category of constructible complexes. In the case of algebraic varieties they show that a parallel obstruction theory in the derived category of Mixed Hodge Modules endowes the intersection space cohomology with a Mixed Hodge Structure if the obstruction vanishes. They find classes of examples admitting intersection space complexes, and counterexamples not admitting them which illustrate the use of the previously developed obstruction theory (counterexamples were known previously by various specialists). The authors prove that the shifted Verdier dual of an intersection space complex is an intersection space complex and prove a generic Poincaré duality theorem for intersection space complexes. This paper is organized as follows: Section 1 is an introduction to the subject. Section 2 is a guide to the paper. Here the authors describe in detail the content of the paper section by section, with cross-references to the main results. The reader may jump to the corresponding sections for a full exposition. Section 3 deals with a topological construction of intersection spaces and Section 4 with a sequence of intersection space pairs. Section 5 concerns sheafification. Section 6 is devoted to axioms of intersection space complexes. In Section 7 the authors derive a category approach to intersection space complexes. Section 8 is devoted to a mixed Hodge module structure in intersection space complexes of algebraic varieties. Section 9 deals with classes of spaces admitting intersection space complexes and counterexamples. In Section 10, the authors establish the duality properties of the intersection space complexes.