[论文解读] Internal object actions in homological categories

Manfred Hartl, Bruno Loiseau|arXiv (Cornell University)|Feb 27, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用 7

一句话总结

本文提出了一种在有限上闭合的同调范畴中对内部作用的新型、极小化表述，通过 canonical map $A+G \to A\times G$ 的核 $(A|G)$ 实现，建立了此类作用与 $G$ 上分裂扩张（点）之间的函子等价。关键贡献在于将真子对象表征为在全对象的共轭作用下稳定的子对象，从而在同调范畴中完全刻画了半阿贝尔范畴。

ABSTRACT

Let $G$ and $A$ be objects of a finitely cocomplete homological category $\mathbb C$. We define a notion of an (internal) action of $G$ of $A$ which is functorially equivalent with a point in $\mathbb C$ over $G$, i.e. a split extension in $\mathbb C$ with kernel $A$ and cokernel $G$. This notion and its study are based on a preliminary investigation of cross-effects of functors in a general categorical context. These also allow us to define higher categorical commutators. We show that any proper subobject of an object $E$ (i.e., a kernel of some map on $E$ in $\mathbb C$) admits a "conjugation" action of $E$, generalizing the conjugation action of $E$ on itself defined by Bourn and Janelidze. If $\mathbb C$ is semi-abelian, we show that for subobjects $X$, $Y$ of some object $A$, $X$ is proper in the supremum of $X$ and $Y$ if and only if $X$ is stable under the restriction to $Y$ of the conjugation action of $A$ on itself. This amounts to an elementary proof of Bourn and Janelidze's functorial equivalence between points over $G$ in $\mathbb C$ and algebras over a certain monad $\mathbb T_G$ on $\mathbb C$. The two axioms of such an algebra can be replaced by three others, in terms of cross-effects, two of which generalize the usual properties of an action of one group on another.

研究动机与目标

• 在同调范畴中定义 $G$ 在 $A$ 上的极小化、函子等价的内部作用概念，推广半直积结构。
• 在半阿贝尔范畴中，以一种初等方式证明点与单子 $\mathbb{T}_G$-代数之间的等价性，避免使用 Beck 的判别准则。
• 推广对象对其真子对象的共轭作用，扩展 Bourn 与 Janelidze 的工作。
• 将半直积的普遍性质形式化为进入共轭作用的普遍变换。
• 将半阿贝尔范畴表征为那些真子对象在共轭作用下稳定的有限上闭合同调范畴。

提出的方法

• 通过映射 $(A|G) \to A$ 定义内部作用，其中 $(A|G)$ 是 canonical map $A+G \to A\times G$ 的核，推广群论中的换位子构造。
• 使用函子的交叉效应作为基础工具，特别是恒等函子的二阶交叉效应，将 $\mathbb{T}_G$-代数的公理分解为三个部分。
• 证明作用的前两个公理由 $G$ 在 $A$ 上通过自同态作用，以及群作用的通常结合性条件分别对应。
• 证明涉及三重交叉效应的第三个公理在群中平凡，但在一般范畴中非平凡。
• 证明对象 $E$ 对其真子对象 $X \to E$ 的共轭作用推广了群和李代数中的经典共轭作用。
• 利用交叉效应工具，以纯粹范畴论的初等方式重新证明 $\mathbb{T}_G$-代数与 $G$ 上的点之间的等价性。

实验结果

研究问题

• RQ1 如何在 $\mathbb{T}_G$-代数框架之外，使用最少的数据在同调范畴中定义内部作用？
• RQ2 在同调范畴中，对象对其真子对象的共轭作用的范畴推广是什么？
• RQ3 在何种意义上，子对象在共轭作用下的稳定性完全表征了半阿贝尔范畴与同调范畴之间的区别？
• RQ4 通过交叉效应，$\mathbb{T}_G$-代数的公理如何分解？它们在范畴论中具有何种意义？
• RQ5 能否仅使用交叉效应和普遍性质，而不借助 Beck 的判别准则，重新证明 $\mathbb{T}_G$-代数与 $G$ 上的点之间的等价性？

主要发现

• 通过映射 $(A|G) \to A$ 定义的内部作用，在任意有限上闭合的同调范畴中，与 $G$ 上的点（分裂扩张）函子等价。
• 对象 $E$ 对其真子对象 $X \to E$ 的共轭作用定义良好，并推广了经典的群论共轭作用。
• 在半阿贝尔范畴中，子对象 $X$ 在 $X$ 与 $Y$ 的上确界中为真子对象，当且仅当 $X$ 在 $A$ 对其自身的共轭作用限制到 $Y$ 下稳定，从而提供了一个普遍表征。
• $\mathbb{T}_G$-代数的三个公理可通过交叉效应重新解释：前两个分别对应自同态与结合性条件，第三个为非平凡的三重交叉效应条件。
• 子对象在共轭作用下的稳定性，完全表征了半阿贝尔范畴在有限上闭合的同调范畴中的特征。
• 本文提供了 $\mathbb{T}_G$-代数与 $G$ 上的点之间等价性的初等证明，完全避免使用 Beck 的判别准则，仅依赖交叉效应与普遍性质。