上同调的长精确序列

引言

在同调代数中，长精确序列（Long Exact Sequence）是连接不同同调函子的核心工具。它通过截断映射和自然变换构建出精确的序列，为计算上同调提供了有效方法。此类序列不仅揭示了代数结构之间的深刻联系，更成为研究环谱、模类及拓扑空间等领域的基石。本文将从构造原理、典型例子及其应用角度展开探讨。

构造原理

长精确序列的构建依赖于链复杂与截断映射的配合。设$ A \rightarrow B \rightarrow C \rightarrow D $为一个链复杂，若存在截断映射$ \tau_A: A \rightarrow A $，则可构造长精确序列：
$$ \cdots \rightarrow \text{Hom}(A, F) \rightarrow \text{Hom}(B, F) \rightarrow \text{Hom}(C, F) \rightarrow \text{Hom}(D, F) \rightarrow \cdots $$
该序列通过自然变换连接不同层次的同调，其精确性源于截断映射的性质。具体而言，截断映射$ \tau_A $满足$ \tau_A \circ f = \text{id} $，从而保证序列的精确性。

典型例子：上同调的长精确序列

以上同调的长精确序列为例，设$ R $为环，$ M $为$ R $-模，$ \tau_R: R \rightarrow R $为截断映射。则有：
$$ \cdots \rightarrow \text{Hom}(R, M) \rightarrow \text{Hom}(R, M) \rightarrow \text{Hom}(R, M) \rightarrow \text{Hom}(R, M) \rightarrow \cdots $$
该序列通过自然变换$ \eta: \text{Hom}(R, F) \rightarrow \text{Hom}(R, F) $连接各层次，其中$ \eta $由截断映射决定。例如，当$ F $为某个具体函子时，序列可进一步分解为精确序列。

应用实例

长精确序列在计算上同调时具有关键作用。例如，对于链复形$ \cdots \rightarrow A_{n} \rightarrow A_{n-1} \rightarrow \cdots $，其上同调序列$ \cdots \rightarrow \text{Ext}^i(A_n, F) \rightarrow \cdots $可通过长精确序列推导。这一过程依赖于自然变换的精确性，如截断映射的性质确保了序列的精确性。

总结

长精确序列作为同调代数的核心工具，通过截断映射和自然变换构建出精确的序列结构，为计算上同调提供了系统方法。其构造原理严谨，应用广泛，深刻揭示了代数结构之间的联系。未来研究可进一步探索其在更复杂的代数结构中的扩展，如非交换代数或拓扑空间中的应用，以深化对同调理论的理解。