Seidel's mirror map for the torus (Q2642836)

Mirror symmetry was discovered in the late 1980's by physicists working with super-conformal field theories. At the ICM in Zürich in 1994, Kontsevich proposed that mirror symmetry can be described as an equivalence of triangulated categories between the derived Fukaya category \(D\text{ Fuk}(X)\) and the bounded derived category of coherent sheaves \(D^b(Y)\) on the mirror manifold \(Y\). Although \(X\) and \(Y\) are three dimensional Calabi-Yau varieties in the situation envisaged by physicists, it is also interesting to study homological mirror symmetry in lower dimension. The one dimensional case was first studied by \textit{A. Polishchuk} and \textit{E. Zaslow} [Adv. Theor. Math. Phys. 2, No.~2, 443--470 (1998; Zbl 0947.14017)]. In the paper under review, the author explicitly calculates the mirror map in the case of dimension one. This mirror map sends a complexified symplectic form on a two-torus to the complex moduli parameter of the corresponding mirror manifold, which is an elliptic curve. More explicitly, each \(\tau\) in the upper half-plane gives a complexified symplectic form \(\tau dx\wedge dy\) on the two-torus and the mirror map should send it to \(j(\tau)\), the absolute invariant of the elliptic curve given by the lattice \({\mathbb Z}\tau\oplus {\mathbb Z}\) in \({\mathbb C}\). The interesting point is that this mirror map, i.e. the \(j\)-function, can be calculated purely in terms of the structure of the Fukaya category, because the homogeneous coordinate ring \(\bigoplus_{k\geq0} H^0({\mathcal O}(k))\) of the mirror elliptic curve is isomorphic to \(\bigoplus_{k\geq0} \text{ Hom}((\psi({\mathcal O}),\psi({\mathcal O}(k)))\) via the equivalence \(\psi\) from the conjecture. Of course, it is crucial here that the derived Fukaya category is explicitly known in the one dimensional case. In order to actually carry out calculations, the objects \(\psi({\mathcal O}(k))\) of the Fukaya category have to be identified. This is done under the assumption that the line bundle \({\mathcal O}(1)\) is of degree three, so that the mirror elliptic curve appears as a plane cubic. To describe the \(\psi({\mathcal O}(k))\), an important ingredient is the general fact that the monodromy around the large complex structure limit point corresponds to tensor product by \({\mathcal O}(1)\) on the derived category. This monodromy is then seen to be equal to the cube of a minimal Dehn twist. This is a sufficient basis for the calculations which involve interesting relations among theta functions.