Virtually RFRS Mapping Tori and Coherence
Let be a finitely presented group that can be written as an extension where is either the finitely generated free group , or the fundamental group of a closed surface of genus . We prove that if the image of the monodromy map contains an element such that the mapping torus is virtually residually finite rationally solvable (for instance whenever the mapping torus is hyperbolic), then is not coherent. This applies, in particular, when the image is a purely pseudo--Anosov free subgroups of the mapping class group.