Virtual Surjection and the $n$-$(n+1)$-$(n+2)$ Theorem for Profinite Groups
We prove the Virtual Surjection Conjecture for profinite groups. Namely, given a product of $n$ profinite $\mathrm{FP}_{k}$ groups, a subgroup that virtually surjects onto $k$-tuples must be $\mathrm{FP}_{k}$ as well. We also prove the $n$-$(n+1)$-$(n+2)$ Conjecture for profinite groups, as well as a few other $\mathrm{FP}_{n}$ permanence results for fibre products. Our main tool is a numerical criterion for property $\mathrm{FP}_{n}$ of modules of profinite groups. Our work suggests a new finiteness property to investigate.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.23600
curl -X POST /api/v1/records/arxiv/2606.23600/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.23600/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'