[论文解读] 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 的连续箭图，将有限型 A_n 箭图推广至实直线上的交替定向形式，并建立了关于逐点有限维（pwf）表示的基础结果。证明了每个 pwf 表示均可唯一分解为区间不可约表示的直和，通过支撑区间对这些不可约表示进行分类，并表明有限生成表示继承了有限型 A_n 表示的关键性质，包括在特定条件下存在 Auslander–Reiten 序列。

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_n 箭图推广至实直线上具有交替定向的连续箭图 A_{\mathbb{R}}。
• 对连续型 A 箭图的不可约逐点有限维（pwf）表示进行分类。
• 建立 pwf 表示的分解定理，表明其可表示为区间不可约表示的直和。
• 刻画不可约投影 pwf 表示，并将其与持久同调及簇理论联系起来。
• 为连续簇范畴及其与经典类型 A 簇结构的关系奠定基础。

提出的方法

• 通过 $\mathbb{R}$ 的离散且无极限点的子集 $S \subset \mathbb{R}$ 定义实直线上的连续箭图 $A_{\mathbb{R}}$，以诱导交替定向。
• 为每个区间 $I \subseteq \mathbb{R}$ 构造区间表示 $M_I$，在顶点上赋予一维向量空间，在箭头上赋予恒等映射或零映射。
• 证明所有不可约 pwf 表示都同构于某个 $M_I$，从而通过支撑区间实现分类。
• 利用滤子及不可约性的充分/必要条件，推导出 pwf 表示的分解定理。
• 刻画 $\operatorname{Rep}_k^{\rm{pwf}}(A_{\mathbb{R}})$ 中的投影表示，并将其与区间支撑联系起来。
• 在特定条件下，证明有限生成表示范畴 $\operatorname{rep}_k(A_{\mathbb{R}})$ 中存在 Auslander–Reiten 序列。

实验结果

研究问题

• RQ1 连续型 A 箭图的不可约逐点有限维表示具有怎样的结构？
• RQ2 如何根据其支撑区间对 $A_{\mathbb{R}}$ 的所有不可约 pwf 表示进行分类？
• RQ3 在何种条件下，$A_{\mathbb{R}}$ 的有限生成表示存在 Auslander–Reiten 序列？
• RQ4 A_{\mathbb{R}} 的表示论性质如何与持久同调及簇代数结构相关联？
• RQ5 区间投影表示在 pwf 表示的分解中起何种作用？

主要发现

• 所有 $A_{\mathbb{R}}$ 的不可约逐点有限维表示都同构于某个区间表示 $M_I$（$I \subseteq \mathbb{R}$），且两个此类表示同构当且仅当它们具有相同的支撑。
• 每个 $A_{\mathbb{R}}$ 的逐点有限维表示均可唯一分解为区间不可约表示的直和，推广了 Crawley-Boevey 对 $\mathbb{R}$-表示的定理。
• $\operatorname{Rep}_k^{\rm{pwf}}(A_{\mathbb{R}})$ 中的不可约投影表示恰好是形如 $M_{[a,b)}$、$M_{(a,b]}$、$M_{[a,b]}$ 和 $M_{(a,b)}$ 的区间表示，其中 $a,b \in \mathbb{R}$。
• 在 $\operatorname{rep}_k(A_{\mathbb{R}})$ 中的有限生成表示继承了有限型 $A_n$ 表示的关键性质，包括特定 Auslander–Reiten 序列的存在性。
• 存在某些表示（如在非源点/非汇点处的 $M_{\{a\}}$）不具有 Auslander–Reiten 序列，表明其与有限型情形存在差异。
• 对不可约表示及其态射的分类为构造连续簇范畴提供了基础，并推动了簇理论向连续设定的推广。