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

Some remarks on Grothendieck pairs

Hopf Algebras with Rigid Dualizing Complexes

Duality for generalized Gan-Gross-Prasad relevant pairs for $p$-adic $\mathrm{GL}_n$

The asymptotic Hecke algebra and rigidity

Positive positive-definite functions and measures on locally compact abelian groups

HOMOLOGY RIGIDITY OF GRASSMANNIANS

Moduli of $\mathbb{Q}$-Gorenstein pairs and applications

One-sided Frobenius pairs in extriangulated categories

Variations of generalised pairs

On p-torsions of geometric Brauer groups

Moduli of Q-Gorenstein pairs and applications

On bases of certain Grothendieck groups, II

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

Lie pairs

Coarse Alexander duality for pairs and applications

Some properties of Lubin-Tate cohomology for classifying spaces of finite groups

On the homotopy theory of Grothendieck \infty-groupoids

Relative Auslander--Gorenstein Pairs

Some remarks on real minimal nilpotent orbits and symmetric pairs

On quasi-Frobenius pairs of finite Morley rank

Non-perfect pairings between Hecke algebra and modular forms over function fields