The Poincaré-Lefschetz pairing viewed on Morse complexes

Abstract: Given a compact manifold with a non-empty boundary and equipped with a generic Morse function (that is, no critical point on the boundary and the restriction to the boundary is a Morse function), we already knew how to construct two Morse complexes, one yielding the absolute homology and the other the relative homology. In this note, we construct a short exact sequence from both of them and the Morse complex of the boundary. Moreover, we define a pairing of the relative Morse complex with the absolute Morse complex which induces the intersection product in homology, in the form due to S. Lefschetz. This the very first step in an ambitious approach towards A $\infty$-structures buildt from similar data.