[論文レビュー] Boundaries of reduced C*-algebras of discrete groups

Mehrdad Kalantar, Matthew Kennedy|arXiv (Cornell University)|May 17, 2014

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

ひとこと要約

本稿は、離散群 G の Furstenberg 境界 ∂F G を、ℓ∞(G) の最小の G-不変 C*-部分代数として、canonical な作用素代数的構成を確立する。これにより、C(∂F G) と同定される。本稿は、離散群 G が exact であることと、G が ∂F G に作用するときの amenable 性が同値であることを証明し、exact 群の reduced C*-代数に関する Ozawa の予想を確認する。主たる貢献は、G が C*-単純であることと、G が ∂F G に作用するときの位相的自由性が同値であることの示唆であり、Tarski のモンスターグループが C*-単純であることを示唆する。

ABSTRACT

For a discrete group G, we consider the minimal C*-subalgebra of $\ell^\infty(G)$ that arises as the image of a unital positive G-equivariant projection. This algebra always exists and is unique up to isomorphism. It is trivial if and only if G is amenable. We prove that, more generally, it can be identified with the algebra $C(\partial_F G)$ of continuous functions on Furstenberg's universal G-boundary $\partial_F G$. This operator-algebraic construction of the Furstenberg boundary has a number of interesting consequences. We prove that G is exact precisely when the G-action on $\partial_F G$ is amenable, and use this fact to prove Ozawa's conjecture that if G is exact, then there is an embedding of the reduced C*-algebra $\mathrm{C}_r^*(G)$ of G into a nuclear C*-algebra which is contained in the injective envelope of $\mathrm{C}_r^*(G)$. It is a longstanding open problem to determine which groups are C*-simple, in the sense that the algebra $\mathrm{C}_r^*(G)$ is simple. We prove that this problem can be reformulated as a problem about the structure of the G-action on the Furstenberg boundary. Specifically, we prove that a discrete group G is C*-simple if and only if the G-action on the Furstenberg boundary is topologically free. We apply this result to prove that Tarski monster groups are C*-simple. This provides another solution to a problem of de la Harpe (recently answered by Olshanskii and Osin) about the existence of C*-simple groups with no free subgroups.

研究の動機と目的

• 離散群の Furstenberg 境界 ∂F G を、作用素代数的手段により canonical に構成すること。
• G が ∂F G に作用するときの amenable 性を用いて、離散群 G の exact さを特徴づけること。
• exact 群の reduced C*-代数が、その injective envelope 内の核となる C*-代数に canonical に埋め込まれるという Ozawa の予想を証明すること。
• G が ∂F G に作用するときの topological freeness 条件として、G の C*-単純性を再定式化すること。
• この特徴づけを応用し、Tarski のモンスターグループが C*-単純であることを証明し、free な部分群を持たない C*-単純群に関する de la Harpe の問題に対して新たな解法を提供すること。

提案手法

• Hamana の G-injective envelope 理論を用い、ℓ∞(G) の最小の G-不変 C*-部分代数を、単位元を保つ正の G-等変射影の像として構成する。
• この代数を、Furstenberg の普遍 G-境界上の連続関数の代数 C(∂F G) と同定する。
• C*-代数の exact さと群作用の amenable 性の双対性を用い、G が exact であることと、G が ∂F G に作用するときの amenable 性が同値であることを示す。
• C(∂F G) の injective envelope 構造を活用し、C*r(G) の tight な核となる C*-代数への埋め込みを構成する。
• C(∂F G) 上の G-等変写像に関する剛性結果を応用し、Ozawa の剛性定理を双曲群に限らない非双曲群へ一般化する。
• 最小性と安定化子の構造を用い、G の C*-単純性が ∂F G 上の G-作用の topological freeness と同値であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 Furstenberg 境界 ∂F G は、作用素代数的手段により ℓ∞(G) 内の C*-代数として canonical に実現可能か？
• RQ2 離散群 G の exact さは、G が ∂F G に作用するときの amenable 性と同値か？
• RQ3 exact 群の reduced C*-代数が、その injective envelope 内の核となる C*-代数に canonical に埋め込まれるという Ozawa の予想は正しいか？
• RQ4 離散群 G の C*-単純性は、G が ∂F G に作用するときの topological freeness と同値か？
• RQ5 Tarski のモンスターグループは C*-単純か？ また、これは ∂F G 上の作用を用いて示せるか？

主な発見

• ℓ∞(G) の最小の G-不変 C*-部分代数は C(∂F G) に同型であり、Furstenberg 境界の canonical な作用素代数的構成を提供する。
• 離散群 G が exact であることと、G が ∂F G に作用するときの amenable 性が同値であることが示され、exact さの新しい動的特徴づけが確立される。
• Ozawa の予想は確認された：任意の離散 exact 群 G に対して、C*r(G) は C*r(G) の injective envelope 内に含まれる核となる C*-代数に canonical に埋め込まれる。
• G の C*-単純性は、G が ∂F G に作用するときの topological freeness と同値であることが示され、C*-単純性の新しい構造的基準が得られる。
• Tarski のモンスターグループは C*-単純である。なぜなら、それらの ∂F G への作用は topologically free であるからであり、これは de la Harpe の問題（free な部分群を持たない C*-単純群）に対する新たな解法を提供する。
• C(∂F G) の構造を用いて、Ozawa の双曲群に対する剛性定理を、非双曲群、特に特定の mapping class 群を含む群へ一般化した。