[논문 리뷰] On Unitary Representations of GL2n Distinguished by the Symplectic Group

Omer Offen, Eitan Sayag|ArXiv.org|2008. 06. 25.

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

한 줄 요약

이 논문은 자동형식과 Tadić의 분류를 사용하여 $p$-진 체 $F$ 위의 $GL_{2n}(F)$의 특정한 무한소, 유니터리 표현의 가닥을 $H = Sp_{2n}(F)$에 대해 특징짓는 것을 입증한다. 주요 결과는 이러한 표현들이 비영인 $H$-불변 선형 함수를 가짐을 확인하며, 이후의 연구와 함께 이 가닥이 $GL_{2n}(F)$의 모든 유니터리, $H$-특징화된 표현을 포함함을 보여준다.

ABSTRACT

We provide a family of representations of GL(2n) over a p-adic field that admit a non-vanishing linear functional invariant under the symplectic group (i.e. representations that are Sp(2n)- distinguished). While our result generalizes a result of M. Heumos and S. Rallis our methods, unlike their purely local technique, re- lies on the theory of automorphic forms. The results of this paper together with later works by the authors imply that the family of representations studied in this paper contains all irreducible, unitary representations of the general linear group that are distin- guished by the symplectic group.

연구 동기 및 목표

• 대칭군 $H = Sp_{2n}(F)$에 대해 불변인 $GL_{2n}(F)$의 기약, 유니터리 표현을 식별하고 특성화하는 것.
• Heumos와 Rallis의 $p$-진 $H$-특징화된 표현에 대한 연구를 국소적 방법이 아닌 전역 자동형식 기법을 사용해 확장하는 것.
• 연구된 표현의 가닥이 $GL_{2n}(F)$의 모든 기약, 유니터리 $H$-특징화된 표현을 포함함을 입증하여 Klyachko 모델에 대한 추측을 완성하는 것.
• 모든 기약 유니터리 표현이 고유한 Klyachko 모델을 갖는다는 것을 증명하기 위한 기초를 마련하는 것. 특히, 대칭 모델은 $H$-특징화와 관련된다.

제안 방법

• Tadić의 $GL_{2n}(F)$의 유니터리 이중체 분류를 사용하여 표현을 $U(\delta, 2m)$와 $\pi(U(\delta, 2m), \alpha)$의 곱으로 표현하며, $|\alpha| < 1/2$이다.
• 정규화된 방사적 유도와 유도 표현의 구조를 적용하여 $H$-불변 함수형의 존재를 분석한다.
• 특히 대칭 모델 $\mathcal{M}_{2n,n}$을 포함한 Klyachko 모델 이론을 활용하여, $H$-특징화를 비영인 $GL_{2n}(F)$-상호작용 사상이 이 모델에 존재함으로써 재정의한다.
• 유니터리 표현의 행렬 계수를 분석하고, 그 유계성을 통해 Whittaker 모델과 Eisenstein 급수 기법에서 유도된 적분의 수렴성을 제어한다.
• 상호작용 연산자의 핵심 적분 표현을 적용하고, 행렬의 부분행렬 노름과 모듈러스 특성 $\delta_Q^s$의 경계를 사용하여 $\text{Re}(s)$가 충분히 클 경우 절대 수렴을 증명한다.
• 보조적 주장에 의존한다: (1) $\|\epsilon_{R_{i,j}} \text{diag}(k_1,\dots,k_t)\sigma_k(X)\|$ 는 $\prod \lambda(X_i)$의 거듭제곱으로부터 아래와 위로 유계이며, (2) $\delta_Q^s(p(\sigma_k(X))) \leq \left(\prod \lambda(X_i)\right)^{-s}$ 이다. 이를 통해 적분의 수렴성을 제어한다.

실험 결과

연구 질문

• RQ1 기약, 유니터리 표현 중에서 $H = Sp_{2n}(F)$에 대해 불변인 비영인 선형 함수형을 갖는 $GL_{2n}(F)$ 표현은 무엇인가?
• RQ2 표현을 $U(\delta, 2m)$와 $|\alpha| < 1/2$인 $\pi(U(\delta, 2m), \alpha)$를 통해 구성한 가닥이 이러한 $H$-특징화된 유니터리 표현을 모두 포함하는가?
• RQ3 특정히 대칭 모델 $\mathcal{M}_{2n,n}$을 통해 유니터리 표현의 $H$-특징화를 특성화할 수 있는가?
• RQ4 전역 자동형식 이론은 국소적 $H$-특징화를 어떻게 도와주는가? 특히 순수 국소적 방법과 비교하여 어떻게 다른가?

주요 결과

• 논문은 $GL_{2n}(F)$의 모든 기약, 유니터리 표현 중에서 $H$-특징화된 표현이 $U(\delta, 2m)$와 $|\alpha| < 1/2$인 $\pi(U(\delta, 2m), \alpha)$를 통해 구성된 가닥에 속함을 증명하며, 이러한 표현의 분류를 완성한다.
• 이 표현들에서 비영인 $H$-불변 선형 함수형의 존재는 행렬 계수와 모듈러스 특성 $\delta_Q^s$를 포함하는 핵심 적분의 수렴성에 의해 입증되며, 이는 $\text{Re}(s)$가 충분히 클 때 유효하다.
• 수렴성은 두 가지 핵심 경계에 의존한다: $\|\epsilon_{R_{i,j}} \text{diag}(k_1,\dots,k_t)\sigma_k(X)\|$ 는 $\prod \lambda(X_i)$의 거듭제곱으로 유계이며, $\delta_Q^s(p(\sigma_k(X)))$ 는 $\left(\prod \lambda(X_i)\right)^{-s}$ 의 정도로 감쇠한다.
• 표현 $\otimes_{j=1}^t \delta_j^{\otimes m_j}$ 의 행렬 계수는 유계이므로, 주요 적분의 integrand가 일관되게 유계임을 보장한다.
• 상호작용 연산자의 적분 표현은 $\text{Re}(s)$가 충분히 클 경우 절대 수렴하며, 이는 $H$-불변 함수형의 존재를 암시한다.
• 저자들의 후속 연구와 함께 이 결과는 연구된 표현의 가닥이 $GL_{2n}(F)$의 모든 기약, 유니터리 $H$-특징화된 표현을 포함함을 확인하며, Klyachko 추측의 국소적 형태를 해결한다.