Lemma 3.1.
A knot
$K$
in
${S}^{3}$
is trivial if and only if any incomperssible and
$\partial $
incompressible surface in the exterior
$E\left(K\right)$
is an only disk.

Proof.
(of Lemma 3.1 ) Suppose that
$K$
is trivial. Then,
$E\left(K\right)$
is a solid torus. It is wellknown that any incompressible and
$\partial $
incompressible surface in a solid torus is an only disk.
Conversely, suppose that any incomperssible and
$\partial $
incompressible surface in
$E\left(K\right)$
is an only disk. Since any knot exterior contains an incompressible nonseparating orientable surface coming from a Seifert surface of minimal genus, the supposition implies that
$K$
bounds a Seifert surface of genus 0. Thus,
$K$
is trivial. □
Lemma 3.2.
Let
$K$
be a knot in
${S}^{3}$
and
$F$
an incompressible orientable surface properly embedded in
$E\left(K\right)$
. If
$F$
is
$\partial $
compressible in
$E\left(K\right)$
, then
$F$
is a
$\partial $
parallel annulus.

Proof.
(of Lemma 3.2 ) Suppose that
$F$
is
$\partial $
compressible in
$E\left(K\right)$
, and let
$D$
be a
$\partial $
compressing disk for
$F$
in
$E\left(K\right)$
. Put
$\partial D\cap F=\alpha $
and
$\partial D\cap \partial E\left(K\right)=\beta $
.
Since
$F$
is incompressible in
$E\left(K\right)$
,
$\partial F$
consists of mutually parallel loops that are essential in the torus
$\partial E\left(K\right)$
. Let
$A$
be an annulus as the closure of a component of
$\partial E\left(K\right)\partial F$
containing
$\beta $
.
If
$\beta $
is inessential in
$A$
, then we isotope
$D$
so that
$\partial D$
is entirely contained in
$F$
. Then,
$\partial D$
bounds a disk in
$F$
since
$F$
is incompressible in
$E\left(K\right)$
. This shows that
$\alpha $
is not essential in
$F$
, and contradicts that
$D$
is a
$\partial $
compressing disk for
$F$
in
$E\left(K\right)$
.
Otherwise, by cutting
$A$
along
$\beta $
and pasting two parallel copies of
$D$
, we obtain a new disk
$E$
with
$\partial E\subset F$
. Since
$F$
is incompressible in
$E\left(K\right)$
,
$\partial E$
bounds a disk
${E}^{\prime}$
in
$F$
. Moreover, a 2sphere
$E\cup {E}^{\prime}$
bounds a 3ball in
$E\left(K\right)$
since
$E\left(K\right)$
is irreducible. This shows that
$F$
is an annulus which is
$\partial $
parallel to
$A$
. □
Lemma 3.3.
Let
$K$
be a knot contained in a closed surface
$F$
in
${S}^{3}$
.
Then,

(1)
$r(F,K)\ge 1$
if and only if
$F\cap E\left(K\right)$
is incompressible in
$E\left(K\right)$
.

(2)
$r(F,K)\ge 2$
if and only if
$F\cap E\left(K\right)$
is incompressible and
$\partial $
incompressible in
$E\left(K\right)$
.

Proof.
(of Lemma 3.3 ) (1) By the definition,
$r(F,K)=0$
if and only if there exists a compressing disk
$D$
for
$F$
such that
$\partial D\cap K=0$
. Equivalently,
$FK$
is compressible in
${S}^{3}K$
.
(2) Suppose that
$r(F,K)=1$
and let
$D$
be a compressing disk for
$F$
such that
$\partial D\cap K=1$
. Then, we have a
$\partial $
compressing disk
$D\cap E\left(K\right)$
for
$F\cap E\left(K\right)$
. Together with (1), we have that if
$F\cap E\left(K\right)$
is incompressible and
$\partial $
incompressible in
$E\left(K\right)$
, then
$r(F,K)\ge 2$
.
Conversely, suppose that
$F\cap E\left(K\right)$
is incompressible and
$\partial $
compressible in
$E\left(K\right)$
. Then, by Lemma 3.2 ,
$F\cap E\left(K\right)$
is a
$\partial $
parallel annulus. This shows that
$F$
is a torus and
$K$
goes around
$F$
once. Hence, there exists a compressing disk
$D$
for
$F$
such that
$\partial D\cap K=1$
, and
$r(F,K)=1$
. Thus, we have that if
$r(F,K)\ge 2$
, then
$F\cap E\left(K\right)$
is incompressible and
$\partial $
incompressible in
$E\left(K\right)$
. □
4 Proof

Proof.
(of Theorem 2.1 ) Suppose that
$K$
is parallel to
$S$
and let
$A$
be an annulus connecting
$K$
and a loop in
$S$
. We will show that
$A$
can be isotoped so that
$A\cap F=K$
and
$A\cap D=\varnothing $
for a compressing disk
$D$
for
$F$
in
${S}^{3}S$
on the side of containing
$A$
. This implies that
$FK$
is compressible in
${S}^{3}K$
, a contradiction.
Let
$M$
be the closure of a component of
${S}^{3}S$
containing
$K$
. Hereafter, we denote
$X\cap E\left(K\right)$
by
$X\left(K\right)$
for a submanifold
$X$
in
${S}^{3}$
. By Lemma 3.3 , we have the following claim.
Claim 4.1.
$F\left(K\right)$
is incompressible and
$\partial $
incompressible in
$E\left(K\right)$
.
Claim 4.2.
$K$
is not a trivial knot in
${S}^{3}$
.

Proof.
(of Claim 4.2 ) By Claim 4.1 ,
$F\left(K\right)$
is an incompressible and
$\partial $
incompressible surface in
$E\left(K\right)$
, and it is not a disk since
$F$
has a positive genus. Hence, by Lemma 3.1 ,
$K$
is not trivial. □
Claim 4.3.
$A\left(K\right)$
is incompressible and
$\partial $
incompressible in
$M\left(K\right)$
.

Proof.
(of Claim 4.3 ) If
$A\left(K\right)$
is compressible in
$M\left(K\right)$
, then
$K$
bounds a disk in
$M$
. Thus,
$K$
is trivial in
${S}^{3}$
and this contradicts Claim 4.2 . In addition, since two boundary components of
$A\left(K\right)$
are contained in the distinct surfaces
$S$
and
$\partial E\left(K\right)$
of
$\partial M\left(K\right)$
, it is
$\partial $
incompressible in
$M\left(K\right)$
. □
Claim 4.4.
We may assume that
$A\cap F$
consists of essential loops in both of
$A$
and
$F$
.

Proof.
(of Claim 4.4 ) Since both of
$A\left(K\right)$
and
$F\left(K\right)$
are incompressible and
$\partial $
incompressible in
$M\left(K\right)$
, we may assume that
$A\left(K\right)\cap F\left(K\right)$
consists of essential loops and arcs in both of
$A\left(K\right)$
and
$F\left(K\right)$
. Moreover, there exists no arc of
$A\left(K\right)\cap F\left(K\right)$
which is essential in
$A\left(K\right)$
since
$\partial F\left(K\right)\subset \partial E\left(K\right)$
and
$\partial A\left(K\right)\not\subset \partial E\left(K\right)$
. Hence,
$A\left(K\right)\cap F\left(K\right)$
consists of essential loops in both of
$A\left(K\right)$
and
$F\left(K\right)$
. □
Claim 4.5.
We may assume that
$A\cap F=K$
.

Proof.
(of Claim 4.5 ) Suppose that
$A\cap F\ne K$
. Then, by Claim 4.4 ,
$(A\cap F)K$
consists of essential loops in both of
$A$
and
$F$
, and
$F$
cuts
$A$
into some annuli. Let
${A}_{1}$
be the subannulus of
$A$
nearest to
$K$
. Since
$F$
is compressible in
${S}^{3}S$
on both sides, there exists a compressing disk
$D$
for
$F$
in the closure
${M}^{\prime}$
of a component of
$MF$
containing
${A}_{1}$
. We note that by Claim 4.3 and 4.4 ,
${A}_{1}$
is also incompressible in
${M}^{\prime}$
. Hence, by an isotopy of
$D$
, we may assume that
$D\cap {A}_{1}$
consists of arcs.
Moreover, by exchanging
$D$
for another compressing disk if necessary, we may assume that any arc of
$D\cap {A}_{1}$
is essential in
${A}_{1}$
. Then, an outermost disk on
$D$
gives a
$\partial $
compressing disk for
${A}_{1}$
in
${M}^{\prime}$
. It follows that
${A}_{1}$
is parallel to a subannulus in
$F$
since
$FK$
is incompressible in
${M}^{\prime}K$
. Thus, we can reduce
$A\cap F$
and eventually have
$A\cap F=K$
. □
Let
$D$
be a compressing disk for
$F$
in
${S}^{3}S$
on the side of containing
$A$
. By Claim 4.3 , we may assume that
$D\cap A$
consists of arcs. Moreover, by exchanging
$D$
if necessary, we have
$D\cap A=\varnothing $
. This shows that
$D$
is a compressing disk for
$FK$
in
${S}^{3}K$
, and contradicts that
$r(F,K)\ge 2$
. □

Proof.
(of Theorem 2.2 )
Claim 4.6.
$F\pi \left(K\right)$
consists of open disks.

Proof.
(of Claim 4.6 ) Suppose that there exists a component
$R$
of
$F\pi \left(K\right)$
which is not an open disk. Then, there exists an essential loop
$l$
in
$R$
. Let
$\alpha $
be an arc in the closure of
$R$
connecting
$l$
and a point of
$\pi \left(K\right)$
except for crossing points, and let
${l}^{\prime}$
be a loop of
$\partial N(l\cup \alpha ;F)$
which intersects
$\pi \left(K\right)$
in two points. Then,
${l}^{\prime}$
bounds a disk
$D$
in
$F$
such that
$D\supset l\cup \alpha $
and
$D\cap \pi \left(K\right)$
consists of an embedded arc since
$\pi \left(K\right)$
is prime. It follows that
$l$
bounds a disk in
$R$
, a contradiction. □
We construct a graph
$G$
embedded in
$F$
from
$\pi \left(K\right)$
in the following way. Put a vertex of
$G$
in each region of
$F\pi \left(K\right)$
, and connect two vertices by an edge when the corresponding two regions face each other.
Claim 4.7.
$G$
is a bipartite graph.

Proof.
(of Claim 4.7 ) We assign vertices of type (B) to a subset
$X$
of the vertex set of
$G$
and of type (W) to
$Y$
. See Figure 1 about types for a vertex.
Then, we have that
$X\cup Y$
is equal to the vertex set of
$G$
,
$X\cap Y=\varnothing $
and any edge connects
$X$
and
$Y$
since
$\pi \left(K\right)$
is alternating. Hence,
$G$
is bipartite. □
By Claim 4.7 , we have the conclusion 2 of Theorem 2.2 . Thus, we have two spanning surfaces
$B$
and
$W$
for
$K$
made from the black regions and white regions.
Claim 4.8.
At least one of
$B$
and
$W$
is nonorientable.

Proof.
(of Claim 4.8 ) Suppose that both of
$B$
and
$W$
are orientable and we assign orientations. Then, the orientation of
$B$
induces an orientation of
$\pi \left(K\right)$
and each crossing has a negative sign. Here, we note that the sign of crossings does not depend on the choice of orientations of
$B$
. On the other hand, the orientation of
$W$
induces an orientation of
$\pi \left(K\right)$
and each crossing has a positive sign. This is a contradiction. Hence, at least one of
$B$
and
$W$
is nonorientable. □
By Claim 4.8 ,
$K$
bounds a nonorientable surface
$N$
coming from the checkerboard coloring. Naturally,
$K$
is contained in
$\partial N\left(N\right)$
, and
$\partial N\left(N\right)K$
is connected since
$N$
is nonorientable.
Claim 4.9.
$\partial N\left(N\right)K$
is incompressible in
$N\left(N\right)$
.

Proof.
(of Claim 4.9 ) We regard the regular neighborhood
$N\left(N\right)$
as a twisted
$I$
bundle
$N\stackrel{~}{\times}I$
over
$N$
. It suffices to show that the associated
$\partial I$
bundle over
$N$
is incompressible in
$N\stackrel{~}{\times}I$
. Consider the sequence
${\pi}_{1}(N\stackrel{~}{\times}\partial I)\to {\pi}_{1}\left(N\stackrel{~}{\times}I\right)\to {\pi}_{1}\left(N\right)$
induced by the inclusion
$N\stackrel{~}{\times}\partial I\hookrightarrow N\stackrel{~}{\times}I$
and the projection
$N\stackrel{~}{\times}I\to N$
. Then, the second map is an isomorphism since
$N\stackrel{~}{\times}I\to N$
is a deformation retraction, and the composition is injective since
$N\stackrel{~}{\times}\partial I\to N$
is a 2fold covering. Hence,
${\pi}_{1}(N\stackrel{~}{\times}\partial I)\to {\pi}_{1}\left(N\stackrel{~}{\times}I\right)$
is a monomorphism, and
$N\stackrel{~}{\times}\partial I$
is incompressible in
$N\stackrel{~}{\times}I$
. □
In the following, we show that
$\partial N\left(N\right)K$
is incompressible in the outside of
$N\left(N\right)$
. We regards
$N\left(N\right)$
as the following. For each crossing
${c}_{i}$
of
$\pi \left(K\right)$
, we insert a small 3ball
${B}_{i}$
as a regular neighborhood of
${c}_{i}$
. In the rest of these 3balls, we consider the product
${R}_{i}\times I$
for each region
${R}_{i}$
of
$F\pi \left(K\right)$
. Then, the union of
${B}_{i}$
's and
${R}_{i}\times I$
's is homeomorphic to
$N\left(N\right)$
. See Figure 2 .
Figure 2
.
${B}_{i}$
,
${R}_{i}\times I$
and
$K$
Suppose that
$\partial N\left(N\right)K$
is compressible in the outside of
$N\left(N\right)$
and let
$D$
be a compressing disk. Let
$\Delta ={\Delta}_{1}\cup \cdots \cup {\Delta}_{n}$
be the union of components of
$FintN\left(N\right)$
, where
${\Delta}_{i}$
is a disk by Claim 4.6 . Then, each component of
$(\partial N(N)K)\partial \Delta $
is an open disk containing
${R}_{i}\times \left\{0\right\}$
or
${R}_{i}\times \left\{1\right\}$
for some
$i$
and whose closure is denoted by
${R}_{i}^{}$
or
${R}_{i}^{+}$
respectively. Put
$R=\left({\cup}_{i}{R}_{i}^{}\right)\cup \left({\cup}_{i}{R}_{i}^{+}\right)$
and
$B={\cup}_{i}{B}_{i}$
.
Claim 4.10.
We may assume the following.

(1)
$\partial D\cap R$
consists of arcs that connect different arc components of
$\partial B\cap \partial \Delta $
.

(2)
$D\cap \Delta $
consists of arcs that connect different arc components of
$\partial B\cap \partial \Delta $
.

Proof.
(of Claim 4.10 ) If
$D\cap \Delta =\varnothing $
, then
$\partial D\subset {R}_{i}^{\pm}$
for some
$i$
. This contradicts that
$D$
is a compressing disk. Therefore,
$D\cap \Delta \ne \varnothing $
for any compressing disk
$D$
, and
$\partial D\cap R$
consists of arcs.
Suppose that there exists an arc of
$\partial D\cap {R}_{i}^{\pm}$
for some
$i$
that connects the same arc component
$\gamma $
of
$\partial B\cap \partial \Delta $
. Let
$\alpha $
be an outermost arc of
$\partial D\cap {R}_{i}^{\pm}$
in
${R}_{i}^{\pm}$
with respect to
$\gamma $
, and
$\delta $
the corresponding outermost disk in
${R}_{i}^{\pm}$
. Then, by an isotopy of
$D$
along
$\delta $
, we can eliminate
$\alpha $
. Hence, we may assume the condition 1 of Claim 4.10 .
Suppose that there exists a loop component of
$D\cap \Delta $
. Let
$\alpha $
be an innermost loop of
$D\cap \Delta $
in
$\Delta $
, and
$\delta $
the corresponding innermost disk in
$\Delta $
. Then, by cutting
$D$
along
$\alpha $
and pasting
$\delta $
, we have a new compressing disk and a 2sphere, and
$\alpha $
is eliminated. Hence, we may assume that
$D\cap \Delta $
consists of arcs.
Next, suppose that there exists an arc of
$D\cap \Delta $
that connects the same arc component
$\gamma $
of
$\partial B\cap \partial \Delta $
. Let
$\alpha $
be an outermost arc of
$D\cap \Delta $
in
$\Delta $
with respect to
$\gamma $
, and
$\delta $
the corresponding outermost disk in
$\Delta $
. Then, by cutting
$D$
along
$\alpha $
and pasting two parallel copies of
$\delta $
, we have two disks whose boundaries are contained in
$\partial N\left(N\right)K$
. Since
$\partial D$
is essential in
$\partial N\left(N\right)K$
, at least one of boundaries of these two disks is also essential in
$\partial N\left(N\right)K$
. Thus, we have a new compressing disk and
$\alpha $
is eliminated. Hence, we may assume the condition 2 of Claim 4.10 . □
Next, we concentrate on an outermost arc
$\alpha $
of
$D\cap \Delta $
in
$D$
and the corresponding outermost disk
$\delta $
in
$D$
. Put
$\delta \cap \partial D=\beta $
. By Claim 4.10 , we have two configurations.

Case 1
$\beta $
connects the same crossing ball
${B}_{i}$
(Figure 3 ).

Case 2
$\beta $
connects different crossing balls
${B}_{i}$
and
${B}_{j}$
(Figure 4 ).
In Case 1, by connecting
$\partial \beta $
on
$\partial {B}_{i}$
and projecting on
$F$
, we have a loop
${l}_{\beta}$
on
$F$
which intersects
$\pi \left(K\right)$
in one crossing point
${c}_{i}$
. Similarly, we obtain a loop
${l}_{\alpha}$
on
$F$
which intersects
$\pi \left(K\right)$
in one crossing point
${c}_{i}$
. Since
${l}_{\beta}$
intersects
${l}_{\alpha}$
in one point
${c}_{i}$
,
${l}_{\beta}$
is essential in
$F$
. Let
${l}_{\beta}$
avoid
${c}_{i}$
. Then we have an essential loop in
$F$
which intersects
$\pi \left(K\right)$
in two points except for crossings. This contradicts that
$\pi \left(K\right)$
is prime.
In Case 2, we have a loop
$\pi (\alpha \cup \beta )$
in
$F$
which intersects
$\pi \left(K\right)$
in two points except for crossings. It does not bound a disk
$D$
in
$F$
such that
$D\cap \pi \left(K\right)$
is an arc since there are crossings
${c}_{i}$
and
${c}_{j}$
on both sides of the loop. This contradicts that
$\pi \left(K\right)$
is prime.
Hence,
$\partial N\left(N\right)K$
is incompressible in the outside of
$N\left(N\right)$
, and together with Claim 4.9 ,
$\partial N\left(N\right)K$
is incompressible in
${S}^{3}K$
. By Lemma 2.3 (1), we have
$r(\partial N(N),K)\ge 1$
.
Next, we show that
$r(\partial N(N),K)\ge 2$
. Suppose that
$r(\partial N(N),K)=1$
, equivalently, that
$\partial N\left(N\right)\cap E\left(K\right)$
is
$\partial $
compressible in
$E\left(K\right)$
. By Lemma 3.2 ,
$\partial N\left(N\right)\cap E\left(K\right)$
is a
$\partial $
parallel annulus. Therefore,
$\partial N\left(N\right)$
is a torus,
$N\left(N\right)$
is a solid torus, and
$N$
is a Möbius band. Moreover, since
$\pi \left(K\right)$
is reducible,
$\pi \left(K\right)$
is a standard
$(2,n)$
torus knot diagram, where
$n$
is an odd integer. If
$\leftn\right\ge 3$
, then
$r(\partial N(N),K)=2$
. This contradicts the supposition
$r(\partial N(N),K)=1$
. Otherwise,
$n=\pm 1$
. This shows that
$\pi \left(K\right)$
is reducible, a contradiction. □
5 Conclusion
After Corollary 2.3 , it remains to consider whether a generalized alternating knot on a closed surface is trivial for itself.
Conjecture 5.1.
Let
$F$
be a closed surface embedded in
${S}^{3}$
,
$K$
a knot contained in
$F\times [1,1]$
which has a reduced, prime, alternating diagram on
$F$
. Then,
$K$
is not trivial for
$F$
.
Conjecture 5.1 is true for a 2sphere since an ordinary alternating knot is nontrivial, and for an unknotted torus since a torus knot exterior contains only two essential surfaces, the cabling annulus and the minial genus Seifert surface.
References

R. J. Aumann, Asphericity of alternating knots, Ann. of Math. 64 (1956), 374–392.

R. H. Crowell, Genus of alternating link types, Ann. of Math. 69 (1959), 258–275.

C. Delman and R. Roberts, Alternating knots satisfy Strong Property P, Comment. Math. Helv. 74 (1999), 376–397.

K. Ichihara and M. Ozawa, Accidental surfaces in knot complements, J. Knot Theory and its Ramifications 9 (2000), 725–733.

L. H. Kauffman, State models and the Jones polynomial, Topology 26 (1987), 395–407.

W. Menasco and M. Thistlethwaite, A geometric proof that alternating knots are nontrivial, Math. Proc. Camb. Phil. Soc. 109 (1991) 425–431.

K. Murasugi, On the genus of the alternating knot II, J. Math. Soc. Japan 10 (1958), 235–248.

K. Murasugi, Jones polynomials and classical conjectures in knot theory, Topology 26 (1987), 187–194.

N. Robertson and R. Vitray, Representativity of Surface Embeddings, Proceedings of the ”Paths, Flows and VLSILayout” conference, Universitat, Bonn. 1990.

M. Thistlethwaite, A spanning tree expansion of the Jones polynomial, Topology 26 (1987), 297–309.
Natural Science Faculty, Faculty of Letters, Komazawa University, 1231 Komazawa, Setagayaku, Tokyo, 1548525, Japan Email address : w3c@komazawau.ac.jp