Ext函子与Tor函子的对偶关系

引言

在同调代数中，Ext函子与Tor函子作为衡量模间关系的核心工具，其对偶性构成了范畴论与同调代数的重要研究方向。Ext函子通过计算两个模之间的“外射”关系，而Tor函子则通过计算“平直”关系。两者在特定条件下形成对偶关系，揭示了模结构的深层对称性。本文将从定义出发，探讨Ext与Tor函子的对偶性及其在范畴论中的体现。

Ext函子与Tor函子的定义

Ext函子是通过短正合序列的极限运算定义的。对于两个模 $ A $ 和 $ B $，Ext函子 $ \text{Ext}^n(A, B) $ 通过计算 $ \text{Hom}_R(A, B) $ 的外射次数而定义。具体而言，若存在短正合序列 $ 0 \rightarrow B \rightarrow C \rightarrow A \rightarrow 0 $，则 $ \text{Ext}^n(A, B) $ 与 $ \text{Hom}_R(C, B) $ 的维度相关。
Tor函子则通过计算短正合序列的截断运算定义。对于两个模 $ A $ 和 $ B $，$ \text{Tor}_n(A, B) $ 与 $ \text{Hom}_R(A, B) $ 的平直次数相关。若存在短正合序列 $ 0 \rightarrow B \rightarrow C \rightarrow A \rightarrow 0 $，则 $ \text{Tor}_n(A, B) $ 与 $ \text{Hom}_R(A, C) $ 的维度相关。

对偶关系的证明

在特定范畴下，Ext与Tor函子的对偶性得以体现。例如，在平坦范畴 $ \text{P} $ 中，若 $ A $ 是平坦模，则 $ \text{Ext}^n(A, B) \cong \text{Tor}_n(A, B) $。这一对偶性源于平坦模的性质：其外射与平直性质相互转化。
更一般地，若范畴 $ \mathcal{A} $ 满足某些对偶条件（如存在自然变换 $ \text{Ext}^n(A, B) \rightarrow \text{Tor}_n(A, B) $），则可建立对偶关系。例如，在模的范畴中，若 $ A $ 是项目模，$ B $ 是平坦模，则 $ \text{Ext}^n(A, B) \cong \text{Tor}_n(A, B) $。这种对偶性通过交换环的性质实现，即在交换环 $ R $ 上，$ \text{Ext}^n(A, B) \cong \text{Tor}_n(A, B) $ 成立。

应用实例

在具体范畴中，对偶关系的体现尤为显著。以自由模 $ R^n $ 为例，其Ext与Tor值均为零，因自由模在任何范畴中均为平直和外射模。此外，在模的范畴中，若 $ A $ 是项目模，$ B $ 是平坦模，则 $ \text{Ext}^n(A, B) \cong \text{Tor}_n(A, B) $，这一结果通过构造短正合序列验证。
在计算代数中，对偶关系帮助简化复杂问题。例如，计算 $ \text{Ext}^1(R, R) $ 时，若 $ R $ 是交换环，则 $ \text{Ext}^1(R, R) \cong \text{Tor}_1(R, R) $，从而通过计算 $ \text{Tor} $ 值间接得出 $ \text{Ext} $ 值。

总结

Ext函子与Tor函子的对偶关系揭示了模结构的对称性，其成立依赖于范畴的特定性质，如平坦性、项目性等。通过构造短正合序列和交换环的性质，可建立两者间的对偶性。在实际应用中，这一关系为计算代数和同调代数提供了重要工具，深化了对模结构的理解。未来研究可进一步探索更广泛的范畴和对偶条件，以拓展其应用范围。