[논문 리뷰] A class of C^*-algebras generalizing both graph algebras and homeomorphism C^*-algebras II, examples

Takeshi Katsura|ArXiv.org|2004. 05. 14.

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

한 줄 요약

이 논문은 위상적 그래프로부터 C*-대수를 확장하여, 그래프 C*-대수와 호메오모르피즘 C*-대수 모두를 일반화한다. 새로운 위상적 그래프를 생성하는 연산을 도입하고, 관련된 C*-대수 간의 $*$-준동형사상을 수립하며, 표현 이론을 통해 C*-대수를 특성화하여, 모든 알려진 분류 가능한 C*-대수를 포함하고 있으며, 반군oid 동역계 시스템(SGDS)에서 유도된 것들과 동치임을 보여준다.

ABSTRACT

We show that the method to construct C^*-algebras from topological graphs, introduced in our previous paper, generalizes many known constructions. We give many ways to make new topological graphs from old ones, and study the relation of C^*-algebras constructed from them. We also prove that our C^*-algebras have a certain characterization. This gives us another definition of our C^*-algebras.

연구 동기 및 목표

• 위상적 그래프로부터 C*-대수의 구성 방식을 일반화하여, 그래프 대수와 호메오모르피즘 대수를 통합한다.
• 기존의 것들로부터 새로운 위상적 그래프를 생성하는 연산을 개발하여, 그들의 관련 C*-대수 간의 구조적 관계를 유지한다.
• 보조 공간(예: $E^0_{\text{rg}}$)을 사용하지 않고도, 위상적 그래프에서 유도된 C*-대수의 표현 이론을 통해 그들을 특성화한다.
• 모든 분류 가능한 C*-대수—특히 반군oid 동역계 시스템(SGDS)에서 유도된 것들—이 위상적 그래프 C*-대수로 실현될 수 있음을 보여준다.
• 관련된 위상적 그래프로부터 유도된 C*-대수 간의 강한 모리타 동치를 확립하여, 구조적 비교를 가능하게 한다.

제안 방법

• 위상적 그래프 간의 인수 맵을 정의하여, 이들에 의해 유도되는 C*-대수 간의 $*$-준동형사상을 유도한다.
• C*-대수 내의 토플리츠 쌍 $(T^0, T^1)$을 사용하여 유니버설 토플리츠 대수 ${\mathcal{T}}(E)$를 생성하고, 표현 이론을 통해 쿤츠-크라이거 대수 ${\mathcal{O}}(E)$를 특성화한다.
• 위상적 그래프의 프로젝티브 체계와 그 극한을 구성하고, 이에 대응하는 $\mathcal{T}(E)$ 및 $\mathcal{O}(E)$ 대수 간의 관계를 규명한다.
• 그래프 합집합, 풀백, 위상적 코일리미트와 같은 연산을 도입하여, 강한 모리타 동치를 가지는 새로운 위상적 그래프를 생성한다.
• 위상적 그래프의 C*-대수의 보편 성질을 적용하여, 반군oid 동역계 시스템 $(X,\sigma)$로부터 유도된 $C^*(X,\sigma)$ 가 적절한 위상적 그래프 $E$에 대해 $\mathcal{O}(E)$와 동형임을 보여준다.
• 국소 호메오모르피즘과 코사이클 작용을 사용하여, 관련된 $*$-준동형사상의 전사성과 단사성을 증명하고, $\mathcal{O}(E)$와 $C^*(X,\sigma)$ 간의 동형을 확립한다.

실험 결과

연구 질문

• RQ1 기존의 것들로부터 새로운 위상적 그래프를 체계적으로 구성하면서, 그들의 C*-대수 간의 구조적 관계를 유지할 수 있는 방법은 무엇인가?
• RQ2 위상적 그래프에서 유도된 C*-대수가 반군oid 동역계 시스템(SGDS)의 C*-대수와 동형이 되기 위한 조건은 무엇인가?
• RQ3 보조 공간(예: $E^0_{\text{rg}}$)을 참조하지 않고도, 위상적 그래프의 C*-대수를 표현 이론을 통해 완전히 특성화할 수 있는가?
• RQ4 위상적 그래프의 C*-대수들이 그래프 및 호메오모르피즘 구성에서 유도된 것들을 포함하여, 모든 알려진 분류 가능한 C*-대수를 얼마나 넓게 포함하는가?
• RQ5 다른 위상적 그래프와 관련된 C*-대수가 어떤 조건에서 강한 모리타 동치가 되는가?

주요 결과

• 위상적 그래프 $E$의 C*-대수 $\mathcal{O}(E)$는 반군oid 동역계 시스템(SGDS)의 C*-대수 $C^*(X,\sigma)$와 동형임을 보여주어, 완전한 대응 관계를 확립한다.
• 모든 알려진 분류 가능한 C*-대수—특히 그래프 대수, 호메오모르피즘 대수, SGDS에서 유도된 것들—이 위상적 그래프 C*-대수로 실현될 수 있다.
• 토플리츠 쌍을 통한 $\mathcal{O}(E)$의 구성은 $E^0_{\text{rg}}$ 공간을 사용하지 않기 때문에, 구조 분석을 단순화한다.
• 위상적 그래프 간의 인수 맵은 그들의 관련 C*-대수 간의 $*$-준동형사상을 유도하여, 구조적 비교를 가능하게 한다.
• 풀백과 위상적 그래프의 합집합과 같은 연산을 통해 유도된 새로운 그래프들의 C*-대수들은 원래의 것들과 강한 모리타 동치를 이룬다.
• 위상적 그래프 $E$가 위상적으로 자유일 때이고, 그때에만 관련된 SGDS $(X,\sigma)$가 본질적으로 자유일 때이므로, 위상적 자유성과 동역학적 자유성 조건이 연결된다.