[論文レビュー] The Cuntz semigroup of some spaces of dimension at most two

Leonel Robert|arXiv (Cornell University)|Nov 28, 2007

Advanced Banach Space Theory参考文献 8被引用数 20

ひとこと要約

この論文は、被覆次元が2以下で、2次Čechコホモロジーが自明な局所コンパクトハウスドルフ空間に対して、Cuntz半群の明示的計算を提供し、それが空間から拡張自然数への下半連続関数の順序付き半群に同型であることを示している。さらに、すべてのコンパクトな曲面のCuntz半群を計算し、逆の結果を証明する：可分なC*-代数が、このような関数の半群に同型なCuntz半群を持つならば、その代数は、同じ位相的条件を満たすスペクトルを持つ可換C*-代数と安定同型である。

ABSTRACT

It is shown that the Cuntz semigroup of a space with dimension at most two, and with second cohomology of its compact subsets equal to zero, is isomorphic to the ordered semigroup of lower semicontinuous functions on the space with values in the natural numbers with the infinity adjoined. This computation is then used to obtain the Cuntz semigroup of all compact surfaces. A converse to the first computation is also proven: if the Cuntz semigroup of a separable C*-algebra is isomorphic to the lower semicontinuous functions on a topological space with values in the extended natural numbers, then the C*-algebra is commutative up to stability, and its spectrum satisfies the dimensional and cohomological conditions mentioned above.

研究の動機と目的

• 被覆次元が2以下で、2次Čechコホモロジーが自明な空間のCuntz半群を計算すること。
• すべてのコンパクト曲面のCuntz半群を明示的に特定すること。
• 逆結果の確立：可分なC*-代数のCuntz半群が、拡張自然数への下半連続関数の半群に同型であるならば、その代数は、位相的制約を満たすスペクトルを持つ可換C*-代数と安定同型であることを示すこと。
• 高次元における先行結果に依存しない、直接的かつ明示的なCuntz半群の計算の証明を提供すること。

提案手法

• 位相的制約を満たす空間に対して、Cuntz半群と拡張自然数値をとる下半連続関数の半群との同型を用いる。
• ランク写像によるCuntz半群の特徴付けを適用し、与えられた条件下でランク写像が同型であることを示す。
• Glimmの補題とBrownの定理を用いて、遺伝的部分代数の構造を解析し、代数が可換C*-代数と安定同型であることを導出する。
• 射影の持ち上げとČechコホモロジーによる障害理論を用い、非自明な線形束がCuntz半群と関数半群の同型を矛盾させることを示す。
• Hilbert C*-加群に関する一般結果を適用：2つの加群がイデアルに関して同型な商を持つならば、それらのイデアルとの和も同型である。
• 可換C*-代数のCuntz半群がランク関数とスペクトルの構造によって決定されることを用いる。

実験結果

リサーチクエスチョン

• RQ1 局所コンパクトハウスドルフ空間Xに対して、どのような位相的条件下でC₀(X)のCuntz半群がXから拡張自然数への下半連続関数の半群に同型になるか。
• RQ2 コンパクト曲面に対して、Cuntz半群の正確な構造は何か。一般の2次元空間との違いは何か。
• RQ3 可換の場合に、Cuntz半群の同型型が、安定同型の意味でC*-代数を一意に決定するか。
• RQ4 Xがコンパクト曲面であるとき、C(X)上のHilbert C*-加群に関して、Cuntz同値と同型がどの程度一致するか。
• RQ5 可分なC*-代数のCuntz半群が、拡張自然数への下半連続関数の半群に同型であるための必要十分条件は何か。

主な発見

• 被覆次元が2以下で、2次Čechコホモロジーが自明な局所コンパクトハウスドルフ空間XのCuntz半群は、Xから拡張自然数への下半連続関数の順序付き半群に同型である。
• 任意のコンパクト曲面Xに対して、Cuntz半群は、下半連続関数の半群と、C(X)上の有限生成射影的加群の同型類の半群の直和集合の商に同型であり、ランク写像を介して同定される。
• Xがコンパクト曲面であるとき、可算生成Hilbert C*-加群に関して、Cuntz同値と同型が一致する。
• 逆結果が成り立つ：可分なC*-代数AのCuntz半群が、局所コンパクトハウスドルフ空間Xから拡張自然数への下半連続関数の半群に同型であるならば、AはC₀(X)と安定同型である。
• スペクトルXは、被覆次元が2以下であり、すべてのコンパクト部分集合に対して2次コホモロジーが消えることが必要である。
• Cuntz半群から関数半群へのランク写像は同型であり、これは与えられた条件下で半群構造がランク関数によって完全に決定されることを示唆する。