[論文レビュー] A new approach to Kazhdan-Lusztig theory of type B via quantum symmetric pairs

Huanchen Bao, Weiqiang Wang|arXiv (Cornell University)|Oct 1, 2013

Algebraic structures and combinatorial models参考文献 34被引用数 138

ひとこと要約

この論文は、量子対称ペアを用いて、正交・シンプレクティックLie超代数 𝔪(2m+1|2n) のBGGカテゴリーオーブの新しいカジダン＝ルシュティグ理論を確立する。ヘッケ代数型Bと型Aの量子群のコイデアル部分代数の間の二重中心化性質に基づき、𝔪-正規基底と𝔪-カジダン＝ルシュティグ多項式を導入し、シュール＝ジムボ双対性を一般化し、型B/CのLie代数に対して新たな定式化を提供する。

ABSTRACT

We show that Hecke algebra of type B and a coideal subalgebra of the type A quantum group satisfy a double centralizer property, generalizing the Schur-Jimbo duality in type A. The quantum group of type A and its coideal subalgebra form a quantum symmetric pair. A new theory of canonical bases arising from quantum symmetric pairs is initiated. It is then applied to formulate and establish for the first time a Kazhdan-Lusztig theory for the BGG category O of the ortho-symplectic Lie superalgebras $\mathfrak{osp}(2m+1|2n)$. In particular, our approach provides a new formulation of the Kazhdan-Lusztig theory for Lie algebras of type B/C.

研究の動機と目的

• 型B/CのLie超代数に対して、特に正交・シンプレクティックLie超代数 𝔪(2m+1|2n) のカジダン＝ルシュティグ理論の新しいアプローチを開発すること。
• 型Aから型Bへのシュール＝ジムボ双対性の一般化として、型Bのヘッケ代数と型Aの量子群のコイデアル部分代数の間の二重中心化性質を確立すること。
• 量子対称ペアから生じる正規基底理論を提唱し、特に𝔪-正規基底を定義することで、Lie超代数のBGGカテゴリーオーブにおける既約表現のキャラクター問題を解決すること。
• この新しい枠組みを用いて、標準的ヘッケ代数の手法に依存しない型B/Cの古典的Lie代数のカジダン＝ルシュティグ理論を再定式化すること。

提案手法

• 型Bのヘッケ代数 𝒫Bm と型Aの量子群 𝒰 のコイデアル部分代数 𝒰𝔪 の間の二重中心化性質を確立する。
• 双対性を実現する相互作用子 Υ と同型写像 𝒯 を構成する。
• 量子対称ペア (𝒰, 𝒰𝔪) のための準リーマン行列 Θ𝔪 を定義し、これは正規化されており、𝒰𝔪-加群上のバー対合を定義するために用いられる。
• バー不変な位相的基底の構成を用いて、完成化されたフォック空間上に𝔪-正規基底とその双対基底を定義する。
• ブルハット順序に関するFock空間のB-完備化を用いて、𝔪-カジダン＝ルシュティグ多項式 t𝔟gf(q) と ℓ𝔟gf(q) を定義する。
• この理論を 𝔪(2m+1|2n) のBGGカテゴリーオーブに適用し、単純加群とティルティング加群が𝔪-正規基底およびその双対基底に写される写像 Ψ を通じて、Grothendieck群が完成化されたフォック空間に同型であることを示す。

実験結果

リサーチクエスチョン

• RQ1 量子対称ペアを用いて、正交・シンプレクティックLie超代数 𝔪(2m+1|2n) のBGGカテゴリーオーブに対して、新しいカジダン＝ルシュティグ理論を定式化できるか？
• RQ2 型Bのヘッケ代数と型Aの量子群のコイデアル部分代数の間の二重中心化性質は、シュール＝ジムボ双対性を型Bに一般化するか？
• RQ3 量子対称ペアから生じる正規基底理論—特に𝔪-正規基底—を構築し、Lie超代数における既約表現のキャラクター問題を解決できるか？
• RQ4 𝔪-カジダン＝ルシュティグ多項式 t𝔟gf(q) と ℓ𝔟gf(q) は、𝔪(2m+1|2n) のBGGカテゴリーオーブにおける単純加群およびティルティング加群のキャラクターとどのように関係するか？
• RQ5 この枠組みは、標準的ヘッケ代数の手法に依存しない型B/Cの古典的Lie代数のカジダン＝ルシュティグ理論の新たな定式化を提供できるか？

主な発見

• 型Bのヘッケ代数と型Aの量子群のコイデアル部分代数 𝒰𝔪 は、シュール＝ジムボ双対性を一般化する二重中心化性質を満たす。
• 量子対称ペアを用いて、特に𝔪-正規基底を含む新しい正規基底理論が提唱され、その基底要素は完成化されたフォック空間におけるバー不変な位相的基底として定義される。
• 𝔪-カジダン＝ルシュティグ多項式 t𝔟gf(q) と ℓ𝔟gf(q) は、𝔪-正規基底およびその双対基底を標準単項式基底に展開する際の係数として定義される。
• 𝔪(2m+1|2n) のBGGカテゴリーオーブのGrothendieck群 [𝒪Δb] は、写像 Ψ を通じて完成化されたフォック空間 ̂𝕋b に同型であり、単純加群の類 [Lb(λ)] が 𝔪-正規基底要素 L𝔟f𝔟λ(1) の像に写される。
• ティルティング加群の類 [Tb(λ)] は 𝔪-正規基底要素 T𝔟f𝔟λ(1) に写され、これにより𝔪-正規基底を用いたキャラクター公式が確立される。
• この理論により、標準的ヘッケ代数の手法に依存しない型B/CのLie代数のカジダン＝ルシュティグ理論の新たな定式化が提供され、正規基底が量子対称ペアによって実現される。