Noncommutative Hodge-to-de Rham spectral sequence and the Heegaard Floer homology of double covers (Q252672)

In this paper, for a differential graded (DG) algebra \(A\) over \(\mathbb{F}_2\) and a DG \(A\)-bimodule \(M\) the authors show that a noncommutative analog of the Hodge-to-de Rham spectral sequence starts at the Hochschild homology of the derived tensor product \(M\otimes_A^LM\) and converges to the Hochschild homology of \(M\). The results of this paper are inspired by the paper of \textit{K. Hendricks} [Algebr. Geom. Topol. 12, No. 4, 2127--2178 (2012; Zbl 1277.53093)] stating that if \(K\) is a knot in \(S^{3}\) and \(\pi:\Sigma(K)\to S^3\) is the double branched cover of \(S^{3}\) over \(K\), then for sufficiently large \(n\) there is a spectral sequence whose \(E^{1}\) page is given by \(\widehat{HFK}(\Sigma(K),\pi^{-1}(K)) \otimes H_*(T^n)\) converging to \(\widehat{HFK}(S^3,K)\otimes H_*(T^n)\), where \(\widehat{HFK}(Y,K)\) denotes the knot Floer homology group of \((Y,K)\) with coefficients in \(\mathbb F_2\) and \(H_*(T^n)\) is the singular homology of the \(n\)-torus. The authors ask the question whether it is possible to recover the Hendricks' theorem from cut-and-paste arguments, and they give a partial affirmative answer by obtaining localization results for Heegaard Floer and knot Floer homology groups, different from but overlapping with that theorem. They show that if \(Y^3\) is a closed \(3\)-manifold, \(K\subset Y\) is a nullhomologous knot, \(\mathfrak{s}\) is a torsion spine-structure on \(Y\smallsetminus K\), and \(K\) has a genus 2 Seifert surface \(F\), then for each Alexander grading \(i\) there is a spectral sequence \(\widehat{HFK}(\Sigma(K),\pi^{-1}(K);\pi^*\mathfrak{t},i)\Rightarrow \widehat{HFK}(Y,K;{t},i)\), and if \(F\) is a Seifert surface for \(K\) of some genus \(k\), then there is a spectral sequence \(\widehat{HFK}(\Sigma(K),\pi^{-1}(K);\pi^*\mathfrak{t},k-1)\Rightarrow \widehat{HFK}(Y,K;{t},k-1)\). Finally, the authors show that if \(Y\) is a closed \(3\)-manifold, \(\pi:\widetilde Y\to Y\) is a \(\mathbb Z/2\)-cover which is induced by a \(\mathbb Z\)-cover, and \(\mathfrak{s}\in\text{spin}^c(Y)\) is a torsion \(\text{spin}^c\)-structure, then there is a spectral sequence \(\widehat{HF}(\widetilde Y;\pi^*\mathfrak{s})\otimes H_*(S^1)\Rightarrow \widehat{HF}(Y;\mathfrak{s})\).