[논문 리뷰] Paquets d'Arthur pour les groupes classiques; point de vue combinatoire

Colette Mœglin|arXiv (Cornell University)|2006. 10. 05.

Advanced Algebra and Geometry인용 수 12

한 줄 요약

이 논문은 p-진 고전군에 대한 아르투어 패킷의 조합적 기술을 완성하며, 유도된 표현의 분해를 분석함으로써, 길이가 $\min(a,b)+1$ 이하임을 증명하고, 이는 가능하면 등호가 성립함을 보여준다. 일부 유도된 표현의 기약성을 확립하고, 유니타리성과 랑글랜드 대응에 기반한 아르투어 패킷의 구조를 확인한다.

ABSTRACT

The aim of this work, is to describe fairly explicitly a general Arthur's packet for a classical group. The problem to be solved, here, is the decompostion of induced representations. Following previous work on general linear group, such a description implies the needed transfer for the representations in Arthur's packet.

연구 동기 및 목표

• 이전 연구 [14] 를 바탕으로 p-진 고전군에 대한 아르투어 패킷의 조합적 분류를 완성하는 것.
• 형태 $\mathrm{Sp}(b,\mathrm{St}(\rho,a)) \times \pi_0$ 의 유도된 표현의 가역성과 분해를 분석하는 것, 여기서 $\pi_0$ 는 이산 계열 표현이다.
• 유도된 표현의 길이가 $\min(a,b)+1$ 이하임을 증명하고, 이 경계가 날카로운지 확인하는 것.
• 특정 조건 하에서 랑글랜드 매개수에 따라 일부 유도된 표현의 기약성을 확립하는 것.
• 유니타리성 조건을 사전에 가정하지 않더라도, 아르투어 패킷의 구조가 유니타리성과 랑글랜드 대응과 일치함을 확인하는 것.

제안 방법

• 연속적이고 대수적인 $\mathrm{SL}(2,\mathbb{C})$ 요소에 대해 $\psi: W_F \times \mathrm{SL}(2,\mathbb{C}) \times \mathrm{SL}(2,\mathbb{C}) \to {}^L G$ 인 $L$-매개수 $\psi$ 를 이용해 $\mathrm{GL}(n^*,F)$ 의 기약 유니타리 표현을 연결한다.
• $\mathrm{Sp}(b,\mathrm{St}(\rho,a))$ 를 스티븐버그 표현 $\mathrm{St}(\rho,a)$ 와 결정식의 절대값 $|\,|$ 를 포함하는 표준 유도 표현의 유일한 기약 부분표현으로 정의한다.
• 유도된 표현의 구조를 분석하고, 부분몫의 유일성을 통해 기약성을 유추하기 위해 자크 페어터를 적용한다.
• $\rho \otimes [a] \otimes [b]$ 의 매개수를 사용하여 $W_F \times \mathrm{SL}(2,\mathbb{C}) \times \mathrm{SL}(2,\mathbb{C})$ 의 기약 표현을 $\mathrm{Sp}(b,\mathrm{St}(\rho,a))$ 와 연결한다.
• 일반화된 아우베르트-슐라이머-슈탈러 쌍대성 이론과 $L$-패킷의 구조를 적용하여, 유도된 표현 내 가능한 성분을 제약한다.
• 유도된 표현의 구조와 자크 모듈의 지지부를 기반으로 한 재귀적 추론을 사용하여 기약성과 길이의 경계를 증명한다.

실험 결과

연구 질문

• RQ1 이산 계열 $\pi_0$ 에 대해 유도된 표현 $\mathrm{Sp}(b,\mathrm{St}(\rho,a)) \times \pi_0$ 의 최대 가능한 길이는 얼마인가요?
• RQ2 유도된 표현 $\mathrm{Sp}(b,\mathrm{St}(\rho,a)) \times \pi_0$ 가 기약이 되는 조건은 무엇인가요?
• RQ3 $\pi_0$ 와 관련된 랑글랜드 매개수 $\psi_0$ 는 유도된 표현의 구조에 어떻게 영향을 미치나요?
• RQ4 유니타리성을 사전에 가정하지 않더라도, 유도된 표현의 분해가 $L$-매개수의 조합론적 성질로 완전히 기술될 수 있나요?
• RQ5 $\rho \otimes [a] \otimes [b]$ 가 $G$ 의 $L$-군에 인해 인수분해되지 않는 조건이 기약성 결정에 어떤 역할을 하나요?

주요 결과

• 유도된 표현 $\mathrm{Sp}(b,\mathrm{St}(\rho,a)) \times \pi_0$ 의 길이는 $\min(a,b) + 1$ 이하이며, 이 경계는 날카로운 것으로 밝혀졌다.
• 조건이 논문의 범위 내에 있을 경우, 매개수 $\rho \otimes [a] \otimes [b]$ 가 $G$ 의 $L$-군에 인수분해되지 않으면서, 유도된 표현 $\mathrm{Sp}(b,\mathrm{St}(\rho,a)) \times \pi_0$ 는 기약이다.
• 매개수 $\rho \otimes [a] \otimes [b]$ 가 $G$ 의 $L$-군에 인수분해되는 경우에도, 유도된 표현은 길이가 $\min(a,b) + 1$ 이하인 기약 성분들의 직합으로 분해되며, 기약성은 다중 복제에서도 유지된다.
• 기약성은 자크 모듈 필터링 내 부분몫의 유일성에 기반하며, 자크 함자 함수의 정확성에 의존한다.
• 증명은 초기 표현의 유니타리성을 가정하지 않더라도, 유도된 표현의 분해가 $L$-매개수와 아르투어 패킷의 구조에 의해 완전히 결정됨을 확인한다.
• 논문은 유니타리성에 대한 사전 지식이 없음에도 불구하고, $L$-패킷의 구조와 쌍대성의 성질을 이용하여, 유도된 표현이 반단순적이지 않다는 핵심 기술적 장벽을 해결하였다.