Tame intersection cohomology. A de Rham theorem (Q1901071): Difference between revisions

For any stratified pseudomanifold \(K\) and for any perversity \(\overline p\) there is associated a differential graded module of polynomial differential forms \(IT_{\overline p}^{*,*} (K)\) together within a filtration \(IT_{\overline p}^{*,q} (K) \subset IT_{\overline p}^{*, q + 1} (K)\) in each degree \(*\). Remark that \(IT_{\overline p}^{*, q} (K)\) is a graded module over the subring of the rationals \(\mathbb{Q}_q = \mathbb{Z}[{1 \over 2}, {1 \over 3}, \dots, {1 \over q}]\). The construction of \(IT_{\overline p}^{*,*} (K)\) is based on the de Rham complex of Cenkl and Porter when applied to a desingularization of \(K\). The main purpose of the paper is to prove that the cohomology of such a differential module \(IT_{\overline p}^{*,q} (K)\) is isomorphic to the intersection cohomology \(IH^*_{\overline p} (K;\mathbb{Q}_q)\) (Theorem 5.2.1).