[论文解读] Mean field equations, hyperelliptic curves and modular forms: II

Chang‐Shou Lin, Chin-Lung Wang|arXiv (Cornell University)|Feb 11, 2015

Algebraic Geometry and Number Theory参考文献 45被引用 10

一句话总结

本文引入了一个权为 $ \frac{1}{2}n(n+1) $ 的预模形式 $ Z_n(\sigma;\tau) $，其零点对应于平坦环面上平均场方程的解的缩放族，从而编码了这些解。该构造依赖于 Lamé 曲线 $ \bar{X}_n(\tau) \subset \text{Sym}^n E_\tau $ 的双亏格几何结构；对于 $ n=4 $，$ Z_4 $ 的显式公式导出了具有有限单值性群的 Lamé 方程的计数公式，通过 $ q $-展开分析验证了该猜想。

ABSTRACT

A pre-modular form $Z_n(σ; τ)$ of weight $ frac{1}{2} n(n + 1)$ is introduced for each $n \in \Bbb N$, where $(σ, τ) \in \Bbb C imes \Bbb H$, such that for $E_τ= \Bbb C/(\Bbb Z + \Bbb Z τ)$, every non-trivial zero of $Z_n(σ; τ)$, namely $σ ot\in E_τ[2]$, corresponds to a (scaling family of) solution to the mean field equation \begin{equation} ag{MFE} riangle 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 { m 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(τ) o 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).

研究动机与目标

• 构造一个权为 $ \frac{1}{2}n(n+1) $ 的预模形式 $ Z_n(\sigma;\tau) $，用于参数化平坦环面 $ E_\tau $ 上平均场方程的解。
• 建立 $ Z_n(\sigma;\tau) $ 的非平凡零点与奇异 Liouville 方程 $ \triangle u + e^u = 8\pi n\,\delta_0 $ 的解的缩放族之间的对应关系。
• 通过 Lamé 曲线 $ \bar{X}_n(\tau) $（即 $ \text{Sym}^n E_\tau $ 中的双亏格曲线）的几何结构，将 Hecke 函数 $ Z(z;\tau) $ 推广至更高阶 $ n $ 的情形。
• 利用权为 10 的预模形式 $ Z_4(\sigma;\tau) $，推导出四次 Lamé 方程具有有限单值性群的显式计数公式。

提出的方法

• 通过 Lamé 曲线上的双亏格投影与 $ E_\tau $ 上的加法映射，构造了映射 $ \mathbb{P}^1 \leftarrow \bar{X}_n(\tau) \to E_\tau $。
• 预模形式 $ Z_n(\sigma;\tau) $ 定义为满足 Liouville 曲线条件的展开映射 $ f $ 的零点 $ (a_1,\dots,a_n) \in E_\tau^n $ 的对称函数。
• 对于 $ n=4 $，形式 $ Z_4(\sigma;\tau) $ 显式计算为 Hecke 函数 $ Z $、Weierstrass 函数 $ \wp $ 与 $ \wp' $ 的多项式，其系数涉及模不变量 $ g_2, g_3 $。
• 通过分析 $ \tau \to \infty $ 时 $ Z_4(\sigma;\tau) $ 的 $ q $-展开，利用 $ \wp, \wp', Z $ 关于 $ q = e^{2\pi i \tau} $ 的渐近展开，确定了在尖点处的零点阶数。
• 通过将 $ Z_4 $ 在 $ \tau = \infty $ 处的零点阶数与 torsion 点 $ \sigma \in E_\tau[N] $ 的数量匹配，推导出具有有限单值性群的 Lamé 方程的计数公式，其结果以 Euler 的欧拉函数表示。

实验结果

研究问题

• RQ1 如何将 Hecke 函数 $ Z(z;\tau) $ 推广为一个预模形式 $ Z_n(\sigma;\tau) $，以捕捉 $ \rho = 8\pi n $ 时平均场方程的解？
• RQ2 在与 Lamé 曲线 $ \bar{X}_n(\tau) \subset \text{Sym}^n E_\tau $ 的关系中，$ Z_n(\sigma;\tau) $ 的零点具有何种几何与算术意义？
• RQ3 对于 $ n=4 $，具有有限单值性群的四次 Lamé 方程的确切数量是多少？其与 $ Z_4(\sigma;\tau) $ 的模性质有何关联？
• RQ4 $ Z_4(\sigma;\tau) $ 在 $ \tau \to \infty $ 处的 $ q $-展开如何确定模 $ E_\tau[N] $ 的解的数量？

主要发现

• 构造了权为 $ \frac{1}{2}n(n+1) $ 的预模形式 $ Z_n(\sigma;\tau) $，使得每个非平凡零点 $ \sigma \notin E_\tau[2] $ 对应于 $ \rho = 8\pi n $ 时平均场方程的解的缩放族。
• 对于 $ n=4 $，显式形式 $ Z_4(\sigma;\tau) $ 为 $ Z $ 的十次多项式，其系数涉及 $ \wp, \wp', g_2, g_3 $，且在 $ \tau \in \mathbb{H} $ 中仅有单零点。
• 具有有限单值性群的四次 Lamé 方程的计数公式为 $ L_4(N) = \frac{1}{2}\left(\frac{5}{6}\Psi(N) - \left(3\phi(N) + 4\phi\left(\frac{N}{2}\right)\right)\right) $，其中 $ \Psi(N) $ 为类数和。
• $ Z_4(\sigma;\tau) $ 在 $ \tau \to \infty $ 处的 $ q $-展开表明，在 $ \sigma \in E_\tau[N] $ 处的零点阶数为 $ 3\phi(N) + 4\phi(N/2) $，与预期的有限单值性群解的数量一致。
• 分析表明，此类解的数量完全由 $ Z_4(\sigma;\tau) $ 的模行为决定，通过 $ q $-展开技术验证了该猜想公式。