[논문 리뷰] C^*-algebras associated with self-similar sets

Tsuyoshi Kajiwara, Yasuo Watatani|ArXiv.org|2003. 12. 29.

Advanced Operator Algebra Research참고 문헌 29인용 수 16

한 줄 요약

이 논문은 자가유사 컴act 집합 $K$ 위의 적절한 수축 시스템 $\gamma = (\gamma_1, \dots, \gamma_N)$로부터 Cuntz-Pimsner 구조를 이용해 Hilbert 이중모듈 $X = C({\mathcal{G}})$를 정의하고, $\gamma_i$의 cograph의 합집합인 ${\mathcal{G}}$를 통해 C*-대수 ${\mathcal{O}}_{\gamma}(K)$를 구성한다. 주요 결과는 시스템이 열린 집합 조건을 만족할 경우 ${\mathcal{O}}_{\gamma}(K)$가 단순하고 순수 무한하다는 것이며, 일반적으로 Cuntz 대수와 동형이 아니며, $K_0$-이론이 토퍼션-프리 요소를 탐지한다는 것이다.

ABSTRACT

Let $γ= (γ_1,...,γ_N)$, $N \geq 2$, be a system of proper contractions on a complete metric space. Then there exists a unique self-similar non-empty compact subset $K$. We consider the union ${\mathcal G} = \cup_{i=1}^N \{(x,y) \in K^2 ; x = γ_i(y)\}$ of the cographs of γ_i$. Then $X = C({\mathcal G})$ is a Hilbert bimodule over $A = C(K)$. We associate a $C^*$-algebra ${\mathcal O}_γ(K)$ with them as a Cuntz-Pimsner algebra ${\mathcal O}_X$. We show that if a system of proper contractions satisfies the open set condition in $K$, then the $C^*$-algebra ${\mathcal O}_γ(K)$ is simple and purely infinite, which is not isomorphic to a Cuntz algebra in general.

연구 동기 및 목표

• 자가유사 집합 위의 적절한 수축 시스템에 관련된 C*-대수를 구성함으로써, cograph의 분리합집합을 사용할 경우 발생하는 정보 손실을 피하기 위한 목적으로.
• 결과적으로 유도된 C*-대수 ${\mathcal{O}}_{\gamma}(K)$가 일반적으로 Cuntz 대수와 동형이 아니라는 것을 $K$-이론 분석을 통해 보여주는 것.
• 열린 집합 조건을 만족할 경우 ${\mathcal{O}}_{\gamma}(K)$가 단순하고 순수 무한하다는 것을 증명함으로써, Julia 집합과 유리 함수에 대한 기존 결과를 일반화하는 것.
• 특히 그래프 ${\mathcal{G}}$의 구조를 통해 분지점과 비단사적 코딩의 역할을 $K$-이론에서 명확히 하는 것.

제안 방법

• 수축 $\gamma_i$의 cograph의 합집합으로서 ${{\mathcal{G}} = \bigcup_{i=1}^N \{(x,y) \in K^2 \mid x = \gamma_i(y)\}}$를 정의하고, 이를 위상적 그래프로 간주한다.
• $A = C(K)$에 대해 $\beta_i(a)(y) = a(\gamma_i(y))$로 정의된 내부자기형사상들을 부여함으로써, $X = C({\mathcal{G}})$를 Hilbert $A$-이중모듈로 만든다.
• 생성자 $A$와 부분등장 등반 $S_i$를 갖는 유일한 C*-대수로 ${\mathcal{O}}_X = {\mathcal{O}}_{\gamma}(K)$를 구성하며, 조건 $aS_i = S_i \beta_i(a)$를 만족시킨다.
• 열린 집합 조건을 이용해, 이상의 구조 분석과 유한차원 표현의 부재를 통해 ${\mathcal{O}}_{\gamma}(K)$가 단순하고 순수 무한하다는 것을 증명한다.
• 기존의 대수와의 관계를 규명: $\gamma_i$가 유리 함수 $R$의 역지점일 경우, ${\mathcal{O}}_{\gamma}(K) \cong {\mathcal{O}}_R(J_R)$가 되며, Julia 집합과 관련된 대수와 연결된다.
• ${\mathcal{O}}_{\gamma}(K)$의 $K_0$에 토퍼션-프리 요소가 존재함을 보여, ${\mathcal{O}}_N$과 같은 Cuntz 대수와의 비동형성을 입증한다.

실험 결과

연구 질문

• RQ1 자기유사 집합 $K$와 수축 시스템 $\gamma_i$에 대해 C*-대수 ${\mathcal{O}}_{\gamma}(K)$가 단순하고 순수 무한해지는 조건은 무엇인가?
• RQ2 표준적인 Cuntz 대수 구성 방식에서의 분리합집합 대비, cograph의 합집합 ${\mathcal{G}}$를 선택할 경우, 유도된 C*-대수의 구조에 어떤 영향을 미치는가?
• RQ3 ${\mathcal{O}}_{\gamma}(K)$의 $K$-이론이 Cuntz 대수와의 비동형성을 탐지할 수 있는가? 특히 $K_0$에 토퍼션-프리 요소가 존재함으로써 이를 확인할 수 있는가?
• RQ4 ${\mathcal{O}}_{\gamma}(K)$와 유리 함수 $R$의 Julia 집합 $J_R$과 관련된 C*-대수 ${\mathcal{O}}_R(J_R)$ 사이의 관계는 무엇인가?
• RQ5 왜 표준적인 분리합집합을 이용한 구성은 Cuntz 대수를 만들어내지만, 합집합 구성은 비동형이면서 순수 무한한 대수를 만들어내는가?

주요 결과

• ${\mathcal{O}}_{\gamma}(K)$는 수축 시스템이 $K$에서 열린 집합 조건을 만족할 경우, 이상의 구조 분석을 통해 단순하고 순수 무한하다는 것이 입증된다.
• ${\mathcal{O}}_{\gamma}(K)$는 일반적으로 Cuntz 대수와 동형이 아니며, 이는 $K_0({\mathcal{O}}_{\gamma}(K))$에 존재하는 토퍼션-프리 요소로 인해 입증된다. 반면 ${\mathcal{O}}_N$의 $K_0$는 토퍼션-프리이다.
• 시에르핀스키 삼각형의 경우, 표준 수축 $\gamma_1, \gamma_2, \gamma_3$는 ${\mathcal{O}}_{(\gamma_i)}(K) \cong {\mathcal{O}}_3$을 유도하지만, 이를 역함수 브랜치로 변환한 후의 대수 ${\mathcal{O}}_{(\tilde{\gamma}_i)}(K)$는 순수 무한하고 단순하며 ${\mathcal{O}}_3$과 동형이 아니며, $K_0$에 토퍼션-프리 요소를 포함한다.
• 시에르핀스키 카펫의 경우, 표준 시스템 $\gamma_1, \dots, \gamma_8$는 ${\mathcal{O}}_{(\gamma_i)}(K) \cong {\mathcal{O}}_8$를 유도하지만, 이를 역함수 브랜치로 수정한 후의 대수 ${\mathcal{O}}_{(\gamma_i')} (K)$는 $K_0 \cong \mathbb{Z}^4$를 가지며, 이는 ${\mathcal{O}}_8$과의 비동형성을 보여준다.
• 이 구성은 기존의 대수를 복원한다: $\gamma_i$가 유리 함수 $R$의 역지점일 경우, ${\mathcal{O}}_{\gamma}(K) \cong {\mathcal{O}}_R(J_R)$가 되며, 이는 이론을 Julia 집합과 유리 함수 동역학과 연결한다.
• ${\mathcal{O}}_{\gamma}(K)$의 $K$-이론은 코딩 사상의 단사성 실패를 반영한다: $K_0$는 분지점과 비단사적 행동을 탐지하며, 고려된 예시들에서는 $K_1({\mathcal{O}}_{\gamma}(K)) = 0$이다.