[論文レビュー] On isomorphisms of algebras of smooth functions

J. Mrčun|ArXiv.org|Sep 10, 2003

Advanced Operator Algebra Research参考文献 4被引用数 5

ひとこと要約

本稿では、第二可算性、パラコンパクト性、連結性を仮定しない滑らかなハウスドルフ多様体上の滑らかな実または複素数値関数の代数同型が、常にそれらの多様体間の微分同相写像との合成によって一意に得られることを確立する。主な革新は、『特徴的系列』と呼ばれる関数の系列による多様体の点の代数的特徴付けにあり、これにより位相的仮定を一切用いずに純粋な代数的証明が可能になる。

ABSTRACT

We show that for any smooth Hausdorff manifolds M and N, which are not necessarily second countable, paracompact or connected, any isomorphism from the algebra of smooth (real or complex) functions on N to the algebra of smooth functions on M is given by composition with a unique diffeomorphism from M to N. An analogous result holds true for isomorphisms of algebras of smooth functions with compact support.

研究の動機と目的

• アラン・ウェインシュタインが提起した、滑らかな関数代数から多様体を再構成するという問題を解決すること。
• 第二可算性、パラコンパクト性、連結性を仮定しない滑らかな関数代数の微分同相写像による再構成結果を確立すること。
• スペクトル的または位相的技法を避けて、特徴的関数系列を用いた純粋な代数的証明を提供すること。
• 滑らかなコンパクト台付き関数やC^r関数、連続関数の代数へも結果を拡張すること。

提案手法

• 点における滑らかな関数の『特徴的系列』を、f_n f_{n+1} = f_{n+1} を満たし、その台が近傍の基本的系列をなすような列として定義する。
• すべての点にこのような系列が存在することを示し、台の共通部分が単一の点であり、かつ少なくとも1つの関数がコンパクト台を持つことによって、代数的に特徴付けられることを証明する。
• 代数同型が特徴的系列の構造を保ち、他方の多様体上の特徴的系列へ写すことのできるようにする。
• 同型写像による特徴的系列の像を用いて、台の共通部分が一致する唯一の点に対応させる写像 τ: M → N を定義する。
• 点の評価と近傍での関数の非消滅性を用いて、同型写像 T が T(f) = f ∘ τ として合成写像として与えられることを証明する。
• T と T⁻¹ による合成における滑らかさの保存性を用いて、τ とその逆写像がともに滑らかであることを示し、τ が微分同相写像であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 第二可算性やパラコンパクト性を欠く多様体に対しても、滑らかな関数代数からの多様体構造の再構成は、純粋に代数的に行えるか？
• RQ2 ハウスドルフ多様体上の滑らかな関数代数のあらゆる代数同型が、それらの多様体間の微分同相写像によって誘導されるか？
• RQ3 多様体に位相的仮定を課さずに、点と乗法的汎関数の対応関係を確立できるか？
• RQ4 滑らかなコンパクト台付き関数や C^r 関数、連続関数の代数に対しても同様の結果が成り立ち、証明が適応可能か？
• RQ5 この再構成問題において、スペクトル的または位相的技法の代わりに、関数の列による点の純粋な代数的特徴付けが可能か？

主な発見

• 滑らかなハウスドルフ多様体上の滑らかな関数代数のあらゆる代数同型は、それらの多様体間の微分同相写像との合成によって一意に得られる。
• 微分同相写像 τ: M → N は、同型写像による特徴的系列の像を用いて構成され、定義の正当性と単射性が保証される。
• 同型写像 T は、すべての f ∈ C^∞(N, ℝ) または C^∞(N, ℂ) に対して T(f) = f ∘ τ として明示的に与えられ、代数的構造が多様体上の写像を決定することを示す。
• τ とその逆写像がともに滑らかであるため、τ は微分同相写像である。これは、T と T⁻¹ による合成における滑らかさの保存性から導かれる。
• 結果は C^r 関数や位相多様体上の連続関数の代数へも同様に拡張可能であり、証明構造は同一のままである。
• 証明は、スペクトル論や多様体の位相的仮定を一切用いず、特徴的系列の代数的性質に依存している。