[논문 리뷰] Dynamical systems of type (m,n) and their C*-algebras

Pere Ara, Ruy Exel외 1명|arXiv (Cornell University)|2011. 09. 19.

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

한 줄 요약

이 논문은 $n$ 개의 컴acts Hausdorff 공간의 사본이 $m$ 개의 동일한 공간 사본과 위상동형일 때의 동역학계에서 유래하는 새로운 C*-대수의 클래스 $\mathcal{O}_{m,n}$를 제안한다. 자유군 $\mathbf{F}_{m+n}$의 부분 작용을 유니버설 $(m,n)$-동역학계 위에 구성함으로써, 저자들은 $\mathcal{O}_{m,n}^r$ 이론이 $m,n \geq 2$ 일 때 정확하고 비핵적이며, 유한 차원 표현을 가지지 않음을 증명함으로써 핵심적인 구조적 성질을 확립한다.

ABSTRACT

Given positive integers n and m, we consider dynamical systems in which n copies of a topological space is homeomorphic to m copies of that same space. The universal such system is shown to arise naturally from the study of a C*-algebra we denote by O_{mn}, which in turn is obtained as a quotient of the well known Leavitt C*-algebra L_{mn}, a process meant to transform the generating set of partial isometries of L{mn} into a tame set. Describing O_{mn} as the crossed-product of the universal (m,n)-dynamical system by a partial action of the free group F_{m+n}, we show that O_{mn} is not exact when n and m are both greater than or equal to 2, but the corresponding reduced crossed-product, denoted O_{mn}^r, is shown to be exact and non-nuclear. Still under the assumption that m,n>=2, we prove that the partial action of F_{m+n} is topologically free and that O_{mn}^r satisfies property (SP) (small projections). We also show that O_{mn}^r admits no finite dimensional representations. The techniques developed to treat this system include several new results pertaining to the theory of Fell bundles over discrete groups.

연구 동기 및 목표

• 두 개의 분해를 통해 컴팩트 하우스도르프 공간 $X$ 가 $n$ 개의 쌍으로서 분리된 닫힌 열린 부분집합과 $m$ 개의 동일한 공간 $Y$ 와 위상동형일 때의 유니버설 $(m,n)$-동역학계를 정의하고 연구하기.
• 생성 부분 등장사상이 '은둔' 상태가 되도록 보장하면서, 레비트 대수 $L_{m,n}$ 의 몫으로서 C*-대수 $\mathcal{O}_{m,n}$ 를 구성하기.
• 자유군 $\mathbf{F}_{m+n}$ 의 부분 작용에 의한 유니버설 시스템의 교차곱으로서 $\mathcal{O}_{m,n}$ 를 기술하기.
• 특히 정확성, 핵성, 표현 이론에 중점을 두고 감소된 교차곱 $\mathcal{O}_{m,n}^r$ 의 구조적 성질 분석하기.
• $m,n \geq 2$ 일 때 $\mathcal{O}_{m,n}^r$ 이 유한 차원 표현을 가지지 않음을 증명하기.

제안 방법

• 컴팩트 하우스도르프 공간 $X$ 가 $n$ 개와 $m$ 개의 쌍으로 분리된 닫힌 열린 부분집합으로 분해되며, 각각 공간 $Y$ 와 위상동형일 때의 유니버설 $(m,n)$-동역학계를 정의하기.
• 생성 부분 등장사상이 '은둔' 상태가 되도록 보장하면서, 레비트 C*-대수 $L_{m,n}$ 의 몫으로서 C*-대수 $\mathcal{O}_{m,n}$ 를 구성하기.
• 동역학계의 구조를 활용하여, 자유군 $\mathbf{F}_{m+n}$ 의 부분 작용에 의한 유니버설 시스템의 교차곱으로서 $\mathcal{O}_{m,n}$ 를 실현하기.
• 펠 백터 이론 기법과 조건부 기대를 사용하여 감소된 교차곱 $\mathcal{O}_{m,n}^r$ 를 분석하기.
• $\mathbf{F}_{m+n}$ 의 부분 작용이 위상적으로 자유롭고, $\mathcal{O}_{m,n}^r$ 가 성질 (SP) (작은 프로젝션) 을 만족함을 증명하기.
• 표현 이론과 커널 분석을 활용하여, $\mathcal{O}_{m,n}^r$ 의 유한 차원 표현은 반드시 영이 되어야 하며, 이는 $C^*_r(\mathbf{F}_2)$ 의 단순성과 무한 차원성에 기반한다.

실험 결과

연구 질문

• RQ1 유니버설 $(m,n)$-동역학계는 자유군의 부분 작용에 의한 C*-대수의 교차곱으로 실현될 수 있는가?
• RQ2 $m,n \geq 2$ 일 때 감소된 교차곱 $\mathcal{O}_{m,n}^r$ 의 정확성과 핵성 성질은 무엇인가?
• RQ3 $\mathcal{O}_{m,n}^r$ 는 어떤 유한 차원 표현도 가지는가?
• RQ4 위상적 자유성과 성질 (SP) 이 $\mathcal{O}_{m,n}^r$ 의 구조에 미치는 역할은 무엇인가?
• RQ5 조건부 기대와 몫 사상은 $\mathcal{O}_{m,n}^r$ 의 표현 이론에서 어떻게 상호작용하는가?

주요 결과

• $m,n \geq 2$ 일 때 $\mathcal{O}_{m,n}$ 은 비정확한 교차곱 구성에서 유래하므로 비정확하다.
• $m,n \geq 2$ 일 때 감소된 교차곱 $\mathcal{O}_{m,n}^r$ 는 정확하고 비핵적임을 입증하여, 새로운 정확하고 비핵적인 C*-대수의 클래스를 확립한다.
• $\mathbf{F}_{m+n}$ 의 부분 작용이 유니버설 시스템 위에서 위상적으로 자유롭고, 이는 $\mathcal{O}_{m,n}^r$ 의 정확성에 기여한다.
• $\mathcal{O}_{m,n}^r$ 는 성질 (SP) 을 만족하여 임의로 작은 추적을 가진 프로젝션을 포함한다.
• $m,n \geq 2$ 일 때 $\mathcal{O}_{m,n}^r$ 는 영이 아닌 유한 차원 표현을 가지지 않으며, 따라서 모든 유한 차원 표현은 항등적으로 영이어야 한다.
• 이 증명은 $C^*_r(\mathbf{F}_2)$ 의 단순성과 무한 차원성에 기반하여, 유한 차원 표현의 제한이 반드시 영이 되어야 한다는 사실에 의존한다.