Abstract:This is the second installment in a series of papers applying descriptive set theoretic techniques to both analyze and enrich classical functors from homological algebra and algebraic topology. In it, we show that the Čech cohomology functors $\check{\mathrm{H}}^n$ on the category of locally compact separable metric spaces each factor into (i) what we term their definable version, a functor $\check{\mathrm{H}}^n_{\mathrm{def}}$ taking values in the category $\mathsf{GPC}$ of groups with a Polish cover (a category first introduced in this work's predecessor), followed by (ii) a forgetful functor from $\mathsf{GPC}$ to the category of groups. These definable cohomology functors powerfully refine their classical counterparts: we show that they are complete invariants, for example, of the homotopy types of mapping telescopes of $d$-spheres or $d$-tori for any $d\geq 1$, and, in contrast, that there exist uncountable families of pairwise homotopy inequivalent mapping telescopes of either sort on which the classical cohomology functors are constant. We then apply the functors $\check{\mathrm{H}}^n_{\mathrm{def}}$ to show that a seminal problem in the development of algebraic topology, namely Borsuk and Eilenberg's 1936 problem of classifying, up to homotopy, the maps from a solenoid complement $S^3\backslash\Sigma$ to the $2$-sphere, is essentially hyperfinite but not smooth.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is in homological algebra and algebraic topology, how to analyze and enrich classical functors, especially the Čech cohomology functor, through the techniques of descriptive set theory. Specifically, the goal of the paper is to show how the defined version of the Čech cohomology functor on locally compact separable metric spaces (i.e., the functor in the group category with Polish coverings) can classify the homotopy types of these spaces more finely, and in some cases, these defined versions of the cohomology functor provide stronger invariants than the classical cohomology functor.
### Main problems:
1. **Definition content of homological invariants**:
- The paper studies how to use the techniques of descriptive set theory to analyze and enrich classical functors in homological algebra and algebraic topology, especially the Čech cohomology functor.
- The author shows that the Čech cohomology functor can be decomposed into two parts: first, the defined version of the Čech cohomology functor, which takes values in the group category with Polish coverings (GPC), and then a forgetful functor from GPC to the group category.
2. **Homotopy classification problem**:
- The author proves that the defined version of the Čech cohomology functor can completely classify the homotopy types of certain specific spaces (such as mapping telescopes).
- For example, for any \( d \geq 1 \), the defined version of the Čech cohomology functor can completely classify the homotopy types of the mapping telescopes of non - trivial inductive sequences of \( d \)-spheres, while the classical Čech cohomology functor may be constant on these spaces.
3. **Borsuk - Eilenberg problem**:
- The author studies a classical problem proposed by Borsuk and Eilenberg in 1936, that is, to classify the homotopy classes of maps from the space obtained by removing a p - adic torus from the 3 - sphere to the 2 - sphere.
- Through the defined version of the Čech cohomology functor, the author proves that this problem is essentially hyperfinite, but not smooth.
### Formulas and symbols:
- **Defined version of the Čech cohomology functor**: \[ \check{H}_n^{\text{def}} : \text{LC} \to \text{GPC} \]
- **Classical Čech cohomology functor**: \[ \check{H}_n : \text{LC} \to \text{Grp} \]
- **Mapping telescope**: \[ \text{colim}(S^d_1 \to S^d_2 \to \cdots) \]
- **Homotopy class**: \[ [X, Y] \]
- **Ext functor**: \[ \text{Ext}(Z[1/p], Z) \]
### Conclusion:
By introducing the defined version of the Čech cohomology functor, the paper not only deepens the theoretical understanding of homological invariants, but also provides a more powerful tool in practical applications to classify and study homotopy types. These results are not only of great significance in algebraic topology, but also provide a new perspective for classification problems in other mathematical fields.