[論文レビュー] 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 定理の直接的かつ初等的な証明を確立する。電流理論と Poincaré 対蹠性に基づくリトラクションの議論を用いて、単体の Poincaré 対蹠を介して明示的な同型を構成し、角を持つ多様体へ自然に拡張される。

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 同型を、簡潔で初等的な証明で示すこと。
• 同型が電流理論と Poincaré 対蹠性の理論から自然に生じることを示すこと。
• 相対的および絶対的コホロジーへの de Rham 定理の角を持つ多様体への拡張。
• 単体的鎖とその Poincaré 対蹠を介して、同型を明示的に構成するリトラクションの議論を確立すること。
• 分布的 de Rham 複体のコホロジーが、双対次元における単体的ホモロジーと同型であることを示すこと。

提案手法

• 電流（分布的微分形式）の理論を用いて、分布係数をもつ de Rham 複体のコホロジーを分析する。
• 任意の閉じた電流が、単体の Poincaré 対蹠の和とコホモロジックに同値であることを示すために、リトラクションの議論を適用する。
• 鍵となるステップは、スケーリング変換の下での同次性と収縮の議論を用いて、スケルトン上に台を持つ電流を分解すること。
• 補題 4 を用いて、単体の内部で拡張可能な閉じた電流は、次数 0 を除きすべてが完全であることを示す。
• 電流が単体上に台を持つ場合、径方向の同次性と座標に沿った積分を用いて分解可能であるという事実に依拠する。
• 同型は、$ p $-単体をその Poincaré 対蹠電流（次数 $ n-p $）に写すチェーン写像 $ E $ によって実現される。

実験結果

リサーチクエスチョン

• RQ1 電流と分布論の初等的性質のみを用いて、de Rham 定理をどのように証明できるか。
• RQ2 単体的ホモロジーと分布的 de Rham コホロジーの間の明示的な同型の形は何か。
• RQ3 標準的な de Rham 同型は、電流複体を単体的鎖複体にリトラクトするものとして再解釈できるか。
• RQ4 相対的コホロジーを用いることで、証明は自然に角を持つ多様体へ拡張できるか。
• RQ5 Poincaré 対蹠性は、電流のレベルで同型を構成する際に果たす役割は何か。

主な発見

• 単体的分解をもつコンパクトな向きつけられた多様体の分布的 de Rham コホロジーは、双対次元におけるその単体的ホモロジーと同型である。
• 同型は、各 $ p $-単体を $ \mathcal{C}^{-\infty}(X;\Lambda^{n-p}) $ 内の Poincaré 対蹠電流に写すことで実現され、コホロジー同型を誘導するチェーン写像を形成する。
• 証明はリトラクションの議論に依拠する：任意の閉じた電流は、単体の Poincaré 対蹠の和とコホモロジックに同値であり、残りの部分は低次元のスケルトン上に台を持つ。
• 鍵となる技術的道具はスケーリングの下での同次性の議論であり、非ゼロの同次性を持つ閉じた電流は完全であることを示し、非完全な類は唯一、最高次元のデルタ電流に限る。
• この構成は、角を持つ多様体における相対的および絶対的コホロジーへ拡張可能であり、交差ホモロジー理論への広範な応用可能性を示唆する。
• 証明により $ E(c) = dv $ ならば $ c = \delta c' $ が成り立つことが示され、逆写像が確認され、同型が完成する。