[논문 리뷰] Difference of a Hauptmodul for $\Gamma_{0}(N)$ and certain Gross-Zagier type CM value formulas

Dongxi Ye|arXiv (Cornell University)|2017. 08. 28.

Advanced Algebra and Geometry참고 문헌 29인용 수 4

한 줄 요약

이 논문은 genus zero Hecke congruence 하위군 $Γ_0(N)$ 의 Hauptmodul의 차이가 (2,2) 유형의 Borcherds 상승임을 증명하며, 고전적 $j(\tau_1) - j(\tau_2)$ 구성의 일반화이다. 이를 통해 저자들은 주로 소수 수준 $p \in \{3,5,7,13\}$ 에서 Hauptmodul에 대해 새로운 몬스터 분모 공식 유사한 곱셈 전개와 Gross–Zagier 유사 CM 값 공식을 도출하였으며, theta 상승과 Whittaker 함수를 기반으로 하는 통일된 해석적 방법을 통해 고전 결과를 확장한다.

ABSTRACT

In this work, we show that the difference of a Hauptmodul for a genus zero group $\Gamma_{0}(N)$ as a Hilbert modular function on $Y_{0}(N) imes Y_{0}(N)$ is a Borcherds lift of type $(2,2)$. As applications, we derive Monster denominator formula like product expansions for these Hilbert modular functions and certain Gross-Zagier type CM value formulas.

연구 동기 및 목표

• $\Gamma_0(N)$ 의 genus zero 그룹에 대한 Hauptmodul로 고전적 $j(\tau_1) - j(\tau_2)$ 의 Borcherds 상승 구조를 일반화한다.
• $\Gamma_0(N)$ 의 Hauptmodul 차이가 통일된 해석적 구성에 기반한 (2,2) 유형의 Borcherds 상승임을 증명한다.
• 이 모듈러 함수에 대한 새로운 몬스터 분모 공식 유사 곱셈 전개를 도출한다.
• $p \in \{3,5,7,13\}$ 인 소수 수준에서 Hauptmodul에 대한 새로운 Gross–Zagier 유사 CM 값 공식을 Borcherds 상승 구조를 이용해 확보한다.
• 지난 결과를 제곱 자유 수준을 초월하여 확장하기 위해 국소 Whittaker 함수와 theta 상승을 기반으로 한 새로운 해석적 증명을 제공한다.

제안 방법

• Siegel theta 함수에 대한 theta 상승 기반의 통일된 접근을 사용하여 $\pi_N(\tau_1) - \pi_N(\tau_2)$ 의 (2,2) 유형 Borcherds 상승을 구성한다.
• Bruinier, Kudla, Yang의 큰 CM 값 공식을 사용하여 Borcherds 상승과 Hauptmodul의 CM 값 간의 관계를 설정한다.
• $p \in \{3,5,7,13\}$ 에 대해 $p$-진 적분과 가우스 합을 이용하여 현지 Whittaker 함수 $W_t(s, \varphi)$ 를 명시적으로 계산한다.
• $p$-진 적분과 특성 합을 분석하여 비분기 및 분기 위치에서의 현지 Whittaker 함수에 대한 명시적 공식을 유도한다.
• 표준 Whittaker 전개와 국소 인자들을 통해 Hecke 고유형식의 $L$-함수를 Whittaker 함수와 연결한다.
• 얻어진 Whittaker 함수 값들을 사용하여 CM 점들 위에서 $\log|\pi_p(\tau_{a_1}) - \pi_p(\tau_{a_2})|$ 의 평균을 계산하고, 이는 Gross–Zagier 유사 공식으로 이어진다.

실험 결과

연구 질문

• RQ1 $\Gamma_0(N)$ 의 Hauptmodul 차이는 고전적 $j(\tau_1) - j(\tau_2)$ 경우를 일반화하여 (2,2) 유형의 Borcherds 상승인가?
• RQ2 $N$ 이 반드시 제곱 자유가 아니어도 $\Gamma_0(N)$ 의 Hauptmodul에 대해 몬스터 분모 공식 유사 곱셈 전개를 확장할 수 있는가?
• RQ3 $p \in \{3,5,7,13\}$ 인 소수 수준에서 $\pi_p(\tau)$ 의 CM 값 공식의 구조는 무엇이며, Borcherds 상승과 어떻게 관련되는가?
• RQ4 $p$-진 위치에서의 국소 Whittaker 함수는 어떻게 theta 상승을 통해 전체 CM 값 공식에 기여하는가?
• RQ5 $p$-진 적분과 가우스 합을 기반으로 한 새로운 해석적 방법이 제곱 자유 사례를 초월하여 통일된 Gross–Zagier 공식 유도를 가능하게 하는가?

주요 결과

• $\Gamma_0(N)$ 의 Hauptmodul $\pi_N$ 에 대해 $\pi_N(\tau_1) - \pi_N(\tau_2)$ 는 (2,2) 유형의 Borcherds 상승이며, 고전적 $j(\tau_1) - j(\tau_2)$ 경우를 일반화한다.
• $p \in \{3,5,7,13\}$ 에 대해 저자들은 $\pi_p(\tau)$ 에 대해 새로운 Gross–Zagier 유사 CM 값 공식을 유도하였으며, 이는 국소 Whittaker 함수로 가중된 CM 점들 위의 합으로 표현된다.
• 국소 Whittaker 함수 $W_t(s, \varphi)$ 는 $p$-진 위치에서 명시적으로 계산되었으며, 레이지드 심볼과 $t = (2m + D + \sqrt{D})/2$ 의 $p$-진 값에 따라 달라진다.
• $\log|\pi_p(\tau_{a_1}) - \pi_p(\tau_{a_2})|$ 의 평균 공식은 $|2m + D| < \sqrt{D}$ 를 만족하는 $t$ 에 대한 합으로 표현되며, $\rho(tp^{-1})$ 와 국소 힐베르트 기호로 가중된다.
• 유도 과정은 큰 CM 값 공식과 명시적 $p$-진 적분 계산을 사용하여, 이전 방법을 초월한 새로운 해석적 증명을 제공한다.
• 결과는 제곱 자유 조건을 제거하고 theta 상승 및 $p$-진 분석 기반의 더 자연스러운 해석적 접근을 사용함으로써 Scheithauer의 작업을 확장한다.