[论文解读] 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*-子代数，识别为 C(∂F G)。证明了离散群 G 是精确的当且仅当其在 ∂F G 上的作用是可约的，并利用此结果证实了 Ozawa 对精确群的约化 C*-代数的猜想。关键贡献在于证明了 G 是 C*-单的当且仅当其在 ∂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 的典范算子代数构造。
• 通过 G 在 ∂F G 上的作用的可约性，刻画离散群 G 的精确性。
• 证明 Ozawa 的猜想：精确群的约化 C*-代数可典范地嵌入其注入包络内的一个核 C*-代数中。
• 将 G 的 C*-单性重新表述为 G 在 ∂F G 上作用的拓扑自由性条件。
• 将此刻画应用于证明 Tarski 灾难群是 C*-单的，从而为 de la Harpe 关于无自由子群的 C*-单群问题提供新解法。

提出的方法

• 使用 Hamana 的 G-内射包络理论，通过一个单位正的 G-等变投影，将 ℓ∞(G) 的最小 G-不变 C*-子代数构造为像，从而实现构造。
• 将该代数识别为 Furstenberg 的通用 G-边界上的连续函数代数 C(∂F G)。
• 利用 C*-代数精确性与群作用可约性之间的对偶性，证明 G 是精确的当且仅当其在 ∂F G 上的作用是可约的。
• 利用 C(∂F G) 的注入包络结构，构造 C*r(G) 到注入包络内的紧致核嵌入。
• 利用 C(∂F G) 上 G-等变映射的刚性结果，将 Ozawa 的刚性定理推广至非双曲群，包括某些映射类群。
• 通过极小性与稳定子结构，证明 G 的 C*-单性等价于其在 ∂F G 上作用的拓扑自由性。

实验结果

研究问题

• RQ1 能否通过算子代数方法，将 Furstenberg 边界 ∂F G 作为 ℓ∞(G) 内的 C*-代数典范实现？
• RQ2 离散群 G 的精确性是否等价于其在 ∂F G 上作用的可约性？
• RQ3 Ozawa 的猜想是否成立：即精确群的约化 C*-代数可嵌入其注入包络内的一个核 C*-代数中？
• RQ4 离散群 G 的 C*-单性是否等价于其在 ∂F G 上作用的拓扑自由性？
• RQ5 Tarski 灾难群是否为 C*-单的，且能否通过其在 ∂F G 上的作用加以证明？

主要发现

• ℓ∞(G) 的最小 G-不变 C*-子代数同构于 C(∂F G)，为 Furstenberg 边界提供了典范的算子代数构造。
• 离散群 G 是精确的当且仅当其在 ∂F G 上的作用是可约的，建立了精确性的新动力系统刻画。
• Ozawa 的猜想得到证实：对任意离散精确群 G，C*r(G) 可典范地嵌入于 C*r(G) 的注入包络中一个核 C*-代数内。
• G 的 C*-单性等价于其在 ∂F G 上作用的拓扑自由性，为 C*-单性提供了新的结构判据。
• Tarski 灾难群是 C*-单的，因为其在 ∂F G 上的作用是拓扑自由的，从而为 de la Harpe 关于无自由子群的 C*-单群问题提供了新解法。
• 该结果将 Ozawa 对双曲群的刚性定理推广至非双曲群（包括某些映射类群），其关键在于 C(∂F G) 的结构。