左半正合函子与右半正合函子的定义

引言

在范畴论中，正合函子（exact functor）是研究范畴结构的重要工具。然而，正合函子的性质往往受到额外约束，而左半正合函子与右半正合函子作为一类特殊的正合函子，其定义与性质在三角范畴理论中具有核心地位。本文将从定义出发，探讨其关键特征、应用背景及数学意义。

定义与基本性质

左半正合函子（left semi-exact functor）与右半正合函子（right semi-exact functor）是范畴论中的基础概念，其核心在于满足特定的正合性条件。设$\mathcal{A}$为范畴，$\mathcal{F}:\mathcal{A} \rightarrow \mathcal{B}$为函子，则：

  • 左半正合函子：若对于所有对象$A, B \in \mathcal{A}$，有$\mathcal{F}(\text{Hom}\mathcal{A}(A, B)) \rightarrow \mathcal{F}(\text{Hom}\mathcal{B}(F(A), F(B)))$满足正合性，且$\mathcal{F}(\text{Hom}_\mathcal{A}(A, B))$的核存在。
  • 右半正合函子：若对于所有对象$A, B \in \mathcal{A}$，有$\mathcal{F}(\text{Hom}\mathcal{A}(A, B)) \rightarrow \mathcal{F}(\text{Hom}\mathcal{B}(F(A), F(B)))$满足正合性，且$\mathcal{F}(\text{Hom}_\mathcal{A}(A, B))$的补足性成立。

这些定义本质上要求函子在对象之间的映射中保持正合性，但不完全满足全正合函子的条件（即所有映射都正合）。左半正合函子强调映射的“可分解性”，而右半正合函子则关注映射的“可补足性”。

关键特征

  1. 正合性条件
    左半正合函子要求映射在对象间保持正合性，但不强制所有映射都正合。例如，若$\mathcal{F}(\text{Hom}\mathcal{A}(A, B)) \rightarrow \mathcal{F}(\text{Hom}\mathcal{B}(F(A), F(B)))$为正合，但$\mathcal{F}(\text{Hom}\mathcal{A}(A, B))$的核可能不与$\mathcal{F}(\text{Hom}\mathcal{B}(F(A), F(B)))$直接相关。
    右半正合函子则要求映射在对象间保持正合性，但需满足补足性条件，即存在某种映射使得正合性得以维持。

  2. 核与补足性
    左半正合函子的核存在性确保了映射的“可分解性”，而右半正合函子的补足性则保证了映射的“可扩展性”。这一性质在三角范畴理论中尤为重要，因为它们允许构建更复杂的正合序列。

应用与实例

  1. 三角范畴的结构
    在三角范畴中，左半正合函子与右半正合函子共同构成正合函子的“半正合”类。它们的组合（如左半正合函子与右半正合函子的复合）仍保持半正合性，为范畴论中的极限与内核理论提供了基础。

  2. 同调代数中的应用
    左半正合函子常用于构建同调序列，例如在链复杂中，左半正合函子的核存在性确保了链的终止性。右半正合函子则在构造补足性映射时发挥关键作用，例如在计算同调维度时，右半正合函子的补足性允许更精确的计算。

  3. 具体例子

    • 左半正合函子：在模范畴中，映射$M \rightarrow N$若满足正合性且核存在，则为左半正合函子。
    • 右半正合函子：在向量空间范畴中，线性映射若满足正合性且补足性成立，则为右半正合函子。

总结

左半正合函子与右半正合函子作为正合函子的特殊类型，其定义与性质在范畴论和同调代数中具有核心地位。它们通过正合性条件与核/补足性要求，构建了更复杂的结构，为三角范畴理论和同调计算提供了基础。理解这些概念不仅有助于深入掌握范畴论的精髓，也为研究更高级的数学理论（如广义不变量理论）提供了工具。