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.

The $E_2^{hC_6}$-homology of $\mathbb{R}P_2$ and $\mathbb{R}P_2 \wedge \mathbb{C}P_2$

$RO(G)$-graded homotopy fixed point spectral sequence for height $2$ Morava $E$-theory

The Goodwillie tower and the EHP sequence

The Morava E-theory of Eilenberg-Mac Lane spaces

Cdh Descent for Homotopy Hermitian $K$-Theory of Rings with Involution

On the Cohomology of the Mapping Class Group of the Punctured Projective Plane

Duals of higher real $K$-theories at $p=2$

$ \mathbb{Z}_{2} $- homology of the orbit spaces $ G_{n,2}/ T^{n} $

Vanishing lines in chromatic homotopy theory

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

Brown-Peterson cohomology from Morava E-theory

Algebraic K-theory of elliptic cohomology

Cyclic cohomology of entwining structures

The Real-oriented cohomology of infinite stunted projective spaces

The Lubin–Tate theory of configuration spaces: I

Two results on Eisenstein part of homology and cohomology groups of Bianchi modular groups

Bigraded Poincaré polynomials and the equivariant cohomology of Rep($C_2$)-complexes

Higher Specht bases and $q$-series for the cohomology rings of certain Hessenberg varieties

Tate cohomology of connected k-theory for elementary abelian groups revisited

On a Spectral Sequence for Twisted Cohomologies

On the de Rham homology of affine varieties in characteristic 0