[논문 리뷰] Discrete groups that are not C*-simple

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

Advanced Operator Algebra Research참고 문헌 8인용 수 4

한 줄 요약

이 논문은 비자명한 애매한 정규부분군을 가지지 않지만 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 countable groups without non-trivial amenable normal subgroups and that are not C*-simple.

연구 동기 및 목표

• 가산离산군에서 애매한 라디칼의 자명성이 C*-단순성으로 이어지는지 조사하기.
• 애매한 라디칼과 C*-단순성 간의 관계에 관한 오랫동안 미해결된 열린 문제를 해결하기.
• 비자명한 애매한 정규부분군이 없는 군이지만 C*-단순하지 않은 명시적 반례를 구성하기.

제안 방법

• 가산 이산군의 애매한 라디칼이 자명한 군을 이론군론적 구성법으로 생성하기.
• 연산자 대수학과 군 C*-대수의 기법을 적용하여 축소된 C*-대수의 단순성을 분석하기.
• 정규부분군의 구조와 그들의 애매성 성질을 활용하여 비자명한 애매한 정규부분군의 부재를 확인하기.
• 구성된 군의 축소 C*-대수의 분석을 통해 그것이 단순하지 않음을 보여주기.
• 기존의 C*-단순성 결과와 애매한 라디칼의 역할을 필수 조건으로 활용하기.

실험 결과

연구 질문

• RQ1 가산 이산군에서 애매한 라디칼의 자명성이 C*-단순성으로 이어지는가?
• RQ2 애매한 라디칼이 자명한 군의 명시적 예를 구성할 수 있는가?
• RQ3 어떤 군의 구조적 성질이 애매한 라디칼이 자명함에도 불구하고 그 축소 C*-대수가 단순하지 않게 만드는가?

주요 결과

• 논문은 비자명한 애매한 정규부분군이 없는 명시적 가산군을 구성한다.
• 이 군들이 축소된 C*-대수가 단순하지 않음을 보여주어 C*-단순성이 아님을 입증한다.
• 구성 과정은 애매한 라디칼의 자명성이 C*-단순성의 충분조건이 되지 않음을 보여준다.
• 결과적으로 이산군에서 애매한 라디칼이 자명함과 C*-단순성 간의 동치성에 대한 추측을 반박한다.