[논문 리뷰] Singular moduli refined

Benjamin Howard, Tonghai Yang|arXiv (Cornell University)|2012. 02. 28.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 3

한 줄 요약

이 논문은 상대적 판별식을 가진 허수 정수환에 복소 곱승을 가진 타원곡선 $E_1, E_2$에 대해 $\mathrm{Hom}(E_1,E_2)$ 위에 $\mathcal{O}_F$-이차형식 $\deg_{\mathrm{CM}}$를 도입함으로써, 그로스와 자이어의 특수 모듈러스에 대한 기존 작업을 발전시킨다. 이 이차형식은 $F = \mathbb{Q}(\sqrt{d_1d_2})$ 위에서의 실이차수체에 대한 무게 1의 헤크 에이젠스타인 급수의 중심 도함수의 $\alpha$-번째 푸리에 계수와 모듈리 스택 $\mathcal{X}_\alpha$의 산술 차수 사이의 등식을 증명함으로써, 산술 시겔-바일 공식을 확립한다.

ABSTRACT

We prove a refinement of the results of Gross and Zagier on prime factorizations of singular moduli.

연구 동기 및 목표

• 무게 1의 힐버트 모듈러 형식에 대한 에이젠스타인 급수의 중심 도함수를 연구하여, 그로스와 자이어의 특수 모듈러스 결과를 대각선 케이스를 초월해 확장한다.
• 표준적인 도수 형식을 개선하고 $\mathrm{Tr}_{F/\mathbb{Q}}\deg_{\mathrm{CM}} = \deg$를 만족하는 전체적으로 양의 정의된 $\mathcal{O}_F$-이차형식 $\deg_{\mathrm{CM}}$를 $\mathrm{Hom}(E_1,E_2)$ 위에 정의한다.
• 모듈리 스택 $\mathcal{X}_\alpha$의 산술 차수와 에이젠스타인 급수의 중심 도함수의 $\alpha$-번째 푸리에 계수 사이의 관계를 통해 산술 시겔-바일 공식을 수립한다.
• 모듈리 스택 $\mathcal{X}_\alpha$의 산술 차수와 $E^{*,\prime}(\tau_1,\tau_2,0)$의 $\alpha$-번째 푸리에 계수의 산술적 의미를 밝혀내는 열린 문제를 해결한다.

제안 방법

• 실이차수체 $F = \mathbb{Q}(\sqrt{d_1d_2})$ 위에서 $\mathrm{SL}_2(\mathcal{O}_F)$에 대해 무게 1의 평행 헤크 에이젠스타인 급수 $E^*(\tau_1,\tau_2,s)$를 구성하며, 함수방정식에 의해 $s=0$에서 0이 된다.
• 타원곡선 $E_1$과 $E_2$의 복소 곱승 작용을 이용해 $\mathrm{Hom}(E_1,E_2)$ 위에 표준적인 $\mathcal{O}_F$-모듈러 구조와 전체적으로 양의 정의된 $\mathcal{O}_F$-이차형식 $\deg_{\mathrm{CM}}$를 정의한다.
• 조건 $\deg_{\mathrm{CM}}(j) = \alpha$를 만족하는 삼중항 $(E_1,E_2,j)$를 매개변수로 하는 모듈리 스택 $\mathcal{X}_\alpha$를 도입하고, 그 차원이 0임을 보인다.
• 소수 $\mathfrak{p}$가 $\mathrm{Diff}(\alpha)$에 속할 때의 국소 계산을 통해, 월리커 함수와 궤도 적분을 이용해 $\mathcal{X}_\alpha$의 산술 차수가 $E^{*,\prime}(\tau_1,\tau_2,0)$의 $\alpha$-번째 푸리에 계수와 일치함을 증명한다.
• 에이젠스타인 급수의 함수방정식과 해석적 계속을 이용해 중심 도함수와 $\mathcal{X}_\alpha$의 산술 불변량 사이의 관계를 규명한다.
• 만약 $\mathrm{Diff}(\alpha) = \{\mathfrak{p}\}$이면 $4\deg(\mathcal{X}_\alpha) \cdot q^\alpha = E_{\alpha}^{*,\prime}(\tau,0)$를 증명하고, $|\mathrm{Diff}(\alpha)| > 1$이면 양변이 모두 0이 됨을 보인다.

실험 결과

연구 질문

• RQ1 모듈리 스택 $\mathcal{X}_\alpha$의 산술 차수와 $E^{*,\prime}(\tau_1,\tau_2,0)$의 $\alpha$-번째 푸리에 계수의 산술적 의미는 무엇인가? ($\alpha \in F^\times$)
• RQ2 조건 $\deg_{\mathrm{CM}}(j) = \alpha$를 만족하는 $j \in \mathrm{Hom}(E_1,E_2)$를 매개변수로 하는 모듈리 스택 $\mathcal{X}_\alpha$는 $E^{*,\prime}$의 푸리에 계수와 일치하는 산술 불변량을 정의할 수 있는가?
• RQ3 $\mathrm{Hom}(E_1,E_2)$ 위의 $\mathcal{O}_F$-이차형식 $\deg_{\mathrm{CM}}$는 표준 도수 형식을 어떻게 개선하고, $\mathbb{Q}$로의 추적과 어떤 관계가 있는가?
• RQ4 $F/\mathbb{Q}$의 차별화자 $\mathfrak{D}$는 $\mathcal{X}_\alpha$의 국소 구조와 산술 차수 계산에서 어떤 역할을 하는가?
• RQ5 언제 $\mathcal{X}_\alpha$의 산술 차수가 양이 되며, 이는 $F$에서 $\alpha$의 분할 행동과 어떻게 관련이 있는가?

주요 결과

• 모듈리 스택 $\mathcal{X}_\alpha$는 모든 $\alpha \in F^\times$에 대해 차원 0을 가진다.
• $\mathcal{X}_\alpha$의 산술 차수는 실이차수체 $F$ 위의 헤크 에이igen스타인 급수의 중심 도함수 $E^{*,\prime}(\tau_1,\tau_2,0)$의 $\alpha$-번째 푸리에 계수와 같다.
• $\mathrm{Diff}(\alpha) = \{\mathfrak{p}\}$이면 산술 차수는 $4\deg(\mathcal{X}_\alpha) \cdot q^\alpha = E_{\alpha}^{*,\prime}(\tau,0)$를 만족하며, 이는 산술 시겔-바일 공식을 확립한다.
• $|\mathrm{Diff}(\alpha)| > 1$이면 $\mathcal{X}_\alpha$는 공집합이며, 산술 시겔-바일 공식의 양변은 모두 0이 된다.
• 소수 $\mathfrak{p}$에서의 산술 차수 기여는 $\nu_{\mathfrak{p}}(\alpha) = \frac{1}{2}\mathrm{ord}_{\mathfrak{p}}(\alpha\mathfrak{p}\mathfrak{D})$로 주어지며, 이는 월리커 함수의 도함수에 나타난다.
• 표준적인 $\mathcal{O}_F$-이차형식 $\deg_{\mathrm{CM}}$는 전체적으로 양의 정의되며, $\mathrm{Tr}_{F/\mathbb{Q}}\deg_{\mathrm{CM}} = \deg$를 만족하여 $\mathrm{Hom}(E_1,E_2)$ 위의 표준 도수 형식을 개선한다.