Subgroup measures and profinite rigidity in free groups
Let $H$ be a finitely generated subgroup of a finitely generated group $F$. Restriction of a uniformly random homomorphism $F\to G$, with $G$ finite, defines a probability measure on $\mathrm{Hom}(H,G)$; for cyclic $H$ this is the usual word measure. We introduce marked and setwise notions of profinite rigidity for these subgroup measures. In a finitely generated LERF group, an isomorphism between finitely generated subgroups preserves all induced measures if and only if its profinite completion extends to an automorphism of the ambient profinite completion. This gives a discrete - profinite…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2602.12815
curl -X POST /api/v1/records/arxiv/2602.12815/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.12815/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'