Open Research Index

Topological isomorphism of procountable groups is universal analytic

Xinan Dai, Wenhao Deng, Yingdong Shi, Tailin Wu, Yuchen Yang

arXivarxiv/2609.20890Sep 17, 2026math.GRscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2609.20890
curl -X POST /api/v1/records/arxiv/2609.20890/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.20890/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'