[논문 리뷰] Symmetry of Arthur parameters under Aubert involution

Ban, Dubravka|ArXiv.org|2004. 01. 20.

Advanced Algebra and Geometry참고 문헌 30인용 수 8

한 줄 요약

이 논문은 $p$-진 체 $F$ 위의 $SO(2n+1,F)$의 비온도표적 표현에 대해 아우베르트 호환에 의한 아르투어 파라미터의 대칭성을 조사한다. 최근 장-수드리, 하리스-테일러, 헨니아르의 결과를 활용하여 랭글랜드 데이터와 $A$-파라미터를 명시적으로 계산함으로써, 파라미터의 두 $SL(2,\mathbb{C})$ 성분을 바꾸는 방식으로 정의된 대칭이 성립하는 것은 $k$가 홀수이고, 유도 표현 $i_{G,M}(\nu^\alpha\rho\otimes\sigma)$가 $\alpha = \frac{1}{2}$ 또는 $\alpha = 0$에서 기약임과 동치임을 보여주며, $k$가 짝수거나 $\alpha = 1$일 때는 실패함을 보여, 아우베르트 호환이 일반적으로 $A$-파라미터의 대칭성을 유지하지 않음을 밝힌다.

ABSTRACT

We consider a nontempered $A$-parameter $ψ$ of $SO(2n+1, F)$ of a certain type and the base point representation $π$ in the $A$-packet of $ψ$. Let $\hatπ$ be the Aubert involution of $π$. We compute explicitly the Langlands data of $\hatπ$ and the $A$-parameter $\hatψ$ of $\hatπ$. We investigate whether $ψ$ and $\hatψ$ are symmetric. Although symmetry holds for large classes of parameters, it does not hold in general.

연구 동기 및 목표

• 비온도표적 $SO(2n+1,F)$의 $A$-패킷에 대해 아우베르트 호환이 아르투어 파라미터의 대칭성을 유지하는지 조사하는 것.
• 기본 점 표현 $\pi$에 대응하는 특정 $A$-파라미터 $\psi$와 관련된 아우베르트 쌍대 $\hat{\pi}$의 랭글랜드 데이터와 $A$-파라미터를 명시적으로 계산하는 것.
• 파라미터 $\psi$와 $\hat{\psi}$가 대칭적일 조건, 즉 $\hat{\psi}(w,x,y) = \psi(w,y,x)$를 만족하는 조건을 규명하여 제벨린스키 호환의 행동을 일반화하는 것.
• 특히 $k$가 짝수거나 $\alpha = 1$일 경우 대칭이 실패하는 이유를 명확히 하고, 아우베르트 호환이 기본 점을 비기본 점으로 매핑하는 경우를 식별하는 것.

제안 방법

• 아우베르트 쌍대 $\hat{\pi}$의 랭글랜드 데이터를 계산하기 위해 랭글랜드-아서 형식을 사용한다.
• 장-수드리의 $SO(2\ell+1,F)$의 일반 표현에 대한 $L$-파라미터 및 유도 표현의 구조에 관한 최근 결과를 적용한다.
• 유도 표현의 구조와 구성 요소를 결정하기 위해 잭위 모듈 $r_{M,G}(\pi)$와 $r_{M,G}(\hat{\pi})$를 분석하는 데 의존한다.
• 표준 모듈 $L_s(\delta[\nu^{-m}\rho,\nu^{-m+1}\rho], \dots, \tau)$를 이용해 $\hat{\pi}$의 재귀적 구조를 $m$에 대한 귀납법으로 증명한다.
• $\pi$와 $\hat{\pi}$의 $L$-파라미터를 비교하여 $\hat{\psi}$가 형태 $\phi \otimes S_2 \otimes S_k \oplus \bigoplus \phi_i \otimes S_1 \otimes S_1$를 갖는지 여부를 판단한다.
• 특히 $\alpha = \frac{1}{2}, 0, 1$에서의 기약성 점 $\alpha$에 따라 유도 표현 $i_{G,M}(\nu^\alpha\rho \otimes \sigma)$의 성격을 기준으로 경우를 나누어 분석한다.

실험 결과

연구 질문

• RQ1 아우베르트 호환이 $SO(2n+1,F)$의 비온도표적 표현에 대해 아르투어 파라미터의 대칭성을 유지하는가? 즉, $\hat{\psi}(w,x,y) = \psi(w,y,x)$가 성립하는가?
• RQ2 $\psi = \phi \otimes S_k \otimes S_2 \oplus \bigoplus \phi_i \otimes S_1 \otimes S_1$의 파라미터에 대해 $\psi$와 $\hat{\psi}$의 대칭이 실패하는 조건은 무엇인가?
• RQ3 유도 표현 $i_{G,M}(\nu^\alpha\rho \otimes \sigma)$의 기약성 점 $\alpha$는 아우베르트 호환 하에서 $A$-파라미터의 대칭성에 어떤 영향을 미치는가?
• RQ4 기본 점 표현의 아우베르트 호환은 항상 기본 점인가? 그렇지 않다면 언제 실패하는가?
• RQ5 아우베르트 쌍대 $\hat{\pi}$의 정확한 $L$-파라미터는 무엇이며, 제벨린스키 호환에서 예상되는 대칭 형태와는 어떻게 다를까?

주요 결과

• $\alpha = \frac{1}{2}$일 때, $k$가 홀수면 대칭이 성립하여 $\hat{\psi} = \phi \otimes S_2 \otimes S_k \oplus \bigoplus \phi_i \otimes S_1 \otimes S_1$가 되지만, $k$가 짝수면 실패하여 $\hat{\psi} = \phi \otimes S_1 \otimes S_{k+1} \oplus \phi \otimes S_1 \otimes S_{k-1} \oplus \bigoplus \phi_i \otimes S_1 \otimes S_1$가 된다.
• $\alpha = 0$일 때도 $k$가 홀수면 대칭이 성립하고, $k$가 짝수면 실패하며, 이는 $\alpha = \frac{1}{2}$의 경우와 동일한 파라미터 구조를 가진다.
• $\alpha = 1$일 때는 $k$의 기수성과 관계없이 대칭이 실패하며, $\hat{\pi}$의 $L$-파라미터가 대칭 형태가 아니므로 기대되는 호환 행동이 붕괴됨을 보여준다.
• $k = 2$일 때 아우베르트 호환은 기본 점 $\pi$를 온도표적이고 비일반적인 표현 $\tau$로 매핑하며, 이는 기본 점이 아니므로 호환이 기본 점 성질을 유지하지 않음을 보여준다.
• $\alpha = 1$인 경우 $\hat{\pi}$의 $L$-파라미터 $\hat{\varphi}$는 $\bigoplus_{j=\frac{3}{2}}^{m+\frac{1}{2}} (|\cdot|^j\phi \otimes S_2 \oplus |\cdot|^{-j}\phi \otimes S_2) \oplus \phi \otimes S_3 \oplus \phi \otimes S_1 \oplus \bigoplus \phi_i \otimes S_1$이며, $j = \frac{1}{2}$ 항이 누락되어 대칭적이지 않다.
• $k=2$일 때 아우베르트 쌍대 $\hat{\pi}$의 $A$-파라미터 $\psi'$는 $\phi \otimes S_3 \otimes S_1 \oplus \phi \otimes S_1 \otimes S_1 \oplus \bigoplus \phi_i \otimes S_1 \otimes S_1$이며, 그 쌍대 $\hat{\psi}'$는 $\phi \otimes S_1 \otimes S_3 \oplus \phi \otimes S_1 \otimes S_1 \oplus \bigoplus \phi_i \otimes S_1 \otimes S_1$이므로, $\psi'$와 $\hat{\psi}'$는 대칭이지만 $\psi$와 $\hat{\psi}$는 그렇지 않음을 보여준다.