[논문 리뷰] CM Values of Higher Green's Functions

Maryna Viazovska|arXiv (Cornell University)|2011. 10. 20.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 12

한 줄 요약

이 논문은 SL₂(ℤ) 위의 임의의 정수 계수를 가진 모듈라 형식에 대해, 무게 2k인 고차 초록 함수의 CM 값에 관한 추측을 증명한다. 두 CM 점이 동일한 허수 정수 계수 이차체에 있을 경우, 관련된 모듈라 관계와 연결된 고차 초록 함수의 값이 대수적 수의 로그임을 보인다. 증명은 보르처스 리프팅과 시-세이드 dualit의 조합을 통해 이루어지며, 대수적 푸리에 계수를 가진 모듈라 형식과 복소 곱승을 활용하여 CM 값의 대수성을 확립한다.

ABSTRACT

Higher Green functions are real-valued functions of two variables on the upper half plane which are bi-invariant under the action of a congruence subgroup, have logarithmic singularity along the diagonal, and satisfy the equation $Δf = k(1 - k)f$, where $Δ$ is a hyperbolic Laplace operator and $k$ is a positive integer. Such functions were introduced in the paper of Gross and Zagier "Heegner points and derivatives of $L$-series"(1986). Also it was conjectured in this paper that higher Green's functions have "algebraic" values at CM points. In many particular cases this conjecture was proven by A. Mellit in his Ph. D. thesis. In this note we present a proof of the conjecture for any pair of CM points lying in the same quadratic imaginary field.

연구 동기 및 목표

• SL₂(ℤ) 위의 무게 2k인 모듈라 형식과 관련된 고차 초록 함수의 CM 값의 대수성에 관한 추측을 증명하는 것.
• 동일한 허수 정수 계수 이차체에 있는 CM 점들에 대해, 고차 초록 함수가 대수적 수의 로그로 평가됨을 확립하는 것.
• 정수 계수를 가진 모듈라 형식의 맥락에서 보르처스 리프팅과 시-세이드 항등식을 고차 초록 함수로 확장하는 것.
• 미분 연산자와 심장 리프팅을 통해 초록 함수의 CM 값을 대수적 푸리에 계수를 가진 유리형 모듈라 형식과 연결하는 것.

제안 방법

• 무게 2−2k인 약한 허수 해석적 모듈라 형식 g_λ에 대한 미분 연산자 R^{k−1}를 적용한 결과를 보르처스 리프팅으로 간주하여 고차 초록 함수 G_{k,λ}를 표현하는 것.
• 시-세이드 딜레마를 이용해 G_{k,λ}의 CM 값을 대수적 푸리에 계수를 가진 유리형 모듈라 함수의 CM 값과 연결하는 것.
• λ₁, λ₂가 동일한 허수 정수 계수 이차체에 있을 경우, 래티스 N = v⁺(z₁, z₂) ∩ M₂(ℤ)를 구성하여 (2,0) 서명을 가짐을 보이는 것.
• 보르처스 심장 리프팅을 적용하여 Φ_{M₂(ℤ)}(v⁺, h_λ)를 래티스 N 위의 모듈라 형식 f와 연결시키며, 이때 유리수 푸리에 계수와 영 상수항을 확보하는 것.
• 정리 6을 이용해 심장 리프팅 Φ_N(f)가 어떤 α ∈ ḡℚ에 대해 log α와 같음을 보이며, 복소 곱승과 푸리에 계수의 대수성을 활용하는 것.
• 리프팅과 딜레마의 연쇄를 통해 핵심 항등식 G_{k,λ}(z₁, z₂) = Φ_N(f) = log α를 확립하는 것.

실험 결과

연구 질문

• RQ1 S_{2k}(SL₂(ℤ)) 위의 모듈라 관계 λ에 관련된 고차 초록 함수 G_{k,λ}의 CM 값이 대수적 수의 로그가 되는가?
• RQ2 시-세이드 딜레마와 보르처스 리프팅이 고차 초록 함수로 확장되어 CM 값의 대수성을 증명하는 데 사용될 수 있는가?
• RQ3 z₁, z₂가 동일한 허수 정수 계수 이차체에 있을 경우, G_{k,λ}의 CM 값이 ḡℚ×에 속하기 위한 조건은 무엇인가?
• RQ4 미분 연산자 R^{k−1}와 심장 리프팅이 어떻게 작용하여 대수적 푸리에 계수를 가진 모듈라 형식을 생성하는가?

주요 결과

• z₁, z₂가 동일한 허수 정수 계수 이차체에 있을 경우, CM 값 G_{k,λ}(z₁, z₂)는 어떤 대수적 수 α ∈ ḡℚ에 대해 log α와 같다.
• 고차 초록 함수 G_{k,λ}는 무게 2−2k인 약한 허수 해석적 모듈라 형식 g_λ에 대한 R^{k−1}(g_λ)의 보르처스 심장 리프팅으로 표현된다.
• 래티스 N = v⁺(z₁, z₂) ∩ M₂(ℤ)는 서명 (2,0)을 가지며, 유리수 분할을 정의하여 N 위의 모듈라 형식 사용이 가능하다.
• 대수적 푸리에 계수를 가진 모듈라 형식 f의 심장 리프팅 Φ_N(f)는 log α를 생성하며, 이는 G_{k,λ}(z₁, z₂)와 같다.
• 증명은 대수적 푸리에 계수를 가진 유리형 모듈라 함수의 CM 값과 연결하기 위해 시-세이드 딜레마를 활용한다.