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

Extensions of definable local homomorphisms in o‐minimal structures and semialgebraic groups

Definability of continuous isomorphisms of groups definable in o-minimal expansions of the real field

Finite central extensions of o-minimal groups

Definable compactness in definably complete locally o-minimal structures

A Jordan-Chevalley decomposition beyond algebraic groups

On Groups And Fields Definable In -H-Minimal Fields

Definable Tietze extension property in o-minimal expansion of ordered group

Schwartz Homologies of Representations of Almost Linear Nash Groups

On definable groups and D -groups in certain fields with a generic derivation

The definable content of homological invariants I: Ext and lim1

Extension realizing affine datum: low-dimensional cohomology

The short exact sequence in definable Galois cohomology

On groups and fields definable in 1-h-minimal fields

Locally approximating groups of homeomorphisms of manifolds

Decomposable ordered groups

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

Local versus global Lipschitz geometry

Extension of relative rigid homomorphisms from the formal multiplicative group

Local duality theorems for commutative algebraic groups

Central extensions of preordered groups

Approximation and zero set of definable functions in a definably complete locally o-minimal structure