[논문 리뷰] An elementary approach to C*-algebras associated to topological graphs

Hui Li, David Pask외 1명|arXiv (Cornell University)|2012. 05. 15.

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

한 줄 요약

이 논문은 C*-대수의 C*-대응관계 없이, 보편적 표현과 공변 표현을 사용하여 위상적 그래프에 대한 기본적인 C*-대수의 구성법을 제시한다. 토플리츠 대수와 카츠라의 위상적 그래프 C*-대수의 두 가지 유형이 $C_0(E^0)$와 $C_c(E^1)$에 대한 단순한 관계로 정의된 보편 C*-대수임을 증명하고, 원소가 없는 행렬이 유한한 방향 그래프의 C*-대수와 그 무한 경로 공간과 이동 사상에 의해 유도된 위상적 그래프의 C*-대수 사이의 동형사상이 존재함을 직접적으로 보인다.

ABSTRACT

We develop notions of a representation of a topological graph E and of a covariant representation of a topological graph E which do not require the machinery of C*-correspondences and Cuntz-Pimsner algebras. We show that the C*-algebra generated by a universal representation of E coincides with the Toeplitz algebra of Katsura's topological-graph bimodule, and that the C*-algebra generated by a universal covariant representation of E coincides with Katsura's topological graph C*-algebra. We exhibit our results by constructing the isomorphism between the C*-algebra of a row-finite directed graph E with no sources and the C*-algebra of the topological graph arising from the shift map acting on infinite path space E^\infty.

연구 동기 및 목표

• C*-대응관계와 쿤츠-피머너 대수의 기술적 장비를 피하는 위상적 그래프에 대한 표현 이론을 개발한다.
• 토플리츠 대수와 카츠라의 위상적 그래프 C*-대수의 정의를 $C_0(E^0)$와 $C_c(E^1)$의 원소들만을 사용하여 보편 C*-대수로 정의한다.
• 범위 사상이 국소 위상동형사상이며 이미지가 닫혀 있을 경우, 공변 조건을 단순화하며, 칸토어 최소 시스템과 $\mathbb{Z}$에 의한 와еп로덕트의 경우를 포함한 특수한 케이스에서 이를 강조한다.
• 원소가 없는 행렬이 유한한 방향 그래프의 C*-대수와 그에 대응하는 무한 경로 공간과 이동 사상에 의해 유도된 위상적 그래프의 C*-대수 사이의 동형사상을 직접적이고 기본적인 방법으로 증명한다.

제안 방법

• 위상적 그래프 $E$의 표현을 $(\pi, \psi)$의 쌍으로 정의한다. 여기서 $\pi$는 $C_0(E^0)$ 위의 비퇴화 $*$-준동형사상이며, $\psi$는 $C_c(E^1)$ 위의 선형 사상으로, 모든 $f \in C_0(E^0)$, $x \in C_c(E^1)$에 대해 $\psi(f \cdot x) = \pi(f) \psi(x)$ 및 $\psi(x \cdot f) = \psi(x) \pi(f)$ 를 만족한다.
• 공변 표현을 정의하기 위해, $x,y \in C_c(E^1)$에 대해 $\psi(x)^* \psi(y) = \pi(\widehat{x^*y})$ 를 요구한다. 여기서 $\widehat{x^*y}$ 는 $x$의 근원과 $y$의 범위에서 평가된 $x^*$와 $y$의 점별 곱이다.
• 토플리츠 대수 $\mathcal{T}(E)$와 공변 보편 대수 $\mathcal{O}(E)$의 보편 성질을 이용하여, $\mathcal{T}(E)$ 가 카츠라의 토플리츠 대수와 동형이며, $\mathcal{O}(E)$ 가 카츠라의 위상적 그래프 C*-대수와 동형임을 보인다.
• 무한 경로 공간 $E^\infty$ 와 왼쪽 이동 사상 $\sigma$ 를 원천으로, 항등사상으로 범위를 가지는 위상적 그래프 $\widehat{E}$ 에 이론을 적용하여 $\mathcal{O}(\widehat{E}) \cong C^*(E)$ 를 보인다.
• 보편성의 증명을 위해, $B$ 내의 쿤츠-크라이저 $E$-가족에서 $C^*(E) \to B$ 로의 준동형사상을 구성한다.
• 가시성 보존 정리와 범위 사상이 위상동형임을 이용하여 공변 조건을 검증하고, Proposition 4.12를 통해 표현을 확장한다.

실험 결과

연구 질문

• RQ1 위상적 그래프의 C*-대수는 C*-대응관계나 쿤츠-피머너 대수를 사용하지 않고 정의될 수 있는가?
• RQ2 위상적 그래프의 표현에 의해 생성된 보편 C*-대수는 카츠라의 토플리츠 대수와 일치하는가?
• RQ3 위상적 그래프의 보편 공변 표현은 카츠라의 위상적 그래프 C*-대수를 유도하는가?
• RQ4 이동 사상에 의해 유도된 위상적 그래프의 C*-대수와 원소가 없는 행렬이 유한한 방향 그래프의 C*-대수 사이의 동형사상을 기본적인 방법으로 증명할 수 있는가?
• RQ5 범위 사상이 국소 위상동형사상이며 이미지가 닫혀 있을 경우, 공변 조건은 어떻게 단순화되는가?

주요 결과

• 위상적 그래프 $E$의 토플리츠 대수 $\mathcal{T}(E)$ 는 $C_0(E^0)$와 $C_c(E^1)$ 위의 표현에 의해 생성된 보편 C*-대수와 동형이다.
• 카츠라의 위상적 그래프 C*-대수 $\mathcal{O}(E)$ 는 공변 표현에 의해 생성된 보편 C*-대수와 동형이다.
• 범위 사상 $r: E^1 \to E^0$ 가 국소 위상동형사상이며 $r(E^1)$ 이 닫혀 있을 경우, 공변 조건은 크게 단순화되어 직접적인 표현 검증이 가능해진다.
• 원소가 없는 행렬이 유한한 방향 그래프 $E$ 의 C*-대수와 무한 경로 공간 $E^\infty$ 에서 이동 사상 $\sigma$ 를 원천으로, 항등사상을 범위로 가지는 위상적 그래프 $\widehat{E}$ 의 C*-대수 사이에는 자연스러운 동형사상이 존재한다.
• 토플리츠 표현의 기본적 구성과 보편 성질의 논증을 통해 $\mathcal{O}(\widehat{E}) \cong C^*(E)$ 가 성립함을 보였다.
• 논증 과정에서 C*-대응관계를 사용하지 않고, 단지 기본적인 함수해석학적 도구와 가시성 보존 정리를 활용하였다.