[논문 리뷰] Mean field equations, hyperelliptic curves and modular forms: II

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

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).

연구 동기 및 목표

• 평탄한 토러스 $ E_\tau $ 위의 평균장 방정식의 해를 매개변수화하는 무게 $ \frac{1}{2}n(n+1) $ 의 전모듈러 형식 $ Z_n(\sigma;\tau) $ 를 구성하는 것.
• 전모듈러 형식 $ Z_n(\sigma;\tau) $ 의 비자명한 영점과 특이 리우빌 방정식 $ \triangle u + e^u = 8\pi n\,\delta_0 $ 의 스케일링 가중 해의 가중 가중 해 사이의 대응을 확립하는 것.
• Lamé 곡선 $ \bar{X}_n(\tau) $, 즉 $ \text{Sym}^n E_\tau $ 에 속하는 초타원곡선의 기하학을 이용하여 헤크 함수 $ Z(z;\tau) $ 를 더 높은 $ n $ 으로 일반화하는 것.
• 무게 10 의 전모듈러 형식 $ Z_4(\sigma;\tau) $ 를 사용하여 유한 단일화를 갖는 Lamé 방정식의 차수 $ n=4 $ 에 대한 명시적 수를 세는 공식을 유도하는 것.

제안 방법

• $ Z_n(\sigma;\tau) $ 의 구성은 Lamé 곡선 상의 초타원형 사영과 $ 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 $ 의 점근 전개를 사용하여 극점에서의 영점의 차수를 결정한다.
• 영점의 차수를 $ \tau = \infty $ 에서 $ Z_4 $ 의 영점 차수와 $ E_\tau[N] $ 의 토르션 점 $ \sigma $ 의 수를 비교함으로써, 오일러의 표본 함수를 포함한 공식으로서의 라마에 방정식의 수를 세는 공식을 도출한다.

실험 결과

연구 질문

• RQ1 무게 $ \rho = 8\pi n $ 인 평균장 방정식의 해를 캡처하는 헤크 함수 $ Z(z;\tau) $ 는 어떻게 더 높은 $ n $ 에서 전모듈러 형식 $ Z_n(\sigma;\tau) $ 로 일반화될 수 있는가?
• RQ2 $ \bar{X}_n(\tau) \subset \text{Sym}^n E_\tau $ 의 Lamé 곡선과 관련하여 $ Z_n(\sigma;\tau) $ 의 영점의 기하학적 및 산술적 의미는 무엇인가?
• RQ3 $ n=4 $ 에서는 어떤 정확한 수의 차수 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) $ 의 $ q $-전개에서 $ \tau \to \infty $ 에서의 영점 차수는 $ \sigma \in E_\tau[N] $ 에서 $ 3\phi(N) + 4\phi(N/2) $ 로 나타나며, 기대되는 해의 수와 일치한다.
• 분석을 통해 이러한 해의 수가 $ Z_4(\sigma;\tau) $ 의 모듈러 행동에 의해 완전히 결정됨을 확인하였으며, $ q $-전개 기법을 통해 추측된 공식이 검증됨을 입증하였다.