[論文レビュー] Howe Correspondence of Unipotent Characters for a Finite Symplectic/Even-orthogonal Dual Pair

Shu-Yen Pan|arXiv (Cornell University)|Jan 3, 2019

Advanced Algebra and Geometry参考文献 12被引用数 15

ひとこと要約

この論文は、特徴量 ≠ 2 における有限シンプレクティック群および偶数型直交群の単調性キャラクターに関するアウベル、ミシェル、ルクイエの予想を確認する。ルスティグのパrametrization とデリーニュ＝ルスティグ理論および記号対応を用いた再帰的還元により、対応の明示的で組合せ論的な記述が得られ、古典的群の表現論における長年の未解決問題が解決される。

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 でない場合に、Lusztig のパrametrization を用いて対応を完全かつ明示的に記述すること。
• 一般線形群やユニタリ群とは異なり、シンプレクティック群および直交群のほとんどすべての既約キャラクターが一様でないという困難を克服すること。
• 中心化子データと単調性還元を介して、ハウ対応と Lusztig 対応を結ぶ可換図式を確立すること。
• GL および U 双対対の既知の結果を、再帰的技法と記号計算を用いてシンプレクティック／直交型に拡張すること。

提案手法

• ハウ対応を介したウェイリ表現のキャラクター $\omega^\psi_{{\mathbf{G}},{\mathbf{G}}^\prime}$ の既約成分への分解に依拠する。
• Lusztig の双対写像 $\mathfrak{L}_s$ を用いて、$\mathcal{E}(G)_s$ 内の既約キャラクターと、半単純元の中心化子内の単調性キャラクターを関連付ける。
• 対応が $G^{(1)} \times G^{(2)} \times G^{(3)}$ の三重分解により単調性の場合に還元され、ここで $G^{(3)}$ と $G^{\prime(3)}$ はシンプレクティック／偶数型直交双対対をなす。
• 均一な共役類関数への射影と $\sharp$ 操作を用いて、対応するキャラクターの記号を関連付ける線形方程式系を構成する。
• ランクに関する帰納法を用い、記号対応の性質と集合 $\Omega^\pm_\Lambda$、$\Theta^*_\Lambda$、$\mathcal{B}^+$ の性質を用いて、対応におけるペアの出現を制御する。
• 特に $\Theta^*_\Lambda(\Omega^+_{\Lambda_1'}) \neq \emptyset$ の場合に、記号の組合せ論とキャラクターのペアの出現を結びつけるための重要な補題（例：6.7, 6.9, 6.11）が用いられる。

実験結果

リサーチクエスチョン

• RQ1 特徴量 ≠ 2 における有限シンプレクティック群と偶数型直交群の単調性キャラクター間のハウ対応の明示的形は何か？
• RQ2 ハウ対応は、半単純元と中心化子を介した Lusztig の既約キャラクターのパrametrization とどのように関係するか？
• RQ3 アウベル、ミシェル、ルクイエの予想に従い、記号と二分割への組合せ論的規則に還元できるか？
• RQ4 $\Omega^\pm_\Lambda$ および $\mathcal{B}^+$ の集合が、対応におけるキャラクターのペアの出現を決定する上で果たす役割は何か？
• RQ5 符号のねじれとキャラクターの非一様性は、GL や U の場合と比較して、シンプレクティック／直交型の場合の対応の構造にどのように影響するか？

主な発見

• 標数が奇数である $q$ に対して、双対対 $({\rm Sp}_{2n}(q), {\rm O}^{\epsilon}_{n'}(q))$ のハウ対応は、単調性キャラクターの Lusztig パrametrization を用いて完全に記述される。
• 対応は記号に関する組合せ論的規則によって明示的に決定される：$\rho_\Lambda \otimes \rho_{\Lambda'}$ が対応に現れるのは、$(\Lambda, \Lambda') \in \mathcal{B}^+$ であるときであり、かつそのときのみである。ここで $\mathcal{B}^+$ は記号の優位性とランク条件を用いて定義されるペアの集合である。
• 証明により、アウベル、ミシェル、ルクイエの予想が確認され、ハウ対応が符号のねじれを除いて Lusztig 対応と可換であることが示され、一般の場合が単調性の場合に還元される。
• $\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'})|$ が成り立ち、再帰的還元における一貫性が保証される。