[논문 리뷰] On the cuspidal support of discrete series for $p$-adic quasisplit $Sp(N)$ and $SO(N)$

Bin Xu|arXiv (Cornell University)|2015. 04. 30.

Advanced Algebra and Geometry참고 문헌 25인용 수 15

한 줄 요약

이 논문은 아르투어의 엔도스코픽 분류를 사용하여 준단일 $p$-진 심플렉틱 및 올림픽 군에 대한 이산 계열 표현의 분류를 재증명하며, 모글린-타디치의 총근지지 이론과 아르투어의 $L$-패킷 구조 사이의 직접적인 연결을 확립한다. 이는 이산 계열 표현이 특정 초초급 표현의 세그먼트와 유일하게 대응되며, 엔도스코픽 자료에 의해 $L$-패킷 구조가 결정됨을 보여준다.

ABSTRACT

Zelevinsky's classification theory of discrete series of $p$-adic general linear groups has been well known. Mœglin and Tadic gave the same kind of theory for $p$-adic classical groups, which is more complicated due to the occurrence of nontrivial structure of L-packets. Nonetheless, their work is independent of the endoscopic classification theory of Arthur (also Mok in the unitary case), which concerns the structure of L-packets in these cases. So our goal in this paper is to make more explicit the connection between these two very different types of theories. To do so, we reprove the results of Mœglin and Tadic in the case of quasisplit symplectic groups and orthogonal groups by using Arthur's theory.

연구 동기 및 목표

• 이산 계열 표현의 모글린-타디치의 총근지지 분류와 아르투어의 엔도스코픽 분류에 의한 $L$-패킷 분류 간의 관계를 명확히 하기 위해.
• 특수한 방법이 아닌 아르투어의 프레임워크를 사용하여 준단일 $Sp(N)$ 및 $SO(N)$에 대한 이산 계열 분류를 재유도하기 위해.
• 이산 계열 표현의 총근지지가 그 엔도스코픽 자료와 세그먼트 구조에 의해 유일하게 결정됨을 보여주기 위해.
• 엔도스코픽 전이를 통해 $L$-패킷의 구조와 총근지지가 호환되는 통합적 관점을 제공하기 위해.

제안 방법

• 아르투어의 엔도스코픽 분류를 활용하여 $p$-진 $Sp(N)$ 및 $SO(N)$에 대한 이산 계열 표현의 총근지지를 재유도한다.
• 레비 부분군의 초초급 표현으로부터 정규화된 평행 유도를 적용하여 표현을 구성한다.
• 표현 간 비교를 위해 $\delta$-함수, $D$-함수 및 상호연결 연산자를 포함한 특성 항등식을 활용한다.
• 표현 $(M, \pi_{\text{cusp}})$ 에 대한 $G(F)$ 의 코너제이션 작용을 분석하여 동치류에 관해 총근지지를 정의한다.
• 베른슈타인-체레비스키 정리를 적용하여 모든 기약 표현이 평행 유도로부터 유래됨을 보장한다.
• 작은 $|z|$ 에서 특성 합의 소멸에 관한 핵심 보조정리를 적용하여 특성 전개에서 계수의 등식을 증명한다.

실험 결과

연구 질문

• RQ1 아르투어의 분류에 따라 $Sp(N)$ 또는 $SO(N)$의 이산 계열 표현의 총근지지가 엔도스코픽 자료와 어떻게 관련되어 있는가?
• RQ2 아르투어의 엔도스코픽 프레임워크를 사용하여 모글린-타디치의 이산 계열 분류를 재구성할 수 있는가?
• RQ3 클래식 군에 대한 이산 계열 표현의 총근지지 구조에서 $L$-패킷의 정확한 역할은 무엇인가?
• RQ4 정규화된 평행 유도와 특성 항등식이 엔도스코픽 설정에서 어떻게 상호작용하는가?
• RQ5 동일한 총근지지를 가진 두 표현이 동형이거나 엔도스코픽 전이를 통해 관련이 되기 위한 조건은 무엇인가?

주요 결과

• 이산 계열 표현 $Sp(N)$ 또는 $SO(N)$의 총근지지는 그 엔도스코픽 자료와 유도 초초급 표현의 세그먼트 구조에 의해 유일하게 결정된다.
• 모든 이산 계열 표현은 $\rho$ 가 단위 초초급일 때 유일한 기약 부분표현으로서 $\langle \rho; x, \dots, y \rangle$ 의 형태를 가진 유도 표현으로부터 유래된다.
• 이산 계열의 $L$-패킷 구조는 엔도스코픽 자료에 암묵적으로 포함되어 있으며, 본 논문의 특성 항등식은 아르투어 이론과의 호환성을 확인한다.
• 특성 합의 소멸 보조정리를 통해 $p$-진 특성 합에 대한 $p$-진 특성 합에 대한 소멸 성질을 이용하여 계수의 등식 $\sum a_{M,i} = \sum b_{w,j}$ 가 증명되며, 이는 트레이스 공식의 항등식을 증명한다.
• $GL(n)$ 에서의 이산 계열 분류 $St(\rho, a)$ 는 엔도스코픽 전이와 총근지지에 의해 $Sp(N)$ 과 $SO(N)$ 으로 확장된다.
• 논문은 이산 계열 표현의 총근지지가 엔도스코픽 전이에 대해 보존됨을 확인하며, 모글린-타디치 이론과 아르투어 이론이 일치함을 보여준다.