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$.
Categories: math.LO math.AT math.DS math.KT