---
abstract: 'This paper explores the relationship between symmetries of spatial graphs in $S^3$ and symmetries of spatial graphs in homology $3$-spheres and other $3$-manifolds. We prove that for any $3$-connected graph $G$, an automorphism $\sigma$ is induced by a homeomorphism of some embedding of $G$ in a homology sphere if and only if $\sigma$ is induced by a finite order homeomorphism of some embedding of $G$ in a (possibly different) homology sphere. This generalizes an analogous result for $3$-connected graphs embedded in $S^3$. On the other hand, we give an example of an automorphism of a $3$-connected graph $G$ that is realizable by a homeomorphism of some embedding of $G$ in the Poincaré homology sphere, but is not realizable by a homeomorphism of any embedding of $G$ in $S^3$. We also give an example of an automorphism of a graph $G$ which is not realizable by a homeomorphism of any embedding of $G$ in any orientable, closed, connected, irreducible $3$-manifold.'
address:
- 'Department of Mathematics, Pomona College, Claremont, CA 91711'
- 'Department of Mathematics, Columbia University, New York, NY 10027'
author:
- Erica Flapan
- Song Yu
bibliography:
- 'HSPaperRef.bib'
title: Symmetries of Spatial Graphs in Homology Spheres
---

[^1]

Introduction {#Intro}
============

The study of symmetries of spatial graphs in $S^3$ is motivated by a long history of results about symmetries of knots and links, as well as by the more recent study of symmetries of non-rigid molecules. What makes the study of symmetries of spatial graphs distinct from that of knots and links is that for a spatial graph $\Gamma$ in $S^3$, homeomorphisms of $(S^3,\Gamma)$ can be classified by the automorphisms they induce on the underlying abstract graph. In fact, we can consider such induced automorphisms of a spatial graph embedded in any $3$-manifold.

\[RA\] [ An automorphism $\sigma$ of a graph $G$ is *realizable* in a $3$-manifold $M$ if there is an embedding $\Gamma$ of $G$ in $M$ and a homeomorphism $h$ of $(M, \Gamma)$ whose restriction to $\Gamma$ is $\sigma$. In this case, we say that $h$ *realizes* $\sigma$ in $M$. ]{}

Note that by a *graph*, we mean a finite, connected graph without self-loops or multiple edges between the same pair of vertices. We work throughout in the smooth category, and require our homeomorphisms to be diffeomorphisms except possibly on the set of vertices of an embedded graph.

The following questions arise naturally from the definition of a realizable automorphism.

1.  Is every automorphism of a graph realizable in some $3$-manifold?

2.  Is every automorphism of a graph $G$ which is realizable in some $3$-manifold necessarily realizable by a finite order homeomorphism for some embedding of $G$ in some (possibly different) $3$-manifold?

In Section \[3M\], we show that the answer to Question (1) is yes. In fact, we can even require that the $3$-manifold in which the graph is embedded be a connected sum of copies of $S^2\times S^1$, and the homeomorphism realizing the automorphism be orientation preserving. However, if we only consider spatial graphs in $S^3$, then the answer to Question (1) is no. In particular, Flapan [@F89] showed that the automorphism $(1234)$ of $K_6$ (the complete graph on six vertices) cannot be realized by any embedding of $K_6$ in $S^3$.

To see that the answer to Question (2) is no, even with no restrictions on the $3$-manifolds, consider the graph $G$ illustrated in Figure  \[theta\] and the automorphism $\sigma=(123)$. Let $\Gamma$ be the planar embedding of $G$ in $S^3$ illustrated in Figure \[theta\]. Then $\sigma$ is realized in $S^3$ by twisting the arcs containing vertices $1$, $2$, and $3$ around vertices $v$ and $w$, while fixing the rest of the graph.

![The automorphism $(123)$ is realizable in $S^3$, but is not realizable by any finite order homeomorphism of an embedding of $G$ in any $3$-manifold.[]{data-label="theta"}](theta.pdf){width="3cm"}

Now suppose that $G$ is embedded as $\Gamma'$ in some $3$-manifold $M$ such that $\sigma$ is realized by a finite order homeomorphism $h$ of $(M,\Gamma')$. Since $h(v)=v$ and $h$ has finite order, we can choose a neighborhood $N(v)$ such that $h(N(v))=N(v)$ and $\Gamma'$ intersects $\partial N(v)$ in six points, corresponding to the six edges incident to $v$. Thus $h$ induces a finite order homeomorphism of the sphere $\partial N(v)$. But since $h$ induces $(123)$ on $\Gamma'$, three of the points in $\Gamma'\cap \partial N(v)$ are fixed and three are permuted in a cycle of order three. But this is impossible for a finite order homeomorphism of a sphere. Thus the automorphism $\sigma$ cannot be realized by a finite order homeomorphism of any embedding of $G$ in a $3$-manifold $M$.

Note that a graph is said to be [*$3$-connected*]{} if three or more vertices together with their incident edges must be removed in order to disconnect the graph or reduce it to a single vertex. By contrast with the example in Figure \[theta\], the following Rigidity Theorem was proved in [@F95] for 3-connected spatial graphs in $S^3$.

\[Rigidity Theorem for $S^3$ [@F95]\] \[RigidS3\] Let $G$ be a 3-connected graph. Suppose that an automorphism $\sigma$ of $G$ is realized in $S^3$ by a homeomorphism $h$. Then $\sigma$ is realizable in $S^3$ by a homeomorphism $f$ of finite order. Moreover, $f$ can be chosen such that $f$ is orientation reversing if and only if $h$ is orientation reversing.

This result, combined with Smith Theory [@S39], allows us to determine the realizability of many graph automorphisms in $S^3$ by doing a combinatorial analysis of the fixed vertices, edges, and cycles. In particular, using this result, all automorphisms of complete graphs $K_n$ with $n>6$ which are realizable in $S^3$ were classified in [@F95], and all realizable automorphisms of complete bipartite graphs in $S^3$ were classified in [@FLMPV14]. In addition, the above Rigidity Theorem for $S^3$ has contributed to the study of intrinsically chiral graphs [@FW92; @FW96; @FL02; @FH14] and topological symmetry groups of spatial graphs in $S^3$ [@FNPT05; @FNT06; @FDL14].

The goal of the current paper is to explore the relationship between realizable automorphisms of spatial graphs in $S^3$ and realizable automorphisms of spatial graphs in other $3$-manifolds. As we shall see in Section \[3M\], $S^3$ is special in that if a graph automorphism $\sigma$ is realizable in $S^3$ by an orientation preserving homeomorphism, then $\sigma$ is realizable in every $3$-manifold; and if $\sigma$ is realizable in $S^3$ by an orientation reversing homeomorphism, then $\sigma$ is realizable in every $3$-manifold that has an orientation reversing homeomorphism. Yet, we will also prove that there exist graph automorphisms which are not realizable in $S^3$ or any other orientable, closed, connected, irreducible $3$-manifold, but are realizable in a connected sum of one or more copies of $S^2\times S^1$.

We would expect the symmetries of spatial graphs in $S^3$ to correspond more closely to the symmetries of spatial graphs in integral homology spheres (which we abbreviate simply as *homology spheres*) than in arbitrary $3$-manifolds. This turns out to be the case, largely because the fixed point sets of finite order homeomorphisms of homology spheres and $S^3$ are the same by Smith Theory. In Section \[Rigid\] (Theorem \[RigidHS\]), we generalize the Rigidity Theorem for $S^3$ to homology spheres. This theorem allows us to extend many previous results on symmetries of spatial graphs in $S^3$ to spatial graphs in homology spheres. As an example, the classification of realizable automorphisms of complete graphs in $S^3$ [@F95] extends to any homology sphere. On the other hand, in Section \[CompareHS\] we present an example of an automorphism of a graph which is realizable in the Poincaré homology sphere, but is not realizable in $S^3$. This shows that the study of symmetries of spatial graphs in $S^3$ is not identical to that in homology spheres.

Realizable automorphisms in $3$-manifolds
=========================================

\[3M\] In this section, we prove two propositions about the relationship between the realizability of a graph automorphism in $S^3$ and its realizability in an arbitrary $3$-manifold.

\[Aut3M\] Let $\sigma$ be an automorphism of a graph $G$.

1.  If $\sigma$ is realizable in $S^3$ by an orientation preserving homeomorphism, then $\sigma$ is realizable in every connected manifold by an orientation preserving homeomorphism.

2.  If $\sigma$ is realizable in $S^3$ by an orientation reversing homeomorphism, then $\sigma$ is realizable by an orientation reversing homeomorphism in every connected $3$-manifold that possesses an orientation reversing homeomorphism.

Let $\Gamma$ be an embedding of $G$ in $S^3$ and $h$ be a homeomorphism of $(S^3, \Gamma)$ that realizes $\sigma$. Then $h$ is isotopic to a homeomorphism of $(S^3, \Gamma)$ that induces $\sigma$ on $\Gamma$ and fixes some point $p$ in $S^3 - \Gamma$. Thus, we can assume without loss of generality that $h$ setwise fixes a closed ball around $p$ that is disjoint from $\Gamma$. Let $B$ be the closure of the complement of this ball in $S^3$ and let $S = \partial B$. Then $\Gamma \subseteq B$, $h(B) = B$, and $h(S) = S$. Furthermore, since $h$ does not interchange the two components of $S^3-S$, the restriction $h|_S$ is orientation reversing if and only if $h$ is orientation reversing.

Let $M$ be a connected orientable $3$-manifold and let $f$ be a homeomorphism of $M$ that is orientation reversing if and only if $h$ is orientation reversing. As we saw above for $h$, without loss of generality, we can assume that $f$ setwise fixes a closed ball $B'$ in $M$ and restricts to a homeomorphism of $S' = \partial B'$ which is orientation reversing on $S'$ if and only if $f$ is orientation reversing on $M$. Thus $h|_S$ is orientation reversing if and only if $f|_{S'}$ is orientation reversing.

Let $S'\times I$ denote a collar of $S'$ in $B'$ with $S'\times \{1\}=S'$, and let $B''$ be the closed ball in $B'$ whose boundary is $S'\times \{0\}$. Then there is a homeomorphism $\psi:B''\to B$. Now $\psi^{-1}\circ h\circ\psi:B''\to B''$ is a homeomorphism which is orientation reversing if and only if $h$ is orientation reversing. In particular, the two homeomorphisms $\psi^{-1}\circ h\circ\psi|_{\partial B''}$ and $f|_{S'}$ are self-maps of $2$-spheres which are either both orientation preserving or both orientation reversing. Thus they are isotopic.

We can now define a homeomorphism $g: M \to M$ that agrees with $\psi^{-1}\circ h\circ\psi$ on $B''$ and agrees with $f$ on $\mathrm{cl}(M-B')$, and by using the above isotopy we extend $g$ within the collar $S' \times I$. Thus $\Gamma'=\psi^{-1}(\Gamma)$ is an embedding of $G$ in $B'' \subseteq M$ that is setwise fixed by $g$, and $g|_{\Gamma'}$ induces the automorphism $\sigma$. Furthermore, $g$ is orientation preserving if and only if $h$ is orientation preserving.

As mentioned in Section \[Intro\], not every graph automorphism is realizable in $S^3$ [@F89]. But the following proposition shows that every graph automorphism is realizable in some $3$-manifold.

\[EveryAut\] Every automorphism $\sigma$ of a graph $G$ is realizable by an orientation preserving homeomorphism in a connected sum of one or more copies of $S^2\times S^1$.

The proof of Proposition \[EveryAut\] is straightforward. However, before we prove it, we define a neighborhood of a graph in a $3$-manifold and that we will use throughout the paper.

Let $\Gamma$ be an embedding of a graph $G$ in a $3$-manifold $M$, with sets $V$ and $E$ of vertices and edges respectively. For each vertex $v \in V$, take a ball $N(v)$ around $v$ whose intersection with $\Gamma$ is a connected set containing no vertex other than $v$. We then let $N(V) = \bigcup_{v \in V} N(v)$. For each edge $e \in E$, take a solid tube $N(e) \cong D \times I$ that has $\operatorname{cl}(e - N(V))$ as its core, such that $N(e) \cap N(V)$ consists of two disks $D \times \{0\}$ and $D \times \{1\}$ in $\partial N(V)$. We let $N(E) = \bigcup_{e \in E} N(e)$. Note that we can assume that the $N(v)$’s are pairwise disjoint and the $N(e)$’s are pairwise disjoint. Finally, let ${N(\Gamma)}= N(V) \cup N(E)$, and observe that ${N(\Gamma)}$ is a handlebody in $M$ that contains $\Gamma$ as its spine and as such it is unique up to isotopy.

Let $\Gamma$ denote any embedding of $G$ in $S^3$ and let $N = N(\Gamma)$ be the handlebody described above. There is a natural orientation preserving homeomorphism $g$ of $(N, \Gamma)$ that induces the automorphism $\sigma$ on $\Gamma$. Now let $N'$ be a copy of $N$, which is glued to $\partial N$ along $\partial N'$ in the natural way to form a closed $3$-manifold $M$. Then we can consider $\Gamma$ as an embedding of $G$ in $M$, and we can extend $g$ to $N'$ by copying its behavior on $N$ to obtain an orientation preserving homeomorphism of $(M, \Gamma)$ that realizes $\sigma$. By our construction, $M$ is a connected sum of $n$ copies of $S^2\times S^1$, where $n$ is the genus of $N$.

A connected sum of any number of $S^2 \times S^1$’s is reducible. If we restrict our attention to irreducible $3$-manifolds, the following proposition shows that the conclusion of Proposition \[EveryAut\] no longer holds.

\[K7\] Let $\sigma$ denote the automorphism $(123)$ of the complete graph $K_7$ with vertices numbered $1$, …, $7$. Then $\sigma$ is not realizable in any orientable, closed, connected, irreducible $3$-manifold.

We will prove this result at the end of the next section as a corollary to Part (3) of Theorem \[RigidHS\].

Rigidity of symmetries of spatial graphs {#Rigid}
========================================

In this section, we generalize the Rigidity Theorem for $S^3$ to homology spheres, and in some cases to irreducible $3$-manifolds more generally. We will also replace the $3$-connected hypothesis on graphs in Theorem \[RigidS3\] by a weaker hypothesis on the embedding of a graph.

We begin with some terminology. By a *pinched sphere* we will mean a sphere with two points identified, where the identified point is called the *pinch point*. Following [@FNPT05], we now define three special types of spheres and pinched spheres relative to a spatial graph in a $3$-manifold. Figure \[SepSph\] illustrates each of the types of spheres in grey.

Let $\Gamma$ be a spatial graph in a $3$-manifold $M$.

1.  A *type I sphere* of $\Gamma$ is a sphere $S$ embedded in $M$ that satisfies:

    1.  $S\cap \Gamma$ is a single vertex of $\Gamma$;

    2.  each of the components of $M -S$ has non-empty intersection with $\Gamma$.

2.  A *type II sphere* of $\Gamma$ is a sphere $S$ embedded in $M$ that satisfies:

    1.  $S\cap\Gamma$ is two vertices of $\Gamma$;

    2.  the closure of each component of $M - S$ contains at least two edges of $\Gamma$;

    3.  the annulus $S \cap \operatorname{cl}(M-{N(\Gamma)})$ is incompressible in $\operatorname{cl}(M-{N(\Gamma)})$.

3.  A *type III sphere* is pinched sphere $S$ embedded in $M$ that satisfies:

    1.  $S\cap\Gamma$ is a single vertex of $\Gamma$ which is also the pinch point of $S$;

    2.  each of the components of $M -S$ has non-empty intersection with $\Gamma$;

    3.  the annulus $S \cap \operatorname{cl}(M-{N(\Gamma)})$ is incompressible in $\operatorname{cl}(M-{N(\Gamma)})$.

Note that we are abusing notation in (3) by referring to $S$ as a type III [*sphere*]{} rather than a [*pinched sphere*]{}.

![Spatial graphs in $S^3$ with type I, II, and III spheres.[]{data-label="SepSph"}](SepSph.pdf)

\[SphVal\] [ Suppose that a graph $G$ has at least two edges. If $G$ has a vertex of valence one, then every embedding of $G$ in a $3$-manifold has a type I sphere; and if $G$ has a vertex of valence two, then every embedding of $G$ in a $3$-manifold has a type II sphere (See Figure \[LowVal\]). In particular, if the handlebody ${N(\Gamma)}$ has genus less than 2, then every embedding of $G$ in any $3$-manifold has a sphere of type I or II. ]{}

$$\includegraphics[scale=0.5]{LowVal.pdf}$$

We can now state our Rigidity Theorem.

\[RigidHS\] Let $M$ be an orientable, closed, connected $3$-manifold, let $\Gamma$ be an embedding of a graph $G$ in $M$ that does not have any spheres of type I, II, or III, and let $\sigma$ be an automorphism of $G$ that is realized by a homeomorphism $h$ of $(M, \Gamma)$. Then the following hold.

1.  If $M=S^3$, then $\sigma$ is realizable in $S^3$ by a homeomorphism $f$ of finite order;

2.  If $M$ is a homology sphere, then $\sigma$ is realizable in a homology sphere $M'$ by a homeomorphism $f$ of finite order;

3.  If $M$ is irreducible, then $\sigma$ is realizable in an orientable, closed, connected $3$-manifold $M'$ by a homeomorphism $f$ of finite order;

Moreover, in each case, $f$ can be chosen to be orientation reversing if and only if $h$ is orientation reversing.

Note that in parts (2) and (3), the $3$-manifold $M'$ may or may not coincide with $M$.

\[Sph3C\] [Suppose that $\Gamma$ has a type I, II, or III sphere $S$ in a $3$-manifold $M$. Since each component of $M -S$ has non-empty intersection with $\Gamma$, removing the (one or two) vertices in $S \cap \Gamma$ along with any incident edges disconnects $\Gamma$. Thus $\Gamma$ cannot be 3-connected. Hence the above Rigidity Theorem holds for any $3$-connected graph, regardless of the embedding of the graph in $M$.]{}

Figure \[N3C\] provides a counterexample to the converse of the above remark, where the graph is not even 2-connected but the embedding has no type I, II, or III sphere.

$$\includegraphics[scale=0.4]{N3C.pdf}$$

To prepare for the proof, we first establish two lemmas. The first one makes use of the well known Half Lives, Half Dies Theorem with integer coefficients (see for example Hatcher’s notes [@H]).

\[TorusHS\] Let $M$ be a homology sphere containing a torus $T$, let $N_1$ and $N_2$ denote the closed up components of $M-T$, and let $i_*:H_1(T)\to H_1(N_1)$ and $j_*:H_1(T)\to H_1(N_2)$ be the inclusion maps. Then there are simple closed curves $\lambda_1$ and $\lambda_2$ in $T$, which are unique up to isotopy, such that each $\lambda_k$ bounds a surface in $N_k$. Furthermore, $j_*(\lambda_1)$ and $i_*(\lambda_2)$ are generators of $H_1(N_2)={\mathbb{Z}}$ and $H_1(N_1)={\mathbb{Z}}$ respectively.

Note that since $H_2(M) = 0$, the torus $T$ separates $M$, and hence we can let $N_1$ and $N_2$ denote the closed up components of $M-T$ as given in the lemma. Since $H_2(M)=0$ and $H_1(M)=0$, it follows from the short exact sequence $$H_2(M) \to H_1(T)\to H_1(N_1) \oplus H_1(N_2) \to H_1(M)$$

that $(i_*,j_*):H_1(T)\to H_1(N_1) \oplus H_1(N_2)$ is an isomorphism. Thus $H_1(N_1) \oplus H_1(N_2)\cong {\mathbb{Z}}\oplus {\mathbb{Z}}$, and hence has no torsion.

By the Half Lives, Half Dies Theorem, $\mathrm{ker}(i_*)$ and $\mathrm{ker}(j_*)$ each have rank $1$. Moreover, since $H_1(N_1) \oplus H_1(N_2)$ has no torsion, the generators of $\mathrm{ker}(i_*)$ and $\mathrm{ker}(j_*)$ are primitive, and hence can be realized by simple closed curves $\lambda_1$ and $\lambda_2$ on $T$. Thus each $\lambda_k$ bounds a surface in $N_k$ as required. Since $T$ is a torus and $\lambda_1$ and $\lambda_2$ are unique up to homology, they are in fact, unique up to isotopy.

Observe that $(i_*,j_*)(\lambda_1) = (0, j_*(\lambda_1))$, and hence $ j_*(\lambda_1)$ is a generator of $H_1(N_2)$. Similarly, $ i_*(\lambda_2)$ is a generator of $H_1(N_1)$.

\[SewTorus\] [ As a consequence of Lemma \[TorusHS\], if we sew a solid torus to $N_1$ along $T$ by gluing its meridian along the generator $\lambda_2$, the resulting closed $3$-manifold is a homology sphere. ]{}

\[IrrLem\] Let $\Gamma$ be an embedding of a graph $G$ in a homology sphere $M$ which does not have any spheres of type I, II, or III, and suppose that $\sigma$ is an automorphism of $G$ that is realized by a homeomorphism $h$ of $(M,\Gamma)$. Then there exists an embedding $\Gamma'$ of $G$ in a homology sphere $M'$ and a homeomorphism $f$ of $(M',\Gamma')$ such that

1.  $\operatorname{cl}(M' - N(\Gamma'))$ is irreducible;

2.  $\Gamma'$ does not have any spheres of type I, II, or III in $M'$;

3.  $f$ realizes $\sigma$;

4.  $f$ is orientation reversing if and only if $h$ is orientation reversing.

Let ${N(\Gamma)}$ be the neighborhood of $\Gamma$ in $M$ defined in Section \[3M\]. Since $\Gamma$ is setwise invariant under $h$, we can modify $h$ by isotopy (and still refer to the resulting map as $h$) such that $h({N(\Gamma)}) = {N(\Gamma)}$, $h(N(v)) = N(\sigma(v))$ for each vertex $v$, and $h(N(e)) = N(\sigma(e))$ for each edge $e$.

As a result, $h$ restricts to a homeomorphism of $(\operatorname{cl}(M-{N(\Gamma)}), \partial {N(\Gamma)})$. We apply the Prime Decomposition Theorem (see for example [@H]) to $\operatorname{cl}(M-{N(\Gamma)})$ to get a finite family ${\mathcal{S}}$ of disjoint spheres, unique up to homeomorphism, which decomposes $\operatorname{cl}(M-{N(\Gamma)})$ into a connected sum of prime $3$-manifolds, none of which is $S^3$. Let $M_1$ denote the closure of the component of $\operatorname{cl}(M-{N(\Gamma)}) -{\mathcal{S}}$ that contains $\partial {N(\Gamma)}$, and $M_2$ denote the irreducible $3$-manifold formed from $M_1$ by filling its sphere boundary components with balls. Then $M_2$ is the only summand in the prime decomposition of $\operatorname{cl}(M-{N(\Gamma)})$ that is not closed. Thus $h(M_1)=M_1$.

Since $M$ is orientable and the family of spheres ${\mathcal{S}}$ is unique up to homeomorphism, there exists an orientation preserving homeomorphism $h'$ of $\operatorname{cl}(M-{N(\Gamma)})$ such that $h'(h({\mathcal{S}})) = {\mathcal{S}}$ and $h'$ pointwise fixes $\partial {N(\Gamma)}$ (see Appendix A of [@B83] and Theorem 3.1 of [@B02]). Then $h'(h(M_1))=M_1$, and $h'\circ h$ coincides with $h$ on $\partial {N(\Gamma)}$. We can then extend $(h' \circ h)|_{M_1}$ radially into the balls attached at the sphere boundary components of $M_1$ to obtain a homeomorphism $h_2$ of $M_2$ such that $h_2$ is orientation reversing if and only if $h$ is orientation reversing and $h_2$ coincides with $h$ on $\partial {N(\Gamma)}$.

We obtain a closed $3$-manifold $M'$, by attaching ${N(\Gamma)}$ to $M_2$ along $\partial {N(\Gamma)}= \partial M_2$ as it was originally attached to $M_1$. We show below that $M'$ is a homology sphere. Note that $M_1 \cup {N(\Gamma)}$ is a closed up component of $M - (\partial M_1 - \partial {N(\Gamma)})$. Since $H_1(M) = 0$ and $\partial M_1 - \partial N(\Gamma)$ consists of spheres, by the exactness of the Mayer-Vietoris sequence $$\cdots  \to H_1(\partial M_1 - \partial {N(\Gamma)}) \to H_1(M_1 \cup {N(\Gamma)}) \oplus H_1(\operatorname{cl}(M- (M_1 \cup {N(\Gamma)}))) \to H_1(M) \to \cdots$$ we have $H_1(M_1 \cup {N(\Gamma)}) = 0$. As $M'$ can be obtained from $M_1 \cup {N(\Gamma)}$ by filling its boundary components with balls, it follows that $H_1(M') = 0$. By Poincaré duality, $H_2(M') = 0$, and thus $M'$ is a homology sphere. Furthermore, $\operatorname{cl}(M' - N(\Gamma'))=M_2$ is irreducible.

Our embedding $\Gamma$ of $G$ in $M$ induces an embedding $\Gamma'$ of $G$ in $M'$. Suppose for the sake of contradiction that $\Gamma'$ has a sphere $S$ of type I, II, or III in $M'$. We can isotop $S$ off the balls in $\operatorname{cl}(M' - (M_1 \cup {N(\Gamma)}))$, if necessary, to obtain a sphere $S'$ of type I, II, or III for $\Gamma'$ that is contained in $M_1 \cup {N(\Gamma)}$. However, since $M_1 \cup {N(\Gamma)}\subseteq M$, the sphere $S'$ is also a type I, II, or III sphere for $\Gamma$ in $M$, contrary to hypothesis.

Finally, since $h_2$ coincides with $h$ on $\partial {N(\Gamma)}$, we can extend $h_2$ to $M'$ according to how $h$ maps ${N(\Gamma)}$ to itself to obtain a homeomorphism $f$ of $(M', \Gamma')$ that realizes $\sigma$. Note that $f$ is orientation reversing if and only if $h$ is orientation reversing.

We are now ready to prove the Rigidity Theorem (\[RigidHS\]). Our proof draws ideas from the proofs in [@F95] and [@FH14]. For convenience, we introduce some notation based on the construction of $N(\Gamma)$ given in Section 2. For each $v \in V$, let $\partial'N(v)$ denote the sphere with holes $\partial N(v) \cap \partial {N(\Gamma)}$. For each $e \in E$, let $\partial'N(e)$ denote the annulus $\partial N(e) \cap \partial {N(\Gamma)}$. Finally, let $\partial'N(V) = \bigcup_{v \in V} \partial'N(v)$ and $\partial' N(E) = \bigcup_{e \in E} \partial'N(e)$. Then $\partial {N(\Gamma)}= \partial'N(V) \cup \partial'N(E)$.

Since the proofs for the three parts are lengthy but largely similar, we will simultaneously prove all three parts and point out the differences among the three parts along the way. To begin with, we let ${N(\Gamma)}$ be the neighborhood of $\Gamma$ in $M$ defined in Section \[3M\]. Regardless of whether we are in Part (1), (2), or (3), if $G$ consists of a single edge, then we can embed $G$ as a line segment in $S^3$ and $\sigma$ will be induced by a finite order homeomorphism of $S^3$. Thus we assume this is not the case. Recall from Remark \[SphVal\] that $G$ cannot have any vertices of valence less than 3. It follows that the handlebody ${N(\Gamma)}$ has genus at least 2.

For part (1) of the Theorem, since $G$ is connected, $\operatorname{cl}(M-{N(\Gamma)}) = \operatorname{cl}(S^3-{N(\Gamma)})$ is irreducible. For part (2), using Lemma \[IrrLem\] to change the homology sphere $M$ if necessary, we can assume without loss of generality that $\operatorname{cl}(M - {N(\Gamma)})$ is irreducible. For part (3), first suppose that $\Gamma$ is contained in a ball $B$ in $M$. We can choose $B$ so that it is invariant under the homeomorphism $h$ of $(M,\Gamma)$. Then we can embed $\Gamma\subseteq B$ in $S^3$, to get an embedding $\Gamma'$ of $G$ in $S^3$ that does not have any spheres of type I, II, or III. Now, applying the argument of the proof of Proposition \[Aut3M\], we can use $h|_B$ to construct a homeomorphism $h'$ of $(S^3, \Gamma')$ that realizes $\sigma$. In this case, it suffices to prove part (1) of the Theorem. Thus, we will assume for part (3) that $\Gamma$ is not contained in a ball in $M$. Since $M$ is irreducible, this means that $\operatorname{cl}(M-{N(\Gamma)})$ is also irreducible.

Hence for all three parts of the Theorem, we can assume that $\operatorname{cl}(M-{N(\Gamma)})$ is irreducible. Thus we can apply the JSJ Characteristic Tori Decomposition (see [@JS79], [@J79]) to get a minimal family ${\mathcal{T}}$ of disjoint, incompressible tori in $\operatorname{cl}(M - {N(\Gamma)})$ such that each closed up component of $\operatorname{cl}(M - {N(\Gamma)}) - {\mathcal{T}}$ is Seifert fibered or atoroidal. Moreover, the family ${\mathcal{T}}$ is minimal and unique up to isotopy. Thus we can modify $h$ by an isotopy (and abuse notation by again referring to the resulting map also as $h$) such that $h({\mathcal{T}}) = {\mathcal{T}}$, $h(\Gamma) = \Gamma$, $h(N(v)) = N(\sigma(v))$ for each $v \in V$, and $h(N(e)) = N(\sigma(e))$ for each $e \in E$. Now let $X$ be the closed up component of $\operatorname{cl}(M-{N(\Gamma)}) - {\mathcal{T}}$ that contains $\partial {N(\Gamma)}$. Then $h(X) = X$.

Since $\partial {N(\Gamma)}$ has genus at least 2, $X$ cannot be Seifert fibered and hence is atoroidal. We show as follows that $X$ is irreducible. Since $\operatorname{cl}(M - {N(\Gamma)})$ is irreducible, it suffices to consider the case $X \neq \operatorname{cl}(M - {N(\Gamma)})$. Thus we assume that ${\mathcal{T}}$ is non-empty. Let $S$ be a sphere in $X\subseteq \operatorname{cl}(M - {N(\Gamma)})$. Then the irreducibility of $\operatorname{cl}(M - {N(\Gamma)})$ implies that $S$ splits $\operatorname{cl}(M - {N(\Gamma)})$ into two closed up components, one of which is a ball. One such component contains $\operatorname{cl}((M - {N(\Gamma)})- X)$ and the other such component is contained in $X$. If the closed up component of $\operatorname{cl}(M-{N(\Gamma)})- S$ containing $\operatorname{cl}((M - {N(\Gamma)})- X)$ were a ball, then it would contain some torus in ${\mathcal{T}}$, contradicting the incompressibility of the tori in ${\mathcal{T}}$. So the closed up component of $\operatorname{cl}(M - {N(\Gamma)}) - S$ contained in $X$ is a ball. Thus $X$ is irreducible.

Now, let $P$ denote the union of the torus boundary components of $X$ together with the annuli in $\partial'N(E)$. Then, $P \subseteq \partial X$ and $\operatorname{cl}(\partial X -P) = \partial' N(V)$ consists of spheres with holes. Suppose, for the sake of contradiction, that there is a compressing disk $D$ for $\partial X-P$ in $X$. Then $\partial D$ is a non-trivial loop in $\partial'N(v)$, for some vertex $v \in V$. Hence the two components of $\partial'N(v) - \partial D$ each have at least one hole through which an edge of $\Gamma$ passes. Thus, if we take a disk $D'$ in $N(v)$ such that $\partial D' = \partial D$ and $D' \cap \Gamma = \{v\}$, then the sphere $D \cup D'$ would be a type I sphere of $\Gamma$, which cannot exist by our hypothesis. It follows that $\partial X-P$ is incompressible.

Since $X$ is irreducible and $\partial X-P$ is incompressible, we can apply the JSJ Characteristic Submanifold Decomposition for pared manifolds (see [@JS79], [@J79]) to the pared manifold $(X,P)$ to obtain a minimal family ${\mathcal{A}}$ of incompressible tori and annuli in $X$ with boundaries in $\partial X-P$ such that for each closed up component $W$ of $X - {\mathcal{A}}$, the pared manifold $(W, W \cap (P \cup {\mathcal{A}}))$ is either simple, Seifert fibered, or $I$-fibered. Since $X$ is atoroidal, ${\mathcal{A}}$ cannot contain any tori. By the uniqueness of ${\mathcal{A}}$ up to isotopy, this means that we can again modify $h$ by an isotopy (and, by an abuse of notation, refer to the resulting map as $h$) so that $h({\mathcal{A}}) = {\mathcal{A}}$.

Let $A$ be one of the annuli in ${\mathcal{A}}$. Suppose, for the sake of contradiction, that there is a compression disk for some $A$ in $\operatorname{cl}(M - {N(\Gamma)})$. Since $A$ is incompressible in $X$, this disk must meet some torus in ${\mathcal{T}}$ non-trivially, giving us a compression disk for the torus in $\operatorname{cl}(M-{N(\Gamma)})$. This contradiction shows that $A$ is incompressible in $\operatorname{cl}(M-{N(\Gamma)})$.

Suppose that the boundaries of $A$ are in distinct components of $\partial N(V)$. Then there are vertices $v_1, v_2 \in V$ such that one component of $\partial A$ is contained in $\partial' N(v_1)$ and the other is contained in $\partial' N(v_2)$. Let $D_1\subseteq N(v_1)$ and $D_2\subseteq N(v_2)$ be disks intersecting $\Gamma$ at $v_1$ and $v_2$ respectively, such that $\partial A = \partial D_1 \cup \partial D_2$. Then $S=A \cup D_1 \cup D_2$ is a sphere that separates $M$ into closed up components $U$ and $U'$. If both $U$ and $U'$ contain at least two edges, $S$ would be a type II sphere, contrary to hypothesis. Thus, without loss of generality, $\Gamma\cap U$ contains at most one edge. However, since $A$ is incompressible, in fact, $\Gamma\cap U$ consists of exactly one edge $e$.

Now since $e$ is the only edge of $\Gamma$ whose vertices are $v_1$ and $v_2$, we can define the set ${\mathcal{A}}_e$ of all annuli in ${\mathcal{A}}\cup P$ with one boundary in $\partial N(v_1)$ and the other boundary in $\partial N(v_2)$. We can then cap off each annulus in ${\mathcal{A}}_e$ with disks in $\partial N(v_1)$ and $\partial N(v_2)$ to obtain a collection of spheres. Since $M$ is either $S^3$, a homology sphere, or an irreducible manifold, each such sphere separates $M$ into two closed up components; and the set of such components which contain $e$ are nested. Thus we can let $U_e$ denote the outermost component with respect to this nesting.

We do the above construction for each annulus in ${\mathcal{A}}\cup P$ with boundaries in distinct components of $\partial N(V)$ to obtain a collection of solids $U_{e_1}$, …, $U_{e_n}$ which each meet precisely two components of $\partial N(V)$. Observe that for every edge $e_i$, the annulus $\partial'N(e_i)$ is in $P$, and hence every edge $e_i$ in $\Gamma$ is contained in some $U_{e_i}$. Also, every $\partial U_{e_i}$ meets $\Gamma$ only in the two points of $e_i\cap \partial N(V)$.

Next suppose that for some vertex $v$, the boundaries of the annulus $A$ are both in $\partial N(v)$ and $A$ is not contained in one of the $U_{e_i}$. Let $D_1$ and $D_2$ be disks in $N(v)$ such that $\partial A = \partial D_1 \cup \partial D_2$ and for each $i$ we have $D_i\cap \Gamma=\{v\}$. Then $A\cup D_1 \cup D_2$ is a pinched sphere that separates $M$ into closed up regions $F_A$ and $F'_A$. If both $F_A$ and $F'_A$ contain at least one edge, then this pinched sphere would be a type III sphere. Thus without loss of generality, $F_A\cap \Gamma=\{v\}$. Now the boundary components of $A$ divide $\partial N(v)$ into two disks and an annulus. If either of these disks were disjoint from $\Gamma$ then $A$ would be compressible in $X$. Since $F_A\cap \Gamma=\{v\}$, it follows that $F_A\cap \partial N(v)$ is an annulus which is disjoint from $\Gamma$. In other words, the boundary components of $A$ co-bound an annulus in $\partial'N(v)$.

We now cap off all of the annuli in ${\mathcal{A}}$ which have both boundaries in $\partial N(v)$ and are not contained in any $U_{e_i}$ to obtain a collection of pinched spheres which bound $3$-dimensional regions whose intersection with $\Gamma$ consists of the single vertex $v$. Since the set of such regions containing a given annulus $A$ are nested, we can choose $A\in{\mathcal{A}}$ such that $F_A$ is an outermost such region. We do this construction for all those annuli in ${\mathcal{A}}$ with both boundaries in the same component of $\partial N(V)$ which are not contained in any of the $U_{e_i}$.

In this way, we obtain outermost regions $F_{A_1}$, …, $F_{A_m}$ and $U_{e_1}$…$U_{e_n}$ such that all of the annuli in ${\mathcal{A}}\cup P$ are contained in $U_{e_1}\cup\dots\cup U_{e_n}\cup F_{A_1}\cup \dots\cup F_{A_m}$. Also, the regions $F_{A_1}\cap X$, …, $F_{A_m}\cap X$ and $U_{e_1}\cap X$, …, $U_{e_n} \cap X$ are pairwise disjoint. See Figure \[annuli\].

![An illustration of some of the outermost regions $U_{e_i}$ and $F_{A_j}$.[]{data-label="annuli"}](annuli.pdf)

Let $W=\mathrm{cl}(X-(U_{e_1}\cup\dots\cup U_{e_n}\cup F_{A_1}\cup \dots\cup F_{A_m}))$, as illustrated in Figure \[Wnew\] where $T$ is one of the torus boundary components of $X$. Observe from our construction that $W$ is the closure of a single component of $X-({\mathcal{A}}\cup P)$. Hence by the JSJ Decomposition for pared manifolds, the pared manifold $(W, W \cap (P \cup {\mathcal{A}}))$ is either simple, Seifert fibered, or $I$-fibered.

Since the boundary components of the annuli in ${\mathcal{A}}\cup P$ are pairwise disjoint curves in $\partial N(V)$, no component of $X\cap \partial N(V)$ is entirely contained in $U_{e_1}\cup\dots\cup U_{e_n}\cup F_{A_1}\cup \dots\cup F_{A_m}$. Thus, $W$ meets every component of $\partial N(V)$. Also, for every pair of vertices $v_1$ and $v_2$ which are joined by an edge, there is an annulus in $\partial W$ with boundaries in $\partial N(v_1)\cap W$ and $\partial N(v_2)\cap W$. Since $\partial {N(\Gamma)}$ has genus at least 2, this means that the boundary component of $W$ which meets $\partial {N(\Gamma)}$ has genus at least 2. It follows that $(W, W \cap (P \cup {\mathcal{A}}))$ is not Seifert fibered.

![$W=\mathrm{cl}(X-(U_{e_1}\cup\dots\cup U_{e_n}\cup F_{A_1}\cup \dots\cup F_{A_m}))$.[]{data-label="Wnew"}](Wnew.pdf)

Now suppose that $(W, W \cap (P \cup {\mathcal{A}}))$ is $I$-fibered as a pared manifold. Then there is an $I$-bundle map of $W$ over a base surface $S$ such that $W \cap (P \cup {\mathcal{A}})$ is in the pre-image of $\partial S$. This implies that $S$ must be homeomorphic to a component of $\partial' N(V) \cap W$. Hence $S$ is a sphere with holes. Since $W$ is orientable and is $I$-fibered over the orientable surface $S$, it follows that $W$ is homeomorphic to $S \times I$. Hence $W \cap (P \cup {\mathcal{A}}) = \partial S \times I$, and $S \times \{0\}$ and $S \times \{1\}$ are the only components of $\partial'N(V) \cap W$. But we saw above that $W$ meets every component of $\partial N(V)$. Thus $G$ has at most two vertices, contradicting our earlier observation that every vertex of $G$ has valence at least $3$. Hence $(W, W \cap (P \cup {\mathcal{A}}))$ cannot be $I$-fibered.

It now follows that the pared manifold $(W, W \cap (P \cup {\mathcal{A}}))$ is simple. We can thus apply Thurston’s Hyperbolization Theorem [@T82] to $(W, W \cap (P \cup {\mathcal{A}}))$ to equip $W - W \cap (P \cup {\mathcal{A}})$ with a finite volume hyperbolic metric with totally geodesic boundary.

Recall that $h(X) = X$ and $h({\mathcal{A}}) = {\mathcal{A}}$. Observe from our construction of $F_{A_1}$, …, $F_{A_m}$ and $U_{e_1}$…$U_{e_n}$ that $W$ is the only closed up component of $X - {\mathcal{A}}$ that meets more than two components of $\partial N(V)$. Thus we must have $h(W) = W$, and hence $h$ restricts to a homeomorphism of $(W, W \cap (P \cup {\mathcal{A}}))$. We can now extend $h$ to the double of $W - W \cap (P \cap {\mathcal{A}})$ along its boundary. By Mostow’s Rigidity Theorem [@M73] applied to this double and then restricted to $W$, we obtain a homeomorphism $f$ of $(W, W \cap (P \cup {\mathcal{A}}))$ that has finite order and is homotopic to $h$. Furthermore, $f$ induces isometries on the collection of tori and annuli in $W\cap (P\cup {\mathcal{A}})$ with respect to a flat metric. Finally, Waldhausen’s Isotopy Theorem [@W68] ensures that $f$ is actually isotopic to $h$ by an isotopy of $W$ that leaves $W \cap (P \cup {\mathcal{A}})$ setwise invariant.

Below, we fill in the boundary components of $W$ and extend $f$ to a finite order homeomorphism of the closed manifold we obtain. We will abuse notation throughout by referring to the extended maps as $f$. We begin by extending $f$ to $N(V)$ as follows. Observe that the components of $\partial N(V)-W$ consist of disks in the $U_{e_i}$ which each meet $\Gamma$ in a single point and annuli in the $F_{A_j}$ which are disjoint from $\Gamma$. We extend $f$ radially within these disks. For the annuli in $\partial N(V)-W$, recall that $f$ is a finite order isometry of the annuli $A_1$, …, $A_m$ taking the set $\{\partial A_1,\dots, \partial A_m\}$ to itself. Thus we can extend $f$ to a finite order isometry of the annuli in $\partial N(V)-W$. In this way, we have extended $f$ to a finite order homeomorphism of $\partial N(V)$. Thus we can now extend $f$ radially to $N(V)$, re-embedding $N(V)\cap \Gamma$ if necessary, so that $f$ takes $N(V)\cap \Gamma$ to itself and $f$ is still of finite order. Furthermore, since $f$ is isotopic to $h$ on $\partial W$, it follows from our constructions of these extensions that $f$ is isotopic to $h$ on $W\cup N(V)$.

Next, for each $i$, we let $S_{e_i}$ denote the sphere $\partial(\mathrm{cl}(U_{e_i}-N(V)))$. For each $i$, let $D_i$ be a disk and attach the solid tube $D_i\times I$ to $S_{e_i}$ such that $D_i\times \{0\}$ and $D_i\times \{1\}$ are the components of $S_{e_i}\cap \partial N(V)$. Now, let $C_i$ denote a core of the solid tube $D_i\times I$ whose endpoints coincide with the points of $ \partial N(V)\cap \Gamma$. Then $\Gamma'=(N(V)\cap \Gamma)\cup C_1\cup\dots\cup C_n$ is an embedding of $\Gamma$ in $Y=W\cup N(V)\cup (D_1\times I) \cup\dots\cup (D_n\times I)$ and $N(\Gamma')= N(V)\cup (D_1\times I) \cup\dots\cup (D_n\times I)$ is a neighborhood of $\Gamma'$ in $Y$.

Since $f$ takes the sets $\{U_{e_1}, \dots, U_{e_n}\}$ and $N(V)$ to themselves, we can extend $f$ as a product map into the $D_i\times I$ so that $f$ takes the set $\{C_1,\dots, C_n\}$ to itself and $f$ is still of finite order. Also, since $W$ meets every component of $N(V)$, and $f$ is isotopic to $h$ on $W$, $f$ induces the same permutation of the components of $N(V)$ as $h$. Thus $f$ induces the automorphism $\sigma$ on $\Gamma'$.

Recall that for each $j$, $\partial F_{A_j}$ is a pinched sphere meeting $\partial' N(V)$ in an annulus. Thus $\partial (\mathrm{cl}(F_{A_j}-N(V)))$ is a torus consisting of the union of the annulus $A_j$ and the annulus in $\partial' N(V)$. Let $R_1, R_2, \dots, R_p$ denote the boundary components of $Y$. Then all of the $R_i$ are tori, with some contained in ${\mathcal{T}}$ and others of the form $\partial (\mathrm{cl}(F_{A_j}-N(V)))$.

From here, we make separate arguments for the different parts of the theorem. For part (3), we obtain the manifold $M'$ by taking the double of $Y$ and extending $f$ in the natural way. Then $f$ has finite order, induces $\sigma$ on $\Gamma'$, and is orientation reversing if and only if $h$ is.

For parts (1) and (2), we apply Lemma \[TorusHS\] to each torus $R_j$ in $M$, to obtain a simple closed curve $\lambda_j$ which is unique up to isotopy in $R_j$, and such that $\lambda_j$ bounds a surface in the closed up component of $M - R_i$ that is disjoint from ${N(\Gamma)}$. Observe that since $h$ leaves ${\mathcal{T}}$ and ${\mathcal{A}}$ setwise invariant, $h$ also leaves the set $\{R_1,\dots,R_p\}$ invariant. Thus $h$ takes the set of curves $\{\lambda_1,\dots, \lambda_p\}$ to an isotopic set of curves on the tori $R_1$, …, $R_p$. Now since $f$ is isotopic to $h$ on $W\cup N(V)$, it follows that $f$ also takes the set of curves $\{\lambda_1,\dots, \lambda_p\}$ to an isotopic set of curves on the tori $R_1$, …, $R_p$. However, since $f$ is a finite order isometry of $R_1$, …, $R_p$, there are simple closed curves $\ell_1$, …, $\ell_p$ on the tori $R_1$, …, $R_p$ respectively, such that each $\ell_j$ is isotopic to $\lambda_j$ and $f$ takes the set $\{\ell_1, \dots, \ell_p\}$ to itself. For each $j$, we sew in a solid torus $Z_j$ onto $Y$ along $R_j$ by gluing its meridian along $\ell_j$. In this way, we obtain a closed manifold $M'$.

For part (1), we review our construction of $M'$, in order to see that $M'=S^3$. Recall that starting with $W\cup N(V)\subseteq M=S^3$, we attached balls $D_1\times I$, …, $D_n\times I$ to the spheres $S_{e_1}$, …, $S_{e_n}$, and then attached solid tori $Z_1$, …, $Z_p$, to the tori $R_1$, …, $R_p$ by gluing a meridians of $Z_1$, …, $Z_p$ to the curves $\ell_1$, …, $\ell_p$. Since every sphere in $S^3$ bounds a ball on both sides, $Y=W\cup N(V)\cup (D_1\times I) \cup\dots\cup (D_n\times I)\subseteq S^3$. Now each of the tori $R_1$, …, $R_p$ either bounds a knot complement or a solid torus in $S^3-Y$. Also, since each $\ell_j$ isotopic to $\lambda_j$, it bounds a surface in $S^3-Y$. Hence replacing these knot complements or solid tori, by the solid tori $Z_1$, …, $Z_p$ to $\partial Y$ by gluing their meridians to the curves $\ell_1$, …, $\ell_p$ again yields $S^3$. Thus $M'=S^3$.

Finally, for part (2), we suppose that $M$ is a homology sphere. Then every sphere in $M$ bounds a homology ball (which may also be a ball) on both sides. Whether or not a given ball $D_i\times I$ replaces a ball or a homology ball in $M-(W\cup N(V))$, it follows that $Y=W\cup N(V)\cup (D_1\times I) \cup\dots\cup (D_n\times I)$ is contained in a homology sphere (which may actually be $S^3$). Now by applying Remark \[SewTorus\] we see that adding each solid torus $Z_i$ by gluing its meridian to $\ell_i$, again gives a homology sphere.

Now we use Part (3) of our Rigidity Theorem (\[RigidHS\]) to prove Proposition \[K7\].

Suppose that $\sigma=(123)$ of the complete graph $K_7$ is realizable in some orientable, closed, connected, irreducible $3$-manifold $M$. Since $K_7$ is $3$-connected, by Remark \[Sph3C\], we can apply the Rigidity Theorem (\[RigidHS\]) to get an embedding $\Gamma$ of $K_7$ in some $3$-manifold $M'$ such that $\sigma$ is induced on $\Gamma$ by a finite order homeomorphism $h$ of $(M',\Gamma)$.

We can express the order of $h$ as $3^rq$ where $q$ is not divisible by $3$. Since $h$ induces $\sigma=(123)$ on $\Gamma$, so does $g=h^q$. Furthermore, $g$ has order $3^r$ and hence is orientation preserving. Let $F$ denote the fixed point set of $g$. Then $F$ contains the $K_4$ subgraph with vertices $4$, $5$, $6$, $7$. But, since $g$ is orientation preserving and has finite order, by Smith Theory [@S39], either $F=\emptyset$ or $F$ is a collection of disjoint $S^1$’s. By this contradiction we conclude that $\sigma$ could not have been realizable in any orientable, closed, connected, irreducible $3$-manifold.

Realizable automorphisms in homology spheres {#CompareHS}
============================================

Using our Rigidity Theorem (\[RigidHS\]) together with Smith Theory [@S39], many results about the symmetries of spatial graphs in $S^3$ can be generalized to homology spheres. For example, Corollary 1 of [@F95], Theorem 1 of [@FL02], Theorem 2.1 of [@JW00], Theorem 1 of [@FW96], and various results from [@F89] can now be easily proved for homology spheres. The following result about complete graphs is a consequence of our Rigidity Theorem (\[RigidHS\]), Smith Theory [@S39], and Lemmas 1-7 and Theorem 2 of [@F95].

\[ClassThmHS\] Let $M$ be a homology sphere which has an orientation reversing homeomorphism. Then an automorphism $\sigma$ of the complete graph $K_n$, with $n>6$, is realizable in $M$ if and only if $\sigma$ is realizable in $S^3$.

By contrast with Theorem \[ClassThmHS\] for complete graphs, we show as follows that not all realizable automorphisms of arbitrary graphs in a homology spheres are realizable in $S^3$.

\[poincare\] There exists an automorphism of a graph which is realizable in the Poincaré homology sphere but is not realizable in $S^3$.

In order to prove Theorem \[poincare\], we use the construction of the Poincaré homology sphere $P$ by surgery on the 3-component link in $S^3$ illustrated in Figure \[PSurgery\] where each component $\alpha_{k}$ has surgery coefficient $k-1$. In particular, let $N_2$, $N_3$, and $N_5$ be disjoint tubular neighborhoods of $\alpha_2, \alpha_3,$ and $\alpha_5$, respectively. We then remove the interiors of the $N_k$ and sew in solid tori $N_2', N_3'$, and $N_5'$ along $\partial N_2, \partial N_3$, and $\partial N_5$ by gluing a meridian of $\partial N_k'$ to a $(k-1, 1)$ curve on $\partial N_k$.

![A surgery that produces the Poincaré homology sphere $P$ from $S^3$ with surgery coefficients indicated.[]{data-label="PSurgery"}](PSurgery.pdf)

Because of the linking of $\alpha_2, \alpha_3$ and $\alpha_5$, we can choose a Hopf fibration of $S^3$ such that each $\alpha_k$ is a fiber and each $\partial N_k = \partial N_k'$ is a union of fibers. For each $k$, let $\beta_k$ be the core of $N_k'$; then, viewing $N_k' - \beta_k$ as a product $\partial N_k' \times [0,1)$, we can extend the fibration of $\partial N_k'$ to $N_k' - \beta_k$. Finally, adding in $\beta_2, \beta_3$, and $\beta_5$ as exceptional fibers, we get a Seifert fibration of $P$. For each $k$, a Hopf fiber on $\partial N_k$ is a $(-1,1)$-curve, and its image in $\partial N_k'$ under the gluing map is a $(1, k)$-curve. Thus, in our Seifert fibration of $N_k' \subseteq P$, each ordinary fiber goes around the exceptional fiber $\beta_k$ once and along it $k$ times, and hence $\beta_k$ has Seifert invariant $(k,1)$.

Note that the solid tori $N_k'$ can also be obtained by starting with a solid tube $D \times I$, where $D$ is the unit disk in ${\mathbb{C}}$ and $I$ is the unit interval, and identifying the disk $D \times \{0\}$ to $D \times \{1\}$ after rotating $D \times \{1\}$ counterclockwise by $\tfrac{2\pi}{k}$ (see Figure \[ExFiber\]). With this identification, the image of $\{0\} \times I$ is the exceptional fiber $\beta_k$, and for each $z \in D - \{0\}$, the image of the union of $k$ vertical segments $\{z, e^{\tfrac{2\pi i}{k}} z, \cdots, e^{\tfrac{2(k-1)\pi i}{k}} z \} \times I$ is an ordinary fiber.

We now define a graph $G_{61}$ which consists of 61 vertices that are partitioned into four cycles: $\gamma_0 = \overline{a_1a_2 \cdots a_{30}}, \gamma_2 = \overline{b_1b_2 \cdots b_{15}}$, $\gamma_3 = \overline{c_1c_2 \cdots c_{10}},$ and $\gamma_5 = \overline{d_1d_2\cdots d_6}$, and additional edges: $\overline{a_ib_j}$ whenever $i \equiv j \pmod{15}$, $\overline{a_ic_j}$ whenever $i \equiv j \pmod {10}$, and $\overline{a_id_j}$ whenever $i \equiv j \pmod 6$. For $k = 2,3,5$, each vertex on the cycle $\gamma_k$ is connected to $k$ “evenly-spread" vertices on $\gamma_0$. See Figure \[G61\] for an illustration of part of $G_{61}$, which shows the four $\gamma_k$ and the edges adjacent to vertices $a_1, b_1, c_1,$ and $d_1$.

![An illustration of part of the graph $G_{61}$[]{data-label="G61"}](G61.pdf)

Note that $G_{61}$ is non-planar and 3-connected. We will focus on the automorphism $$\sigma = (a_1a_2 \cdots a_{30})(b_1b_2 \cdots b_{15})(c_1c_2 \cdots c_{10})(d_1d_2\cdots d_6)$$ of $G_{61}$. Note that $\sigma$ has order 30, and for $k = 2,3,5$, the automorphism $\sigma^{\tfrac{30}{k}}$ fixes the vertices on the cycle $\gamma_k$ but fixes no other vertex of the graph.

\[SigmaP\] The automorphism $\sigma=(a_1a_2 \cdots a_{30})(b_1b_2 \cdots b_{15})(c_1c_2 \cdots c_{10})(d_1d_2\cdots d_6)$ of $G_{61}$ is realizable in the Poincaré homology sphere.

Let $P$ denote the Poincaré homology sphere with exceptional fibers $\beta_2, \beta_3$, and $\beta_5$ as described above. Let $f$ be an order 30 homeomorphism of $P$ that rotates each fiber of $P$ such that $f^{\frac{30}{k}}$ has fixed point set $\beta_k$, for $k = 2,3,5$, and on each ordinary fiber $f$ has order 30.

Now, we use $f$ to construct an embedding of $G_{61}$ in $P$. In particular, let $\beta_0$ denote an ordinary fiber in $P$ which is disjoint from each neighborhood $N_k'$. We embed the cycle $\gamma_0$ as $\beta_0$ such that $f$ realizes the automorphism $(a_1a_2 \cdots a_{30})$ of $\gamma_0$. Then, we embed the cycle $\gamma_k$ onto $\beta_k$ for each $k = 2,3,5$, such that $f$ induces the automorphisms $(b_1b_2 \cdots b_{15})$ of $\gamma_2$, $(c_1c_2 \cdots c_{10})$ of $\gamma_3$, and $(d_1d_2\cdots d_6)$ of $\gamma_5$.

In order to embed the remaining edges, we consider the quotient space $\overline{P}$ of $P$ under $f$, with quotient map $q:P \to \overline{P}$. Let $a = q(a_1), b = q(b_1), c = q(c_1)$, and $d = q(d_1)$. We take paths $\overline{ab}, \overline{ac}$, and $\overline{ad}$ in $\overline{P}$ whose interiors are pairwise disjoint and each is disjoint from the loops $q(\alpha_k)$, for $k = 0,2,3,5$. Then, we embed the edges with one vertex on $\alpha_2$, $\alpha_3$, or $\alpha_5$ and the other vertex on $\alpha_0$ as the lifts of $\overline{ab}, \overline{ac}$, and $\overline{ad}$. Figure \[G61Embed\] illustrates part of the embedding of $G_{60}$ in a neighborhood of the regular fiber $\alpha_0$, and in the neighborhood $N_5'$ of the exceptional fiber $\beta_5$ (with the same gluing of the top and bottom disk as in Figure \[ExFiber\]). It follows from our construction that $f$ realizes the automorphism $\sigma$ of $G_{61}$ in $P$.

![The embedding of $G_{61}$ in neighborhoods of the fibers $\beta_0$ and $\beta_5$[]{data-label="G61Embed"}](G61Embed.pdf)

In order to show that the automorphism $\sigma$ of $G_{61}$ is not realizable in $S^3$, we use the following Lemma from [@FLMPV14].

\[2Circle\] Let $h$ be a finite order homeomorphism of $S^3$ which is fixed point free. Then there are at most two circles which are the fixed point set of some power of $h$ less than its order.

\[G61NS3\] The automorphism $\sigma=(a_1a_2 \cdots a_{30})(b_1b_2 \cdots b_{15})(c_1c_2 \cdots c_{10})(d_1d_2\cdots d_6)$ of $G_{61}$ is not realizable in $S^3$.

Suppose that for some embedding $\Gamma$ of $G_{61}$ in $S^3$, there is a homeomorphism $h$ of $(S^3, \Gamma)$ that realizes $\sigma$. Since $G_{61}$ is 3-connected, by Theorem \[RigidS3\], we can assume that $h$ has finite order. Furthermore, since $G_{61}$ is non-planar, the order of $h$ must be 30 since that is the order of $\sigma$. Now $h^{15}$, $h^{10}$, and $h^6$ pointwise fix the embedded cycles $\gamma_2, \gamma_3$, and $\gamma_5$, respectively.

Suppose for the sake of contradiction that $h$ fixes some point $p$ in $S^3$. Now it follows that for $k = 2,3,5$, $h^{\frac{30}{k}}$ also fixes $p$. Since $\gamma_2$, $\gamma_3$, and $\gamma_5$ are pairwise disjoint, $p$ can be on at most one of these cycles. In particular, $p$ cannot be on both $\gamma_3$ and $\gamma_5$. Thus at least one of $h^{10}$ or $h^6$ pointwise fixes a circle and a point not on that circle. But by Smith Theory [@S39], this implies that at least one of $h^{10}$ or $h^6$ pointwise fixes an $S^2$. However, this would imply that $h^{10}$ or $h^6$ is an involution. Thus, in fact, $h$ is fixed point free.

But now, by Lemma \[2Circle\], there are at most two circles which are the fixed point set of some power of $h$ less than 30. Hence no such $h$ exists, and hence $\sigma$ is not realizable in $S^3$.

Theorem \[poincare\] now follows from Lemmas \[SigmaP\] and \[G61NS3\].

Acknowledgments
===============

The first author is grateful to Daryl Cooper for a helpful conversation which gave her the idea for Theorem \[K7\].

[^1]: The first author was supported in part by NSF Grant DMS-1607744. The second author was supported by Pomona College’s Summer Undergraduate Research Program
