[논문 리뷰] Stability and invariants of Hilsum-Skandalis maps

J. Mrčun|ArXiv.org|2005. 06. 23.

Homotopy and Cohomology in Algebraic Topology참고 문헌 14인용 수 42

한 줄 요약

이 논문은 바나흐 공간을 기본으로 하는 에탈레 $ C^1 $-군oids에 대한 선형 홀로노미 호모모르피즘을 도입함으로써, 위상군oids 위의 일반화된 잎새들인 Hilsum-Skandalis 사상에 대한 안정성 정리들을 수립한다. 이는 Reeb-Thurston 및 Haefliger-Reeb-Ehresmann 안정성 정리들을 이 설정으로 일반화하며, 선형 홀로노미 호모모르피즘의 핵이 유한 생성일 경우, 온건한 조건 하에 컴팩트 잎새들의 이웃을 가진다.

ABSTRACT

We consider principal bundles as generalized morphisms between topological groupoids. In the category of these generalized morphisms two topological groupoids are isomorphic if and only if they are Morita equivalent. We show that the fibers of a generalized morphism from H to G induce a singular foliation of the topological groupoid H, and we prove a Reeb-Thurston stability theorem for such foliations. Next, we use generalized morphisms to study some Morita invariants of topological groupoids, in particular the homotopy groups of a topological groupoid and the Connes convolution algebra of an etale groupoid.

연구 동기 및 목표

• 위상군oids 간의 Hilsum-Skandalis 사상의 프레임워크로 고전적 잎새 안정성 정리들을 일반화하기.
• 바나흐 공간을 기본으로 하는 에탈레 $ C^1 $-군oids에 값이 있는 잎새들에 대해 선형 홀로노미 호모모르피즘 $ d ilde{H}_L $를 정의하고 연구하기.
• 선형 홀로노미 호모모르피즘 $ d ilde{H}_L $의 핵이 유한 생성이면서 궤도 공간이 컴팩트한 잎새가 컴팩트 잎새들의 이웃을 갖는 조건을 확립하기.
• 군oids 준동형사상과 비버들러를 이용한 언어로 기존의 잎새 이론 안정성 결과들을 통합하고 일반화하기.
• Hilsum-Skandalis 사상의 범주가 모리타 동치를 통해 일반화된 잎새들과 그 횡단 구조를 포괄함을 보여주기.

제안 방법

• 기본점에서 $ G_0 $의 접공간 위에 $ ilde{H}(L) $의 기본군의 표현으로서 선형 홀로노미 호모모르피즘 $ d ilde{H}_L $를 정의하기.
• 주 $ G $-$ H $-비버들러의 구조를 이용해 Hilsum-Skandalis 사상을 $ H $ 위의 일반화된 잎새들로 모델링하기.
• 감소 기법을 통해 안정성 증명을 연속적인 위상공간 간의 사상의 경우로 환원하기.
• 단위 분할 논증과 기본 쌍 $ (m_i, m'_i) $의 정규화를 적용하여 분할하고 섹션의 지지 구조를 분석하기.
• 귀납법과 국소 차트 감소를 활용해 일반적인 경우를 다루며, 섹션의 정규화 및 국소화에 Lemma V.3.5와 V.3.6를 활용하기.
• $ C^r_c $-구성의 군oids의 $ C^r $-군oids 범주에서의 함의성과 대수의 모리타 동치를 연결하기.

실험 결과

연구 질문

• RQ1 궤도 공간이 컴팩트한 Hilsum-Skandalis 사상의 잎새가 컴팩트 잎새들의 이웃을 갖는 조건은 무엇인가?
• RQ2 선형 홀로노미 호모모르피즘 $ d ilde{H}_L $이 바나흐 공간을 기본으로 하는 $ C^1 $-군oids에 값이 있을 경우, Reeb-Thurston 안정성 정리는 어떻게 일반화될 수 있는가?
• RQ3 선형 홀로노미 호모모르피즘 $ d ilde{H}_L $는 잎새의 안정성 결정에 어떤 역할을 하는가?
• RQ4 $ d ilde{H}_L $의 핵의 성질, 특히 유한 생성성은 잎새 공간의 국소 구조에 어떻게 영향을 미치는가?
• RQ5 Hilsum-Skandalis 사상은 Haefliger의 구조를 어떻게 일반화하며, 잎새의 횡단 기하학을 어떻게 포괄하는가?

주요 결과

• 선형 홀로노미 호모모르피즘 $ d ilde{H}_L $는 $ ilde{H}(L) $의 기본군의 표현으로서 $ G_0 $의 접공간 위에 정의되며, 홀로노미 작용의 선형 근사로 기능한다.
• 만약 $ d ilde{H}_L $의 핵이 유한 생성이면서 잎새의 궤도 공간이 컴팩트하면, 그 잎새는 전부 컴팩트 잎새들로 이루어진 이웃을 가진다.
• 증명은 $ C^r_c $-구성의 함의성에 기반하여 연속적인 위상공간 간의 사상의 경우로 환원된다.
• Hilsum-Skandalis 사상의 범주는 합성에 대해 닫혀 있으며, 위상공간들을 전부 포함하는 완전한 부분범주를 포함한다.
• $ C^r_c $-구성은 $ C^r $-군oids의 범주에서 대수의 범주로의 함의성을 부여하며, 군oids의 모리타 동치는 그들의 $ C^r_c $-대수의 모리타 동치를 이끈다.
• $ ilde{H}( ilde{H}(L)) o ilde{H}(G) $의 사상이 $ ilde{H}(L) $의 기본군에서 영이 되면, 잎새는 일반화된 의미에서 안정하다.