[논문 리뷰] Twisted K-homology theory, twisted Ext-theory

Varghese Mathai, I. M. Singer|ArXiv.org|2000. 12. 06.

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

한 줄 요약

이 논문은 C*-대수적 비환원 기하학 내에서 3차류 H ∈ H³(X,ℤ)를 통해 번들 휠을 통한 고유한 K-호모로지와 고유한 Ext-이론 프레임워크를 개발한다. 고전적 K-호모로지와 Ext-이론을 일반화하여, 고유한 K-호모로지가 C₀(X,ℰₕ)의 고유한 K-이론과 동형임을 규명하며, 스피너ᶜ 다양체, 고유한 번들, X로의 연속 사상이 포함된 고유한 K-사이클을 통한 바움-다우글러 유형의 위상적 기술을 제공한다. 등가관계는 경계 이론, 직접 합, 고유한 번들 수정을 통해 정의된다.

ABSTRACT

These are notes on twisted K-homology theory and twisted Ext-theory from the C*-algebra viewpoint, part of a series of talks on ``C*-algebras, noncommutative geometry and K-theory'', primarily for physicists.

연구 동기 및 목표

• C*-대수학과 H-플럭스(H ∈ H³(X,ℤ)로 분류됨)를 이용하여 K-호모로지와 Ext-이론을 고유한 설정으로 확장하기.
• C₀(X,ℰₕ)의 K-이론으로서 고유한 K-호모로지의 C*-대수적 표현을 제공하며, 여기서 ℰₕ는 [H]를 딕스미에르-두아드 클래스로 갖는 컴팩트 연산자 번들의 것이다.
• 기존 바움-다우글러 모델을 고유한 경우로 일반화한 고유한 K-사이클을 통한 고유한 K-호모로지의 위상적 기술을 구축하기.
• 카스파로프의 KK-이론 프레임워크를 통해 고유한 Ext-군 Ext(C₀(X,ℰₕ), ℂ)가 고유한 K-이론 군 K₀(X,[H])와 동형임을 보이기.

제안 방법

• C₀(X,ℰₕ)의 C*-대수를 사용하여, 섬유 ℒ(ℋ)과 구조군 PU를 갖는 번들 ℰₕ의 무한에서 사라지는 연속 섹션으로 구성되며, [H] ∈ H³(X,ℤ)로 분류된다.
• Busby 불변량을 이용하여 C₀(X,ℰₕ)에 대한 ℳ의 확장을 분류함으로써 고유한 K-호모로지 정의.
• M이 컴acts한 스피너ᶜ 다양체, E가 [H] 클래스를 갖는 고유한 번들, φ: M → X가 연속 사상인 고유한 K-사이클 (M, E, φ)를 구성.
• 고유한 K-사이클 상의 등가관계를 경계 이론, 직접 합, 고유한 번들 수정(짝수차원 스피너ᶜ 번들의 구면 번들에 의한)을 통해 정의.
• KK⁰(C₀(X,ℰₕ), ℂ)과 K₀(X,[H]) 사이의 동형관계를 이용하여 고유한 K-호모로지를 X의 고유한 K-이론과 동일시함.
• Bott 주기성과 C₀(X,ℰₕ) 위의 프레드홀름 모듈의 분류를 적용하여 고유한 Ext-이론을 고유한 K-호모로지와 연결함.

실험 결과

연구 질문

• RQ1 비자명한 H-플럭스가 존재할 때 K-호모로지가 어떻게 고유한 설정으로 일반화될 수 있는가?
• RQ2 고유한 K-호모로지의 C*-대수적 표현은 무엇이며, 고유한 K-이론과 어떻게 관련되어 있는가?
• RQ3 기존의 바움-다우글러 모델과 유사한 고유한 K-호모로지의 위상적 모델을 구성할 수 있는가?
• RQ4 고유한 Ext-군 Ext(C₀(X,ℰₕ), ℂ)은 고유한 K-이론과 KK-이론과 어떻게 관련되어 있는가?
• RQ5 고유한 K-사이클에 대해 잘 정의된 고유한 K-호모로지 군을 얻기 위한 적절한 등가관계는 무엇인가?

주요 결과

• j=0,1일 때 고유한 K-호모로지 Kₜⱼ(X,[H])는 C₀(X,ℰₕ)의 K-이론과 동형이며, 이는 K₀(X,[H])와 동일시됨.
• 고유한 K-호모로지 군 K₀ᵗ(X,[H])는 경계 이론, 직접 합, 고유한 번들 수정에 모odulo된 짝수차원 고유한 K-사이클의 몫과 동형이다.
• 고유한 Ext-군 Ext(C₀(X,ℰₕ), ℂ)는 KK-이론 동형관계 KK⁰(C₀(X,ℰₕ), ℂ) ≅ K₀(X,[H])를 통해 K₀(X,[H])와 동형이다.
• C₀(X,ℰₕ) 위의 프레드홀름 모듈은 F가 홀수이고 자기수반이며, 모든 a ∈ C₀(X,ℰₕ)에 대해 (F²−1)φ(a), [F,φ(a)] ∈ ℳ인 삼중체 (ℋ, φ, F)로 정의되며, 이러한 모듈은 K₀ᵗ(X,[H])의 원소를 분류한다.
• 고유한 번들 수정 연산은 짝수차원 스피너ᶜ 번들의 구면 번들을 통해 정의되며, 고유한 K-사이클의 등가류를 유지하며 위상적 모델에서 필수적이다.
• H=0일 때 고유한 K-호모로지 군은 일반 K-호모로지로 감소하며, 이는 ℰₕ가 X×ℳ가 되고 C₀(X,ℰₕ) ≅ C₀(X)⊗ℳ이므로 표준 바움-다우글러 모델을 복원한다.