The Poincaré-Lefschetz pairing viewed on Morse complexes (Q2074199): Difference between revisions

For a compact manifold with non-empty boundary and equipped with a generic Morse function, the author constructs a short exact sequence from the two Morse complexes (one yielding the absolute homology and the other the relative homology) and the Morse complex of the boundary (Theorem 1.1). Moreover, a pairing is defined of the relative Morse complex with the absolute Morse complex which induces the intersection product in homology, in the form due to S. Lefschetz (Theorem 1.2). The following two papers by the author are directly connected to the above mentioned results: [\textit{J.-M. Bismut} and \textit{W. Zhang}, An extension of a theorem by Cheeger and Müller. With an appendix by François Laudenbach. Paris: Société Mathématique de France (1992; Zbl 0781.58039) and \textit{F. Laudenbach}, Geom. Dedicata 153, 47--57 (2011; Zbl 1223.57020)].