[論文レビュー] Geometric approach to Hall algebra of representations of Quivers over local ring

Zhaobing Fan|arXiv (Cornell University)|Dec 23, 2010

Algebraic structures and combinatorial models参考文献 23被引用数 4

ひとこと要約

本稿は、局所環 $k[t]/(t^n)$ 上のクイバー表現空間上の perverse sheaves を用いて幾何的合成代数 $Π$ を構成し、単純な perverse sheaves を通じて標準基底を確立する。この幾何的代数は、同じ環上の局所的射影的クイバー表現のホール代数および量子一般化 Kac-Moody代数と関連づけられ、量子一般化 Kac-Moody代数の負部分から $Π$ への代数準同型が示され、$Π$ の標準基底は単純な perverse sheaves から生じる。

ABSTRACT

By using perverse sheaves on representation spaces of quivers over $k[t]/(t^n)$ and jet schemes over flag varieties, we construct a geometric composition algebra $\mathbf K$ under Lusztig's framework on geometric realizations of the negative part of quantum algebras. Simple perverse sheaves in $\mathbf K$ form the canonical basis of $\mathbf K$. The relationships among the algebra $\mathbf K$, the composition algebra of locally projective representations of quivers over $k[t]/(t^n)$ and quantum generalized Kac-Moody algebra are provided.

研究の動機と目的

• 局所環 $k[t]/(t^n)$ 上のクイバー表現のホール代数の幾何的枠組みを perverse sheaves を用いて開発すること。
• Lusztig の枠組みに従い、非アーベル的完全系列のカテゴリに拡張された幾何的量子代数実現を含む、幾何的合成代数 $\mathbf{K}$ を構築すること。
• $\mathbf{K}$ を $k[t]/(t^n)$ 上の局所的射影的クイバー表現の代数的ホール代数および量子一般化 Kac-Moody代数の負部分と関連づけること。
• 単純な perverse sheaves を用いて $\mathbf{K}$ の標準基底を構成し、Lusztig の標準基底構成をこの幾何的設定に一般化すること。

提案手法

• 局所環 $R = k[t]/(t^n)$ 上のクイバー表現空間上の perverse sheaves を用い、フラッグ多様体上のジェットスキームを活用して幾何的合成代数 $\mathbf{K}$ を構築する。
• Lusztig の量子代数の幾何的実現枠組みを、局所的射影的 $R$-加群の非アーベル的完全系列のカテゴリに適応する。
• 等変オイラー特性 $d_j(E,G;L,M)$ を用いて $\mathbf{K}$ 上の双線形形式を定義し、非退化性を証明することで、well-defined な標準基底の存在を保証する。
• Lusztig の制限関手を、非射影的部分加群および商加群を扱うために自由部分解に置き換える。
• 量子一般化 Kac-Moody代数の負部分から $\mathbf{K}$ への代数準同型を確立し、次数と基底構造を保存する。
• $\mathbf{K}$ の標準基底が単純な perverse sheaves で与えられることを証明する。非退化性と $d_j$-関数の性質を用いる。

実験結果

リサーチクエスチョン

• RQ1 Lusztig の量子代数の幾何的枠組みは、$k[t]/(t^n)$ のような局所環上のクイバー表現へどのように拡張可能か？
• RQ2 $\mathbf{K}$ と $k[t]/(t^n)$ 上の局所的射影的クイバー表現のホール代数の関係は何か？
• RQ3 $\mathbf{K}$ の標準基底は単純な perverse sheaves で記述可能か？また、量子群理論における既知の標準基底とどのように関係するか？
• RQ4 $\mathbf{K}$ はどのようにして量子一般化 Kac-Moody代数と関連づけられるか？特に、その負部分からの代数準同型によってか？
• RQ5 非正規射影や非射影的部分加群といった技術的課題はどのようなものがあり、それらはどのように解決されるか？

主な発見

• 幾何的合成代数 $\mathbf{K}$ は、局所環 $R = k[t]/(t^n)$ 上のクイバー表現空間上の perverse sheaves を用いて構成され、等変オイラー特性 $d_j(E,G;L,M)$ を通じて双線形形式が定義される。
• $\mathbf{K}$ 上の双線形形式は非退化であることが証明され、well-defined な標準基底の存在が保証される。
• $\mathbf{K}$ の標準基底は単純な perverse sheaves で与えられ、Lusztig の標準基底構成がこの幾何的設定に一般化される。
• 量子一般化 Kac-Moody代数の負部分から $\mathbf{K}$ への代数準同型 $f: \mathbf{U}^{-}_{v} \to \mathbf{K}$ が存在し、その核は $\mathbf{U}^{-}_{v}$ 上の双線形形式の根基に等しい。
• $\mathbf{U}^{-}_{v}/\mathcal{I}_2$ は $\mathbf{K}$ に同型であり、$\mathbf{K}$ の量子一般化 Kac-Moody代数による正確な代数的実現が確立される。
• 局所的射影的クイバー表現の代数的合成代数と $\mathbf{K}$ の間には、次数と基底構造を保存する全射代数準同型が存在する。