Nielsen Realization for sphere twists on 3-manifolds

If \Diff(M) has an infinite torsion group G, then either the image of \Phi is an infinite torsion group or the kernel K of \Phi has infinite torsion group. By [Hong_McCullough, Thm. 5.2], \Out(\pi_1(M)) contains a torsion-free finite-index subgroup. This implies that \Phi(G) is finite, since every element of \Phi(G) has finite order. On the other hand, by Lemma 6.1 that K is torsion free, so G\cong \Phi(G) is finite.

Let \rho:G\to\Homeo^+(M) be a realization of G<\Mod(M). By Pardon [pardon], \rho can be approximated uniformly by a smooth action \rho': G\to\Diff^+(M). Since \Homeo^+(M) is locally path-connected by Kirby–Edwards [kirby-edwards], we know that \rho'(g) and \rho(g) are isotopic in \Homeo^+(M) for each g\in G, and hence also isotopic in \Diff^+(M) since \Mod_H(M)=\Mod(M).

We prove the theorem in 3 steps.

Step 1: a generating set for \Twist(M) For i=1,\ldots,\ell, fix an embedded sphere S_i\subset Y that is parallel to the boundary component of P_i\setminus\text{int}(D_i). For j=1,\ldots,k, let S_j'\subset Y be the embedded sphere S^2\times\{0\} in the j-th copy of S^2\times[0,1]. Let \Twist(Y) be the subgroup of \Mod(Y) generated by the sphere twists \{\tau_{S_1},\ldots,\tau_{S_\ell}\}\cup\{\tau_{S_1'},\ldots,\tau_{S_k'}\}. (Recall that the mapping class group \Mod(Y) of a manifold with boundary is the group \Diff_\partial(Y) of diffeomorphisms that restrict to the identity on \partial Y, modulo isotopies that are the identity on \partial Y.) Consider the composition

where

and \pi is the restriction of the homomorphism \Mod(Y)\to\Mod(M). The composition \pi\circ\rho is surjective by [mccullough, Prop. 1.2]. In the rest of the proof we compute the kernels of \pi and \rho.

Step 2: global relation among sphere twists In this step we compute the kernel of \pi:\Twist(Y)\to\Twist(M).

Let D\subset X\subset M be an embedded ball. Let \Emb(D,M) be the space of embeddings that respect the orientation. Let \Emb_D^e(X,M) be the space of embeddings X\to M that (i) restrict to the inclusion on D and (ii) that extend to a diffeomorphism of M. Consider the following diagram, which consists of two fiber sequences (c.f. [palais]).

The “horizontal" fiber bundle in the diagram splits as a product by [hendriks-mccullough, Thm. 1]. Consequently, \Mod(Y)\to\Mod(M,D) is injective. Then from the proceeding diagram, we obtain

As is well-known, the space \Emb(D,M) is homotopy equivalent to the (oriented) frame bundle of M, which is diffeomorphic to M\times\SO(3) since closed oriented 3-manifolds are parallelizable. Then \pi_1\big(\Emb(D,M)\big)\cong\pi_1(M)\times\Z/2\Z. A generator of the \Z/2\Z factor maps under \delta to a sphere twist about S:=\partial D. From Lemma 2.4 we deduce that \tau_S=\tau_{S_1}\cdots\tau_{S_\ell} in \Mod(M,D), so \tau_{S_1}\cdots\tau_{S_\ell} belongs to \ker(\pi).

We claim that \ker(\pi)=\langle\tau_{S_1}\cdots\tau_{S_\ell}\rangle. To see that \ker(\pi) is not larger, it suffices to show that if \gamma\in\pi_1(M)<\pi_1\big(\Emb(D,M)\big) is nontrivial, then \delta(\gamma) is not in the image of \Twist(Y)\to\Mod(M,D). This is easy to see because each element of \Twist(Y)<\Mod(M,D) acts trivially on \pi_1(M,*) (where the basepoint * belongs to D), whereas \delta(\gamma) acts by a nontrivial conjugation on \pi_1(M,*) (note that the fundamental group of a reducible 3-manifold has trivial center).

Step 3: local triviality of sphere twists Here we compute the kernel of the map \rho:(\Z/2\Z)^{\ell+k}\to\Twist(Y) defined in (?). Since the spheres S_1,\ldots,S_\ell,S_1',\ldots,S_k' belong to distinct components of Y, it suffices to determine which of the given generators for \Twist(Y) is trivial in \Twist(Y).

Sphere twists in S^2\times[-1,1] components are nontrivial by [laudenbach]. See also [BBP] who prove this by considering the action on framings. It remains then to consider when the twists \tau_{S_i} (about the boundary of P_i\setminus\text{int}(D_i)) are nontrivial. By Theorem 2.5 below, \tau_{S_i}\in\Mod(P_i,D_i)<\Mod(Y) is trivial if and only if P_i is a lens space. Combining this with the proceeding steps finishes the proof.

By work of Hendriks [hendriks] (see [friedman-witt, Cor. 2.1]), the twist T_S\in\Diff_\partial(P\setminus \text{int}(D)) is not homotopic to the identity (rel boundary), unless P is either a lens space or a prism manifold (the latter are manifolds covered by S^3 whose fundamental group is an extension of a dihedral group).

First consider the case when P is a lens space. Since we assume P is irreducible, P\neq S^1\times S^2, so P is covered by S^3. In this case T_S is isotopic to the identity (rel boundary) by [friedman-witt, Lem. 3.5]. (Aside: T_S is also isotopic to the identity when P=S^1\times S^2, which can be seen using Lemma 2.4.)

When P is a prism manifold, T_S is not isotopic to the identity (rel boundary). See [friedman-witt, Thm. 2.2]. The statement there does not include one family of prism manifolds S^3/D_{4m}^*. This is because the argument uses the (generalized) Smale conjecture, which was not proved for S^3/D_{4m}^* at the time the paper was written. See [friedman-witt, Remark after Corollary 2.2]. Fortunately, the generalized Smale conjecture has now been confirmed for all prism manifolds (in fact for all elliptic 3-manifold, with the exception of \R P^3). See [smale-elliptic] and [balmer-kleiner].

Let \mathbb S be a G-invariant collection of embedded spheres as in Theorem 3.1(1). Fix S\in\mathbb S and g\in G. We want to show that g(S)=S. Suppose for a contradiction that g(S) is disjoint from S. Fix an embedding f:S^2\rightarrow M with f(S^2)=S. Since g acts trivially on \pi_2(M), the maps f and g\circ f are homotopic, hence isotopic by a result of Laudenbach and the Poincaré conjecture; c.f. [laudenbach, Thm. 1].

By Lemma 3.3, the spheres S and g(S) bound a submanifold A\cong S^2\times[0,1]. Let k\ge2 be the smallest power of g so that g^k(S)=S.

First assume k\ge3. Since we can find a G-invariant metric on M, the interiors of A and g(A) are either equal or disjoint. Since k\ge3, g^2(S)\neq S, so g(A)\neq A. Consequently, A\cup g(A) is diffeomorphic to S^2\times[0,1]. Similarly, we conclude that A\cup g(A)\cup\cdots\cup g^{k-1}(A) is diffeomorphic to S^2\times S^1 (this is the only S^2-bundle over S^1 with orientable total space). This contradicts the assumption that M\neq S^2\times S^1.

Now assume that k=2. As in the preceding paragraph, if A and g(A) have disjoint interiors, then M=S^2\times S^1. Therefore, g(A)=A. By Lemma 3.4, [g(S)]=-[S] in H_2(M). By assumption that G acts trivially on \pi_2(M), we know [g(S)]=[S]. Therefore, 2[S]=0 in H_2(M). If S\subset M is non-separating, then there is a closed curve \gamma\subset M so that [S]\cdot[\gamma]=1; this implies that [S] has infinite order in H_2(M), which is a contradiction. If S\subset M is separating, then M\setminus A is a union of two components M_1\sqcup M_2 that are interchanged by g. This contradicts the fact that G acts trivially on \pi_1(M)\cong\pi_1(M_1)*\pi_1(M_2).

Set A=S^2\times[0,1]. Consider the arc \alpha=*\times[0,1] and the sphere \beta=S^2\times 0. After orienting \alpha and \beta, we view them as homology classes \alpha\in H_1(A,\partial A) and \beta\in H_2(A), which generate these groups. Since h interchanges the components of \partial A, h(\alpha)=-\alpha. Since h is orientation-preserving,

This implies h(\beta)=-\beta because the intersection pairing H_1(A,\partial A)\times H_2(A)\rightarrow \Z is a perfect pairing by Poincaré–Lefschetz duality.

Fix g\in G. We show that the action of g on \pi_1(N,p) is trivial. The statement is only interesting when N is not simply connected, so we assume this.

Let k be the number of elements of \mathbb S that meet N. We separate the argument into the cases k=1, k=2, and k\ge3.

Case: k=1 Let S\in\mathbb S be the sphere that meets N. The sphere S is separating and gives a description of M as a connected sum M\cong N\# N'. Since g\in G has finite order and preserves S, there is a fixed point q\in S^g. By van Kampen’s theorem, \pi_1(M,q)\cong\pi_1(N,q)*\pi_1(N',q). By Lemma 2.1, the action of g on \pi_1(M,q) is by conjugation by some element \pi_1(M,q). Since g preserves the decomposition M=N\#N', it also preserves the factors in the splitting \pi_1(N,q)*\pi_1(N',q). Note that \pi_1(N',q) is nontrivial, since otherwise S bounds a ball in M, contrary to our assumption. The only conjugation of A*A' that preserves both A\neq1 and A'\neq1 is the trivial conjugation, so g acts trivially on \pi_1(M,q). Consequently, g acts trivially on \pi_1(N,q), and also on \pi_1(N,p). (In general, changing the basepoint can change the automorphism to a nontrivial conjugation, but in this does not happen here since e.g. the points p,q\in N are connected by an arc contained in the fixed set N^g.)

Case: k=2 Let S,S'\in\mathbb S denote the spheres the meet N. Observe that these sphere are either both separating or both nonseparating. Let N' be the closed 3-manifold such that M_{\mathbb S}=N\sqcup N'.

If S and S' are both separating, then the argument is similar to the case k=1. Apply that argument to either sphere to see that the action is trivial at the corresponding canonical fixed point.

Assume then that both S and S' are nonseparating; in particular, this implies that N' is connected. Then M is obtained from N\sqcup N' by removing balls B_1,B_2\subset N and B_1',B_2'\subset N' and gluing \partial B_i to \partial B_i'. Choose a fixed points q\in S^g and q'\in (S')^g. There is an isomorphism \pi_1(M)\cong \pi_1(N,q)*\pi_1(N',q)*\Z. (The \Z factor is not important for this part of the argument, but will play a role when k\ge3.)

By assumption g acts on \pi_1(M,q) by conjugation and preserves the free factors \pi_1(N,q) and \pi_1(N',q). Both of these groups is nontrivial, by our assumption that no two spheres in \mathbb S are parallel. Then as before, we conclude that g acts trivially on \pi_1(M,q), hence also on \pi_1(N,q) and \pi_1(N,p).

Case k\ge3 Let S_0,\ldots,S_{k-1}\in\mathbb S denote the spheres that meet N. If some S_i separates, then we can proceed similar to the case k=1, so we can assume each S_i is nonseparating. Then M_{\mathbb S}=N\sqcup N', where N' is connected, and M is obtained from N\sqcup N' by removing balls B_0,\ldots,B_{k-1}\subset N and B_0',\ldots,B_{k-1}'\subset N' and gluing B_i and B_i' along their boundary (which is identified with S_i\subset M). Choose fixed points q_i\in (S_i)^g. There is an isomorphism

If \pi_1(N',q_0)\neq1, then we can argue similar to the case k=2. Therefore, we assume that N' is simply connected, which means \pi_1(M,q_0)\cong\pi_1(N,q_0)*F_{k-1}.

The free group F_{k-1} is generated by loops \gamma_i=\eta_i*\eta_i', where \eta_i is a path in N from q_0 to q_i (and disjoint from the interiors of the balls B_0,\ldots,B_{k-1}), and \eta_i' is a path in N' from q_i to q_0.

On the one hand,(Here the symbol \sim indicates homotopic loops based at q_0. For the first homotopy, note that the paths g(\eta_i') and \eta_i' are homotopic rel endpoints because N' is simply connected.)

so g acts on \gamma_i by left multiplication by the element \beta_i = g(\eta_i)*\overline{\eta_i}\in\pi_1(N,q_0).

On the other hand, g acts on \gamma_i by conjugation by an element \alpha\in \pi_1(M,q_0). The only way these actions are equal is if both are trivial. If we use the word length on \pi_1(M,q_0) given by the generating set \{s: s\in \pi_1(N,q_0) \text{ or } s\in F_{k-1}\}, then the word length of \alpha\gamma_i\alpha^{-1} is odd, but the word length for \beta_i\gamma_i is 2 unless \beta_i=1. This implies that \beta_i=1. Then we know that \gamma_i= \alpha\gamma_i\alpha^{-1} for every i, which implies that \alpha=1.

In particular, this implies that g acts trivially on \pi_1(M,q_0) and hence also on \pi_1(N,q_0) and \pi_1(N,p).

As observed above, we can lift f to a finite-order diffeomorphism F that commutes with the deck group \pi_1(N,*) and has a global fixed point.

First we show that \pi_1(N) is finite. Suppose for a contradiction that \pi_1(N) is infinite. This implies \widetilde N is contractible.(By Hurewicz, \pi_3(\widetilde N)\cong H_3(\widetilde N). Since \pi_1(N) is infinite, \widetilde N is noncompact, so H_3(\widetilde N)=0. Similarly, all higher homotopy groups vanish by Hurewicz’s theorem.) By Smith theory [Smith], the fixed set (\widetilde{N})^F is connected, and simply connected. Since F acts smoothly, (\widetilde{N})^F is a smooth 1-dimensional manifold, hence it is homeomorphic to \R. Since \pi_1(N) commutes with F, it acts on (\widetilde N)^F\cong\R, and this action is free and properly discontinuous since the action of \pi_1(N,*) on \widetilde{N} has these properties. This implies that \pi_1(N,*)\cong\Z, which contradicts the fact that N is a closed, aspherical 3-manifold (\Z is not a 3-dimensional Poincaré duality group).

Since \pi_1(N) is finite, its universal cover is diffeomorphic to S^3 by the Poincare-conjecture. As in the preceding paragraph, consider the action of F on \widetilde N\cong S^3. By Smith theory and smoothness of the action, the fixed set is a smooth, connected 1-dimensional manifold with nontrivial fundamental group. Hence (\widetilde N)^F\cong S^1. Since \pi_1(N) acts freely on (\widetilde N)^F this implies \pi_1(N) is cyclic, which implies that N is a lens space.

Suppose 1\neq G<\Twist(M) is realizable. The fact that \Twist(M)\neq1 implies that either M=S^2\times S^1 or M is reducible. In the former case, there is nothing to prove, so we assume M is reducible. This assumption together with Lemma 2.1 allow us to apply Theorem 4.2 and conclude that G is cyclic.

It remains to show M is a connected sum of lens spaces, or, equivalently, that each component of M_{\mathbb S} is a lens space. This is implied directly by Proposition 3.6 and Theorem 4.1.

Let \mathbb S be a sphere system for G (Theorem 3.1). We also assume that no S\in\mathbb S bounds a ball and that no two spheres S,S'\in\mathbb S bound an embedded S^2\times[0,1] (Remark 3.2).

Since G acts trivially on \pi_1(M), Proposition 3.6 and Theorem 4.1 combine to show that each component of M_{\mathbb S} is a lens space.

Suppose that there exists a component N of M_{\mathbb S} that is diffeomorphic to S^3. Let k be the number of elements of \mathbb S that meet N. If k=1, then N is obtained from M by cutting along a sphere that bounds a ball. Similarly, if k=2, then N is obtained by cutting M along two parallel spheres. Both of these are contrary to our assumption about \mathbb S. Therefore k\ge3, which implies that N^G has at least 3 points. By the Smith conjecture [smith-conjecture], the action of G on N\cong S^3 is conjugate into \SO(4), and the fact that |N^G|\ge3 implies that G is conjugate into \SO(2). Therefore G is cyclic.

The remaining case is that every component of M_{\mathbb S} is a lens space different from S^3 and S^1\times S^2. In this case \Twist(M) is the trivial group by Corollary 2.6.

Fix a nontrivial subgroup G=\Z/p\Z<K, and fix a sphere system \mathbb S for G (Theorem 3.1). By Proposition 3.6, the action of G on each component N of M_\mathbb{S} is trivial on \pi_1(N,p) as an automorphism. This implies that each component N of M_\mathbb{S} is a lens space by Theorem 4.1.