Paper detail

Mean field equations, hyperelliptic curves and modular forms: II

A pre-modular form $Z_n(σ; τ)$ of weight $\tfrac{1}{2} n(n + 1)$ is introduced for each $n \in \Bbb N$, where $(σ, τ) \in \Bbb C \times \Bbb H$, such that for $E_τ= \Bbb C/(\Bbb Z + \Bbb Z τ)$, every non-trivial zero of $Z_n(σ; τ)$, namely $σ\not\in E_τ[2]$, corresponds to a (scaling family of) solution to the mean field equation \begin{equation} \tag{MFE} \triangle u + e^u = ρ\, δ_0 \end{equation} on the flat torus $E_τ$ with singular strength $ρ= 8πn$. In Part I (Cambridge J. Math. 3, 2015), a hyperelliptic curve $\bar X_n(τ) \subset {\rm Sym}^n E_τ$, the Lamé curve, associated to the MFE was constructed. Our construction of $Z_n(σ; τ)$ relies on a detailed study on the correspondence $\Bbb P^1 \leftarrow \bar X_n(τ) \to E_τ$ induced from the hyperelliptic projection and the addition map. As an application of the explicit form of the weight 10 pre-modular form $Z_4(σ; τ)$, a counting formula for Lamé equations of degree $n = 4$ with finite monodromy is given in the appendix (by Y.-C. Chou).