The Borel complexity of conjugacy for Cantor minimal systems

Source: arxiv.org/abs/2609.12031

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

arXivarxiv/2609.12031Sep 10, 2026math.DSscore 0

We prove that conjugacy of minimal homeomorphisms of the Cantor space is Borel bireducible with isomorphism of countable graphs, answering the Cantor minimal case of a question of Foreman. We obtain the lower bound by encoding countably based profinite groups. Finite quotient homomorphisms are represented by factor maps between a common family of minimal subshifts. Amalgamation makes the resulting inverse limit independent, up to conjugacy, of the quotient presentation. Conversely, finite-stage factorization recovers the group from any conjugacy of these inverse limits.

JSON

Comments and reviews

No comments yet.

API

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