[논문 리뷰] Central value of automorphic $L-$functions

Ehud Moshe Baruch, Zhengyu Mao|ArXiv.org|2003. 01. 11.

Advanced Algebra and Geometry참고 문헌 10인용 수 6

한 줄 요약

이 논문은 왈드스부르거의 공식을 전체적으로 실수 수체로 일반화하여, 이를 전역 아델 분포의 등식으로 재해석함으로써 반정수 스피너 형식의 푸리에 계수와 정수 스피너 형식의 중심 타원형 L-값 사이의 정확한 연결 고리를 확립한다. 핵심 결과는 이차 스트레스 제약 없이 새로운 아델 형태의 코헨-자지어 공식을 제시하는 것이며, 반정수 스피너 형식에 대한 라만두잔 추측과 정수 스피너 형식의 L-값에 대한 리델뢰프 가설의 특수 케이스 사이의 동치성을 증명한다.

ABSTRACT

We prove a generalization to the totally real field case of the Waldspurger's formula relating the Fourier coefficient of a half integral weight form and the central value of the L-function of an integral weight form. Our proof is based on a new interpretation of Waldspurger's formula in terms of equality between global distributions. As applications we generalize the Kohnen-Zagier formula for holomorphic forms and prove the equivalence of the Ramanujan conjecture for half integral weight forms and a case of the Lindelof hypothesis for integral weight forms. We also study the Kohnen space in the adelic setting.

연구 동기 및 목표

• 반정수 스피너 형식의 푸리에 계수와 정수 스피너 형식의 중심 L-값을 연결하는 왈드스부르거의 공식을 유리수에서 전체적으로 실수 수체로 일반화하는 것.
• 왈드스부르거의 공식을 전역 아델 분포의 등식으로 재해석하여 상대적 추적 공식 기법을 통한 체계적 비교를 가능하게 하는 것.
• 반정수 스피너 형식에 대한 라만두잔 추측과 정수 스피너 L-함수에 대한 리델뢰프 가설의 특수 케이스 사이의 동치성을 확립하는 것.
• 이차 스트레스 제약 없이 코헨-자지어 공식을 아델 설정으로 일반화하는 것.

제안 방법

• 전체적으로 실수 수체의 아델 링 위에 전역 분포 $ I $ 와 $ J $ 를 정의하고, 이를 국소 분포 $ I_v $ 와 $ J_v $ 의 곱으로 분해한다.
• 스티마 코어스 pondence 및 셰이머 코어스 pondence 이론을 사용하여 $ PGL_2 $ 위의 자동형 표현 $ \pi $ 와 $ \widetilde{SL}_2 $ 위의 $ \tilde{\pi} $ 를 연결한다.
• 전역 및 국소 분포의 비교를 통해 $ c_1 = c_2 $ 를 확립한다. 여기서 $ c_1 $ 은 $ \pi $ 의 중심 L-값이고, $ c_2 $ 는 $ \tilde{\pi} $ 의 푸리에 계수의 제곱이다.
• 상대적 추적 공식과 국소 왈드스부르거 이론을 적용하여 모든 자리 $ v $ (아치메데스 및 2-진 자리 포함) 에서 국소 성분 $ I_v $ 와 $ J_v $ 를 매칭한다.
• 유한 자리 및 아치메데스 자리에서의 윌커슨 주기 및 에프스실론 인자에 대한 명시적 공식을 사용하여 국소 인자 $ e(\varphi_v, \psi) $ 와 $ e(\tilde{\varphi}_v, \psi^{|D|}) $ 를 계산한다.
• 아델 결과를 고전적 모듈라 형식 언어로 번역하여, 이차 스트레스 제약 없이 코헨-자지어 공식을 복구하고 일반화한다.

실험 결과

연구 질문

• RQ1 왜곡된 수체 $ \mathbb{Q} $ 에서 전체적으로 실수 수체로 왈드스부르거의 공식을 어떻게 일반화할 수 있는가?
• RQ2 전역 분포의 등식으로서 왈드스부르거의 공식의 올바른 아델 해석은 무엇인가?
• RQ3 이 틀 안에서 반정수 스피너 형식에 대한 라만두잔 추측과 리델뢰프 가설의 특수 케이스 사이의 동치성을 확립할 수 있는가?
• RQ4 이차 스트레스 제약을 제거하여 코헨-자지어 공식을 어떻게 확장할 수 있는가?
• RQ5 모든 자리, 특히 $ v=2 $ 에서 국소 인자와 에프스실론 인자가 중심 L-값 항등식에 어떻게 기여하는가?

주요 결과

• 논문은 정수 스피너 치환형식 $ f $ 의 중심 타원형 L-값 $ L(f, D, k) $ 가 해당 반정수 스피너 형식 $ g $ 의 푸리에 계수의 제곱 $ |c(|D|)|^2 $ 와 비례하며, 비례 상수는 $ |D|^{k-1/2} $, $ \pi^k $, 및 $ (k-1)! $ 를 포함함을 증명한다.
• 정리 10.1 에서 일반화된 코헨-자지어 공식이 확립되며, 이는 이차 스트레스가 기본적이어야 한다는 제약 조건을 제거하고, 모든 $ D \in \mathbb{Q}^{\epsilon(S)}(\pi) $ 에 대해 유효하다.
• 반정수 스피너 형식에 대한 라만두잔 추측과 정수 스피너 L-함수에 대한 리델뢰프 가설의 특수 케이스 사이의 동치성이 증명되며, 이는 라만두잔 경계 $ |c(n)| \ll n^{k/2} $ 가 모든 $ \epsilon > 0 $ 에 대해 $ L(f, D, k) \ll |D|^{\epsilon} $ 와 동치임을 보여준다.
• 장소 $ v=2 $ 에서 국소 인자 수정이 $ D $ 의 합동류에 따라 $ 2|D|_2 $ 또는 $ 2(1+q^{-1})^{-1} $ 로 나타나며, 이는 고전적 $ L(f, D, k) $ 와 일치시키는 데 필수적이다.
• 아델 형태는 항등식 $ |d_{\tilde{\pi}}(S, \psi^D)|^2 = |d_\pi(S, \psi^D)|^2 L^S(\pi, 1/2) $ 가 전역적으로 성립하며, 코어스 pondence 및 윌커슨 모델을 통한 정확한 국소 매칭을 확인한다.
• 증명은 공간 $ \widetilde{A}^+_{k+1/2}(4N, \chi) \cap V_{\tilde{\pi}^{\epsilon(S)}} $ 가 일차원임을 보여주며, 이는 해당 반정수 스피너 형식 $ g_S(z) $ 의 유일성을 보장한다.