Abstract:Abstract This is the first installment in a series of papers illustrating how classical invariants of homological algebra and algebraic topology may be enriched with additional descriptive set theoretic information. To effect this enrichment, we show that many of these invariants may 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 and . The resulting definable for pairs of countable abelian groups and definable for towers of Polish abelian groups substantially refine their classical counterparts. We show, for example, that the definable is a fully faithful contravariant functor from the category of finite‐rank torsion‐free abelian groups with no free summands; this contrasts with the fact that there are uncountably many non‐isomorphic such groups with isomorphic classical invariants . To facilitate our analysis, we introduce a general Ulam stability framework for groups with a Polish cover; within this framework 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 ‐adic groups. Finally, using cocycle superrigidity methods for profinite actions of property (T) groups, we obtain a hierarchy of complexity degrees for the problem of classifying all group extensions of by up to base‐free isomorphism , when for prime numbers and .

The filter of interpretability types of Hobby-McKenzie varieties is prime

Taylor is prime

The prismatic realization functor for Shimura varieties of abelian type

Schematic homotopy types and non-abelian Hodge theory

Mixed Hodge modules and real groups

Gröbner bases, symmetric matrices, and type C Kazhdan–Lusztig varieties

Unitary representations of real groups and localization theory for Hodge modules

Birational Motivic Homotopy Theories and the Slice Filtration

Kleinian singularities: some geometry, combinatorics and representation theory

A Silting Theorem

Schubert calculus and shifting of interval positroid varieties

The pure spectrum of a residuated lattice

Signed permutohedra, delta-matroids, and beyond

Representations from matrix varieties, and filtered RSK

McKinsey-Tarski Algebras: An alternative pointfree approach to topology

Schubert puzzles and integrability II: multiplying motivic Segre classes

The definable content of homological invariants I: Ext and lim1

Signed permutohedra, delta‐matroids, and beyond

Constant coefficient and intersection complex $L$-classes of projective varieties

Interpolation and moduli spaces of vector bundles on very general blowups of the projective plane