Explicit Koszul-dualizing bimodules in bordered Heegaard Floer homology. (English) Zbl 1346.57028
Summary: We give a combinatorial proof of the quasi-invertibility of \(\widehat{CFDD}(\mathbb{I}_{\mathcal{Z}})\) in bordered Heegaard Floer homology, which implies a Koszul self-duality on the dg-algebra \(\mathcal{A}(\mathcal{Z})\), for each pointed matched circle \(\mathcal{Z}\). We do this by giving an explicit description of a rank 1 model for \(\widehat{CFAA}(\mathbb{I}_{\mathcal{Z}})\), the quasi-inverse of \(\widehat{CFDD}(\mathbb{I}_{\mathcal{Z}})\). To obtain this description we apply homological perturbation theory to a larger, previously known model of \(\widehat{CFAA}(\mathbb{I}_{\mathcal{Z}})\).
MSC:
57R58 | Floer homology |
57R56 | Topological quantum field theories (aspects of differential topology) |