에탈 군다발에서의 하강 원리와 Baum Connes 추측

이 논문은 에탈 군다발에 대한 '하강 원리(going-down principle)'를 확립하고, 이를 Baum-Connes 추측 및 관련 문제들에 적용한 포괄적인 연구이다. **1장 서론**에서는 연구의 동기와 주요 결과를 개괄한다. 하강 원리는 군다발의 적절한 열린 부분 군다발에 대한 제한 사상이 KK-이론에서 동형이면, 전체 군다발에 대한 위상 K-이론 극한 사상도 동형이 됨을 주장한다(정리 1.2). 이를 '하강 함자'의 일반적인 틀에서 서술한다. 주요 응용으로, 강하게 무한원에서 강가능한 에탈 군다발에 대한 Baum-Connes 조립 사상의 분할 단사성(정리 1.3), 위상 K-이론의 연속성, Künneth 공식의 유효 범위 연구가 제시된다. **2장 예비 지식**에서는 필요한 배경 이론을 정리한다. 에탈 군다발, 그 작용, 적절한(proper) 작용의 국소 구조, C0(X)-대수와 상반연속 다발, 군다발 C*-대수와 힐베르트 가군 등 기본 개념을 재정의한다. 특히, Miller가 도입한 '에탈 군다발 대응(correspondence)'으로부터의 유도 함자(induction functor)와 그 성질을 상세히 검토한다. 이는 후속 장에서 이중 범주적 구성을 위한 기초가 된다. **3장 군다발 단체 복합체**에서는 하강 원리 증명의 핵심 도구인 군다발 단체 복합체를 소개하고 그 위상적 성질을 연구한다. 기존의 충분한 군다발 경우와 달리, 일반 에탈 군다발에서는 Rips 복합체가 잘 정의되지 않는 위상적 문제가 있다. 이를 해결하기 위해, 단체 복합체가 만족해야 할 두 가지 가정 (H1)과 (H2)를 제시한다. 이 조건 하에서 군다발 단체 복합체는 잘 작동하며, Rips 복합체 (G, ΔK(G))는 이러한 조건을 만족하는 적절한 G-콤팩트 G-단체 복합체의 족을 제공하여, 분류 공간 EG를 근사하는 데 사용될 수 있음을 보인다. **4장 유도-제한 수반**에서는 이중 범주적 관점에서 유도-제한 관계를 재해석한다. 에탈 군다발, 대응, 및 등변 연속 사상으로 이루어진 이중 범주 Gr와, 군다발 G에 대해 KK_G 범주를 대응시키는 KK 이중 범주를 고려한다. Miller의 결과를 확장하여, 대응 G ← Ω → H에 대해 유도 함자 Ind_Ω : KK_H → KK_G를 정의하고, 이들이 Gr에서 KK로 가는 의사함자(pseudofunctor)를 구성함을 보인다. 이를 통해, 군다발 H가 G의 적절한 열린 부분 군다발일 때 발생하는 '압축 동형 사상(compression isomorphism)' comp^G_H: KK_G(Ind^G_H A, B) → KK_H(A, B|_H)가, Gr 내부의 수반 관계(adjunction)에서 자연스럽게 유도됨을 설명한다. 즉, 유도 함자와 제한 함자가 수반 쌍을 이룬다는 사실을 이중 범주의 언어로 엄밀히 증명한다. **5장 하강 원리와 응용**에서는 본 논문의 핵심 정리인 하강 원리(정리 1.2)를 증명하고 세 가지 주요 응용을 제시한다. * **하강 원리 증명**: 전략은