[論文レビュー] On geometric realizations of quantum modified algebras and their canonical bases, II

Yiqiang Li|arXiv (Cornell University)|Sep 4, 2010

Algebraic structures and combinatorial models参考文献 27被引用数 3

ひとこと要約

本稿は、クーヴィー多様体の等長的導来圏を用いて、量子修正代数およびその正規基底の幾何的実現を確立する。特定の複体が代数の定義関係を満たすことを証明し、単項式の有界性を示し、[ZH08]における関手的アプローチと整合性があることを示し、正規基底作用における構造定数の正値性を確認する。

ABSTRACT

We prove part of the conjectures in [Li10a] (arXiv:1007.5384). We also relate the construction of quantum modified algebras in [Li10a] with the functorial construction in [ZH08](arXiv:0803.3668).

研究の動機と目的

• 量子修正代数およびその正規基底の幾何的構成に関する[Li10a]の主要な予想を証明すること。
• 畳み込み代数内において幾何的に定義された複体からなる単項式の有界性を確立すること。
• [Li10a]における幾何的構成と[ZH08]における関手的構成との間の整合性を、畳み込み積を尊重する関手を介して示すこと。
• 提案された構成が、最高重み表現のテンソル積への正規基底要素の作用における構造定数の正値性を示すこと。

提案手法

• 局所化された等長的導来圏を用いて、クーヴィーに付随する二重フレームド表現多様体の構成を行う。
• 畳み込み積は、局所化関手の左随伴、コンパクトな台付き一般直接像関手、一般逆像関手を用いて定義される。
• 複体 $\mathscr{I}_{\mu}$, $\mathscr{E}^{(n)}_{\mu,\mu-n\alpha_i}$, および $\mathscr{F}^{(n)}_{\mu,\mu+n\alpha_i}$ が量子修正代数 $\dot{\mathbf{U}}$ の定義関係を満たすことが示される。
• 畳み込み構造を保存する関手 $\Theta_{\Omega}$ が構成され、幾何的圏の複体を [ZH08] フレームワーク内の関手へ写像する。
• 複体 $K_{\bullet}$ の半単純性により、$\mathbb{Z}[v,v^{-1}]$ 上の結合的代数が構成され、畳み込みによって誘導される乗法が定義される。
• 導来圏のグロテンディーク群は、整数的最高重み表現の形と同一視され、正規基底作用の研究が可能になる。

実験結果

リサーチクエスチョン

• RQ1 幾何的に定義された複体 $\mathscr{I}_{\mu}$, $\mathscr{E}^{(n)}_{\mu,\mu-n\alpha_i}$, および $\mathscr{F}^{(n)}_{\mu,\mu+n\alpha_i}$ は、量子修正代数 $\dot{\mathbf{U}}$ の定義関係を満たすか？
• RQ2 定義が明確でないにもかかわらず、これらの複体から作られる単項式は有界的か？
• RQ3 [Li10a]における幾何的構成と、[ZH08]における関手的構成との間で、畳み込み積を保存する意味で整合性があるか？
• RQ4 二つの構成の整合性が、最高重み表現のテンソル積への正規基底要素の作用における構造定数の正値性を示唆するか？
• RQ5 代数 $\mathscr{K}_d$ は、$\Gamma$ が有限型のとき、一般化された $q$-シュール代数と同型であるか？

主な発見

• 複体 $\mathscr{I}_{\mu}$, $\mathscr{E}^{(n)}_{\mu,\mu-n\alpha_i}$, および $\mathscr{F}^{(n)}_{\mu,\mu+n\alpha_i}$ は、補題 1.8、補題 1.24、および命題 1.25 を用いて、量子修正代数 $\dot{\mathbf{U}}$ の定義関係を満たすことが証明された。
• これらの複体からなる単項式は有界的であり、元の構成における主要な曖昧さが解消された。
• 関手 $\Theta_{\Omega}$ は、幾何的圏から [ZH08] の関手的圏へのwell-definedな写像を誘導し、畳み込み積を保存する。
• 構成は [ZH08] の関手的フレームワークと整合的であり、$\mathfrak{F}^{(n)}_{\mu,\mu-n\alpha_i}$ および $\mathfrak{E}^{(n)}_{\mu,\mu+n\alpha_i}$ は、当該文献における $\mathfrak{F}^{(n)}_{\nu,i}$ および $\mathfrak{E}^{(n)}_{\nu,i}$ に対応する。
• 複体 $K_{\bullet}$ が半単純であり、[Li10a]の予想 4.14 が成り立つものと仮定すると、$\dot{\mathbf{U}}$ の正規基底要素の $V_{\underline{\lambda}}$ の正規基底への作用における構造定数は $\mathbb{N}[v,v^{-1}]$ に属し、正値性が確認された。
• 導来圏および畳み込み積の構造に基づき、$\Gamma$ が有限型のとき、代数 $\mathscr{K}_d$ は一般化された $q$-シュール代数と同型であると予想される。