[논문 리뷰] Howe Correspondence of Unipotent Characters for a Finite Symplectic/Even-orthogonal Dual Pair

Shu-Yen Pan|arXiv (Cornell University)|2019. 01. 03.

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

한 줄 요약

이 논문은 특성 ≠ 2인 경우 유니포텐트 문자에 대한 아우베르, 미셸, 루쾨르의 호우 대응에 대한 추측을 확인한다. 루스지그의 매개변수화와 딜레인-루스지그 이론 및 기호 대응을 통한 재귀적 감소를 이용하여, 이 대응을 이분할 분할과 기호를 통해 명시적이고 조합론적인 형태로 기술함으로써, 고전군 표현 이론에서 오랫동안 미해결이었던 문제를 해결한다.

ABSTRACT

In this paper we give a complete description of the Howe correspondence of unipotent characters for a finite dual pair of a symplectic group and an even orthogonal group in terms of the Lusztig parametrization under a mild restriction of the characteristic of the base field. That is, the conjecture by Aubert-Michel-Rouquier is confirmed.

연구 동기 및 목표

• 유한 심플렉틱군과 짝성-직교군에 대한 아우베르, 미셸, 루쾨르의 추측을 해결하는 것.
• 기저 체의 특성이 2가 아닌 경우 루스지그의 매개변수화를 통해 대응을 완전하고 명시적으로 기술하는 것.
• 일반선형군이나 유니터리 경우와 달리, 심플렉틱군과 직교군의 대부분의 기약 문자가 균일하지 않은 데 기인하는 어려움을 극복하는 것.
• 중앙자 데이터와 유니포텐트 축소를 통해 호우 대응과 루스지그 대응을 연결하는 가환 다이어그램을 수립하는 것.
• GL 및 U 쌍대 쌍에 대한 알려진 결과를 재귀적 기법과 기호 계산을 통해 심플렉틱/직교 경우로 확장하는 것.

제안 방법

• 호우 대응을 통한 Weil 표현 문자 $\omega^\psi_{{\mathbf{G}},{\mathbf{G}}^\prime}$ 의 기약 성분으로의 분해에 기반한다.
• 기약 문자 $\mathcal{E}(G)_s$ 와 반단순 원소의 중심자에서의 유니포텐트 문자 사이의 관계를 맺기 위해 루스지그의 전단사 $\mathfrak{L}_s$ 를 사용한다.
• 특성 $G^{(1)} \times G^{(2)} \times G^{(3)}$ 에서 $G^{(3)}$ 와 $G^{\prime(3)}$ 이 심플렉틱/짝성-직교 쌍대 쌍을 이루는 방식으로 대응을 유니포텐트 경우로 감소시킨다.
• 균일한 공호수 함수에 대한 투영과 $\sharp$-연산을 사용하여, 대응되는 문자의 기호를 연결하는 선형 방정식계를 구성한다.
• 랭크에 대한 귀납법을 통해 증명이 진행되며, 기호 대응의 성질과 $\Omega^\pm_\Lambda$, $\Theta^*_\Lambda$, $\mathcal{B}^+$ 등의 집합을 이용하여 대응에서의 쌍의 발생을 제어한다.
• 핵심 보조정리들(예: 6.7, 6.9, 6.11) 은 기호의 조합론적 성질이 문자 쌍의 발생과 어떻게 연결되는지 밝혀내며, 특히 $\Theta^*_\Lambda(\Omega^+_{\Lambda_1'}) \neq \emptyset$ 인 경우에 중점을 둔다.

실험 결과

연구 질문

• RQ1 특성 ≠ 2 인 경우, 유한 심플렉틱군과 짝성-직교군의 유니포텐트 문자 사이의 호우 대응의 명시적 형태는 무엇인가?
• RQ2 호우 대응은 반단순 원소와 중심자에 의한 기약 문자의 루스지그 매개변수화와 어떻게 관련이 있는가?
• RQ3 아우베르, 미셸, 루쾨르의 추측에 따르면, 이 대응은 기호와 이분할 분할에 대한 조합론적 규칙으로 감소시킬 수 있는가?
• RQ4 $\Omega^\pm_\Lambda$ 와 $\mathcal{B}^+$ 는 대응에서 문자 쌍의 발생을 결정하는 데 어떤 역할을 하는가?
• RQ5 기호의 전환과 문자의 비균일성은 GL 또는 U 경우와 비교하여 심플렉틱/직교 경우의 대응의 구조에 어떤 영향을 미치는가?

주요 결과

• 기저 체의 특성이 2가 아닌 경우, 쌍대 쌍 $({\rm Sp}_{2n}(q), {\rm O}^{\epsilon}_{n'}(q))$ 에 대한 호우 대응은 유니포텐트 문자의 루스지그 매개변수화를 통해 완전히 기술된다.
• 이 대응은 기호에 대한 조합론적 규칙으로 명시적으로 결정된다: $\rho_\Lambda \otimes \rho_{\Lambda'}$ 는 $(\Lambda, \Lambda') \in \mathcal{B}^+$ 인 경우에만 대응에 포함된다. 여기서 $\mathcal{B}^+$ 는 기호 지배성과 랭크 조건을 통해 정의된 쌍의 집합이다.
• 아우베르, 미셸, 루쾨르의 추측을 증명함으로써, 호우 대응이 부호 전환을 제외하고는 루스지그 대응과 가환함을 보여주며, 일반적인 경우를 유니포텐트 경우로 감소시킨다.
• $\Lambda_{1}'$ 이 유형 (I'), (II'), 또는 (III') 인 경우, $\rho_\Lambda \otimes \rho_{\Lambda'}$ 의 발생은 $\Theta^*_\Lambda(\Omega^+_{\Lambda_1'})$ 이 비어 있지 않으며 $\mathcal{B}^+$ 에 포함되는지 여부에 의해 결정되며, 소형 랭크 사례에서 명시적으로 검증된다.
• 특성 $G^{(1)} \times G^{(2)} \times G^{(3)}$ 를 통한 재귀적 구조와 랭크에 대한 귀납법을 통해 전체 대응이 유니포텐트 경우로부터 구성되며, 기본 사례로 $n=0$ 과 $m=0$ 이 확인된다.
• 핵심 기술적 결과는 $|\Theta_{\rho_\Lambda}(\Omega^-_{\rho_{\Lambda_1'}})| = \,|\Theta_\Lambda(\Omega^-_{\Lambda_1'})|$ 와 $|\Theta_{\rho_\Lambda}(\Omega^+_{\rho_{\Lambda_1'}})| = \,|\Theta_\Lambda(\Omega^+_{\Lambda_1'})|$ 이며, 이는 재귀 감소 과정에서의 일관성을 보장한다.