[논문 리뷰] The explicit Zelevinsky-Aubert duality

Hiraku Atobe, Alberto Mínguez|arXiv (Cornell University)|2020. 08. 13.

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

한 줄 요약

이 논문은 $p$-진 심플렉틱군과 홀수 특수 직교군의 기약 스무스 표현의 Zelevinsky–Aubert 쌍대를 결정하는 명시적이고 계산 가능한 알고리즘을 제공한다. 파생물과 소클의 명시적 공식을 확립하고, 내부 분류와 Langlands 데이터를 사용하여 원래 표현의 Langlands 매개변수로부터 쌍대 표현을 알고리즘적으로 계산할 수 있게 되어, 국소 비아르키메데스 체 위의 고전군 표현 이론에서 핵심 문제를 해결한다.

ABSTRACT

In this paper, we give an explicit computable algorithm for the Zelevinsky-Aubert dual of irreducible representations of $p$-adic symplectic and odd special orthogonal groups. To do this, we establish explicit formulas for certain derivatives and socles. We also give a combinatorial criterion for the irreducibility of certain parabolically induced representations.

연구 동기 및 목표

• GL_n(F)에 대한 Mœglin–Waldspurger 알고리즘을 고전군, 특히 심플렉틱군과 홀수 특수 직교군으로 확장한다.
• 어떤 기약 스무스 표현의 Zelevinsky–Aubert 쌍대의 Langlands 데이터를 결정하는 완전히 명시적이고 계산 가능한 알고리즘을 제공한다.
• 양의 경우와 비순수 총근의 경우에 대해 $\rho$-파생물과 소클의 명시적 공식을 수립하여 알고리즘적 계산을 가능하게 한다.
• 고전군의 맥락에서 폴라비크 유도 표현의 기약성에 대한 조합적 기준을 제시한다.
• 쌍대가 단위성(unitarity)을 유지하는지 확인하고, 특정 Langlands 몫과 같은 쌍대에 대한 고정점을 규명한다.

제안 방법

• 저자들은 $G_n = \mathrm{Sp}_{2n}(F)$ 또는 $\mathrm{SO}_{2n+1}(F)$의 기약 표현에 대해 $\rho$-파생물을 정의하고 계산하며, 최대 $\rho$-파생물 $D_\rho^{\max}(\pi)$를 사용하여 $\pi$를 순수 총근 자료로 분해한다.
• 특히 양의 경우와 비순수 총근의 경우에 대해 $S_Z^{(k)}$-함수를 사용하여 폴라비크 유도 표현의 소클에 대한 명시적 공식을 도출한다.
• 쌍대와 잭게트 함수의 가환성이 알고리즘의 핵심이 되며, $D_\rho^{\max}(\hat{\pi}) = D_{\rho^\vee}^{\max}(\hat{\pi})$를 보장하여 쌍대가 반대표현의 쌍대와 연결됨을 보장한다.
• 이 방법은 Arthur의 내부 분류와 Mœglin의 국소 $L$-패킷 구축을 기반으로 하며, Langlands 데이터로 표현을 매개변수화한다.
• 알고리즘은 기존의 기약성 결과와 유도 표현의 구조를 활용하여 파생물과 소클을 재귀적으로 계산한다.
• 핵심 기술 도구는 $D_G(\Pi)$-구성법(Aubert의 호환)과 Langlands 몫에서의 $S_Z^{(k)}$-함수의 명시적 계산이다.

실험 결과

연구 질문

• RQ1 기약 표현에 대해 $p$-진 심플렉틱군과 홀수 특수 직교군에서 Zelevinsky–Aubert 쌍대를 어떻게 명시적으로 계산할 수 있는가?
• RQ2 양의 경우와 비순수 총근의 경우에 대해 폴라비크 유도 표현의 $\rho$-파생물과 소클에 대한 명시적 공식은 무엇인가?
• RQ3 고전군의 맥락에서 폴라비크 유도 표현의 기약성에 대해 조합적 기준을 제시할 수 있는가?
• RQ4 어떤 표현들이 Zelevinsky–Aubert 쌍대에 대해 고정점이 되며, 이러한 고정점은 어떻게 특성화할 수 있는가?
• RQ5 쌍대가 고전군 설정에서 내부 분류와 Langlands 매개변수와 어떻게 상호작용하는가?

주요 결과

• 논문은 $\mathrm{Sp}_{2n}(F)$와 $\mathrm{SO}_{2n+1}(F)$의 기약 표현에 대해 $\pi$의 Langlands 매개변수로부터 $\hat{\pi}$의 Langlands 매개변수를 계산할 수 있는 명시적 알고리즘을 제공한다.
• $\pi = L(\Delta[0,-2], \Delta[0,-1]; \pi(3^+))$인 경우, $\hat{\pi} = \pi$임을 보여주어 이 표현이 쌍대에 대해 고정됨을 확인한다.
• $\pi(1^+,1^+,3^+,5^-,5^-)$의 쌍대는 $L(\Delta[-1,-2], |\cdot|^{-2}, |\cdot|^{-1}; \pi(1^-,1^-,1^-,1^-,3^+))$로 계산되며, 이는 알고리즘의 효과를 입증한다.
• $\pi(1^-,1^-,3^+,5^-,5^-)$의 쌍대는 $L(\Delta[0,-2], |\cdot|^{-2}, |\cdot|^{-1}; \pi(1^-,1^-,3^+))$이며, 이 두 표현의 합은 $\mathbf{1}_{\mathrm{GL}_1(F)} \rtimes L(\Delta[-1,-2], |\cdot|^{-2}, |\cdot|^{-1}; \pi(1^-,1^-,3^+))$와 동형이다.
• 논문은 $L(\Delta[0,-2]; \pi(1^-,1^-,3^+))$가 쌍대에 대해 고정됨을 증명하였으며, 이는 이전 연구로는 유도되지 않는 결과이다.
• 알고리즘은 완전히 계산 가능하며, $S_Z^{(k)}$-소클과 $\rho$-파생물의 명시적 공식에 의존하여 고전군 설정에서 쌍대를 체계적으로 계산할 수 있다.