단위 텐서 범주 등변 KK 이론의 안정적 유일성 정리

초록

본 논문은 단위 텐서 범주 𝒞의 등변 Kasparov 이론 KK^𝒞를 Cuntz‑Thomsen 형태로 재구성하고, 이를 이용해 𝒞‑등변 안정적 유일성 정리를 증명한다. 핵심은 𝒞‑코사이클 표현을 가족 형태의 선형 사상으로 전환하고, 흡수성 표현과 비동형 단위 경로를 구축함으로써 KK^𝒞에서 영원소와 동형을 연결하는 것이다.

상세 분석

이 연구는 먼저 단위 텐서 범주 𝒞가 갖는 강체 구조와 그에 대한 C∗‑알제브라 A, B의 𝒞‑액션을 정확히 정의한다. 저자들은 기존의 Kasparov 이론을 범주적 상황에 맞추어, 𝒞‑코사이클 표현을 “𝒞‑Cuntz 쌍”이라는 새로운 객체로 포장한다. Proposition 1.11에서 제시된 바와 같이, 𝒞‑코사이클 표현 ϕ는 각 객체 X∈𝒞에 대해 선형 사상 ϕ_X : α(X)→L(B,β(X))의 모음이며, 이 사상들은 동형성, 연합성, 그리고 표준 공액 방정식에 의해 강하게 얽혀 있다. 이러한 구조적 관점은 Cuntz‑Thomsen 그림을 𝒞‑등변 상황에 자연스럽게 끌어들일 수 있게 한다.

다음 단계에서는 “흡수성(Absorbing) 𝒞‑코사이클 표현”을 정의하고, Lemma 4.14와 Theorem 4.16을 통해 충분한 조건을 제시한다. 여기서는 Elliott‑Kucerovsky의 흡수성 기준을 범주적 이중성(duality)과 결합하여, 특정 𝒞‑표현이 다른 모든 𝒞‑표현을 강하게 포함하도록 만든다. 이 과정에서 내부 텐서 곱 ⊠와 외부 텐서 곱 ⊠가 교차 작용하며, M(A)‑M(B)‑바이모듈 구조가 핵심적인 역할을 한다.

핵심 정리인 Theorem 6.2(=Theorem A)는 두 𝒞‑코사이클 표현 ϕ, ψ가 𝒞‑Cuntz 쌍을 이루고, 그 차이가 KK^𝒞에서 영원소와 일치할 때, 또 다른 흡수성 표현 θ와 연속적인 유니터리 경로 u_t (t∈