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

Tame filling invariants for groups

Intrinsic tame filling functions are equivalent to intrinsic diameter functions

On Fundamental Groups of Finsler Manifolds

Satake's good basic invariants for finite complex reflection groups

The definable content of homological invariants I: Ext and lim1

Finite Germ Extensions

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

Pattern preserving quasi-isometries in lamplighter groups and other related groups

On tamely ramified infinite Galois extensions

Invariant for Sets of Pfister Forms

Centers of subgroups of big mapping class groups and the Tits alternative

Finiteness properties of some groups of local similarities

Thermoelectric Properties of Disordered Systems

The symmetry of finite group schemes, Watanabe type theorem, and the $a$-invariant of the ring of invariants

Good Basic Invariants and Frobenius Structures

Invariant splitting principles for the Lipshitz--Ozsváth--Thurston correspondence

An Invariant Related To The Existence Of Conformally Compact Einstein Fillings

Quasi-Automorphism Groups of Type F-infinity

Bounded $t$-structures, finitistic dimensions, and singularity categories of triangulated categories

Deformation of Fuchsian representations and proper affine actions

Ample groupoids, topological full groups, algebraic K-theory spectra and infinite loop spaces