[논문 리뷰] A conjectural extension of Hecke's converse theorem

Sandro Bettin, Jonathan Bober외 7명|Bristol Research (University of Bristol)|2017. 04. 09.

Analytic Number Theory Research참고 문헌 22인용 수 8

한 줄 요약

이 논문은 히케의 역정리의 추측적 확장을 제안하며, 비선형 오일러 곱 조건을 라만두 합으로의 선형 변형으로 대체함으로써, 디리클레 특성 변형이나 오일러 곱 가정 없이도 임의의 수준에서 모듈라 형식의 모듈리성 특성을 유지한다. 핵심 기여는 라만두 합을 포함하는 새로운 함수방정식 조건으로, 이것이 참이면 $ M_k(\Gamma_0(N), \xi) $ 내의 모듈라 형식을 왜곡된 $ L $-함수의 해석적 성질을 통해 특성화한다.

ABSTRACT

We formulate a precise conjecture that, if true, extends the converse theorem of Hecke without requiring hypotheses on twists by Dirichlet characters or an Euler product. The main idea is to linearize the Euler product, replacing it by twists by Ramanujan sums. We provide evidence for the conjecture, including proofs of some special cases and under various additional hypotheses.

연구 동기 및 목표

• 히케의 원래 정리가 $ N \leq 4 $ 이외의 수준에서는 무한차원 해공간으로 인해 실패하므로, 이 수준을 초월해 히케의 역정리를 확장하기 위해.
• 역정리에서 오일러 곱 가정이나 특성 변형이 요구되는 비선형 제약 조건을 제거하기 위해.
• 임의의 수준 $ N $ 에 대한 모듈라 형식을 특성화하면서도 함수방정식 프레임워크의 선형성을 유지하기 위해.
• 모듈라 형식의 특성 기준에서 오일러 곱을 대체할 수 있는 새로운 선형화 가능한 조건—라만두 합에 의한 변형—을 제공하기 위해.

제안 방법

• 라만두 합 $ c_q(n) = \sum_{\substack{a \mod q \\ (a,q)=1}} e(an/q) $ 를 사용하여 왜곡된 $ L $-함수 $ \Lambda_f(s, c_q) $ 와 $ \Lambda_g(s, c_q) $ 를 도입한다.
• 모든 $ N $ 과 서로소인 $ q $ 에 대해 일반화된 히케의 함수방정식인 $ \Lambda_f(s, c_q) = i^k \xi(q)(Nq^2)^{1/2 - s} \Lambda_g(1-s, c_q) $ 를 정의한다.
• 라만두 합이 디리클레 특성의 선형 조합임을 이용해, 비선형 오일러 곱 제약 조건을 선형 변형 조건으로 대체할 수 있음을 보인다.
• 만약 $ f_n, g_n $ 이 다항식 성장 조건을 만족하고, 왜곡된 $ L $-함수가 유한 차수의 전체 함수이며 함수방정식을 만족한다면, $ f \in M_k(\Gamma_0(N), \xi) $ 라는 것을 증명한다.
• 모듈라 형식에 대해 라만두 합을 사용한 함수방정식이 성립함을 보여, 추측이 기존 이론과 일관됨을 검증한다.
• 높이 함수와 $ \Gamma_0(N) $ 에 대한 군론적 추론을 사용하여 특수 케이스의 증명과 추가 가정 하에서의 증거를 제시한다.

실험 결과

연구 질문

• RQ1 오일러 곱이나 특성 변형을 가정하지 않고도, 히케의 역정리를 $ N \geq 5 $ 의 모든 수준으로 확장할 수 있는가?
• RQ2 라만두 합을 사용해 비선형 오일러 곱 조건을 선형 조건으로 대체할 수 있는가?
• RQ3 라만두 합을 통해 정의된 왜곡된 $ L $-함수 $ \Lambda_f(s, c_q) $ 가 수준 $ N $ 의 모듈라 형식을 유일하게 특성화하는 함수방정식을 만족하는가?
• RQ4 라만두 합은 모듈리성 조건을 선형화하면서도 해석적 통제를 유지하는 데 어떤 역할을 하는가?
• RQ5 라만두 합 변형을 포함한 함수방정식을 사용하여, 고차수 수준에서 발생하는 무한차원 해공간 문제를 피하면서도 모듈라 형식의 전체 구조를 회복할 수 있는가?

주요 결과

• 추측은 라만두 합 변형을 통한 선형 조건을 제공하며, 이것이 참이라면 임의의 수준 $ N $ 의 모듈라 형식을 비선형 오일러 곱 제약 조건 없이 특성화한다.
• 모듈라 형식 $ f \in M_k(\Gamma_0(N), \xi) $ 에 대해, 왜곡된 $ L $-함수 $ \Lambda_f(s, c_q) $ 와 $ \Lambda_g(s, c_q) $ 는 제안된 함수방정식을 만족함을 확인하여 기존 이론과의 일관성을 입증한다.
• 저자들은 특수 케이스와 추가 가정 하에서 추측을 증명하여 그 타당성에 대한 강력한 증거를 제공한다.
• $ \Gamma_0(N) $ 에서의 높이 함수 $ \operatorname{ht}(\gamma) = \max\{|a|,|b|,|c|,|d|\} $ 를 사용한 추론은 $ N \geq 4 $ 일 때 $ T $ 와 $ W $ 가 자유군을 생성함을 보여, 구성의 군론적 기초를 뒷받침한다.
• 만약 $ \chi $ 가 원시적이라면, 라만두 합 변형을 포함한 함수방정식은 표준 히케 함수방정식으로 줄어들며, 고전 결과와의 호환성을 확인한다.
• 히케의 원래 역정리에서 $ N \geq 5 $ 에서 발생하는 무한차원 해공간 문제를 피하기 위해 비선형 오일러 곱 제약 조건을 선형 변형 조건으로 대체함으로써 이 방법은 이를 회피한다.