[论文解读] Length categories of infinite height

Henning Krause, Dieter Vossieck|arXiv (Cornell University)|Feb 17, 2017

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

一句话总结

本文研究无限高度的阿贝尔长度范畴，将有限表示型的刻画推广至无限高度情形。证明了无限高度的极小长度范畴恰好是单序列范畴，并通过格罗滕迪克群、近似分裂序列与函子范畴，建立了此类范畴满足有限性性质的条件。

ABSTRACT

For abelian length categories the borderline between finite and infinite representation type is discussed. Characterisations of finite representation type are extended to length categories of infinite height, and the minimal length categories of infinite height are described.

研究动机与目标

• 将有限表示型理论在模范畴中的已知刻画推广至一般阿贝尔长度范畴，包括无限高度情形。
• 研究无限高度长度范畴的结构，尤其关注有限性条件与表示论性质。
• 对无限高度的极小长度范畴进行分类，将其识别为单序列范畴。
• 建立无限高度情形下近似分裂序列、格罗滕迪克群与函子范畴之间的联系。
• 刻画单序列范畴满足有限性条件（如Ext-有限性与Hom-有限性）的条件。

提出的方法

• 使用格罗滕迪克群及典范满射 π: K₀(C,0) → K₀(C)，分析分裂序列与一般正合序列之间的关系。
• 在克鲁尔-施密特范畴中应用近似分裂序列，利用如下判别准则：一个态射是左近似分裂当且仅当它在 Fp(C,Ab) 中诱导出一个简单函子的展现。
• 利用雅诺达嵌入及其伴随函子，将范畴 C 中的对象与 Fp(Cop,Ab) 中的函子联系起来，通过商去可消去函子得到与 C 的等价。
• 通过在 Fp(C,Ab) 中使用 Ext² 的对偶 F ↦ F∨ 分析函子，建立 Eff(C,Ab) 与 Eff(Cop,Ab) 之间的对偶关系。
• 研究代数上的根滤子与 R-Adic 滤子，尤其关注温和、可接受、基本的无限维代数情形。
• 对商代数 A/Rˡ 使用极限论证，推导无限维代数的结构性质，特别是在有关系的 quiver 情形下。

实验结果

研究问题

• RQ1 有限表示型理论中的哪些有限性条件可推广至无限高度长度范畴？
• RQ2 极小无限高度长度范畴的特征是什么？它们满足哪些结构性质？
• RQ3 在无限高度长度范畴中，近似分裂序列与格罗滕迪克群的行为如何？
• RQ4 在何种条件下，单序列范畴满足 Ext-有限性与 Hom-有限性？
• RQ5 具有温和性条件的可接受、基本、无限维代数的结构是怎样的？

主要发现

• 极小无限高度长度范畴恰好是单序列范畴，如定理 6.1 所证。
• 单序列范畴满足 Ext-有限性与 Hom-有限性，如推论 5.4 与定理 5.10 所示。
• 对于无限高度长度范畴，典范满射 π: K₀(C,0) → K₀(C) 的核由近似分裂序列生成。
• 有限展现函子范畴 Fp(C,Ab) 通过 F ↦ Ext²(F, HomC(X,−)) 具有对偶性，且该对偶性诱导出 Eff(C,Ab) 与 Eff(Cop,Ab) 之间的对偶。
• 在温和、可接受、基本的无限维代数 A 情形下，A 的 quiver 是无关系的环，且 A 同构于 kJZₙK（对某个 n）。
• 对于极小无限高度长度范畴，代数 A 同构于 kJZₙK，且 quiver 是长度为 n 的无关系环，如证明的第 9 步所示。