[论文解读] A remark on distributions and the de Rham theorem

Richard Melrose|arXiv (Cornell University)|May 13, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 2被引用 3

一句话总结

本文通过证明在具有单纯剖分的紧致定向流形上，分布形式的de Rham上同调与对偶维数的单纯上同调同构，给出了de Rham定理的直接、初等证明。利用基于流形理论和庞加莱对偶性的缩并论证，构造了通过单纯形的庞加莱对偶形式显式实现的同构，自然地推广到带角流形的情形。

ABSTRACT

We show that the de Rham theorem, interpreted as the isomorphism between distributional de Rham cohomology and simplicial homology in the dual dimension for a simplicial decomposition of a compact oriented manifold, is a straightforward consequence of elementary properties of currents. The explicit construction of this isomorphism extends to other cases, such as relative and absolute cohomology spaces of manifolds with corners.

研究动机与目标

• 提供分布形式de Rham上同调与单纯上同调之间de Rham同构的简洁、初等证明。
• 表明该同构自然源于电流理论与庞加莱对偶性。
• 将de Rham定理推广到带角流形上的相对与绝对上同调。
• 建立一个缩并论证，通过单纯链及其庞加莱对偶形式显式构造同构。
• 证明分布形式de Rham复形的上同调与对偶维数的单纯上同调同构。

提出的方法

• 利用电流理论（分布形式微分形式）分析具有分布系数的de Rham复形的上同调。
• 应用缩并论证，表明在具有单纯剖分的流形上，任意闭电流同调于单纯形庞加莱对偶形式的和。
• 关键步骤涉及通过缩放变换下的齐次性与收缩论证，对支撑在骨架上的电流进行分解。
• 利用引理4表明，单纯形内部的闭可延拓电流在非零度数时为恰当形式，仅在零度数时为常数。
• 该构造依赖于支撑在单纯形上的电流可通过径向齐次性与坐标方向积分进行分解的事实。
• 同构通过链映射 $ E $ 实现，将一个 $ p $-单纯形映射为其在 $ \mathcal{C}^{-\infty}(X;\Lambda^{n-p}) $ 中的庞加莱对偶电流。

实验结果

研究问题

• RQ1 如何仅通过电流与分布理论的基本性质证明de Rham定理？
• RQ2 单纯上同调与分布形式de Rham上同调之间的同构的显式形式是什么？
• RQ3 标准de Rham同构能否被重新解释为电流复形对单纯链复形的缩并？
• RQ4 该证明是否能通过相对上同调自然推广到带角流形？
• RQ5 庞加莱对偶性在电流层面构造同构的过程中起什么作用？

主要发现

• 具有单纯剖分的紧致定向流形的分布形式de Rham上同调与对偶维数的单纯上同调同构。
• 同构通过将每个 $ p $-单纯形映射为其在 $ \mathcal{C}^{-\infty}(X;\Lambda^{n-p}) $ 中的庞加莱对偶电流实现，形成诱导上同调同构的链映射。
• 该证明依赖于缩并论证：任意闭电流同调于单纯形庞加莱对偶形式的和，余项支撑在低维骨架上。
• 关键技术工具是缩放下的齐次性论证，表明非零齐次性的闭电流为恰当形式，仅留下最高维的狄拉克型电流为非恰当类。
• 该构造可推广至带角流形上的相对与绝对上同调，暗示其在交截上同调理论中的更广泛应用。
• 该证明确立了 $ E(c) = dv $ 蕴含 $ c = \delta c' $，确认了逆映射的存在，从而完成同构的构造。