Khovanov-Seidel quiver algebras and bordered Floer homology (Q2436526): Difference between revisions

Let \(\sigma \subset D^2 \times I\) be a braid, and consider the closure of the braid in the solid torus viewed as a product sutured annulus, \(A \times I\). In a work in progress [Sutured Khovanov homology, Hochschild homology, and the Ozsváth-Szabó spectral sequence, {\url arXiv:1303.1986}] the authors exhibit a spectral sequence connecting the Khovanov-type and Heegaard-Floer-type invariants associated to the resulting annular link as the Hochschild homology of a filtered \(A_\infty\) bimodule associated to the braid \(\sigma\). The purpose of this paper is ``to give an explicit combinatorial construction of this filtered \(A_\infty\) bimodule.'' Section 2 of the paper establishes notation, and Section 3 describes the topological input needed for the algebraic constructions. This includes a description of an algebra \(B^{Kh}\) associated to a marked disk \(D_m\) equipped with a specific basis of curves and a module \({\mathcal M}_\sigma^{Kh}\) associated to each braid \(\sigma\). Section 4 describes the analogous bordered Floer algebra \(B^{HF}\) and bimodule \({\mathcal M}^{HF}_\sigma\), as well as the 1-moving strands algebra \({\mathcal A( \mathcal Z_{\mathcal Q}},1)\). In Section 5 the authors use the basis \(\tilde{\mathcal Q}\) from the previous sections to establish the existence of a spectral sequence connecting \(B^{Kh}\) to \(B^{HF}\). { Theorem 5.1} Let \[ B^{Kh} := H_\ast \left(\bigoplus_{i,j = 0}^m Hom_A(Q_i,Q_j) \right) \] be the homology of the Hom algebra associated to the basis \(\tilde{\mathcal Q}\) and let \(B^{HF} := {\mathcal A( \mathcal Z_{\mathcal Q}},1)\) be the 1-moving strands algebra associated to the arc diagram, \({\mathcal Z_{\mathcal Q}}\). There exists a filtration on \(B^{HF}\) whose associated graded algebra is isomorphic, as an ungraded algebra, to \(B^{Kh}\). Accordingly, one obtains a spectral sequence whose \(E^1\) page is isomorphic to \(B^{Kh}\) and whose \(E^\infty\) page is isomorphic to \(B^{HF}\). In Section 6 the authors prove the analogous result for the modules \({\mathcal M}_\sigma^{Kh}\) and \({\mathcal M}^{HF}_\sigma\). { Theorem 6.1} Let \(\sigma \in B_{m+1}\) be a braid, \({\mathcal M}_\sigma^{Kh}\) the bimodule associated to the pair \((\tilde{\mathcal Q},\sigma)\) in Sect. 3, and \({\mathcal M}^{HF}_\sigma\) the bordered Floer bimodule associated to the pair \(({\mathcal Q},\sigma)\) in Sect. 4. There exists a filtration on \({\mathcal M}^{HF}_\sigma\) whose associated graded bimodule is isomorphic (as an ungraded \(A_\infty\) bimodule over \(B^{Kh}\)) to \({\mathcal M}_\sigma^{Kh}\). Accordingly, one obtains a spectral sequence whose \(E^1\) page is isomorphic to \({\mathcal M}_\sigma^{Kh}\) and whose \(E^\infty\) page is isomorphic to \({\mathcal M}_\sigma^{HF}\). Section 7 contains an example with a 3-braid whose closure is the positive \((3,5)\) torus knot \(T_{3,5}\).