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 .

The construction principle and non homogeneity of uncountable relatively free groups

Homogeneity in the free group

Uncountable homogeneous structures

$\aleph_1$-free abelian non-Archimedean Polish groups

Torsion-free abelian groups are faithfully Borel complete and pure embeddability is a complete analytic quasi-order

Homotopy braid groups are torsion-free

Discrete subgroups of normed spaces are free

Homogeneity of torsion-free hyperbolic groups

The definable content of homological invariants I: Ext and lim1

Reconstructing a set from its subset sums: $2$-torsion-free groups

Anti-Classification Results for Rigidity Conditions in Abelian and Nilpotent Groups

Non-bi-orderable one-relator groups without generalized torsion

ON TOTALLY LOCAL FORMATIONS OF GROUPS

Virtually free-by-cyclic groups

Finitely generated infinite torsion groups that are residually finite simple

Hereditarily just-infinite torsion groups with positive first $\ell^2$-Betti number

An algebraic criterion for the vanishing of bounded cohomology

Some torsion-free solvable groups with few subquotients

A construction of uncountably many finitely generated simple groups of homeomorphisms of the circle

The classification problem for extensions of torsion-free abelian groups, I

A real chain condition for groups