Strong Topological Rokhlin Property: Finite-Index Ascent, Descriptive Complexity, and Effective Obstructions
We give a finite symbolic characterization of the strong topological Rokhlin property in terms of globally realizable finite pattern systems. We use this characterization to prove finite-index ascent: if $H\leq G$ has finite index, $G$ is finitely generated, and $H$ has STRP, then $G$ has STRP. Consequently every finitely generated virtually free group has STRP, whereas among countable locally virtually free groups STRP holds exactly for the finitely generated ones. In the compact coding space $\operatorname{NSub}(F_ω)$ of countable groups, the STRP locus belongs to ${\boldsymbol Π}^0_4$, is…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.18485
curl -X POST /api/v1/records/arxiv/2608.18485/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.18485/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'