Simon's knot genus problem and Lewin $3$-manifold groups

Abstract

We provide a positive answer to an old problem of Jonathan K. Simon: if $K$ and $K^{\prime }$ are two knots such that there is an epimorphism from the knot group of $K$ to the knot group of $K^{\prime }$, then the genus of $K$ is greater than or equal to the genus of $K^{\prime }$. We achieve this by proving a conjecture of Friedl and Lück, which states that the existence of a map between admissible $3$-manifolds that induces an epimorphism on the fundamental groups and an isomorphism on the rational homologies yields an inequality of Thurston norms. We resolve Friedl and Lück's conjecture by showing that locally indicable $3$-manifold groups are Lewin groups, which confirms another conjecture of Jaikin-Zapirain within the class of $3$-manifold groups. As a further consequence of our methods, we show that the crossed product of a division ring and a torsion-free $3$-manifold group that is virtually free-by-cyclic is a pseudo-Sylvester domain.

17 pages