Hecke 쌍의 최대와 축소 Roe 대수 K 이론

초록

본 논문은 Hecke 쌍 ((\Gamma ,\Lambda ))에 대해 Γ‑등변 조밀 임베딩이 존재할 때, 최대와 축소 버전의 등변 Roe 대수의 K‑이론이 서로 동형임을 보인다. 이를 위해 Dirac‑dual‑Dirac 방법을 Hecke 쌍에 맞게 일반화하고, 결과적으로 이러한 쌍에 대해 Baum–Connes 및 Novikov 추측이 성립함을 얻는다.

상세 분석

논문은 크게 네 부분으로 구성된다. 첫 번째는 Hecke 쌍의 정의와 “거의 정상(Almost normal)” 조건을 두 가지 동등한 형태—각 원소에 대해 공통 부분군이 유한 지수인 조건과 좌측 작용의 궤도가 유한인 조건—으로 제시하고, 이를 통해 (\Gamma /\Lambda)가 유계 기하학적 성질을 갖는지 확인한다. 두 번째는 (\Gamma)‑등변 조밀 임베딩(Γ‑equivariant coarse embedding)을 도입하여, 임베딩 이미지의 안정자(stabilizer) (\Gamma _v)가 (\Lambda)와 공통 부분군을 갖는(즉, commensurable) 사실을 증명한다. 핵심은 임베딩이 제공하는 거리 제어 함수 (\rho _\pm)와 유계 기하학을 이용해 (\Gamma _v)의 궤도가 (\Lambda)에 대해 유한함을 보이는 ‘cut‑and‑paste’ 논증이다.

세 번째 단계에서는 이러한 기하학적 정보를 바탕으로 등변 Roe 대수와 그 최대 버전을 정의한다. 여기서 Roe 대수는 (\Gamma)‑작용이 적절하고 콤팩트한 공간 (\Delta) 위에 정의된 연산자들의 C(^*)대수이며, 최대 버전은 모든 표준 표현을 고려한 완비화이다. 저자는 기존의 Yu의 Dirac‑dual‑Dirac 프레임워크를 Hecke 쌍에 맞게 변형한다. 구체적으로, (\Lambda)가 a‑T‑menable(즉, Haagerup property)일 때, (\Lambda)에 대한 Dirac 요소와 dual‑Dirac 요소를 구성하고, 이를 (\Gamma)‑전체에 대한 Kasparov 제품으로 끌어올린다. 이 과정에서 공통 부분군을 갖는 모든 서브그룹 (G)에 대해 (G)가 a‑T‑menable이면 K‑amenable임을 이용한다.

마지막으로, 위의 결과를 이용해 (\Gamma)에 대한 Baum–Connes 사상 (\mu)와 그 최대 버전 (\mu_{\max })가 동형임을 보인다. 특히, (\Lambda)가 a‑T‑menable이고 (\Gamma /\Lambda)가 Γ‑등변 조밀 임베딩을 가질 때, (\Gamma)는 ‘quasi K‑amenable’ 즉, (\lambda_:K_(B\rtimes \Gamma)\to K_(B\rtimes_r\Gamma))가 모든 (\Gamma)‑C(^)대수 (B)에 대해 동형임을 만족한다. 이는 기존의 K‑amenability 개념을 확장한 것으로, 비아벨리안 그룹에서도 Baum–Connes와 Novikov 추측을 증명할 수 있는 새로운 클래스의 그룹을 제공한다. 논문은 또한 (\Lambda)와 (\Gamma/\Lambda)가 각각 Hilbert 공간에 조밀 임베딩될 경우, 강한 Novikov 추측까지도 성립함을 corollary 형태로 제시한다. 전체적으로, Hecke 쌍이라는 대수적 구조와 조밀 임베딩이라는 기하학적 가정을 결합해, 기존 방법이 다루기 어려웠던 비아벨리안 상황을 효과적으로 처리한다는 점에서 큰 의미를 가진다.