[論文レビュー] 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

ひとこと要約

本稿は、平坦トーラス上の平均場方程式、ラメ微分方程式の解、およびモジュラー形式の間の深い関係を確立する。モノドロミーに基づいて解の発展写像を分類し、$\rho = 4\pi(2n+1)$ の場合にちょうど $n+1$ 個の解が存在すること（有限個の例外を除く）を証明し、$\rho = 4\pi$ の場合にモジュラー形式が自然に現れることを示す。$\rho = 8\pi n$ の場合、可解性はトーラスのモジュライに依存し、ヘルメート・ハーレンデンアンザッツ解から生じるハイパーエリプティック曲線 $\bar{X}_n$ と関連づけられる。その分岐点は特異なリウヴィル方程式の爆発集合に対応する。

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$ の場合の平均場方程式の可解性を、トーラス $E_\tau$ のモジュライの観点から分析し、ハイパーエリプティック曲線 $\bar{X}_n(\tau)$ と関連付けること。
• $\bar{X}_n$ の幾何を、解析的および代数的手段（無限遠点近傍の局所座標、パrameter変動における分岐点の役割を含む）で特徴付けること。
• 平均場方程式の爆発解と $\bar{X}_n$ の分岐点との間の関係を確立し、特にグリーン関数と集中現象の文脈で解釈すること。

提案手法

• 発展写像のモノドロミーを解析することで、平坦トーラス $E_\tau = \mathbb{C}/\Lambda_\tau$ 上の平均場方程式 $\triangle u + e^u = \rho \delta_0$ の解を分類する。
• ヘルメート・ハーレンデンアンザッツを用いて、$w'' - (n(n+1)\wp(z) + B)w = 0$ のラメ方程式の解を導出し、それらからハイパーエリプティック曲線 $\bar{X}_n(\tau)$ を生成する。
• 解析的および代数的両観点からハイパーエリプティック曲線 $\bar{X}_n$ を分析し、無限遠点における局所座標が滑らかであることを示す。
• 平均場方程式が $\rho = 8\pi n$ の場合に可解となるトーラスの $\tau$-座標を符号化する前モジュラー形式 $Z_n(\sigma; \tau)$ を構成する。
• 爆発列の技法を用いて、$\rho_k \to 8\pi n$ の極限における解の挙動を研究し、爆発集合が $[-1]_E$ に関して不変であり、$\bar{X}_n$ の射影 $\bar{X}_n \to \mathbb{P}^1$ の分岐点に正確に一致することを証明する。
• グリーン関数の正則化と $D(S)$ のようなグローバル量を用いて、$\rho = 8\pi n$ の近傍におけるバブル解の安定性と符号を分析する。

実験結果

リサーチクエスチョン

• RQ1 発展写像のモノドロミー性質は、平坦トーラス上の平均場方程式の解をどのように分類するか？
• RQ2 $\rho = 4\pi$ の場合にモジュラー形式が自然に現れる理由は何か？また、解構造におけるその役割は何か？
• RQ3 ヘルメート・ハーレンデン解から生じるラメ方程式の解から得られるハイパーエリプティック曲線 $\bar{X}_n(\tau)$ の幾何的・算術的意義は何か？
• RQ4 $\rho = 8\pi n$ の場合の平均場方程式の可解性は、トーラス $E_\tau$ のモジュライにどのように依存し、$\bar{X}_n$ の分岐点とどのように関連するか？
• RQ5 特異リウヴィル方程式の爆発集合は $\bar{X}_n$ の分岐点として特徴付けられるか？これはバブルのダイナミクスにどのような意味を持つのか？

主な発見

• $\rho = 4\pi(2n+1)$ で $n \geq 0$ の場合、平均場方程式の解の数は、有限個の共形同型類を除き、正確に $n+1$ 個である。
• $\rho = 4\pi$ の場合、理論に自然にモジュラー形式が現れ、発展写像はゼロと極の配置を符号化する多項式の族によって特徴付けられる。
• $\rho = 8\pi n$ の場合、平均場方程式の可解性はトーラス $E_\tau$ のモジュライに依存し、ラメ方程式のヘルメート・ハーレンデンアンザッツ解の存在と同値である。
• ハイパーエリプティック曲線 $\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$ の平均場方程式が解をもつトーラスのモジュライにちょうど一致する性質を持つ。