[논문 리뷰] New test vector for Waldspurger's period integral, relative trace formula, and hybrid subconvexity bounds

Yueke Hu, Paul D. Nelson|arXiv (Cornell University)|2018. 10. 27.

Advanced Algebra and Geometry참고 문헌 20인용 수 5

한 줄 요약

이 논문은 새로운 경우의 공동 분기성과 함께 Waldspurger의 주기 적분에 대한 정량적 국소 테스트 벡터의 통일된 구성법을 제시한다. 신형이 아닌, 컴act 유도 이론에서 유도된 최소 벡터를 사용한다. 국소 적분의 크기와 $ C(/pi \times \pi_{\chi^{-1}}) $의 판별자 사이의 명시적 관계를 확립하고, 상대적 추적 공식을 통해 유리한 범위에서 Weyl bound와 일치하는 하이브리드 하위볼록 bound를 증명하는 데 응용한다.

ABSTRACT

In this paper we give quantitative local test vectors for Waldspurger's period integral (i.e., a toric period on $ ext{GL}_2$) in new cases with joint ramifications. The construction involves minimal vectors, rather than newforms and their variants. This paper gives a uniform treatment for the matrix algebra and division algebra cases under mild assumptions, and establishes an explicit relation between the size of the local integral and the finite conductor $C(π imesπ_{χ^{-1}})$. As an application, we combine the test vector results with the relative trace formula, and prove a hybrid type subconvexity bound which can be as strong as the Weyl bound in proper range.

연구 동기 및 목표

• 공동 분기성의 경우, 특히 행렬 대수와 분할 대수 설정에서 Waldspurger의 주기 적분에 대한 테스트 벡터의 통일된 처리를 제공하는 것.
• 분석적 제어를 향상시키기 위해 전통적인 신형 기반 테스트 벡터 대신 컴팩트 유도 이론에서 유도된 최소 벡터를 사용하는 것.
• 국소 주기 적분의 크기와 판별자 $ C(/pi \times \pi_{\chi^{-1}}) $ 사이의 정밀한 정량적 관계를 확립하는 것.
• 테스트 벡터 결과를 응용하여, 기저 변경 L-함수의 외부 변형에 대해 강력한 하이브리드 하위볼록 bound를 도출하는 것.
• Lie 대수 선형화와 행렬 계수 분석에 기반한 표현 이론적 대안을 제시하여 Tunnell-Saito의 $\epsilon$-값 테스트를 대체하는 것.

제안 방법

• 초스피드럴 표현에 대해 컴팩트 유도 이론을 활용하여, 큰 컴팩트 열린 부분군에서 특성에 대해 고유벡터인 최소 벡터를 테스트 벡터로 구성한다.
• 국소 주기 적분을 정량적으로 분석하기 위해 항등원 근처에서 킬릴로프 모델과 행렬 계수 기법을 적용한다.
• 적분이 지배되는 범위에서 리 대수 선형화와 행렬 계수 전개를 활용하여, 다양한 경우에 걸쳐 통일된 처리를 가능하게 한다.
• 테스트 함수를 최소 벡터의 행렬 계수로 선택함으로써 상대적 추적 공식을 적용하여 스펙트럼 합 길이를 줄이고 기하 측면 분석을 단순화한다.
• p-진 설정에서 명시적 $\epsilon$-값 테스트와 판별식 분석을 적용하여 해의 수와 적분 크기를 결정한다.
• 정규화 $ \Phi_{\varphi^{\mathbb{B}}}(1) = 1 $ 와 $ \pi $의 최소성 가정을 통해 표준적인 테스트 벡터 선택을 보장한다.

실험 결과

연구 질문

• RQ1 컴팩트 유도 이론에서 유도된 최소 벡터는 공동 분기성의 경우 Waldspurger의 주기 적분에 대해 어떻게 테스트 벡터를 구성할 수 있는가?
• RQ2 이러한 새로운 경우에서 국소 주기 적분의 크기와 판별자 $ C(\pi \times \pi_{\chi^{-1}}) $ 사이의 정밀한 정량적 관계는 무엇인가?
• RQ3 최소 벡터의 행렬 계수를 사용하여 상대적 추적 공식을 효과적으로 적용하여 강력한 하위볼록 bound를 도출할 수 있는가?
• RQ4 개념적 명료성과 계산적 유용성 측면에서 이 새로운 방법은 Tunnell-Saito의 $\epsilon$-값 테스트와 어떻게 비교될 수 있는가?
• RQ5 이 방법은 GL(2)와 퀼레르니언 대수를 초월한 다른 군으로 어떻게 확장될 수 있는가?

주요 결과

• 국소 주기 적분의 크기는 $ c(\theta\chi^{-1}) = 2d $ 일 때 $ \frac{1}{q^{\lfloor d/2\rfloor}} $ 로 주어지며, 이는 판별자 $ C(\pi \times \pi_{\chi^{-1}}) $ 와 일치하며, 분기 및 비분기 경우에 걸쳐 일관되게 성립한다.
• $ c(\theta\chi^{-1}) = 2d $ 일 때, $ \varpi^{n+1} $ 모듈로에 대한 관련 이차 방정식의 해의 수는 $ 2q $ 이고, $ v(u) > n-d $ 이고 $ v(b) \geq d $ 일 때 적분 크기는 $ \frac{1}{(q+1)q^{d-1}} $ 이다.
• $ n-d $ 가 짝수일 때, 판별식 $ \Delta(0) \equiv -8\varpi_{\mathbb{F}}^{n-d}\frac{D}{D'}\delta \mod \varpi $ 이고, $ \Delta(0) $ 가 제곱수일 조건은 $ -2\delta $ 가 제곱수일 때이다. 이는 $ \epsilon $-값 테스트와 일치한다.
• $ n-d $ 가 홀수일 때, $ \Delta(0) $ 는 제곱수가 아니지만, $ v_{\mathbb{F}}(u) = \frac{n-d-1}{2} $ 인 $ u $ 를 선택함으로써 $ \Delta(u) $ 를 제곱수로 만들 수 있으며, 이 경우 각 해에 대해 $ \frac{1}{q^{\lfloor d/2\rfloor}} $ 가 된다.
• 상대적 추적 공식을 통해 도출된 하이브리드 하위볼록 bound 는 적절한 범위에서 Weyl bound 와 일치한다. 이는 테스트 함수를 최소 벡터의 행렬 계수로 선택함으로써 달성된다.
• 이 방법은 Tunnell-Saito의 $ \epsilon $-값 테스트에 대한 표현 이론적 대안을 제공하며, 최소 벡터와 신형 모두에 대해 국소 적분을 명시적으로 평가할 수 있게 한다.