[論文レビュー] Representations of tame quivers and affine canonical bases

Zongzhu Lin, Jie Xiao+1 more|ArXiv.org|Jun 11, 2007

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

ひとこと要約

本稿は、クライナークルーバーの表現と軌道多様体および拡張多様体からの幾何的順序を用いて、アフィン型A₁⁽¹⁾の量子包あくり代数の正部分代数に対する積分PBW基底を構成する。軌道多様体の次元による基底要素の順序付けと、単項行列式が1の上三角行列となる移行行列の証明により、バーレバーリング不変基底が実現され、すべての対称的アフィンカック＝ムーディ代数に対して代数的構成による標準基底が得られる。

ABSTRACT

An integral PBW-basis of type $A_1^{(1)}$ has been constructed by Zhang [Z] and Chen [C] using the Auslander-Reiten quiver of the Kronecker quiver. We associate a geometric order to elements in this basis following an idea of Lusztig [L1] in the case of finite type. This leads to an algebraic realization of a bar-invariant basis of $\uq2$. For any affine symmetric type, we obtain an integral PBW-basis of the generic composition algebra, by using an algebraic construction of the integral basis for a tube in [DDX], an embedding of the module category of the Kronecker quiver into the module category of the tame quiver, and a list of the root vectors of indecomposable modules according to the preprojective, regular, and preinjective components of the Auslander-Reiten quiver of the tame quiver. When the basis elements are ordered to be compatible with the geometric order given by the dimensions of the orbit varieties and the extension varieties, we can show that the transition matrix between the PBW-basis and a monomial basis is triangular with diagonal entries equal to 1. Therefore we obtain a bar-invariant basis. By a orthogonalization for the PBW-basis with the inner product, we finally give an algebraic way to realize the canonical bases of the quantized enveloping algebras of all symmetric affine Kac-Moody Lie algebras.

研究の動機と目的

• perverse sheavesのような幾何的手法に依存せずに、対称的アフィンカック＝ムーディ代数の量子包あくり代数の正部分代数に対する代数的・表現論的構成による標準基底の構成を提供すること。
• ルシュツィグの有限型アプローチ（幾何的順序と上三角移行行列）を、たんぱく質のクライナークルーバー表現を用いてアフィン型へ拡張すること。
• アフィン型では最長のワイル群元が存在しないため、軌道多様体および拡張多様体の次元といった幾何的不変量と整合するPBW基底を構築することで、その欠如を補うこと。
• 適切な内積に関してPBW基底の直交化を施し、バーレバーリング不変基底を確立し、標準基底を得ること。

提案手法

• クライナークルーバーのAuslander-Reitenクライナークルーバーとホール代数の技法を用いて、型A₁⁽¹⁾の積分PBW基底を構成する。
• 表現に関連する軌道多様体の次元によって、基底要素に幾何的順序を定義する。
• クライナークルーバーの加群圏を一般のタムクライナークルーバーの加群圏へ埋め込むことにより、すべてのアフィン対称型への構成を拡張する。
• PBW基底要素を、単項行列が1の上三角行列となるように順序付け、単項基底への移行行列を上三角行列にすること。
• 標準的内積に関して直交化を施し、バーレバーリング不変基底を得る。
• その結果得られた基底が、標準基底の3つの定義的性質（バーレバーリング不変性、v⁻¹ℚ[[v⁻¹]]への射影の像、およびv⁻¹ℚ[[v⁻¹]] ∩ ℚ(v) に関する正規直交性）を満たすことを証明する。

実験結果

リサーチクエスチョン

• RQ1 交差コホモロジーに依存せずに、クライナークルーバー表現を用いた代数的手段によって、量子アフィン包あくり代数の正部分代数に対する標準基底を構成することは可能か？
• RQ2 アフィン型において、PBW型基底をどのように順序付けすれば、単項基底への移行行列が対角成分が1の上三角行列となるようにできるか？
• RQ3 タムクライナークルーバーとホール代数の文脈において、PBW基底の直交化によって標準基底を実現することは可能か？
• RQ4 軌道多様体の次元によって定義される幾何的順序は、アフィン型における標準基底の構成に適した基底構造をもたらすか？
• RQ5 アウスランダー＝レーゲンクライナークルーバーのチューブ成分を用いて、すべての対称的アフィンカック＝ムーディ代数へこの構成を一般化できるか？

主な発見

• クライナークルーバーとホール代数の手法を用いて、アフィン型A₁⁽¹⁾の一般化された合成代数に対して積分PBW基底が構成された。
• PBW基底要素は、軌道多様体の次元によって順序付けられており、単項基底への移行行列が対角成分が1の上三角行列であることが保証された。
• 標準的内積に関してPBW基底を直交化することで、バーレバーリング不変基底が得られ、標準基底の3つの定義的性質を満たした。
• 結果として得られた基底は、ルシュツィグの意味での符号付き標準基底であり、したがって量子包あくり代数の標準基底であることが示された。
• この構成により、すべての対称的アフィンカック＝ムーディリーア代数の標準基底の完全な代数的実現が得られた。
• ナカジマが提起した、代数的手段によるこのような標準基底構成の存在に関する疑問が解決された。