[논문 리뷰] On CM values of Borcherds products and harmonic weak Maass forms of weight one

Stephan Ehlen|arXiv (Cornell University)|2012. 08. 11.

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

한 줄 요약

이 논문은 오р토곤럴 모듈라 다양체 위의 보르처르스 곱의 CM 값이 무게 1의 조화 약한 마이스터 형식의 해석적 부분 계수에 의해 표현 가능하다는 것을 증명한다. 정규화된 스칼라 릿지와 $\xi$-연산자를 사용하여, 이러한 CM 값이 선형 조합으로 나타나며, 스털링 모듈라에 대한 그로스-자이어 정리의 고계수 오р토곤럴 군으로의 일반화를 이룬다.

ABSTRACT

We show that the values of Borcherds products on Shimura varieties of orthogonal type at certain CM points are given in terms of coefficients of the holomorphic part of weight one harmonic weak Maass forms. Furthermore, we investigate the arithmetic properties of these coefficients. As an example, we obtain an analog of the Gross-Zagier theorem on singular moduli.

연구 동기 및 목표

• 오르토곤럴 모듈라 다양체 위의 보르처르스 곱의 CM 값의 산술적 성격을 이해하는 것.
• 이러한 CM 값을 무게 1의 조화 약한 마이스터 형식의 푸리에 계수와 연결하는 것.
• 스털링 모듈라에 대한 그로스-자이어 정리를 고계수 오르토곤럴 군으로 일반화하는 것.
• 정규화된 스칼라 릿지와 $\xi$-연산자를 사용하여 CM 값에 대한 정확한 공식을 수립하는 것.
• CM 사이클로부터 유래하는 무게 1의 조화 약한 마이스터 형식의 해석적 부분 계수를 특성화하는 것.

제안 방법

• 정규화된 스칼라 릿지와 $\xi$-연산자를 통해 보르처르스 곱과 조화 약한 마이스터 형식을 연결한다.
• $\xi$-연산자를 적용하여 조화 약한 마이스터 형식을 무게 1의 약한 해석적 모듈라 형식으로 매핑한다.
• 스칼라 릿지를 사용하여 보르처르스 곱의 CM 값을 모듈라 형식의 내적에서의 상수항으로 표현한다.
• 코헨의 플러스 공간 내에서 벡터 값형과 스칼라 값형 약한 해석적 모듈라 형식 사이의 동형을 활용한다.
• 사전 이미지에서 특정 푸리에 계수들이 0이 되도록 보장하기 위해 조건 $\prod_{p\mid D}(1 + 1/p) \leq 3$ 을 도입한다.
• 입력 형식 $f_d$ 에 따라 가중된 계수 $c_{[\mathfrak{a}(h)]^2}^+(n)$ 에 대한 합으로 CM 값의 명시적 공식을 유도한다.

실험 결과

연구 질문

• RQ1 오르토곤럴 모듈라 다양체 위의 보르처르스 곱의 CM 값은 어떻게 무게 1의 조화 약한 마이스터 형식의 계수와 관련이 있는가?
• RQ2 조화 약한 마이스터 형식을 통해 스털링 모듈라에 대한 그로스-자이어 정리는 고계수 오르토곤럴 군으로 일반화될 수 있는가?
• RQ3 CM 사이클로부터 유래하는 무게 1의 조화 약한 마이스터 형식의 해석적 부분 계수의 정확한 산술적 구조는 무엇인가?
• RQ4 어떤 조건에서 $\xi$-연산자의 사전 이미지를 선택할 수 있을까? 이때 특정 푸리에 계수들이 0이 되도록 하기 위해.
• RQ5 정규화된 스칼라 릿지는 어떻게 모듈라 형식의 내적 형태로 CM 값을 코딩하는가?

주요 결과

• CM 점에서의 보르처르스 곱의 CM 값은 무게 1의 조화 약한 마이스터 형식의 해석적 부분 계수의 선형 조합으로 주어진다.
• CM 값의 공식은 $\sum_{n\equiv 0,1\bmod 4} f_d(n) \sum_{m\in\mathbb{Z}} \delta(m) \, c_{[\mathfrak{a}(h)]^2}^+\left(\frac{nD - m^2}{4}\right)$ 로 표현되며, 여기서 $f_d$ 는 무게 $1/2$ 의 약한 해석적 모듈라 형식이다.
• 만약 $\prod_{p\mid |D|}(1 + 1/p) \leq 3$ 이면, $n > 0$ 에 대해 계수 $c_{[\mathfrak{a}(h)]^2}^+(n)$ 이 0이 되어 표현이 단순화된다.
• 결과는 그로스-자이어 정리를 일반화한다: $d < 0$ 이 기본 판별식일 때, $\Phi(\alpha_{\mathfrak{a}}, F_d) = -4\log\left|\prod_{\mathfrak{b}\in\operatorname{Cl}(-d)}(j(\alpha_{\mathfrak{a}}) - j(\alpha_{\mathfrak{b}}))\right|^{2/w_d}$.
• 조화 약한 마이스터 형식 $\theta_{[\mathfrak{a}(h)]^2}^\prime$ 의 해석적 부분이 $\xi_1$ 에서의 전이형으로서의 전이형임을 보였다.
• 구성은 $\theta_{[\mathfrak{a}(h)]^2}^\prime$ 를 $\mathcal{H}_1(\Gamma_0(|D|), \chi_D)$ 내의 스칼라 값 조화 약한 마이스터 형식과 동일시하여 명시적 계수 계산을 가능하게 한다.