[论文解读] On satellites in arbitrary categories

George Janelidze|ArXiv.org|Sep 9, 2008

Space Satellite Systems and Control参考文献 3被引用 7

一句话总结

本文通过引入基于图的框架（图上配备两个到两个范畴的示意图），将卫星概念推广至任意范畴。证明了右卫星函子是左卫星函子的左伴随，并表明具有右或左伴随的函子保持这些卫星结构，为范畴设定下的同调代数提供了基础构造。

ABSTRACT

We generalize the definition of satellites with respect to presheaves (and copresheaves) with trace in the sense of Inassaridze; a presheaf with trace is replaced by a graph with a pair of diagrams defined on it. We show that the right satellite functor is left adjoint to the left satellite functor, and that a functor having a right (left) adjoint preserves right (left) satellites. In particular cases the construction of satellites is given.

研究动机与目标

• 将经典卫星概念从阿贝尔范畴推广至任意范畴。
• 通过映射到源范畴和目标范畴的两个示意图，形式化图上的卫星构造。
• 建立左卫星函子与右卫星函子之间的伴随关系。
• 证明具有伴随的函子保持卫星结构。
• 在具体情形（如集合和阿贝尔群）中提供卫星的显式构造。

提出的方法

• 引入范畴 $\underline{S}(\underline{X},\underline{Y})$，其对象为配备函子 $F: \underline{S} \to \underline{X}$ 和 $G: \underline{S} \to \underline{Y}$ 的图 $\underline{S}$，其态射与这些函子交换。
• 通过同构 $\underline{S}(\underline{X},\underline{Y})^\circ \approx \underline{S}(\underline{Y}^\circ, \underline{X}^\circ)$ 建立对偶性，关联对偶范畴中的示意图。
• 对函子 $T: \underline{X} \to \underline{A}$ 和 $V: \underline{Y} \to \underline{A}$，利用余积和商构造双函子 $\underline{S}^1 T$ 和 $\underline{S}_1 V$。
• 通过 $\underline{Y}$-态射、$F$-纤维和 $G$-纤维以及 $T$-值的余积的商定义右卫星 $\underline{Y} \cdot \underline{S} \cdot T$，等价关系强制自然性。
• 构造连接态射 $\delta(S): T(X) \to \underline{Y} \cdot \underline{S} \cdot T(Y)$ 和 $\vartheta(S)$，证明所得对的 universality。
• 将构造应用于 $\underline{A} = \text{Sets}$，并通过自由代数和商将结果推广至代数的种类（如阿贝尔群）。

实验结果

研究问题

• RQ1 如何将卫星概念从阿贝尔范畴推广至任意范畴？
• RQ2 左卫星函子与右卫星函子之间的范畴对偶性是什么？它如何通过对偶范畴表达？
• RQ3 右卫星函子为何是左卫星函子的左伴随？其成立条件为何？
• RQ4 卫星构造在集合和阿贝尔群等具体范畴中如何显式实现？
• RQ5 伴随函子如何与卫星构造相互作用？它们继承了何种保持性质？

主要发现

• 右卫星函子 $\underline{S}^1$ 是左卫星函子 $\underline{S}_1$ 的左伴随，确立了构造中的基本对偶性。
• 具有右（或左）伴随的函子保持右（或左）卫星结构，确保与伴随函子的兼容性。
• 当 $\underline{A} = \text{Sets}$ 时，右卫星 $\underline{Y} \cdot \underline{S} \cdot T$ 构造为 $\underline{Y}$-态射与 $F$ 和 $G$ 的纤维积的余积的商，等价关系强制自然性。
• 连接态射 $\delta(S): T(X) \to \underline{Y} \cdot \underline{S} \cdot T(Y)$ 具有 universality，使得对 $(T, \delta, \underline{Y} \cdot \underline{S} \cdot T)$ 为右普遍。
• 对于阿贝尔群等代数种类，通过自由代数和最小商构造卫星，保持普遍性质。
• 左卫星通过函子 $\underline{Y} \cdot \underline{S} \cdot T$ 和态射 $\vartheta$ 构造，其诱导出与 $V$ 的左普遍对。