비단위 표현에 의한 바움 콘네스 변형과 K 이론 계산

본 논문은 로컬 컴팩트 군 G와 비단위 유한 차원 복소 표현 ρ를 출발점으로, ρ와 단위 표현 π의 텐서곱을 이용해 두 종류의 Banach 대수 A₍ρ₎(G)와 A₍ρ₎,r(G)를 정의한다. 전통적인 군 C*‑대수 C*(G), C*_r(G)는 각각 모든 단위 표현의 직합을 완성한 것이지만, ρ가 비단위이면 이러한 완성은 C*‑대수가 되지 않는다. 대신, C_c(G) 위에 정의된 노름 ‖f‖_{A₍ρ₎}=sup_{π unitary}‖(π⊗ρ)(f)‖_{L(H⊗V)} 로 Banach 대수 구조를 부여한다. ρ가 단위이면 이 노름은 기존 C*‑노름과 동등해 두 대수가 기존 C*‑대수와 동형이 된다. 다음 단계에서는 Kasparov의 KK‑이론을 Banach 대수에 맞게 일반화한 Lafforgue의 KK_G 이론을 도입한다. 이를 통해 G‑작용을 갖는 Banach 대수 A와 B 사이의 KK‑그룹 KK_G(A,B)를 정의하고, “twisted assembly map” μ_ρ와 μ_ρ,r를 구성한다. 구체적으로, μ_ρ는 K_*^{top}(G)=lim_{Y⊂E_G} KK_G(C_0(Y),ℂ)에서 A₍ρ₎(G)로, μ_ρ,r는 동일한 출발점에서 A₍ρ₎,r(G)로 보내는 사상이다. 이 두 사상은 ρ가 단위일 때 기존 Baum‑Connes 사상 μ, μ_r와 일치하도록 설계되었다. 핵심 결과는 두 정리이다. 정리 0.1은 “γ‑원소”가 존재하고 p^*(γ)=1 (즉, γ가 K_*^{top}(G)에서 항등 작용)인 경우, 모든 유한 차원 표현 ρ에 대해 μ_ρ와 μ_ρ,r가 단사임을 보인다. 정리 0.2는 γ=1, 즉 γ‑원소가 K‑이론에서 정확히 항등인 경우, μ_ρ와 μ_ρ,r가 전사이면서 동형임을 증명한다. γ‑원소는 Kasparov이 정의한 요소로, G가 a‑T‑가능, 부정적 곡률을 갖는 리만 다양체에 작용하는 군, Bruhat‑Tits 건물에 작용하는 p‑adic 군 등 넓은 클래스 C에 속하면 존재하고, 많은 경우 γ=1이 알려져 있다. 특히 a‑T‑가능 군에 대해서는 이미 γ=1이 증명돼 있으므로, 모든 비단위 유한 차원 표현 ρ에 대해 μ_ρ와 μ_ρ,r가 K‑이론 동형임을 즉시 얻는다. 이는 기존 Baum‑Connes 사상이 K‑이론을 보존하는 것과 완전히 일치한다. 또한 저자는 A₍ρ₎(G)와 A₍ρ₎,r(G)가 경우에 따라 L¹‑완비 대수에 포함될 수 있음을 보인다. 예를 들어, Γ가 이산 군이고 ρ가 유한 차원 표현이면 A₍ρ₎,r(Γ)⊂ℓ¹(Γ)⊂C*_r(Γ)이다. 이는 K‑이론 계산을 보다 친숙한 ℓ¹‑대수 수준으로 옮겨, 계산을 단순화한다. 구체적인 적용 사례로는 실리 군, 하이퍼볼릭 군, 그리고 SL₃(F) (F는 지역체) 등을 들었다. 실리 군의 경우, 표준 표현이나 그 외 비단위 표현을 택하더라도 K₀와 K₁이 각각 ℤ와 0이 되는 등 C*(G)와 동일한 K‑이론을 가진다. 하이퍼볼릭 군에 대해서도 동일한 결과가 성립한다. 결론적으로, 논문은 비단위 표현에 의한 “twist”가 Baum‑Connes 사상의 핵심 구조를 파괴하지 않으며, γ‑원소가 1인 경우 K‑이론 동형을 유지한다는 강력한 일반화를 제시한다. 이는 기존 Baum‑Connes 추측의 적용 범위를 크게 확장하고, Banach 대수 수준에서 K‑이론을 다루는 새로운 방법론을 제공한다.