I will describe a circle-valued Morse theory for simplicial complexes. The central objects of study are partial matchings which admit certain zigzag cycles; these cyclic matchings lift canonically to acyclic matchings on the infinite cyclic cover of the underlying simplicial complex. From the lifted acyclic matchings, we obtain a finitely generated Morse chain complex defined over the Novikov ring, which consists of power series in one variable with finite negative support. We then establish a quasi-isomorphism between this Morse-Novikov complex and the simplicial chain complex of the cyclic cover, duly completed over the Novikov ring. As a pleasant consequence, we can define new computable invariants to detect (obstructions to) the fiberedness of tame knots.
