Skip to main content
6 of 6
edited tags
Thom
  • 82
  • 10

Surface groups and non separating loops

QUESTION: Let $g \geq 4$, $S(g)$ be the fundamental group of the genus $g$ surface, and $G$ be finitely generated (the number of generators $\leq 3$) group with abelianization of rank less than equal $2$. Assume that there exist a surjection $\phi: S(g) \rightarrow G$. Is it true that the kernel of $\phi$ contains at least one non separating loop of the surface? If it is any helpful, you can assume $G$ is a perfect group.

Thom
  • 82
  • 10