[논문 리뷰] Topological higher-rank graphs and the $C^*$-algebras of topological 1-graphs

Trent Yeend|ArXiv.org|2005. 09. 20.

Advanced Operator Algebra Research참고 문헌 28인용 수 17

한 줄 요약

이 논문은 높은 랭크 그래프와 위상적 그래프를 모두 일반화하는 통합 프레임워크로 위상적 높은 랭크 그래프를 도입한다. 군oids 기법을 사용하여 이러한 구조의 토플리츠 및 쿤츠-크리거 $C^*$-대수를 정의하며, 이는 위상적 그래프의 경우 기존의 $C^*$-대수들을 회복하고 높은 랭크 설정으로 이론을 일관되게 확장함을 증명한다.

ABSTRACT

We introduce the notion of a topological higher-rank graph, a unified generalization of the higher-rank graph and the topological graph. Using groupoid techniques, we define the Toeplitz and Cuntz-Krieger algebras of topological higher-rank graphs, and show that the $C^*$-algebras defined are coherent with the existing theory.

연구 동기 및 목표

• 높은 랭크 그래프 $C^*$-대수 이론과 위상적 그래프 $C^*$-대수 이론을 하나의 프레임워크로 통합하기.
• 정점 및 간선 집합에 위상적 구조를 통합함으로써 높이 랭크 그래프의 개념을 일반화하기.
• 위상적 높은 랭크 그래프 $\Lambda$에서 경로 군oids $G_{\bar{\Lambda}}$를 정의하여, 컴act 조율 조건 하에서 국소적으로 컴act하고 $r$-이산성이 보장되도록 하기.
• 군oids $C^*$-대수 구성법을 통해 $\Lambda$의 토플리츠 및 쿤츠-크리거 $C^*$-대수를 구성하기.
• 1-그래프 경우로 제한했을 때, 구성이 표준적인 위상적 그래프 $C^*$-대수들을 회복하는지 확인하기.

제안 방법

• 모르피즘 집합에 국소적으로 컴팩트한 하우스도르프 위상을 지닌 $d: \Lambda \to \mathbb{N}^k$ 도함수를 지닌 범주로서 위상적 높은 랭크 그래프 $\Lambda$를 정의한다.
• 모든 무한 경로의 집합으로서 경로 공간 $X_\Lambda$를 정의하며, 실린더 집합에 의해 유도된 위상을 부여한다.
• 단위 공간이 $X_\Lambda$인 경로 군oids $G_\Lambda$를 정의한다. 여기서 원소는 $x, y \in X_\Lambda$ 및 $m \in \mathbb{Z}^k$ 를 만족하는 삼중항 $(x, m, y)$ 이며, $\sigma^m x = y$ 를 만족한다.
• 경로 군oids $G_\Lambda$가 국소적으로 컴팩트하고 $r$-이산적이며 연속적인 범위 및 원천 사상이 되도록 하기 위해, 컴팩트 조율된 위상적 높은 랭크 그래프의 개념을 도입한다.
• $G_\Lambda$에 세기 측도의 하르 체계를 부여하여, 전체 군oids $C^*$-대수 $C^*(G_\Lambda)$를 정의한다. 이를 토플리츠 대수라 칭한다.
• $\partial\Lambda \subset X_\Lambda$ 를 닫힌 $G_\Lambda$-불변 부분집합으로 식별하고, 경계 경로 군oids $\mathcal{G}_\Lambda = G_\Lambda|_{\partial\Lambda}$ 를 정의한다. 이 군oids의 $C^*$-대수는 쿤츠-크리거 대수이다.

실험 결과

연구 질문

• RQ1 군oids 기법을 사용하여 높은 랭크 그래프와 위상적 그래프를 동시에 일반화하는 통합 프레임워크를 개발할 수 있는가?
• RQ2 그래프에 어떤 위상적 조건이 성립할 경우 경로 군oids가 국소적으로 컴팩트하고 $r$-이산적이게 되는가?
• RQ3 위상적 높은 랭크 그래프의 토플리츠 및 쿤츠-크리거 대수는 문헌에 기록된 기존 구성과 어떻게 관련이 있는가?
• RQ4 위상적 높은 랭크 그래프의 군oids $C^*$-대수 구성법이 1-그래프로 제한되었을 때, 기존의 위상적 그래프의 표준 $C^*$-대수들을 회복하는가?
• RQ5 $C^*$-대수에 게이지 작용이 존재하도록 보장하는 조건은 무엇이며, 이를 통해 게이지 불변 유일성 정리를 적용할 수 있는가?

주요 결과

• 컴팩트 조율 조건을 만족하는 위상적 높은 랭크 그래프 $\Lambda$의 경로 군oids $G_\Lambda$는 국소적으로 컴팩트하고 $r$-이산적인 위상 군oids이며, 세기 측도의 하르 체계를 지닌다.
• 전체 군oids $C^*$-대수 $C^*(G_\Lambda)$는 잘 정의되어 있으며, $\Lambda$의 토플리츠 대수라 칭한다.
• 경계 경로 군oids $\mathcal{G}_\Lambda = G_\Lambda|_{\partial\Lambda}$ 는 국소적으로 컴팩트하고 $r$-이산적인 위상 군oids이며, 세기 측도 체계를 지닌다.
• $\Lambda$의 쿤츠-크리거 대수는 $C^*(\mathcal{G}_\Lambda)$로 정의되며, 이 구성은 기존의 위상적 그래프 $C^*$-대수 이론과 일관된다.
• 위상적 1-그래프로 제한했을 때, 쿤츠-크리거 대수 $C^*(\mathcal{G}_\Lambda)$ 는 문헌에서 정의된 관련 위상적 그래프의 $C^*$-대수와 일치한다.
• 게이지 불변 유일성 정리에 의해, $\Phi_0 \times_{\mathcal{O}} \Phi_1: \mathcal{O}(E_\Lambda) \to C^*(\mathcal{G}_\Lambda)$ 는 전사적이고 단사적이므로, 이는 동형사상이다.