[논문 리뷰] Higher-rank graph algebras are iterated Cuntz-Pimsner algebras

James E. Fletcher|arXiv (Cornell University)|2017. 11. 06.

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

한 줄 요약

이 논문은 유한으로 정렬된 고차원 그래프 Λ에 대해, Toeplitz–Cuntz–Krieger 대수와 Cuntz–Krieger 대수를 각각 $ C_0(\Lambda^0) $ 위에서의 반복적 Toeplitz 및 Cuntz–Pimsner 대수로 구성할 수 있음을 보여준다. 이는 각 랭크-1 방향의 간선을 순차적으로 제거함으로써 이루어진다. 주요 기여는 이전 결과를 행렬 유한성 또는 근원이 없는 조건 없이 국소적으로 볼록한, 유한으로 정렬된 k-그래프로 일반화한 체계적인 반복적 실현이다.

ABSTRACT

Given a finitely aligned $k$-graph $Λ$, we let $Λ^i$ denote the $(k-1)$-graph formed by removing all edges of degree $e_i$ from $Λ$. We show that the Toeplitz-Cuntz-Krieger algebra of $Λ$, denoted by $\mathcal{T}C^*(Λ)$, may be realised as the Toeplitz algebra of a Hilbert $\mathcal{T}C^*(Λ^i)$-bimodule. When $Λ$ is locally-convex, we show that the Cuntz-Krieger algebra of $Λ$, which we denote by $C^*(Λ)$, may be realised as the Cuntz-Pimsner algebra of a Hilbert $C^*(Λ^i)$-bimodule. Consequently, $\mathcal{T}C^*(Λ)$ and $C^*(Λ)$ may be viewed as iterated Toeplitz and iterated Cuntz-Pimsner algebras over $c_0(Λ^0)$ respectively.

연구 동기 및 목표

• 논문은 행렬 유한성과 근원이 없는 경우를 초월하여 고차원 그래프 C*-대수의 반복적 Cuntz–Pimsner 대수로의 일반화된 구성 방법을 제안한다.
• 이전의 제품 시스템을 사용하는 방법보다 더 단순하고 투명한 구성 방법을 제공하고자 한다.
• 이를 통해 K-이론 계산 기법을 고차원 그래프 대수로 확장하고자 한다. 이를 위해 대수들을 반복적 Cuntz–Pimsner 대수로 실현하고자 한다.
• Toeplitz 대수와 $ C_0(\Lambda^0) $ 사이의 KK-동치성을 확립함으로써 이전 결과를 일반화하고자 한다.
• 특히 Deaconu의 프레임워크와 Pimsner–Voiculescu의 프레임워크와 관련하여 반복적 구성에서 가정 조건의 역할을 명확히 하고자 한다.

제안 방법

• 구성은 k-그래프 $ \Lambda $ 에서 각도 $ e_i $ 의 모든 간선을 제거하여 얻는 (k−1)-그래프 $ \Lambda_i $ 를 정의한다.
• Toeplitz–Cuntz–Krieger 대수 $ T^*C(\Lambda) $ 는 Hilbert $ T^*C(\Lambda_i) $-양변구조의 Toeplitz 대수로 실현된다.
• 국소적으로 볼록한 $ \Lambda $ 에 대해, Cuntz–Krieger 대수 $ C^* (\Lambda) $ 는 Hilbert $ C^* (\Lambda_i) $-양변구조의 Cuntz–Pimsner 대수로 실현된다.
• 반복적 과정은 한 방향씩 제거하여 그래프를 단계적으로 0-그래프(단지 정점)로 줄이며, 이에 대응하는 대수는 $ C_0(\Lambda^0) $ 이다.
• 이 방법은 각도 $ e_i $ 의 경로들로 이루어진 공간에 Hilbert 양변구조를 구성하며, 그래프의 구조와 호환되는 내적과 모듈로 작용을 포함한다.
• 증명은 게이지 불변 이상리론과 스펙트럴 시퀀스 기법을 사용하여 대수적 구조와 K-이론적 결과를 검증한다.

실험 결과

연구 질문

• RQ1 유한으로 정렬된 k-그래프의 Toeplitz–Cuntz–Krieger 대수는 $ C_0(\Lambda^0) $ 위에서의 반복적 Toeplitz 대수로 실현될 수 있는가?
• RQ2 국소적으로 볼록하고 유한으로 정렬된 k-그래프의 Cuntz–Krieger 대수는 $ C_0(\Lambda^0) $ 위에서의 반복적 Cuntz–Pimsner 대수로 실현될 수 있는가?
• RQ3 이 반복적 구성은 이전 결과가 요구한 행렬 유한성과 근원이 없는 조건을 일반화하는가?
• RQ4 유한으로 정렬된 k-그래프의 Toeplitz–Cuntz–Krieger 대수의 K-이론은 무엇이며, $ C_0(\Lambda^0) $ 와 어떻게 관련되는가?
• RQ5 이 반복적 절차는 비유한성 또는 비충실적인 작용을 갖는 제품 시스템으로까지 확장될 수 있는가?

주요 결과

• 유한으로 정렬된 k-그래프 $ \Lambda $ 의 Toeplitz–Cuntz–Krieger 대수 $ T^*C(\Lambda) $ 는 $ C_0(\Lambda^0) $ 와 KK-동치이며, 이는 $ K_0(T^*C(\Lambda)) \cong \bigoplus_{v \in \Lambda^0} \mathbb{Z} $ 와 $ K_1(T^*C(\Lambda)) = 0 $ 을 의미한다.
• 국소적으로 볼록하고 유한으로 정렬된 k-그래프 $ \Lambda $ 의 Cuntz–Krieger 대수 $ C^* (\Lambda) $ 는 Hilbert $ C^* (\Lambda_i) $-양변구조의 Cuntz–Pimsner 대수와 동형이다.
• 이 구성은 $ T^*C(\Lambda) $ 와 $ C^* (\Lambda) $ 가 각각 $ C_0(\Lambda^0) $ 위에서의 반복적 Toeplitz 및 Cuntz–Pimsner 대수임을 보여주며, 각 방향 $ e_i $ 의 간선을 순차적으로 제거함으로써 이루어진다.
• 이전의 제품 시스템 기반 접근보다 더 단순하고 투명한 구성 방법을 제공하며, 특히 행렬 비유한성 또는 근원을 포함하는 그래프에 대해 유용하다.
• Kumjian–Pask–Sims의 $ C^* (\Lambda) $ 가 Cuntz–Pimsner 대수로 표현된 결과를 일반화하여, 행렬 유한성과 근원이 없는 조건을 국소적으로 볼록성으로 완화하였다.
• 논문은 그래프가 행렬 비유한성 또는 근원을 포함하더라도 반복적 구성이 여전히 유효함을 확인하여, 이러한 반복 실현의 적용 범위를 넓혔다.