[논문 리뷰] Ext classes and embeddings for C*-algebras of graphs with sinks

Mark Tomforde|ArXiv.org|2001. 03. 08.

Advanced Operator Algebra Research참고 문헌 8인용 수 5

한 줄 요약

이 논문은 유한 방향 그래프 $G$의 1-소로의 확장과 $\operatorname{Ext}(C^*(G))$의 원소 사이의 대응을 수립하며, 하나의 소를 가진 그래프의 $C^*$-대수 $C^*(G)$-삽입 가능성이 그에 대응하는 Ext 클래스가 동일할 때이고 그때에만 성립함을 보여준다. 주요 결과는 $G$의 모든 순환에 대해 출구가 존재하는 조건 하에, 소를 가진 그래프 $C^*$-대수의 분류 정리들을 일반화한다.

ABSTRACT

We consider directed graphs E which have been obtained by adding a sink to a fixed graph G. We associate an element of Ext(C*(G)) to each such E, and show that the classes of two such graphs are equal in Ext(C*(G)) if and only if the associated C*-algebra of one can be embedded as a full corner in the C*-algebra of the other in a particular way. If every loop in G has an exit, then we are able to use this result to generalize some of the classification theorems of Raeburn, Tomforde, and Williams for C*-algebras of graphs with sinks.

연구 동기 및 목표

• 이전의 Cuntz-Krieger 및 그래프 대수 프레임워크에서 제외된 소를 포함하는 방향 그래프에서 유래하는 $C^*$-대수의 구조를 이해하기 위해.
• 모든 순환에 대해 출구가 존재하는 조건 하에, 소를 가진 그래프의 $C^*$-대수에 대한 분류 정리를 일반화하기 위해 Ext 군과 연결하기 위해.
• 한 소를 가진 그래프의 $C^*$-대수가 다른 그래프의 $C^*$-대수로 $C^*(G)$-삽입 가능할 조건을 그래프 이론적 기준으로 제시하기 위해.
• 경계 정점, 경로 및 Wojciech 벡터가 Ext 클래스와 삽입 관계를 결정하는 데 어떻게 기여하는지 분석하기 위해.

제안 방법

• Wojciech 벡터와 경로 구조를 이용해 그래프 $G$의 각 1-소 확장 $E$를 $\operatorname{Ext}(C^*(G))$의 원소로 대응시킨다.
• 유한 정점 집합 $F$와 $F$에 제한된 인접행렬 $A_F$에 대해, $A_F - I$의 코어널에서 벡터 $\omega_E^1 + Xn_E$의 이미지를 통해 $E$의 Ext 클래스를 정의한다.
• 최대 尾 집합의 구조와 소에서 도달 가능한 정점의 성질을 이용해, 관련 호모로지 데이터를 결정하는 집합 $H$와 $F^0$을 정의한다.
• 두 확장의 Ext 클래스가 동일한지를 판단하기 위해, 벡터 쌍에 대한 CK-등가 관계를 적용한다.
• 두 Ext 클래스가 동일한지 여부를 확인하는 것으로 $C^*(E_1)$에서 $C^*(E_2)$로의 삽입 문제를 환원하며, 이는 $\operatorname{coker}(A_F - I)$에서 $[\omega_{E_1}^1 + Xn_{E_1}] = [\omega_{E_2}^1 + Xn_{E_2}]$ 조건을 통해 이루어진다.
• 선형 대수를 활용해 방정식계의 해가 존재하는지 테스트함으로써, 클래스 동치성을 판단한다.

실험 결과

연구 질문

• RQ1 그래프 $G$의 1-소 확장의 $C^*$-대수 $C^*(G)$-삽입을 통해 다른 $C^*$-대수의 전면 모서리로 삽입 가능할 조건은 무엇인가?
• RQ2 집합 $H$에서 도달 가능한 정점들에서의 Wojciech 벡터와 경계 간선 수는 소를 가진 그래프의 Ext 클래스에 어떻게 영향을 미치는가?
• RQ3 두 1-소 확장 $E_1$과 $E_2$가 $\operatorname{Ext}(C^*(G))$에서 동일한 클래스를 갖는 정확한 조건은 무엇인가?
• RQ4 $F^0$에서 $H$의 경계 정점으로의 경로 존재 여부는 확장된 그래프의 $C^*$-대수 간 삽입 관계에 어떻게 영향을 미치는가?
• RQ5 Ext 클래스 동치 조건이 자동으로 만족되는 경우는 언제이며, 이는 완전히 불필요한 확장과 어떻게 관련되는가?

주요 결과

• 그래프 $G$의 두 1-소 확장 $E_1$과 $E_2$가 $C^*(G)$-삽입에 의해 $C^*$-대수가 서로 동형이 되는 것은 그들이 $\operatorname{Ext}(C^*(G))$에서 동일한 Ext 클래스를 갖는 것과 동치이다.
• 1-소 확장의 Ext 클래스는 유한 정점 집합 $F$와 $F$에 제한된 인접행렬 $A_F$에 대해, $\omega_E^1 + Xn_E$가 $\operatorname{im}(A_F - I)$에 모odulo된 것으로 결정된다.
• 모든 순환에 대해 출구가 존재하는 조건 하에, Ext 클래스 조건은 $C^*(E_1)$과 $C^*(E_2)$ 사이의 $C^*(G)$-삽입 존재성을 완전히 특징짓는다. 이는 기존의 분류 정리들을 일반화한다.
• 모든 $G$의 정점이 소에 도달하지 못하는 완전히 불필요한 확장의 경우, Ext 클래스 조건은 자동으로 만족되며, 한 $C^*$-대수에서 다른 $C^*$-대수로의 $C^*(G)$-삽입이 항상 가능하다.
• 집합 $H$의 대응 경계 정점들이 $F^0$에서 도달 가능하지 않은 경우, $\omega_E^2$의 값은 Ext 클래스에 영향을 주지 않으며, 따라서 삽입 조건에 영향을 주는 것은 도달 가능한 경계 간선들뿐이다.
• 비유한 선형 그래프 $G$의 예시에서, 모든 본질적인 1-소 확장은 동일한 Ext 클래스를 가지며, 이는 $A_G - I$가 전사이기 때문이다. 따라서 삽입이 가능할 조건은 두 확장 모두 본질적이거나 모두 완전히 불필요한 경우에 한해 성립한다.