[논문 리뷰] Boundaries of reduced C*-algebras of discrete groups

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

Advanced Operator Algebra Research참고 문헌 5인용 수 38

한 줄 요약

이 논문은 이산 군 G에 대한 Furstenberg 경계 ∂F G를 ℓ∞(G)의 최소 G-불변 C*-부분대수로서의 정규적인 연산자대수적 구성법을 제시하며, 이를 C(∂F G)와 동일시한다. 이는 이산 군 G가 정확(exact)임과 그 G-행동이 애매함(amenability)임이 동치임을 증명하고, 이를 통해 정확한 군의 축소 C*-대수에 대한 옥사바의 추측을 확인한다. 주요 기여는 G가 C*-단순임과 그 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의 정확성(exactness)을 특성화하는 것.
• 정확한 군의 축소 C*-대수가 그의 삽입포괄(injective envelope) 안에 있는 핵심 C*-대수로 자연스럽게 통합될 수 있다는 옥사바의 추측을 증명하는 것.
• G의 ∂F G에서의 행동에 대한 위상적 자유성 조건으로서 G의 C*-단순성을 재구성하는 것.
• 이 특성화를 적용하여 Tarski의 몬스터 군이 C*-단순임을 증명하고, 자유 부분군이 없는 C*-단순 군에 대한 드 라르프의 문제에 대한 새로운 해결책을 제시하는 것.

제안 방법

• 햄나(Hamana)의 G-내재된 포괄(injective envelope) 이론을 사용하여, ℓ∞(G)의 최소 G-불변 C*-부분대수를 단위 양성 G-등변 사영의 상으로 구성한다.
• 이 대수를 퓌르스텐베르크의 보편 G-경계 위의 연속함수 대수인 C(∂F G)와 동일시한다.
• C*-대수의 정확성과 군 행동의 애매함 사이의 이중성(duality)을 이용하여, G가 정확임과 그 G-행동이 애매함이 동치임을 보인다.
• C(∂F G)의 삽입포괄 구조를 활용하여 C*r(G)의 날카로운 핵심 임베딩을 구성한다.
• C(∂F G) 위의 G-등변 사상에 대한 강성 결과를 적용하여, 옥사바의 강성 정리가 초하이퍼볼릭 군을 넘어서는 비초하이퍼볼릭 군으로 일반화됨을 보인다.
• 최소성과 안정자 구조를 이용하여, G의 C*-단순성이 ∂F G에서의 G-행동의 위상적 자유성과 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 Furstenberg 경계 ∂F G는 연산자대수적 방법을 통해 ℓ∞(G) 내부에 자연스럽게 C*-대수로 실현될 수 있는가?
• RQ2 이산 군 G의 정확성은 그 G-행동이 ∂F G에서 애매함임과 동치인가?
• RQ3 정확한 군의 축소 C*-대수가 그 삽입포괄 안에 있는 핵심 C*-대수로 자연스럽게 통합될 수 있다는 옥사바의 추측은 참인가?
• RQ4 이산 군 G의 C*-단순성은 ∂F G에서의 G-행동의 위상적 자유성과 동치인가?
• RQ5 Tarski의 몬스터 군은 C*-단순한가, 그리고 이는 ∂F G에서의 행동을 통해 증명될 수 있는가?

주요 결과

• ℓ∞(G)의 최소 G-불변 C*-부분대수는 C(∂F G)와 동형이며, 이는 Furstenberg 경계의 정규적인 연산자대수적 구성법을 제공한다.
• 이산 군 G가 정확임과 그 G-행동이 ∂F G에서 애매함이 동치임을 증명하여, 정확성의 새로운 역동적 특성화를 확립한다.
• 옥사바의 추측은 확인되었다: 임의의 이산 정확한 군 G에 대해 C*r(G)는 C*r(G)의 삽입포괄 안에 있는 핵심 C*-대수로 자연스럽게 통합된다.
• G의 C*-단순성은 ∂F G에서의 G-행동의 위상적 자유성과 동치임을 보여주며, C*-단순성의 새로운 구조적 기준을 제공한다.
• Tarski의 몬스터 군은 C*-단순하다. 그 이유는 ∂F G에서의 행동이 위상적으로 자유적이기 때문이다. 이는 자유 부분군이 없는 C*-단순 군에 대한 드 라르프의 문제에 대한 새로운 해결책을 제공한다.
• C(∂F G)의 구조를 통해 옥사바의 초하이퍼볼릭 군에 대한 강성 정리를 비초하이퍼볼릭 군, 예를 들어 일부 매핑 클래스 군으로 일반화하였다.