[논문 리뷰] The noncommutative geometry of the discrete Heisenberg group

Tom Hadfield|ArXiv.org|2002. 01. 10.

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

한 줄 요약

이 논문은 비가환 기하학적 구조를 갖는 이산 하이젠베르크 군의 C*-대수에 대해 K-호모로지, 순환 코hom로지, 그리고 미분을 이용하여 연구한다. K-호모로지 군은 $\mathbb{Z}^3$로 계산되며, 생성하는 프리드홀름 모듈러스가 제시되고, 군환의 순환 코호모로지가 0–2차에서 $\Pi_{\mathbb{Z}} \mathbb{C}$, $n \geq 3$일 때 $\mathbb{C}^3$로 결정되어, 이 비가환 다양체 예제에 대해 완전한 코호모로지적 구조를 제공한다.

ABSTRACT

Motivated by the search for new examples of ``noncommutative manifolds'', we study the noncommutative geometry (in the sense of Connes) of the group C*-algebra of the three dimensional discrete Heisenberg group. We present a unified treatment of the K-homology, cyclic cohomology and derivations of this algebra.

연구 동기 및 목표

• 이산 하이젠베르크 군 $H_3$의 군 C*-대수에 대해 K-호모로지, 순환 코호모로지, 그리고 미분을 통합적으로 다루는 것.
• C^*(H_3)의 K-호모로지 군을 계산하고 생성하는 프리드홀름 모듈러스를 제시하는 것.
• 버흐레아스의 정리와 스펙트럴 시퀀스를 이용하여 군환 $\mathbb{C}H_3$의 순환 코호모로지를 결정하는 것.
• Pimsner-Voiculescu의 여섯 항 연속 시퀀스에 따른 이러한 불변량의 행동을 분석하는 것.
• 부드러운 부분대수 $A^\infty \subset C^*(H_3)$로 결과를 확장하여, Nest의 부드러운 와핑곱 이론을 통해 그 순환 코호모로지를 계산하는 것.

제안 방법

• C^*(H_3) \cong C(\mathbb{T}^2) \times_\alpha \mathbb{Z}$의 와핑곱에 대한 K-이론과 K-호모로지를 계산하기 위해 Pimsner-Voiculescu의 여섯 항 연속 시퀀스를 사용한다.
• 군 코호모로지 $H^n(H_3; \mathbb{C})$를 계산하기 위해 Hochschild-Serre 스펙트럴 시퀀스를 적용하며, 이는 순환 코호모로지 계산의 기초가 된다.
• 군 원소의 공轭류와 정규화군을 분석하여, Burgheleas의 정리를 이용해 $\mathbb{C}H_3$의 순환 코호모로지를 계산한다.
• H_3가 중심 확장 $0 \to \mathbb{Z} \to H_3 \to \mathbb{Z}^2 \to 0$임을 이용해 코호모로지 불변량을 분해한다.
• Nest의 부드러운 와핑곱 이론을 적용하여, $C^*(H_3)$의 밀도 있는 $*$-부분대수 $A^\infty \subset C^*(H_3)$의 순환 코호모로지를 계산한다.
• $\mathbb{C}H_3$와 $A^\infty$ 위의 미분을 분석하여 비가환 공간 위의 미분 구조를 이해한다.

실험 결과

연구 질문

• RQ1 C^*(H_3)의 군 C*-대수의 K-호모로지 구조는 무엇이며, 이를 생성하는 명시적인 프리드홀름 모듈러스는 무엇인가?
• RQ2 $\mathbb{C}H_3$의 순환 코호모로지는 어떻게 분해되며, 군의 공轭류와 정규화군과의 관계는 무엇인가?
• RQ3 $A^\infty \subset C^*(H_3)$의 부드러운 부분대수의 순환 코호모로지는 무엇이며, 군환의 코호모로지와 비교해보면 어떻게 되는가?
• RQ4 C^*(H_3)의 K-이론과 K-호모로지 군은 Pimsner-Voiculescu의 여섯 항 연속 시퀀스에서 어떻게 행동하는가?
• RQ5 중심 확장 $0 \to \mathbb{Z} \to H_3 \to \mathbb{Z}^2 \to 0$은 $H_3$의 코호모로지 불변량을 결정하는 데 어떤 역할을 하는가?

주요 결과

• K-호모로지 군 $KK^i(C^*(H_3), \mathbb{C})$는 $i = 0,1$일 때 $\mathbb{Z}^3$과 동형이며, $C^*(H_3)$ 위의 행렬 대수에서의 프로젝션과 유니터리에 의해 명시적으로 생성된다.
• $\mathbb{C}H_3$의 군환의 순환 코호모로지는 $n = 0,1,2$일 때 $\Pi_{\mathbb{Z}} \mathbb{C}$이며, $n \geq 3$일 때 $\mathbb{C}^3$로 계산되며, Hochschild-Serre 스펙트럴 시퀀스와 공轭류 분석을 통해 도출되었다.
• $\mathbb{C}H_3$의 주기적 순환 코호모로지는 짝수 차수와 홀수 차수 모두에서 $\mathbb{C}^3$과 동형이며, 이는 유한 차원의 비가환 de Rham 코호모로지를 나타낸다.
• $A^\infty$의 순환 코호모로지는 모든 $n \geq 2$에서 $\mathbb{C}^3$이며, 고차수에서 군환의 코호모로지와 일관된다.
• $H^n(H_3; \mathbb{C})$의 군 코호모로지는 차수 0에서 $\mathbb{C}$, 차수 1과 2에서 $\mathbb{C}^2$, 차수 3에서 $\mathbb{C}$이며, $n > 3$일 때는 0이다. 이는 자명한 작용을 가진 Hochschild-Serre 스펙트럴 시퀀스를 통해 계산되었다.
• Pimsner-Voiculescu 시퀀스의 K-이론에 대한 경계 사상은 명시적으로 계산되었으며, $\delta_0[P_a] = 0$, $\delta_0[P_b] = [W]$, $\delta_1[V] = [1]$로 확인되어 여섯 항 연속 시퀀스의 구조가 확인되었다.