[논문 리뷰] On the K-theory of twisted higher-rank-graph C*-algebras

Alex Kumjian, David Pask외 1명|arXiv (Cornell University)|2012. 11. 07.

Advanced Operator Algebra Research참고 문헌 10인용 수 6

한 줄 요약

이 논문은 실수 계수 2-코호몰로지에 의해 정의된 높은 질서 그래프 C*-대수의 텅 빈 고리 대수와의 K-이론이 동형임을 증명한다. 이는 코호몰로지의 이중군 위에 연속적인 C*-_bundle를 구성하여 달성된다. 주요 결과는 실수 계수 코호몰로지의 지수함수를 통해 유도된 원주 값을 가진 코호몰로지에 대해 K-이론이 변화하지 않음을 보여주며, 이는 비가환 토러스에 대한 엘리엇의 계산을 높은 질서 그래프로 일반화한다.

ABSTRACT

We investigate the K-theory of twisted higher-rank-graph algebras by adapting parts of Elliott's computation of the K-theory of the rotation algebras. We show that each 2-cocycle on a higher-rank graph taking values in an abelian group determines a continuous bundle of twisted higher-rank graph algebras over the dual group. We use this to show that for a circle-valued 2-cocycle on a higher-rank graph obtained by exponentiating a real-valued cocycle, the K-theory of the twisted higher-rank graph algebra coincides with that of the untwisted one.

연구 동기 및 목표

• 연속적인 C*-bundle 구성 방법을 사용하여, 높은 질서 그래프 C*-대수의 텅 빈 K-이론을 계산한다.
• 비가환 토러스에 대한 엘리엇의 K-이론 계산을 높은 질서 그래프 C*-대수로 일반화한다.
• 실수 계수 코호몰로지의 지수함수를 통해 유도된 원주 값을 가진 2-코호몰로지에 의해 유도된 텅 빈 k-그래프 C*-대수의 K-이론이 텅 빈 대수와 동형임을 보인다.
• 다른 텅 빈 조건이 존재할 때도 K-이론이 동형이 되는 조건을 설정한다.

제안 방법

• 아벨 군 $ A $의 이중군 $ \widehat{A} $ 위에 C*-대수의 bundle $ C^*(\Lambda, A, c) $ 를 구성한다. 여기서 각 섬유는 $ \chi \in \widehat{A} $ 에 대해 텅 빈 k-그래프 C*-대수 $ C^*(\Lambda, \chi \circ c) $ 를 이룬다.
• 리에플의 방법을 응용하여 이 bundle 이 연속적임을 증명함으로써, K-이론 분석에 적합한 섹션 대수의 성질을 확보한다.
• 도메인 맵 $ \Lambda \times_d \mathbb{Z}^k $ 가 코 boundary 이면, $ C^*(\Lambda, \mathbb{R}, c_0) \cong C_0(\mathbb{R}) \otimes C^*(\Lambda) $ 임을 이용하여, 유한 구간으로 제한할 수 있음을 보인다.
• 제한된 대수 $ C^*(\Lambda, \mathbb{R}, c_0)|_{[0,1]} $ 를 $ C([0,1]) \otimes C^*(\Lambda \times_d \mathbb{Z}^k) $ 의 섬유를 유지하는 $ \mathbb{Z}^k $-작용에 의한 교차곱에 대한 전면 모서리로 포함시킨다.
• K-이론에서의 측정을 위해 $ k $ 에 대한 귀납법을 적용하여, 교차곱에서 각 섬유로의 몫 사상이 K-이론에서 동형임을 보인다.
• Künneth 공식의 자연성과 $ C^*(\Lambda) $ 가 $ C^*(\Lambda, e^{itc_0}) $ 에 포함될 때 K-이론에서 동형을 유도함으로써, $ K_*(C^*(\Lambda, e^{itc_0})) \cong K_*(C^*(\Lambda)) $ 를 유추한다.

실험 결과

연구 질문

• RQ1 실수 계수 2-코호몰로지로부터 유도된 지수함수를 통해 유도된 텅 빈 조건이 존재할 경우, 높은 질서 그래프 C*-대수의 K-이론은 텅 빈 조건에 따라 달라지는가?
• RQ2 연속적인 대수의 bundle을 사용하여 비가환 토러스에 대한 K-이론 계산을 높은 질서 그래프 C*-대수로 일반화할 수 있는가?
• RQ3 어떤 조건에서 텅 빈 k-그래프 C*-대수의 K-이론이 텅 빈 대수와 동형이 되는가?
• RQ4 어떤 조건에서 텅 빈 k-그래프 C*-대수가 카이르쿠르그 대수이며, 다양한 텅 빈 조건에서 동형이 되는가?

주요 결과

• 모든 실수 계수 2-코호몰로지 $ c_0 $ 에 대해, 텅 빈 대수 $ C^*(\Lambda, e^{itc_0}) $ 의 K-이론은 텅 빈 대수 $ C^*(\Lambda) $ 와 동형이며, 모든 $ t \in \mathbb{R} $ 에 대해 $ K_*(C^*(\Lambda, e^{itc_0})) \cong K_*(C^*(\Lambda)) $ 이다.
• 이중군 $ \widehat{A} $ 위에 연속적인 $ C_0(\widehat{A}) $-대수의 bundle을 구성함으로써, 각 문자 $ \chi \in \widehat{A} $ 에서의 섬유가 $ C^*(\Lambda, \chi \circ c) $ 가 되며, 이는 다양한 텅 빈 조건 간의 K-이론 비교를 가능하게 한다.
• 만약 $ A = \mathbb{R} $ 이면, 제한된 대수 $ C^*(\Lambda, \mathbb{R}, c_0)|_{[0,1]} $ 는 $ C([0,1]) \otimes C^*(\Lambda) $ 와 동형이 되며, 따라서 모든 섬유가 동형 K-이론 사상을 유도한다.
• 만약 $ \Lambda $ 가 비주기적이고, 코프라일, 행렬이 유한하며, 출구가 없고, 모든 정점가 하나의 일반화된 사이클(entrance가 있는)으로부터 도달 가능한 경우, 모든 $ t \in \mathbb{R} $ 에 대해 $ C^*(\Lambda, \omega_t \circ c) $ 는 K-이론이 동형인 카이르쿠르그 대수이다.
• 헤가드 유형 양자 구면 $ C(S^3_{00\theta}) $ 의 K-이론은 $ K_0 $ 와 $ K_1 $ 모두에서 $ \mathbb{Z} \oplus \mathbb{Z} $ 를 가지며, 기존의 결과와 일치한다.
• 제시된 조건 하에서, $ C^*(\Lambda, \omega_t \circ c) \cong C^*(\Lambda) $ 는 모든 $ t \in \mathbb{R} $ 에 대해 성립한다. 이는 K-이론이 일치하고 카이르쿠르그-필립스 분류 정리에 의해 유도된다.