Bordered Floer homology of \((2,2n)\)-torus link complement (Q2408270)

The author computes the doubly bordered Floer homology bimodule \(\widehat{CFDD}(S^3 \backslash \nu(L))\), where \(L\) is a \((2,2n)\)-torus knot in \(S^3\) (Proposition 3.9). The author assumes that the reader is familiar with [\textit{R. Lipshitz} et al., Proc. Natl. Acad. Sci. USA 108, No. 20, 8085--8092 (2011; Zbl 1256.57012); ``Bordered Heegaard Floer homology: invariance and pairing'', Preprint, \url{arXiv:0810.0687}]. The \textit{bordered Floer homology} modules \(\widehat{CFD}\) and \(\widehat{CFA}\) for three-manifolds with connected boundary equipped with a framing were introduced by \textit{R. Lipshitz} et al. [``Bordered Heegaard Floer homology: invariance and pairing'', Preprint, \url{arXiv:0810.0687}]. The same authors then generalized these modules to the \textit{doubly bordered Floer homology} bimodules \(\widehat{CFDA}\), \(\widehat{CFDD}\), and \(\widehat{CFAA}\), which are invariants associated to a three-manifold with two boundary components [\textit{R. Lipshitz} et al., Geom. Topol. 19, No. 2, 525--724 (2015; Zbl 1315.57036)]. The main result in this paper is a computation of \(\widehat{CFDD}(S^3 \backslash \nu(L))\) in terms of explicit generators and relations (Proposition 3.9). Section 2 of the paper reviews background on doubly bordered Floer homology, including a discussion of \(\mathcal{A}_\infty\)-modules, \textit{right-right \(\mathcal{A}_\infty\)-bimodules of type-AA} (Definition 2.1), \textit{left-left type-DD bimodules} (Definition 2.2), \textit{bordered Heegaard diagrams} (Definition 2.3), and \textit{arced bordered Heegaard diagrams with two boundaries} (Definition 2.4). Section 3 of the paper begins by discussing \textit{Schubert normal forms} and \textit{Heegaard diagrams} of 2-bridge link complements. The author then computes \(\widehat{CFDD}(\mathcal{H})\), where \(\mathcal{H}\) is the Heegaard diagram of the \((2,2n)\)-torus link complement (Proposition 3.9). Section 4 of the paper compares the computation in this paper to other known calculations, and Section 5 compares the main result in Section 3 to one on a simplified diagram given in Figure 8: Proposition 5.1. The type-DD structure of the link complement of the \((2,2n)\)-torus link complement, where \(n \geq 3\), has the same homotopy type as the complex given in Figure 8.