On the anti-diagonal filtration for the Heegard Floer chain complex of a branched double-cover (Q462509): Difference between revisions

\textit{P.~Ozsváth} and \textit{Z.~Szabó} in [Ann. Math. (2) 159, No. 3, 1027--1158 (2004; Zbl 1073.57009)] defined the Heegaard Floer homology of a 3-manifold, a \(\mathbb{Z}/2\mathbb{Z}\)-graded abelian group \(\widehat{HF}(M)\), and in [Adv. Math. 194, No. 1, 1--33 (2005; Zbl 1076.57013)] they defined and discussed properties of the link invariant \(\widehat{HF}(\Sigma(L))\), where \(L\) is a link in \(S^3\) and \(\Sigma(L)\) is the two-fold cover of \(S^3\) branched over \(L\). Also, they constructed a spectral sequence from the reduced Khovanov homology group \(\widetilde{HF}(-K;\mathbb{Z}/2\mathbb{Z})\) to the group \(\widehat{HF}(\Sigma(K);\mathbb{Z}/2\mathbb{Z})\), where \(-K\) denotes the mirror of a knot \(K\). For the braid \(b\) chosen in the representation of a knot \(K\) as a braid closure, \textit{P.~Seidel} and \textit{I.~Smith} in [Duke Math. J. 134, No. 3, 453--514 (2006; Zbl 1108.57011)] introduced the symplectic Khovanov cohomology group \(Kh_{\text{symp}}(b)\) by taking the Lagrangian Floer cohomology of two Lagrangian submanifolds inside an affine variety and proved that it is a knot invariant. By studying the fixed-point sets of an involution on the variety, in [Geom. Funct. Anal. 20, No. 6, 1464--1501 (2010; Zbl 1210.53084)], \textit{P.~Seidel} and \textit{I.~Smith} defined the the graded fixed-point symplectic Khovanov cohomology group \(Kh_{\text{symp,inv}}(K)\) for a knot \(K\subset S^3\), as well as a spectral sequence converging to the Heegaard Floer homology group \(\widehat{HF}(\Sigma(K)\#(S^2\times S^1))\) with \(E^1\)-page isomorphic to a factor of \(Kh_{\text{symp,inv}}(K)\), and proved that \(Kh_{\text{symp,inv}}(K)\) is a knot invariant. In this paper, the author is interested in the invariant \(\widehat{HF}\), which assigns to a \(3\)-manifold \(M\) an abelian group \(\widehat{HF}(M)\). Also \(\widehat{HF}(\Sigma(K)\#(S^2\times S^1))\) is studied, where \(\Sigma(K)\) is the two-fold cover of the sphere \(S^3\) branched along the knot \(K\subset S^3\). The main result of the paper states that if the braids \(b\in B_{2n}\) and \(b'\in B_{2m}\) have plat closures, which are diagrams for the knot \(K\), \({\mathcal H}\) and \({\mathcal H}'\) are the pointed Heegaard diagrams for \(\Sigma(K)\#(S^2\times S^1)\) induced by \(b\) and \(b'\), respectively, and \(\mathfrak{s}\in \text{Spin}^c(\Sigma(K)\#(S^2\times S^1))\) is torsion, then the \(\rho\)-filtered chain complexes \(\widehat{CF}({\mathcal H},\mathfrak{s})\) and \(\widehat{CF}({\mathcal H}',\mathfrak{s})\) have the same filtered chain homotopy type.