[論文レビュー] Isomorphisms of algebras of smooth functions revisited

Janusz Grabowski|ArXiv.org|Oct 18, 2003

Advanced Operator Algebra Research参考文献 7被引用数 3

ひとこと要約

この論文は、第二可算性、パラコンパクト性、連結性を仮定しない条件下でも、ハウスドルフな滑らかさを持つ多様体上の滑らかな実数値関数の代数間の任意の代数同型が、それらの多様体間の微分同相写像によって誘導されることを確立している。主な革新点は、多様体の点を、乗法的汎関数に依存するのではなく、特徴的な1余次元イデアルのクラスによって特徴付けることにある。これは、$χ$-可測な成分の個数を持つ多様体では乗法的汎関数が失敗するためである。

ABSTRACT

It is proved that isomorphisms between algebras of smooth functions on Hausdorff smooth manifolds are implemented by diffeomorphisms. It is not required that manifolds are second countable nor paracompact. This solves a problem stated by A. Wienstein. Some related results are discussed as well.

研究の動機と目的

• 滑らかな多様体上の滑らかな関数代数間の同型の特徴付けに関するA. ウェインシュタインが提起した長年の問題を解決すること。
• 古典的な結果（代数同型が微分同相写像によって生じる）において、第二可算性、パラコンパクト性、または連結性の標準的仮定を除去すること。
• 滑らかな多様体の点を、滑らかな関数代数内の特定の1余次元イデアルのクラスによって同定する新しい方法を提供すること。
• 連続関数代数に関するゲルファンド＝コルモゴロフの定理を、明示的な同型形を伴う滑らかさのカテゴリーに一般化すること。
• 滑らかなボトム関数が点に台を持つ条件を満たす場合、$C^k$多様体および無限次元多様体（例えばヒルベルト空間や$L^p$空間に局所的にモデル化されたもの）へと結果を拡張すること。

提案手法

• すべての乗法的汎関数ではなく、$C^∞(M;\mathbb{R})$ 内の特徴的な1余次元イデアルのクラスによって、滑らかな多様体 $M$ の点を特徴付ける。
• 点に台を持つコンパクト台付き滑らかな関数の存在を用いて、これらの特徴的なイデアルを定義し、それが点に対応することを保証する。
• 任意の代数同型 $\Phi: C^\infty(M_1;\mathbb{F}) \to C^\infty(M_2;\mathbb{F})$ が、こうした特徴的なイデアルを対応するイデアルに写すことにより、多様体間の全単射を誘導することを証明する。
• イデアルの包含関係を通じて閉包関係を保存することを検証することで、この誘導写像 $\phi: M_2 \to M_1$ がホメオモールフィズムであることを示す。
• 局所座標を代数に属する関数から構成することで、$\phi$ 及びその逆写像の滑らかさを確立し、$\phi$ が $C^\infty$ 微分同相写像であることを保証する。
• 可算基底を用いてバッキング関数を構成することで、第一可算かつ完全正則な空間上の連続関数代数へとこの手法を一般化する。

実験結果

リサーチクエスチョン

• RQ1 第二可算性やパラコンパクト性を仮定しない非パラコンパクトまたは非第二可算多様体に対しても、滑らかな関数代数の代数同型が微分同相写像によって生じるという古典的結果を拡張できるか？
• RQ2 空間が第二可算性を欠く場合、乗法的汎関数の使用に代わる、滑らかな多様体の点の代替的特徴付けは何か？
• RQ3 連続関数代数に関するゲルファンド＝コルモゴロフの定理を、明示的な同型形を伴う滑らかさのカテゴリーにどのように適応できるか？
• RQ4 連結成分の個数の濃度が、乗法的汎関数による標準的証明の失敗に果たす役割は何か？
• RQ5 点に台を持つ滑らかなバッキング関数の存在が、代数同型が微分同相写像による引き戻しであることを保証するための条件は何か？

主な発見

• 任意の第二可算性やパラコンパクト性を仮定しないハウスドルフな滑らかな多様体 $M_1$ と $M_2$ の間の滑らかな関数代数の代数同型は、一意にそれらの多様体間の微分同相写像によって誘導される。
• 乗法的汎関数に依存しない証明は、コンパクト台付き滑らかな関数を介して点に対応する特徴的な1余次元イデアルのクラスを用いることで実現される。
• パラコンパクトな滑らかな多様体は、その連結成分の集合の濃度が $\aleph$-可測でない場合に限り、滑らかさの意味で実コンパクトである。
• 標準的証明は、$\aleph$-可測な成分の個数を持つ多様体では失敗する。なぜなら、そのような多様体は自由な1余次元イデアルを含むからである。
• 滑らかなバッキング関数が点に台を持つ場合、この手法は $C^k$ 多様体および特定の無限次元多様体（例えばヒルベルト空間や $L^p$ 空間に局所的にモデル化されたもの）へと拡張可能である。
• ストーン＝チェッホのコンパクト化を用いない新しいゲルファンド＝コルモゴロフの定理の証明が、特徴的なイデアルを直接用いて構成されたホメオモーフィズムによって得られた。