[논문 리뷰] On the local Bump-Friedberg L-function

Nadir Matringe|arXiv (Cornell University)|2013. 01. 02.

Advanced Algebra and Geometry인용 수 4

한 줄 요약

이 논문은 $F$가 $p$-진 수체일 때, $GL(n,F)$의 기약 표현 $\pi$에 대한 국소 Bump-Friedberg $L$-함수는 $L(\phi(\pi),s+1/2)L(\phi(\pi),\Lambda^2,2s)$와 일치함을 증명한다. 여기서 $\phi(\pi)$는 $\pi$의 Langlands 매개변수이다. 증명은 $\chi_\alpha$-구분된 일반 표현의 분류와 Whittaker 및 Shalika 주기 관계를 통해 이등분형으로 감소시키며, 궁극적으로 모든 기약 표현에 대해 추측된 인수분해를 확인한다.

ABSTRACT

Let $F$ be a $p$-adic field. If $π$ be an irreducible representation of $GL(n,F)$, Bump and Friedberg associated to $π$ an Euler fator $L(π,BF,s_1,s_2)$ in \cite{BF}, that should be equal to $L(ϕ(π),s_1)L(ϕ(π),Λ^2,s_2)$, where $ϕ(π)$ is the Langlands' parameter of $π$. The main result of this paper is to show that this equality is true when $(s_1,s_2)=(s+1/2,2s)$, for $s$ in $\C$. To prove this, we classify in terms of distinguished discrete series, generic representations of $GL(n,F)$ which are $χ_α$-distinguished by the Levi subgroup $GL([(n+1)/2],F) imes GL([n/2],F)$, for $χ_α(g_1,g_2)=α(det(g_1)/det(g_2))$, where $α$ is a character of $F^*$ of real part between -1/2 and 1/2. We then adapt the technique of \cite{CP} to reduce the proof of the equality to the case of discrete series. The equality for discrete series is a consequence of the relation between linear periods and Shalika periods for discrete series, and the main result of \cite{KR}.

연구 동기 및 목표

• 기약 표현 $GL(n,F)$에 대해 국소 Bump-Friedberg $L$-함수와 표준 $L$-함수의 곱 $L(\phi(\pi),s+1/2)L(\phi(\pi),\Lambda^2,2s)$ 사이의 추측된 등식을 검증하는 것.
• $GL([(n+1)/2],F)\times GL([n/2],F)$의 리만 부분군에 의해 $\chi_\alpha$-구분된 $GL(n,F)$의 일반 표현을 분류하는 것. 여기서 $\chi_\alpha(g_1,g_2) = \alpha(\det g_1 / \det g_2)$이며, $\alpha$의 실수부는 $[-1/2, 1/2]$에 속한다.
• Whittaker 유형 표현과 관련된 Rankin-Selberg 적분의 함수방정식 및 유리성 결과를 확장하는 것.
• 선형 주기와 Shalika 주기 사이의 관계를 이용해 이등분형 표현에 대해 등식을 확립하고, 이를 유도 및 Langlands 분류를 통해 모든 기약 표현으로 확장하는 것.

제안 방법

• $[27]$의 결과와 Bernstein-Zelevinsky 미분의 성질을 활용하여, $\chi_\alpha$-구분된 일반 표현을 $\chi_\alpha$-구분된 이등분형으로 분류하는 것.
• [10]의 기법을 응용하여, $L$-함수 등식의 증명을 이등분형 표현의 경우로 감소시키는 것.
• 단위 이등분형에 대해 선형 주기와 Shalika 주기 사이의 관계를 이용하여 $L^{\text{lin}}(\Delta,s)$를 $L(\phi(\Delta),s+1/2)L(\Lambda^2(\phi(\Delta)),2s)$와 동일시하는 것.
• 리만 부분군의 비분비 특성자에 의해 휘어진 Rankin-Selberg 적분의 유리성을 증명하여 함수방정식과 극의 구조를 확립하는 것.
• $\Delta = \text{St}_k(\rho)$의 이등분형 매개변수 $k$에 대해 유도를 적용하고, $L^{\text{lin}}(\pi,\chi_\alpha,s)$의 유도성과 $L(\phi(\Delta),\wedge^2,s)$의 곱 공식을 활용하는 것.
• 예외적 극이 $L^{\text{lin}}(\pi,\chi_\alpha,s)$의 $s=0$에서 발생하는 것은 $\pi$가 $\chi_\alpha^{-1}$-구분될 때에만 발생함을 이용하여, 극의 구조와 구분된 표현의 분류를 연결하는 것.

실험 결과

연구 질문

• RQ1 모든 $GL(n,F)$의 기약 표현 $\pi$에 대해 국소 Bump-Friedberg $L$-함수 $L(\pi,BF,s_1,s_2)$가 $L(\pi,BF,s+1/2,2s) = L(\phi(\pi),s+1/2)L(\phi(\pi),\Lambda^2,2s)$를 만족하는가?
• RQ2 $\chi_\alpha(g_1,g_2) = \alpha(\det g_1 / \det g_2)$이면서 $\text{Re}(\alpha) \in [-1/2, 1/2]$인 경우, $GL(n,F)$의 어떤 일반 표현이 $\chi_\alpha$-구분되는가?
• RQ3 이등분형 표현에 대해 선형 주기 $L^{\text{lin}}(\pi,s)$는 표준 $L$-함수 $L(\phi(\pi),s+1/2)$와 $L(\phi(\pi),\Lambda^2,2s)$와 어떻게 관련되어 있는가?
• RQ4 이등분형에서의 등식 $L^{\text{lin}}(\pi,s) = L(\phi(\pi),s+1/2)L(\phi(\pi),\Lambda^2,2s)$는 어떻게 모든 기약 표현으로 확장될 수 있는가? 유도 및 Langlands 분류를 통해.

주요 결과

• 모든 이등분형 표현 $\Delta$에 대해 $L^{\text{lin}}(\Delta,s) = L(\phi(\Delta),s+1/2)L(\phi(\Delta),\wedge^2,2s)$가 성립하며, 이는 선형 주기와 Shalika 주기 사이의 관계 및 [20]의 주요 결과를 통해 증명된다.
• $\text{Re}(\alpha) \in [-1/2, 1/2]$인 $\chi_\alpha$-구분된 일반 표현에 대해, 분류 결과는 그 표현이 Langlands 매개변수가 특정한 구조를 유지할 때에만 $\chi_\alpha$-구분됨을 보여주며, 이는 자명한 특성자 경우의 심플렉틱 조건을 일반화한다.
• $\text{Re}(\alpha) \in [-1/2, 0]$일 때, Langlands 유형 표현에 대해 $L^{\text{lin}}(\pi,\chi_\alpha,s)$는 유도성 관계를 만족하여 이등분형으로의 감소를 가능하게 한다.
• 리만 부분군의 비분비 특성자에 의해 휘어진 Rankin-Selberg 적분 $\Psi(W,\phi,s)$의 유리성이 확립되어 해석적 계속성과 함수방정식을 보장한다.
• $L^{\text{lin}}(\pi,\chi_\alpha,s)$의 예외적 극이 $s=0$에서 발생하는 것은 $\pi$가 $\chi_\alpha^{-1}$-구분될 때에만 발생하며, 이는 극의 구조와 구분된 표현의 분류를 연결한다.
• 주요 결과는 $GL(n,F)$의 모든 기약 표현 $\tau$로 확장되며, $L^{\text{lin}}(\tau,s) = L(\phi(\tau),s+1/2)L(\phi(\tau),\Lambda^2,2s)$를 도출하여, 지정된 매개변수에 대해 Bump-Friedberg 추측을 확인한다.