On the chain-level intersection pairing for PL pseudomanifolds (Q1026019)

The author generalizes the result of \textit{J. E. McClure} [Geom. Topol. 10, 1391--1424 (2006; Zbl 1125.18008)] asserting that the domain for the intersection pairing of PL chains on a PL manifold \(M\) is a subcomplex of \(C_*(M)\otimes C_*(M)\) that is quasi-isomorphic to \(C_*(M)\otimes C_*(M)\) and, more generally, that the intersection pairing puts on \(C_*(M)\) the structure of a partially-defined commutative DGA. The result of McClure is generalized to intersection pairings of PL intersection chains on PL stratified pseudomanifolds. The author proves the existence of a partial restricted commutative DGA structure and this structure is shown to generalize the iteration of the Goresky-MacPherson intersection product. Moreover, the author gives an explicit representation of the intersection homology pairing in the derived category of sheaves and he verifies that this sheaf theoretic pairing agrees with that arising from the geometric Goresky-MacPherson intersection pairing.