[논문 리뷰] On Theta and Eta Correspondences for Finite Symplectic/Orthogonal Dual Pairs

Shu-Yen Pan|arXiv (Cornell University)|2020. 06. 11.

Advanced Algebra and Geometry참고 문헌 3인용 수 7

한 줄 요약

이 논문은 홀수 표수를 가진 유한체 위의 유한 심플렉틱-직교 쌍대 쌍에 대해, Howe의 θ-대응의 두 최대 일대일 부분관계인 $\underline{\theta}$ 및 $\overline{\theta}$를 제안한다. 이러한 확장은 Gurevich-Howe의 안정 범위 내에서 정의된 $\eta$-대응을 일반화한 것으로, 대칭성, 지속성, 그리고 일대일 관계로서의 최대성 등 핵심 성질을 유지함을 보여준다.

ABSTRACT

In this paper, we propose two maximal one-to-one sub-relations $\underlineθ, \overlineθ$ of the Howe correspondence $Θ$ for a finite reductive dual pair consisting of a symplectic group and an orthogonal group. Moreover, we show that both the correspondences $\underlineθ$ and $\overlineθ$ are extensions beyond the stable range of the $η$-correspondence defined by Gurevich-Howe.

연구 동기 및 목표

• 유한 심플렉틱군 및 직교군에 대해 이전에는 안정 범위 내에서만 정의된 $\eta$-대응을 일반적인 쌍대 쌍으로 확장하기 위해.
• 대칭성 및 지속성과 같은 핵심 성질을 유지하는 일대일 θ-관계의 부분관계를 구성하기 위해.
• 이러한 새로운 대응관계가 일대일 θ-관계들 중에서 최대임을 입증하여, 이들의 이중성과 더불어 더 이상 확장될 수 없음을 보여주기 위해.
• Lusztig 대응관계와의 호환성을 증명하고, 새로운 관계들이 실제로 전체 θ-대응관계에 포함되어 있음을 검증하기 위해.

제안 방법

• β-집합과 전치된 기호를 기반으로 한 기호 이론적 구성에 의해, 유니포텐트 문자 위에 두 부분관계 $\underline{\theta}$ 및 $\overline{\theta}$를 정의한다.
• Lusztig 대응관계를 이용해 쌍대 쌍을 따라 유니포텐트 문자를 연결하고, 새로운 관계와의 호환성을 확보한다.
• Aubert-Michel-Rouquier 추측이 [Pan19a]에서 증명됨에 따라, 기댓표현된 $\Theta$-대응관계에 기반한 유니포텐트 문자에 대한 추측이 검증됨으로써, $\underline{\theta}$ 및 $\overline{\theta}$가 전체 θ-대응관계에 포함되어 있음을 확인한다.
• Lusztig 대응관계의 성질과 쌍대 쌍의 구조를 활용하여, $\underline{\theta}$ 및 $\overline{\theta}$의 대칭성과 지속성을 증명한다.
• 모순에 기반한 증명을 통해 최대성을 확립한다: 만약 일대일 θ-관계가 $\underline{\theta}$ 또는 $\overline{\theta}$를 진정으로 포함한다면, 그 관계는 단사성을 잃게 된다.
• Weil 표현의 분해와 θ-대응관계의 다중도 1 분해를 활용하여, 새로운 관계의 구조를 분석한다.

실험 결과

연구 질문

• RQ1 안정 범위 외부의 유한 심플렉틱-직교 쌍대 쌍에 대해, 이전에 안정 범위 내에서만 정의된 $\eta$-대응을 이중성과 함께 확장할 수 있는가?
• RQ2 대칭성과 지속성을 유지하는 전체 θ-대응관계의 최대 일대일 부분관계는 무엇인가?
• RQ3 새로운 대응관계 $\underline{\theta}$ 및 $\overline{\theta}$는 Lusztig 대응관계와 유니포텐트 문자의 구조와 어떻게 관련이 있는가?
• RQ4 일대일 θ-관계를 $\underline{\theta}$ 또는 $\overline{\theta}$를 초월해 확장할 수 있는가, 이때 단사성을 유지할 수 있는가?
• RQ5 $\underline{\theta}$ 및 $\overline{\theta}$는 $\eta$-대응관계의 핵심 성질인 지속성과 대칭성을 유지하는가?

주요 결과

• $\underline{\theta}$ 및 $\overline{\theta}$는 모두 일대일, 대칭적, 지속적인 관계이며, 안정 범위 외부로 $\eta$-대응관계를 확장한다.
• $\underline{\theta}$ 및 $\overline{\theta}$는 [Pan19a]에서 증명된 Aubert-Michel-Rouquier 추측에 의해 전체 θ-대응관계 $\Theta$에 포함되어 있음이 확인되었다.
• $\underline{\theta}$ 및 $\overline{\theta}$는 Lusztig 대응관계와 호환되며, 유니포텐트 문자의 표현론적 구조와의 일관성을 보장한다.
• $\underline{\theta}$ 및 $\overline{\theta}$의 최대성은 증명되었으며, 이들은 이중성과 더불어 더 이상 확장될 수 없다.
• $\underline{\theta}$ 및 $\overline{\theta}$의 구성은 기호 전치와 변형 조건에 기반하며, $\epsilon = \pm$은 추가된 기호 성분의 부호를 결정한다.
• 최대성의 증명은 반증에 기반한 것으로, 반사성의 성질과 Lusztig 대응관계 하에서의 유니포텐트 문자 행동, 특히 $\mathrm{def}(\Lambda) = 4d+1$인 경우의 행동을 분석하여 이루어졌다.