代数拓扑中上同调环的杯积与Künneth公式的乘积极限.docVIP

代数拓扑中上同调环的杯积与Künneth公式的乘积极限

杯积：上同调群的乘法结构

上同调理论的核心价值之一，在于其不仅能提供拓扑空间的同伦不变量，更能通过**杯积（CupProduct）**赋予上同调群以环结构，从而捕捉空间的乘法性质。杯积的定义依赖于上链复形的对角映射，其本质是将两个上链的“乘积”转化为对角拉回后的上链运算。

杯积的链层级定义

对于拓扑空间(X)，奇异上链复形(C^*(X;R))中的杯积运算(\smile:C^p(X;R)\timesC^q(X;R)\toC^{p+q}(X;R))定义如下：对任意奇异单形(\sigma:\Delta^{p+q}\toX)，以及上链(\phi\inC^p(X;R))、(\psi\inC^q(X;R))，有[(\phi\smile\psi)(\sigma)=\phi(\sigma|{\Delta^p\times{v{p+1},\dots,v_{p+q}}})\cdot\psi(\sigma|_{{v_0,\dots,v_p}\times\Delta^q})]其中(\Delta^n)表示标准(n)维单形，(v_0,\dots,v_n)为其顶点。直观上，杯积将(p+q)维单形拆分为前(p)个顶点