[논문 리뷰] C*-simplicity and the amenable radical

Adrien Le Boudec|arXiv (Cornell University)|2015. 07. 13.

Advanced Operator Algebra Research인용 수 10

한 줄 요약

이 논문은 가산 군에서 단순 아벨 라디칼이 존재하지 않음이 C*-단순성으로 이어지지 않음을 보여주는 명시적 반례를 구성함으로써 오랫동안 남아있던 열린 문제를 해결한다. 나무 위의 군 작용과 조각별 자기동형사상들을 이용하여, 단순 아벨 라디칼이 존재하지만 C*-단순적이지 않은 가산 군의 존재를 증명하고, 또한 모든 가산 군이 그러한 군에 포함됨을 보여준다.

ABSTRACT

A countable group is C*-simple if its reduced C*-algebra is simple. It is well known that C*-simplicity implies that the amenable radical of the group must be trivial. We show that the converse does not hold by constructing explicit counter-examples. We additionally prove that every countable group embeds into a countable group with trivial amenable radical and that is not C*-simple.

연구 동기 및 목표

• 가산 군에서 단순 아벨 라디칼이 C*-단순성으로 이어지는지 여부에 대한 오랜 열린 문제를 해결하기 위해.
• 단순 아벨 라디칼이 존재하지만 C*-단순적이지 않은 가산 군의 명시적 예를 구성하기 위해.
• 모든 가산 군이 단순 아벨 라디칼은 존재하지만 C*-단순적이지 않은 가산 군에 포함됨을 보여주기 위해.
• 이전 결과들을 바탕으로 C*-단순성, 유일한 추적 성질, 아벨 라디칼 간의 관계를 명확히 하기 위해.

제안 방법

• 기저 군 G ≤ Aut(T)와 더 큰 군 F' ≥ F를 사용하여 나무 위에서 작용하는 조각별 자기동형사상으로 군을 구성한다.
• 반반수의 고정자와 군 작용에서의 끝점의 안정자 분석을 적용한다.
• 위상적으로 자유로운 경계 작용과 안정자의 아벨성에 의한 C*-단순성의 역동적 특성화를 사용한다.
• [HO14]의 구성에서 왼쪽 정규 표현을 약하게 포함하지 않는 유니터리 표현을 활용한다.
• A가 가산, 아벨, 비자명인 경우에 대해 와이어드 프로덕트 구성 F' = Γ ≀ A를 사용하여 다재다능한 예를 생성한다.
• [BKKO14]의 결과를 적용하여 유일한 추적 성질과 가산 군에서 단순 아벨 라디칼과 유일한 추적 성질 간의 동치성에 대해 논의한다.

실험 결과

연구 질문

• RQ1 모든 가산 군에서 단순 아벨 라디칼이 C*-단순성으로 이어지는가?
• RQ2 단순 아벨 라디칼이 존재하지만 C*-단순적이지 않은 가산 군의 명시적 예를 구성할 수 있는가?
• RQ3 모든 가산 군은 단순 아벨 라디칼은 존재하지만 C*-단순적이지 않은 가산 군에 포함될 수 있는가?
• RQ4 일般적인 가산 군에서 C*-단순성, 유일한 추적 성질, 아벨 라디칼 간의 관계는 어떻게 되는가?

주요 결과

• 논문은 단순 아벨 라디칼이 존재하더라도 C*-단순성이 성립하지 않음을 보여주는 명시적 반례를 구성함으로써 오랫동안 남아있던 문제에 대해 부정적인 답변을 제시한다.
• 모든 가산 군이 단순 아벨 라디칼은 존재하지만 C*-단순적이지 않은 가산 군에 포함됨을 증명하여 이러한 군의 광범위함을 보여준다.
• 나무 위에서 조각별 자기동형사상으로 구성된 군 G(F, F')는 F와 F'에 대한 약한 조건 하에서 단순 아벨 라디칼이 존재하고 C*-단순적이지 않다.
• 이 구성은 군의 끝점의 안정자가 아벨임을 보장하고, 반반수의 고정자가 비자명함을 보여주며, 이는 정리 A의 조건을 만족한다.
• Γ가 유한 생성이면 군 G(F, F')^*도 유한 생성임을 보여주며, Γ와 A가 토크션-자유이면 G(F, F')^*도 토크션-자유이다.
• C*-단순성, 유일한 추적 성질, 단순 아벨 라디칼 간의 포함 관계를 완성하였으며, C*-단순성이 유일한 추적 성질을 유도한다는 역의 성립하지 않음을 보여준다.