Author
Nanda, V
Tamaki, D
Tanaka, K
Journal title
Advances in Mathematics
DOI
10.1016/j.aim.2018.10.016
Volume
340
Last updated
2022-07-31T14:32:31.58+01:00
Page
723-790
Abstract
The aim of this paper is to develop a refinement of Forman's discrete Morse theory. To an acyclic partial matching μ on a finite regular CW complex X, Forman introduced a discrete analogue of gradient flows. Although Forman's gradient flow has been proved to be useful in practical computations of homology groups, it is not sufficient to recover the homotopy type of X. Forman also proved the existence of a CW complex which is homotopy equivalent to X and whose cells are in one-to-one correspondence with the critical cells of μ, but the construction is ad hoc and does not have a combinatorial description. By relaxing the definition of Forman's gradient flows, we introduce the notion of flow paths, which contains enough information to reconstruct the homotopy type of X, while retaining a combinatorial description. The critical difference from Forman's gradient flows is the existence of a partial order on the set of flow paths, from which a 2-category is constructed. It is shown that the classifying space of is homotopy equivalent to X by using homotopy theory of 2-categories. This result can be also regarded as a discrete analogue of the unpublished work of Cohen, Jones, and Segal on Morse theory in early 90's.
Symplectic ID
930022
Favourite
On
Publication type
Journal Article
Publication date
18 Oct 2018
Please contact us for feedback and comments about this page. Created on 22 Oct 2018 - 09:59.