[論文レビュー] Addendum to ``Canonical bases for quantum generalized Kac-Moody algebras''

Seok‐Jin Kang, Olivier Schiffmann|ArXiv.org|Nov 13, 2007

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

ひとこと要約

この補遺は、量子一般化 Kac-Moody代数の標準基底構成を完成させ、明確化する。特に、 perverse sheaf のある種の pushforward の不気味さ（perversity）に関する欠落した証明を埋め込み、著者らの構成とルシュチグのループ付きクイバーにおける標準基底との間の明確な関係を確立する。クイバーに単一ループをもつ虚数頂点が存在しない場合、著者らのフレームワークにおける標準基底がルシュチグの基底の部分集合であることを示し、虚数頂点におけるループ数に依存しないことを証明する。これは後に [LL] で確認されている。

ABSTRACT

We provide some necessary details to several arguments appearing in our previous paper ``Canonical bases for quantum generalized Kac-Moody algebras''. We also make the link with some other work on the same subject.

研究の動機と目的

• 量子一般化 Kac-Moody代数の標準基底に関するオリジナル論文 [KS] の欠落した技術的詳細を補い、証明を完成させること。
• 著者らの構成と [L2] で定義されたループ付きクイバーにおけるルシュチグの標準基底との正確な関係を明確化すること、特に [L2] において。
• クイバーに単一ループをもつ虚数頂点が存在しない場合、[KS] で構成された標準基底がルシュチグの基底の部分集合であることを確立すること。
• 標準基底が虚数頂点におけるループ数に依存しないことを示すこと。これは後に [LL] で確認されている。

提案手法

• 分解定理および perverse sheaf の性質を用いて、固有な準同型による単純な perverse sheaf の pushforward が perverse であることを証明する。
• Fourier-Deligne 変換を適用し、[KS] の構成と [L2] におけるルシュチグのフレームワークとの関係を、特にループ付きクイバーにおいて結びつける。
• 次元ベクトルおよび頂点列に関連する旗多様体とインシデント多様体の幾何学的性質を分析し、特に実数頂点と虚数頂点を区別する。
• ベクター束写像による層の引き戻しを用いて、異なるインシデント多様体上の層を関連づけ、準同型の半小 (semismallness) を確立する。
• 導来圏の完全忠実埋め込みを用いて、異なる幾何的設定間での性質を転送する。特に、関手 $\rho^*$ および $e^*$ を通じて行う。
• 基底変換定理および IC 拡張の性質を適用し、Fourier 変換がクイバーの異なる向きに対して標準基底の構造を保存することを示す。

実験結果

リサーチクエスチョン

• RQ1 なぜ単純な perverse sheaf $\mathbb{P} \in \mathcal{T}_{\mathbf{i}}$ に対する準同型 $\pi_1$ による pushforward $\pi_{1!}(\mathbb{P})$ が perverse であるのか。そして、これを厳密に確立するにはどうすればよいか？
• RQ2 KS で構成された標準基底は、[L2] で定義されたループ付きクイバーにおけるルシュチグの標準基底とどのように関係しているか？
• RQ3 ループへの冪零条件が標準基底の構成における役割は何か。また、それが得られる代数的構造にどのように影響するか？
• RQ4 標準基底は虚数頂点におけるループ数に依存しないのか。もしそうならば、どのような条件下でそうなるか？
• RQ5 旗多様体およびインシデント多様体を用いた幾何的構成は、標準基底の整数性および不変性をどのように支援するか？

主な発見

• 各 $\mathbb{P} \in \mathcal{T}_{\mathbf{i}}$ に対して $\pi_{1!}(\mathbb{P})$ の perversity は、$\mathbb{P}$ の各ストラトムへの $\pi_1$ の制限が半小であることを示すことによって確立される。
• Fourier-Deligne 変換は、異なる向き $\Omega_1$ および $\Omega_2$ に関連する perverse sheaf のカテゴリ間に同値を誘導し、標準基底がこのような変換のもとで保存されることを証明する。
• クイバーに単一ループをもつ虚数頂点が存在しない場合、[KS] で構成された標準基底 $\mathbf{B}$ はルシュチグの標準基底 $B$ の部分集合である。
• $E_i^{(1)}$（$i \in I$）で生成される代数 $\mathbf{U}$ はルシュチグの代数 $U$ の部分代数であり、単一ループ虚数頂点が存在しない場合には $\mathbf{B} = B \cap \mathbf{U}$ が成り立つ。
• 標準基底は虚数頂点におけるループ数に依存せず、[LL] で示されたように、幾何的構成の不変性によって裏付けられる。
• 本研究で用いられた証明技法、特に完全忠実関手および基底変換の使用は、Li と Lin の [LL] の研究に暗黙的に入っていることが確認され、関連研究との整合性が裏付けられている。