[论文解读] Projectively generated $d$-abelian categories are $d$-cluster tilting

Sondre Kvamme|arXiv (Cornell University)|Aug 29, 2016

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

一句话总结

本文证明了任意一个小的、由投射生成的 $d$-阿贝尔范畴都同构于其投射对象上有限表现函子范畴中的 $d$-簇丛倾斜子范畴。通过证明函子 $F(X) = \mathcal{M}(-,X)|_{\mathcal{P}}$ 的本质像在 $\operatorname{mod}\mathcal{P}$ 中是 $d$-簇丛倾斜的，本文确认了 $d$-阿贝尔范畴是对 $d$-簇丛倾斜子范畴的自然公理化，消除了先前相关工作中所需的精确对偶性假设。

ABSTRACT

Building on work of Jasso, we prove that any projectively generated $d$-abelian category is equivalent to a $d$-cluster tilting subcategory of an abelian category with enough projectives. This supports the claim that $d$-abelian categories are good axiomatizations of $d$-cluster tilting subcategories.

研究动机与目标

• 建立 $d$-阿贝尔范畴是对 $d$-簇丛倾斜子范畴的内在公理化。
• 在 Jasso 的早期结果中去除对精确对偶性的假设，该假设曾用于确保 $d$-簇丛倾斜性。
• 证明函子 $F: \mathcal{M} \to \operatorname{mod}\mathcal{P}$，通过限制到投射对象，可生成 $d$-簇丛倾斜子范畴。
• 证明本质像 $F\mathcal{M}$ 在 $\operatorname{mod}\mathcal{P}$ 中既是反变有限的又是共生成的，从而完整构建了 $d$-簇丛倾斜结构。
• 通过证明其与 $d$-簇丛倾斜子范畴在具有足够投射对象的阿贝尔范畴中的同构性，支持了 $d$-阿贝尔范畴在高阶表示论中的基础作用。

提出的方法

• 证明使用了 Jasso 的 $d$-阿贝尔范畴框架，聚焦于 $d$-核与 $d$-余核作为更高阶同调结构。
• 通过将表示函子 $\mathcal{M}(-,X)$ 限制到投射对象的全子范畴 $\mathcal{P}$，定义函子 $F: \mathcal{M} \to \operatorname{mod}\mathcal{P}$。
• 应用定理 2.4 证明 $F$ 保持 $d$-余核序列的正合性，从而确保 $F$ 是全忠实的。
• 通过构造 $F(f^0)$ 的余核，证明 $F\mathcal{M}$ 是共生成的，即任一有限表现对象 $G$ 都可从某个 $F(X^2)$ 上映射到。
• 通过构造一个态射的 $d$-核，为任意 $G \in \operatorname{mod}\mathcal{P}$ 构造右 $F\mathcal{M}$-逼近，从而确立 $F\mathcal{M}$ 的反变有限性。
• 验证 $F\mathcal{M}$ 满足所有 $i = 1,\dots,d-1$ 的 $\operatorname{Ext}^i$-消去条件，无论在左侧还是右侧，从而确认其为 $d$-簇丛倾斜。

实验结果

研究问题

• RQ1 能否在 Jasso 的结果中去除精确对偶性的假设，同时仍能获得 $d$-簇丛倾斜子范畴？
• RQ2 每个小的、由投射生成的 $d$-阿贝尔范畴是否都同构于具有足够投射对象的阿贝尔范畴中的 $d$-簇丛倾斜子范畴？
• RQ3 函子 $F: \mathcal{M} \to \operatorname{mod}\mathcal{P}$，通过限制到投射对象，是否在 $\operatorname{mod}\mathcal{P}$ 中生成一个 $d$-簇丛倾斜子范畴？
• RQ4 本质像 $F\mathcal{M}$ 是否在 $\operatorname{mod}\mathcal{P}$ 中既是反变有限的又是共生成的？
• RQ5 对于所有 $i=1,\dots,d-1$，$F\mathcal{M}$ 是否在两侧都满足 $\operatorname{Ext}^i$-消去条件，从而确认其为 $d$-簇丛倾斜？

主要发现

• 函子 $F: \mathcal{M} \to \operatorname{mod}\mathcal{P}$ 是全忠实的，确保嵌入保持了所有范畴结构。
• 本质像 $F\mathcal{M}$ 在 $\operatorname{mod}\mathcal{P}$ 中是 $d$-簇丛倾斜的，满足所有定义条件：生成、共生成、反变有限，以及对所有 $i=1,\dots,d-1$ 的 $\operatorname{Ext}^i$-消去。
• $F\mathcal{M}$ 是共生成的，因为 $\operatorname{mod}\mathcal{P}$ 中的每个有限表现对象都可从某个 $F(X^2)$ 上通过 $d$-余核序列构造出满射。
• $F\mathcal{M}$ 是反变有限的，因为 $\operatorname{mod}\mathcal{P}$ 中的每个对象 $G$ 都可通过对某个态射构造 $d$-核来获得右 $F\mathcal{M}$-逼近。
• $\operatorname{Ext}^i_{\operatorname{mod}\mathcal{P}}(F\mathcal{M}, F\mathcal{M}) = 0$ 对所有 $i = 1,\dots,d-1$ 成立，确认了自同调的消去。
• $\operatorname{Ext}^i$-消去条件在两侧均成立：$\operatorname{Ext}^i(M, F\mathcal{M}) = 0$ 与 $\operatorname{Ext}^i(F\mathcal{M}, M) = 0$ 对所有 $M \in \operatorname{mod}\mathcal{P}$ 成立，当且仅当 $M \in F\mathcal{M}$，从而确认了 $d$-簇丛倾斜。