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

The Ohm-Rush content function

Test elements, excellent rings, and content functions

Content and Q-sequences in Mixed Characteristic Local Rings

Content Formulas for Power Series and Krull Domains

On left annihilating content polynomials and power series

Left EM rings

Subrings of polynomial rings and the conjectures of Eisenbud and Evans

Rings where a non-nilpotent sum of units is a unit

A note on the Jacobson radical of Ore extensions

Irrational behavior of algebraic discrete valuations

Sum-product phenomenon in quotients of rings of algebraic integers

On the kernel and the image of the rigid analytic regulator in positive characteristic

Restricted analytic valued fields with partial exponentiation

The definable content of homological invariants I: Ext and lim1

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

A Universal Property of the Spectrum of a Ring and the Semiring of its Ideals

Algebraization Techniques and Rigid-Analytic Artin-Grothendieck Vanishing

Completion procedures in measure theory

Congruence modules and the Wiles-Lenstra-Diamond numerical criterion in higher codimensions

Rational powers, invariant ideals, and the summation formula

Polyfunctions over commutative rings