Poincaré duality with cap products in intersection homology

Abstract

For having a Poincaré duality via a cap product between the intersection homology of a paracompact oriented pseudomanifold and the cohomology given by the dual complex, G. Friedman and J. E. McClure need a coefficient field or an additional hypothesis on the torsion. In this work, by using the classical geometric process of blowing-up, adapted to a simplicial setting, we build a cochain complex which gives a Poincaré duality via a cap product with intersection homology, for any commutative ring of coefficients. We prove also the topological invariance of the blown-up intersection cohomology with compact supports in the case of a paracompact pseudomanifold with no codimension one strata. This work is written with general perversities, defined on each stratum and not only in function of the codimension of strata. It contains also a tame intersection homology, suitable for large perversities.