Generators, relations, and homology for Ozsváth-Szabó's Kauffman-states algebras

Abstract

We give a generators-and-relations description of differential graded algebras recently introduced by Ozsváth and Szabó for the computation of knot Floer homology. We also compute the homology of these algebras and determine when they are formal.

54 pages; 12 figures