[논문 리뷰] Some inverse limits of Cuntz algebras

Katsunori Kawamura|arXiv (Cornell University)|2011. 12. 13.

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

한 줄 요약

이 논문은 자연수 집합 $\mathbb{N}$ 위의 나눗셈 순서 $\preceq$ 에 따라 인덱싱된 비자명한 Cuntz 대수들의 역계열 $\{\mathcal{O}_n : 2 \leq n < \infty\}$ 를 구성하며, 그 역극한이 $*$-동형사상에 의해 $\mathcal{O}_\infty$ 와 일치함을 보여준다. 이 구성은 $\varprojlim K_0(\mathcal{O}_n) \not\cong K_0(\varprojlim \mathcal{O}_n)$ 를 보여줌으로써, 역극한에 대해 $K_0$-함수는 $C^*$-대수일지라도 불연속적임을 입증한다.

ABSTRACT

We construct a nontrivial inverse system of Cuntz algebras $\{{\cal O}_{n}:2\leq n

연구 동기 및 목표

• 자연수 집합 $\mathbb{N}$ 위의 나눗셈 순서 $\preceq$ 에 따라 정렬된 비자명한 Cuntz 대수들의 역계열을 구성할 수 있는가에 대한 문제를 해결하기 위해.
• 이러한 계열의 역극한의 구조를 규명하고, 특히 $\mathcal{O}_\infty$ 와 동형인지 여부를 확인하기 위해.
• 이 구성이 $C^*$-대수 이론에서 역극한에 대한 $K_0$-함수의 연속성에 미치는 영향을 조사하기 위해.
• 특히 $n > m$ 일 때 $\mathcal{O}_m$ 에서 $\mathcal{O}_n$ 으로의 사상이 존재하지 않는다는 점을 감안할 때, Cuntz 대수들 사이의 단위 $*$-준동형사상이 이러한 역계열을 정의하는 데 어떤 역할을 하는지 명확히 하기 위해.

제안 방법

• 나눗셈 순서 $\preceq$ 에 따라 자연수 집합 $\mathbb{N}$ 에 따라 정렬된 Cuntz 대수들의 방향성 계열 $\{\mathcal{O}_{n+1}\}$ 을 구성하며, $n \preceq m$ 일 때에만 존재하는 단위 $*$-준동형사상을 사용한다.
• $n \preceq m$ 인 경우에 대해, 명시적인 임bedding을 바탕으로 $f_{m,n}: \mathcal{O}_{m+1} \to \mathcal{O}_{n+1}$ 이라는 단위 $*$-준동형사상의 수열을 정의한다. 이는 $\mathcal{O}_r$ 에서의 게이지 작용에서 유도된다.
• Cuntz 대수 $\mathcal{O}_r$ 에서의 게이지 작용 $\gamma$ 를 사용하여 스펙트럼 부분공간 $A_{r,n}^{(l)}$ 을 정의하고, 반복적인 몫 $q_1 \circ \cdots \circ q_{n-1}$ 을 통해 $A_{r,n}$ 이 $\mathcal{O}_r$ 의 $C^*$-부분대수로 식별됨을 보장한다.
• 스펙트럼 부분공간의 교차 $\bigcap_n A_{r,n}^{(0)} = A_{r,1}^{(0)} \cong UHF_r$ 를 통해, 역극한 $\varprojlim A_{r,n}$ 이 유형 $\{r^l : l \geq 1\}$ 의 UHF 대수 $UHF_r$ 와 동형임을 보인다.
• 사상의 호환성은 항등식 $f_{1,2} \circ f_{2,4} = f_{1,4}$ 를 통해 검증되어 역계열의 구조가 확인된다.
• K_0-군 분석: $K_0(\varprojlim \mathcal{O}_n) \cong \mathbb{Z}_{(r^\infty})$ 이며, 이는 $\mathbb{Z}$ 의 일반화된 정수 $r^\infty$ 에 대한 국소화로 가산임을 보이고, 반면 $\varprojlim K_0(\mathcal{O}_n) \cong \varprojlim \mathbb{Z}/(r_n - 1)\mathbb{Z}$ 는 비가산임을 보여, 불연속성을 입증한다.

실험 결과

연구 질문

• RQ1 자연수 집합 $\mathbb{N}$ 위의 나눗셈 순서 $\preceq$ 에 따라 정렬된 비자명한 Cuntz 대수들의 역계열 $\{\mathcal{O}_n\}$ 이 존재하는가?
• RQ2 이러한 계열의 역극한의 구조는 어떠한가, 특히 $\mathcal{O}_\infty$ 와의 동형성과 관련하여 어떻게 되는가?
• RQ3 $C^*$-대수가 되는 경우에도, $K_0$-함수는 역극한에 대해 불연속적일 수 있는가?
• RQ4 나눗셈 순서 $\preceq$ 에 따라 Cuntz 대수들 사이의 단위 $*$-준동형사상은 어떻게 행동하는가? 그리고 이러한 사상들이 일관된 역계열을 정의하는 데 사용될 수 있는가?

주요 결과

• 나눗셈 순서 $\preceq$ 에 따라 정렬된 역계열 $\{\mathcal{O}_n : 2 \leq n < \infty\}$ 의 역극한은 $*$-동형사상에 의해 $\mathcal{O}_\infty$ 와 일치한다. 즉, $\varprojlim \mathcal{O}_n \cong \mathcal{O}_\infty$ 이다.
• $\varprojlim \mathcal{O}_n$ 의 $K_0$-군은 $\mathbb{Z}_{(r^\infty)}$ 이며, 이는 $\mathbb{Z}$ 의 일반화된 정수 $r^\infty$ 에 대한 국소화로 가산이다.
• $K_0$-군들의 역극한 $\varprojlim K_0(\mathcal{O}_n) \cong \varprojlim \mathbb{Z}/(r_n - 1)\mathbb{Z}$ 는 비가산이므로, $K_0$-함수는 역극한에 대해 불연속적임을 보여준다.
• 이 구성은 $\mathcal{O}_r$ 에서의 게이지 작용을 사용하여 스펙트럼 부분공간을 정의하며, 역극한은 $0$-스펙트럼 부분공간들의 교차 $\bigcap_n A_{r,n}^{(0)} = A_{r,1}^{(0)} \cong UHF_r$ 로서 실현된다.
• $f_{m,n}$ 사상은 생성자에 대해 명시적으로 정의되었으며, 호환성 조건 $f_{1,2} \circ f_{2,4} = f_{1,4}$ 는 공식에서 직접적으로 검증되었다.
• 결과적으로, $C^*$-대수의 역극한이 비총순서 집합에 따라 정렬된 계열일지라도 $\mathcal{O}_\infty$ 가 될 수 있으며, 이 경우 $K_0$-함수는 역극한과 교환되지 않음을 보여준다.