[논문 리뷰] A combinatorial solution to Mœglin's parametrization of Arthur packets for p-adic quasisplit $Sp(N)$ and $O(N)$

Bin Xu|arXiv (Cornell University)|2016. 03. 24.

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

한 줄 요약

이 논문은 $p$-진 쿼asi스플릿 심플렉틱군 및 옥시탈군 $Sp(N)$와 $O(N)$에 대한 아서 패킷을 조합론적 프레임워크를 사용해 완전히 매개변수화한다. 조합론적 블록과 짝수 조건을 활용하며, 모글린의 매개변수화를 명시적으로 아서 패킷의 크기와 구조를 성분군의 특성군을 통해 계산함으로써 해결한다. 이를 통해 다중도 없음을 증명하고 각 패킷 내의 기약 표현을 완전히 분류한다.

ABSTRACT

We develop a general procedure to study the combinatorial structure of Arthur packets for $p$-adic quasisplit $Sp(N)$ and $O(N)$ following the works of Mœglin. This allows us to answer many delicate questions concerning the Arthur packets of these groups, for example the size of the packets.

연구 동기 및 목표

• 이 논문은 $p$-진 쿼아시스플릿 $Sp(N)$ 및 $O(N)$에 대한 아서 패킷의 구조를 분석하기 위한 일반적인 조합론적 절차를 개발한다. 이는 모글린의 작업을 확장한 것이다.
• 아서 패킷의 매개변수화를 해결하기 위해 그 크기와 성분군의 구조를 결정한다.
• 아서 패킷 내 기약 표현과 성분군 $\widehat{\mathcal{S}_{\psi}^{\Sigma_0}}$의 특성 사이에 정규적인 대응 관계를 수립한다.
• 아서 패킷이 다중도 없음을 증명하여 자동표류 표현 이론에서 핵심 추측을 확인한다.

제안 방법

• 논문은 아서 매개변수 $\psi$의 조합론적 블록 분해 $Jord(\psi)$를 사용하여 아서 패킷 내 기약 표현을 분류한다.
• 표현 $\rho$의 유형(직교 또는 심플렉틱)에 따라 조합론적 블록 $(\rho, a, b)$에 대한 짝수 조건을 정의함으로써 성분군의 구조를 결정한다.
• 군 $\widehat{\mathcal{S}_{\psi}^{\Sigma_0}}$는 $(\mathbb{Z}/2\mathbb{Z})^{Jord(\psi_p)}$의 부분군으로서 곱 조건을 갖는다. 이는 $\mathrm{Im}\,\underline{\psi}$의 중심화군의 성분군을 코딩한다.
• 논문은 비틀린 내부 캐릭터 항등식을 사용하여 $\Pi_{\psi}^{\Sigma_0}$ 내 기약 표현과 $\widehat{\mathcal{S}_{\psi}^{\Sigma_0}}$의 특성 사이의 정규적인 이분사 사상(역사적 대응)을 구성한다.
• 특정 표현이 패킷에 포함되는지를 결정하기 위해 $l_i, A_i, B_i, \eta_i^*$를 포함하는 명시적 부등식을 유도한다. 이는 부호 조건과 다중도 제약 조건에 기반한다.
• 부호 $\eta_i^*$와 $A_i - B_i$의 짝수성에 따른 케이스 분석을 통해 패킷의 구조에 대한 완전한 조합론적 특성화를 이끌어낸다.

실험 결과

연구 질문

• RQ1 어떤 $p$-진 쿼아시스플릿 $Sp(N)$ 및 $O(N)$에 대한 아서 패킷의 정확한 조합론적 구조는 무엇이며, 어떻게 매개변수화할 수 있는가?
• RQ2 아서 패킷의 크기는 어떻게 결정되며, 그 다중도 없음을 제어하는 요소는 무엇인가?
• RQ3 성분군 $\mathcal{S}_{\psi}^{\Sigma_0}$는 패킷 내 기약 표현을 분류하는 데 어떤 역할을 하는가?
• RQ4 부호 $\eta_i^*$와 $A_i - B_i$의 짝수성은 표현이 패킷에 포함되는 데 어떤 영향을 미치는가?
• RQ5 모글린의 매개변수화를 명시적 계산이 가능한 완전한 조합론적이고 알고리즘적인 형태로 만들 수 있는가?

주요 결과

• 아서 패킷 $\bar{\Pi}_\psi$는 다중도 없음을 확인하였으며, 이는 조합론적 프레임워크를 통해 모글린의 결과를 재확인한 것이다.
• 아서 패킷 $\bar{\Pi}_\psi$의 크기는 군 $\widehat{\mathcal{S}_{\psi}^{\Sigma_0}}$의 순서와 같다. 이는 $(\mathbb{Z}/2\mathbb{Z})^{Jord(\psi_p)}$의 부분군이면서 곱 조건을 갖는다.
• $\widehat{\mathcal{S}_{\psi}^{\Sigma_0}}$는 $\mathrm{Cent}(\mathrm{Im}\,\underline{\psi}, \widehat{G}\rtimes\langle\widehat{\theta_0}\rangle)/Z(\widehat{G})^{\Gamma_F}$의 성분군의 특성군과 정규적으로 동형이다.
• 논문은 $\Pi_{\psi}^{\Sigma_0}$에 어떤 표현이 포함되는지에 대한 명시적 필요충분조건을 제시한다. 이는 부호 조건 $\eta_i^*$와 $l_i, A_i, B_i$를 포함하는 부등식에 기반한다.
• 매개변수화는 완전히 조합론적이다. $\bar{\Pi}_\psi$의 구조는 전적으로 조합론적 블록 $Jord(\psi)$와 그들의 짝수 유형에 의해 결정된다.
• 분석을 통해 $\widehat{\mathcal{S}_{\psi}^{\Sigma_0}}$와의 이분사 사상에 의해 $\Pi_{\psi}^{\Sigma_0}$ 내 기약 표현의 완전한 분류가 이뤄졌으며, 이는 모글린의 매개변수화를 구성적으로 해결한다.