{"id":"arxiv/2609.20890","url":"https://arxiv.org/abs/2609.20890","tags":["math.GR"],"score":0,"title":"Topological isomorphism of procountable groups is universal analytic","domain":"math.GR","source":"arxiv","authors":["Xinan Dai","Wenhao Deng","Yingdong Shi","Tailin Wu","Yuchen Yang"],"reviews":0,"subject":"math.GR","summary":"We prove that topological isomorphism of procountable groups is a universal analytic equivalence relation, answering a question of Gao, Nies, and Paolini. The same conclusion follows for non-Archimedean Polish groups. More strongly, there is one countable group $H$ for which universality already holds among inverse limits of sequences of surjective endomorphisms of $H$. Thus all the classification complexity can be carried by the bonding maps. We encode permutative equivalence of unconditional basic sequences by integer weights with prescribed symmetries. An extension of Gao, Nies, and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-17","reactions":{}}