\(A_{\infty}\)-category of Lagrangian cobordisms in the symplectization of \(P\times \mathbb{R}\) (Q6171675)

Given a Liouville manifold \((P,\beta)\), consider the contactization \(Y:=(\mathbb{R}_{z}\times P,dz+\beta)\) and its symplectization \((\mathbb{R}_{t}\times \mathbb{R}_{z}\times P,d(e^{t}\cdot (dz+\beta)))\). The author defines a unital \(A_{\infty}\)-category \(\mathcal{F}\textit{uk}(\mathbb{R}_{t}\times \mathbb{R}_{z}\times P)\) whose objects are exact Lagrangian cobordisms in \(\mathbb{R}_{t}\times \mathbb{R}_{z}\times P\) satisfying that the negative cylinderical ends over Legendrians are augmented. Consider two objects \(\Sigma_{0},\Sigma_{1}\), with positive cylindrical ends over Legendrians \(\Lambda_{0}^{+}\), \(\Lambda_{1^{+}}\), respectively, negative cylindrical ends over Legendrians \(\Lambda_{0}^{-}\), \(\Lambda_{1}^{-}\), respectively. The morphism space for \(\Sigma_{0},\Sigma_{1}\) is defined as a version of the Rabinowitz Floer complex, that counts Symplectic Field Theoretic (SFT) pseudoholomorphic buildings with a compactness result on the moduli. In [\textit{B. Chantraine} et al., J. Differ. Geom. 114, No. 3, 393--465 (2020; Zbl 1434.53093)], a Floer-type complex for pairs of Lagrangian cobordisms was defined. The underlying vector space of the complex consists of \(Cth(\Sigma_{0},\Sigma_{1}):=C(\Lambda_{0}^{+},\Lambda_{1}^{+})\oplus CF(\Sigma_{0},\Sigma_{1})\oplus C(\Lambda_{0}^{-},\Lambda_{1}^{-})\), where \begin{itemize} \item \(C(\Lambda_{0}^{+},\Lambda_{1}^{+})\) is generated by Reeb chords from \(\Lambda_{1}^{+}\) to \(\Lambda_{0}^{+}\), \item \(CF(\Sigma_{0},\Sigma_{1})\) is generated by intersection points of \(\Sigma_{0}\cap \Sigma_{1}\), \item \(C(\Lambda_{0}^{-},\Lambda_{1}^{-})\) is generated by Reeb chords from \(\Lambda_{1}^{-}\) to \(\Lambda_{0}^{0}\). \end{itemize} We remark that there are no closed Reeb orbits in \(\mathbb{R}_{z}\times P\) since the Reeb vector field of \(dz+\beta\) is \(\partial_{z}\). The new version of the Rabinowitz-Floer complex in the paper under review consists of \(Cth_{+}(\Sigma_{0},\Sigma_{1}):=C(\Lambda_{1}^{+},\Lambda_{0}^{+})\oplus CF(\Sigma_{0},\Sigma_{1})\oplus C(\Lambda_{0}^{-},\Lambda_{1}^{-})\), where \begin{itemize} \item \(C(\Lambda_{1}^{+},\Lambda_{0}^{+})\) is generated by Reeb chords from \(\Lambda_{0}^{+}\) to \(\Lambda_{1}^{+}\), which is the opposite direction of Reeb chords of the first component of \(Cth(\Sigma_{0},\Sigma_{1})\), \item \(CF(\Sigma_{0},\Sigma_{1})\) is generated by intersection points of \(\Sigma_{0}\cap \Sigma_{1}\), \item \(C(\Lambda_{0}^{-},\Lambda_{1}^{-})\) is generated by Reeb chords from \(\Lambda_{1}^{-}\) to \(\Lambda_{0}^{0}\), and \item the differentials are from counting SFT-type pseudo-holomorphic discs, which are described concretely in the figures of the paper. \end{itemize} One important difference between the two versions, \(Cth\) and \(Cth_{+}\), of Rabinowitz-Floer complexes is that \(Cth\) is always acyclic but \(Cht_{+}\) is not. \(Cht_{+}\) is acylic if one of its two pairs of Legendrian ends is horizontally displaceable. In this paper, it is proven that a continuation element in the complex exists, which imples that the homology of the Rabinowitz complex \(Cth_{+}\) is invariant under cylindrical at infinity Hamiltonian isotopies. Moreover, the quasi-equivalence class of the category \(\mathcal{F}\textit{uk}(\mathbb{R}\times \mathbb{R}\times P)\) does not depend on the choices of representatives of Hamiltonian isotopy classes of Lagrangian cobordisms, which is a similar idea as in [\textit{S. Ganatra} et al., Publ. Math., Inst. Hautes Étud. Sci. 131, 73--200 (2020; Zbl 1508.53091)]. \(Cth_{+}\) satisfies the Mayer-Vietoris sequence for the concatenation of two pairs of Lagrangian cobordisms \((V_{0},V_{1})\) and \((W_{0},W_{1})\), \[ \to H^{*}_{Cth_{+}}(V\odot W_{0},V_{1}\odot W_{1})\to H^{*}_{Cht_{+}}(V_{0},V_{1})\oplus H^{*}_{Cth_{1}}(W_{0},W_{1})\to H^{*}_{Cth_{+}}(\mathbb{R}\times \Lambda_{0},\mathbb{R}\times \Lambda_{1})\to . \] The transfer maps from \(Cth_{+}(V\odot W_{0},V_{1}\odot W_{1})\) to \(H^{*}_{Cht_{+}}(V_{0},V_{1})\) and \( H^{*}_{Cth_{1}}(W_{0},W_{1})\), which induce a Mayer-Vietoris sequences, are generalized to families of maps satisfying the \(A_{\infty}\)-functor equations. Considering various moduli of SFT-style discs and their boundary strata is crucial to get the \(A_{\infty}\) relations.