Dynamical invariants of mapping torus categories

DOI10.1016/J.AIM.2021.107882MaRDI QIDQ2048601zbMATH OpenOpenAlexFDO

Publication date 23 August 2021

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1809.04046

categorical dynamics flux group homological mirror symmetry mapping torus noncommutative geometry

Derived categories of sheaves, dg categories, and related constructions in algebraic geometry (14F08) Mirror symmetry (algebro-geometric aspects) (14J33) Derived categories, triangulated categories (18G80) Symplectic aspects of mirror symmetry, homological mirror symmetry, and Fukaya category (53D37) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: This paper describes constructions in homological algebra that are part of a strategy whose goal is to understand and classify symplectic mapping tori. More precisely, given a dg category and an auto-equivalence, satisfying certain assumptions, we introduce a category

M_{p} h i

-called the mapping torus category that describes the wrapped Fukaya category of an open symplectic mapping torus. Then we define a family of bimodules on a natural deformation of

M_{p} h i

, uniquely characterize it and using this, we distinguish

M_{p} h i

from the mapping torus category of the identity. The proof of the equivalence of

M_{p} h i

with wrapped Fukaya category is proven in a different paper (arXiv:1907.01156).

Review text

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.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Dynamical invariants of mapping torus categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2048601)