[논문 리뷰] A converse theorem for Borcherds products on $X_0(N)$

Bruinier, Jan Hendrik, Schwagenscheidt, Markus|arXiv (Cornell University)|2018. 06. 25.

Analytic Number Theory Research인용 수 5

한 줄 요약

이 논문은 X₀(N) 위의 일반화된 보르처스 곱의 약한 역정리 정립을 통해, Γ₀(N)에 대한 Fricke-불변의 유리형 모듈라 형식이 Heegner divisor와 ℚ 위에서 정의된 쿠스프의 선형 조합으로 구성된 인수를 가질 경우, 무게 1/2의 조화 매스 형식의 보르처스 곱으로서 나타남을 증명한다. 또한, 무게 2의 새로운 형식의 중심 L-값이 0이 되는 조건을 통해 승수 체계의 유한성을 판단할 수 있는 기준을 제시하며, 모듈라 형식의 산술적 성질과 푸리에 계수의 대수성 간의 연관성을 연결한다.

ABSTRACT

We show that every Fricke invariant meromorphic modular form for $\Gamma_0(N)$ whose divisor on $X_0(N)$ is defined over $\mathbb{Q}$ and supported on Heegner divisors and the cusps is a generalized Borcherds product associated to a harmonic Maass form of weight $1/2$. Further, we derive a criterion for the finiteness of the multiplier systems of generalized Borcherds products in terms of the vanishing of the central derivatives of $L$-function of certain weight $2$ newforms. We also prove similar results for twisted Borcherds products.

연구 동기 및 목표

• 모듈라 곡선 X₀(N) 위에서 일반화된 보르처스 곱에 대한 역정리를 확립하여, Heegner 인수와 유리수 쿠스프 인수가 있는 유리형 모듈라 형식이 무게 1/2의 조화 매스 형식의 보르처스 곱임을 보여준다.
• 이러한 보르처스 곱의 승수 체계가 유한 차수를 가지는 조건을 규명하고, 이를 관련된 모듈라 형식의 산술적 성질과 연결한다.
• 역정리를 변형된 보르처스 곱으로 확장하고, 푸리에 계수의 대수성에 대한 기준을 히케 고형식과 L-함수를 통해 도출한다.
• 승수 체계의 유한성이 조화 매스 형식의 정칙 부분에서 특정 계수의 유리수성과 동치임을 증명하며, 미분형식의 주기 값에 대한 초월성 결과를 활용한다.

제안 방법

• 격자 Lₙ = ℤ(N)⊕U의 Weil 표현에 대해 무게 1/2의 조화 매스 형식 f ∈ H⁺₁/₂,ρₙ를 이용해 X₀(N) 위의 유리형 모듈라 형식과 연결하기 위해 특이 θ-스틸트를 사용한다.
• 조화 매스 형식 f ∈ H⁺₁/₂,ρₙ의 주요 부분에서 일반화된 보르처스 곱을 구성하여, 그 인수가 주어진 Heegner 인수와 쿠스프의 선형 조합과 일치하도록 보장한다.
• ξ-연산자를 적용하여 조화 매스 형식을 쿠스프 형식으로 매핑하고, ξ₁/₂의 상이 보르처스 곱의 승수 체계를 결정함을 이용한다.
• 쿠스프 형식의 직교 분해와 히케 고형식 이론을 적용하여 ξ₁/₂의 상을 분해하고 문제를 무게 3/2의 새로운 형식으로 축소한다.
• 시무라 대응을 활용하여 무게 3/2의 쿠스프 형식과 무게 2의 새로운 형식을 연결하고, 관련 L-함수의 중심 L-값을 통해 승수 체계의 유한성을 판단한다.
• 초월성 이론(와이드슈마이트, 둥슈톨츠, 쇼울)의 대수성 결과를 적용하여, 승수 체계의 유한성이 조화 매스 형식의 정칙 부분에서 푸리에 계수의 유리수성과 동치임을 보인다.

실험 결과

연구 질문

• RQ1 Γ₀(N)에 대한 유리형 모듈라 형식이 Heegner 인수와 유리수 쿠스프 인수로 구성된 인수를 가지면, 언제 무게 1/2의 조화 매스 형식의 일반화된 보르처스 곱이 되는가?
• RQ2 일반화된 보르처스 곱의 승수 체계가 유한 차수를 가지는 조건은 무엇이며, 이를 어떻게 산술적 성질로 특징지을 수 있는가?
• RQ3 조화 매스 형식의 정칙 부분의 푸리에 계수의 대수성과 관련된 무게 2의 새로운 형식의 중심 L-값의 0이 되는 조건 사이의 정확한 관계는 무엇인가?
• RQ4 왜곡된 보르처스 곱은 이러한 역정리 설정에서 어떻게 행동하는가? 그리고 그것의 대수성 또는 승수 체계의 유한성을 보장하는 조건은 무엇인가?

주요 결과

• Γ₀(N)에 대한 Fricke-불변의 유리형 모듈라 형식 중 X₀(N) 위에서 인수가 Heegner 인수의 선형 조합이고, 쿠스프 인수가 ℚ 위에서 정의된 것은, 유일한 조화 매스 형식 f ∈ H⁺₁/₂,ρₙ의 일반화된 보르처스 곱으로서 나타난다.
• 일반화된 보르처스 곱의 승수 체계가 유한 차수를 가지는 것은, 모든 n ∈ ℤ에 대해 a⁺_f(n², n)의 푸리에 계수가 대수적임과 동치이다.
• 승수 체계의 유한성은 ξ₁/₂에 의한 f의 상과 관련된 시무라 대응을 통해 유도된 무게 2의 새로운 형식 G에 대해 L′(G, 1) = 0이 되는 것과 동치이다.
• 만약 f의 ξ₁/₂에 의한 상이 동시에 히케 고형식이면, a⁺_f(n², n)의 계수의 대수성은 해당 무게 2의 새로운 형식 G에 대해 L′(G, 1) = 0임을 의미한다.
• 조화 매스 형식 f의 주요 부분의 계수가 대수적이면, 해당 보르처스 곱의 승수 체계가 유한 차수를 가짐과 동치이다.
• f의 구성은 히케 고형식과 직교 분해 기법을 조합하여 수행되며, 결과적으로 f가 대수적 계수의 주요 부분을 가지며, ξ₁/₂에 의해 원하는 쿠스프 형식으로 매핑됨을 보장한다.