Virtual Betti numbers of mapping tori of 3-manifolds

TL;DR

This paper proves that most mapping tori of reducible 3-manifolds have virtually infinite first Betti number, confirming a conjecture by Li and Ni, by constructing degree-one maps from finite covers to aspherical 3-manifold mapping tori.

Contribution

It constructs explicit degree-one maps from finite covers of these mapping tori to aspherical 3-manifold mapping tori, verifying the Li-Ni conjecture in all cases.

Findings

Most mapping tori of reducible 3-manifolds have virtually infinite first Betti number.

The conjecture is verified for all cases, except when all aspherical summands are virtual T^2-bundles.

The proof involves constructing finite covers and degree-one maps to aspherical 3-manifold mapping tori.

Abstract

Given a reducible $3$-manifold $M$ with an aspherical summand in its prime decomposition and a homeomorphism $f\colon M\to M$, we construct a map of degree one from a finite cover of $M\rtimes_f S^1$ to a mapping torus of a certain aspherical $3$-manifold. We deduce that $M\rtimes_f S^1$ has virtually infinite first Betti number, except when all aspherical summands of $M$ are virtual $T^2$-bundles. This verifies all cases of a conjecture of T.-J. Li and Y. Ni, that any mapping torus of a reducible $3$-manifold $M$ not covered by $S^2\times S^1$ has virtually infinite first Betti number, except when $M$ is virtually $(\#_n T^2\rtimes S^1)\#(\#_mS^2\times S^1)$. Li-Ni's conjecture was recently confirmed by Ni with a group theoretic result, namely, by showing that there exists a $\pi_1$-surjection from a finite cover of any mapping torus of a reducible $3$-manifold to a certain mapping torus of $\#_m S^2\times S^1$ and using the fact that free-by-cyclic groups are large when the free group is generated by more than one element.