특정 확장자와 Gromov 몬스터 군의 고차 지수 이론 II

초록

본 논문은 무한히 커지는 원주를 가진 그래프열에 대해, 해당 메트릭 공간 X의 최대 거친 Baum‑Connes 조립 사상이 전단사임을 증명한다. 이를 통해 ‘Gromov 몬스터’ 군에 대한 Baum‑Connes 추측의 특수 경우를 다룰 수 있다. 또한 새로운 개념인 ‘기하학적 성질 (T)’를 도입하여, 원주가 무한히 커지지 않는 확장자(예: property (T) 군에서 유도된 경우)에서는 최대 거친 조립 사상이 동형이 아님을 보인다.

상세 분석

논문은 두 부분으로 나뉜다. 첫 번째는 원주(girth)가 무한히 커지는 그래프열 {Gi}i∈ℕ에 대해, 이들로 구성된 디스크리트 메트릭 공간 X=⊔iGi에 최대 코스(coarse) C∗-대수 Cmax∗(X)를 정의하고, 그에 대한 Baum‑Connes 조립 사상 μmax:K∗(X)→K∗(Cmax∗(X))가 동형임을 보인다. 핵심 아이디어는 ‘대역폭 제한’과 ‘희소성’ 조건을 이용해, 각 Gi의 라플라시안 스펙트럼이 0에 가까워지는 현상을 억제하고, 따라서 코스 K‑이론이 ‘극한’에서 안정화된다는 점이다. 이를 위해 저자들은 ‘가장 큰 코스 대수’와 ‘유한 차원 대수적 K‑이론’ 사이의 비교 사상을 구축하고, 원주가 무한히 커지는 경우에만 발생하는 ‘대규모 가역성’(large‑scale invertibility)을 입증한다.

두 번째 부분에서는 ‘기하학적 성질 (T)’라는 새로운 개념을 정의한다. 이는 전통적인 Kazhdan’s property (T)와는 달리, 메트릭 공간 자체가 갖는 확장성(expansion)과 원주 제한을 결합한 조건이다. 구체적으로, X가 기하학적 (T)를 만족하면, X에 대한 최대 코스 대수 Cmax∗(X)는 ‘강한 고정점’ 성질을 가져서, 조립 사상 μmax가 영 사상이 된다. 저자들은 이 성질이 원주가 유한하게 유지되는 전통적 확장자(예: property (T) 군에서 유도된 라플라시안 그래프)에서 나타난다는 것을 증명하고, 따라서 원주가 무한히 커지는 경우와 명확히 구분한다.

결과적으로, 논문은 ‘원주 무한대’와 ‘기하학적 (T)’라는 두 상반된 조건이 최대 코스 Baum‑Connes 사상의 동형성 여부를 결정한다는 새로운 분류 체계를 제시한다. 이는 Gromov가 제시한 ‘몬스터 군’—즉, 고차 지수 이론에서 어려운 사례—에 대한 Baum‑Connes 추측을 검증하는 데 직접적인 도구가 된다. 특히, 원주가 무한히 커지는 확장자를 사용해 만든 Gromov 몬스터 군은 조립 사상이 동형이므로, 해당 군은 Baum‑Connes 추측의 긍정적 사례가 된다. 반면, 전통적 property (T) 기반 확장자는 기하학적 (T)를 만족해 조립 사상이 비동형이 되므로, 이들 군은 추측의 반례 혹은 미해결 영역에 놓인다.