Recursive coboundary formula for cycles in acyclic chain complexes

Abstract

Given an $(m-1)$-dimensional cycle $z$ in a finitely generated acyclic chain complex,
we want to explicitly construct an $m$-dimensional chain $\cob(z)$ whose algebraic boundary is $z$. The
acyclicity of the chain complex implies that a solution exists (it is not unique) but the traditional
linear algebra methods of finding it lead to a high complexity of computation. We are searching for more
efficient algorithms based on geometric considerations. The main motivation for studying this problem
comes from the topological and computational dynamics, namely, from designing general algorithms
computing the homomorphism induced in homology by a continuous map. This, for turn, is an essential step
in computing such invariants of dynamical properties of nonlinear systems as Conley index or Lefschetz
number. Another potential motivation is in the relationship of our problem to the problem of finding
minimal surfaces of closed curves.