[논문 리뷰] Distinction and Asai $L$-functions for generic representations of general linear groups over p-adic fields

Nadir Matringe|ArXiv.org|2009. 02. 18.

Advanced Algebra and Geometry참고 문헌 13인용 수 4

한 줄 요약

이 논문은 $p$-진체 $K$가 이차 확장 $F$를 포함하는 경우 $ \mathrm{GL}(n,K)$의 일반적이고 특징적인 표현들을 분류하며, 이러한 표현들이 $ \mathrm{GL}(n,F)$에 대해 구별 가능할 조건을 밝혀낸다. 특히, 이러한 표현들이 $ \mathrm{GL}(n,F)$에 대해 구별 가능할 조건은, 특정한 쌍대성 및 구별 조건을 만족하는 준제곱-integrable 표현들로부터 포물선적으로 유도된 표현일 때에만 성립함을 보여준다. 주요 결과는 제로에서 Asai $L$-함수의 극과 구별 가능성 사이에 정확한 연결 고리를 설정하며, 일반 표현의 Asai $L$-함수와 그 Langlands 매개변수의 Asai $L$-함수 사이에 기대되는 등식이 확인됨을 입증한다.

ABSTRACT

Let $K/F$ be a quadratic extension of $p$-adic fields, and $n$ a positive integer. A smooth irreducible representation of the group $GL(n,K)$ is said to be distinguished, if it admits on its space a nonzero $GL(n,F)$-invariant linear form. In the present work, we classify genric distinguished representations of the group $GL(n,K)$ in terms of inducing quasi-square-integrable representations. This has as a consequence the truth of the expected equality between the Rankin-Selberg type Asai $L$-function of a generic representation, and the Asai $L$-function of its Langlands parameter.

연구 동기 및 목표

• 모든 $p$-진체의 이차 확장인 $K/F$에 대해, $ \mathrm{GL}(n,K)$의 일반적이고 스무스하며 기약 표현 중 $ \mathrm{GL}(n,F)$에 대해 구별 가능한 표현들을 분류하는 것.
• 그러한 구별 가능한 표현들이 그들의 유도된 준제곱-integrable 표현들에 대해 정확히 어떻게 기술될 수 있는지 규명하는 것.
• 일반 표현의 랭킨-세르버그 형 Asai $L$-함수와 그 표현의 Langlands 매개변수의 Asai $L$-함수 사이에 기대되는 등식을 증명하는 것.
• 구별 가능성과 Asai $L$-함수의 제로에서의 예외적 극 사이의 대응 관계가 일반 표현에 대해서도 성립함을 확인하고, 기존의 이산 계열 결과를 일반적인 일반 표현으로 확장하는 것.

제안 방법

• 준제곱-integrable 표현들 $\Delta_1, \dots, \Delta_t$로부터 정규화된 포물선 유도를 사용하여 $ \mathrm{GL}(n,K)$의 일반 표현들을 구성하는 것.
• Jacquet 모듈의 구조를 분석하기 위해 Jacquet 모듈 이론과 표준 모듈 추측을 적용하여, 유도 데이터와 관련된 $r_{M_s,M}(\Delta)$의 성질을 분석하는 것.
• 모듈 $r_{M_s,M}(\Delta)$가 $M_s(F)$-구별 가능하다는 조건을 이용하여 $\Delta_i$에 대한 필요 조건을 유도하며, 특히 갈루아 쌍대성과 자기 쌍대성 조건을 포함하는 것.
• 유도 세그먼트의 수에 대한 귀납법을 적용하고, $n_{i_0,1} \neq 0$가 되는 가장 작은 인덱스 $i_0$를 기준으로 경우를 나누어 문제를 더 작은 부분 표현들로 환원하는 것.
• 이산 계열에 대해 $L_F^K(\pi)$와 $L_F^K(\rho)$ 사이의 알려진 등식을 바탕으로, 랭킨-세르버그 방법을 통해 일반 표현으로 결과를 확장하는 것.
• 이전 연구에서 증명된 바에 따르면, 표현이 구별 가능할 조건은 그 Asai $L$-함수가 제로에서 예외적 극을 가진다는 사실을 활용하는 것.

실험 결과

연구 질문

• RQ1 이차 확장인 $K/F$를 가진 $p$-진체에서 $ \mathrm{GL}(n,K)$의 일반 표현 $\pi$가 $ \mathrm{GL}(n,F)$에 대해 언제 구별 가능할까?
• RQ2 일반 표현 $\pi$의 Asai $L$-함수의 극과 $\pi$의 구별 가능성 사이에 정확한 관계는 무엇인가?
• RQ3 일반 표현 $\pi$의 Asai $L$-함수는 그 표현의 Langlands 매개변수의 $L$-함수와 어떻게 관련이 있는가?
• RQ4 포물선적으로 유도된 $ \mathrm{GL}(n,K)$의 일반 표현이 구별 가능해지기 위한 유도 데이터(준제곱-integrable 표현들)의 조건은 무엇인가?
• RQ5 구별 가능성과 Asai $L$-함수의 제로에서의 예외적 극이 대응한다는 추측은 이산 계열 외의 모든 일반 표현에 대해서도 성립하는가?

주요 결과

• 일반 표현 $\pi$가 $ \mathrm{GL}(n,K)$에서 $ \mathrm{GL}(n,F)$에 대해 구별 가능할 조건은, 그 유도된 준제곱-integrable 표현들 $\Delta_1, \dots, \Delta_t$가 다음 조건을 만족할 때에 한하여 성립한다: 적절한 재정렬과 정수 $r$이 존재하여, 홀수 $i \leq 2r-1$에 대해 $\Delta_{i+1}^\sigma = \Delta_i^\vee$이고, $i > 2r$인 경우 $\Delta_i$는 구별 가능하다.
• 일반 표현 $\pi$의 Asai $L$-함수 $L_F^K(\pi)$가 제로에서 예외적 극을 가질 조건은 $\pi$가 구별 가능할 때에 한하여 성립함을 보여, 일반 표현에 대해 기대된 추측을 확인한다.
• 일반 표현 $\pi$의 Asai $L$-함수는 그 표현의 Langlands 매개변수 $\rho$에 대한 고전적 $L$-함수와 정확히 일치한다: $L_F^K(\pi) = L_F^K(M_{W'_K}^{W'_F}(\rho))$, 이로써 예상되는 등식이 확인된다.
• 이 결과는 이산 계열에 대해 제기된 자크의 추측을 일반 표현으로 일반화하며, 갈루아 자가쌍대성 조건이 특정한 유도 패tern 하에서 구별 가능성으로 이어짐을 보여준다.
• 증명 과정에서 일반 경우는 Jacquet 모듈의 구조와 귀납법을 통해 이산 계열의 경우로 환원되며, 이산 계열에 대해 $L_F^K(\pi) = L_F^K(\rho)$가 성립한다는 사실을 활용한다.
• 논문은 일반 표현의 구별 가능성과 그 유도 데이터 내에서 대칭 쌍 $\Delta_i, \Delta_i^{\vee\sigma}$와 고립된 구별 가능한 세그먼트의 존재 사이에 정확한 대응 관계가 있음을 확인한다.