用户: Eli/拓扑/Euler示性数与覆叠层数

类似 Galois 对应, 覆叠空间的层数和基本群的阶数相等. 我们也可以也用同调的方法计算覆叠层数.

命题 0.1. 的同调群有限生成, 是一个 层覆叠映射. 则 .

证明. 由提升判别法, 任意的 可以提升为 上的两个奇异单形 . 构造转移映射 , 它们是链映射 (!), 且满足正合列由线性代数知 .

上命题中 换成有限 CW 复形, 则对任意层数的覆叠都对. 对于一般的空间则没有类似的结果 (yl 目前找不到证明或证伪) .

术语翻译

转移映射英文 transfer homomorphism