[論文レビュー] Kazhdan-Lusztig Theory of super type D and quantum symmetric pairs

Huanchen Bao|arXiv (Cornell University)|Mar 16, 2016

Algebraic structures and combinatorial models参考文献 1被引用数 9

ひとこと要約

本稿では、不等パラメータをもつ量子対称ペアに基づく新しい枠組みを導入することで、正交・シミプレクティックLie超代数 𝔪(2m|2n) のBGGカテゴリーオーブのKazhdan-Lusztig理論を確立した。量子群 𝕌_q(𝔰ₗ_k) の自然表現のテンソル積における 𝔦-正規基底を用い、不等パラメータをもつB型のヒーケ代数の作用を中央化するコイデアル部分代数を介して理論を再定式化し、長年の未解決問題であったこのカテゴリにおける非可約特性標の計算問題を解決した。

ABSTRACT

We reformulate the Kazhdan-Lusztig theory for the BGG category $\mathcal{O}$ of Lie algebras of type D via the theory of canonical bases arising from quantum symmetric pairs initiated by Weiqiang Wang and the author. This is further applied to formulate and establish for the first time the Kazhdan-Lusztig theory for the BGG category $\mathcal{O}$ of the ortho-symplectic Lie superalgebra $\mathfrak{osp}(2m|2n)$.

研究の動機と目的

• 1970年代以来未解決であった、正交・シミプレクティックLie超代数 𝔪(2m|2n) のBGGカテゴリーオーブにおけるKazhdan-Lusztig理論の定式化と確立。
• 等パラメータをもつ量子対称ペアの正規基底理論を、不等パラメータをもつものへと拡張し、超タイプDへの応用を可能にする。
• 不等パラメータをもつB型ヒーケ代数の作用を中央化する 𝕌_q(𝔰ₗ_k) のコイデアル部分代数を用いて、タイプDにおけるKazhdan-Lusztig理論の新たな再定式化を提供。
• 超双対性、切断、Fock空間実現を通じた誘導を用いて、𝔪(2m|2n) のカテゴリーオーブにおける特性標問題を解決。

提案手法

• 著者らは、不等パラメータ p と q をもつB型のIwahori-Hecke代数 ℋ_B^p_m の作用を中央化する 𝕌_q(𝔰ₗ_k) のコイデアル部分代数 𝕌_q^𝔦(𝔰ₗ_k) を構成した。
• Fock空間実現によるテンソル積 𝕍^⊗m ⊗ 𝕎^⊗n を用い、𝔪(2m|2n) のカテゴリーオーブをモデル化した。ℋ_B^1_m（p=1 での特殊化）は、D型のヒーケ代数 ℋ_D_m を部分代数として含む。
• 理論の根拠は、Fock空間上に存在する 𝔦-正規基底にあり、これはバー対合を用いて構成され、コイデアル部分代数構造に適合させられている。
• 誘導は、Borel部分代数の変更、パラボリック部分カテゴリへの移行、無限極限（k→∞）の取り扱い、超双対性の適用、およびカテゴリーオーブの完全復元のための切断という一連のステップを通じて行われた。
• 主な技術的道具は、𝕌_q^𝔦(𝔰ₗ_k) のChevalley生成子が 𝔰𝔬(2m) のカテゴリーオーブにおける移動関手に対応することの同定であり、また、D型の絶対部分フラッグ多様体を用いたコイデアル部分代数の幾何的実現も用いられた。
• 証明は m と n に関する帰納法に基づき、基底ケースはそれぞれ 𝔰𝔬(2m) と 𝔰𝔪(2n) の元来のKazhdan-Lusztig予想に等しく、[BW13]、[CLW15]、[BLW] の結果に依拠している。

実験結果

リサーチクエスチョン

• RQ1 Weyl群による連結性の制御が欠如する状況下で、正交・シミプレクティックLie超代数 𝔪(2m|2n) のBGGカテゴリーオーブにおけるKazhdan-Lusztig理論をどのように拡張できるか？
• RQ2 不等パラメータをもつ量子対称ペアが、超タイプDにおける特性標公式を支配する正規基底を構成する上で果たす役割は何か？
• RQ3 𝕌_q(𝔰ₗ_k) のコイデアル部分代数 𝕌_q^𝔦(𝔰ₗ_k) が、不等パラメータをもつB型ヒーケ代数 ℋ_B^1_m の作用を中央化できるか。これにより、D型ヒーケ代数に依存しないKazhdan-Lusztig理論の新たな定式化が可能になるか？
• RQ4 テンソル積 𝕍^⊗m ⊗ 𝕎^⊗n と無限極限（k→∞）を用いたFock空間構成は、特性標公式の帰納的証明をどのように支援するか？
• RQ5 Fock空間上の 𝔦-正規基底と、𝔪(2m|2n) のカテゴリーオーブにおける非可約特性標との間の正確な関係は何か？

主な発見

• 本稿は、正交・シミプレクティックLie超代数 𝔪(2m|2n) のBGGカテゴリーオーブにおけるKazhdan-Lusztig理論の初の完全な確立を達成し、超表現論における長年の未解決問題を解決した。
• 非可約特性標の公式は、すべての λ ∈ X_ev(m|n) に対して Ψ([L_b(λ)]) = L_b^{f_b^λ}(1) および Ψ([T_b(λ)]) = T_b^{f_b^λ}(1) で与えられ、Ψ はGrothendieck群と 𝔦-正規基底との同型写像である。
• 帰納法の基底ケース 𝔦KL(m|0) は元来の 𝔰𝔬(2m) のKazhdan-Lusztig予想に等しく、同様に 𝔦KL(n|0) は 𝔰𝔪(2n) の予想に等しく、両者とも既知の事実である。
• 帰納的ステップはFock空間の同型写像を通じて実現され、Borel部分代数の変更、パラボリック部分カテゴリへの移行、k→∞ の極限、超双対性の適用、およびカテゴリーオーブの完全復元のための切断が含まれる。
• コイデアル部分代数 𝕌_q^𝔦(𝔰ₗ_k) が 𝕍^⊗m 上の ℋ_B^1_m の作用を中央化することが示され、その作用は 𝔰𝔬(2m) のカテゴリーオーブにおける移動関手に対応しており、超タイプへの幾何的・代数的橋渡しを提供する。
• 理論は超双対性と完全に整合し、不等パラメータをもつ量子対称ペアの枠組みを拡張し、超タイプDにおけるKazhdan-Lusztig理論の新たな、内因的な定式化を可能にした。