On the chain-level intersection pairing for PL manifolds

Abstract

Let M be a compact oriented PL manifold and let C_*M be its PL chain complex. The domain of the chain-level intersection pairing is a subcomplex G of C_*M\otimes C_*M. We prove that G is a "full" subcomplex, that is, the inclusion of G in C_*M \otimes C_*M is a quasi-isomorphism. An analogous result is true for the domain of the iterated intersection pairing. Using this, we show that the intersection pairing gives C_*M a structure of partially defined commutative DGA, which in particular implies that C_*M is canonically quasi-isomorphic to an E_\infty chain algebra. An erratum is attached which corrects sign errors pointed out by Greg Friedman.

This is the version published by Geometry & Topology on 4 October 2006 and includes the erratum published 12 March 2009

References in corpus (1)

• On the chain-level intersection pairing for PL manifolds

Cited by in corpus (12)

• On the chain-level intersection pairing for PL manifolds
• A classification of smooth embeddings of 3-manifolds in 6-space
• A cellular topological field theory
• Poincaré duality, cap product and Borel-Moore intersection Homology
• Classification of smooth embeddings of 4-manifolds in 7-space, I
• Intersection homology duality and pairings: singular, PL, and sheaf-theoretic
• An Algebraic Chain Model of String Topology
• Morse Homology, Tropical Geometry, and Homological Mirror Symmetry for Toric Varieties
• Derived string topology and the Eilenberg-Moore spectral sequence
• Intersection homology Kunneth theorems
• Additivity and non-additivity for perverse signatures
• The chain-level intersection pairing for PL pseudomanifolds revisited