[논문 리뷰] Global Mixed Periods and local Klyachko models for the general linear group

Omer Offen, Eitan Sayag|ArXiv.org|2007. 10. 18.

Advanced Algebra and Geometry참고 문헌 9인용 수 7

한 줄 요약

이 논문은 $p$-진 필드 $F$ 위에서의 $GL_n(F)$의 모든 기약 단위 표현이 Klyachko 모델을 갖는다고 증명하며, 수체의 아デール 환경 $\mathbb{A}$에서의 모든 이산 자동형 표류 표현이 비영인 혼합 Whittaker-심플렉틱 주기성을 갖는다고 제시한다. 핵심 결과는 모든 이산 스펙트럼 표현에 대해 혼합 주기 적분이 존재하며, 국소적 대응은 유도 표현과 Jacquet 모듈을 통해 모든 기약 단위 표현이 Klyachko 모델을 갖는다는 것을 증명한다.

ABSTRACT

We show that every irreducible representation in the discrete automorphic spectrum of GL(n) admits a non vanishing mixed (Whittaker-symplectic) period integral. The analog local problem is a study of models first considered by Klyachko over a finite field. Locally, we show that for a p-adic field F every irreducible, unitary representation of GL(n,F) has a Klyachko model.

연구 동기 및 목표

• 이산 자동형 스펙트럼에 속하는 $GL_n(\mathbb{A})$의 모든 기약 표현에 대해 혼합 Whittaker-심플렉틱 주기 적분의 존재를 확립하는 것.
• 이전의 순수 Whittaker 및 심플렉틱 주기 결과를 일반화하여, 심플렉틱 및 Whittaker 모델 이론을 전역 혼합 설정으로 확장하는 것.
• 모든 기약 단위 표현이 $p$-진 필드 위에서 $GL_n(F)$에 대해 Klyachko 모델을 갖는다는 것을 증명하는 것. 이는 이전에 $n \leq 4$에 대해 얻어진 결과를 일반화하는 것이다.
• 전역 혼합 주기와 국소적 Klyachko 모델 간의 국소-전역 대응을 인자 분해 및 Jacquet 모듈 기법을 통해 제공하는 것.

제안 방법

• 전역 결과는 Eisenstein 급수의 다중 잔여치에 대한 혼합 주기 적분의 인수분해를 통해 도출되며, Whittaker 주기와 심플렉틱 주기를 연결한다.
• 국소 분석은 Langlands 매개변수를 통한 기약 단위 표현의 분류와 형태 $U(\delta,t)[\alpha]$의 유도 표현의 구조를 사용한다. 여기서 $\delta$는 단위 표현이다.
• Jacquet 모듈은 유도 표현의 $r$-번째 도함수를 분석하는 데 사용되며, 문제를 짝수 $t$를 갖는 Speh 표현으로 줄여내며, 이러한 표현들은 심플렉틱 모델을 갖는 것으로 알려져 있다.
• 증명은 도함수의 재귀적 구조와 [OS07]에서 확립된 바와 같이, 특정 유도 표현 위에서 비영인 $Sp(2k)$-불변 함수형의 존재에 의존한다.
• 핵심 기술 도구는 유도 표현의 쌍대 표현을 사용하고, $r$-번째 도함수가 쌍대성과 호환됨을 이용하여 기존의 경우로 축소하는 것이다.
• Klyachko 모델의 구성은 Jacquet 모듈의 구조와 심플렉틱 모델에 관한 기존 결과를 활용하여, 표현의 $r$-번째 도함수 위에서 비영인 $H_{r,2k}$-불변 함수형의 존재를 보여줌으로써 이루어진다.

실험 결과

연구 질문

• RQ1 모든 기약 이산 자동형 표현 $\pi$가 $GL_n(\mathbb{A})$에 대해 어떤 $r, k$에 대해 $n = r + 2k$를 만족할 때 비영인 혼합 Whittaker-심플렉틱 주기 적분을 갖는가?
• RQ2 모든 기약 단위 표현 $\pi$가 $p$-진 필드 $F$ 위에서 $GL_n(F)$에 대해 Klyachko 모델을 갖는가? 즉, 특성 $\psi_r$를 갖는 비영인 $H_{r,2k}$-불변 함수형이 존재하는가?
• RQ3 이러한 모델의 존재가 Langlands 분류와 표현을 Speh 유형 성분으로 분해함으로써 정의된 $\kappa(\pi)$ 불변량을 통해 균일하게 매개변수화될 수 있는가?
• RQ4 특히 주기 적분의 인수분해를 통해, 전역 혼합 주기와 국소적 Klyachko 모델 간에 국소-전역 호환성이 존재하는가?

주요 결과

• 모든 기약 이산 자동형 표현 $\pi$는 $0 \leq k \leq \lfloor n/2 \rfloor$를 만족하는 어떤 $k$에 대해 $(H_{n-2k,2k}, \psi_{n-2k})$-구별 가능하다. 특히 $k = \kappa(\pi)$로 정의된 값에 대해 성립한다.
• 모든 기약 단위 표현 $\pi$가 $p$-진 필드 $F$ 위에서 $GL_n(F)$에 대해 Klyachko 모델을 갖는다. 즉, 특성 $\psi_r$를 갖는 비영인 $H_{r,2k}$-불변 함수형이 존재하며, 여기서 $r = n - 2k$이고 $k = \kappa(\pi)$이다. $\kappa(\pi)$는 $\pi$를 유도된 Speh 유형 표현으로 분해함으로써 정의된다.
• Eisenstein 급수의 다중 잔여치에 대한 혼합 주기 적분은 Whittaker 및 심플렉틱 주기 적분의 곱으로 분해되며, 이는 전역 결과가 국소적 성질로부터 유도될 수 있음을 가능하게 한다.
• 형태 $U(\delta,t)[\alpha]$의 표현의 $r$-번째 Jacquet 모듈은 $r \leq \sum r_i$일 때에만 비영이며, $r > \sum r_i$일 때는 영이 된다. 이는 유도 표현의 구조를 제어하는 데 사용된다.
• 표현의 $r$-번째 도함수 위에서 비영인 $Sp(2k)$-불변 함수형의 존재는, 사상의 조합을 통해 원래 표현 위에서 비영인 $H_{r,2k}$-불변 함수형의 존재를 암시한다.
• Heim과 Rallis가 $n \leq 4$에 대해 Klyachko 모델의 존재를 증명한 이전 작업을, 모든 $n$과 모든 기약 단위 표현에 대해 $p$-진 필드 위에서 일반화한 결과이다.