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

Homology of strict polynomial functors over Fp-linear additive categories

The homology of additive functors in prime characteristic

Cohomology of bifunctors

Polynomial functors on some categories of elements

Diffuse radio emission in a REFLEX cluster

Rabinowitz Floer homology as a Tate vector space

Fray functors and equivalence of colored HOMFLYPT homologies

Lefschetz theorems in flat cohomology and applications

Completely bounded homomorphisms of the Fourier algebra revisited

Galois theory and homology in quasi-abelian functor categories

Functorial languages in homological algebra and the lower central series

Sur la structure des repr{é}sentations g{é}n{é}riques des groupes lin{é}aires infinis

Faltings’ main p -adic comparison theorems for non-smooth schemes

Koszul homology of $F$-finite module and applications

Homological properties of the relative Frobenius morphism

The definable content of homological invariants I: Ext and lim1

Higher Hochschild homology and exponential functors

Homological algebra of semimodules and semicontramodules: Semi-infinite homological algebra of associative algebraic structures

Homologie polygraphique des systèmes locaux

On the functorial properties of the p-analog of the Fourier-Stieltjes algebras and their homomorphisms

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