Abstract:This is the first installment in a series of papers in which we illustrate how classical invariants of homological algebra and algebraic topology can be enriched with additional descriptive set-theoretic information. To effect this enrichment, we show that many of these invariants can be naturally regarded as functors to the category, introduced herein, of groups with a Polish cover. The resulting definable invariants provide far stronger means of classification. In the present work we focus on the first derived functors of $\mathrm{Hom}(-,-)$ and $\mathrm{lim}(-)$. The resulting definable $\mathrm{Ext}(B,F)$ for pairs of countable abelian groups $B,F$ and definable $\mathrm{lim}^{1}(\boldsymbol{A})$ for towers $\boldsymbol{A}$ of Polish abelian groups substantially refine their classical counterparts. We show, for example, that the definable $\textrm{Ext}(-,\mathbb{Z})$ is a fully faithful contravariant functor from the category of finite rank torsion-free abelian groups $\Lambda$ with no free summands; this contrasts with the fact that there are uncountably many non-isomorphic such groups $\Lambda$ with isomorphic classical invariants $\textrm{Ext}(\Lambda,\mathbb{Z}) $. To facilitate our analysis, we introduce a general Ulam stability framework for groups with a Polish cover and we prove several rigidity results for non-Archimedean abelian groups with a Polish cover. A special case of our main result answers a question of Kanovei and Reeken regarding quotients of the $p$-adic groups. Finally, using cocycle superrigidity methods for profinite actions of property (T) groups, we obtain a hierarchy of complexity degrees for the problem $\mathcal{R}(\mathrm{Aut}(\Lambda)\curvearrowright\mathrm{Ext}(\Lambda,\mathbb{Z}))$ of classifying all group extensions of $\Lambda$ by $\mathbb{Z}$ up to base-free isomorphism, when $\Lambda =\mathbb{Z}[1/p]^{d}$ for prime numbers $p$ and $ d\geq 1$.

Nice enumerations and extreme amenability

Bulk and surface low-energy excitations in YBa2Cu3O7-d studied by high-resolution angle-resolved photoemission spectroscopy

Extremely amenable automorphism groups of countable structures

Extensive approach to absolute homogeneity

Topological finiteness properties of monoids. Part 2: special monoids, one-relator monoids, amalgamated free products, and HNN extensions

Almost 1-1 extensions of Furstenberg-Weiss type and test for amenability

Amenability and profinite completions of finitely generated groups

The weak Ramsey property and extreme amenability

Uniform Borel amenability is equivalent to randomized hyperfiniteness

Beyond Borel-amenability: scales and superamenable reducibilities

A note on topological amenability

Amenability, Bilipschitz Maps, and the Von Neumann conjecture

Amenability for unitary groups of simple monotracial C*-algebras

Quasi-invariant measures concentrating on countable structures

The definable content of homological invariants I: $\mathrm{Ext}$ & $\mathrm{lim}^1$

The definable content of homological invariants I: Ext and lim1

An introduction to monomorphism categories

The Amalgamation Property for automorphisms of ordered abelian groups

On invariant means and pre-syndetic subgroups

The invariant random order extension property is equivalent to amenability

Effective Categorical Enumerative Invariants