Dynamical invariants of mapping torus categories (Q2048601)

In the paper under review, for an \(A_{\infty}\)-category \(\mathcal{A}\) over \(\mathbb{C}\) and an \(A_{\infty}\)-functor \(\phi:\mathcal{A}\to \mathcal{A}\), the author defined an \(A_{\infty}\)-category \(M_{\phi}\) over \(\mathbb{C}\), called the mapping torus category of \(\phi\). Roughly speaking, \(M_{\phi}\) is a ``quotient'' of \(\mathcal{O}(\widetilde{\mathcal{T}_{0}})_{dg}\otimes \mathcal{A}\) by \(\mathbb{Z}\)-action, where \(\mathcal{O}(\widetilde{\mathcal{T}_{0}})_{dg}\) is a certain dg-category of the universal cover of the Tate curve whose triangulated envelope is a dg enhancement of the bounded derived category of coherent sheaves supported on finitely many projective lines. The author proves, in [\textit{Y. B. Kartal}, Geom. Topol. 25, No. 3, 1551--1630 (2021; Zbl 1472.53095)], that the mapping torus category is indeed Morita-equivalent to the wrapped Fukaya category of the open symplectic mapping torus of an exact symplectomorphism \(\phi:\widehat{M}\to \widehat{M}\), \(\widehat{T} _{\phi}:=(R\times S^{1}\setminus \mathbb{Z}\times \{1\})\times \widehat{M}/(s,\theta,x)\sim (s+1,\theta,\phi(x))\).\\ The main result states that if the Hochschild cohomology of an \(A_{\infty}\)-category \(\mathcal{A}\) vanishes in degree 1 and 2, the Morita equivalence between the mapping torus categories \(M_{\phi}\) of an \(A_{\infty}\)-functor \(\phi:\mathcal{A}\to\mathcal{A}\) and \(M_{id_{\mathcal{A}}}\) of the identity functor implies the equivalence of two functors \(\phi\) and \(id_{\mathcal{A}}\): \[M_{\phi}\simeq M_{id_{\mathcal{A}}}\Rightarrow \phi\simeq id_{\mathcal{A}}.\] The idea of the proof is via understanding dynamical behavior of \(A_{\infty}\)-categories (We also refer [\textit{P. Seidel}, Lectures on categorical dynamics and symplectic topology. (2013)] one of references). The infinitesimal deformation of an \(A_{\infty}\)-category determined by the second Hochschild cohomology, which is \(\mathbb{C}\) for \(M_{\phi}\) and \(M_{Id_{\mathcal{A}}}\) under the assumptions. The Morita equivalence \(M_{\phi}\simeq M_{id_{\mathcal{A}}}\) extends to the formal deformation, or thickening, \(M_{\phi}^{R}\) under the extension \(R:=\mathbb{C}[[q]]\) of \(\mathbb{C}\). The canonical multiplicative group \(\mathbb{G}_{m,\mathbb{C}}:=\text{Spec}(\mathbb{C}[t,t^{-1}])\) (resp. \(\mathbb{G}_{m,R}:=\text{Spec}(\mathbb{C}[t,t^{-1}][[q]])\)) acting on \(M_{\phi}\) (resp. \(M_{\phi}^{R}\)) gives an infinitesimal action. And the infinitesimal action can be considered as a family of \(M_{\phi}^{R}\)-bimodules, parametrized by the formal spectrum of \(\mathbb{C}[t,t^{-1}][[q]]\), where the author construct families analogous to the flow of a vector field. Extend the family to a family over the formal spectrum of \(\mathbb{C}[u,t][[q]]/(ut-q)\) and show the family is unique under certain assumptions. The uniqueness implies the two functors \(\phi\) and \(Id_{\mathcal{A}}\), as ``fibers'' of the families, are equivalent.\\ As an application, the author show that there exist two diffeomorphic but not symplectomorphic symplectic manifolds, whose symplectic cohomologies are isomorphic but whose wrapped Fukaya categories are not equivalent [\textit{Y. B. Kartal}, Geom. Topol. 25, No. 3, 1551--1630 (2021; Zbl 1472.53095)]. That is the first example of non-symplectomorphic symplectic manifolds that can not be distinguished at the level of cohomology but can be detected at the level of category.