Abstract
Given a reducible 3-manifold M with an aspherical summand in its prime decomposition and a homeomorphism \(f:M\rightarrow 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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The virtual first Betti number of a manifold M is defined to be
(where \(b_1\) denotes the first Betti number) and takes values in \({\mathbb {N}}_0\cup \{\infty \}\). This notion arises naturally in geometric topology and it is often difficult to compute. A recent prominent example is given by the resolution of the Virtual Haken Conjecture [1] which implies that \(vb_1=\infty \) for hyperbolic 3-manifolds, and therefore completes the picture for the values of \(vb_1\) in dimension three. Li and Ni [10] used this picture to compute \(vb_1\) for mapping tori of prime 3-manifolds:
Theorem 1.1
[10, Theorem 1.2] Let \(X=M\rtimes _f S^1\) be a mapping torus of a closed prime 3-manifold M. Then \(vb_1(X)\) is given as follows:
-
(1)
If M is a spherical manifold, then \(vb_1(X) = 1\);
-
(2)
If M is \(S^1\times S^2\) or finitely covered by \(T^2\rtimes S^1\), then \(vb_1(X)\le 4\);
-
(3)
In all other cases, \(vb_1(X)=\infty \).
When the fiber M is reducible, then the monodromy f of the mapping torus \(M\rtimes _f S^1\) is in general more complicated than when M is irreducible; see [11, 12, 15]. Li and Ni conjectured that almost always \(vb_1(M\rtimes _f S^1)=\infty \) when M is reducible:
Conjecture 1.2
[10, Conjecture 5.1] If M is a closed oriented reducible 3-manifold, then \(vb_1(M\rtimes _f S^1)=\infty \), unless M is finitely covered by \(S^2\times S^1\).
As pointed out in [10, Lemma 5.4] (see Lemma 2.2), if M is a closed reducible 3-manifold which is not covered by \(S^2\times S^1\), then M is finitely covered by a connected sum \(M'\#(S^2\times S^1)\#(S^2\times S^1)\), for some closed 3-manifold \(M'\). Since free-by-cyclic groups are large whenever the free group is generated by more than one element (cf. [5, 7, 14]), we deduce that
Thus, when M contains an aspherical summand in its prime decomposition, and not only summands covered by mapping tori of \(T^2\), Conjecture 1.2 follows by the following result:
Theorem 1.3
Let M be a closed oriented reducible 3-manifold that contains at least one aspherical summand in its prime decomposition. For any mapping torus \(M\rtimes _f S^1\), there is a finite cover \({\overline{M}}\) of M containing an aspherical summand \(M_1\) in its prime decomposition and a degree one map
for some \(k\ge 1\) and some homeomorphism \(h:M_1\longrightarrow M_1\).
Recently, Ni [13] verified Conjecture 1.2 by showing that there exists a surjection from the fundamental group of a mapping torus of a finite cover of M to the fundamental group of a mapping torus of a connected sum \(\#_m S^2\times S^1\), \(m\ge 2\), and making use of the fact that free-by-cyclic groups with at least three generators are large. Our result is in a sense both stronger and weaker than Ni’s result. It is stronger, on the one hand, because it comes with a construction of a map of non-zero degree, instead of just a \(\pi _1\)-surjection as in [13]. Indeed, it is likely that there is even a degree one map from a mapping torus of a finite covering of M to a mapping torus of a connected sum \(\#_m S^2\times S^1\); see [13, p. 1592]. However, the map we construct here makes essential use of the asphericity of the summand \(M_1\) and therefore our method cannot be extended to the case where no aspherical summand exists in the prime decomposition of M. On the other hand, the \(\pi _1\)-surjection obtained by Ni covers as well the case where the aspherical summands of M are only virtual mapping tori of \(T^2\). Therefore, it is natural to ask whether one can find a topological proof of Conjecture 1.2 for connected sums of type \((\#_n T^2\rtimes S^1)\#(\#_m S^2\times S^1)\). Also, it would be interesting to find a purely group theoretic proof that for every reducible 3-manifold M that is not finitely covered by \(S^2\times S^1\), any \(\pi _1(M)\)-by-cyclic group is large.
1.1 Outline
In Sect. 2 we give some facts about finite coverings of mapping tori and in Sect. 3 we recall the description of self-homeomorphisms of closed reducible 3-manifolds. The main body of the proof of Theorem 1.3 is given in Sects. 4 and 5. Finally, we discuss Conjecture 1.2 in Sect. 6.
2 Preliminaries
We begin our discussion by gathering some well-known facts needed for our proofs.
Let M be a closed oriented reducible 3-manifold. By the Kneser-Milnor theorem [8], M can be decomposed as a connected sum
where each \(M_i\) is aspherical and \(S^3/Q_p\) are spherical quotients with fundamental groups the finite groups \(Q_p\).
The following lemmas give some precise descriptions of finite covers of M and can be found in [9, pp. 23–24] and [10, Lemma 5.4] respectively:
Lemma 2.1
If \(n=0\) and \(M\ne {\mathbb {R}}P^3\#{\mathbb {R}}P^3\) or \(S^2\times S^1\), then M is finitely covered by \(\#_{m'} S^2\times S^1\), for some \(m'\ge 2\).
Proof
Let the projection
of the free product \(\pi _1(M)=F_m*Q_1*\cdots *Q_s\) to the direct product \(\prod _{p=1}^s Q_p\). By the Kurosh subgroup theorem, the kernel of \(\varphi \) is a free group, say \(F_{m'}\), where \(m'\ge 2\). Since moreover \(\ker (\varphi )\) has finite index in \(\pi _1(M)\), Grushko’s theorem implies that M is finitely covered by the connected sum \(\#_{m'} S^2\times S^1\). \(\square \)
Lemma 2.2
If \(n\ge 1\), then M is finitely covered by \(M'\#(\#_{m'}S^2\times S^1)\), where \(M'\) is a connected sum of aspherical 3-manifolds and \(m'\ge 2\).
Proof
Let \(M=M_1\#M_2\), where \(M_1\) is aspherical and \(M_2\ne S^3\) (not necessarily prime). Since \(\pi _1(M_1)\) is residually finite, there is a d-fold cover \(\overline{M_1}\) of \(M_1\) for some \(d\ge 3\), and so M is d-fold covered by \({\overline{M}}=\overline{M_1}\#(\#_d M_2)\). Now, since \(\pi _1(M_2)\) is residually finite, there is a finite group G together with a surjection
which maps \(\pi _1(\overline{M_1})\) to the trivial element and each \(\pi _1(M_2)\) surjectively to G. Then, since G is finite, it is easy to see that the cover of \({\overline{M}}\) corresponding to \(\ker (\psi )\) contains at least \(m':=d-1\ge 2\) connected summands \(S^2\times S^1\). \(\square \)
Finally, we quote two general facts about coverings of mapping tori whose proof is easy and left to the reader (see also [10, Section 2]).
Lemma 2.3
Let \(f:M\longrightarrow M\) be a self-homeomorphism of a closed oriented manifold (of any dimension).
-
(a)
\(M\rtimes _f S^1\) is finitely covered by \(M\rtimes _{f^k} S^1\) for every \(k\ge 1\).
-
(b)
If \({\overline{M}}\) is a finite cover of M, then \(M\rtimes _f S^1\) is finitely covered by \({\overline{M}}\rtimes _{f^k} S^1\) for some k.
3 Self-homeomorphisms of reducible 3-manifolds
In this section, we recall the isotopy types of orientation-preserving homeomorphisms of 3-manifolds. For the most part we follow the description given in McCullough’s survey paper [11], however we adapt some parts of his description in order to simplify our next arguments.
Suppose M is a closed oriented reducible 3-manifold. By the discussion in Sect. 2, we may assume that M does not contain any spherical quotients in its prime decomposition. Consider the following construction of M: Let W be a punctured 3-cell obtained by removing \(n + m\) open 3-balls from a 3-sphere, and let
be its boundary components. For each of the \(S_i\), \(i=1, \ldots ,n\), remove the interior of a 3-ball \(D^3_i\) from \(M_i\), and attach \(M_i'= M_i - {\mathrm {int}}(D^3_i)\) to \(S_i\) along \(\partial D^3_i\). Similarly, for each of the \(S_{j}\), \(j=n+1, \ldots ,n+m\), remove the interior of a 3-ball \(D^3_j=D^2_j\times I_j\) from \(S^2\times S^1\), and attach \((S^2\times S^1)'_{j}= (S^2\times S^1) - {\mathrm {int}}(D^2_j\times I_j)\) to \(S_{j}\) along \(\partial D^3_{j}\).
Using the above construction, we now describe three types of homeomorphisms of M. We remark that two orientation-preserving homeomorphisms of W are isotopic if and only if they induce the same permutation on the boundary components of W.
1. Homeomorphisms preserving summands. These are the homeomorphisms of M which restrict to the identity on W. Note that this class of homeomorphisms includes the so-called “spins” of \(S^2\times S^1\) as given following McCullough’s construction of M; compare [11, Remark, p. 69].
2. Interchanges of homeomorphic summands. If \(M_i\) and \(M_j\) are two orientation-preserving homeomorphic summands, then a homeomorphism of M can be constructed by fixing the rest of the summands, leaving W invariant, and interchanging \(M'_i\) and \(M'_j\).
Similarly, we can interchange any two \(S^2 \times S^1\) summands, leaving W invariant.
3. Slide homeomorphisms. For \(i=1, \ldots ,n\), let \({\hat{M_i}}\) be obtained from M by replacing \(M'_i\) with a 3-ball \(B_i\). Let \(\alpha \) be an arc in \({\hat{M_i}}\) which meets \(B_i\) only in its endpoints and \(J_t\) an isotopy of \({\hat{M_i}}\) that moves \(B_i\) around \(\alpha \), with \(J_ 0 = id_{\hat{M_i}}\) and \(J _1 |_{B_i} = id_{B_i}\). The homeomorphism
defined by
is called slide homeomorphism of Mthat slides \(M_i\)around \(\alpha \). Starting with a different isotopy \(J_t\), then s changes by an isotopy and perhaps by a rotation about the boundary component \(S_i\). Therefore each \(\alpha \) might determine two isotopy classes of a slide homeomorphism. Note that if T is the frontier of a regular neighborhood of \(M'_i\cup \alpha \) in M, then T is a compressible torus and s is isotopic to a certain Dehn twist about T.
Similarly, one can slide an \(S^2\times S^1\) summand around an arc in \(M-(S^2\times S^1)'_j\).
We remark that if \(\alpha _1\) and \(\alpha _2\) are two arcs meeting \(B_i\) only in their endpoints, and \(\alpha \) represents their product, then a slide of \(M_i\) around \(\alpha \) is isotopic to a composite of slides around \(\alpha _ 1\) and \(\alpha _ 2\). Similarly for sliding \(S^2\times S^1\).
With the above description, we have the following classification result of self-homeomorphisms of closed reducible 3-manifolds. This result was first announced in [6] and an elegant proof was given by McCullough [11, pp. 70–71], based on an argument of Scharlemann [3, Appendix A].
Theorem 3.1
[11, p. 69] If M is a closed oriented reducible 3-manifold, then any orientation-preserving homeomorphism \(f:M\longrightarrow M\) is isotopic to a composition of the following three types of homeomorphisms:
-
(1)
homeomorphisms preserving summands;
-
(2)
interchanges of homeomorphic summands;
-
(3)
slide homeomorphisms.
In fact, the proof of Theorem 3.1 presented in [11, pp. 70–71], together with our adaptions on the construction of M, implies that
where \(g_3\) is a finite composition of homeomorphisms of type 3 (slide homeomorphisms) and isotopies of M, and \(g_1\), \(g_2\) are compositions of finitely many homeomorphisms of type 1 and 2 respectively.
4 Commutativity in homotopy
Next, we show that there are self-homeomorphisms of an aspherical summand of a reducible 3-manifold whose “conjugation” by the pinch map in homotopy gives the three types of homeomorphisms described in the previous section.
According to the proof of Lemma 2.2, we may assume, after possibly passing to a finite cover, that M contains an aspherical summand \(M_1\) in its prime decomposition so that the self-homeomorphism \(f:M\longrightarrow M\) does not contain a component of \(g_2\) that interchanges \(M_1\) with another summand.
Clearly \(M_1\) can be considered as being obtained by replacing each \(M^{\prime }_i\) (\(i\ge 2\)) and \((S^2\times S^1)^{\prime }_j\) with a 3-ball \(B_i\) and \(B_j\) respectively. Then we can construct a pinch map
by mapping each \(M^{\prime }_i\) (\(i\ge 2\)) to \(B_i\), each \((S^2\times S^1)^{\prime }_j\) to \(B_j\) and the rest of the part identically to itself.
We will show the following whose line of proof follows that of [13, Lemmas 3.6 and 3.7] adapted to our situation:
Lemma 4.1
For each component \(g_i\) of f, there is a self-homeomorphism \(h_i\) of the aspherical summand \(M_1\) such that the following diagram commutes in homotopy, i.e. \((p\circ g_i)_*=(h_i\circ p)_*\).
Proof
We will examine each of the (components of) \(g_i\) separately.
Homeomorphisms preserving summands Suppose first, that \(g_1\) is a self-homeomorphism of summands \(M_i\) or of \(S^2 \times S^1\). Define
by
If \(\gamma \) is a loop in \(M^{\prime }_1\), then \({g_1}(\gamma )\) is a loop in \(M^{\prime }_1\) as well, and so
If \(\gamma \notin M^{\prime }_1\), then \(g_1(\gamma )\notin M^{\prime }_1\), and since \(W\cup (\cup _{i=2}^nB_i)\cup (\cup _{j=1}^{m} B_{n+j})\) is simply connected, we deduce that \(g_1(\gamma )\) and \(p(\gamma )\) are homotopically trivial. Thus again \(p_* \circ {g_1}_*={h_1}_*\circ p_*\).
Interchanges of homeomorphic summands Now, let \({g_2}\) be a homeomorphism that interchanges two aspherical summands \(M_i\) and \(M_j\) or two copies of \(S^2\times S^1\). By our assumption on \(M_1\), we know that \(i,j\ne 1\). Set
If \(\gamma \) is a loop in \(M^{\prime }_1\), then \({g_2}(\gamma )=\gamma \), and so
If \(\gamma \notin M^{\prime }_1\), then \({g_2}(\gamma )\notin M^{\prime }_1\), and so, as in the previous case, \(p_* \circ {g_2}_*={h_2}_*\circ p_*\), because \(W\cup (\cup _{i=2}^nB_i)\cup (\cup _{j=1}^{m} B_{n+j})\) is simply connected.
Slide homeomorphisms Finally, let \({g_3}\) be a slide homeomorphism.
Suppose first that \(g_3\) slides \(M_1\) around an arc \(\alpha \) in \(M-M^{\prime }_1\) such that \(\alpha \cap (M^{\prime }_i)\) and \(\alpha \cap (S^2\times S^1)^{\prime }_j\) is a single arc for any \(i\ge 2\) and any j. By McCullough’s description, there is a Dehn twist \(s_\alpha \) about the frontier T of a regular neighbourhood of \(M^{\prime }_1\cup \alpha \) which is isotopic to \(g_3\). An arc \(\beta \) in \(W\cup (\cup _{i=2}^nB_i)\cup (\cup _{j=1}^{m} B_{n+j})\) is given by letting \(\beta |_W\) be the same as \(\alpha |_W\) and \(\beta |_{(\cup _{i=2}^nB_i)\cup (\cup _{j=1}^{m} B_{n+j})}\) be the trivial arc. Then we can define a Dehn twist \(s_\beta \) about the frontier \(T^{\prime }\) of a regular neighborhood of \(M^{\prime }_1\cup \beta \) (corresponding to \(g_3\)). This defines our new homeomorphism \(h_3:M_1\longrightarrow M_1\). If \(\gamma \) is a loop in \(M^{\prime }_1\), then clearly
If \(\gamma \notin M^{\prime }_1\), then, after homotoping \(\gamma \) if necessary, we can assume that \(\gamma \cap T=\emptyset \) and \(p(\gamma )\cap T^{\prime }=\emptyset \). We then have \(g_3(\gamma )=s_\alpha (\gamma )=\gamma \) and so \(p\circ g_3(\gamma )=p(\gamma )\) is homotopically trivial, because \(W\cup (\cup _{i=2}^nB_i)\cup (\cup _{j=1}^{m} B_{n+j})\) is simply connected. Thus \(p_* \circ {g_3}_*={h_3}_*\circ p_*\) as required.
Next, assume that \(g_3\) slides some \(M_i\), \(i\ne 1\), around an arc in \(M-M^{\prime }_i\) (similarly for sliding a copy of \(S^2\times S^1\)). We can assume that \(\alpha \cap M^{\prime }_1\) is not trivial, otherwise the proof is identical to the above argument. Now, we have an arc \(\beta \) which is given by \(\alpha \) in \(M^{\prime }_1\cup W\) and it is trivial in \((\cup _{i=2}^nB_i)\cup (\cup _{j=1}^{m} B_{n+j})\), and Dehn twists \(s_\alpha \) and \(s_\beta \) about tori T and \(T^{\prime }\), given similarly as above. In this way, we define our homeomorphism \(h_3:M_1\longrightarrow M_1\). For loops not in \(M^{\prime }_1\) the situation is as before, because \(p(\gamma )\) is homotopically trivial. For a loop \(\gamma \) in \(M^{\prime }_1\), we can assume again that, after homotoping \(\gamma \), we have \(\gamma \cap T=\emptyset \) and \(\gamma \cap T^{\prime }=\emptyset \). Then
This finishes the proof of the lemma. \(\square \)
5 Finishing the proof of Theorem 1.3
Now we will construct a map of degree one from \(M\rtimes _f S^1\) to \(M_1\rtimes _h S^1\), for some homeomorphism \(h:M_1\longrightarrow M_1\).
As above, we can assume by Lemmas 2.1 and 2.2 that \(M=M_1\#\cdots \# M_n\#(\#_m S^2\times S^1)\), where \(M_i\) are aspherical and \(n\ge 1\). Moreover, we assume that \(M_1\) is not interchanged under f with another summand \(M_i\) (by the proof of Lemma 2.2).
Consider the classifying space \(B\pi _1(M)=M_1\vee \cdots \vee M_n\vee (\vee _m S^1)\) and the homotopically unique map
where \(f_*:\pi _1(M)\longrightarrow \pi _1(M)\) is the isomorphism induced by f. Let also the map
induced by the pinch map p. (Again, \(p_*:\pi _1(M_1)*\cdots *\pi _1(M_n)*F_m\longrightarrow \pi _1(M_1)\) denotes the induced homomorphism.)
By Theorem 3.1 (and the comments after that), we know that \(f=g_3g_2g_1\), where \(g_3\) is a finite composition of homeomorphisms of type 3 and isotopies of M, and each of \(g_1\), \(g_2\) is a composition of finitely many homeomorphisms of type 1 and 2 respectively, as given in Sect. 3.
By Lemma 4.1, there is a homeomorphism \(h:M_1\longrightarrow M_1\) such that
For set \(h=h_3h_2h_1\), where each (component of) \(h_i\) is given by Lemma 4.1. Then applying successively Lemma 4.1 on each \(h_i\) we deduce that (5.1) indeed holds. Therefore, there is a well-defined surjective homomorphism
which maps each element x of \(\pi (M)\) to \(p_*(x)\in \pi _1(M_1)\) and the generator of the infinite cyclic group acting (through \(f_*\)) on \(\pi _1(M)\) to the generator of the infinite cyclic group acting (through \(h_*\)) on \(\pi _1(M_1)\).
Remark 5.1
If we replace \(M_1\) by the connected sum \(\#_m S^2\times S^1\) and adapt accordingly Lemma 4.1 to the situation of [13, Lemmas 3.6 and 3.7], then we will obtain a surjection
This surjection does not yield a map of non-zero degree, because the classifying space of \(F_m\) is one dimensional.
The homomorphism \({\overline{p}}_*\) gives rise to a well-defined map
Since \(M_1\) is aspherical, the homotopy long exact sequence for \(\pi _1(M_1\rtimes _h S^1)\) implies that \(M_1\rtimes _h S^1\) is aspherical. Furthermore,
Again, by the asphericity of \(B\pi _1(M)\), we deduce that \(B\pi _1(M)\rtimes _{B(f_*)} S^1\) is aspherical. Thus \(B({\overline{p}}_*)\) is (homotopic to) a map
which we still denote by \(B({\overline{p}}_*)\).
Define now a map
by
where \(\psi _{M\rtimes _f S^1}:M\rtimes _f S^1\longrightarrow B\pi _1(M)\rtimes _{B(f_*)} S^1\) is the classifying map for \(M\rtimes _f S^1\) (recall that \(\pi _1(M\rtimes _f S^1)=\pi _1(B\pi _1(M)\rtimes _{B(f_*)} S^1)\)). Let also \(\psi _M:M\longrightarrow B\pi _1(M)\) denote the classifying map for M. Then the following diagram
implies
This means that
completing the proof of Theorem 1.3.
6 Virtual first Betti numbers
In this section we discuss Conjecture 1.2.
Recall that the finiteness of virtual first Betti numbers of mapping tori of prime 3-manifolds follows that of their fiber M, namely \(vb_1(M)\) (and \(vb_1(M\rtimes _f S^1)\)) is finite if and only if M is virtually \(S^3\), \(S^2\times S^1\) or a \(T^2\)-bundle. More precisely, if a 3-manifold M is finitely covered by \(S^3\), \(S^2\times S^1\) or a \(T^2\)-bundle, then \(vb_1(M)\le 3\), and the corresponding mapping tori of M satisfy \(vb_1(M\rtimes _f S^1)\le vb_1(M)+1\le 4\) for any homeomorphism \(f:M\longrightarrow M\). It is therefore natural to examine Conjecture 1.2 according to whether a reducible 3-manifold contains a prime summand with virtually infinite first Betti number or not.
6.1 At least one prime summand with virtually infinite first Betti number
Suppose first that a reducible 3-manifold M contains a summand in its prime decomposition with \(vb_1=\infty \). This summand is necessarily aspherical. If \(f:M\longrightarrow M\) is an orientation preserving homeomorphism, then Theorem 3.1 tells us that f is isotopic to a composition \(g_3g_2g_1\) where each \(g_i\) is a finite composition of homeomorphisms of type \(i=1,2,3\). By Lemmas 2.1, 2.2 and 2.3 (and their proofs), there is a finite a cover \({\overline{M}}\) of M containing an aspherical summand \(M_1\) in its prime decomposition which is not virtually a mapping torus of \(T^2\) and is not interchanged by some \(f^k\) (under a component of type 2) with any other summand of \({\overline{M}}\). Then Theorem 1.3 implies that there is a self-homeomorphism h of \(M_1\) and a degree one map
In particular, \( b_1({\overline{M}}\rtimes _{f^k} S^1)\ge b_1(M_1\rtimes _h S^1)\), and so Theorem 1.1 implies that
This proves Conjecture 1.2 in all cases, except when M is virtually \((\#_n T^2\rtimes S^1)\#(\#_m S^2\times S^1)\) (containing at least two summands).
6.2 Only summands with virtually finite first Betti numbers
Suppose, finally, that M is (virtually) of the form \((\#_n T^2\rtimes S^1)\#(\#_m S^2\times S^1)\). In that case, Theorem 1.3 is not anymore applicable to deduce that \(vb_1(M\rtimes _f S^1)=\infty \). On the one hand, if \(n=0\), then \(\#_m S^2\times S^1\) does not contain any aspherical summands. On the other hand, if \(n\ne 0\), then Theorem 1.3 implies that there is a degree one map \({\overline{M}}\rtimes _{f^k} S^1\longrightarrow (T^2\rtimes S^1)\rtimes _h S^1\), which, however, does not suffice to conclude that \(vb_1(M\rtimes _f S^1)=\infty \) because \(vb_1((T^2\rtimes S^1)\rtimes _h S^1)\le 4\). It would be interesting to find topological arguments that cover those two cases as well.
Nevertheless, we can appeal to group theoretic results to deduce that \(vb_1=\infty \) in the remaining two cases. First, one can deduce from known results that \(\pi _1((\#_m S^2\times S^1)\rtimes _f S^1)\) is large for \(m\ge 2\): By [2, 4], the free-by-cyclic group
is word hyperbolic if and only if it does not contain as subgroup an isomorphic copy of \({\mathbb {Z}}^2\). In the case where \(F_m\rtimes _{f_*}{\mathbb {Z}}\) is hyperbolic, then it is large by [1, 7, 14]. If now \({\mathbb {Z}}^2\subset F_m\rtimes _{f_*}{\mathbb {Z}}\), then \(F_m\rtimes _{f_*}{\mathbb {Z}}\) is large by [5]. Thus in all cases we deduce that \(vb_1(F_m\rtimes _{f_*}{\mathbb {Z}})=\infty \) as required.
Therefore, using the largeness of \(F_m\rtimes _{f_*}{\mathbb {Z}}\), we conclude that
Remark 6.1
By [2, 4], \(F_m\rtimes _{f_*}{\mathbb {Z}}\) being word hyperbolic is equivalent to the automorphism \(f_*\) being atoroidal, i.e. having no non-trivial periodic conjugacy classes. When \(f_*\) is toroidal (i.e. it has some non-trivial periodic conjugacy class), Ni also showed that \(vb_1(F_m\rtimes _{f_*}{\mathbb {Z}})=\infty \); see [13, Lemma 2.4].
Finally, as Ni shows in all cases where aspherical summands exist, our remaining case of mapping tori of \((\#_n T^2\rtimes S^1)\#(\#_m S^2\times S^1)\), where \(n\ge 1\), can be treated as follows: Recall that we can always assume that \(m\ge 2\) and using the \(\pi _1\)-surjection induced by the pinch map
we deduce that
as required; see also Remark 5.1.
References
Agol, I.: The virtual Haken conjecture, with an appendix by I. Agol, D. Groves. J. Manning. Doc. Math. 18:1045–1087 (2013)
Bestvina, M., Feighn, M.: A combination theorem for negatively curved groups. J. Differ. Geom. 35, 85–101 (1992)
Bonahon, F.: Cobordism of automorphisms of surfaces. Ann. Sci. École Norm. Sup. 16, 237–270 (1983)
Brinkmann, P.: Hyperbolic automorphisms of free groups. Geom. Funct. Anal. 10, 1071–1089 (2000)
Button, J.O.: Large groups of deficiency 1. Isr. J. Math. 167, 111–140 (2008)
César de Sá, E., Rourke, C.: The homotopy type of homeomorphisms of 3-manifolds. Bull. Am. Math. Soc. (N.S.) 1(1), 251–254 (1979)
Hagen, M., Wise, D.: Cubulating hyperbolic free-by-cyclic groups: the general case. Geom. Funct. Anal. 25, 134–179 (2015)
Hempel, J.: 3-Manifolds. Princeton University Press, Princeton (1976)
Kotschick, D., Neofytidis, C.: On three-manifolds dominated by circle bundles. Math. Z. 274, 21–32 (2013)
Li, T.-J., Ni, Y.: Virtual Betti numbers and virtual symplecticity of 4-dimensional mapping tori. Math. Z. 277, 195–208 (2014)
McCullough, D.: Mappings of reducible 3-manifolds, pp. 61–76. In: Proceedings of the Semester in Geometric and Algebraic Topology, Warsaw, Banach Center (1986)
Neofytidis, C., Wang, S.: Invariant incompressible surfaces in reducible 3-manifolds. Ergod. Theory Dyn. Syst. 39, 3136–3143 (2019)
Ni, Y.: Virtual Betti numbers and virtual symplecticity of 4-dimensional mapping tori, II. Sci. China Math. 60(9), 1591–1598 (2017)
Wise, D.: From Riches to Raags: 3-Manifolds, Right-Angled Artin Groups, and Cubical Geometry. CBMS Regional Conference Series in Mathematics, vol. 117. American Mathematical Society, Providence (2012)
Zhao, X.: On the Nielsen numbers of slide homeomorphisms on 3-manifolds. Topol. Appl. 136(1–3), 169–188 (2004)
Acknowledgements
The author is supported by the Swiss NSF, under grant FNS200021_169685. Part of this work was done during author’s visit at IHÉS in 2018. The author would like to thank IHÉS for providing a stimulating working environment, and especially Misha Gromov and Fanny Kassel for their hospitality.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Neofytidis, C. Virtual Betti numbers of mapping tori of 3-manifolds. Math. Z. 296, 1691–1700 (2020). https://doi.org/10.1007/s00209-020-02485-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-020-02485-w