[논문 리뷰] Paquets d'Arthur discrets pour un groupe classique p-adique

Colette Mœglin|arXiv (Cornell University)|2004. 12. 16.

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

한 줄 요약

이 논문은 $\psi: W_F \times SL(2,\mathbb{C}) \to {}^L G$ 형태의 Langlands-Luminy 매개변수를 사용하여 고전적 $p$-진 군에 대해 이산 아서 패키지를 구성한다. 여기서 $\psi$는 이산적이다(즉, ${}^L G^0$에서의 중심화자 집합이 유한하다). 구성은 $Cent_{{}^L G}(\psi)$의 각 문자 $\epsilon$에 대해 그레오트렌트 군에 속하는 표현 $\pi(\psi, \epsilon)$를 할당하며, 일반적으로 이 표현은 기약적이지 않다. 핵심 결과는 가중합 $\sum_\epsilon \epsilon(z)\pi(\psi, \epsilon)$가 엔도스코픽 전이에 대해 안정적이라는 것이다. 이는 관련된 $\psi \circ \Delta$-패키지가 안정적이라는 조건 하에 성립하며, 이는 이전의 엔도스코픽 전이 및 랭랜즈 매개변수에 대한 결과를 일반화한다.

ABSTRACT

In this paper we construct some packets of representations which have to correspond to relatively general Arthurs packets; this is for any classical group $G$ over a p-adic field $F$. An Arthur's packet correspond to a map $ψ$ from $W_{F} imes SL(2,{\mathbb C}) imes SL(2,{\mathbb C})$ into the $L$-group of $G$. The packets we consider here have the property that the centralizer of $ψ$ in the dual group is a finite groupe. Our construction is a combinatorial one which reduce the study of the representations in such a packet to tempered representation of eventualy smaller groups; in fact we give a precise description of the representations associated to $ψ$ and a character of the centralizer of $ψ$ in the L-group in the Grothendieck group. Stability properties follow easily from analogous properties for the tempered packet which enter the situation.

연구 동기 및 목표

• 고전적 $p$-진 군에 대해 이산 랭랜즈-루미에르 매개변수 $\psi: W_F \times SL(2,\mathbb{C}) \to {}^L G$를 사용하여 이산 아서 패키지를 구성한다.
• 결과로 얻어지는 표현이 일반적으로 기약적이지 않더라도, $Cent_{{}^L G}(\psi)$의 문자를 통해 패키지 내 표현을 매개변수화한다.
• 가중합 $\sum_\epsilon \epsilon(z)\pi(\psi, \epsilon)$가 안정적 분포임을 입증하여 엔도스코픽 전이와의 호환성을 확보한다.
• 아우베르트-슐라이퍼-슈탈러 쌍대성과 이와하라-마츠모토의 역전위를 비온도, 비기본적인 경우로 일반화한다.
• 이차형이 아닌 경우를 포함한 아서 패키지의 조합론적 프레임워크를 $\psi$의 기약 성분 $\rho \otimes Rep_a \otimes Rep_b$로의 분해를 통해 제공한다.

제안 방법

• 매개변수 $\psi$를 기약 성분 $\rho \otimes Rep_a \otimes Rep_b$로 분해한다. 여기서 $\rho$는 $W_F$의 자기대칭 표현이며, $A = (a+b)/2 - 1$, $B = |a-b|$, $\zeta = \text{sign}(a-b)$로 정의한다.
• 이 분해로부터 유도되는 사중조 $(\rho, A, B, \zeta)$의 집합을 $Jord(\psi)$로 정의한다.
• $Cent_{{}^L G}(\psi)$의 문자 $\epsilon$를 함수 $Jord(\psi) \to \{\pm 1\}$로 식별한다.
• 아우베르트-슐라이퍼-슈탈러 쌍대성의 일반화된 공식을 통해 유한 길이 표현의 그레오트렌트 군 내에서 $\pi(\psi, \epsilon)$를 구성한다.
• 자코벳 함수와 엔도스코픽 전이를 사용하여 $\pi(\psi, \epsilon)$를 $\Delta$가 $SL(2,\mathbb{C})$의 대각선 포함사상인 $\psi \circ \Delta$에 관련된 표현들과 연결한다.
• 자코벳 함수에 대한 보존성과 $\psi \circ \Delta$-패키지의 안정성에서 유도된 안정성의 유전성을 통해 합 $\sum_\epsilon \epsilon(z)\pi(\psi, \epsilon)$의 안정성을 증명한다.

실험 결과

연구 질문

• RQ1 랭랜즈 매개변수 $\psi$가 기본적이지 않은 경우, 고전적 $p$-진 군에 대해 이산 아서 패키지를 어떻게 구성할 수 있는가?
• RQ2 아서 패키지 내 비온도, 비기본 표현에 대해 아우베르트-슐라이퍼-슈탈러 쌍대성의 올바른 일반화는 무엇인가?
• RQ3 가중합 $\sum_\epsilon \epsilon(z)\pi(\psi, \epsilon)$가 안정적 분포가 되는 조건은 무엇이며, 이는 엔도스코픽 전이와의 호환성을 보장하는가?
• RQ4 $\psi$가 두 번째 $SL(2,\mathbb{C})$ 성분에서 자명한 경우, 표현 $\pi(\psi, \epsilon)$는 어떻게 행동하며, 언제 0이 되는가?
• RQ5 결과로 얻어진 $\pi(\psi, \epsilon)$가 기약적이지 않더라도 중심화자 $Cent_{{}^L G}(\psi)$를 사용하여 표현을 매개변수화할 수 있는가?

주요 결과

• 각 $Cent_{{}^L G}(\psi)$의 문자 $\epsilon$에 대해 그레오트렌트 군 내 표현 $\pi(\psi, \epsilon)$를 할당하며, 일반적으로 이 표현은 기약적이지 않다.
• 관련된 $\psi \circ \Delta$-패키지가 안정적이라면, 합 $\sum_\epsilon \epsilon(z)\pi(\psi, \epsilon)$는 안정적 분포이다. 이는 자코벳 함수에 대한 보존성에 의해 입증된다.
• 기본적인 경우, 즉 $Cent_{{}^L G}(\psi) \to Cent_{{}^L G}(\psi \circ \Delta)$가 동형사상이라면, $\epsilon \mapsto \pi(\psi, \epsilon)$는 단사적이며, 이로 유도된 표현들은 기약적이다.
• 특히 $G = SO(2n+1)$이고 $\psi$가 프로베니우스를 통해 인코딩되는 경우, [14]와 [9]의 결과에 의해 합의 안정성이 보장되며, 기존의 구성과 일관됨을 확인한다.
• 명시적인 예시에서 $\psi$와 $\epsilon$에 대해 $\pi(\psi, \epsilon) = 0$임을 보여주며, 예를 들어 $Jord(\psi) = \{(tr_{W_F}, 3/2, 3/2, +), (tr_{W_F}, 1/2, 1/2, +), (tr_{W_F}, 1/2, 1/2, -)\}$이고 $\epsilon = (-, +, -)$일 경우, 엔도스코픽 전이와의 일관성을 유지한다.
• 이 방법은 이와하라-마츠모토의 역전위를 일반화하고, 아우베르트-슐라이퍼-슈탈러 쌍대성을 비온도, 비기본 매개변수로 확장하며, 아서 패키지에 대한 조합론적 프레임워크를 제공한다.