Abstract:Relying on the techniques and ideas from our recent paper [13], we prove several anti-classification results for various rigidity conditions in countable abelian and nilpotent groups. We prove three main theorems: (1) the rigid abelian groups are complete co-analytic in the space of countable torsion-free abelian groups ($\mathrm{TFAB}_\omega$); (2) the Hopfian groups are complete co-analytic in $\mathrm{TFAB}_\omega$; (3) the co-Hopfian groups are complete co-analytic in the space of countable $2$-nilpotent groups. In combination with our result from [13, S5], which shows that the endo-rigid abelian groups are complete co-analytic in $\mathrm{TFAB}_\omega$, this shows that four major notions of rigidity from (abelian) group theory are as complex as possible as co-analytic problems. Further, the second and third theorem above solve two open questions of Thomas from [18], who asked this for the space of all countable groups. We leave open the question of whether the co-Hopfian mixed abelian groups are complete co-analytic in the space of countable abelian groups, but we reduce the problem to a concrete question on profinite groups, showing that if $G$ is a countable co-Hopfian abelian reduced group, then, for every prime number $p$, the torsion subgroup $\mathrm{Tor}_p(G)$ of $G$ is finite and $G$ embeds in the profinite group $ \prod_{p \in \mathbb{P}} \mathrm{Tor}_p(G)$.

Frobenius rigidity in $\mathbb A^1$-homotopy theory

Rigidity Theorems on Odd Dimensional Manifolds

Towards $\mathbb{A}^1$-homotopy theory of rigid analytic spaces

Rigidity and Vanishing Theorems in K-theory

Rigidity and a Riemann–Hilbert Correspondence for P-Adic Local Systems

Anti-Classification Results for Rigidity Conditions in Abelian and Nilpotent Groups

The asymptotic Hecke algebra and rigidity

Torsion in $p$-adic étale cohomology: remarks and conjectures

Towards the $p$-adic Hodge theory for non-commutative algebraic varieties

Degenerations and limit Frobenius structures in rigid cohomology

On P^1-stabilization in unstable motivic homotopy theory

Cohomological Rigidity of Manifolds with Torus Actions: I

Rigidity of Ext and Tor via flat-cotorsion theory

Rigidity for Real Polynomials

Rational $p$-adic Hodge theory for rigid-analytic varieties

Cryptomorphisms for abstract rigidity matroids

Finiteness of cohomology of local systems on rigid analytic spaces

Homotopy invariance through small stabilizations

A $p$-adic local invariant cycle theorem with applications to Brauer groups

Obstructions to homotopy invariance of loop coproduct via parametrised fixed-point theory

Frobenius-Perron theory for projective schemes