arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1405.4359math.OAmath.GR
收藏

离散群的约化C * 代数的有界性

Boundaries of reduced C*-algebras of discrete groups

Mehrdad Kalantar, Matthew Kennedy

摘要:

对于一个离散群G,我们考虑了$\ell^\infty(G)$的极小C *-子代数,它是由单位元正G-等变投影的象产生的.这个代数总是存在的,直到同构是唯一的。它是平凡的当且仅当G是顺从的。我们证明,更一般地说,它可以确定为代数$C(\partial_F G)$连续函数Furstenberg的通用G-边界$\partial_F G$。Furstenberg边界的这种算子代数构造有许多有趣的结果。我们证明了当$\partial_F G$上的G-作用服从时G是正合的,并利用这一事实证明了Ozawa的猜想:如果G是正合的,则G的约化C *-代数$\mathrm{C}_r^*(G)$嵌入到包含在$\mathrm{C}_r^*(G)$的内射包络中的核C *-代数中.在代数$\mathrm{C}_r^*(G)$是单群的意义上,确定哪些群是C *-单群是一个长期的公开问题。我们证明了这个问题可以转化为一个关于Furstenberg边界上G作用的结构的问题。具体地说,我们证明了一个离散群G是C *-单的当且仅当G-作用在Furstenberg边界上是拓扑自由的。我们应用这个结果证明了Tarski怪物群是C *-单的。这提供了另一个解决问题的德拉哈普(最近回答Olshanskii和Osin)关于存在的C *-单群没有自由子群。

英文摘要:

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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑