De Rham intersection cohomology for general perversities (Q819204)

Let \(X\) be a stratified pseudomanifold, \(\bar p\) a perversity and \(\bar t\) the top perversity. Singular intersection homology \(H_*^{\bar p}(X)\) and de Rham intersection cohomology \(H^*_{\bar p}(X)\) have been introduced by Goresky and MacPherson. The perverse de Rham theorem \[ H_{\bar p}^*(X) = H_*^{\bar t -\bar p}(X) \] was first proved by Brylinski for classical perversities verifying some monotonicity conditions. The result was generalized later by the present author [Ill. J. Math. 38, 47--70 (1994; Zbl 0792.57009)] to all perversities satisfying \(\bar p\leq \bar t\). In this paper the author proves de Rham theorems for any perversity \(\bar p\). First of all integration induces the isomorphism \[ H^*_{\bar p}(X)= H_*^{\bar t-\bar p}(X, X_{\bar p})\,, \] where \(X_{\bar p}\) is the union of the closure of the strata \(S\) with \(\bar p(S)<0\). In the other direction the generalization is \[ H_*^{\bar p}(X) = H^*_{\text{max} (\bar 0, \bar t-\bar p)}(X)\,. \]