[論文レビュー] The canonical basis and the quantum Frobenius morphism

Pierre Baumann|arXiv (Cornell University)|Dec 31, 2011

Algebraic structures and combinatorial models参考文献 49被引用数 7

ひとこと要約

本稿は、可解的 Kac-Moody代数の量子包あくり代数における、正規基底と量子 Frobenius 準同型写像の整合性を調査する。$Fr$ とそのスプリット $Fr'$ は、一般に正規基底を完全に保存しないことが示され、$A_5$ および $D_4$ 型における反例によって裏付けられるが、多面体順序 $ leq_{ rm{pol}}$ を通じたフィルター化により部分的な整合性を示し、Frobenius 写像下での基底遷移のより洗練された理解が得られる。

ABSTRACT

The first goal of this paper is to study the amount of compatibility between two important constructions in the theory of quantized enveloping algebras, namely the canonical basis and the quantum Frobenius morphism. The second goal is to study orders with which the Kashiwara crystal B(infinity) of a symmetrizable Kac-Moody algebra can be endowed; these orders are defined so that the transition matrices between bases naturally indexed by B(infinity) are lower triangular.

研究の動機と目的

• 量子包あくり代数における正規基底と量子 Frobenius 準同型写像 $Fr$ 及びそのスプリット $Fr'$ 間の整合性を分析すること。
• $Fr$ および $Fr'$ が正規基底の生成元を基底の生成元またはゼロに写像するかを、組合せ論的特徴づけとともに調査すること。
• クリスタル $B(-\infty)$ 上の自然な順序、特に $\leq_{\mathrm{str}}$ と $\leq_{\mathrm{pol}}$ を定義し、それらを用いて基底遷移行列を理解すること。
• McGerty が提起した Hall 代数における Frobenius 写像の持ち上げに関する問題を、反例による障害点の特定を通じて解消すること。
• $\leq_{\mathrm{pol}}$ 順序下で、$Fr$ と $Fr'$ が正規基底を「先頭項まで」の整合性を示すことを確立すること。

提案手法

• Kashiwara のクリスタル基底理論と抽象的クリスタル $B(-\infty)$ を、正規基底の定義に用いる基底集合として用いる。
• $B(-\infty)$ 上に二つの順序を定義する：$\leq_{\mathrm{str}}$ は $\varepsilon_i, \varphi_i$ の値とクリスタル作用素による安定化を用い、$\leq_{\mathrm{pol}}$ は重み格子における MV 多面体を用いる。
• Lusztig の対称 Cartan 行列行列の場合における正規基底および準正規基底の構成を応用し、$\leq_{\mathrm{pol}}$ がクーヴィー表現における退化順序と関係することを示す。
• GAP および QuaGroup を用いたコンピュータ支援計算により、Chevalley 生成子の単項式の展開を計算し、Frobenius 行動を検証する。
• $U(\mathfrak{n}_+)$ と $\mathbb{Q}[N]$ の双対性を用いて、$Fr$ が正規基底に与える影響を解釈する。
• Hall 代数および PBW 基底の結果を応用し、$Fr$ と $Fr'$ を自己同型 $T'_{i,-1}$ の観点から解釈することで、フィルター化された設定下での整合性を確立する。

実験結果

リサーチクエスチョン

• RQ1 量子 Frobenius 準同型写像 $Fr$ は、正規基底を要素ごとに保存するのか、それとも先頭項までしか保存しないのか？
• RQ2 $Fr$ のスプリット $Fr'$ が、正規基底の生成元を正規基底の生成元またはゼロに写像するかどうかを、組合せ論的ルールで示せるか？
• RQ3 $B(-\infty)$ 上のどのような順序が、正規基底と他の基底間の遷移行列を下三角行列にするか？ また、それらの順序は MV 多面体のような幾何的構造とどのように関係するか？
• RQ4 完全な整合性に内在する障害は存在するか？ その障害はどこに現れるか？
• RQ5 $Fr$ と $Fr'$ が正規基底を保存しないという失敗は、$\leq_{\mathrm{pol}}$ 順序を用いて定量的または特徴づけられるか？

主な発見

• 量子 Frobenius 準同型写像 $Fr$ は、本稿の第6.3節で明示的な反例により、$A_5$ 型および $D_4$ 型で正規基底を保存しないことが示された。
• スプリット $Fr'$ は、一般には正規基底と完全に整合しないが、$A_1$, $A_2$, $A_3$, $B_2$ のような小規模なランクの場合には動作することが示された。
• $Fr$ に関しては、$G(b'')$ が $Fr(G(b'))$ に現れるのは、$b' \leq_{\mathrm{pol}} S_\ell(b'')$ のときのみであり、多面体順序によるフィルター化された整合性が確立された。
• $Fr'$ に関しては、$G(b')$ が $Fr'(G(b''))$ に現れるのは、$S_\ell(b'') \leq_{\mathrm{pol}} b'$ のときのみであり、$S_\ell$ が $Fr'$ のクリスタル版であることが示された。
• $A_5$ 型では、$Fr_2(G(b_{0,1})) + G(b_{1,0}) = 0$ であり、$Fr_2(G(b_{0,2})) = G(b_{0,1}) + G(b_{2,0})$ である。これは非自明な作用と基底保存の失敗を示している。
• $[2]^2 \equiv 1 \pmod{\Phi_6}$ および $[3]^2 \equiv 1 \pmod{\Phi_8}$ を用いて、$Fr_2(G(b_{2,1})) + G(b_{2,0}) = 0$ を導出し、$Fr$ 下での基底保存の失敗を確認した。