[论文解读] Semi-stable subcategories for Euclidean quivers

Colin Ingalls, Charles Paquette+1 more|Archipelago (Université du Québec à Montréal)|Dec 6, 2012

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

一句话总结

本文研究了欧几里得箭图表示范畴中的半稳定子范畴，表明尽管此类子范畴的交集并不总是半稳定的，但仅有有限多个例外。文章将这些非半稳定的交集刻画为包含在正规部分中的厚子范畴，包含所有同态管，并可通过非同态管中的正规正交对表示为至多两个半稳定子范畴的交集。

ABSTRACT

In this paper, we study the semi-stable subcategories of the category of representations of a Euclidean quiver, and the possible intersections of these subcategories. Contrary to the Dynkin case, we find out that the intersection of semi-stable subcategories may not be semi-stable. However, only a finite number of exceptions occur, and we give a description of these subcategories. Moreover, one can attach a simplicial fan in $\mathbb{Q}^n$ to any acyclic quiver $Q$, and this simplicial fan allows one to completely determine the canonical presentation of any element in $\mathbb{Z}^n$. This fan has a nice description in the Dynkin and Euclidean cases: it is described using an arrangement of convex codimension-one subsets of $\mathbb{Q}^n$, each such subset being indexed by a real Schur root or a set of quasi-simple objects. This fan also characterizes when two different stability conditions give rise to the same semi-stable subcategory.

研究动机与目标

• 确定欧几里得箭图表示范畴的哪些阿贝尔的、关于扩张封闭的子范畴可作为某个稳定性条件下的半稳定子范畴。
• 理解半稳定子范畴交集的结构，特别是当这些交集不为半稳定时的情形。
• 刻画半稳定子范畴交集并非自身半稳定时的有限例外集合。
• 建立稳定性条件与 Q^n 中单纯剖分之间的联系，利用实施鲁尔根数和拟单对象。
• 通过剖分结构提供维度向量的典范分解，以编码半稳定等价性。

提出的方法

• 为任意无环箭图 Q 定义一个与 Q 关联的 Q^n 中的单纯剖分，利用由实施鲁尔根数或拟单对象索引的凸余维数一子集。
• 利用格罗滕迪克群与欧拉形式，将稳定性条件与有理向量空间中的元素对应，以实现几何分析。
• 通过剖分诱导的维度向量典范表示来刻画半稳定子范畴。
• 通过限制到表示范畴的正规部分并分析管分解，来研究半稳定子范畴的交集。
• 应用管中正交对 (E_J, F) 的理论，其中 F ∩ OT = ∅，以描述非半稳定的交集。
• 利用厚子范畴与拟长度滤过结构，证明任一此类例外交集均可表示为至多两个半稳定子范畴的交集。

实验结果

研究问题

• RQ1 对于欧几里得箭图 Q，rep(Q) 的哪些阿贝尔的且关于扩张封闭的子范畴可作为某个稳定性条件 θ 下的 θ-半稳定子范畴？
• RQ2 在何种条件下，两个半稳定子范畴的交集本身并非半稳定？
• RQ3 如何从几何与组合角度刻画所有此类非半稳定交集的集合？
• RQ4 单纯剖分在编码稳定性条件的 ss-等价性与典范维度向量分解中起何作用？
• RQ5 每个包含所有同态管且满足管内条件的正规部分的厚子范畴，是否都能实现为半稳定子范畴的有限交集？

主要发现

• 对于欧几里得箭图 Q，rep(Q) 的阿贝尔的且关于扩张封闭的子范畴 B 是半稳定的，当且仅当其为有限生成，或为某个与欧几里得箭图等价的有限生成子范畴中的所有正规对象。
• 半稳定子范畴的交集可能不为半稳定，但仅有有限多个此类例外。
• 所有非半稳定的交集均包含于 rep(Q) 的正规部分中，包含所有同态管，并由非同态管中满足 F ∩ OT = ∅ 的正规正交对 (E_J, F) 所刻画。
• 当交集不为半稳定时，管分解中的至少一个指标集 J_i 必须为空。
• 任一此类例外子范畴均可表示为至多两个半稳定子范畴的交集。
• 与 Q 关联的单纯剖分，由实施鲁尔根数与拟单对象构建，编码了稳定性条件的 ss-等价性，并实现了 Z^n 中每个维度向量的典范表示。