[論文レビュー] Remark on the Serre-Swan theorem for non-compact manifolds

G. Sardanashvily|ArXiv.org|Feb 15, 2001

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

ひとこと要約

この論文は、滑らかなベクトル bundle が非コンパクト多様体上で有限アトラスを持つことを利用し、滑らかなベクトル bundle の圏が滑らかな関数の代数上の有限生成射影加群の圏に同値であることを示すことで、セール-スワンの定理を非コンパクト多様体へ拡張する。主な洞察は、滑らかなベクトル bundle が常に有限アトラスを持つことであり、これはコンパクトな場合の議論を一般化し、コンパクト性の仮定なしに標準的なセール-スワンの同値性が成立することを可能にする。

ABSTRACT

The Serre-Swan theorem provides the link between projective modules of finite rank and vector bundles over compact manifolds, and plays a prominent role in non-commutative geometry. Its extension to non-compact manifolds is discussed.

研究の動機と目的

• コンパクト多様体から非コンパクト滑らかな多様体へ、セール-スワンの定理を一般化すること。
• 非コンパクト多様体上の滑らかなベクトル bundle の全切断の加群が、有限ランクの射影加群のままであることを確立すること。
• 非コンパクト多様体上の滑らかな関数代数上の任意の有限生成射影加群が、ある滑らかなベクトル bundle の全切断の加群として実現可能であることを証明すること。
• 非コンパクト多様体上の任意の滑らかなベクトル bundle が有限 bundle アトラスを持つことにより、標準的なセール-スワンの証明が拡張可能であることを示すこと。

提案手法

• 任意の多様体の開被覆を、有限集合によって添え字づけられた可算族に refining する手法を用い、交わりが互いに素であることを保証する。
• 交わりが互いに素な局所自明化を持つ refining された被覆を用いて、任意の多様体上の滑らかなファイバー bundle に対して有限 bundle アトラスを構成する。
• 滑らかなベクトル bundle にこの有限アトラス構成を適用し、非コンパクト多様体上でも滑らかなベクトル bundle が有限アトラスを持つことを示す。
• 標準的なセール-スワンの定理の (i) 項目（切断加群の射影性）の証明が、有限アトラスの存在により非コンパクト多様体へ直接一般化できることを活用する。
• 参考文献 [2] の定理 6.5（ホイットニー和の自明化）を、非コンパクトな有限次元位相多様体へ拡張する。
• 有限アトラスの存在と切断加群の射影性の同値性に依拠し、コンパクト性の仮定なしに元の証明の構造を保ったまま、証明を拡張する。

実験結果

リサーチクエスチョン

• RQ1 コンパクト性の仮定なしに、セール-スワンの定理を非コンパクト滑らかな多様体へ拡張できるか？
• RQ2 非コンパクト多様体上の任意の滑らかなベクトル bundle が有限アトラスを持つのか？ その結果、標準的なセール-スワンの証明が適用可能になるか？
• RQ3 非コンパクト多様体上の滑らかなベクトル bundle の全切断の加群は、依然として有限ランクの射影加群であるか？
• RQ4 非コンパクト多様体上の滑らかな関数代数上の任意の有限生成射影加群が、ある滑らかなベクトル bundle の全切断の加群として実現可能か？
• RQ5 ホイットニー和の自明化特性（定理 2）は、非コンパクト多様体上のベクトル bundle に対しても成り立つか？

主な発見

• 非コンパクト多様体上の任意の滑らかなベクトル bundle は、コンパクト多様体上でのみ知られていた結果を一般化して、有限アトラスを持つ。
• 非コンパクト多様体上の滑らかなベクトル bundle の全切断の加群は、滑らかな関数の代数上の有限ランクの射影加群である。
• セール-スワンの定理の逆は、非コンパクト多様体に対しても成り立つ：滑らかな関数代数上の任意の有限生成射影加群は、ある滑らかなベクトル bundle の全切断の加群として実現可能である。
• 有限アトラスの存在により、セール-スワンの定理の (i) 項目の証明が非コンパクト多様体へ直接拡張可能である。
• 参考文献 [2] の定理 6.5 は、非コンパクトな有限次元位相多様体に対しても拡張可能である。この定理は、コンパクト多様体上の任意のベクトル bundle が、そのホイットニー和が自明になる補助バンドルを持つことを述べている。
• この拡張を可能にする主要な技術的ステップは、任意の開被覆を、有限集合によって添え字づけられた可算族に refining することであり、その際交わりが互いに素であることを保証することで、有限な局所自明化が得られることである。