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.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to establish a systematic theoretical basis for topological stacks, especially their homotopy theory. Specifically, the author aims to:
1. **Develop the homotopy theory of topological stacks**: Similar to the homotopy theory of classical topological spaces, the author introduced homotopy groups for topological stacks and established their basic properties. This includes defining homotopy groups and studying the properties of these groups.
2. **Establish the Galois theory of covering spaces**: The author developed a Galois theory for locally connected and semi - locally 1 - connected topological stacks to determine the stack structure of covering stacks (i.e., the inertia group). This theory provides a method to characterize topological stacks obtained by the action of discrete groups, such as good orbifolds.
3. **Unify concepts from different fields into topological stacks**: The paper shows how to unify concepts such as algebraic stacks, orbifolds, and graphs of groups into the framework of topological stacks. In particular, the author proved that any complex algebraic stack of finite type can induce a topological stack and discussed results related to the Riemann existence theorem.
4. **Solve problems in topology and differential geometry**: By introducing the concept of topological stacks, the author hopes to provide a natural framework for the theory of topological and differential groupoids and apply the tools of algebraic topology to study these problems.
5. **Handle the pathological behavior of quotient spaces**: Traditional quotient space constructions may lead to information loss or pathological behavior, while the stack method can handle these problems better, especially in the presence of fixed points.
### Formula Examples
- **Definition of Homotopy Groups**:
For a topological stack \(X\) and a base point \(x\), the homotopy group \(\pi_{n}(X, x)\) is defined as the set of mapping classes from \((D^{n}, S^{n - 1})\) to \((X, x)\), where \(D^{n}\) is the unit closed ball and \(S^{n - 1}\) is its boundary. Represented in Markdown formula:
\[
\pi_{n}(X, x)=[(D^{n}, S^{n - 1}), (X, x)]
\]
- **Action of the Inertia Group**:
The inertia group \(I_{x}\) acts on the homotopy group \(\pi_{1}(X, x)\), and the specific relationship is:
\[
I_{x}\to\pi_{1}(X, x)
\]
This mapping is very important for understanding the relationship between local invariants (such as residual sheaves) and global invariants (such as homotopy groups).
In conclusion, the main goal of this paper is to establish a solid theoretical basis for topological stacks, enabling them to be applied to various mathematical fields and providing tools and frameworks for future research.