C 별 대수의 호모토피 이론

초록

본 논문은 켄 브라운이 제시한 ‘fibrant objects’ 범주를 C* 대수에 적용하여, 전통적인 호모토피 이론, KK 이론, E 이론을 하나의 통합된 호모토피 범주로 기술한다. 이를 통해 각 이론이 동일한 호모토피 범주의 사상으로 해석될 수 있음을 보인다.

상세 분석

이 연구는 먼저 ‘fibrant objects’ 라는 범주론적 구조를 상세히 재정의한다. 켄 브라운이 제시한 6가지 공리(weak equivalences, fibrations, pullbacks 등)를 C* 대수의 범주에 맞추어 변형함으로써, ‑homomorphism 사이의 연속적인 변형을 허용하는 새로운 약동등성 개념을 도입한다. 특히, C* 대수 사이의 ‑homotopy 를 약동등성으로 채택하고, 완전한 C* 대수는 자동으로 fibrant 객체가 되도록 설정한다.

다음으로, 이 구조가 기존의 호모토피 이론과 어떻게 일치하는지를 검증한다. 전통적인 C* 대수 호모토피는 두 ‑homomorphism 사이에 연속적인 경로가 존재하는지를 판단하는데, 이는 본 논문의 약동등성 정의와 동치임을 보인다. 따라서 호모토피 범주 Ho(C*‑Alg) 은 기존의 호모토피 이론과 완전히 일치한다.

핵심적인 기여는 KK 이론과 E 이론을 동일한 호모토피 범주의 다른 ‘localization’ 으로 재해석한 점이다. KK 이론은 Kasparov의 bivariant K‑theory 로, 본 논문에서는 약동등성 위에 추가적인 ‘stabilization’ 과정을 적용해 얻는 사상군으로 정의한다. 구체적으로, C* 대수 A, B 에 대해 KK(A,B) 는 Ho(C*‑Alg) 에서 Σ∞A → Σ∞B 로의 사상 집합과 동형임을 증명한다.

E 이론은 더 일반적인 비가환 동형사상 사이의 연속적인 변형을 포괄한다. 저자는 E 이론을 ‘asymptotic homotopy’ 라는 새로운 약동등성 클래스로 정의하고, 이를 다시 fibrant objects 범주에 적용한다. 결과적으로, E(A,B) 는 Ho(C*‑Alg) 의 또 다른 로컬라이제이션으로서, KK 이론보다 더 넓은 범위의 사상을 포착한다.

또한, 본 논문은 이 세 이론 사이의 관계를 삼각형 형태의 비교 사상으로 명시한다. 즉, KK 이론은 E 이론으로 자연스럽게 포함되고, 두 이론 모두 전통적인 호모토피 이론의 완전한 확장임을 보인다. 이러한 통합적 관점은 기존에 별도로 다루어졌던 세 이론을 하나의 범주론적 틀 안에서 일관되게 이해할 수 있게 하며, 향후 새로운 bivariant 이론을 구축하는 데도 강력한 기반을 제공한다.

마지막으로, 저자는 이 구조가 모델 범주 이론과는 달리 ‘모델 구조’를 필요로 하지 않으면서도 충분히 풍부한 호모토피 정보를 제공한다는 점을 강조한다. 이는 C* 대수와 같은 비가환 연산체계에서 모델 구조를 정의하기 어려운 상황에 대한 실용적인 대안으로 평가될 수 있다.