[논문 리뷰] On Mœglin's parametrization of Arthur packets for p-adic quasisplit $Sp(N)$ and $SO(N)$

Bin Xu|arXiv (Cornell University)|2015. 07. 29.

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

한 줄 요약

이 논문은 $p$-진 쿼asi스플릿 심플렉틱 및 올림픽 군 $Sp(N)$와 $SO(N)$에 대한 아르투어 패킷의 모글린(parametrization)에 대한 종합적인 서베이를 제공하며, 그녀의 구성과 아르투어의 원래 프레임워크를 비교한다. 이는 아르투어 패킷에 속하는 표현들이 $W_F \times SL(2,\mathbb{C}) \times SL(2,\mathbb{C})$를 포함하는 특정 $L$-파arameter에 의해 매개변수화됨을 확립하며, 두 번째 $SL(2,\mathbb{C})$는 단조성 데이터를 캐리하고, 모글린의 구성이 이러한 매개변수와 패킷 내 무작위 표현 사이의 전단사 관계를 제공함을 증명한다.

ABSTRACT

We give a survey on Mœglin's construction of representations in the Arthur packets for $p$-adic quasisplit symplectic and orthogonal groups. The emphasis is on comparing Mœglin's parametrization of elements in the Arthur packets with that of Arthur.

연구 동기 및 목표

• 모글린의 $p$-진 쿼اسي스플릿 $Sp(N)$ 및 $SO(N)$에 대한 아르투어 패킷 내 표현 구성의 명확화 및 체계화, 이는 일반선형군의 경우보다 덜 이해된 상태에 있다.
• 모글린의 아르투어 패킷 원소 매개변수화를 아르투어의 원래 프레임워크와 비교하여, 특히 $L$-파arameter 및 그 기하학적 해석 측면에서.
• 일반화된 스펄 표현 $Sp(St(\rho,a),b)$ 가 심플렉틱 및 올림픽 군에 대한 이산 시리즈 및 아르투어 패킷의 기본 구성 요소임을 증명.
• 단위성인 $\psi|_{W_F}$ 및 대수적인 $\psi|_{SL(2,\mathbb{C}) \times SL(2,\mathbb{C})}$ 조건을 만족하는 $L$-파라미터 $\psi: W_F \times SL(2,\mathbb{C}) \times SL(2,\mathbb{C}) \to GL(n,\mathbb{C})$를 통한 아르투어 패킷의 매개변수화가 패킷 내 무작위 표현과 전단사 관계를 맺음을 증명.
• 기본 매개변수에 국한하여 일반화된 아우베르트 대칭의 이론을 심플렉틱 및 올림픽 경우로 확장하고, 그 매개변수화와의 호환성을 증명.

제안 방법

• GL(n)의 제레브스키 이론을 사용하여 세그먼트 $[x,y]$ 및 일반화된 세그먼트를 정의하며, 감소/증가하는 행과 열을 가진 행렬로 표현하고, 유일한 무작위 부분표현을 $<\{x_{ij}\}_{m\times n}>$로 표기한다.
• 일반화된 스펄 표현 $Sp(St(\rho,a),b)$ 는 정규화된 유도 $\prod_{i=-(b-1)/2}^{(b-1)/2} St(\rho,a)||^{i}$ 의 유일한 무작위 부분표현으로 구성되며, 특정한 $m\times n$ 행렬의 지수로 표현된다.
• Sp(N) 및 SO(N)의 아르투어 패킷을 $\sum l_i a_i b_i d_{\rho_i} = N$ 를 만족하는 튜플 $(\rho_i, a_i, b_i, l_i)$ 를 통해 매개변수화하며, 패킷 원소는 $\prod_i \big(\prod_{j=1}^{l_i} Sp(St(\rho_i,a_i),b_i)\big)$ 로 주어진다.
• L-파라미터 $\psi = \bigoplus l_i (\rho_i \otimes \nu_{a_i} \otimes \nu_{b_i})$ 를 식별하고, 여기서 $\nu_k$ 는 $SL(2,\mathbb{C})$ 의 $(k-1)$-번째 대칭거듭제곱 표현이며, 이는 패킷 원소와의 전단사 관계를 제공함을 보인다.
• 패킷 내 표현에 대해 일반화된 아우베르트 대칭 $inv_{<X_0}$ 를 정의하며, 이는 $<x_0$-세그먼트로 제한된 파라보릭 유도 및 자크엣 함수를 통해 정의되며, 추적 항등식을 통한 매개변수화와의 호환성을 증명한다.
• 항등식 $[inv_{<X_0}(\pi)] = \overline{inv}_{<X_0}([\pi])$ 를 사용하고, 끝부분에서 내셔널리티 설정에서 루트 시스템 및 웨일 군 분석을 통해 일반화된 아우베르트 다이어그램 (6.9) 및 (6.17)의 가환성을 증명한다.

실험 결과

연구 질문

• RQ1 모글린의 $p$-진 $Sp(N)$ 및 $SO(N)$에 대한 아르투어 패킷 표현의 매개변수화는 아르투어의 원래 프레임워크와 어떻게 비교되는가?
• RQ2 아르투어 패킷에 속한 표현을 분류하는 $L$-파라미터 $\psi: W_F \times SL(2,\mathbb{C}) \times SL(2,\mathbb{C}) \to GL(n,\mathbb{C})$ 의 정확한 구조는 무엇인가?
• RQ3 일반화된 스펄 표현 $Sp(St(\rho,a),b)$ 는 어떻게 심플렉틱 및 올림픽 군의 이산 시리즈 및 아르투어 패킷 구성의 기본 구성 요소로 나타나는가?
• RQ4 일반화된 아우베르트 대칭이 매개변수화와 어떤 의미에서 호환되는가? 어떤 조건에서 패킷 구조와 가환하는가?
• RQ5 L-파라미터의 두 번째 $SL(2,\mathbb{C})$ 요소는 아르투어 패킷 내 표현의 단조성 데이터를 어떻게 캐리하는가?

주요 결과

• 모글린의 구성은 $p$-진 $Sp(N)$ 및 $SO(N)$에 대한 아르투어 패킷 내 무작위 표현과 $L$-파라미터 $\psi: W_F \times SL(2,\mathbb{C}) \times SL(2,\mathbb{C}) \to GL(n,\mathbb{C})$ 사이의 전단사 관계를 제공하며, 여기서 $\psi|_{W_F}$ 는 단위성이고 $\psi|_{SL(2,\mathbb{C}) \times SL(2,\mathbb{C})}$ 는 대수적이다.
• 일반화된 스펄 표현 $Sp(St(\rho,a),b)$ 는 $b$ 개의 $St(\rho,a)$ 복사본을 $||^{-(b-1)/2}$ 에서 $||^{(b-1)/2}$ 까지의 특성으로 스케일링한 정규화된 유도의 유일한 무작위 부분표현으로 실현되며, 특정한 $b \times a$ 행렬의 지수로 표현된다.
• Sp(N) 및 SO(N)의 아르투어 패킷은 $l_i$ 개의 $Sp(St(\rho_i,a_i),b_i)$ 복사본의 곱으로 생성되며, 총 차원 조건 $\sum l_i a_i b_i d_{\rho_i} = N$ 이 성립한다.
• L-파라미터의 두 번째 $SL(2,\mathbb{C})$ 요소는 단조성 데이터를 캐리하며, $\nu_{a_i}$ 는 $(a_i-1)$-번째 대칭거듭제곱 표현이며, 이 요소는 패킷 내 표현을 구분하는 데 필수적이다.
• 일반화된 아우베르트 대칭 $inv_{<X_0}$ 는 패킷 구조를 유지하며, 기본 매개변수에 제한된 경우 추적 항등식 및 루트 시스템에 대한 웨일 군 작용을 통해 매개변수화와 가환함을 증명한다.
• G(n - \sum a_i d_{\rho_i}) = SO(2) 인 경우, 비틀린 자크엣 함수는 비틀리지 않은 것과 부호만 다를 뿐이며, 이는 특성 추적에서 상쇄되므로 $f_G(inv^\theta_{<X_0}(\pi^{\Sigma_0})) = f_G(inv_{<X_0}(\pi^{\Sigma_0}))$ 가 $f \in C_c^\infty(G \rtimes \theta_0)$ 에 대해 성립한다.