[논문 리뷰] Foundations of Topological Stacks I

Behrang Noohi|ArXiv.org|2005. 03. 13.

Homotopy and Cohomology in Algebraic Topology참고 문헌 5인용 수 96

한 줄 요약

이 논문은 국소적으로 연결되고 국소적으로 1-연결인 위상 스택의 기본 호모토피 이론을 수립하며, 위상 스택의 막힘 공간에 대한 호모토피 군과 갈루아 이론을 도입한다. 또한 복소대수적 스택의 대수적 기본군이 그에 대응하는 위상 스택의 기본군의 프로피니트 완비화와 동형임을 보여주는 리emann 존재 정리를 증명함으로써, 대수적 및 위상적 불변량을 연결한다.

ABSTRACT

This is the first in a series of papers devoted to foundations of topological stacks. We begin developing a homotopy theory for topological stacks along the lines of classical homotopy theory of topological spaces. In this paper we go as far as introducing the homotopy groups and establishing their basic properties. We also develop a Galois theory of covering spaces for a (locally connected semilocally 1-connected) topological stack. Built into the Galois theory is a method for determining the stacky structure (i.e., inertia groups) of covering stacks. As a consequence, we get for free a characterization of topological stacks that are quotients of topological spaces by discrete group actions. For example, this give a handy characterization of good orbifolds. Orbifolds, graphs of groups, and complexes of groups are examples of topological (Deligne-Mumford) stacks. We also show that any algebraic stack (of finite type over $\mathbb{C}$) gives rise to a topological stack. We also prove a Riemann Existence Theorem for stacks. In particular, the algebraic fundamental group of an algebraic stack over $\mathbb{C}$ is isomorphic to the profinite completion of the fundamental group of its underlying topological stack. The next paper in the series concerns function stacks (in particular loop stacks) and fibrations of topological stacks. This is the first in a series of papers devoted to foundations of topological stacks.

연구 동기 및 목표

• 기본적인 위상공간 호모토피 이론과 유사한 체계적인 위상 스택에 대한 호모토피 이론을 개발하기 위해.
• 위상 스택의 막힘 공간에 대한 갈루아 이론을 수립하며, 막힘 스택의 관성군을 결정하는 방법을 포함하기 위해.
• 복소수 위상의 대수적 스택이 위상 스택을 유도함으로써 위상 불변량의 이동을 가능하게 하기 위해.
• 스택에 대한 리emann 존재 정리를 증명하여, 대수적 스택의 유한 에탈 커버링이 그 위상적 대응체의 유한 막힘 스택과 정확히 일치함을 보이기 위해.
• 기존 이론들인 오르비포드, 그룹의 그래프, 복합체의 그룹을 위상 스택의 프레임워크 아래 통합 및 일반화하기 위해.

제안 방법

• 모리타 동치를 통한 군oids로서의 위상 스택을 도입하며, 국소 피브레이션과 표현 가능 사상에 중점을 둔다.
• 단체 해상화의 기하적 실현을 통해 위상 스택의 호모토피 군을 정의한다.
• 연결 성분의 곱과 관성군을 핵심 불변량으로 사용하여 막힘 공간에 대한 갈루아 이론을 구성한다.
• 일반 모듈리 공간과 열린 차트의 개념을 사용하여 스택 이론적 구성과 위상공간 간의 관계를 규명한다.
• 표현 가능성 기준을 증명하고, 이를 통해 위상 스택의 막힘 사상이 위상 리emann 존재 정리를 통해 대수적 유한 에탈 커버링으로 올리기 위한 방법을 사용한다.
• 유한 에탈 사상의 대수적 스택과 그 위상 실현의 유한 막힘 스택 사이의 2-카테고리 동치를 수립한다.

실험 결과

연구 질문

• RQ1 기본적인 위상공간 호모토피 이론을 모방하는 체계적인 위상 스택에 대한 호모토피 이론은 어떻게 체계적으로 개발할 수 있는가?
• RQ2 위상 스택의 막힘 스택 분류에서 관성군의 역할은 무엇인가?
• RQ3 스킴에서의 리emann 존재 정리는 그 위상 실현을 통해 대수적 스택으로 확장될 수 있는가?
• RQ4 위상 스택의 이론은 오르비포드, 그룹의 그래프, 복합체의 그룹과 같은 기존 구조를 어떻게 통합하고 일반화하는가?
• RQ5 복소대수적 스택의 대수적 기본군과 그 기저 위상 스택의 기본군의 프로피니트 완비화 사이의 정확한 관계는 무엇인가?

주요 결과

• C 위의 연결된 대수적 스택의 대수적 기본군은 그에 대응하는 위상 스택의 기본군의 프로피니트 완비화와 동형이다.
• C 위의 대수적 스택에 대한 유한 에탈 사상은 정확히 그 위상 실현의 유한 막힘 스택과 대응되며, 이는 카테고리의 동치를 이룬다.
• 막힘 스택의 갈루아 이론은 기저 스택의 기본군으로부터 막힘 스택의 관성군을 계산하는 방법을 제공한다.
• 유한형인 복소수 위상의 대수적 스택은 기저 군oids의 해석화를 통해 위상 스택으로 유도된다.
• 이론은 오르비포드, 그룹의 그래프, 복합체의 그룹을 위상 스택(델리-무미 포인트)의 특수한 경우로 통합한다.
• 대수적 스택에 대응하는 위상 스택는 호모토피적 구조를 유지하며, 이를 통해 위상 불변량을 대수적 환경으로 이동시킬 수 있다.