[논문 리뷰] Higher rank graph C*-algebras

Alex Kumjian, David Pask|ArXiv.org|2000. 07. 05.

Advanced Operator Algebra Research참고 문헌 24인용 수 273

한 줄 요약

이 논문은 그래프 C*-대수의 일반화로서 고차수 그래프 C*-대수를 도입하며, 인수분해 및 Cuntz-Krieger 유형의 관계를 만족하는 부분등장사상으로 생성되는 유일성 C*-대수를 통해 정의한다. 주요 기여는 고차수 그래프 C*-대수와 그 연관된 경로 군집의 C*-대수 사이의 동형사상 수립으로, 이는 이 새로운 설정에서 단순성, 순수 무한성, 그리고 교차곱을 분석하는 데 군집 기법을 적용할 수 있게 한다.

ABSTRACT

Building on recent work of Robertson and Steger, we associate a C*-algebra to a combinatorial object which may be thought of as a higher rank graph. This C*-algebra is shown to be isomorphic to that of the associated path groupoid. Sufficient conditions on the higher rank graph are found for the associated C*-algebra to be simple, purely infinite and AF. Results concerning the structure of crossed products by certain natural actions of discrete groups are obtained; a technique for constructing rank 2 graphs from ``commuting'' rank 1 graphs is given.

연구 동기 및 목표

• 고차수 그래프를 N^k로의 도수 매핑을 갖는 조합적 범주 프레임워크를 사용하여 그래프 C*-대수의 일반화를 시도한다.
• 인수분해 및 Cuntz-Krieger 관계를 만족하는 부분등장사상으로 생성되는 고차수 그래프에 관련된 유일성 C*-대수를 정의한다.
• 고차수 그래프 C*-대수와 그 연관된 경로 군집의 C*-대수 사이의 동형사상을 수립한다.
• 비순환성과 게이지 작용을 이용하여 C*-대수가 단순, 순수 무한, 또는 AF임을 특성화한다.
• 서로 가환하는 1-그래프로부터 2-그래프를 구성하고, 비틀림 곱과 교차곱을 통해 그 C*-대수를 분석한다.

제안 방법

• 고차수 그래프를 작은 범주 Λ로 정의하며, 도수 매핑 d:Λ→N^k를 갖는다. 이는 방향 그래프를 일반화한다.
• Λ의 무한 경로 공간에서 경로 군집 G_Λ를 구성하며, 이는 방향 그래프의 경로 군집과 유사하다.
• 게이지 불변 유일성 정리를 증명하여, 게이지 작용에 대해 동변적이며 생성자에서 0이 아닌 값으로 매핑되는 C*(Λ)에서의 준동형사상이 단사임을 보장한다.
• Λ 내의 경로에 대한 비순환 조건을 사용하여 경로 군집이 본질적으로 자유임을 특성화함으로써, Cuntz-Krieger의 결과와 유사한 유일성 정리를 확보한다.
• 이산군 G에 대한 함자 c:Λ→G로부터 비틀림 곱 k-그래프 G×_cΛ를 구성하고, C*(Λ)⋊_α^cĜ와 C*(G×_cΛ) 사이의 동형사상을 보인다.
• 서로 가환하는 정점 행렬을 갖는 두 1-그래프 A와 B로부터, A¹×B¹→B¹×A¹의 전단사 사상 θ를 통해 인수분해 규칙을 정의함으로써 2-그래프 A*θB를 구성한다.

실험 결과

연구 질문

• RQ1 고차수 그래프의 C*-대수가 어떤 조건에서 단순한가?
• RQ2 고차수 그래프의 C*-대수가 어떤 조건에서 순수 무한한가?
• RQ3 게이지 불변 유일성 정리는 C*(Λ)와 C*(G_Λ) 사이의 동형사상을 증명하는 데 어떻게 적용될 수 있는가?
• RQ4 군 작용 하에서 고차수 그래프 C*-대수의 교차곱의 구조는 어떠한가? 그리고 이는 비틀림 곱 그래프와 어떻게 관련이 있는가?
• RQ5 서로 가환하는 두 1-그래프로부터 2-그래프를 어떻게 구성할 수 있으며, 그 C*-대수에는 어떤 함의가 있는가?

주요 결과

• 고차수 그래프 Λ에 관련된 C*-대수 C*(Λ)는 게이지 불변 유일성 정리를 통해 그 경로 군집의 C*-대수 C*(G_Λ)와 동형임을 보였다.
• T^k에서의 게이지 작용은 α_t(s_λ) = t^{d(λ)} s_λ로 정의되며, 이 작용에 의한 교차곱은 C*(Z^k ×_d Λ)와 동형이며, 이는 AF 대수이다.
• 고차수 그래프 Λ가 비순환적이라면, C*(Λ)는 단순하고 순수 무한하며, Cuntz-Krieger 대수의 경우와 유사한 조건을 일반화한다.
• 이산군 G가 k-그래프 Λ 위에 자유롭게 작용할 경우, 교차곱 C*(Λ)⋊G는 C*(Λ/G)⊗K(ℓ²(G))와 동형이며, 이는 그래프 C*-대수의 결과를 일반화한다.
• 두 1-그래프 A와 B가 정점 행렬이 가환하고, 전단사 사상 θ를 통해 결합될 경우, 결과적으로 얻어지는 2-그래프 A*θB의 C*-대수는 θ가 항등사상이면 C*(A)⊗C*(B)와 동형이지만, θ가 전치일 경우 다르게 된다 (예: O₂*θO₂ ≅ O₂⊗O₂ ≅ O₂ 이지만, O₂*ιO₂ ≅ O₂⊗C(T)).
• 가환하는 1-그래프로부터 2-그래프를 구성하는 방법은 보편적 모델을 제공한다: 모든 2-그래프는 어떤 A, B, θ에 대해 A*θB의 형태로 나타나며, 이는 동형사상에 대해 완전함을 보여준다.