[논문 리뷰] Periodic higher rank graphs revisited

Dilian Yang|arXiv (Cornell University)|2014. 03. 26.

Graph theory and applications참고 문헌 13인용 수 3

한 줄 요약

이 논문은 유한 생성된 취소 가능 아벨 모노이드 P에 대해, P-그래프의 피어리odic성 분석을 위한 체계적 프레임워크를 도입한다. 여기서 P는 피어리odic성의 성질을 갖는 P-그래프 Λ가 그의 비피어리odic성 푸시아웃 Λ/∼의 풀백과 동형임을 증명하며, C*-대수 C*(Λ)가 푸시아웃의 C*-대수와 C*(PerΛ)의 텐서곱에 통합됨을 보이고, 이로 인해 사이클린 부분대수 M이 최대 아벨 부분대수(MASA)임을 밝혀낸다.

ABSTRACT

Let $P$ be a finitely generated cancellative abelian monoid. A $P$-graph $Λ$ is a natural generalization of a higher rank graph. A pullback of $Λ$ is constructed by pulling it back over a given monoid morphism to $P$, while a pushout of $Λ$ is obtained by modding out its periodicity $\PerΛ$, which is deduced from a natural equivalence relation on $Λ$. One of our main results in this paper shows that, for a class of higher rank graphs $Λ$, $Λ$ is isomorphic to the pullback of its pushout via a natural quotient map, and that its graph C*-algebra can be embedded into the tensor product of the graph C*-algebra of its pushout and $\ca(\PerΛ)$. As a consequence, its cycline C*-algebra generated by the standard generators with equivalent pairs is an abelian core (particularly a MASA). Along the way, we give an in-depth study on periodicity of $P$-graphs.

연구 동기 및 목표

• P-그래프의 주기성 분석을 위한 일반적 프레임워크를 개발함으로써, k-그래프와 고차원 그래프를 일반화한다.
• 주기성을 제거하여 얻는 비주기성 몫 그래프로 P-그래프의 푸시아웃을 정의하고 연구한다.
• 원래 P-그래프가 그의 푸시아웃의 풀백과 동형임을 증명함으로써 주기적 및 비주기적 구조 간의 연결 고리를 확립한다.
• 고차원 그래프의 사이클린 C*-부분대수 M이 그의 C*-대수에서 최대 아벨 부분대수(MASA)임을 증명하며, [2]에서 제기된 질문을 해결한다.
• 사이클린 부분대수 M이 표준 대각선 대수와 C*(PerΛ)의 텐서곱과 동형임을 보이고, 충실한 조건부 기대를 갖는다.

제안 방법

• 모노이드 준동형 f:P→Q를 통해 Q-그래프 Γ의 풀백 f*Γ를 구성함으로써, [3]의 풀백 구성법을 일반화한다.
• 같은 시작 및 끝 차수를 갖는 경로들 간의 동치관계 ∼를 P-그래프 Λ에 정의하고, PerΛ를 동치 경로의 차이로 생성되는 군으로 정의한다.
• P의 몫사상 q에 의한 이미지에 기반하여, Λ/∼를 q(P)-그래프로 하는 몰입 그래프로 푸시아웃 Λ/∼를 구성한다.
• 요구 조건 하에서 요약된 그래프 Λ/∼가 비주기적임을 증명하기 위해 요약 인수와 차수 비교를 사용한다.
• 원래 그래프가 그의 푸시아웃의 풀백임을 보여주는 동형사상 Λ ≅ q*(Λ/∼)를 확립한다.
• 통합 정리를 활용하여 C*(Λ)가 C*(Λ/∼) ⊗ C*(PerΛ)에 통합됨을 보이고, 사이클린 부분대수 M의 구조를 유용하게 활용한다.

실험 결과

연구 질문

• RQ1 주기적 P-그래프의 구조는 그의 푸시아웃을 풀백을 통해 재구성할 수 있는가?
• RQ2 P-그래프의 푸시아웃이 비주기적일 조건은 무엇인가?
• RQ3 고차원 그래프의 사이클린 부분대수 M은 그 C*-대수에서 최대 아벨 부분대수(MASA)인가?
• RQ4 주기적 P-그래프의 C*-대수는 그의 푸시아웃의 C*-대수와 C*(PerΛ)의 텐서곱에 통합될 수 있는가?
• RQ5 표준 대각선과 주기적 유니터리에 기반해 사이클린 부분대수 M의 정확한 구조는 무엇인가?

주요 결과

• 원래 P-그래프 Λ는 그의 푸시아웃 Λ/∼의 풀백과 동형임을 보여주며, 즉 Λ ≅ q*(Λ/∼)이다. 이는 주기적 및 비주기적 구조 간의 이중성 관계를 확립한다.
• 그래프 C*-대수 C*(Λ)는 텐서곱 C*(Λ/∼) ⊗ C*(PerΛ)에 통합되며, 일반적으로 이 통합은 최적이다.
• 동치 경로 쌍으로 생성되는 사이클린 부분대수 M은 D_Λ ⊗ C*(PerΛ)와 동형이며, 여기서 D_Λ는 표준 대각선 대수이다.
• 사이클린 부분대수 M은 C*(Λ)의 최대 아벨 부분대수(MASA)이며, C*(Λ)에서 M로의 충실한 조건부 기대가 존재한다.
• C*(Λ)에서 대각선 대수 D_Λ의 중심화자는 정확히 M이며, 이는 M이 C*(Λ)의 아벨 코어임을 확인한다.
• Λ가 유한하고 공끝이면, C*(Λ/∼)는 단순하며 C*(Λ)의 중심은 C*(W_h : h ∈ PerΛ)이다. 이는 기존의 단순성 및 중심에 관한 결과를 일반화한다.