케스파로프 KK 이론을 퀼렌 모델 범주에서 동형 사상군으로 구현

초록

본 논문에서는 순차적으로 완비된 l.m.c.-C*-대수들의 범주에 퀼렌 모델 범주 구조를 구축한다. 이 구조에 의해 정의되는 동형 사상군 Ho(A,B) 가 가산 C*-대수 A와 B에 대해 Kasparov 군 KK(A,B)와 일치함을 증명한다. 이는 Mark Hovey가 제기한, KK-이론을 퀼렌 모델 범주의 언어로 기술할 수 있는지에 대한 질문에 대한 긍정적인 답변을 제공한다.

상세 요약

Kasparov의 KK-이론은 연산자 대수학과 비동형 위상수학 사이의 다리 역할을 해 온 핵심 도구이며, 특히 C*-대수들의 K-이론과 K-코호몰로지를 통합하는 강력한 범주론적 프레임워크로 평가받는다. 그러나 전통적인 정의는 바람직한 호몰로지 이론의 공리와는 거리가 먼, 복잡한 삼중 구조와 비가환적 분석적 기법에 의존한다는 비판을 받아왔다. 한편, 퀼렌 모델 범주는 호모토피 이론을 범주론적 수준에서 체계화하는 현대 수학의 핵심 개념으로, 모델 구조를 부여받은 범주에서는 약한 동등성(weak equivalence), 섬세한 사상(fibrations, cofibrations) 등을 통해 “동형 사상군”을 정의하고, 이를 통해 호모토피 유형을 계산한다.

본 연구는 두 분야를 연결하는 획기적인 시도를 제시한다. 저자는 먼저 l.m.c.-C*-대수(선형 완비 대수와 완비 토폴로지를 동시에 갖는 C*-대수)의 순차적 완비성을 이용해, 적절한 약한 동등성(예: KK-동등성)과 섬세한 사상(예: 완전 연속 *-동형)들을 정의한다. 이어서 이들 사상이 모델 범주의 삼축(weak equivalences, fibrations, cofibrations)을 만족함을 검증하고, 모델 구조의 존재를 보이기 위해 소형성(smallness) 조건과 푸쉬아웃-풀백( pushout‑pullback) 보존성을 상세히 검토한다.

핵심 결과는 가산 C*-대수 A, B에 대해 동형 사상군 Ho(A,B)가 기존의 Kasparov 군 KK(A,B)와 일대일 대응한다는 정리이다. 이는 KK-이론이 단순히 분석적 정의에 머무는 것이 아니라, 퀼렌 모델 범주의 호모토피 이론 안에서 “동형 사상”이라는 순수 범주론적 개념으로 재해석될 수 있음을 의미한다. 이로써 KK-이론의 계산적 도구(예: Kasparov 제품, 외부 곱)와 모델 범주의 구조(예: 사슬 복합, 사슬 복합의 호모토피 한계) 사이에 새로운 상호작용이 가능해진다.

학문적·응용적 파급 효과도 크다. 첫째, 모델 범주의 언어를 통해 KK-이론의 장벽을 낮추어, 호모토피 이론에 익숙한 연구자들이 비가환적 기하학에 접근할 수 있다. 둘째, 모델 구조가 제공하는 퍼포먼스(예: 코페이블링, 파라미터화된 사상 공간) 덕분에 복잡한 삼중 연산자를 보다 체계적으로 다룰 수 있는 계산 프레임워크가 기대된다. 셋째, 이 접근법은 향후 비가환적 스펙트럼, 비가환적 모듈러 형식, 그리고 양자 장 이론 등에서 KK-이론을 기반으로 한 새로운 동형 사상 이론을 전개하는 토대를 제공한다.

마지막으로, 본 연구는 Hovey가 제기한 “KK-이론을 퀼렌 모델 범주로 기술할 수 있는가?”라는 질문에 명확히 ‘가능하다’는 답을 제시함으로써, 비가환적 대수와 동형 사상 이론 사이의 교량을 견고히 놓았다. 향후 연구에서는 보다 일반적인 (비가산) C*-대수, 다중 사상 복합, 그리고 동등성의 다른 후보(예: E-theory)와의 비교를 통해 모델 구조의 범위를 확장할 필요가 있다.