[논문 리뷰] Some classifiable groupoid C*-algebras with prescribed K-theory

Ian F. Putnam|arXiv (Cornell University)|2016. 11. 15.

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

한 줄 요약

이 논문은 캔터 집합 위에 최소성, 애매성, 에탈리티를 갖는 등가관계를 구성하며, 이에 대응하는 군oids C*-대수들이 흔적적 AF이므로 엘리엇 프로그램에 따라 분류 가능하다. 주어진 단순하고 순환하지 않는 차원군 $G_0$와 가산이며 토크션 없는 아벨 군 $G_1$에 대해, $K_0 \cong G_0$ 및 $K_1 \cong G_1$를 실현함으로써, 이러한 $K$-이론적 불변량들이 에탈리티 군oids C*-대수를 통해 실현 가능하다는 것을 보여준다.

ABSTRACT

Given a simple, acyclic dimension group $G_{0}$ and countable, torsion-free, abelian group $G_{1}$, we construct a minimal, amenable, étale equivalence relation $R$ on a Cantor set whose associated groupoid $C^{*}$-algebra, $C^{*}(R)$, is tracially AF, and hence classifiable in the Elliott classification scheme for simple, amenable, separable $C^{*}$-algebras, and with $K_{*}(C^{*}(R)) \cong(G_{0}, G_{1})$.

연구 동기 및 목표

• 분류 가능한 $C^*$-대수 중, 특히 엘리엇 분류 프로그램을 만족하는 대수들이 군oids $C^*$-대수로 실현될 수 있는지 규명하는 것.
• 엘리엇 프로그램의 범위 문제를 해결하기 위해, 에탈리티 군oids를 사용하여 주어진 $K$-이론적 불변량을 갖는 $C^*$-대수를 구성하는 것.
• 임의의 단순하고 순환하지 않는 차원군 $G_0$ 및 가산이며 토크션 없는 아벨 군 $G_1$에 대해, 캔터 집합 위에 최소성, 애매성, 에탈리티를 갖는 등가관계 $R$이 존재하여 $C^*(R)$의 $K_*$-이론이 $(G_0, G_1)$와 동형임을 보이는 것.
• 구성된 $C^*$-대수가 흔적적 AF임을 입증함으로써, 엘리엇 프레임워크 내에서의 분류 가능성을 확립하는 것.

제안 방법

• 유한한 근사치의 군oids 구조를 기반으로 하향 극한 기법을 사용하여 캔터 집합 $X$ 위에 최소성, 애매성, 에탈리티를 갖는 등가관계 $R$을 구성한다.
• $C^*(R)$ 내에 유한 차원 $C^*$-부분대수 $B_l$의 수열을 정의하며, 이는 군oids 내의 유한 경로와 관련된 프로젝션 $\bar{e}_l$로부터 구성된다.
• 군oids 대수의 성분을 경로 길이에 따라 분해하고, $l$에 대한 귀납법을 사용하여 $\bar{e}_l$가 유한 집합 $\mathcal{F}$와 $\epsilon$-오차 내에서 거의 교환된다는 것을 보인다.
• 흔적적 AF 조건을 적용하기 위해 세 가지 핵심 성질을 검증한다: $\mathcal{F}$와의 거의 교환, 유한 차원 부분대수 내 원소의 근사, $1 - \bar{e}_l$가 주어진 영이 아닌 프로젝션 $p_0$의 부분프로젝션과 유니터리 동치임을 보장한다.
• C*-대수 내의 스펙트럼 추정과 추적의 양성으로 인해, 충분히 큰 $l$에 대해 $\bar{e}_l$가 $p_0$의 부분프로젝션과 유니터리 동치임을 보장하며, 이는 표현 $\pi$의 정밀성에 기반한다.
• 단순한 AF-대수에서는 $K_0$ 내의 양성은 추적에 의해 감지되므로, $\bar{e}_l$의 추적를 제어함으로써 $\bar{e}_l$가 $p_0$의 부분프로젝션과 유니터리 동치임을 보장한다.

실험 결과

연구 질문

• RQ1 모든 쌍 $(G_0, G_1)$에 대해, $G_0$가 단순하고 순환하지 않는 차원군이며 $G_1$가 가산이며 토크션 없는 아벨 군이라면, 이는 군oids $C^*$-대수의 $K_*$-이론으로 실현될 수 있는가?
• RQ2 캔터 집합 위에 최소성, 애매성, 에탈리티를 갖는 등가관계를 구성하여, 이에 대응하는 $C^*$-대수가 흔적적 AF이자 따라서 엘리엇 프로그램에 따라 분류 가능한가?
• RQ3 $K$-이론에 어떤 조건이 있어야 $C^*$-대수가 에탈리티 군오이드에서 유래하는가?
• RQ4 유한 차원 부분대수의 하향 극한을 통해 구성된 군oids $C^*$-대수의 경우, 흔적적 AF 조건을 어떻게 확보할 수 있는가?
• RQ5 $1 - \bar{e}_l$가 주어진 프로젝션 $p_0$의 부분프로젝션과 유니터리 동치임을 이러한 구성에서 보장할 수 있는가?

주요 결과

• 임의의 단순하고 순환하지 않는 차원군 $G_0$ 및 가산이며 토크션 없는 아벨 군 $G_1$에 대해, 캔터 집합 위에 최소성, 애매성, 에탈리티를 갖는 등가관계 $R$이 존재하여 $C^*(R)$가 흔적적 AF임을 보여준다.
• $C^*(R)$의 $K_0$-군은 $G_0$와 동형이며, $K_1$-군은 $G_1$와 동형이므로, 주어진 $K$-이론을 실현한다.
• 구성 과정은 $C^*(R)$가 흔적적 AF 조건을 만족함을 보장하며, 이는 엘리엇 프로그램 내에서의 분류 가능성을 암시한다.
• 유한 차원 부분대수 $(1 - \bar{e}_l)B_l(1 - \bar{e}_l)$는 $C^*(R)$의 원소들을 임의의 $\epsilon$-오차 내에서 노름으로 근사하며, 유한 집합과 거의 교환된다.
• 충분히 큰 $l$에 대해, $1 - \bar{e}_l$는 추적 제어와 스펙트럼 추정에 의해 임의의 주어진 영이 아닌 프로젝션 $p_0$의 부분프로젝션과 유니터리 동치임을 보장한다.
• $C^*(R)$의 표현 $\pi$는 정밀하며, $\pi(1 - \bar{e}_l)$의 강한 연산자 극한은 $l$이 크면 $\pi((1 - \bar{e}_l)p_0)$가 영이 아님을 보장하여, 유니터리 동치의 추론을 가능하게 한다.