[논문 리뷰] Purely infinite C*-algebras arising from crossed products

Mikael Rørdam, Adam Sierakowski|arXiv (Cornell University)|2010. 06. 07.

Advanced Operator Algebra ResearchMathematics인용 수 19

한 줄 요약

이 논문은 이산 정확한 군이 교환 가능 C*-대수 위에 작용할 때, 교차곱 C*-대수가 순수 무한이 되는 충분조건을 확립한다. 특히, 모든 가산 비압력 정확한 군은 캔터 집합 위에 자유롭고, 압력적이며, 최소적인 작용을 가지며, 그로 인해 생기는 교차곱이 UCT 클래스에 속하는 킬베르크 대수임을 보여준다.

ABSTRACT

We study conditions that will ensure that a crossed product of a C*-algebra by a discrete exact group is purely infinite (simple or non-simple). We are particularly interested in the case of a discrete non-amenable exact group acting on a commutative C*-algebra, where our sufficient conditions can be phrased in terms of paradoxicality of subsets of the spectrum of the abelian C*-algebra. As an application of our results we show that every discrete countable non-amenable exact group admits a free amenable minimal action on the Cantor set such that the corresponding crossed product C*-algebra is a Kirchberg algebra in the UCT class.

연구 동기 및 목표

• 이산 정확한 군에 의한 C*-대수의 축소 교차곱이 순수 무한이 되는 조건을 규명하는 것.
• 아벨 C*-대수의 스펙트럼에서의 패러독스성의 역할이 교차곱의 순수 무한성 결정에 어떻게 기여하는지 조사하는 것.
• 모든 가산 비압력 정확한 군에 대해, 캔터 집합 위에 자유롭고, 압력적이며, 최소적인 작용을 하여 관련 교차곱이 UCT 클래스에 속하는 킬베르크 대수가 되는 것을 구성하는 것.
• 단순하지 않은 경우와 대수 내의 프로젝션을 고려하여, 동역학계에서 유래한 순수 무한 C*-대수에 대한 기존 결과를 확장하는 것.

제안 방법

• C*-대수 내의 이상물 구조 분석을 가능하게 하기 위해, 이상물 분리에 기여하는 프로젝션을 확보하기 위해 이상물 성질(IP)을 사용한다.
• 교차곱의 구조를 제어하기 위해, 아벨 C*-대수의 스펙트럼 위에서 군 작용의 본질적 자유성 개념을 적용한다.
• 정확성과 분리 가능성 조건 하에서, C*-대수의 모든 0이 아닌 양의 원소가 교차곱에서 적절히 무한한 것으로 간주될 수 있도록 순수 무한성을 특성화한다.
• 스펙트럼의 G-패러독스적 부분집합의 개념을 활용하여, 이러한 집합의 특성 함수가 교차곱에서 적절히 무한한 프로젝션으로 되는 것을 보여준다.
• 특정 집합 M과 M′을 포함하는, ℓ∞(G)의 분리 가능하고 G-불변인 C*-부분대수를 프로젝션으로 생성하여 동역학계를 모델링한다.
• 교차곱의 이상물과 C*-대수의 G-불변 이상물 사이의 일대일 대응을 이용하여 문제를, 고립점이 없는 컴팩트 하우스도르프 공간(즉, 캔터 집합) 위에서 최소적이고 자유롭고 압력적인 작용으로 환원한다.

실험 결과

연구 질문

• RQ1 이산 정확한 군에 의한 C*-대수의 축소 교차곱이 언제 순수 무한이 되는가?
• RQ2 아벨 C*-대수의 스펙트럼의 클로즈드-열린 부분집합이 G-패러독스적일 경우, 그 특성 함수가 교차곱에서 적절히 무한한 프로젝션으로 되는가?
• RQ3 모든 가산 비압력 정확한 군은 캔터 집합 위에 자유롭고, 압력적이며, 최소적인 작용을 하여 교차곱이 UCT 클래스에 속하는 킬베르크 대수가 되는가?
• RQ4 C*-대수와 군 작용의 어떤 구조적 성질이 모든 0이 아닌 프로젝션을 교차곱에서 적절히 무한한 것으로 만들 수 있는가?
• RQ5 이러한 교차곱의 K-이론은 얼마나 제어 가능할 수 있는가?

주요 결과

• G가 이산적이고 정확하며, A가 분리 가능하고 이상물 성질을 가지며, Â 위에서의 작용이 본질적으로 자유로울 경우, 축소 교차곱 $ A \rtimes_r G $ 는 순수 무한이 되는 것과 동치이다.
• X가 캔터 집합일 경우, $ A = C(X) $ 이면, $ A \rtimes_r G $ 는 순수 무한이 되는 것과 동치이며, 이는 A의 모든 0이 아닌 프로젝션과 동치이다. 동일한 조건 하에서.
• 만약 클로즈드-열린 부분집합 $ E \subset X $ 가 클로즈드-열린 조건을 유지하면서 G-패러독스적이라면, $ 1_E $ 는 $ C(X) \rtimes_r G $ 에서 적절히 무한한 프로젝션이다. 또한 이에 대한 부분 역도 성립한다.
• 모든 가산 이산 비압력 정확한 군은 캔터 집합 위에 자유롭고, 압력적이며, 최소적인 작용을 하여 교차곱이 UCT 클래스에 속하는 킬베르크 대수가 되는 것을 가진다.
• 교차곱 $ C(X) \rtimes_r G $ 는 압력적 군의 개체 작용으로 인해 초월적이고, 작용의 최소성에 의해 단순하다.
• 결과로 얻어진 교차곱의 K-이론은 계산되지 않았지만, 그 이론이 자명해지도록 설계할 수 있으며, 이는 킬베르크–필립스 분류 정리에 의해 $ \mathcal{O}_2 $ 와의 동형사상으로 이어질 수 있다.