MT 855: Applications of homology-type invariants in low-dimensional topology