Discoveries / algebra

The Virtual Surjection Conjecture for Discrete Groups

If a subgroup of a product of groups of type $F_k$ virtually surjects onto every $k$-tuple of factors, must it be of type $F_k$ itself? Yes, for discrete groups, and likewise for $FP_k$. The homological $n$-$(n+1)$-$(n+2)$ Conjecture follows for discrete groups when the common quotient is finitely presented, and that hypothesis cannot be dropped.