유한 및 토션 KK 이론의 새로운 전개

본 논문은 C⁎‑대수와 그 위에 작용하는 로컬 콤팩트 군 G에 대한 bivariant K‑이론, 즉 KK‑이론을 새로운 계수 체계로 확장한다. 먼저, Arlettaz‑Inassaridze가 제시한 유한 대수적 K‑이론의 방법을 차용하여, C⁎‑대수 A와 B에 대해 ‘q‑유한 KK‑이론’ KKGₙ(A,B;ℤ/q) := KKGₙ₋₂(A,B⊗C_q) 를 정의한다. 여기서 C_q는 단위 원판 S¹ 위의 q‑제곱 지도 ˜q에 의해 유도된 cone C⁎‑대수이며, 이 구조를 이용하면 ℤ/q 계수를 갖는 KK‑그룹을 얻을 수 있다. 이 정의는 기존의 ‘유한 KK‑이론’ 정의와 동등함을 보이며, Bott 주기성 및 외삽성 등 KK‑이론의 핵심 성질을 그대로 유지한다. 다음으로, 모든 소수 q에 대해 위의 유한 KK‑그룹들을 직접극한으로 묶어 ‘토션 KK‑이론’ KKGₙ(A,B;T) := lim₍q→∞₎ KKGₙ(A,B;ℤ/q) 를 만든다. 토션 KK‑이론은 항등 사상이 존재하지 않다는 점을 제외하고는 전통적인 KK‑이론과 동일한 구조(바틀리 주기성, 외삽성, 합성법칙 등)를 갖는다. 특히, 토션 이론은 정수 계수 KK‑이론과 유리 계수 KK‑이론 사이를 연결하는 매개체 역할을 한다. 논문은 세 가지 주요 장Exact 시퀀스를 제시한다. 첫 번째는 정수, 유리, 토션 계수를 연결하는 시퀀스로 …→ KKGₙ₊₁(A,B) → KKGₙ₊₁(A,B;ℚ) → KKGₙ(A,B;T) → KKGₙ(A,B) → … 이다. 두 번째는 서로 다른 소수 q와 p에 대한 유한 KK‑이론 사이의 관계를 나타내는 시퀀스로, …→ KKGₙ(A,B;ℤ/pq) → KKGₙ(A,B;ℤ/q) → KKGₙ₋₁(A,B;ℤ/p) → … 가 성립한다. 세 번째는 유리 계수와 토션 계수를 연결하는 시퀀스로, …→ KKGₙ(A,B) → KKGₙ(A,B;ℚ) → KKGₙ(A,B;T) → KKGₙ₋₁(A,B) → … 가 있다. 이들 시퀀스를 통해 유한·유리·토션 이론이 서로 보완적으로 작용함을 확인한다. 또한, 일반적인 동형 이론 H에 대해 q‑유한 동형 이론 H(q)ₙ := Hₙ₋₂(–⊗C_q) 와 토션 동형 이론 H_Tₙ := lim₍q₎ H(q)ₙ 를 정의한다. 이들 역시 바틀리 주기성, 외삽성, 곱 구조 등을 만족한다. 특히, H_T와 H⊗ℚ 사이에는 …→ H_Tₙ₊₁ → H(q)ₙ₊₁ → H_Tₙ → H_Tₙ₋₁ →… 와 같은 장Exact 시퀀스가 존재하여, 토션 동형 이론이 유리 동형 이론과 어떻게 연결되는지를 명확히 보여준다. 핵심적인 정리 중 하나는 Browder‑Karoubi‑Lambre 정리를 KK‑이론에 확장한 결과이다. 정리 5.5에 따르면, A와 B가 σ‑unital C⁎‑대수이고 G가 메트리제이션 가능한 콤팩트 군일 때, 모든 정수 n에 대해 (1) q·KKGₙ(A,B;ℤ/q)=0 if q−2 is not divisible by 4, (2) 2q·KKGₙ(A,B;ℤ/q)=0 if 4 | (q−2). 이는 기존의 유한 대수적 K‑이론에서 알려진 결과를 KK‑이론으로 그대로 옮긴 것으로, 증명은 먼저 C⁎‑대수의 유한 위상 K‑이론을 계산하고, 이를 다시 자유로운 Fredholm 모듈의 가산 카테고리 위의 유한 위상 K‑이론으로 전이시켜 얻는다. 마지막으로, Baum‑Connes 추측에 대한 새로운 관점을 제시한다. 저자는 ‘유한 Baum‑Connes’, ‘유리 Baum‑Connes’, ‘토션 Baum‑Connes’라는 세 가지 버전을 정의하고, 원래의 추측이 모든 소수 q에 대해 유한 및 유리 조립 사상이 동형이면 성립한다는 정리 3.5를 증명한다. 이는 Baum‑Connes 문제를 소수별 유한·유리 상황으로 분해하여 접근할 수 있는 새로운 전략을 제공한다. 결론적으로, 이 논문은 KK‑이론에 대한 계수 체계(ℤ, ℤ/q, ℚ, 토션)를 체계화하고, 이들 사이의 관계를 장Exact 시퀀스로 연결함으로써 기존 KK‑이론의 한계를 보완한다. 특히 토션 KK‑이론이 정수와 유리 계수 사이의 중간 단계로 작용한다는 점은 향후 비가환 기하학, 동형 이론, 그리고 Baum‑Connes와 같은 깊은 문제들의 계산적 접근에 새로운 도구가 될 가능성을 시사한다.