무한 차원 공간의 뒤틀린 K이론과 K동형 및 이변형 첸‑콘네스 성격

초록

본 논문은 σ‑C* 대수의 범주 위에 이변형 K이론(σ‑kk)을 구축하고, 이를 통해 무한 차원 군 SU(∞) 등 카운트가능히 생성된 공간들의 뒤틀린 K이론·K동형을 정의한다. 또한 σ‑kk와 지역 순환 동형론(HL) 사이의 이변형 Chern‑Connes 성격을 구성하여, 컴팩트 경우에는 복소수 계수를 탔을 때 동형을 얻음도 보인다.

상세 분석

이 연구는 크게 네 단계로 전개된다. 첫째, 저자는 기존의 프로 C* 대수와 σ‑C* 대수의 구조를 정리하고, 특히 가산 역한계 시스템으로 표현되는 σ‑C* 대수의 연속성 및 완비성을 강조한다. 이를 바탕으로 Cuntz의 방법을 차용해 σ‑kk 이변형 K이론을 정의한다. σ‑kk는 Kasparov의 KK와 동일한 범주(분리 가능한 C* 대수)에서 일치함을 보이며, 또한 Weydner의 이변형 K이론과 핵심 σ‑C* 대수에 대해 동등함을 증명한다.

둘째, 뒤틀린 K이론을 정의하기 위해 공간 X에 대한 principal PU(H) 번들을 선택하고, 해당 번들을 연산자 대수식으로 구현해 σ‑C* 대수 C(X,𝔈) 를 만든다. 여기서 𝔈는 뒤틀린 연속함수 대수이며, 그 K‑이론은 σ‑kk를 통해 계산된다. 특히 SU(∞)와 같은 직접극한 군에 대해 비자명한 뒤틀림이 존재하더라도, σ‑kk를 이용하면 K‑그룹이 전부 사라지는(즉, trivial) 경우를 명시적으로 확인한다.

셋째, 주기적 순환 동형론과 지역 순환 동형론을 다루면서, locally convex 대수와 ind‑Banach 대수 사이의 전이를 상세히 기술한다. X‑복합체와 그 완비화 과정을 통해 HL∗(지역 순환 동형론) 를 정의하고, Karoubi 밀도 정리를 이용해 σ‑C* 대수의 부드러운 부분대수와 원래 대수 사이의 K‑이론 동형성을 확보한다. 이를 통해 뒤틀린 K이론에서 지역 순환 동형론으로의 Chern‑Connes 성격을 구축한다.

넷째, 주요 정리인 Theorem 52는 σ‑kk∗(A,B) → HL∗(K̂⊗A, K̂⊗B) 형태의 이변형 Chern‑Connes 성격을 제공한다. 여기서 K̂는 컴팩트 연산자 대수이며, 이 사상은 곱셈 구조를 보존한다. 또한, 컴팩트 경우에는 복소수 계수를 텐서하면 동형이 성립함을 보이며, 이는 기존의 Connes‑Karoubi 성격과 일치한다. 마지막으로, Poincaré‑듀얼리티와 같은 특수 상황에서 성격이 단순화되는 예시들을 제시한다.

전체적으로 이 논문은 무한 차원, 비컴팩트 공간에 대한 뒤틀린 K‑이론·K‑동형을 체계적으로 확장하고, 이를 지역 순환 동형론과 연결하는 새로운 이변형 성격을 제시함으로써 비가환 기하와 물리학(특히 대 N 한계와 M‑이론) 사이의 교량을 마련한다.