arXiv subjects

David Hurtubise

Publications and source records attributed to David Hurtubise.

2 recordsLinked to original sources

arXiv2019

Twisted Morse complexes

In this paper we study Morse homology and cohomology with local coefficients, i.e. "twisted" Morse homology and cohomology, on closed finite dimensional smooth manifolds. We prove a Morse theoretic version of Eilenberg's Theorem, and we prove isomorphisms between twisted Morse homology, Steenrod's CW-homology with local coefficients for regular CW-complexes, and singular homology with local coefficients. By proving Morse theoretic versions of the Poincare Lemma and of the de Rham Theorem, we show that twisted Morse cohomology with coefficients in a local system determined by a closed 1-form is isomorphic to the Lichnerowicz cohomology obtained by deforming the de Rham differential by the 1-form. We demonstrate the effectiveness of twisted Morse complexes by using them to compute Lichnerowicz cohomology, to compute obstructions to spaces being associative H-spaces, and to compute Novikov numbers.

math.AT↗

arXiv2008

The Morse-Bott inequalities via dynamical systems

Let $f:M \to \mathbb{R}$ be a Morse-Bott function on a compact smooth finite dimensional manifold $M$. The polynomial Morse inequalities and an explicit perturbation of $f$ defined using Morse functions $f_j$ on the critical submanifolds $C_j$ of $f$ show immediately that $MB_t(f) = P_t(M) + (1+t)R(t)$, where $MB_t(f)$ is the Morse-Bott polynomial of $f$ and $P_t(M)$ is the Poincaré polynomial of $M$. We prove that $R(t)$ is a polynomial with nonnegative integer coefficients by showing that the number of gradient flow lines of the perturbation of $f$ between two critical points $p,q \in C_j$ coincides with the number of gradient flow lines between $p$ and $q$ of the Morse function $f_j$. This leads to a relationship between the kernels of the Morse-Smale-Witten boundary operators associated to the Morse functions $f_j$ and the perturbation of $f$. This method works when $M$ and all the critical submanifolds are oriented or when $\mathbb{Z}_2$ coefficients are used.

math.AT↗