9
$\begingroup$

Is it true that a finitely generated subgroup of a cartesian product of free groups has a finite cohomological dimension?

The same question about pro-$p$ groups:

Is it true that a finitely generated closed subgroup of a cartesian product of free pro $p$-groups has a finite cohomological dimension?

$\endgroup$

1 Answer 1

10
$\begingroup$

Regarding your first question, the answer is 'yes'. Consider an arbitrary direct product of free groups $\prod_\alpha F_\alpha$ and $H$ a finitely generated subgroup. Then $H$ is residually free. It follows from work of Baumslag--Remeslennikov--Miasnikov (I think, originally - there are now many proofs of this fact) that $H$ is a subgroup of a finite direct product of limit groups. Sela and Kharlampovich--Miasnikov proved that limit groups have finite $K(G,1)$'s, so the same is true of a finite direct product of limit groups. The covering space corresponding to $H$ is then a $K(H,1)$ with cells in only finitely many dimensions.

Let me add that it's not obvious how to prove the analogue of this in the pro-p world, as the pro-p analogues of limit groups are not well understood (or possibly even defined).

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.