[論文レビュー] Geometric Schur duality of classical type

Huanchen Bao, Jonathan R. Kujawa+2 more|arXiv (Cornell University)|Apr 15, 2014

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

ひとこと要約

本稿は、部分フラグ多様体におけるBLM型の安定化を用いて、修正されたコイデアル代数 $\hat{\mathbf{U}}^{\jmath}$ および $\hat{\mathbf{U}}^{\imath}$ の単項基底および自己同型基底を構成することにより、古典的型 $B/C$ の $Σ$-シュール双対性の幾何的実現を確立する。これらの代数が量子一般線形代数のコイデアル部分代数であることを証明し、自然な準同型のもとで $\hat{\mathbf{U}}^{\jmath}$ および $\hat{\mathbf{U}}^{\imath}$ の自己同型基底がシュール代数 $Σ^{\jmath}$ および $Σ^{\imath}$ の自己同型基底へ写されることが示され、長年の量子対称ペairの幾何的構成に関する未解決問題が解決される。

ABSTRACT

This is a generalization of the classic work of Beilinson, Lusztig and MacPherson. In this paper (and an Appendix) we show that the quantum algebras obtained via a BLM-type stabilization procedure in the setting of partial flag varieties of type $B/C$ are two (modified) coideal subalgebras of the quantum general linear Lie algebra, $\dot{\mathbf U}^{\jmath}$ and $\dot{\mathbf U}^{\imath}$. We provide a geometric realization of the Schur-type duality of Bao-Wang between such a coideal algebra and Iwahori-Hecke algebra of type $B$. The monomial bases and canonical bases of the Schur algebras and the modified coideal algebra $\dot{\mathbf U}^{\jmath}$ are constructed. In an Appendix by three authors, a more subtle $2$-step stabilization procedure leading to $\dot{\mathbf U}^{\imath}$ is developed, and then monomial and canonical bases of $\dot{\mathbf U}^{\imath}$ are constructed. It is shown that $\dot{\mathbf U}^{\imath}$ is a subquotient of $\dot{\mathbf U}^{\jmath}$ with compatible canonical bases. Moreover, a compatibility between canonical bases for modified coideal algebras and Schur algebras is established.

研究の動機と目的

• 部分フラグ多様体の幾何から生じる量子代数が、古典的型 $B/C$ の何であるかを特定するという未解決問題を解消すること。
• $\hat{\mathbf{U}}^{\jmath}$ および $\hat{\mathbf{U}}^{\imath}$ のコイデアル代数と型 $B$ のイワハラ・ヘッケ代数の間の $Σ$-シュール双対性を幾何的に実現すること。
• 二段階の安定化手続きを用いて、修正コイデアル代数 $\hat{\mathbf{U}}^{\jmath}$ および $\hat{\mathbf{U}}^{\imath}$ の単項基底および自己同型基底を構成すること。
• 修正コイデアル代数の自己同型基底とそれらがシュール代数へ写された像との間の整合性を確立すること。

提案手法

• 型 $B/C$ の部分フラグ多様体上の幾何的コネクション代数を用いて、シュール代数 $Σ^{\jmath}$ を構成し、それが修正コイデアル代数 $\hat{\mathbf{U}}^{\jmath}$ の商として同定されることを示す。
• 部分フラグ多様体の幾何にBLM型の安定化手続きを適用することで、$\hat{\mathbf{U}}^{\jmath}$ がシュール代数 $Σ^{\jmath}$ の族を支える量子代数として同定されることを示す。
• 付録でより洗練された二段階の安定化手続きを導入し、代数 $\hat{\mathbf{U}}^{\imath}$ 及びその自己同型基底を初めて構成する。
• 準同型 $φ_d: \hat{\mathbf{U}}^{\jmath} \to \Sigma^{\jmath}$ を定義し、それが自己同型基底を保存することを証明し、基底元が安定化の像に含まれるかによって、$Σ^{\jmath}$ の自己同型基底またはゼロへ写されることを示す。
• $\hat{\mathbf{U}}^{\imath}$ が $\hat{\mathbf{U}}^{\jmath}$ の部分商であることを確立し、それらの自己同型基底がこの商構造と整合的であることを示す。
• $φ_d^\imath$ および $φ_d^\jmath$ の準同型のもとでの自己同型基底の整合性を証明し、それらがベース付きモジュール準同型であることが示される。

実験結果

リサーチクエスチョン

• RQ1 型 $B/C$ の部分フラグ多様体の幾何から生じる量子代数は何か？
• RQ2 コイデアル代数と型 $B$ のイワハラ・ヘッケ代数の間の $Σ$-シュール双対性は、幾何的に実現可能か？
• RQ3 幾何的手法を用いて、修正コイデアル代数 $\hat{\mathbf{U}}^{\jmath}$ および $\hat{\mathbf{U}}^{\imath}$ の単項基底および自己同型基底を構成可能か？
• RQ4 $\hat{\mathbf{U}}^{\jmath}$, $\hat{\mathbf{U}}^{\imath}$ の自己同型基底とシュール代数 $Σ^{\jmath}$, $Σ^{\imath}$ の自己同型基底との間に、整合的な関係が存在するか？
• RQ5 $\hat{\mathbf{U}}^{\jmath}$ と $\hat{\mathbf{U}}^{\imath}$ はどのように関係し、それらの自己同型基底は互いに整合的に作用するか？

主な発見

• 修正コイデアル代数 $\hat{\mathbf{U}}^{\jmath}$ は、型 $B/C$ の部分フラグ多様体上の幾何的コネクション代数の安定化極限として実現され、シュール代数 $Σ^{\jmath}$ を支える量子代数として同定される。
• 付録で二段階の安定化手続きを用いて代数 $\hat{\mathbf{U}}^{\imath}$ が構成され、初めてその単項基底および自己同型基底が明示的に構成される。
• 準同型 $φ_d: \hat{\mathbf{U}}^{\jmath} \to \Sigma^{\jmath}$ は、自己同型基底要素を $Σ^{\jmath}$ の自己同型基底またはゼロへ写し、安定化の像に含まれるか否かに依存する。
• 準同型 $φ_d^\imath: \hat{\mathbf{U}}^{\imath} \to \Sigma^{\imath}$ も同様に自己同型基底構造を保存し、$Σ^{\imath}$ の自己同型基底またはゼロへ写す。
• $\hat{\mathbf{U}}^{\imath}$ は $\hat{\mathbf{U}}^{\jmath}$ の部分商であり、それらの自己同型基底はこの商構造と整合的である。
• $φ_d$ および $φ_d^\imath$ の準同型のもとでの自己同型基底の整合性は、それらがルスティグの枠組みで要請されるベース付きモジュール準同型であることを確認する。