[論文レビュー] Continuous quivers of type A (I) Foundations

Kiyoshi Igusa, Job Daisie Rock+1 more|arXiv (Cornell University)|Sep 23, 2019

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

ひとこと要約

本稿は、実数直線上で交互に向きが変わる有限型A_nクーヴィーの一般化として連続的クーヴィー型Aを導入し、点ごとの有限次元（pwf）表現に関する基礎的結果を確立する。すべてのpwf表現が一意に区間不可約表現の直和に分解されることを証明し、これらの不可約表現をそのサポート区間によって分類し、有限生成表現が有限型A_n表現の主要な性質を一部継承することを示している。特に、特定の条件下でアウスランダー＝レーセンの系列が存在することも示している。

ABSTRACT

We generalize type $A$ quivers to continuous type $A$ quivers and prove initial results about pointwise finite-dimensional (pwf) representations. We classify the indecomosable pwf representations and provide a decomposition theorem, recovering results of Botnan and Crawley-Boevey. We also classify the indecomposable pwf projective representations. Finally, we prove that many of the properties of finite-dimensional type $A_n$ representations are present in finitely generated pwf representations. This is the self-contained foundational part of a series of works to study a generalization of continuous clusters categories and their relationship to other type $A$ cluster structures.

研究の動機と目的

• 実数直線上で交互に向きが変わる連続的クーヴィー型Aに、有限型A_nクーヴィーを一般化する。
• 連続的クーヴィー型Aクーヴィーの不可約点ごとの有限次元（pwf）表現を分類する。
• pwf表現の分解定理を確立し、それらが区間不可約表現の直和として表されることを示す。
• 不可約射影的pwf表現を特徴づけ、それを恒常的ホモロジー理論およびクラスター理論と関連付ける。
• 連続的クラスターカテゴリの基礎を築き、古典的型Aクラスターモデルととの関係を明らかにする。

提案手法

• 実数直線$\mathbb{R}$上に連続的クーヴィー$A_{\mathbb{R}}$を定義し、$\mathbb{R}$の離散的かつ蓄積点を持たない部分集合$S \subset \mathbb{R}$を用いて向きを交互に導入する。
• 各区間$I \subseteq \mathbb{R}$に対して区間表現$M_I$を構成し、頂点には1次元ベクトル空間を、矢印には恒等写像またはゼロ写像を割り当てる。
• すべての不可約pwf表現が、ある$M_I$に同型であることを証明し、サポート区間を用いた分類を確立する。
• フィルトレーションと不可約性の十分・必要条件を用いて、pwf表現の分解定理を導出する。
• $\operatorname{Rep}_k^{\rm{pwf}}(A_{\mathbb{R}})$における射影的表現を特徴づけ、それらを区間サポートと関連付ける。
• 特定の条件下で、有限生成表現の圏$\operatorname{rep}_k(A_{\mathbb{R}})$においてアウスランダー＝レーセンの系列が存在することを確立する。

実験結果

リサーチクエスチョン

• RQ1 連続的クーヴィー型Aの不可約点ごとの有限次元表現の構造はどのようなものか？
• RQ2 $A_{\mathbb{R}}$のすべての不可約pwf表現を、そのサポート区間を用いてどのように分類できるか？
• RQ3 有限生成表現$A_{\mathbb{R}}$がアウスランダー＝レーセンの系列をもつのはどのような条件下か？
• RQ4 A_{\mathbb{R}}の表現論的性質は、恒常的ホモロジー理論およびクラスター代数構造とどのように関係するか？
• RQ5 区間射影的表現は、pwf表現の分解において果たす役割は何か？

主な発見

• すべての$A_{\mathbb{R}}$の不可約点ごとの有限次元表現は、ある区間表現$M_I$（$I \subseteq \mathbb{R}$）に同型であり、2つのこのような表現が同型であるための必要十分条件は、同じサポートを持つことである。
• すべての$A_{\mathbb{R}}$の点ごとの有限次元表現は、一意に区間不可約表現の直和として分解され、これは$\mathbb{R}$-表現に対するクライヴリー＝ボーイの定理の一般化である。
• $\operatorname{Rep}_k^{\rm{pwf}}(A_{\mathbb{R}})$における不可約射影的表現は、$a,b \in \mathbb{R}$に対して$M_{[a,b)}$、$M_{(a,b]}$、$M_{[a,b]}$、$M_{(a,b)}$の4種類に限られる。
• $\operatorname{rep}_k(A_{\mathbb{R}})$における有限生成表現は、有限型$A_n$表現の主要な性質を一部継承しており、特定のアウスランダー＝レーセンの系列の存在が保証される。
• 非ソース・非シンク点における$M_{\{a\}}$のような表現は、アウスランダー＝レーセンの系列をもたないことがあり、これは有限型の場合とは異なる点を示している。
• 不可約表現およびその準同型の分類は、連続的クラスターカテゴリの構成およびクラスター理論を連続的設定に一般化する基盤を提供する。