{"id":"arxiv/2609.12031","url":"https://arxiv.org/abs/2609.12031","tags":["math.DS","math.LO"],"score":0,"title":"The Borel complexity of conjugacy for Cantor minimal systems","domain":"math.DS","source":"arxiv","authors":["Xinan Dai","Wenhao Deng","Yingdong Shi","Tailin Wu","Yuchen Yang"],"reviews":0,"subject":"math.DS","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-10","reactions":{}}