维数平移的符号引理

在同调代数中计算导出函子时，众所周知的维数平移技术所产生的同构中会出现一些令人惊讶的负号。我们明确确定了这些符号。正确获取这些符号对于避免基本矛盾至关重要。我们通过紧致黎曼曲面上的一些 de Rham 上同调和 Chern 类考量来说明该引理。