Mirror symmetry of elliptic curves and Ising model (Q1816960)

By analogy with the case of quintic hypersurfaces in \({\mathbb{P}}^4\), the mirror family of cubic curves in \({\mathbb{P}}^2\) is defined by dividing the family \(x_1^3+x_2^3+x_2^3-sx_1x_2x_3=0\) (the Hesse pencil) by the action of the cyclic group \(R\) generated by the transformation \((x_1,x_2,x_3)\to(x_1,e^{2\pi i/3}x_2,e^{4\pi i/3}x_3)\). The new family is given by the equations \(u_1u_2u_3-u_0^3=0\), \(u_1+u_2+u_3-su_1u_2u_3=0\). The analogy of the mirror map is the expression of the parameter \(z=s^{-3}\) as a function on the upper half plane, the period space for elliptic curves. The answer is \[ z(\tau)={q^{{5\over 3}}\vartheta(0,3\tau)^3\vartheta(\tau,3\tau)^3\vartheta(2\tau,3\tau)^3\over (\vartheta (0,3\tau)^3+q^{{1\over 2}}\vartheta (\tau,3\tau)^3+q^2\vartheta(2\tau,3\tau)^3)^3}, \] where \(q=e^{2\pi i\tau}\) and \(\vartheta(z;\tau)\) is the Riemann theta function for the lattice \({\mathbb{Z}}+\tau{\mathbb{Z}}\). The function \(z(\tau)\) has an integral \(q\)-expansion, and the author gives a few first terms of it. It generates the field of modular functions for the group \(\Gamma_0(3)\) and the expression of the \(j\)-function in terms of \(z\) is as follows: \(j(z)={(1+216z)^3\over z(1-27z)^3}\). The full \(q\) expansion for the mirror map is given for the family of elliptic curves in the weighted space \({\mathbb{P}}(1,1,2)\). In this family the parameter \(z\) corresponds to the temperature-like parameter \(k'\) of the Ising model in statistical mechanics. It generates the field of modular functions for \(\Gamma_0(2)\) and \(j(z)={(1+192z)^3\over z(1-64z)^2}\). Reviewer's remark. The formulas for \(z(\tau)\) and \(j(z)\) for the family of cubic curves can be found in the classical literature [for example: \textit{A. Krazer}, ``Lehrbuch der Thetafunktionen'' (reprinted 1970; Zbl 0212.42901)].