[논문 리뷰] A specialisation of the Bump-Friedberg $L$-function

Nadir Matringe|arXiv (Cornell University)|2012. 11. 06.

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

한 줄 요약

이 논문은 Bump-Friedberg $L$-함수를 선 $(s + \alpha, 2s)$에 따라 일변수 함수로 전개하여 그 유리형 성질을 규명하고, 극과 비틀린 전역 적분의 존재성 간의 연관성을 밝혀낸다. 짝수 $k = \dim \pi$인 경우, $L^{\text{lin},S}(s,\pi,\alpha)$가 $s = 1/2$에서 극을 가질 조건은 $\pi$가 $\chi$-적분을 가질 때임을 증명하며, Jacquet와 Friedberg의 $L$-함수의 비영성 결과에 대한 새로운 증명을 제공한다.

ABSTRACT

We study the restriction of the Bump-Friedberg integrals to affine lines $\{(s+α,2s),s\in\C\}$. It has a simple theory, very close to that of the Asai $L$-function. It is an integral representation of the product $L(s+α,π)L(2s,Λ^2,π)$ which we denote by $L^{lin}(s,π,α)$ for this abstract, when $π$ is a cuspidal automorphic representation of $GL(k,A)$ for $A$ the adeles of a number field. When $k$ is even, we show that for a cuspidal automorphic representation $π$, the partial $L$-function $L^{lin,S}(s,π,α)$ has a pole at 1/2, if and only if $π$ admits a (twisted) global period, this gives a more direct proof of a theorem of Jacquet and Friedberg, asserting that $π$ has a twisted global period if and only if $L(α+1/2,π) eq 0$ and $L(1,Λ^2,π)=\infty$. When $k$ is odd, the partial $L$-function is holmorphic in a neighbourhood of $Re(s)\geq 1/2$ when $Re(α)$ is $\geq 0$.

연구 동기 및 목표

• Bump-Friedberg $L$-함수를 복소수 변수로 간주하기 위해, 집합 $\{(s+\alpha, 2s) \mid s \in \mathbb{C}\}$에 따라 아핀 직선에 제한된 분석을 수행한다.
• 지역 및 전역 설정에서 $L(s+\alpha,\pi)L(2s,\Lambda^2,\pi)$의 랭킨-셀버그 적분 표현을 구축하고, 이를 $L^{\text{lin}}(s,\pi,\alpha)$로 표기한다.
• 부분 $L$-함수 $L^{\text{lin},S}(s,\pi,\alpha)$의 극을 $\pi$에 대한 비틀린 전역 적분의 존재성으로 특성화한다.
• Jacquet-Friedberg 정리에 대한 새로운 직접적 증명을 제공한다. 이 정리는 $L(\alpha+1/2,\pi)$와 $L(1,\Lambda^2,\pi)$의 비영성과 비틀린 전역 적분의 존재성 간의 연관성을 규명한다.

제안 방법

• GL(m) \times GL(m)에서의 코어푸르름 $\phi$, 슈바르츠 함수 $\Phi$, 그리고 특성 $\chi$를 포함한 랭킨-셀버그 적분을 사용하며, 이를 미라비크 부분군에 제한한다.
• 연속적인 부분 푸리에 전개(정리 4.3)를 적용하여 전역 적분 $I(s,\phi,\Phi)$를 유클리드 함수와 연결하고, 오일러 인수분해를 가능하게 한다.
• 미라비크 부분군과 유도된 자료 $f_{\chi,\Phi}(s,h)$를 이용해 아이젠스타인 급수 $E(s,h,\chi,\Phi)$를 구성하며, 이는 $\operatorname{Re}(s) > 1/2$에서 절대 수렴한다.
• 기능적 방정식 $E(1/2 - s, {}^t h^{-1}, \chi^{-1}\delta^{1/2}, \widehat{\Phi}) = E(s,h,\chi,\Phi)$를 유도하며, 이는 해석적 성질 분석에 핵심적이다.
• 비아르키메데스 및 아르키메데스 경우에서 국소 적분의 비영성 결과를 활용하여 $L$-함수의 구조를 규명한다.
• 기능적 방정식과 잔여부의 소멸(참고 문헌 [BF]의 정리 2.1)을 이용해 $I(s,\phi,\chi,\Phi)$가 전체 함수임을 보이며, 이는 홀로모르피의 성질을 암시한다.

실험 결과

연구 질문

• RQ1 부분 $L$-함수 $L^{\text{lin},S}(s,\pi,\alpha)$가 $s = 1/2$에서 극을 가질 조건은 무엇인가?
• RQ2 비틀린 전역 적분의 존재성과 $L^{\text{lin},S}(s,\pi,\alpha)$의 해석적 성질 간의 관계는 무엇인가?
• RQ3 Bump-Friedberg $L$-함수의 전개에서 매개수 $\alpha$의 역할은 무엇인가?
• RQ4 랭킨-셀버그 적분 표현 $L(s+\alpha,\pi)L(2s,\Lambda^2,\pi)$를 이용해 Jacquet-Friedberg 정리를 재증명할 수 있는가?
• RQ5 제한된 $L$-함수 이론은 아사이 $L$-함수 이론과 어떻게 비교되는가?

주요 결과

• 짝수 $k = \dim \pi$인 경우, 부분 $L$-함수 $L^{\text{lin},S}(s,\pi,\alpha)$가 $s = 1/2$에서 극을 가질 조건은 $\pi$가 비틀린 전역 적분을 가질 때이다.
• 홀수 $k$이면서 $\operatorname{Re}(\alpha) \geq 0$인 경우, 부분 $L$-함수 $L^{\text{lin},S}(s,\pi,\alpha)$는 $\operatorname{Re}(s) \geq 1/2$의 근방에서 해석적이다.
• 전역 적분 $I(s,\phi,\chi,\Phi)$는 전체 함수이며, 그 기능적 방정식은 $I(1/2 - s, \tilde{\phi}, \chi^{-1}\delta^{1/2}, \widehat{\Phi}) = I(s,\phi,\chi,\Phi)$이다.
• 적분 $I(s,\phi,\chi,\Phi)$의 $s = 1/2$에서의 잔여부는 적분의 소멸으로 인해 0이며, 이는 홀수 경우 극이 존재하지 않음을 암시한다.
• 국소 $L$-함수 $L^{\text{lin}}(s,\pi,\alpha)$는 비아르키메데스 및 아르키메데스 적분을 통해 정의되며, 충분히 큰 $\operatorname{Re}(s)$에서 수렴성과 비영성을 확보한다.
• 논문은 Jacquet-Friedberg 정리에 대한 새로운 증명을 제공한다: $\pi$가 비틀린 전역 적분을 가질 조건은 $L(\alpha + 1/2, \pi) \neq 0$ 이고 $L(1, \Lambda^2, \pi) = \infty$ 이다.