[論文レビュー] Canonical bases for tensor products and super Kazhdan-Lusztig theory

Huanchen Bao, Weiqiang Wang+1 more|arXiv (Cornell University)|Aug 28, 2018

Algebraic structures and combinatorial models参考文献 21被引用数 10

ひとこと要約

本稿は、有限型の量子対称ペアの文脈において、基底付き $Υ^/imath$-加群と基底付き $Υ$-加群のテンソル積のための標準的基底理論を確立し、正規化された KZ理論を直交的シンプレクティック Lie 超代数の放物的 BGG 範囲 $Σ^ {\mathfrak{l}}_{\mathbf{b}}$ に完全に適用可能にする。主な貢献は、$M \otimes N$ 上に $Υ^/imath$-標準的基底を構成することであり、これにより、非 $\u03a5$-加群構造へと既存の結果を拡張し、すべての放物的範囲における超 KZ 多項式の適用が可能になる。

ABSTRACT

We generalize a construction in [BW18] (arXiv:1610.09271) by showing that the tensor product of a based $ extbf{U}^{\imath}$-module and a based $ extbf{U}$-module is a based $ extbf{U}^{\imath}$-module. This is then used to formulate a Kazhdan-Lusztig theory for an arbitrary parabolic BGG category $\mathcal{O}$ of the ortho-symplectic Lie superalgebras, extending a main result in [BW13] (arXiv:1310.0103).

研究の動機と目的

• 基底付き $Υ^\imath$-標準的基底の構成を、$Υ$-加群のテンソル積から、基底付き $Υ^\imath$-加群と基底付き $Υ$-加群のテンソル積へ一般化すること。
• 直交的シンプレクティック Lie 超代数の任意の放物的 BGG 範囲 $Σ^\mathfrak{l}_{\mathbf{b}}$ に対して KZ 理論を確立すること、特にリーヴィ部分代数に型 B 要素を含む場合も含む。
• $M$ を基底付き $Υ^\imath$-加群、$N$ を基底付き $Υ$-加群とするとき、新しいバー対合と修正された部分順序を用いて、$M \otimes N$ 上に $Υ^\imath$-標準的基底の存在を証明すること。
• 超 KZ 理論の適用範囲を、$Σ_{\mathbf{b}}$ の全範囲を超えて、特に $a_0 > 0$ の場合（型 B 成分を含むリーヴィ部分代数に対応）のすべての放物的範囲へ拡張すること。

提案手法

• ${\mathbb{U}^\imath} \otimes \mathbb{U}^+$ の完備化における要素 $\Theta^{\imath}$ を用いて、$M \otimes N$ 上に新しいバー対合 $\psi_{\imath}$ を構成し、その積分性を Lusztig [Lu94] の準 $\mathcal{R}$ 行列と [BW18b] の準 $\mathcal{K}$ 行列の積分性から示す。
• 特に $M$ が $\mathbb{U}$-加群でない場合に適した、より単純でより適切な重み格子上の新しい部分順序を定義する。
• $\psi_{\imath}$-不変かつ積分的でバー作用と整合する唯一の基底として、$M \otimes N$ 上に $\imath$-標準的基底 $\mathbb{B}^{\imath} \diamondsuit_{\imath} \mathbb{B}$ を構成する。
• $\widehat{\mathbb{T}}^{\mathbf{b},\mathfrak{l}}$ 上に $\imath$-標準的基底の存在を用いて、放物的範囲 $\mathcal{O}^{\mathfrak{l}}_{\mathbf{b}}$ に対して超 KZ 理論を確立し、基底要素が標準的および既約加群に対応することを示す。
• $[[\mathcal{O}^{\mathfrak{l},\Delta}_{\mathbf{b}}]]$ と $\widehat{\mathbb{T}}^{\mathbf{b},\mathfrak{l}}_\mathbb{Z}$ 間の $\mathbb{Z}$-加群の可換図式を活用し、特徴を比較して同型写像 $\Psi$ を導出する。
• 商 $\mathbb{T}^{\mathbf{b}} / \mathbb{S}^{\mathfrak{l}}$ に古典的 KZ 理論を適用し、放物的 KZ 基底が $\imath$-標準的基底の像として得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 基底付き $\mathbb{U}^\imath$-標準的基底の構成を、$\mathbb{U}$-加群のテンソル積から、$\mathbb{U}^\imath$-加群と $\mathbb{U}$-加群のテンソル積へ拡張できるか。
• RQ2 $M \otimes N$ 上に $\imath$-標準的基底の存在が、非自明な型 B リーヴィ部分代数を含む直交的シンプレクティック Lie 超代数の放物的 BGG 範囲 $\mathcal{O}^{\mathfrak{l}}_{\mathbf{b}}$ において完全な KZ 理論を可能にするか。
• RQ3 $M$ が $\mathbb{U}$-加群でない場合に、新しい部分順序が $\imath$-標準的基底の構成において果たす役割は何か。
• RQ4 準 $\mathcal{R}$ 行列と準 $\mathcal{K}$ 行列から導かれる $\Theta^{\imath}$ の積分性が、$M \otimes N$ 上の $\imath$-標準的基底の積分性をどのように保証するか。
• RQ5 奇数 $N$ の量子対称ペアの直和極限における $\imath$-標準的基底を用いて、半整数重みを持つ放物的範囲に対しても超 KZ 理論を定式化できるか。

主な発見

• 基底付き $\mathbb{U}^\imath$-加群 $(M, \mathbb{B}^\imath)$ と基底付き $\mathbb{U}$-加群 $(N, \mathbb{B})$ のテンソル積 $M \otimes N$ は、$\psi_{\imath}$-不変基底 $\mathbb{B}^\imath \diamondsuit_{\imath} \mathbb{B}$ を持ち、$(M \otimes N, \mathbb{B}^\imath \diamondsuit_{\imath} \mathbb{B})$ は基底付き $\mathbb{U}^\imath$-加群である。
• $M \otimes N$ 上の $\psi_{\imath}$-不変基底の構成は、従来の順序よりも単純で、一般の $\mathbb{U}^\imath$-加群設定に適した新しい部分順序に依存している。
• $\Theta^{\imath}$ の積分性は、Lusztig [Lu94] の準 $\mathcal{R}$ 行列と [BW18b] の準 $\mathcal{K}$ 行列の積分性から示される。
• 放物的範囲 $\mathcal{O}^{\mathfrak{l}}_{\mathbf{b}}$ における超 KZ 理論は、$\widehat{\mathbb{T}}^{\mathbf{b},\mathfrak{l}}$ 上の $\imath$-標準的基底を通じて定式化され、同型写像 $\Psi$ は既約加群と標準的加群をそれぞれ $\imath$-標準的基底に対応付ける。
• $\mathcal{O}^{\mathfrak{l}}_{\mathbf{b}}$ の KZ 多項式 $t^{\mathbf{b}}_{gf}(q)$ は $\mathbb{N}[q]$ に属し、すべての $f$ に対して $T^{\mathbf{b},\mathfrak{l}}_f = M^{\mathbf{b},\mathfrak{l}}_f + \sum_g t^{\mathbf{b}}_{gf}(q) M^{\mathbf{b},\mathfrak{l}}_g$ は有限であることが示され、正値性と有限性が確認される。
• 理論は、奇数 $N$ の量子対称ペアの直和極限を通じて半整数重みの範囲へ拡張可能であり、型 D については $\kappa = 0$ を用いて拡張可能であり、定理 10 はすべてのケース、特に $a_0 > 0$ の場合にも成り立つ。