[论文解读] The Grothendieck group of an n-angulated category

Petter Andreas Bergh, Marius Thaule|arXiv (Cornell University)|May 25, 2012

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

一句话总结

本文为 $n$-角范畴引入了格罗滕迪克群，并在 $n$ 为奇数时，建立了格罗滕迪克群的子群与完备、稠密的 $n$-角子范畴之间的双射对应关系。对于张量 $n$-角范畴，格罗滕迪克群变为一个环，其理想分类了完备、稠密的 $n$-角张量理想，从而推广了三角范畴中汤马森的分类定理。

ABSTRACT

We define the Grothendieck group of an n-angulated category and show that for odd n its properties are as in the special case of n=3, i.e. the triangulated case. In particular, its subgroups classify the dense and complete n-angulated subcategories via a bijective correspondence. For a tensor n-angulated category, the Grothendieck group becomes a ring, whose ideals classify the dense and complete n-angulated tensor ideals of the category.

研究动机与目标

• 定义并研究 $n$-角范畴的格罗滕迪克群，推广经典三角范畴中的构造。
• 在 $n$ 为奇数时，建立格罗滕迪克群的子群与完备、稠密的 $n$-角子范畴之间的双射对应关系。
• 通过证明格罗滕迪克环中的理想分类 $n$-角张量理想，将分类结果推广至张量 $n$-角范畴。
• 阐明格罗滕迪克群在高维同调代数中的结构性作用，特别是在簇倾斜情境下的应用。

提出的方法

• 将格罗滕迪克群 $K_0(\mathcal{C})$ 定义为对象的同构类生成的自由交换群，模去 $n$-角带来的欧拉关系。
• 证明当 $n$ 为奇数时，$K_0(\mathcal{C})$ 中 $[A]$ 的加法逆元为 $[\Sigma A]$，从而实现通过子群对子范畴进行分类。
• 当 $\mathcal{C}$ 由三角范畴 $\mathcal{T}$ 的簇倾斜子范畴导出时，构造从 $K_0(\mathcal{C})$ 到 $K_0(\mathcal{T})$ 的满同态。
• 定义具有与 $n$-角相容的对称张量结构的张量 $n$-角范畴，使 $K_0(\mathcal{C})$ 成为格罗滕迪克环。
• 建立 $K_0(\mathcal{C})$ 中的理想与 $\mathcal{C}$ 的完备、稠密的 $n$-角张量理想之间的对应关系，其中素理想对应于素张量理想。
• 利用 $n$-角的结构及延拓函子 $\Sigma$ 的行为，证明当 $n$ 为奇数时该对应关系为双射。

实验结果

研究问题

• RQ1 当 $n$ 为奇数时，$n$-角范畴的格罗滕迪克群是否能对完备、稠密的 $n$-角子范畴进行分类？
• RQ2 在簇倾斜情境下，$n$-角范畴的格罗滕迪克群与底层三角范畴的格罗滕迪克群有何关系？
• RQ3 张量 $n$-角范畴的格罗滕迪克群能否赋予环结构，使其能分类张量理想？
• RQ4 为何该分类在偶数 $n$ 时失效？其背后的结构性质为何崩溃？

主要发现

• 当 $n$ 为奇数时，格罗滕迪克群 $K_0(\mathcal{C})$ 的子群与 $\mathcal{C}$ 的完备、稠密的 $n$-角子范畴之间存在双射对应。
• 当 $n=3$ 时，该对应关系恢复了汤马森的分类定理，此时所有三角子范畴均为完备的。
• 当 $\mathcal{C}$ 为张量 $n$-角范畴时，$K_0(\mathcal{C})$ 变为一个环，该环中的理想分类了完备、稠密的 $n$-角张量理想。
• $K_0(\mathcal{C})$ 中的素理想与 $\mathcal{C}$ 的完备、稠密的 $n$-角张量素理想之间存在双射对应。
• 证明的关键在于：当 $n$ 为奇数时，$K_0(\mathcal{C})$ 中 $[A]$ 的逆元为 $[\Sigma A]$，而该性质在偶数 $n$ 时不成立。
• 当 $\mathcal{C}$ 由三角范畴 $\mathcal{T}$ 的簇倾斜子范畴导出时，存在从 $K_0(\mathcal{C})$ 到 $K_0(\mathcal{T})$ 的自然满同态。