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$.

Extending Strongly Ulam Stable Groups and Towards Inductivity

Ulam stability of lamplighters and Thompson groups

Ultrametric analogues of Ulam stability of groups

An analytic version of stable arithmetic regularity

Ulam stability of Jensen functional inequality in groups

Homological stability for general linear groups over Dedekind domains

Stable functions and Følner's Theorem

On Ulam widths of finitely presented infinite simple groups

Inner ultrahomogeneous groups

Asymptotic Cohomology and Uniform Stability for Lattices in Semisimple Groups

Quantitative structure of stable sets in finite abelian groups

A sharp multiplier theorem for solvable extensions of Heisenberg and related groups

Analogues of Iwasawa’s $\mu = 0$ Conjecture and the Weak Leopoldt Conjecture for a Non-Cyclotomic $\Mathbb{z}_2$-Extension

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

Characteristic ideal of the fine Selmer group and results on $μ$-invariance under isogeny in the function field case

Stable finiteness of ample groupoid algebras, traces and applications

Strong u-invariant and Period-Index bound for complete ultrametric fields

Uniform twisted homological stability

The definable content of homological invariants I: Ext and lim1

On passage to over-groups of finite indices of the Farrell-Jones conjecture