[論文レビュー] A dichotomy for groupoid C*-algebras

Timothy Rainone, Aidan Sims|arXiv (Cornell University)|Jul 14, 2017

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

ひとこと要約

この論文は、アーベル群の前順序付きアーベルモノイド $ S(G) $ がほとんど不透過的であるとき、豊富で最小的かつ位相的に主な群コアの縮小 C*-代数について、安定的有限性と純粋無限性の二分法を確立する。著者らはエーテール群コアに対して一般化されたタイプ半群 $ S(G) $ を導入し、その代数的構造を C*-代数の有限／無限性に関連づけ、純粋無限性が $ S(G) $ 上に状態が存在しないことと同値であることを証明し、群作用に関する先行研究をより広い群コアの文脈へと拡張する。

ABSTRACT

We study the finite versus infinite nature of C*-algebras arising from etale groupoids. For an ample groupoid G, we relate infiniteness of the reduced C*-algebra of G to notions of paradoxicality of a K-theoretic flavor. We construct a pre-ordered abelian monoid S(G) which generalizes the type semigroup introduced by Rørdam and Sierakowski for totally disconnected discrete transformation groups. This monoid reflects the finite/infinite nature of the reduced groupoid C*-algebra of G. If G is ample, minimal, and topologically principal, and S(G) is almost unperforated we obtain a dichotomy between stable finiteness and pure infiniteness for the reduced C*-algebra of G.

研究の動機と目的

• 群作用から一般エーテール豊富群コアへタイプ半群フレームワークを拡張すること。
• 群コアの C*-代数における安定的有限性と純粋無限性の二分法を確立すること。
• Rørdam と Sierakowski のパラドキシカル性と純粋無限性に関する結果を群コアの文脈に一般化すること。
• C*-代数 $ C^*_r(G) $ の有限／無限性を捉える前順序アーベルモノイド $ S(G) $ を定義し、群コア同値に関して不変であることを証明すること。
• $ S(G) $ がほとんど不透過的であるとき、C*-代数 $ C^*_r(G) $ が安定的有限または純粋無限のいずれかに属することを示すこと。

提案手法

• エーテール豊富群コア $ G $ の単位空間上のコンパクト台付き局所定数整数値関数のモノイドの商として前順序アーベルモノイド $ S(G) $ を構成する。
• 範囲と源の像が一致する双分の存在に基づいて、非負関数に同値関係 $ \thicksim $ を定義する。
• 有限個のペアについて $ f \thicksim g $ および $ f_i \thicksim g_i $ が成り立つとき、有限分解同値を捉えるためにさらに関係 $ \thickapprox $ を生成する。
• $ S(G) $ が群コア同値に関して不変であり、$ G $ が変換群コアであるとき、$ S(G) $ が古典的タイプ半群 $ S(X,\Gamma) $ と同型であることを証明する。
• トポロジカルグラフ半群 $ S(E) $ から群コア半群 $ S(G_E) $ への準同型 $ \tau: S(E) \to S(G_E) $ の存在を用いて、$ S(G) $ の構造とグラフの C*-代数との関係を関係づける。
• 半群構造を用いて、$ S(G) $ がほとんど不透過的で、$ G $ が最小的かつ位相的に主であるとき、$ C^*_r(G) $ が安定的有限性と純粋無限性の二分法を満たすことを証明する。

実験結果

リサーチクエスチョン

• RQ1 豊富な群コアの縮小 C*-代数が、安定的有限性と純粋無限性の二分法を示す条件は何か？
• RQ2 タイプ半群構成を群作用から一般エーテール群コアへどのように一般化できるか？
• RQ3 前順序モノイド $ S(G) $ のほとんど不透過性が、$ C^*_r(G) $ の有限性性質を決定する役割を果たすのはどのようなものか？
• RQ4 群コアの文脈において、$ S(G) $ 上に状態が存在しないことと $ C^*_r(G) $ の純粋無限性の関係は何か？
• RQ5 半群 $ S(G) $ は、群コア $ G $ の K-理論的および力学的構造をどの程度捉えているか？

主な発見

• 前順序アーベルモノイド $ S(G) $ は群コア同値に関して不変であり、Rørdam と Sierakowski のタイプ半群を群コアの文脈に一般化する。
• 豊富で最小的かつ位相的に主な群コア $ G $ に対して、$ S(G) $ がほとんど不透過的であるとき、$ C^*_r(G) $ は二分法に従う：すなわち、安定的有限または純粋無限のいずれかである。
• $ G $ が変換群コア $ X \rtimes \Gamma $ であるとき、半群 $ S(G) $ は古典的タイプ半群 $ S(X,\Gamma) $ と同型である。
• トポロジカルグラフ $ E $ に対して、準同型 $ \tau: S(E) \to S(G_E) $ が存在するので、グラフの文脈からの結果を群コアの文脈へ移すことができる。
• 全開きのトポロジカルグラフ $ E $ で範囲写像が適切かつ全射であるとき、$ C^*(E) $ が単純で $ S(E) $ がほとんど不透過的であれば、$ C^*(E) $ は純粋無限または擬対角的である。
• $ C^*_r(G) $ の純粋無限性は、$ S(G) $ 上に状態が存在しないことと同値であり、これはすべての $ \theta \in S(G) $ に対して $ 2\theta \leq \theta $ が成り立つことと同値である。これは Rørdam と Sierakowski の結果を一般化する。