[논문 리뷰] C*-algebras of separated graphs

Pere Ara, K. R. Goodearl|arXiv (Cornell University)|2011. 02. 21.

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

한 줄 요약

이 논문은 정점 기반 간선 분할을 포함하는 정점 기반 간선 분할을 고려한 분리된 그래프 $(E,C)$ 의 C*-대수를 도입하고 분석한다. 이는 그래프 C*-대수 이론을 확장한 것으로, 전체 및 축소 C*-대수 $C^*(E,C)$ 와 $C^*_{\text{red}}(E,C)$ 를 구성하고, 인접행렬을 사용한 K-이론 공식을 수립하며, McClanahan의 $U^{ ext{nc}}_{m,n}$ K-이론에 대한 추측을 확인한다. 주요 결과로는 인접행렬에 의해 정의된 사상의 상과 핵을 통해 $K_0$ 와 $K_1$ 이 완전히 기술된다는 것이다.

ABSTRACT

The construction of the C*-algebra associated to a directed graph $E$ is extended to incorporate a family $C$ consisting of partitions of the sets of edges emanating from the vertices of $E$. These C*-algebras $C^*(E,C)$ are analyzed in terms of their ideal theory and K-theory, mainly in the case of partitions by finite sets. The groups $K_0(C^*(E,C))$ and $K_1(C^*(E,C))$ are completely described via a map built from an adjacency matrix associated to $(E,C)$. One application determines the K-theory of the C*-algebras $U^{ ext{nc}}_{m,n}$, confirming a conjecture of McClanahan. A reduced C*-algebra $\Cstred(E,C)$ is also introduced and studied. A key tool in its construction is the existence of canonical faithful conditional expectations from the C*-algebra of any row-finite graph to the C*-subalgebra generated by its vertices. Differences between $\Cstred(E,C)$ and $C^*(E,C)$, such as simplicity versus non-simplicity, are exhibited in various examples, related to some algebras studied by McClanahan.

연구 동기 및 목표

• 분리된 그래프 $(E,C)$ 를 통해 정점 기반 간선 분할을 포함하는 그래프 C*-대수의 일반화를 시도한다.
• 유한히 분리된 그래프에 대해 전체 및 축소 C*-대수 $C^*(E,C)$ 와 $C^*_{\text{red}}(E,C)$ 의 이론을 구축한다.
• 인접행렬에서 유도된 사상의 코어널 및 커널을 통해 $C^*(E,C)$ 의 $K_0$ 와 $K_1$ 이 완전히 기술되도록 한다.
• 새로운 프레임워크를 통해 $U^{\text{nc}}_{m,n}$ 의 K-이론을 계산하여 McClanahan의 추측을 해결한다.
• 특히 단순성과 아이디얼 구조 측면에서 전체 및 축소 C*-대수 간의 차이를 조사한다.

제안 방법

• 정점에서 나가는 간선들을 분할하는 가족 $C$ 를 가진 유向 그래프 $E$ 를 분리된 그래프 $(E,C)$ 로 정의한다.
• 그래프와 분할 관계를 만족하는 유일한 *-대수로 생성되는 레비트 경로 대수 $L(E,C)$ 를 구성한다.
• $C^*(E,C)$ 는 $L(E,C)$ 의 유일한 C*-환경으로, $C^*_{\text{red}}(E,C)$ 는 축소 노름 구조를 통해 정의한다.
• 행렬이 유한한 그래프에 대해 자연스러운 충실한 조건부 기대 $\Phi_E: C^*(E) \to C_0(E^0)$ 를 도입하여 축소 대수의 구성에 기여한다.
• 합성 자유 제품 이론을 활용하여, 특히 유한히 분리된 경우에 $C^*(E,C)$ 와 $C^*_{\text{red}}(E,C)$ 의 구조를 분석한다.
• $K_0$ 와 $K_1$ 을 사상 $\text{id} - A$ 의 상과 핵을 통해 유도하며, 여기서 $A$ 는 $(E,C)$ 의 인접행렬이다. 이는 K-이론의 완전한 기술로 이어진다.

실험 결과

연구 질문

• RQ1 어떻게 분리된 그래프를 통해 정점 기반 간선 분할을 포함하는 그래프 C*-대수를 일반화할 수 있는가?
• RQ2 $C^*(E,C)$ 와 $C^*_{\text{red}}(E,C)$ 의 아이디얼 구조는 무엇이며, 이는 $E^0$ 의 비어있지 않은 $C$-포화 부분집합과 어떻게 관련되는가?
• RQ3 $C^*(E,C)$ 의 K-이론은 그래프와 분할에서 유도된 사상의 행렬 표현을 통해 완전히 기술될 수 있는가?
• RQ4 전체 대수는 단순하지 않지만 축소 대수 $C^*_{\text{red}}(E,C)$ 는 단순성을 보이는 경우가 존재하는가?
• RQ5 모노이드 $M(E,C)$ 에서 $\mathcal{V}(C^*(E,C))$ 로의 자연스러운 사상이 추측된 바와 같이 동형사상인가?

주요 결과

• 정리 5.2 에서 언급된 것처럼, 분리된 그래프 $(E,C)$ 의 인접행렬 $A$ 를 사용해 사상 $\text{id} - A$ 의 상과 핵을 통해 $C^*(E,C)$ 의 K-이론이 완전히 결정된다.
• $U^{\text{nc}}_{m,n}$ 의 C*-대수의 K-이론이 계산되었으며, McClanahan의 추측과 일치함을 확인하였고, $K_0$ 는 $[e_{11}]$ 에 의해 생성되는 무한 순환군임을 보였다.
• 특정 유한히 분리된 그래프에 대해 축소 C*-대수 $C^*_{\text{red}}(E,C)$ 는 단순하다. 이는 Brown 와 McClanahan 의 예제도 포함된다.
• 비어있지 않은 $C$-포화 부분집합의 비자명한 격자로 인해 $C^*_{\text{red}}(E,C)$ 는 단순하지만 $C^*(E,C)$ 는 단순하지 않은 예가 존재한다.
• 모든 행렬이 유한한 그래프에 대해 자연스러운 충실한 조건부 기대 $\Phi_E: C^*(E) \to C_0(E^0)$ 가 존재하며, 이는 $C^*_{\text{red}}(E,C)$ 의 구성에 기여한다.
• 모노이드 $M(E,C)$ 에서 $\mathcal{V}(C^*(E,C))$ 로의 자연스러운 사상은 추측에 따라 동형사상이며, 비분리된 그래프에 대해 알려진 결과를 일반화한다.