[논문 리뷰] On the Complete Evaluation of Jacobi Theta Functions

Nikos Bagis|arXiv (Cornell University)|2015. 03. 03.

Advanced Mathematical Identities참고 문헌 16인용 수 4

한 줄 요약

이 논문은 모듈러 형식, 디데킨트 에타 함수, 그리고 특수 모듈러 $k_r$ 간의 대수적 관계를 사용하여 특수 모듈러에서 자코비 스털리 함수를 평가하는 종합적인 프레임워크를 제시한다. $q = e^{-\pi\sqrt{r}}$일 때 스털리 함수 값이 $r$ 가 유리수일 경우 대수적 수임을 추측하고, 보간법과 모듈러 항등식을 통해 명시적인 평가 공식을 유도하며, Mathematica의 RootApproximant 루틴을 사용하여 수치적으로 검증한다.

ABSTRACT

Using numerical, theoretical and general methods, we construct evaluation formulas for the Jacobi $θ$ functions. Some of our results are conjectures, but are verified numerically.

연구 동기 및 목표

• 자코비 스털리 함수를 특수 모듈러에서 평가하기 위한 일반적인 방법을 개발하는 것.
• 스털리 함수 값이 $q = e^{-\pi\sqrt{r}}$ 이고 $r$ 가 유리수일 때 대수적 수임을 추측하는 것.
• $\theta_4(a,b;q)$ 및 관련 스털리 함수에 대해 디데킨트 에타 함수와 특수 모듈러를 사용하여 명시적인 평가 공식을 도출하는 것.
• 보간법과 기호 근 찾기 기반의 계산 알고리즘을 수립하여 스털리 함수 값의 최소 다항식을 식별하는 것.
• 일부 스털리 함수가 교차 하위군 $\Gamma(2p)$ 에서 무게 $1/2$ 의 모듈러 형식으로 변환됨을 보여주는 것.

제안 방법

• 스털리 함수를 디데킨트 에타 함수와 연결하기 위해 항등식 $A(a,p;q) = q^{p/12 - a/2 + a^2/(2p)} \eta(q^p)^{-1} \theta_4(p/2, p/2 - a; q)$ 를 사용한다.
• $q = e^{-\pi\sqrt{r}}$ 일 때 변환 $\eta(q) = 2^{1/3}\pi^{-1/2}q^{-1/24}k_r^{1/12}k_r^{*1/3}K(k_r)^{1/2}$ 을 적용하여 $\eta(q)$ 를 $k_r$ 로 표현한다.
• Mathematica의 RootApproximant를 사용한 수치적 보간을 통해 $A(a,p;q)$ 와 $k_r$ 간의 최소 다항식을 식별한다.
• 가정 $A(a,p;q) = Q_{\{a,p\}}(k_r)$ (여기서 $Q$ 는 대수적 함수) 를 통해 평가 공식을 도출하고, 이 추측을 수치적으로 검증한다.
• 스털리 급수의 $\Gamma(2p)$ 에서의 모듈러 변환 성질을 이용하여 일부 스털리 급수의 모듈러성을 증명한다.
• 클라인의 $J_0$-불변량과 그 역함수를 이용하여 스털리 함수의 거듭제곱을 모듈러 불변량의 대수적 함수로 표현한다.

실험 결과

연구 질문

• RQ1 유리수 $a,b$ 를 가진 자코비 스털리 함수 $\theta_4(a,b;q)$ 가 $q = e^{-\pi\sqrt{r}}$ 이고 $r$ 가 유리수일 때 닫힌 형태로 평가될 수 있는가?
• RQ2 $q = e^{-\pi\sqrt{r}}$ 이고 $r \in \mathbb{Q}^+$ 일 때, $A(a,p;q) = q^{p/12 - a/2 + a^2/(2p)} \eta(q^p)^{-1} \theta_4(p/2, p/2 - a; q)$ 의 값이 대수적 수인가?
• RQ3 $A(a,p;q)$ 가 특수 모듈러 $k_r$ 에 대해 만족하는 최소 다항식은 무엇인가?
• RQ4 무게 $1/2$ 의 모듈러 형식은 유리수 제곱 지수를 가진 스털리 함수로부터 어떻게 구성할 수 있는가?
• RQ5 $A(1,4;q)$ 의 $n$ 번째 모듈러 방정식은 역특수 모듈러 함수를 사용하여 명시적으로 계산될 수 있는가?

주요 결과

• 일반적으로 $a=1$, $p=4$ 일 때 항등식 $A(1,4;q)^{24} = \frac{16(1 - k_r^2)^2}{k_r^2}$ 이 성립하며, 이로부터 $A(1,4;q) = \sqrt[12]{\frac{4(1 - k_r^2)}{k_r}}$ 를 유도할 수 있다.
• 정리 1은 $q = e^{-\pi\sqrt{r}}$ 일 때 $\theta_4(2,1;q) = q^{1/24}\eta(q^4)\sqrt[12]{\frac{4(1 - k_r^2)}{k_r}}$ 라고 제시한다.
• 일반적으로 $a=1/2$, $p=2$ 일 때 $A(1/2,2;q) = \sqrt[24]{\frac{4(1 - k_r)^4}{k_r(1 + k_r)^2}}$ 이며, 이는 이전 경우의 $q^{1/2}$-시프트된 형태와 일치한다.
• 정리 2는 $\sum_{n=-\infty}^\infty (-1)^n q^{2n^2 + 3n/2}$ 의 닫힌 형태를 $q^{-11/96}\eta(q^4)\sqrt[48]{\frac{4(1-k_r)^4(2+k_r-2\sqrt{1+k_r})^{12}}{k_r^{13}(1+k_r)^2}}$ 로 제시한다.
• 5개의 평가를 담은 표를 제공하며, 각각 $A(a,p;q)$ 와 $k_r$ 간의 최소 다항식을 통해 스털리 함수와 모듈러 함수를 연결한다.
• 정리 41은 $\theta(a,p;z)$ 가 $\Gamma(2p)$ 에서 무게 $1/2$ 의 모듈러 형식이며, 표준적인 모듈러 변환과 24제곱 단위근의 승수를 만족함을 확인한다.