[論文レビュー] Nontrivial homeomorphisms of Čech-Stone remainders

Alessandro Vignati|arXiv (Cornell University)|Sep 8, 2016

Advanced Topics in Algebra被引用数 6

ひとこと要約

連続体仮説（CH）のもとで、この論文は、非コンパクトで局所コンパクトかつ可分な多様体 $X$ に対して、$X^*$ に $2^{\mathfrak{c}}$ 個の非自明なホメオモルフィズムが存在することを示している。関数代数のコロナに関する C*-代数的アプローチを用いて、その主な結果は、$ n \geq 1 $ のとき $ (\mathbb{R}^n)^* $ に対して非自明なホメオモルフィズムが存在することを証明し、次元がゼロでない空間への拡張を達成した。

ABSTRACT

We study the group of automorphisms of certain corona C*-algebras. As a corollary of a more general C*-algebraic result, we show that, under the Continuum Hypothesis, $βX\setminus X$ has nontrivial homeomorphisms, whenever $X$ is a noncompact locally compact metrizable manifold.

研究の動機と目的

• 連続体仮説のもとで $ n \geq 2 $ のとき $ (\mathbb{R}^n)^* $ が非自明なホメオモルフィズムをもつかどうかという未解決問題を解決すること。
• ゼロ次元の空間を超えて、Čech-Stoneの残余空間における非自明なホメオモルフィズムの既知の結果を拡張すること。
• CH のもとで、コロナ $ Q(X,A) = C_b(X,A)/C_0(X,A) $ の自己同型を構成するための一般化された C*-代数的枠組みを確立すること。
• $ \operatorname{Homeo}(X^*) $ に $ 2^{\mathfrak{c}} $ 個の非自明な要素が存在するための条件を特定すること。
• 特に、可算の飽和性やゼロ次元性に依存する従来の手法の限界を分析すること。

提案手法

• 論文は、位相空間と可換 C*-代数の双対性を用い、$ X^* $ をコロナ $ C(X^*) \cong \mathcal{M}(C_0(X))/C_0(X) $ のスペクトルと同一視する。
• 非単位的 C*-代数 $ A $ に対して、$ \omega_1 $ 歩階の再帰的リフトプロセスを用いて、コロナ $ Q(X,A) = C_b(X,A)/C_0(X,A) $ の自己同型を構成する。
• 「柔軟性」と呼ばれる技術的条件（定義 2.1）が導入され、多様体ではこの条件が成り立つため、十分な数の自己同型が構成可能である。
• CH を用いて、$ \mathbb{N} $ の部分集合のほとんど互いに素な族が $ 2^{\mathfrak{c}} $ 個存在することを保証し、関数代数への対角作用を介して自己同型を定義する。
• コンパクト集合の列 $ K_n $ とそれらの境界上のホメオモルフィズムを用いて、$ Q(X,A) $ の自己同型を生成する。
• 自己同型が $ A = \mathbb{C} $ のとき $ X^* $ のホメオモルフィズムに対応すること（Gelfand双対性による）を証明で利用している。

実験結果

リサーチクエスチョン

• RQ1 $ n \geq 2 $ のとき、連続体仮説のもとで $ (\mathbb{R}^n)^* $ は非自明なホメオモルフィズムをもつか？
• RQ2 CH のもとで、ゼロ次元でない非コンパクトで局所コンパクトかつ可分な空間 $ X $ に対して、$ X^* $ に非自明なホメオモルフィズムが存在するか？
• RQ3 CH のもとで、$ A $ と $ X $ にどのような C*-代数的条件を課すと、$ Q(X,A) $ が $ 2^{\mathfrak{c}} $ 個の自己同型をもつようになるか？
• RQ4 ZFC において、$ X^* $ に非自明なホメオモルフィズムが存在するかどうかが独立であるような位相空間 $ X $ は存在するか、すなわち CH でもその独立性が保たれるか？
• RQ5 定義 2.1 の「柔軟性」条件を弱めるか一般化し、より多くの非ゼロ次元空間を含めることが可能か？

主な発見

• 連続体仮説のもとで、任意の非コンパクトで局所コンパクトかつ可分な多様体 $ X $（$ n \geq 1 $ のとき $ \mathbb{R}^n $ を含む）に対して、$ X^* $ は $ 2^{\mathfrak{c}} $ 個のホメオモルフィズムをもつ。
• この結果は、$ (\mathbb{R}^n)^* $ に非自明なホメオモルフィズムが存在することを示し、非ゼロ次元の場合における長年の未解決問題を解決した。
• 証明により、$ X $ が柔軟空間（多様体など）であるとき、CH のもとで $ Q(X,\mathbb{C}) $ は $ 2^{\mathfrak{c}} $ 個の自己同型をもつことが示された。
• この構成は、ゼロ次元性や $ C_b(X)/C_0(X) $ の可算飽和性を仮定する従来の結果を一般化した。
• CH が $ X^* $ に非自明なホメオモルフィズムをもたらすかどうかが未解決のままの、1次元で連結で局所コンパクトな空間 $ X $ の新しい例が構成された。
• この空間 $ X $ は柔軟でなく、[FS14, 定理 2.5] の仮定も満たさないため、従来の手法の限界を示している。