[論文レビュー] Schur algebras and quantum symmetric pairs with unequal parameters

Chun‐Ju Lai, Li Luo|arXiv (Cornell University)|Aug 2, 2018

Algebraic structures and combinatorial models参考文献 18被引用数 4

ひとこと要約

本稿は、パラメータが不等であるタイプB/Cのシュール代数の安定化構成を確立し、ブラックノードのないAIII/AIV型の多パラメータ量子対称ペアへのベイリソン＝ルシュティグ＝マクフィーソンのアプローチを一般化する。Lusztigのバー不変基底を用いて、これらの代数に対する正規基底を構成し、代数的・組合せ論的枠組みを通じて、パラメータが不等であるシュール代数に対する正規基底の初の実現を提供する。

ABSTRACT

We study the (quantum) Schur algebras of type B/C corresponding to the Hecke algebras with unequal parameters. We prove that the Schur algebras afford a stabilization construction in the sense of Beilinson-Lusztig-MacPherson that constructs a multiparameter upgrade of the quantum symmetric pair coideal subalgebras of type A III/IV with no black nodes. We further obtain the canonical basis of the Schur/coideal subalgebras, at the specialization associated to any weight function. These bases are the counterparts of Lusztig's bar-invariant basis for Hecke algebras with unequal parameters. In the appendix we provide an algebraic version of a type D Beilinson-Lusztig-MacPherson construction which is first introduced by Fan-Li from a geometric viewpoint.

研究の動機と目的

• パラメータが不等であるタイプB/Cのシュール代数へのベイリソン＝ルシュティグ＝マクフィーソンの安定化構成の拡張。
• ブラックノードのないAIII/AIV型の量子対称ペアのコイデアル部分代数の多パラメータ化。
• 重み関数に関連する任意の特殊化において、シュール代数およびコイデアル部分代数の正規基底の構成。
• 幾何的タイプDシュール代数構成の代数的双対を提供し、文献における空白を埋める。

提案手法

• 2パラメータのヘッケ代数とワイル群の組合せ論を用いて、不等パラメータへのBLM安定化フレームワークの適応。
• 量子シュール代数 $\mathbf{S}^{X}_{n,d}$ の逆極限として安定化代数 $\dot{\mathbb{K}}^{\jmath}_{n}$ を定義し、正規基底と整合性を保つようにする。
• 不等パラメータのヘッケ代数に対するLusztigのバー不変基底構成を用い、正規基底をシュール代数およびコイデアル部分代数へと持ち上げる。
• タイプDシュール代数に対する新規な代数的アプローチを適用し、既存の幾何的手法を補完する非幾何的・組合せ論的構成を提供する。
• 量子数と符号付き行列を用いて基底元の明示的乗法公式を導出し、正確な対応関係により既知の幾何的公式と一致させる。
• 環 $\mathbb{Z}[u^\pm, v^\pm]$ 上でのシュール双対性を確立し、重み関数による特殊化を経て、新しいコイデアル部分代数を導出する。

実験結果

リサーチクエスチョン

• RQ1 BLM安定化構成は、パラメータが不等であるタイプB/Cのシュール代数へ拡張可能か？
• RQ2 パラメータが不等であるシュール代数の正規基底は、ヘッケ代数のLusztigのバー不変基底とどのように関係するか？
• RQ3 不等パラメータの場合における安定化代数 $\dot{\mathbb{K}}^{\jmath}_{n}$ の代数的構造は何か？
• RQ4 多パラメータシュール双対性は、ブラックノードのないAIII/AIV型の量子対称ペアコイデアル部分代数とどのように関係するか？
• RQ5 幾何的アプローチに一致する代数的構成を、タイプDシュール代数に対して開発可能か？

主な発見

• 本稿は、正規基底と整合性を保つように、量子シュール代数 $\mathbf{S}^{X}_{n,d}$ の逆極限として安定化代数 $\dot{\mathbb{K}}^{\jmath}_{n}$ を構成した。
• パラメータが不等であるシュール代数 $\mathbf{S}^{X}_{n,d}$ の正規基底は、不等パラメータのヘッケ代数に対するLusztigのバー不変基底の特殊化として実現された。
• 安定化代数 $\dot{\mathbb{K}}^{\jmath}_{n}$ は、ブラックノードのないAIII/AIV型の量子対称ペアのコイデアル部分代数と同型である。
• 付録でタイプDシュール代数の代数的構成が提供され、すべての古典的タイプに対する代数的枠組みが完成した。
• 量子階乗と符号付き行列を用いて基底元の明示的乗法公式が導出され、Fan-Liの幾何的公式と正確な対応関係により一致した。
• 特殊化 $u=1$ のとき、タイプDにおける弱いシュール双対性が得られ、タイプDヘッケ代数が真の部分代数として埋め込まれ、古典的および超タイプDにおけるKazhdan-Lusztig理論の適用が可能になった。