[논문 리뷰] Some intrinsic properties of simple graph $C^*$-algebras

David Pask, Seung-Jai Rho|ArXiv.org|2002. 12. 18.

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

한 줄 요약

이 논문은 그래프 C*-대수 $C^*(E)^\gamma$의 게이지 고정점 대수의 단순성을 위한 필수 및 필요조건을 확립한다. 이를 통해 이러한 대수는 모리타 등가 관계에서 고려할 때, AF 대수이거나 주기 1인 강하게 연결된 그래프로부터 유래된 대수임을 보여준다. 핵심 결과는 $C^*(E)^\gamma$가 단순함과 동시에 그래프 $E$가 행 유한성 조건을 만족하고 주기 1인 유한한 정점 수를 가진 코파널 강하게 연결된 부분그래프를 포함하거나, 단일 정점으로 이루어져 있을 때이다.

ABSTRACT

To a directed graph $E$ is associated a $C^*$-algebra $C^* (E)$ called a graph $C^*$-algebra. There is a canonical action $γ$ of ${\bf T}$ on $C^* (E)$, called the gauge action. In this paper we present necessary and sufficient conditions for the fixed point algebra $C^* (E)^γ$ to be simple. Our results also yield some structure theorems for simple graph algebras.

연구 동기 및 목표

• 게이지 작용 $\gamma$에 대한 고정점 대수 $C^*(E)^\gamma$가 단순해지는 내재 조건을 규명하는 것.
• 모리타 등가 관계에서 단순한 그래프 C*-대수를 분류하여, 그것들이 AF 대수이거나 강하게 연결된 그래프와 관련이 있음을 보여주는 것.
• 강하게 연결된 그래프 $E$의 주기 $d$를 갖는 경우, 고정점 대수 $C^*(E)^\gamma$의 구조적 결과를 확립하는 것. 특히 이 대수가 $d$개의 서로 동형인 AF 대수의 합으로 분해됨을 보여주는 것.
• 유한하고 강하게 연결된 그래프 $E$일 때 $C^*(E)$의 안정적 등형이 단순한 AF 대수에 대한 $\mathbb{Z}$-작용의 교차곱과 어떻게 연결되는지 탐색하는 것.

제안 방법

• 원환군 $\mathbf{T}$의 게이지 작용 $\gamma$를 $C^*(E)$에 적용하고, 고정점 대수 $C^*(E)^\gamma$에 집중하는 것.
• 비음수 행렬 이론과 위상적 그래프 이론의 결과, 특히 비가역 행렬과 강하게 연결된 그래프에 관한 결과를 적용하는 것.
• 커버링 공간을 모델링하고 $C^*(E)^\gamma$의 구조를 분석하기 위해 상대 스칼라곱 그래프 $E \times_c (H\backslash\Gamma)$를 구성하는 것. 이는 이전의 스칼라곱 구성의 일반화이다.
• 지역 전압 군 불변량을 사용하여 스칼라곱 그래프의 연결된 성분을 서로 동형인 부분그래프로 분해하는 것.
• 모든 간선에 대해 $c(e) = 1$인 표준 레이블링을 사용하여 $C^*(E \times_c \mathbb{Z}) \cong C^*(E) \times_\gamma \mathbb{T}$를 실현함으로써 고정점 대수와 교차곱의 구조를 연결하는 것.
• 단순성, 아이디얼, 모리타 등가성에 관한 $C^*$-대수 이론의 정리들을 적용하여 $C^*(E)^\gamma$를 분석하는 것.

실험 결과

연구 질문

• RQ1 그래프 C*-대수 $C^*(E)$에서 게이지 작용 $\gamma$에 대한 고정점 대수 $C^*(E)^\gamma$가 언제 단순해지는가?
• RQ2 어떤 그래프 C*-대수들이 AF 대수나 단순한 AF 대수에 대한 $\mathbb{Z}$-작용의 교차곱과 모리타 등가 관계에 있는가?
• RQ3 강하게 연결된 그래프 $E$의 주기 $d$가 고정점 대수 $C^*(E)^\gamma$의 구조에 어떻게 영향을 미치는가?
• RQ4 강하게 연결된 그래프 $E$의 주기가 $d$일 때, $C^*(E)^\gamma$가 $d$개의 상호 동형인 AF 대수의 직합과 동형이 되기 위한 조건은 무엇인가?
• RQ5 언제 $C^*(E)$가 단순한 AF 대수에 대한 $\mathbb{Z}$-작용의 교차곱과 안정적으로 등형이 되는가?

주요 결과

• 고정점 대수 $C^*(E)^\gamma$는 $E$가 행 유한성 조건을 만족하고 주기 1인 유한한 정점 수를 가진 코파널 강하게 연결된 부분그래프를 포함하거나, $E$가 단일 정점으로 이루어져 있을 때에만 단순하다.
• 강하게 연결되고 행 유한성 조건을 만족하는 그래프 $E$의 주기가 $d$일 경우, 고정점 대수 $C^*(E)^\gamma$는 $d$개의 서로 동형인 AF 대수의 직합과 동형이다.
• 만약 $E$가 유한하고 강하게 연결되며 주기가 $d$이면, $C^*(E)^\gamma$는 $d$개의 단순한 AF 대수의 직합이다.
• 유한하고 강하게 연결된 그래프 $E$일 경우, $C^*(E)$는 단순한 AF 대수에 대한 $\mathbb{Z}$-작용의 교차곱과 안정적으로 등형이다.
• 고정점 대수 $C^*(E)^\gamma$는 $E$가 무한한 차수를 가진 정점을 지니거나, $E$가 코파널이 아니거나 조건 (K)를 만족하지 않을 경우 단순하지 않다.
• 고정점 대수 $C^*(E)^\gamma$의 구조는 모리타 등가성에 대해 유지되며, $F$가 $E$의 코파널이고 강하게 연결된 부분그래프일 경우 $C^*(E)^\gamma$는 $C^*(F)^\gamma$와 강한 모리타 등가성을 가진다.