Forman has developed a version of discrete Morse theory that can be understood in terms of arrow patterns on a(simplicial,polyhedral or cellular)complex without closed orbits,where each cell may either have no arrows,...Forman has developed a version of discrete Morse theory that can be understood in terms of arrow patterns on a(simplicial,polyhedral or cellular)complex without closed orbits,where each cell may either have no arrows,receive a single arrow from one of its facets,or conversely,send a single arrow into a cell of which it is a facet.By following arrows,one can then construct a natural Floer-type boundary operator.Here,we develop such a construction for arrow patterns where each cell may support several outgoing or incoming arrows(but not both),again in the absence of closed orbits.Our main technical achievement is the construction of a boundary operator that squares to 0 and therefore recovers the homology of the underlying complex.展开更多
基金funding provided by Max Planck Societysupported by a stipend from the InternationalMax Planck Research School(IMPRS)“Mathematics in the Sciences.”。
文摘Forman has developed a version of discrete Morse theory that can be understood in terms of arrow patterns on a(simplicial,polyhedral or cellular)complex without closed orbits,where each cell may either have no arrows,receive a single arrow from one of its facets,or conversely,send a single arrow into a cell of which it is a facet.By following arrows,one can then construct a natural Floer-type boundary operator.Here,we develop such a construction for arrow patterns where each cell may support several outgoing or incoming arrows(but not both),again in the absence of closed orbits.Our main technical achievement is the construction of a boundary operator that squares to 0 and therefore recovers the homology of the underlying complex.