Arithmetic mirror symmetry for genus 1 curves with \(n\) marked points (Q2362839)

Homological mirror symmetry is a conjecture made by \textit{M. Kontsevich} [in: Proceedings of the international congress of mathematicians, ICM '94, August 3-11, 1994, Zürich, Switzerland. Vol. I. Basel: Birkhäuser. 120--139 (1995; Zbl 0846.53021)]. It predicts an equivalence between an A-model category associated to a symplectic manifold and a B-model category associated to a complex manifold. The case of the symplectic 2-torus is the simplest case of a Calabi-Yau manifold where concrete computations in the Fukaya category can be made. A proof of the homological mirror symmetry conjecture for the 2-torus over a Novikov field follows from the works of the second author and Zaslow. The main result of the paper under review is a generalization of the result of the first author and \textit{T. Perutz} [``Arithmetic mirror symmetry for the \(2\)-torus'', Preprint, \url{arXiv:1211.4632}]. Recall that in that paper an arithmetic refinement of the homological mirror symmetry has been explored. More precisely, it was proven that there is a derived equivalence of the Fukaya category of the 2-torus, relative to a base point \(D = \{z\}\), and the category of perfect complexes of coherent sheaves on the Tate curve over the formal disc \(\text{Spec}\; \mathbb Z[[t]]\). In the paper under review, the authors work with the Fukaya category of the \(2\)-torus relative to a divisor \(D = \{z_1,\dots,z_n \}\) for \(n>1\). On the symplectic side the authors consider the relative Fukaya category \(\mathcal F(\mathbb T, D)\) of a symplectic \(2\)-torus \(\mathbb T\) with \(n\) distinct marked points \(z_1, \dots , z_n\) and on the B-side they consider a certain family of curves \(T_n\) over \(\mathbb Z[[t_1, \dots, t_n ]]\), that they call the \(n\)-Tate curve. The main result of the paper states that there is a \(\mathbb Z[[t_1, \dots, t_n]]\)-linear equivalence of triangulated categories between the split-closed derived Fukaya category \(D^{\pi}\mathcal F(\mathbb T, D)\) of the \(2\)-torus with \(n\) marked points and the derived category of perfect complexes on the \(n\)-Tate curve \(T_n\).