[논문 리뷰] Fredholm modules over certain group C*-algebras

Tom Hadfield|arXiv (Cornell University)|2001. 01. 23.

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

한 줄 요약

이 논문은 K-호모로지와 순환 코hom로, 무한 이면체군 ℤ ⋊σ ℤ₂ 및 준직접곱 ℤ ⋊σ ℤ의 군 C*-대수 위에서 프레드홀름 모듈러스를 구성하고 분류한다. K-호모로지 군의 명시적 생성자를 특정하고, 카른 특성 쌍대성에 의해 그 비자명성을 증명하며, KK⁰(B, ℂ) ≅ ℤ ⊕ ℤ₂ 및 KK¹(B, ℂ) ≅ ℤ임을 확립하여 스펙트럴 트리플을 통한 비가환 기하학의 새로운 예를 제시한다.

ABSTRACT

Motivated by the search for new examples of "noncommutative manifolds", we study the noncommutative geometry of the group C*-algebras of various discrete groups. The examples we consier are the infinite dihedral group ${\bf Z} imes_σ {\bf Z}_2$ and the semidirect product ${\bf Z} imes_σ {\bf Z}$. We present a unified treatment of the K-homology and cyclic cohomology of these algebras.

연구 동기 및 목표

• 이산군의 C*-대수, 특히 무한 이면체군과 준직접곱 군의 비가환 기하학의 프레임워크를 확장한다.
• 이 대수들에 대한 K-호모로지 군의 생성자로 프레드홀름 모듈러스를 식별하고 분류한다.
• K-이론 생성자와의 카른 특성 쌍대성에 의해 이러한 프레드홀름 모듈러스의 비자명성과 선형 독립성을 입증한다.
• 군 C*-대수로부터 스펙트럴 트리플과 비가환 기하학을 구성하는 데 기초를 마련한다.

제안 방법

• 준직접곱 ℤ ⋊σ ℤ에 관련된 C*-대수 B의 K-이론과 K-호모로지 계산을 위해 Pimsner-Voiculescu 정확수열을 사용한다.
• 일반화된 계수 정리와 쌍대성을 적용하여 K-이론 계산 결과로부터 K-호모로지 군을 유도한다.
• 특정한 *-호모모르피즘을 통해 ℂ로의 전사와 원환면의 K-호모로지에서 유도된 경계 사상으로부터 명시적 프레드홀름 모듈러스를 구성한다.
• 호모토피 기법을 활용하여 원환면 위에서 유도된 일부 프레드홀름 모듈러스의 자명성을 보이고, 다른 것들의 비자명성을 증명한다.
• 카른 특성 쌍대성을 계산하여 프레드홀름 모듈러스 생성자의 비토르션성과 선형 독립성을 확인한다.
• 군환의 순환 코호모로지에 관한 Burghelea의 결과와 0-코호모로지의 직접 계산을 통해 주기적인 짝수 순환 코호모로지를 분석한다.

실험 결과

연구 질문

• RQ1 무한 이면체군 ℤ ⋊σ ℤ₂ 및 준직접곱 ℤ ⋊σ ℤ의 군 C*-대수의 K-호모로지 군은 무엇인가?
• RQ2 이 C*-대수 위에서 프레드홀름 모듈러스를 명시적으로 구성할 수 있으며, 비자명하고 선형 독립적인가?
• RQ3 K-이론 생성자와의 카른 특성 쌍대성은 프레드홀름 모듈러스의 비자명성을 어떻게 확인하는가?
• RQ4 이 프레드홀름 모듈러스는 얼마나 많은 비가환 기하학적 구조를 갖춘 스펙트럴 트리플로 올라갈 수 있는가?
• RQ5 비충실 표현은 어떻게 낮은 차원의 비가환 기하학을 생성하는가?

주요 결과

• C*-대수 B의 K-이론은 K₀(B) ≅ ℤ이며, [1]에 의해 생성되며, K₁(B) ≅ ℤ ⊕ ℤ₂이며, [V]와 [U]에 의해 생성되며, [U] + [U] = 0이다.
• K-호모로지 군 KK⁰(B, ℂ)은 ℤ ⊕ ℤ₂와 동형이며, 표준 프레드홀름 모듈러스 w₀와 경계류 ∂₁(z₁)에 의해 생성되며, ∂₁(z₁) + ∂₁(z₁) = 0이다.
• K-호모로지 군 KK¹(B, ℂ)은 ℤ와 동형이며, 경계 사상 ∂₀(z₀)로부터 유도된 프레드홀름 모듈러스 w₁에 의해 생성된다.
• 카른 특성 쌍대성은 <ch*(w₀), [1]> = 1 및 <ch*(w₁), [V]> = 1을 만족하며, w₀와 w₁이 비자명하고 비토르션 생성자임을 확인한다.
• 유도된 프레드홀름 모듈러스 i*(∂₁(z₁))는 열린 모듈러스와 호모토피적이다. 이는 K-호모로지에서 자명함을 증명하며, K-호모로지 군의 구조를 확인한다.
• 구성된 프레드홀름 모듈러스는 비충실 표현이며, 이는 대수의 차원보다 낮은 차원의 비가환 기하학과 대응함을 시사한다.