Bimodules in bordered Heegaard Floer homology (Q2343336)

If \(F\) is a closed, oriented surface of genus \(k\), then a compact, oriented three-manifold \(Y\) equipped with an orientation-preserving diffeomorphism \(\phi:F\to\partial Y\) is called a bordered three-manifold with boundary \(F\). Bordered Heegaard Floer homology is a three-manifold invariant which associates to a surface \(F\) a differential graded algebra \(\mathcal{A}(F)\) and to \(Y\) with boundary identified with \(F\) a right \(\mathcal{A}_\infty\)-module \(\widehat{CFA}(Y)\) over \(\mathcal{A}(F)\). In this paper, the authors study properties of this invariant. The topological group of diffeomorphisms of a fixed closed surface \(F\) preserving a preferred disc \(D\subset F\) and a point \(z\in\partial D\) is called a strongly based diffeomorphism group of \((F,D,z)\). If \((Y,\Delta,z_1,\psi)\) is a quadruple, where \(Y\) is an oriented three-manifold with boundary, \(\Delta\) is a disk in \(\partial Y\), \(z_1\) is a point on \(\partial\Delta\), and \(\psi:(F,D,z)\to(\partial Y,\Delta, z_1)\) is a diffeomorphism from \(F\) to \(\partial Y\) sending \(D\) to \(\Delta\) and \(z\) to \(z_1\), then the strongly based diffeomorphism group of \(F\) acts on the set of quadruples by composition \(\phi\cdot(Y,\Delta,z_1,\psi)=(Y,\Delta,z_1,\psi\circ\phi^{-1})\). There are bimodules which encode this action, using the \(\mathcal{A}_\infty\)-tensor product. The authors prove that for a strongly based diffeomorphism \(\phi:(F_1,D,z)\to(F_2,D,z)\) between surfaces \(F_1\) and \(F_2\) there are associated bimodules \(\widehat{CFAA}(\phi)_{\mathcal{A}(-F_1),\mathcal{A}(F_2)}\), \({}_{\mathcal{A}(F_1)}\widehat{CFDA}(\phi)_{\mathcal{A}(F_2)}\), and \({}_{\mathcal{A}(F_1),\mathcal{A}(-F_2)}\widehat{CFDD}(\phi)\). Also, they show that if \(\phi_1:F_1\to F_2\) and \(\phi_2:F_2\to F_3\) are two strongly based diffeomorphisms, then \(\widehat{CFDA}(\phi_1)\otimes{}_{\mathcal{A}(F_2)}\widehat{CFDA}(\phi_2)\simeq\widehat{CFDA}(\phi_2\circ\phi_1)\), and if \(Y\) is a bordered three-manifold with boundary \(F\), then \(\widehat{CFA}(Y)\) is quasi-isomorphic, as a right \(\mathcal{A}_\infty\)-module over \(\mathcal{A}(F)\), to the chain complex of maps from \(\widehat{CFDD}(\mathbb I)\) to \(\widehat{CFD}(Y)\). If \(\phi:(F,D,z)\to(F,D,z)\) is a strongly based diffeomorphism, then the \(3\)-manifold with torus boundary, defined as the quotient of \([0,1]\times(F\smallsetminus D)\) by the equivalence relation \((0,\phi(x))\sim(1,x)\), is equipped with an embedded, closed curve on the boundary, \(([0,1]\times\{z\})/(0,z)\sim(1,z)\). There is the \(3\)-manifold \(Y(\phi)\) defined by filling along the curve on the boundary and the canonical knot \(K\subset Y(\phi)\) in it induced from \(\{0\}\times\partial D\). The manifold \(Y(\phi)\) is called an open book decomposition of \(Y\), and \(K\) is the binding. The authors prove that if \(\phi\) is a strongly based diffeomorphism and \(\widehat{CFDA}(\phi)\) is its associated \(\mathcal{A}(F)\)-bimodule, then the Hochschild homology of the bimodule \(\widehat{CFDA}(\phi)\) is the knot Floer homology \(\widehat{HFK}(Y(\phi),K)\) of \(Y(\phi)\) with respect to its binding \(K\).