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

Pure extensions of locally compact abelian groups

On t-extensions of abelian groups

Totally disconnected locally compact groups locally of finite rank

Neat locally compact abelian p-groups

Coarse structures on locally compact abelian groups

On extremal problems of Delsarte type for positive definite functions on LCA groups

Grothendieck groups in extriangulated categories

Normalizer decompositions of p-local compact groups

New criteria for equivalence of locally compact abelian groups

Homological algebra of pro-Lie Polish abelian groups

Central extensions of preordered groups

Locally compact piecewise full groups of homeomorphisms

On the dearth of coproducts in the category of locally compact groups

Pragmatic finiteness properties of locally compact groups

Exotic C*-algebras of geometric groups

LCA(2), Weil index, and product formula

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

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

Nonstable K–theory for Extension Algebras of the Simple Purely Infinite C^–algebra by Certain C^–algebras

Some properties of Lubin-Tate cohomology for classifying spaces of finite groups

Essential subgroups and essential extensions