[論文レビュー] 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) $ を導入する。この構成は、ラメ曲線 $ \bar{X}_n(\tau) \subset \text{Sym}^n E_\tau $ の超楕円幾何に依拠しており、$ n=4 $ の場合、$ Z_4 $ の明示的公式から、有限モノドロミーを持つラメ方程式の数え上げ公式が得られ、$ 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).

研究の動機と目的

• 平坦トーラス $ E_\tau $ 上の平均場方程式の解をパrametrizeする、重み $ \frac{1}{2}n(n+1) $ の前モジュラー形式 $ Z_n(\sigma;\tau) $ を構成すること。
• $ Z_n(\sigma;\tau) $ の非自明なゼロと、特異リウヴィル方程式 $ \triangle u + e^u = 8\pi n\,\delta_0 $ のスケーリング族解との対応を確立すること。
• ラメ曲線 $ \bar{X}_n(\tau) $、すなわち $ \text{Sym}^n E_\tau $ 内の超楕円曲線の幾何を用いて、ヘッケ関数 $ Z(z;\tau) $ を高次 $ n $ に一般化すること。
• 重み 10 の前モジュラー形式 $ Z_4(\sigma;\tau) $ を用いて、次数 $ n=4 $ のラメ方程式で有限モノドロミーを持つものの数え上げ公式を導出すること。

提案手法

• $ Z_n(\sigma;\tau) $ の構成は、ラメ曲線に誘導される超楕円射影と $ E_\tau $ 上の加法写像による $ \mathbb{P}^1 \leftarrow \bar{X}_n(\tau) \to E_\tau $ の対応に基づく。
• 前モジュラー形式 $ Z_n(\sigma;\tau) $ は、リウヴィル曲線条件を満たす発展写像 $ f $ の零点である $ n $-重 $ (a_1,\dots,a_n) \in E_\tau^n $ の対称関数として定義される。
• $ n=4 $ の場合、形式 $ Z_4(\sigma;\tau) $ はヘッケ関数 $ Z $、ワイエルシュトラス $ \wp $、$ \wp' $ の多項式として明示的に計算され、モジュラー不変量 $ g_2, g_3 $ を含む係数を有する。
• $ \tau \to \infty $ における $ Z_4(\sigma;\tau) $ の $ q $-展開を $ q = e^{2\pi i \tau} $ の関数として、$ \wp, \wp', Z $ の漸近展開を用いて分析し、尖点における消失の位数を特定する。
• $ Z_4 $ の尖点における消失の位数と、$ E_\tau[N] $ 内のねじれ点 $ \sigma $ の個数を一致させることで、オイラーのトータル関数を用いた数え上げ公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 $ \rho = 8\pi n $ の場合の平均場方程式の解を捉えるために、ヘッケ関数 $ Z(z;\tau) $ をどのようになおして前モジュラー形式 $ Z_n(\sigma;\tau) $ に一般化できるか。
• RQ2 $ \bar{X}_n(\tau) \subset \text{Sym}^n E_\tau $ におけるラメ曲線と関連して、$ Z_n(\sigma;\tau) $ のゼロの幾何学的・算術的意味は何か。
• RQ3 $ n=4 $ の場合、有限モノドロミーを持つラメ方程式の正確な個数は何か、そして $ Z_4(\sigma;\tau) $ のモジュラー性とどのように関係するか。
• RQ4 $ \tau \to \infty $ における $ Z_4(\sigma;\tau) $ の $ 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 $ の10次多項式として与えられ、$ \wp, \wp', g_2, g_3 $ を係数に含み、$ \tau \in \mathbb{H} $ において単一のゼロしか持たないことが示された。
• 有限モノドロミーを持つラメ方程式の次数 $ n=4 $ の数え上げ公式は、$ 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 $-展開技法を用いて予想された公式が正当化された。