[논문 리뷰] Orbifolds as Groupoids: an Introduction

Ieke Moerdijk|ArXiv.org|2002. 03. 11.

Homotopy and Cohomology in Algebraic Topology참고 문헌 29인용 수 154

한 줄 요약

이 논문은 리 군oids의 프레임워크를 통해 궤도다양체를 소개하며, 군oids가 호모토피 유형, K-이론, 층 코homology, 브레돈 코homology와 같은 궤도다양체 불변량을 정의하고 연구하는 데 있어 전역적이고 통합적인 언어를 제공함을 보여준다. 주요 기여는 순환 군oids를 통한 관성 궤도다양체의 구축으로, 이는 자연스럽게 공轭류를 포함하고 표현 이론 및 비가환 기하학의 콘볼루션 대수를 통해 연결된다.

ABSTRACT

This is a survey paper based on my talk at the Workshop on Orbifolds and String Theory, the goal of which was to explain the role of groupoids and their classifying spaces as a foundation for the theory of orbifolds.

연구 동기 및 목표

• 리 군oids를 사용하여 궤도다양체 이론에 체계적이고 전역적인 프레임워크를 구축함으로써, 국소 차트 구성의 수월한 접근 방식을 대체한다.
• 군oids 기반의 표현을 통해 궤도다양체와 층 코homology, K-이론, 브레돈 코hom로의 관계를 명확히 한다.
• 순환 군oids를 순환 군oids의 군oids로부터 자연스럽게 유도되는 표준적 구성으로서 정의하고 특성화한다.
• 군oids의 콘볼루션 대수를 통해 궤도다양체 불변량을 비가환 기하학과 연결한다.
• 군oids의 모리타 동치가 궤도다양체의 동형사상과 대응됨을 보여주어, 동치 표현 간의 일관성을 확보한다.

제안 방법

• 객체가 점이고 화살표가 국소 군 작용을 나타내는, 적절한 에탈 리 군oids로 궤도다양체를 표현한다.
• 군oids의 분류 공간을 신경 구성으로 통해 궤도다양체의 호모토피 유형을 캡처한다.
• 군oids 위에서의 동치층의 유도 범주를 사용하여 궤도다양체의 층 코homology를 정의한다.
• 순환 공간 $S_G = \{g \in G_1 \mid s(g) = t(g)\}$에서 원천 및 목적지 사상의 풀백을 통해 순환 군oids $\Lambda(G)$를 구성하고, $S_G \rtimes G$를 형성한다.
• 레라 스펙트럴 시퀀스를 적용하여 순환 군oids의 코homology와 이소트로피 군사 및 그 중심화군의 군 코homology를 연결한다.
• 군oids 위의 컴acts지지된 미분가능 함수의 콘볼루션 대수 $C^\infty_c(G)$를 사용하여 비가환 불변량을 정의하고, 주기적 순환 코hom로와 케른 차수와 연결한다.

실험 결과

연구 질문

• RQ1 어떻게 리 군oids를 체계적으로 사용하여 궤도다양체의 위상수학적 및 기하학적 불변량을 통합적으로 기술할 수 있는가?
• RQ2 관성 군oids는 궤도다양체 코homology에서 공轭류와 표현론적 자료를 어떻게 포함하는가?
• RQ3 군oids의 분류 공간은 궤도다양체의 호모토피 유형을 어떻게 복원하는가?
• RQ4 투영 $\beta: \Lambda(G) \to G$를 沿한 유도된 푸시포워드는 궤도다양체의 브레돈 코hom로와 어떤 식으로 관련되는가?
• RQ5 군oids의 콘볼루션 대수는 비가환 기하학과 궤도다양체 K-이론의 케른 차수와 어떻게 연결되는가?

주요 결과

• 관성 궤도다양체 $\Lambda(\underline{X})$ 는 모리타 동치에 대해 잘 정의되어 있으며, 궤도다양체 $\underline{X}$ 를 표현하는 임의의 군oids $G$ 에 대해 $\Lambda(G)$ 가 나타내는 궤도다양체와 대응된다.
• 점 $x$ 에서의 고차 유도 이미지 $R^i(q\beta)_*(\mathbb{C})$ 는 이소트로피 군 $G_x$ 의 공轭류 $(g)$ 에 대해 $H^i(Z(g), \mathbb{C})$ 의 곱과 동형이며, 이는 순환 군oids의 코homology와 이러한 불변량을 연결하는 스펙트럴 시퀀스를 이끈다.
• 콤���한 궤도다양체에 대해 케른 차수는 $K^\nu(G) \otimes \mathbb{C} \to \prod_i H^{2i+\nu}(|G|, \underline{R}_{\mathbb{C}})$ 에 대해 동형사상이 되며, 여기서 $\underline{R}_{\mathbb{C}}$ 는 복소 표현 링의 층이다.
• 층 $R^0(q\beta)_*(\mathbb{C})$ 는 이소트로피 군의 공轭류 함수의 층과 동형이며, 표현 링 $R_{\mathbb{C}}(G_x)$ 와 일치하여 브레돈 코hom로와의 연결 고리를 확립한다.
• 비가환 케른 차수는 콘볼루션 대수 $C^\infty_c(G)$ 의 주기적 순환 코hom로를 통해 인식되며, 비가환 기하학으로의 다리를 제공한다.
• 점 $x$ 에서의 유도된 푸시포워드 $R^i\beta_*(B)$ 는 $H^i(G_x, B_x)$ 와 동형이며, 이는 관성 구성이 자연스럽게 동치 코hom로적 자료를 포괄함을 보여준다.