Virtual Surjection and the $n$-$(n+1)$-$(n+2)$ Theorem for Discrete Groups
We prove the Virtual Surjection Conjecture for discrete groups, both for property $F_{n}$ and for property $FP_{n}$: given a product of groups of type $F_k$ (respectively $FP_k$), a subgroup that virtually surjects onto $k$-tuples must be $F_k$ (respectively $FP_k$) as well. We prove the homological $n$-$(n+1)$-$(n+2)$ Conjecture for discrete groups under the assumption the common quotient is finitely presented, and prove that this assumption cannot be dropped. We deduce the $n$-$(n+1)$-$(n+2)$ Conjecture for property $F_{n}$.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.18079
curl -X POST /api/v1/records/arxiv/2607.18079/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.18079/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'