양자 헤이젠베르크 다양체의 K이론과 순환동형론 쌍

초록

본 논문에서는 Rieffel가 제시한 양자 헤이젠베르크 다양체(QHM)의 C*‑대수에 대해 K‑이론과 순환공동동형론 사이의 쌍을 명시적으로 계산한다. 이를 통해 QHM의 주기적 순환 동형론과 동류론을 완전히 규정하고, K‑이론 원소들의 체르니 클래스가 주기적 순환 동류론의 기저를 형성함을 보인다. 또한, 기존 연구와 결합하여 QHM의 주기적 순환 동형론·동류론의 명시적 기저를 제시한다.

상세 분석

양자 헤이젠베르크 다양체(QHM)는 Heisenberg 군의 작용을 기반으로 한 3차원 비가환 공간으로, Rieffel가 1989년에 제시한 strict deformation quantization을 통해 C*‑대수 A_{μ,ν}^{c} 로 구현된다. 이 대수는 두 정수 매개변수 c와 실수 매개변수 μ, ν(μν≠0)을 갖으며, 비가환 토러스와 유사한 구조를 지니면서도 비자명한 K‑이론을 가진다. 저자들은 먼저 QHM의 K₀와 K₁을 기존 결과(K₀≅ℤ³, K₁≅ℤ³)를 재확인하고, 이를 바탕으로 6개의 기본 K‑이론 원소를 선택한다. 그 다음, Connes의 순환 공동동형론 HCⁿ(A)와 주기적 순환 공동동형론 HPⁿ(A)를 이용해 차원 n=0,1,2,3에 대한 비평균적인 2‑형식 φ₁, φ₂, φ₃와 3‑형식 ψ₁, ψ₂, ψ₃을 구성한다. 이 형식들은 QHM의 비가환 미분 구조와 연결된 트레이스와 도함수의 조합으로 정의되며, 각각 Hochschild 및 cyclic 복합체에서 코사이클을 만족한다.

핵심은 K‑이론 원소와 위에서 정의한 순환 공동동형론 원소 사이의 쌍을 계산하는 것이다. 저자들은 Chern‑Connes 쌍(pairing) ⟨·,·⟩: K₀(A)×HP⁰(A)→ℂ 및 K₁(A)×HP¹(A)→ℂ 를 명시적으로 평가한다. 예를 들어, 기본 투영 p₁, p₂, p₃에 대해 ⟨