[논문 리뷰] Algebraic K-theory and properly infinite C*-algebras

Guillermo Cortiñas⋆, N. Christopher Phillips|arXiv (Cornell University)|2014. 02. 13.

Advanced Operator Algebra Research인용 수 3

한 줄 요약

이 논문은 컴팩트 연산자 C*-대수와의 텐서곱에 대한 대수적 K-이론 결과가 임의의 적절히 무한한 C*-대수와의 텐서곱으로 확장됨을 확립한다. M2-안정성과 O⊗K로의 코너 포함을 이용하여, 대수적 K-이론과 위상적 K-이론 사이의 비교 사상이 동형임을 증명하고, KH-이론과 순환 호모로지가 이러한 텐서곱에서 Bott 주기성을 만족함을 보이며, K에서 임의의 적절히 무한한 O로 알려진 결과를 일반화한다.

ABSTRACT

We show that several known results about the algebraic K-theory of tensor products of algebras with the C*-algebra of compact operators in Hilbert space remain valid for tensor products with any properly infinite C*-algebra.

연구 동기 및 목표

• 컴팩트 연산자 C*-대수와의 텐서곱에 대한 대수적 K-이론 결과를 임의의 적절히 무한한 C*-대수와의 텐서곱으로 확장한다.
• A가 C*-대수이고 O가 적절히 무한한 경우, A⊗O에 대한 대수적 K-이론에서 위상적 K-이론으로의 비교 사상이 동형임을 증명한다.
• L이 국소적 볼록 대수이고 O가 적절히 무한한 경우, L⊗O 형태의 대수들에 대해 KH-이론과 순환 호모로지가 Bott 주기성을 만족함을 확립한다.
• O⊗K에 대한 M2-안정 함수자에 대해 코너 포함을 통해 유도되는 동형을 일반화하여 K에서 O로의 안정성 결과를 일반화한다.

제안 방법

• 모든 M2-안정 함수자 E에 대해, O에 있는 무한한 등장 이sovectory의 열을 사용하여 호모토피 동치를 구성함으로써, 코너 포함 j: O → O⊗K가 E(j)에 대해 동형임을 증명한다.
• 등장 이sovectory의 열 (un)과 부분 등장 이sovectory v를 갖는 적절히 무한한 C*-대수 O의 존재를 이용하여, E(ψ) = id가 되는 호모모르피즘 ψ: O⊗K → O⊗K를 정의한다.
• Karoubi-Suslin-Wodzicki 정리(즉, K∗(A⊗K) → Ktop∗(A⊗K)가 동형임)를 적용하여, E(j)를 통한 동형으로부터 K∗(A⊗O) → Ktop∗(A⊗O)가 동형임을 유도한다.
• K-이론과 Kinf-이론에 대한 디포타피 불변성과 분할성 조건을 이용하여, L⊗O가 Kinf-정규임을 보이며, 이는 KH-이론에 대한 Bott 주기성을 암시한다.
• 널리 퍼진 nilpotent K-이론의 장점 정렬 시퀀스와 동형 ν∗: Knil∗(M) → HC∗−1(M)를 조합하여, Ktop∗(L⊗O), K∗(L⊗O), HC∗(L⊗O)를 포함하는 여섯 항의 정확시퀀스를 구성한다.
• K⊗K → K(ℓ2×ℓ2)의 동형 µ를 활용하여, KH∗(A⊗O⊗K)가 Z[t,t−1]-모듈로서의 성질을 보이며, 이는 KH∗(A⊗O)에 대한 Bott 주기성을 암시한다.

실험 결과

연구 질문

• RQ1 O가 K가 아닌 임의의 적절히 무한한 C*-대수일 경우, 비교 사상 K∗(A⊗O) → Ktop∗(A⊗O)가 여전히 동형인지 여쭙는다.
• RQ2 K에서 임의의 적절히 무한한 O로의 K∗, Ktop∗, HC∗를 연결하는 여섯 항의 정확시퀀스를 확장할 수 있는가?
• RQ3 K의 경우와 마찬가지로, A⊗O에 대한 KH-이론이 주기성을 만족하는가, 즉 K∗(A⊗O)와 동형인지 여쭙는다.
• RQ4 모든 적절히 무한한 O에 대해, M2-안정 함수자가 O⊗K에 대해 코너 포함 j: O → O⊗K를 통해 K-이론에서 동형을 유도하는가?
• RQ5 O가 적절히 무한할 경우, A⊗O의 Kinf-정규성은 유지되며, 이는 KH-이론에서 Bott 주기성을 가능하게 하는가?

주요 결과

• 모든 C*-대수 A와 임의의 적절히 무한한 C*-대수 O에 대해 비교 사상 K∗(A⊗O) → Ktop∗(A⊗O)는 동형이다.
• 국소적으로 곱형이고 균일하게 유계인 근사 항등원을 갖는 로컬 볼록 프레셰 대수 L에 대해, 사상 K∗(L⊗O) → Ktop∗(L⊗O)는 동형이다.
• 모든 국소적 볼록 대수 L과 적절히 무한한 O에 대해, Ktop∗(L⊗O), K∗(L⊗O), HC∗(L⊗O)를 연결하는 자연스러운 여섯 항의 정확시퀀스가 존재한다.
• KHn(A⊗O)는 n이 짝수일 때 K0(A⊗O)와 자연스럽게 동형이며, n이 홀수일 때는 K−1(A⊗O)와 자연스럽게 동형이 되며, 이는 KH-이론에 대한 Bott 주기성을 증명한다.
• 대수 A⊗O는 Kinf-정규이며, 이는 n ≤ 0일 때 Kn(A⊗O) → KHn(A⊗O) 사상이 동형임을 암시한다.
• KH-이론은 K⊗K의 텐서곱 구조를 통해 유도되는 Z[t,t−1]-모듈로 동형이므로, A⊗O에 대해 Bott 주기성을 만족한다.