{"id":"arxiv/2607.18079","url":"https://arxiv.org/abs/2607.18079","tags":["math.GR"],"score":0,"title":"Virtual Surjection and the $n$-$(n+1)$-$(n+2)$ Theorem for Discrete Groups","domain":"math.GR","source":"arxiv","authors":["Tal Cohen","Mark Shusterman"],"reviews":0,"subject":"math.GR","summary":"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}$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-20","reactions":{}}