[논문 리뷰] Computing Ext for graph algebras

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

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

한 줄 요약

이 논문은 각도가 유한하고 소스가 없는 그래프 C*-대수의 Ext 군과 행렬 $A_G - I$의 코어널러 사이의 동형사상 수립한다. 여기서 $A_G$는 그래프의 정점 행렬이다. 이 동형사상은 1-소스 확장을 나타내는 원소를 소스의 부착 방식을 묘사하는 벡터로 명시적으로 매핑하며, 이는 그래프 이론적 자료를 통해 Ext 군의 원소를 계산할 수 있게 한다. 주요 기여는 그래프 대수의 Ext를 계산하는 구축 가능한 방법을 제시하고, 이로 인해 모든 전이적, 각도가 유한하고 소스가 없는 그래프 C*-대수들이 준프로젝티브가 아니라는 반례를 도출한다.

ABSTRACT

For a row-finite graph G with no sinks and in which every loop has an exit, we construct an isomorphism between Ext(C*(G)) and coker(A-I), where A is the vertex matrix of G. If c is the class in Ext(C*(G)) associated to a graph obtained by attaching a sink to G, then this isomorphism maps c to the class of a vector which describes how the sink was added. We conclude with an application in which we use this isomorphism to produce an example of a row-finite transitive graph with no sinks whose associated C*-algebra is not semiprojective.

연구 동기 및 목표

• Cuntz와 Krieger가 Cuntz-Krieger 대수의 Ext를 계산한 것을 더 넓은 범위의 그래프 C*-대수로 확장하기 위해.
• 각도가 유한하고 소스가 없으며, 모든 고리에 출구가 있는 그래프에 대해 $\operatorname{Ext}(C^*(G))$와 $\operatorname{coker}(A_G - I)$ 사이의 구체적인 동형사상을 수립하기 위해.
• 이 동형사상 아래에서 1-소스 확장의 클래스의 상에 대한 계산 가능한 공식을 제공하기 위해.
• 이 동형사상을 활용하여 전이적, 각도가 유한하고 소스가 없는 그래프 C*-대수들이 준프로젝티브가 아님을 보여주는 반례를 구성하기 위해.

제안 방법

• 각도가 유한하고 소스가 없으며, 모든 고리에 출구가 있는 그래프 $G$의 정점 행렬 $A_G$를 정의한다.
• 확장의 구조와 그래프 이론적 자료를 이용하여 $\omega: \operatorname{Ext}(C^*(G)) \to \operatorname{coker}(A_G - I)$의 명시적 동형사상을 구성한다.
• 1-소스 확장의 상을 소스의 부착 방식을 묘사하는 벡터의 동치류, 특히 Wojciech 벡터로 특성화한다.
• 이 동형사상을 사용하여 $C^*(G)$의 준프로젝티비티를 분석하기 위해 특정 확장이 분할되는지 여부를 검토한다.
• 그래프 대수의 보편 성질을 적용하여 그래프의 사상에 의해 유도된 그래프 대수 간의 준동형사상을 올리기 위해 사용한다.
• 확장이 비분할이어야 한다는 모순을 도출하기 위해 $C^*(G)$가 준프로젝티브라고 가정하는 것으로, 이는 $\operatorname{coker}(A_G - I)$에서 Wojciech 벡터의 비자명성과 모순된다.

실험 결과

연구 질문

• RQ1 그래프 C*-대수의 Ext 군은 기저가 되는 그래프의 조합적 자료를 통해 계산할 수 있는가?
• RQ2 1-소스 확장의 클래스 $\operatorname{Ext}(C^*(G))$는 $\operatorname{coker}(A_G - I)$의 어떤 벡터와 대응하는가?
• RQ3 그래프 대수의 준프로젝티비티를 특성화하는 그래프 이론적 조건은 무엇인가?
• RQ4 동형사상 $\omega: \operatorname{Ext}(C^*(G)) \to \operatorname{coker}(A_G - I)$를 사용하여 준프로젝티비티에 대한 반례를 구성할 수 있는가?
• RQ5 어떤 조건을 만족하면 Wojciech 벡터가 $A_G - I$의 상에 있지 않을까?

주요 결과

• $A_G - I$의 코어널러와 동형인 $\operatorname{Ext}(C^*(G))$는 각도가 유한하고 소스가 없으며, 모든 고리에 출구가 있는 임의의 그래프 $G$에 대해 성립한다.
• 동형사상 $\omega$는 1-소스 확장의 클래스를 소스의 부착을 묘사하는 벡터의 동치류, 특히 Wojciech 벡터로 매핑한다.
• 1-소스 확장과 관련된 확장은 $\operatorname{Ext}(C^*(G))$에서 자명하다. 이는 Wojciech 벡터가 $A_G - I$의 상에 있을 때에만 성립한다.
• 논문은 특정 1-소스 확장이 비분할임을 보여줌으로써, 각도가 유한하고 전이적이며 소스가 없는 그래프 $G$를 구성하여 그 $C^*$-대수가 준프로젝티브가 아니라고 보여준다.
• 확장 $E_{n+1}$의 Wojciech 벡터 $\delta_{w_{n+1}}$는 $A_G - I$의 상에 있지 않다. 왜냐하면 $\operatorname{im}(A_G - I)$의 모든 성분이 짝수이기 때문이다. 따라서 $[\delta_{w_{n+1}}] \neq 0$ 이다. $\operatorname{coker}(A_G - I)$에서의 이 비자명성은 확장이 분할되지 않음을 의미하며, 이는 준프로젝티비티에 모순된다. 따라서 $C^*(G)$는 준프로젝티브가 아님을 증명한다.