Homological mirror symmetry of elementary birational cobordisms (Q2412563)

On suitable classes of algebraic manifolds, such as toric manifolds, homological mirror symmetry is conjectured to be the equivalence of two categories; \(\mathcal T_A\), the Fukaya-Seidel category \(\mathcal F(W)\) associated to a potential \(W\) [\textit{P. Biran} and \textit{O. Cornea}, Sel. Math., New Ser. 23, No. 4, 2635--2704 (2017; Zbl 1379.53094), Section 3]), and \(\mathcal T_B\), the \(B\)-model bounded derived category \(D(X)\) of coherent sheaves associated to a mirror algebraic variety \(X\). In Section 2, introducing an algebra \(R_{\mathbf a}:\mathbf a=(a_0,\dots,a_{d+1})\), \(\sum_i a_i=0\), \(a\neq 0\), \(0\leq i\leq d+1\) (Definition 2.1), a category \(\mathcal D_{\mathbf a,\nu,-a_{d+1}}\) is defined, in the spirit of birational cobordisms, and it is shown that \(\mathcal T_{\mathbf a}^B\cong\mathcal D_ {\mathbf a,\nu,-a_d}+1\) (Theorem 2). In Section 3, the Fukaya-Seidel category \(\mathcal F(W_{\mathbf a}^{1/n})\) is defined [\textit{C. Diemer} et al., J. Eur. Math. Soc. (JEMS) 18, No. 10, 2167--2271 (2016; Zbl 1354.53084)]. It is the associated category of the pullback \(W_{\mathbf a}\), the circuit potential (Section 3.2, Theorem 3). The proof of Theorem 3 is the main part of this paper. It is done via induction, and the key of the proof is Proposition 8 (Section 3.4), that gives a characterization of the fiber of \(W_{\mathbf a}\) as the pullback of a \((d-1)\)-dimensional circuit along the one-dimensional circuit (a detailed analysis of the one-dimensional case is given in Section 3.3). Combining Theorems 2 and 3, the following results are obtained (Section 3.2): Corollary 2. The categories \(\mathcal T_A\) and \(\mathcal T_B\) are equivalent. Corollary 3. The homological mirror symmetry conjecture holds for weighted projective space \(\mathbb P(a_0,\dots,a_d)\). The author says that Corollary 3 is only a special case of Corollary 2, but extends and unifies previous results proving homological symmetry for weighted projective plane and unweighted projective space [\textit{D. Auroux} et al., Ann. Math. (2) 167, No. 3, 867--943 (2008; Zbl 1175.14030); \textit{M. Futaki} and \textit{K. Ueda}, Commun. Math. Phys. 332, No. 1, 53--87 (2014; Zbl 1327.14187)].