무한대 bivariant K‑이론과 비가환 기하학의 연결

초록

본 논문은 무한대 $KK$‑사이클에 대한 ‘스무스 연결(smooth connection)’ 개념을 도입하고, 이를 이용해 Kasparov 곱을 순수히 대수적 공식으로 정의한다. 이를 위해 스무스 알제브라와 미분가능 $C^{*}$‑모듈이라는 새로운 프레임워크를 구축하며, 연산자 공간(operator spaces)의 이론을 핵심 도구로 활용한다. 최종적으로 이러한 사이클은 스펙트럼 트리플을 객체로 하는 범주의 사상으로 해석된다.

상세 분석

논문은 먼저 무한대 $KK$‑사이클을 기존의 유계 형태와 구별하여, 미분가능 구조를 부여할 필요성을 강조한다. 이를 위해 저자는 ‘스무스 알제브라(smooth algebra)’라는 개념을 정의한다. 이는 전통적인 $C^{}$‑알제브라 위에 프레시히드(프리시드) 토폴로지를 부여해, 미분 연산자를 정의할 수 있는 충분히 풍부한 연산자 공간을 제공한다. 이러한 알제브라 위에 놓인 $C^{}$‑모듈을 ‘미분가능 $C^{}$‑모듈(differentiable $C^{}$‑module)’이라 부으며, 모듈 내의 내부 곱과 작용이 스무스 구조와 호환되도록 설계한다.

핵심은 무한대 $KK$‑사이클 $(\mathcal{E},D)$에 ‘연결(connection)’ $\nabla$를 도입함으로써, $D$와 $\nabla$가 만족해야 할 일련의 연산자적 관계를 제시한 점이다. 이 연결은 모듈의 미분가능 구조와 $D$ 사이의 교환 법칙을 제어하며, 특히 $\nabla$가 완전 유계(complete bounded)인 경우에만 Kasparov 곱이 잘 정의된다. 저자는 이러한 조건 하에 두 사이클 $(\mathcal{E}{1},D{1},\nabla_{1})$와 $(\mathcal{E}{2},D{2},\nabla_{2})$의 곱을
\