Abstract:Abstract This is the first installment in a series of papers illustrating how classical invariants of homological algebra and algebraic topology may be enriched with additional descriptive set theoretic information. To effect this enrichment, we show that many of these invariants may 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 and . The resulting definable for pairs of countable abelian groups and definable for towers of Polish abelian groups substantially refine their classical counterparts. We show, for example, that the definable is a fully faithful contravariant functor from the category of finite‐rank torsion‐free abelian groups with no free summands; this contrasts with the fact that there are uncountably many non‐isomorphic such groups with isomorphic classical invariants . To facilitate our analysis, we introduce a general Ulam stability framework for groups with a Polish cover; within this framework 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 ‐adic groups. Finally, using cocycle superrigidity methods for profinite actions of property (T) groups, we obtain a hierarchy of complexity degrees for the problem of classifying all group extensions of by up to base‐free isomorphism , when for prime numbers and .

Complexity classes of Polishable subgroups

Polish group actions and effectivity

Classification Strength of Polish Groups I: Involving $S_\infty$

Computably locally compact groups and their closed subgroups

Closed approximate subgroups: compactness, amenability and approximate lattices

Polish Topologies for Graph Products of Groups

Spin alignments of vector mesons in deeply inelastic lepton-nucleon scattering

Key subgroups in the Polish group of all automorphisms of the rational circle

Polish G-spaces and continuous logic

Non-Archimedean TSI Polish groups and their potential Borel complexity spectrum

Polish topologies on groups of non-singular transformations

On surjectively universal Polish groups

Haar-$\mathcal I$ sets: looking at small sets in Polish groups through compact glasses

Chief factors in Polish groups

Compactifiable classes of compacta

The definable content of homological invariants I: Ext and lim1

Generalized Polish spaces at regular uncountable cardinals

Degree spectra of homeomorphism types of compact Polish spaces

Every Polish group has a non-trivial topological group automorphism

Homological algebra of pro-Lie Polish abelian groups

The open mapping principle for partial actions of polish groups