Abstract:We characterize the smallest finite spaces with the same homotopy groups of the spheres. Similarly, we describe the minimal finite models of any finite graph. We also develop new combinatorial techniques based on finite spaces to study classical invariants of general topological spaces.
What problem does this paper attempt to address?
The main problems that this paper attempts to solve are:
1. **Characterization of minimal finite models**: The article aims to describe the minimal finite spaces with the same homotopy groups as the sphere, and similarly, to describe the minimal finite models of any finite graph. Specifically:
- For the sphere \( S^n \), the article proves that any space with the same homotopy groups as \( S^n \) has at least \( 2n + 2 \) points, and \( S_nS_0 \) is the only space with \( 2n + 2 \) points that satisfies this property.
- For the finite graph \( n \bigvee_{i = 1} S^1 \), the article gives the specific conditions for its minimal finite model, including height, number of points, and number of edges.
2. **Development of combinatorial techniques**: The article also develops new combinatorial techniques based on finite spaces for studying invariants of classical topological spaces. These tools are more effective in many cases than the methods of traditional simplicial complexes and cell spaces.
3. **Answering Osaki's conjecture**: The article proves by a counterexample that the answer to the problem about the reduction method of finite spaces proposed by Osaki is negative, that is, not every finite \( T_0 \) space can be reduced to the minimal space with the same homotopy groups through a series of reduction methods.
### Summary of specific problems
- **Minimal finite model of the sphere**:
- Theorem 1.1 shows that any space with the same homotopy groups as \( S^n \) has at least \( 2n + 2 \) points, and \( S_nS_0 \) is the only space with \( 2n + 2 \) points that satisfies this property.
- **Minimal finite model of the finite graph**:
- Theorem 1.2 gives the specific conditions for the minimal finite model of the finite graph \( n \bigvee_{i = 1} S^1 \), including height \( h(X)=2 \), number of points \( #X = \min\{i + j\mid (i - 1)(j - 1)\geq n\} \), and number of edges \( #E(H(X))= #X + n - 1 \).
- **Application of combinatorial tools**:
- The article shows how to use the combinatorial tools of finite spaces to calculate the fundamental group of finite \( T_0 \) spaces and proves the effectiveness of these tools in homotopy theory.
By solving these problems, the article not only provides specific mathematical results but also provides a new set of combinatorial methods for the study of algebraic topology.