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

Ching-Li Chai, Chang‐Shou Lin+1 more|arXiv (Cornell University)|Feb 11, 2015

Advanced Differential Equations and Dynamical Systems被引用 6

一句话总结

本文建立了平坦环面上的平均场方程、Lamé微分方程的解与模形式之间的深刻联系。它根据单值性类型对解的展开映射进行分类，证明当 $\rho = 4\pi(2n+1)$ 时，解的个数恰好为 $n+1$ 个（除有限多个环面外），并表明当 $\rho = 4\pi$ 时模形式自然出现。对于 $\rho = 8\pi n$，可解性依赖于环面模参数，且与由 Hermite-Halphen 试探解导出的超椭圆曲线 $\bar{X}_n$ 相关联，其分支点对应于奇异 Liouville 方程的爆破集。

ABSTRACT

We develop a theory connecting the following three areas: (a) the mean field equation (MFE) $ riangle u + e^u = ρ\, δ_0$, $ρ\in \mathbb R_{>0}$ on flat tori $E_τ= \mathbb C/(\mathbb Z + \mathbb Zτ)$, (b) the classical Lamé equations and (c) modular forms. A major theme in part I is a classification of developing maps $f$ attached to solutions $u$ of the mean field equation according to the type of transformation laws (or monodromy) with respect to $Λ$ satisfied by $f$. We are especially interested in the case when the parameter $ρ$ in the mean field equation is an integer multiple of $4π$. In the case when $ρ= 4π(2n + 1)$ for a non-negative integer $n$, we prove that the number of solutions is $n + 1$ except for a finite number of conformal isomorphism classes of flat tori, and we give a family of polynomials which characterizes the developing maps for solutions of mean field equations through the configuration of their zeros and poles. Modular forms appear naturally already in the simplest situation when $\,ρ=4π$. In the case when $ρ= 8πn$ for a positive integer $n$, the solvability of the MFE depends on the \emph{moduli} of the flat tori $E_τ$ and leads naturally to a hyperelliptic curve $\bar X_n=\bar X_{n}(τ)$ arising from the Hermite-Halphen ansatz solutions of Lamé's differential equation $\frac{d^2 w}{dz^2}-(n(n+1)\wp(z;Λ_τ) + B) w=0$. We analyse the curve $\bar X_n$ from both the analytic and the algebraic perspective, including its local coordinate near the point at infinity, which turns out to be a smooth point of $\bar{X}_n$. We also specify the role of the branch points of the hyperelliptic projection $\bar X_n o \mathbb P^1$ when the parameter $ρ$ varies in a neighborhood of $ρ= 8πn$.

研究动机与目标

• 基于单值性类型对平坦环面上平均场方程解的展开映射进行分类。
• 理解在 $\rho = 4\pi$ 情况下模形式如何自然出现，及其在最简单非平凡情形下的解结构中的作用。
• 从环面模参数的角度分析 $\rho = 8\pi n$ 时平均场方程的可解性，将其与超椭圆曲线 $\bar{X}_n(\tau)$ 联系起来。
• 通过解析与代数方法表征 $\bar{X}_n$ 的几何性质，包括无穷远点附近的局部坐标及其在参数变化下的分支点作用。
• 建立平均场方程爆破解与 $\bar{X}_n$ 分支点之间的联系，尤其在 Green 函数与集中现象的背景下。

提出的方法

• 通过分析其展开映射的单值性，对平坦环面 $E_\tau = \mathbb{C}/\Lambda_\tau$ 上平均场方程 $\triangle u + e^u = \rho \delta_0$ 的解进行分类。
• 利用 Hermite-Halphen 试探法推导 Lamé 方程 $w'' - (n(n+1)\wp(z) + B)w = 0$ 的解，这些解生成超椭圆曲线 $\bar{X}_n(\tau)$。
• 从解析与代数双重角度分析超椭圆曲线 $\bar{X}_n$，包括其在无穷远点的局部坐标，证明该坐标光滑。
• 构造一个预模形式 $Z_n(\sigma; \tau)$，其 $\tau$-坐标编码了 $\rho = 8\pi n$ 时平均场方程可解的环面模参数。
• 应用爆破序列技术研究 $\rho_k \to 8\pi n$ 时解的极限行为，证明爆破集在 $[-1]_E$ 下不变，并精确对应于 $\bar{X}_n$ 的分支点。
• 利用 Green 函数正则化及全局量如 $D(S)$ 分析 $\rho = 8\pi n$ 附近鼓泡解的稳定性与符号性质。

实验结果

研究问题

• RQ1 展开映射的单值性性质如何对平坦环面上平均场方程的解进行分类？
• RQ2 为何在 $\rho = 4\pi$ 情况下模形式自然出现？它们在解结构中扮演何种角色？
• RQ3 由 Hermite-Halphen 解导出的 Lamé 方程所生成的超椭圆曲线 $\bar{X}_n(\tau)$ 具有何种几何与算术意义？
• RQ4 平均场方程在 $\rho = 8\pi n$ 时的可解性如何依赖于环面 $E_\tau$ 的模参数？这与 $\bar{X}_n$ 的分支点有何关联？
• RQ5 奇异 Liouville 方程的爆破集能否被表征为 $\bar{X}_n$ 的分支点？这对鼓泡的动力学有何含义？

主要发现

• 当 $\rho = 4\pi(2n+1)$ 且 $n \geq 0$ 时，平均场方程的解的个数恰好为 $n+1$ 个，除有限多个共形同构类的平坦环面外均成立。
• 当 $\rho = 4\pi$ 时，模形式自然出现在理论中，且展开映射由一组多项式表征，编码了零点与极点的构型。
• 当 $\rho = 8\pi n$ 时，平均场方程的可解性依赖于环面 $E_\tau$ 的模参数，且等价于 Hermite-Halphen 试探法下 Lamé 方程存在解。
• 超椭圆曲线 $\bar{X}_n(\tau)$ 在无穷远点光滑，其在无穷远点的局部坐标定义良好且非奇异。
• 当 $\rho_k \to 8\pi n$ 时，平均场方程解的爆破集在对合 $[-1]_E$ 下不变，且精确对应于投影 $\bar{X}_n \to \mathbb{P}^1$ 的分支点。
• 预模形式 $Z_n(\sigma; \tau)$ 具有如下性质：其零点的 $\tau$-坐标恰好是使得 $\rho = 8\pi n$ 时平均场方程有解的环面模参数。