On the chain-level intersection pairing for PL pseudomanifolds

From MaRDI portal



Abstract: James McClure recently showed that the domain for the intersection pairing of PL chains on a PL manifold M is a subcomplex of C∗(M)otimesC∗(M) that is quasi-isomorphic to C∗(M)otimesC∗(M) and, more generally, that the intersection pairing endows C∗(M) with the structure of a partially-defined commutative DGA. We generalize this theorem to intersection pairings of PL intersection chains on PL stratified pseudomanifolds and demonstrate the existence of a partial restricted commutative DGA structure. This structure is shown to generalize the iteration of the Goresky-MacPherson intersection product. As an application, we construct an explicit "roof" representation of the intersection homology pairing in the derived category of sheaves and verify that this sheaf theoretic pairing agrees with that arising from the geometric Goresky-MacPherson intersection pairing.


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.











This page was built for publication: On the chain-level intersection pairing for PL pseudomanifolds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1026019)