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

Automorphism groups of prime models, and invariant measures

Measures Defined on Quantum Logics of Sets

The short exact sequence in definable Galois cohomology

Positive positive-definite functions and measures on locally compact abelian groups

When invariance implies exchangeability (and applications to invariant Keisler measures)

Quasi-invariant measures concentrating on countable structures

The definable content of homological invariants I: Ext and lim1

Approximate equivalence relations

A determinant for automorphisms of groups

Undefinability and Absolute Undefinability in Arithmetic

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

Conjugating trivial automorphisms of $\mathcal P(\mathbb N)/\mathrm{Fin}$

The structure of generic automorphisms of the random poset

First-Order Quantification over Automata

From invariant measures to orbit equivalence, via locally finite groups

Definable convolution and idempotent Keisler measures III. Generic stability, generic transitivity, and revised Newelski's conjecture

On the representation theory of the symmetry group of the Cantor set

A Halmos-von Neumann theorem for actions of general groups

Existentially closed measure-preserving actions of free groups

Measure rigidity for algebraic bipermutative cellular automata

Group of automorphisms for strongly quasi invariant states