[논문 리뷰] Traces of CM values of modular functions and related topics

Jan Hendrik Bruinier|ArXiv.org|2005. 10. 14.

Holomorphic and Operator Theory참고 문헌 27인용 수 3

한 줄 요약

이 논문은 제이거의 모듈러 함수의 CM 값의 추적 이론을 θ 승화 구축을 통해 임의의 종수를 가진 모듈러 곡선으로 일반화한다. 이는 이러한 추적의 생성함수가 무한대가 되는 경향에서 -24로 수렴하는 오차항을 포함한, 종수 3/2의 유리형 모듈러 형식임을 증명하며, 판별식이 증가함에 따라 추적이 감소하는 점근적 공식을 유도한다.

ABSTRACT

The purpose of this note is to report on recent joint work with J. Funke, P. Jenkins, and K. Ono on the traces of CM values of modular functions and some applications.

연구 동기 및 목표

• 종수 0에서 종수 0이 아닌 임의의 종수를 가진 모듈러 곡선으로 제이거의 특이 모듈러스의 추적 결과를 확장하는 것.
• Γ(1)에서의 모듈러 함수와 Γ₀(4)에서의 종수 3/2 모듈러 형식 사이를 연결하는 θ 승화 구축을 수립하는 것.
• 모듈러 함수의 CM 값의 추적에 대한 정확한 및 점근적 공식을 유도하는 것.
• 이러한 추적의 생성함수의 산술적 및 기하학적 의미를 분석하는 것.
• 추적 공식을 스펙트럼 이론과 연결하고, 아틴 함수를 통해 CM 점의 등분포를 분석하는 것.

제안 방법

• 쿠다라-밀슨 θ 커널을 사용하여, 모듈러 함수의 극이 존재함에도 불구하고 절대 수렴하는 θ 적분을 정의한다.
• θ 승화를 적용하여 종수 0의 모듈러 함수(예: J(τ) = j(τ) − 744)를 Γ₀(4)에서 종수 3/2의 모듈러 형식으로 매핑한다.
• 세르 데ュ얼리티와 헤크 합을 사용하여, 전통적으로 수렴하지 않는 경우에도 종수 3/2의 푸아리에 급수를 정의한다.
• 코헨넨 프로젝션 연산자를 적용하여 플러스 공간으로 제한함으로써, 숨겨진 스키마의 스킴과의 호환성을 확보한다.
• 스펙트럼 이론과 리졸베이트 커널을 사용하여 푸아리에 급수를 해석적으로 계속시키고, 그 푸아리에 전개를 계산한다.
• CM 점의 등분포와 L-함수의 경계를 이용하여 추적의 점근적 추정치를 도출한다.

실험 결과

연구 질문

• RQ1 모듈러 함수의 CM 값의 추적 생성함수는 Γ₀(4)에 대해 종수 3/2의 유리형 모듈러 형식으로 기술될 수 있는가?
• RQ2 θ 승화 구축은 제이거의 원래 결과를 종수 0이 아닌 모듈러 곡선으로 어떻게 일반화하는가?
• RQ3 판별식 D가 무한대로 갈수록 CM 값의 추적은 어떤 점근적 행동을 보이는가?
• RQ4 추적은 어떤 정도까지 감소한 이차 형식의 합으로 근사될 수 있는가?
• RQ5 아틴 함수는 기본 영역 위에서 모듈러 함수의 평균값을 정규화하는 데 어떤 역할을 하는가?

주요 결과

• J(τ)의 CM 값의 추적 생성함수는 Γ₀(4)에 대해 종수 3/2의 유리형 모듈러 형식이며, g(τ) = η(τ)²E₄(4τ)/(η(2τ)η(4τ)⁶)로 명시적으로 주어진다.
• D → ∞ 일 때, 추적 t_J(D)는 임의의 c > 1/2에 대해 t_J(D) = (−1)^D e^{π√D} + O(e^{cπ√D}) 의 점근적 공식을 만족한다.
• 추적 t_J(D)는 허수부 > 1인 감소한 이차 형식의 합으로 점근적으로 근사되며, 그 오차는 −24로 수렴한다.
• lim_{D→∞} (1/H(D)) (t_J(D) − ∑_{Q∈Q_D^{red}, Im(α_Q)>1} e(−α_Q)) = −24 이다. 여기서 H(D)는 클래스 수이다.
• 이 극한은 기본 영역 위에서 J(z)의 정규화된 평균값으로 알려진 아틴 함수로 유도된다.
• 이 결과는 적절한 수정을 거친 M₀!(Γ(1))에 속하는 모든 약한 헬모르피크 모듈러 함수 f에 대해 일반화된다.