Koszul duality and the link surgery formula

Abstract

In previous works, the author described an associative algebra whose $A_{\infty }$-module categories encode the Heegaard Floer Dehn surgery formulas. In this article, we describe the Koszul dual of this algebra. We construct dualizing bimodules, and prove several equivalences of categories. The constructions of this paper have applications to computational problems involving the link surgery formula.

53 pages