[논문 리뷰] The homotopy type of a topological stack

Johannes Ebert|ArXiv.org|2009. 01. 21.

Homotopy and Cohomology in Algebraic Topology참고 문헌 12인용 수 7

한 줄 요약

이 논문은 파라콪팩트 군oids의 분류 공간을 사용하여 위상 스택에 대해 잘 정의된 호모토피 유형 함자를 구성한다. 이는 아틀라스 선택에 의한 모호함을 해결하며, 위상 스택의 1-카테고리에서 위상 공간의 호모토피 카테고리로의 함수를 정의한다. 이 함수는 조율성과 2-동형사상과 호환되며, 수축 가능 선택과 2-동형사상에 대해 잘 정의된 호모토피 유형을 보장한다.

ABSTRACT

The notion of the \emph{homotopy type} of a topological stack has been around in the literature for some time. The basic idea is that an atlas $X o \mathfrak{X}$ of a stack determines a topological groupoid $\mathbb{X}$ with object space $X$. The homotopy type of $\mathfrak{X}$ should be the classifying space $B \mathbb{X}$. The choice of an atlas is not part of the data of a stack and hence it is not immediately clear why this construction of a homotopy type is well-defined, let alone functorial. The purpose of this note is to give an elementary construction of such a homotopy-type functor.

연구 동기 및 목표

• 스택의 호모토피 유형을 정의할 때 아틀라스 선택에 의존함으로써 발생하는 모호함을 해결하기 위해.
• 위상 스택의 1-카테고리에서 위상 공간의 호모토피 카테고리로의 함수를 정의하여, 호모토피와 2-동형사상에 대해 잘 정의되도록 하기 위해.
• 구성 과정이 함수적이고, 스택 간 사상의 조율성과 2-동형사상과 호환되도록 보장하기 위해.
• 위상군에 대한 고전적 호모토피 유형 구성(BG를 통한)을 일반적인 위상 스택으로 확장하기 위해.
• 호모토피 유형에서 스택으로의 보편적인 약한 동형사상이 존재하는가를 확인하고, 만약 존재한다면 어떤 의미에서인지 밝히기 위해.

제안 방법

• 특히 파라콤팩트인 위상 군oids를 사용하여 위상 스택의 표현을 정의하고, 그 스택의 호모토피 유형을 군oids 𝒢의 분류 공간 B𝒢로 정의한다.
• 두꺼운 실현을 사용하여 단체 위상 공간의 분류 공간을 구성함으로써, 파라콤팩트성과 양호한 위상적 성질을 확보한다.
• 비표준적인 아틀라스 선택을 다루기 위해 수축 가능 선택에 대해 정의된 함수의 개념을 도입한다.
• 자연성의 형식화를 위해 2-동형사상에 관해 정의된 의사자연 변환(pseudo-natural transformation)을 사용한다.
• 파라콤팩트 하우스도르프 공간은 정규이며, 분할 단위를 갖기 때문에 국소적으로 유한한 개선이 가능하다는 사실에 기반한다.
• 두꺼운 실현에서의 이중 사영 실현 구조를 사용하여 실현 공간을 귀납적으로 구성하고, 파라콤팩트성을 증명한다.

실험 결과

연구 질문

• RQ1 위상 스택의 호모토피 유형은 아틀라스 선택에 의존하지 않고 어떻게 정의할 수 있는가?
• RQ2 어떤 조건을 만족해야 스택의 호모토피 유형이 잘 정의되고 함수적으로 작용하는가?
• RQ3 호모토피 유형에서 스택으로의 보편적인 약한 동형사상을 구성할 수 있으며, 만약 가능하면 어떤 의미에서 가능한가?
• RQ4 호모토피 유형 함수는 스택 간 사상의 조율성과 2-동형사상과 어떻게 상호작용하는가?
• RQ5 실현된 분류 공간이 잘 행동하기 위해 필요한 위상적 성질(예: 파라콤팩트성)은 무엇인가?

주요 결과

• 파라콤팩트 군oids로 표현 가능한 위상 스택의 소형 2-카테고리 𝒮에 대해, τ≤1𝒮 → Top로의 호모토피 유형 함수 Ho가 존재한다.
• 스택의 호모토피 유형은 호모토피와 2-동형사상에 대해 잘 정의되며, 이를 나타내는 것은 표현 군oids 𝒢의 분류 공간 B𝒢이다.
• 함수 Ho는 조율성과 호환된다: 두 사상이 조율 가능하면, Ho에 의한 그들의 상은 호모토피이다.
• 이 구성은 표준 호모토피 카테고리 함수 Top → Ho(Top)와 위상군 G ↦ BG로 보내는 함수를 모두 확장한다.
• 보편적인 약한 동형사상 η: Ho(𝒳) → 𝒳가 존재하지만, 이는 수축 가능 선택과 2-동형사상에 대해만 존재하며, 엄밀한 자연 변환으로서는 존재하지 않는다.
• 파라콤팩트 하우스도르프 성분을 갖는 단체 위상 공간의 두꺼운 실현은 파라콤팩트하며, 이는 분류 공간의 양호한 위상적 행동을 보장한다.