[論文レビュー] Canonical bases arising from quantum symmetric pairs of Kac-Moody type

Huanchen Bao, Weiqiang Wang|arXiv (Cornell University)|Nov 24, 2018

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

ひとこと要約

本稿では、Kac-Moody型の量子対称対の設定において、最高-weight可解 $υ$-加群、そのテンソル積、および修正された $υ$-量子群 $Øυ^\imath$ に対して $ι$ 個の $υ$-正規基底を構成する。主な革新は、$υ$-分割冪の導入であり、これにより $Øυ^\imath$ の整数形式が生成され、Balagovic-Kolbの予想が証明され、準正則 $K$-行列および $υ$-正規基底の整数論の主要な技術的仮定が取り除かれ、簡略化される。

ABSTRACT

For quantum symmetric pairs $(\mathbf{U}, extbf{U}^\imath)$ of Kac-Moody type, we construct $\imath$canonical bases for the highest weight integrable $\mathbf{U}$-modules and their tensor products regarded as $\mathbf{U}^\imath$-modules, as well as an $\imath$canonical basis for the modified form of the $\imath$quantum group $\mathbf{U}^\imath$. A key new ingredient is a family of explicit elements called $\imath$divided powers, which are shown to generate the integral form of $\dot{\bf{U}}^\imath$. We prove a conjecture of Balagovic-Kolb, removing a major technical assumption in the theory of quantum symmetric pairs. Even for quantum symmetric pairs of finite type, our new approach simplifies and strengthens the integrality of quasi-K-matrix and the constructions of $\imath$canonical bases, by avoiding a case-by-case rank one analysis and removing the strong constraints on the parameters in a previous work.

研究の動機と目的

• 最高-weight可解 $υ$-加群およびそのテンソル積を $υ^\imath$-加群として、$υ$-正規基底を構成すること。
• 修正された $υ^\imath$ 量子群 $Øυ^\imath$ に対して $υ$-正規基底を構成すること。
• Balagovic-Kolb予想を証明し、量子対称対理論における主要な技術的仮定を排除すること。
• 階数1の個別解析を避け、強いパrameter制約を排除する新しい整数論枠組みを確立すること。

提案手法

• 整数形式 ${}_{\mathcal{A}}\dot{\mathbb{U}}^\imath$ を生成する明示的な要素の族、すなわち $υ$-分割冪を導入し、$υ^\imath$-量子群の修正版に適用する。
• $υ$-分割冪を用いて $υ^\imath$-加群上にバーアンチヴォリューション $ψ_\imath$ を定義し、${\mathbb{Z}}[q^{-1}]$-格子構造を用いて $υ$-正規基底の存在を確立する。
• $Ø\u03c5^\imath$ の $υ$-正規基底が、$υ^\imath$-加群 $L^\imath(\lambda,\mu)$ の射影極限を介して定義される対称的双一次形式に関してほぼ正規直交であることを証明する。
• 制限写像 $p_{\imath,\lambda}: {}_{\mathcal{A}}'\dot{\mathbb{U}}^\imath \mathbb{1}_{\overline{\lambda}} \to {}_{\mathcal{A}}\dot{\mathbf{P}} \mathbb{1}_\lambda$ の全射性を確立し、これにより ${}_{\mathcal{A}}'\dot{\mathbb{U}}^\imath = {}_{\mathcal{A}}\dot{\mathbb{U}}^\imath$ が得られる。
• $υ^\imath$-加群上の $π$-ねじれ作用に依存し、一般のパrameter制約（$\varsigma_i \in \pm q^{\mathbb{Z}}$ を要件としない）でも動作するように、$Ø\u03c5^\imath$ 上の双一次形式を一般化する。

実験結果

リサーチクエスチョン

• RQ1 Cartan行列やパrameterに制限のないKac-Moody設定において、$υ^\imath$-加群および修正された $υ^\imath$ 量子群に対して $υ$-正規基底を構成できるか？
• RQ2 $υ$-分割冪の存在が、整数形式 ${}_{\mathcal{A}}\dot{\mathbb{U}}^\imath$ の一様かつ内因的な構成を可能にするか？
• RQ3 Kac-Moody型量子対称対において、Balagovic-Kolb予想のパrameter $\nu_i$ について、一般に証明可能か？
• RQ4 一般パrameter条件下で、$Ø\u03c5^\imath$ 上の双一次形式が非退化的で、$υ$-正規基底に関してほぼ正規直交的か？

主な発見

• $υ$-分割冪は整数形式 ${}_{\mathcal{A}}\dot{\mathbb{U}}^\imath$ を生成し、$Ø\u03c5^\imath$ の整数構造の新しい内因的構成を提供する。
• ${}_{\mathcal{A}}'\dot{\mathbb{U}}^\imath = {}_{\mathcal{A}}\dot{\mathbb{U}}^\imath$ の等式が証明され、$υ$-分割冪とKashiwaraの生成子が整数形式を十分に生成することを示す。
• $Ø\u03c5^\imath$ の $υ$-正規基底はほぼ正規直交的である：$(b_1 \diamondsuit^\imath_{\zeta_\imath} b_2, b'_1 \diamondsuit^\imath_{\zeta'_\imath} b'_2) \equiv \delta_{\zeta_\imath,\zeta'_\imath} \delta_{b_1,b'_1} \delta_{b_2,b'_2} \mod q^{-1}\mathcal{A}$。
• $π$-ねじれ作用のおかげで、$π$ が $υ^\imath$ を保存しない場合でも、$Ø\u03c5^\imath$ 上の双一次形式は非退化的である。
• Balagovic-Kolb予想はKac-Moody型量子対称対において一般に証明され、理論における主要な技術的仮定が排除された。
• 個別的な階数1の解析を回避し、パrameterに強い制約を排除することで、準正則 $K$-行列および $υ$-正規基底の整数論が簡略化され、強化された。