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.

Controlled objects in left-exact $\infty$-categories and the Novikov conjecture

Sheaves of Higher Categories on Generalised Spaces

Hilbert-Hadamard spaces and the equivariant coarse Novikov conjecture

Categorical approach to the Baum-Connes conjecture for étale groupoids

Controlled $K$-theory and $K$-Homology

A Categorical Approach To The Baum–Connes Conjecture For Étale Groupoids

On finite group scheme-theoretical categories, II

Parametrised noncommutative motives and equivariant cubical descent in algebraic K-theory

On the K-theory of $\mathbb{Z}$-categories

$\infty$-operadic foundations for embedding calculus

The definable content of homological invariants II: Čech cohomology and homotopy classification

Microlocal categories over Novikov rings

Nonstandard model categories and homotopy theory

Topologization and Functional Analytification III

Cofinality Theorems of Infinity Categories and Algebraic K-Theory

$(\infty,2)$-Topoi and descent

Equivariant Khovanov homotopy types

Self-similar groupoid actions on k-graphs, and invariance of K-theory for cocycle homotopies

A Quillen adjunction between globular and complicial approaches to $(\infty,n)$-categories

On a sequence of Grothendieck groups

Homological algebra in bivariant K-theory and other triangulated categories