Chain homotopy and the de Rham theory
Chain homotopy and the de Rham theory
复制标题
链同伦和德拉姆理论
DOI:
10.1090/s0002-9939-1956-0087150-0
复制
发表时间:
1956
影响因子:
1.7
通讯作者:
D. Spencer
中科院分区:
文献类型:
--
作者:
V. Gugenheim;D. Spencer
Introduction. This note contains a method for constructing chainhomotopy operators suitable for the de Rham cohomology theory. In particular, it is proved that differentiably homotopic maps induce chain homotopic chain-mappings in the exterior algebra of differential forms (Formula 13 below; cf. pp. 80-81 of [l], where the same formula is obtained). This shows that the de Rham theory satisfies the "homotopy axiom" in the sense of S. Eilenberg and N. E. Steenrod (cf. [2]); hence the de Rham cohomology groups of a differentiably contractible manifold are trivial. This fundamental result is often referred to as the "Poincaré Lemma." A simple generalization is given in the case of an almost product structure. Almost complex and complex structures are investigated in §5 ; no genuine chain-homotopies are obtained, and in §6 is given an example which shows that d-cohomology does not satisfy the homotopy axiom, even in the case of complex manifolds and analytic homotopies; this example is due to Professor K. Kodaira.