[论文解读] Thick subcategories of finite algebraic triangulated categories

C Köhler|arXiv (Cornell University)|Oct 1, 2010

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

一句话总结

该论文对Dynkin型(Δ, r, t)的有限代数三角范畴的厚子范畴进行了分类，建立了此类子范畴与在Coxeter元的s重共轭下不变的非交叉划分之间的双射关系，其中s = gcd(hΔ, p)，p为依赖于范畴结构的参数。该分类通过组合描述扩展至A型和D型，并通过直接计算解决了标准方法失效的例外情况，如(D₄, r, 3)。

ABSTRACT

We classify the thick subcategories of an algebraic triangulated standard category with finitely many indecomposable objects.

研究动机与目标

• 对具有有限多个不可约对象的有限、连通、代数标准三角范畴中的厚子范畴进行分类。
• 通过Auslander-Reiten箭图与轨道范畴，建立三角范畴与非交叉划分组合学之间的结构联系。
• 解决所有Dynkin型(Δ, r, t)的分类问题，包括(Dₙ, r, 2)（当n为偶数时）和(D₄, r, 3)等例外情况，这些情况的标准方法失效。
• 利用二项式系数与Catalan型数，给出A型与D型中厚子范畴数量的显式公式。

提出的方法

• 利用有限代数三角范畴与有界导出范畴Dᵇ(mod(kΔ̲))的轨道范畴之间的三角等价性，对应于特定自同构。
• 应用Ingalls与Thomas建立的mod(kΔ̲)中精确阿贝尔扩张闭子范畴的分类，通过非交叉划分NCΔ̲。
• 将自同构群在三角范畴上的作用转化为与Δ相关联的Coxeter群中Coxeter元的共轭作用。
• 定义s = gcd(hΔ, p)，其中hΔ为Coxeter数，p依赖于轨道范畴参数(r, t)，以刻画群作用下的不变性。
• 利用A型与D型的非交叉划分的替代描述NCᴬ(n)与NCᴰ(n)，推导出厚子范畴数量的显式组合公式。
• 对例外类型进行逐案分析，特别是(D₄, r, 3)，其群作用在NCΔ̲中无法统一描述。

实验结果

研究问题

• RQ1 如何利用组合不变量对有限代数三角范畴的厚子范畴进行分类？
• RQ2 导出范畴的自同构群与在非交叉划分上的作用之间的确切关系是什么？
• RQ3 为何标准分类方法在(Dₙ, r, 2)（当n为偶数时）与(D₄, r, 3)中失效，这些情况如何解决？
• RQ4 轨道范畴的A型与D型中厚子范畴的数量是多少，其组合表达形式如何？
• RQ5 该分类方法能否推广至其他轨道范畴，如簇范畴？

主要发现

• 有限代数三角范畴(Δ, r, t)的厚子范畴与在Coxeter元的s重共轭下不变的NCΔ̲中非交叉划分之间存在双射关系，其中s = gcd(hΔ, p)。
• 对于Aₙ型，当n为奇数时，厚子范畴的数量为二项式系数C₂ₛ,ₛ，其中s = gcd(n+1, (n+1)/2 + r)；当n为偶数时，s = gcd(n+1, n/2 + r)。
• 对于Dₙ型，厚子范畴的数量取决于s = gcd(2n−2, r)，当s = 2n−2或s = n−1为奇数时，计数为Catalan数Cat(Dₙ)；当s = n−1为偶数时，计数为Cat(Dₙ₋₁)；其余情况为(2p选p)，其中p = gcd(n−1, s)。
• 例外情况(D₄, r, 3)在r ≡ 0 mod 3时恰好有8个真厚子范畴，而在r ≡ 1或2 mod 3时仅有2个，该结果通过直接计算得出。
• 该方法适用于簇范畴，表明C(kΔ̲) = Dᵇ(mod(kΔ̲))/τ⁻¹∘S无真厚子范畴，因为任意非零对象在τ⁻¹作用下可生成整个范畴。
• 该分类与quiver方向Δ̲无关，结果仅依赖于底层的Dynkin型Δ。