arxiv: v1 [math.gt] 10 Sep 2007

SURGERY DESCRIPTION OF COLORED KNOTS R.A. LITHERLAND AND STEVEN D. WALLACE rxiv:0709.1507v1 [mth.gt] 10 Sep 2007 Abstrct. The pir (K, ρ) consisting of knot K S 3 nd surjective mp ρ from the knot group onto dihedrl group is sid to be p-colored knot. In [Mos], D. Moskovich conjectures tht for ny odd prime p there re exctly p equivlence clsses of p-colored knots up to surgery long unknots in the kernel of the coloring. We show tht there re t most 2p equivlence clsses. This is n improvement upon the previous results by Moskovich for p = 3, nd 5, with no upper bound given in generl. T. Cochrn, A. Gerges, nd K. Orr, in [CGO], define invrints of the surgery equivlence clss of closed 3-mnifold M in the context of bordism. By tking M to be 0-frmed surgery of S 3 long K we my define Moskovich s colored untying invrint in the sme wy s the Cochrn-Gerges-Orr invrints. This bordism definition of the colored untying invrint will be then used to estblish the upper bound. Keywords: p-colored knot, Fox coloring, surgery, bordism. 1. Introduction It is well known tht ny knot K S 3 my be unknotted by sequence of crossing chnges. A crossing chnge my be obtined by performing ±1-frmed surgery on S 3 long n unknot, in the complement of the knot, which loops round both strnds of the crossing. The frming is determined by the sign of the crossing (see Figure 1). The result of the surgery is once gin the 3-sphere, however the knot K hs chnged. By the sme token ny knot my be obtined from n unknot in the 3-sphere by ±1-frmed surgery long null-homotopic circles in the complement of the unknot. This ide is clled the surgery description of knot. For two knots K 1, nd K 2 in S 3 we hve n equivlence reltion defined by K 1 K 2 if K 2 my be obtined from K 1 vi sequence of ±1 surgeries long unknots. Since every knot my be unknotted vi this type of surgery we hve tht K U where K S 3 is ny knot nd U S 3 is the unknot. 1

2 R.A. LITHERLAND AND STEVEN D. WALLACE 1 Figure 1. Crossing chnge due to surgery. A p-colored knot (K, ρ) is knot together with surjection ρ : π 1 (S 3 K) D 2p from the knot group onto the dihedrl group of order 2p. An nlog of the surgery description of knots for p-colored knots is given by restricting the surgeries to those which preserve the existence of coloring ρ. It is nturl, then, to sk wht the equivlence clsses re of p-colored knots modulo this surgery reltion. This reltion will be refered to s surgery equivlence in the kernel of ρ, or surgery equivlence of p-colored knots. In [Mos], D. Moskovich proves tht for p = 3, 5 there re exctly p equivlence clsses. Moskovich conjectures tht this holds for ll p nd lthough he hs shown tht p is lower bound on the number of equivlence clsses in generl, no upper bound is given. In this pper, we will show tht the number of surgery equivlence clsses of p-colored knots is t most 2p. More precisely, we will prove the following theorem. Theorem 1.1. Min Theorem There re t most 2p surgery equivlence clsses of p-colored knots. Moreover, if K p denotes the left-hnded (p, 2)-torus knot nd ρ is ny non-trivil coloring for K p then (K p, ρ), (K p, ρ)#(k p, ρ),...,# p i=1 (K p, ρ) re p distinct surgery clsses. Note tht the list of distinct clsses is given in [Mos] but we will use new definition for his colored untying invrint, denoted cu(k, ρ), to obtin the sme result. One wy to ttempt to estblish n upper bound on the number of surgery equivlence clsses is by using some bsic moves on digrms which preserve colorbility nd thereby perhps reducing the crossing number of the digrm or knot. This is direct nlog to

SURGERY DESCRIPTION OF COLORED KNOTS 3 the clssicl unknotting result where the bsic move is simple crossing chnge. It ws in this wy tht Moskovich proved his result for p = 3, 5. These bsic moves re clled the RR nd R2G-moves shown in Figure 2 () nd (b). Z p () The RR move. b b b b (b) The R2G move. b b Figure 2. The RR nd R2G moves. Another interesting question rises: Is there lwys finite list of bsic moves which re sufficient to describe surgery equivlence of colored knots s Reidemeister moves do for isotopy of knots? Although it is not proven directly in his pper, Moskovich s result for p = 3, 5 gives sufficient list of moves which my be used to untie colored knot consisting of the RR, nd R2G-moves, long with the unlinking of bnds. So the nswer is yes for p = 3, 5 but it is unknown otherwise. The following exmple shows non-trivil reltion between 3-colored knots.

4 R.A. LITHERLAND AND STEVEN D. WALLACE Exmple 1.2. The right-hnded trefoil knot (3 1 ) nd the 7 4 -knot re surgery equivlent p-colored knots. Proof. Performing single RR-move chnges 7 4 into the trefoil s in Figure 3. Note tht this lso shows tht the mirror imges of these knots re equivlent. However, neither of these knots is surgery equivlent to its mirror imge. This my be seen by clcultion of the colored untying invrint s in Section 3.2.4. Z 3 b b c = 2 b c RR c c 2b mod 3 b b iso c b Figure 3. The 7 4 knot is surgery equivlent to the trefoil knot. We will not ttempt direct proof of Theorem 1.1 for p > 5 s Moskovich does for the first two cses. Insted we will show tht n nlog to the Lickorish-Wllce Theorem nd some bsic bordism theory suffices to show tht there re no more thn 2p clsses. The Lickorish-Wllce Theorem sttes tht ny closed, oriented, connected 3-mnifold my be obtined by performing Dehn surgery on link in S 3 with ±1-frmings on ech component. Furthermore, ech component my be ssumed to be unknotted. In [CGO], T. Cochrn, A. Gerges, nd K. Orr sk wht the equivlence clsses of 3-mnifolds would

SURGERY DESCRIPTION OF COLORED KNOTS 5 be if we restrict the surgeries to smller clss of links. Surgery equivlence of p-colored knots my be described in similr wy. The proof of the Min Theorem then is outlined in four steps. Step 1 is to estblish 3-mnifold bordism invrint which coincides with colored knot surgery. Step 2 is to show tht if two colored knots hve bordnt knot exteriors with the property tht the boundry of the bordism 4-mnifold W is W = (S 3 K 1 ) (S 3 K 2 ) T 2 T 2 (T 2 [0, 1]), where (K i, ρ i ) re the colored knots, then the colored knots re surgery equivlent. Tht is, under these conditions, the bordism my be obtined by dding 2-hndles to the 4- mnifold (S 3 K 1 ) [0, 1]. We my then fill in the boundry of the bordism 4-mnifold by gluing in solid torus crossed with [0, 1]. This new 4-mnifold is bordism between two copies of S 3 which corresponds to some surgery description for the 3-sphere. So step 3 is to pply Kirby s Theorem to unknot nd unlink the surgery curves which my be done by only hndle slides nd blow-ups (see [GomSt]). This estblishes surgery equivlence for the knots tht re tken long for the ride during the hndle slides nd re unchnged (up to surgery equivlence) by blow-ups. The finl step is to show tht if ny three colored knots hve bordnt knot complements, then t lest two of the colored knots must be surgery equivlent. The pper is orgnized s follows. First we will precisely stte wht is ment by p- colored knots nd surgery equivlence. Then we will define some invrints of p-colored knot surgery equivlence in Section 3. There re three types of invrints: the colored untying invrint, nd the closed nd reltive bordism invrints. The colored untying invrint my be computed using the Seifert mtrix s in [Mos], but we show in Section 3.2.2 tht it my be defined using the Goeritz mtrix which llows for simple nd geometric proof of invrince under surgery. Then, in Section 3.2.4, we compute some exmples using the Goeritz definition of the colored untying invrint nd hence estblishing the lower bound of p for the number of surgery equivlence clsses which ws previously done using the Seifert mtrix. In Section 3.3 we show tht every one of the colored knot surgery invrints give the sme informtion nd thus they re ll computble given digrm

6 R.A. LITHERLAND AND STEVEN D. WALLACE for the colored knot. The bordism invrint ω 2 (K, ρ) from Section 3.3.1 is used to relte the colored untying invrint to ω 0 which in turn reltes the reltive bordism invrint ω. In Section 4.3, we will show tht reltive bordism over the Eilenberg-Mclne spce pir (K(D 2p, 1), K(Z 2, 1)) between two colored knot exteriors estblishes surgery equivlence between the colored knots (K i, ρ i ) t lest hlf of the time. This gives n upper bound on the number of equivlence clsses for ny p which is the min result of the pper. 2. Colored knots We will first introduce wht is ment by p-colored knot nd surgery equivlence of p-colored knots. 2.1. Definitions. Throughout, let p denote n odd prime. Definition 2.1. The pir (K, ρ) consisting of knot K S 3 nd surjective homomorphism, ρ : π 1 (S 3 K, x 0 ) D 2p, from the knot group with bsepoint x 0 onto the dihedrl group of order 2p, up to n inner utomorphism of D 2p, is sid to be p-colored knot. The knot K is sid to be p-colorble with coloring given by ρ. A coloring ρ is only considered up to n inner utomorphism of the dihedrl group. In prticulr, this mens tht two p-colored knots (K 1, ρ 1 ) nd (K 2, ρ 2 ) re in the sme coloring clss if K 1 is mbient isotopic to K 2 nd tht the following digrm commutes: π 1 (S 3 K 1, x 1 ) π 1 (S 3 K 2, x 2 ) ǫ ρ 1 ρ 2 D 2p σ D 2p where, σ : D 2p D 2p is n inner utomorphism nd ǫ : π 1 (S 3 K 1, x 1 ) π 1 (S 3 K 2, x 2 ) is the isomorphism given by [α] π 1 (S 3 K 1, x 1 ) [ h 1 αh ] = [h] 1 [α][h] π 1 (S 3 K 2, x 2 ) where h is ny fixed pth from x 2 to x 1 in S 3 K 1. If we let K 1 = K 2 we see tht the choice of different bsepoint results in n inner utomorphism of the knot group nd thus results in n inner utomorphism of the dihedrl

SURGERY DESCRIPTION OF COLORED KNOTS 7 group. So the definition is well-defined for ny choice of bsepoint. We will then ignore bsepoints from now on nd denote coloring simply by surjection ρ : π 1 (S 3 K) D 2p from the knot group onto the dihedrl group. Definition 2.2. Two p-colored knots (K 1, ρ 1 ) nd (K 2, ρ 2 ) re surgery equivlent in the kernel of ρ (or simply surgery equivlent) if K 2 S 3 my be obtined from K 1 vi sequence of ±1-frmed surgeries of S 3 long unknots in the kernel of ρ 1. Furthermore, ρ 2 must be comptible with the result on ρ 1 fter the surgeries. Tht is, if K(D 2p, 1) denotes n Eilenberg-Mclne spce over the dihedrl group then S 3 K 1 f 1 ν S 3 K 2 f 2 K(D 2p, 1) is commuttive digrm where ρ i re the induced mps of the f i on π 1 nd ν is the mp resulting from surgery restricted to S 3 K 1. So there re two conditions for surgery equivlence of p-colored knots: (1) the knots must be surgery equivlent in the clssicl sense with the restriction tht the surgery curves re in the kernel of the coloring, nd (2) the coloring of the second knot rises from the coloring of the first knot vi surgery. Notice tht (1) ssumes tht the surgery curves re unknotted with ±1-frmings. We will now define wht we men by bsed p-colored knot. To do this first recll tht Fox coloring is clssiclly described by lbeling of the rcs in digrm for K with the colors {0,...,p 1} (see [CrFo, Chpter IV, Exercise 6]). At ech crossing, the lbeling must stisfy the coloring condition which requires tht the sum of the lbels of the underrcs must equl twice the lbel of the overrc modulo p. We lso require tht the coloring be nontrivil, tht is, we require tht more thn one color is used. Then such lbeling defines surjection ρ : π 1 (S 3 K) D 2p = s, t s 2 = t p = stst = 1 by the rule ρ([µ]) = ts l where l is the lbel given to the

8 R.A. LITHERLAND AND STEVEN D. WALLACE rc corresponding to the meridin µ. Conversely, in coloring meridins re necessrily mpped to elements of order two in the dihedrl group since ll meridins re conjugte in the knot group nd the coloring is surjection. Tht is coloring mp determines lbeling of ny digrm for the knot. Since we my lter ny coloring by n inner utomorphism of D 2p we my ssume tht ny one rc we choose in digrm for K be lbeled with the color 0. We my ssume, then, tht for ny meridin m of K there is n equivlent coloring ρ which mps m to ts 0 D 2p. We cll the triple (K, ρ, m) bsed p-colored knot. Therefore, given (K 1, ρ 1 ) nd (K 2, ρ 2 ) where the ρ i re defined by nontrivil lbeling of digrm for (oriented) knots K i we my tke (K 1 # K 2, ρ 3 ) to be the usul connected sum of oriented knots with ρ 3 = ρ 1 # ρ 2 (see Figure 4). Prt () of the Figure illustrtes tht we my ssume tht the (K i, ρ i ) re ctully the bsed p-colored knots (K i, ρ i, m i ) where m i is the meridin tht corresponds to the chosen rc of the digrm for K i. To verify tht this process is well-defined for ny choice of digrm, we must estblish the existence nd uniqueness of lbelings for ech Reidemeister move. This is done in Figure 5. Unfortuntely, the notion of prime p-colored knots is slightly different from the usul notion of prime knot. For exmple let K = K 1 # K 2 where K 1 is the left-hnded trefoil nd K 2 is the figure eight knot. Then K is 3-colorble since we cn lbel K using ll 3 colors s in Figure 6. A knot is p-colorble if nd only if its determinnt is divisible by p [Liv]. So s det(k 2 ) = 5 nd is thus not divisible by 3, we hve tht no non-trivil coloring of K 2 exists. Therfore, (K, ρ) (K 1, ρ 1 ) # (K 2, ρ 2 ) for ny 3-colorings ρ 1 nd ρ 2. 3. Surgery equivlence invrints As we hve seen in Exmple 1.2, it possible to show tht two p-colored knots re surgery equivlent directly in some cses. However, much like trying to distinguish knots by using Reidemeister moves, it is impossible to prove tht two p-colored knots re not surgery equivlent by simply using collection of moves on digrms. In fct, it is often difficult to show tht two knots re the sme using Reidemeister moves, nd surgery

SURGERY DESCRIPTION OF COLORED KNOTS 9 K 1 K 2 0 0 K 1 K 2 () Relbeling colored knots K 1 K 0 2 0 or (depending on orienttion) 0 0 K 1 K 2 (b) Connected sum of colored knots fter relbeling Figure 4. Connected sum of colored knots equivlence of p-colored knots fces the sme type of difficulty. It is useful then to define lgebric invrints to help distinguish between knot types nd the sme is true for surgery equivlence. We do not hve complete list of moves to determine surgery equivlence of p-colored knots so we my not simply check n nlog to the Reidemeister moves. Insted, first we must show tht the vlue is unchnged under the choice of p-colored knot representtive nd then we must show tht it is invrint under ±1-surgery. Then we will show tht the three types of p-colored knot invrints re in fct three different wys to define the sme thing.

10 R.A. LITHERLAND AND STEVEN D. WALLACE b b 2 b c b b c 2c b 2c + 2b 2c b 2c + 2b Figure 5. Colorbility is independent of choice of digrm 2 0 0 0 0 1 0 Figure 6. A prime 3-colored knot 3.1. Preliminries. In this section we will introduce some of the bckground tht will be needed in defining the three types of invrints for p-colored knots. The colored untying invrint, cu [Mos], will rise from the cup product of certin element H 1 (M; Z p ) (depending only on the coloring clss) with its imge under the Bockstein homomorphism, β 1 () (see [Mun] for discussion on Bockstein homomorphisms). In this wy we obtin

SURGERY DESCRIPTION OF COLORED KNOTS 11 Z p -vlued invrint. Now we will give brief overview of the bordism theory needed to define the closed bordism invrints ω 2, ω 0, s well s the reltive bordism invrint ω. It will lso be useful to recll the definition of the Goeritz mtrix using the Gordon- Litherlnd form [GorLi]. Definition 3.1. Let (X, A) be pir of topologicl spces A X. The n-dimensionl oriented reltive bordism group of the pir, denoted Ω n (X, A), is defined to be the set of bordism clsses of triples (M, M, ϕ) consisting of compct, oriented n-mnifold M with boundry M nd continuous mp ϕ : (M, M) (X, A). The triples (M 1, M 1, ϕ 1 ) nd (M 2, M 2, ϕ 2 ) re in the sme bordism clss if there exists n n-mnifold N nd triple (W, W, Φ) consisting of compct, oriented (n + 1)-mnifold W with boundry W = (M 1 M2 ) N N nd continuous mp Φ : W X stisfying Φ M i = ϕ i nd Φ(N) A. We lso require tht M 1 nd M 2 re disjoint nd M i N = M i for i = 1, 2. In this cse, we sy tht (M 1, M 1, ϕ 1 ) nd (M 2, M 2, ϕ 2 ) re bordnt over (X, A) denoted (M 1, M 1, ϕ 1 ) (X,A) (M 2, M 2, ϕ 2 ) (see Figure 7). A triple (M, M, ϕ) is null-bordnt, or bords, over (X, A) if it bounds (W, W, Φ). Tht is, it bords if it is bordnt to the empty set. The set Ω n (X, A) forms group with the opertion of disjoint union nd identity element. We will denote Ω n (X, ) by Ω n (X) nd so our definition mkes sense for pirs (M, ϕ) = (M,, ϕ) with M closed n-mnifold. We will only be interested in the cse when n = 3. In this cse, the Atiyh-Hirzebruch spectrl sequence (see [Whi] for the extrordinry homology theory mde up of the bordism groups Ω n (X, A)) implies tht Ω 3 (X, A) = H 3 (X, A; Ω 0 ) = H 3 (X, A) where Ω 0 = Z is the 0-dimensionl bordism group of single point. The isomorphism is given by (M, M, ϕ) ϕ ([M, M]) where [M, M] is the fundmentl clss in H 3 (M, M). Furthermore, if we ssume tht X is n Eilenberg-Mclne spce K(G, 1) nd A is the subspce corresponding to subgroup H G, then the bordism group is isomorphic to the homology of the group G reltive the subgroup H, tht is Ω 3 (X, A) = H 3 (G, H). When K(H, 1) is subspce of K(G, 1) we will denote Ω 3 (K(G, 1), K(H, 1)) by Ω 3 (G, H). Now for brief discussion on the Goeritz mtrix. Given spnning surfce F for link K nd bsis x i for its homology, the Goeritz mtrix is given by evluting the

12 R.A. LITHERLAND AND STEVEN D. WALLACE M 2 ϕ 2 N W Φ (X,A) ϕ 1 M 1 Figure 7. Reltive bordism over (X, A). Gordon-Litherlnd form, G F : H 1 (F) H 1 (F) Z, on the bsis elements (see [GorLi]). Tht is, G = (g ij ) is defined by g ij = G F (x i, x j ) = lk(x i, τ 1 (x j )) where τ 1 (y) is y pushed off in both directions. Precisely, τ : F F is the orientble double covering spce of F (see Chpter 7 of [Lic]). Note tht F is connected, orientble surfce regrdless of the orientbility of F. If y is n orienttion preserving loop in F then τ 1 (y) is comprised of two loops, the positive y + nd negtive y push offs on either side of F. Figure 8 illustrtes the nonorientble cse. If rther y is orienttion reversing then τ 1 (y) is single loop which double covers y. In this cse you cn think of τ 1 (y) to be the loop tht rises from pushing y off to one side which then comes bck round on the other side nd vice vers. Note tht the Goeritz mtrix for knot K my lso be clculted from checkerbord coloring for digrm for the knot (see Chpter 9 of [Lic]). First we must pick white region, the so-clled infinite region R 0, nd then we number the other white regions R 1,..., R n. We then define n incidence number ι(c) = ±1 ssigned to ny crossing c by the rule in Figure 9. We define (n + 1) (n + 1) mtrix (g ij ) for i j by g ij = ι(c),

SURGERY DESCRIPTION OF COLORED KNOTS 13 2 1 4 3 F y τ 1 (y) Figure 8. Double push off of orienttion reversing curve y. +1 1 Figure 9. Incidence number t crossing where the sum is over ll crossings which re incident with both R i nd R j. The digonl terms re chosen so tht the rows nd columns sum to 0, nmely g ii = g lk. l k The Goeritz mtrix is then obtined from the pre-goeritz mtrix (g ij ) by deleting the row nd column corresponding to the infinite region. The group tht this mtrix presents is independent of the choice of infinite region. We will use this digrmtic wy to clculte the Goeritz mtrix in Section 3.2.4. 3.2. The colored untying invrint. We will now define precisely the p-colored knot invrint cu, nd lter define the bordism invrints ω 2, ω 0, nd ω. 3.2.1. Moskovich s definition. Throughout, let (K, ρ) be p-colored knot with coloring ρ : π 1 (S 3 K) D 2p where D 2p = s, t t 2 = s p = tsts = 1 is the dihedrl group with 2p elements. Also let X denote the 2-fold cover of S 3 brnched over K. Let X 0 denote the mnifold obtined from S 3 by performing 0-frmed surgery long K.

14 R.A. LITHERLAND AND STEVEN D. WALLACE Consider the following digrm: (3.1) H 1 (S 3 F) ρ π 1 (S 3 F) ρ S 3 F Z p π 1 (S 3 K) l ρ D 2p Z 2 with the mp l defined by l(x) = lk(x, K) (mod 2). Note tht the coloring mp sends meridins to elements of order 2, in prticulr, ρ(µ i ) = ts k for some k 0,...,p 1 where µ i re Wirtinger genertors for π 1 (S 3 K). Then the lower tringle of Digrm 3.1 commutes by construction. Furthermore, we see tht if x is loop in (S 3 F) then lk(x, K) 0 (mod 2) which is enough to estblish the commuttivity of the rest of Digrm 3.1. Indeed, since x is in the complement of the Seifert surfce F we my ssume tht lk(x, K) = 0. Notice tht the commuttivity of the upper tringle of the digrm is immedite since the imge of ρ S 3 F is belin. Therefore we hve estblished the existence of mp f : (S 3 F) K(Z p, 1) from the complement of the surfce to n Eilenberg-Mclne spce over Z p. The mp f my be extended to the unbrnched 2-fold cyclic cover of S 3 K denoted Ỹ which is obtined by gluing two copies of S 3 F together long two copies of bicollr (F K) ( 1, 1) of the interior of the surfce. Cll this new mp f : Ỹ K(Z p, 1). Now we cn form the 2-fold brnched cover X by gluing in solid torus so tht the meridin of the solid torus mps to twice the meridin of the torus boundry of Ỹ (see [Rol, Chpters 5 nd 10]). Since twice meridin is mpped trivilly by f we my extend this mp to the 2-fold brnched cover. Thus we hve mp f : X K(Zp, 1) which will be used to ssocite ω 2 with cu lter in Section 4.1.

We hve shown tht (3.2) H 1 ( X) SURGERY DESCRIPTION OF COLORED KNOTS 15 π 1 ( X) ρ f π 1 (Ỹ ) f Z p π 1 (S 3 K) l is commuttive digrm. So the coloring mp ρ restricts in the double covering to mp ρ : H 1 ( X; Z) Z p which corresponds to cohomology clss H 1 ( X; Z p ) = Hom(H 1 ( X; Z), Z p ) by the Universl Coefficient Theorem for Cohomology. The colored untying invrint is defined to be the cup product of with its imge under the Bockstein homomorphism β 1 : H 1 ( X; Z p ) H 2 ( X; Z). Definition 3.2. Given p-colored knot (K, ρ) the colored untying invrint of (K, ρ) is cu(k, ρ) := β 1 H 3 ( X; Z p ) which we my think of s n element of Z p = H 3 ( X; Z p ). Note tht the isomorphism Z p = H 3 ( X; Z p ) is given by evlution on the fundmentl clss. To show tht this is ctully n invrint of p-colored knots we must ssert tht it is well-defined for ny choice of equivlent coloring. Invrince of the choice of coloring is cler since cu is defined using homology nd cohomology groups which re independent ρ D 2p Z 2

16 R.A. LITHERLAND AND STEVEN D. WALLACE of bsepoint nd conjugcy clss in π 1 (S 3 K). To show tht cu is non-trivil invrint we will introduce wy to compute cu by using the Seifert mtrix for given Seifert surfce. It turns out tht there is wy to determine the invrint for ny spnning surfce (including perhps non-orientble surfce) by using the Goeritz mtrix. We will use this definition to estblish non-trivility nd invrince under ±1-frmed surgery in the kernel of ρ. Note tht Moskovich [Mos] gives n lternte proof of the surgery invrince nd does not mention the Goeritz definition. Let F be Seifert surfce for K with Seifert mtrix S with respect to bsis x 1,...,x 2k of H 1 (F). Let ξ 1,...,ξ 2k be bsis for H 1 (S 3 F) with orienttions so tht lk(x i, ξ j ) = δ ij. The proof of the following lemm cn be found in [Mos] nd will be omitted here. Lemm 3.3. Let v := (v 1,...,v 2k ) T Z 2k be column vector such tht v i (mod p) = ρ(ξ i ) for ll i 1,...,2k. Then cu(k, ρ) = 2 vt S v p The vector v is clled p-coloring vector. (mod p). If K = (p, 2) torus knot, then, for certin choice of p-colorings ρ 1 nd ρ 2, the lemm my be used to show tht cu(k, ρ 1 ) cu(k, ρ 2 ). We will show this lter in Section 3.2.4 using the Goeritz definition of the colored untying invrint defined below. 3.2.2. Goeritz definition. We will now extend Lemm 3.3 to ny spnning surfce for the knot K including perhps non-orientble surfces. We will use this definition for the colored untying invrint to give geometric proof tht it is surgery equivlence invrint. Proposition 3.4. The colored untying invrint cu my be clculted using the Goeritz mtrix for digrm for K. Tht is (3.3) cu(k, ρ) = vt G v p (mod p) where v is ny p-coloring vector nd G is the Goeritz mtrix.

SURGERY DESCRIPTION OF COLORED KNOTS 17 F F Figure 10. Non-orientble S-equivlence. Since it is cler from Definition 3.2 tht cu(k, ρ) is well-defined invrint of p-colored knots, the fct tht this lso holds for the Goeritz definition is corollry to Proposition 3.4. Thus, we will not give direct proof well-definedness under the choices of bsis for H 1 (S 3 F) or coloring vector here. We my lso ssume tht v T Gv 0 (mod p) s is required for the right side of the bove eqution to mke sense. We will, however, estblish well-definedness under the choice of spnning surfce, s this is not cler from Lemm 3.3 for non-orientble spnning surfce. Lemm 3.5. The colored untying invrint is independent of the choice of spnning surfce. Proof. Spnning surfces re relted by (i) S-equivlence in the usul sense (see [BFK]), or (ii) ddition or deletion of single twisted bnd (see Figure 10). Note tht opertion (ii) my perhps chnge the orientbility of the resulting surfce. We will now show tht the right hnd side of eqution 3.3 is unchnged by ll three types of moves. Let F nd F denote S-equivlent possibly non-orientble spnning surfces for K nd let (G, v) nd (G, v ) be the corresponding pirs consisting of Goeritz mtrix nd coloring vector. Then (G, v ) my be obtined from (G, v) by finite number of the following opertions: Λ 1 : (G, v) (PGP T, Pv (mod p)) nd Λ 2 : (G, v) (G, v )

18 R.A. LITHERLAND AND STEVEN D. WALLACE ξ n+1 x n+1 Figure 11. Coloring resulting from ddition of twisted bnd. where P is n invertible, unimodulr, integer mtrix nd G = 0 G.. 0 0 1 0 0 1 0 v nd v = 0. A strightforwrd clcultion shows tht cu is unchnged by either of 0 the Λ-moves. The effect on (G, v) when we dd single twisted bnd is G = 0 G. 0 0 0 ±1 nd v = v 0 (see Figure 11). Thus, the colored untying invrint defined by the Goeritz mtrix is unchnged by ny of the moves. The next lemm will be used exclusively in the proof of Theorem 3.7 below.

SURGERY DESCRIPTION OF COLORED KNOTS 19 Lemm 3.6. If L S 3 K is link so tht its homotopy clss [L] is in ker(ρ) then L S 3 F for some spnning surfce F for K. Notice tht we do not need to ssume tht L is n unlink. Proof. From Digrm 3.1 we hve seen tht if [L] is in the kernel of ρ then lk(l, K) 0 (mod 2). Then L intersects F n even number of times however two djcent (innermost) intersections cn hve opposite or the sme sign. If they hve opposite sign then we my resolve them by tubing off these intersections with tube which does not chnge the orientbility of the surfce. Otherwise we my resolve the intersections with nonorientble tube s in Figure 12. The resulting spnning surfce is S-equivlent (in the non-orientble sense of S-equivlence) to F nd hs reduced the number of intersections with L. L F Figure 12. Tubing off intersections with the sme sign. 3.2.3. Surgery equivlence. First we will prove Proposition 3.4, then we will show, vi the Goeritz definition, tht the colored untying invrint is n invrint of ±1-frmed surgery in the kernel of ρ. Proof. Proposition 3.4. Let F be spnning surfce for the knot K. If F is orientble, then the Goeritz mtrix ssocited to F is exctly the symmeterized Seifert mtrix, G = S+S T, for F with Seifert mtrix S nd there is nothing to show. In both the orientble nd non-orientble cses, the Goeritz mtrix G is presenttion mtrix for H 1 ( X) where X is the brched double cover of the 3-sphere s before (see [GorLi] or Chpter 9 of [Lic]). So G is just n extension of the symmeterized Seifert

20 R.A. LITHERLAND AND STEVEN D. WALLACE mtrix to include non-orientble spnning surfces. The equlity of the Goeritz definition of cu nd Moskovich s definition then follows from the fct tht H 1 ( X) is presented by some symmeterized Seifert mtrix S + S T s well s G. So we hve the equlity v T Gv = v T (S + S T )v. We will now show tht the colored untying invrint is surgery equivlence invrint for p-colored knots. Note tht Moskovich gives n lternte lgebric proof in [Mos]. Theorem 3.7. The colored untying invrint is invrint under ±1-frmed surgery in the kernel of ρ. Proof. From Proposition 3.4 we my ssume tht cu(k, ρ) = vt G v p (mod p) for some coloring vector v = (v 1,..., v n ) T nd Goeritz mtrix G corresponding to spnning surfce for K. Let [L] be in the kernel of the coloring for K represented by n unlink L in the complement of the knot. Lemms 3.5, nd 3.6 imply tht the spnning surfce my be chosen so tht L is disjoint from the spnning surfce. Furthermore, let K be in disk-bnd form (see [BurZi, Chpter 8]). Under these conditions, ±1-surgery long one component of L dds single full twist in k prllel bnds of K corresponding to genertors (fter renumbering perhps) x 1,...,x k for H 1 (F) with v 1 + + v k 0 (mod p). Then the pir (G, v) chnges s follows: G G + N 0 = G nd v v 0 0 where N is k k mtrix whose entries re ll 2. Thus, v T G v = p cu(k, ρ) + v T N 0 v 0 0 = p cu(k, ρ) + (v 1 v k ) N 0 0 0 = p cu(k, ρ) + 2(v 1 + + v k ) 2 p cu(k, ρ) (mod p 2 ) v 1. v k

SURGERY DESCRIPTION OF COLORED KNOTS 21 nd so the colored untying invrint is unchnged by ±1-surgery long L. We will now show by explicit exmple tht cu is non-trivil for ll p. We will lso show tht there re t lest p surgery clsses of p-colored knots nd tht connected sums of (p, 2)-torus knots give representtive of ech of these p clsses. Note tht once gin n lternte proof of these results is in [Mos]. 3.2.4. Exmples. Since we my pick ny spnning surfce for the knot regrdless of orienttion, we shll lwys use the spnning surfce corresponding to checkerbord coloring for digrm for K. Exmple 3.8. 7-colorble knots of genus 1 with t most 12 crossings. From the tble of knots given by KnotInfo [Knot], the only 7-colorble knots of genus 1 with t most 12 crossings re 5 2, 7 1, 11 n141, nd 12 0803. We will show tht the colors of two rcs t ny crossing in the digrms given in Figure 13 determine the coloring s well s the colored untying invrints. Note tht Figure 13 () shows the coloring which is forced by the choice of nd b in Z p s well s the choice of genertors {x i } nd {ξ i } for H 1 (F; Z) nd H 1 (S 3 F; Z) respectively. However, in (b)-(d), the redundnt lbels re omitted. The infinite region is lbeled by nd the other white regions re understood to be numbered to coincide with the numbering of the ξ s. Proposition 3.9. The colored untying invrints for the 7-colorble knots 5 2, 11 n141, 12 0803, nd 7 1 re non-zero multiples of squres for ny non-trivil coloring. In prticulr, there re three distinct vlues of cu, one for ech squre modulo 7, for ech of the four knots depending on the coloring clss. Proof. First we must pick white region in checkerbord coloring for the digrm to be the so-clled infinite region. If F is the spnning surfce described by the blck regions of the checkerbord coloring, then bsis for H 1 (F) is represented by loops {x 1,...,x n } which re prllel to the boundry of ech white region excluding the infinite region. Then, the coloring vector is v = (ρ(ξ 1 ),..., ρ(ξ n )) T

22 R.A. LITHERLAND AND STEVEN D. WALLACE x 1 b ξ 1 ξ 1 b ξ 4 2b- 3b-2 ξ 2 ξ 3 3-2b x 2 ξ 2 ξ 5 () (b) b ξ 2 ξ 1 ξ 1 b (c) (d) Figure 13. The () 5 2, (b) 11 n141, (c) 12 0803, nd (d) 7 1 knots. where ρ : H 1 (S 3 F) Z p is the mp t the top of Digrm 3.1, nd q : Z p Z is the forgetful mp s in Proposition 3.4. Here {ξ i } is bsis for H 1 (S 3 F) represented by loops in the complement of the surfce tht pss through the infinite region nd the ith white region exctly once ech so tht lk(x i, ξ i ) = δ ij. Then the Goeritz mtrices in question re: G(5 2 ) = 2 1 1 4,

SURGERY DESCRIPTION OF COLORED KNOTS 23 ξ 1 p b Figure 14. The (p, 2)-torus knot 2 1 0 0 0 1 2 1 0 0 G(11 n141 ) = 0 1 1 1 1 0 0 1 3 0 0 0 1 0 5 G(12 0803 ) = 11 1 1 2,, nd G(7 1 ) = ( 7). And so the colored untying invrints re: cu(5 2 ) = 5(b ) 2, cu(11 n141 ) = 5(b ) 2, cu(12 0803 ) = (b ) 2, nd cu(7 1 ) = 6(b ) 2 where ech is understood to be modulo 7. Notice tht the bove construction for cu(7 1 ) esily generlizes for ll odd primes p. Exmple 3.10. The (p, 2)-torus knots for ny p. The 7 1 knot is lso known s the (7, 2)-torus knot. As n extension of the construction used to clculte cu(7 1 ), Figure 14 gives the generl result. Note tht the p in the figure denotes p positive hlf twists.

24 R.A. LITHERLAND AND STEVEN D. WALLACE K 1 K 2 K 1 K 2 Figure 15. Checkerbord coloring for connected sum So cu((p, 2)) = (b ) 2 which implies tht there is one colored untying clss for ech squre modulo p for the (p, 2)-torus knot. We will now show tht the colored untying invrint is dditive under the opertion of the connected sum of p-colored knots. As n immedite corollry of this we see tht the connected sum of k (p, 2)-torus knots for k = 1,...,p, with the pproprite choices of colorings, give complete list of representtives of the colored untying invrint clsses. Note tht, s Figure 15 suggests, if we pick n pproprite checkerbord coloring the proof of the following proposition is cler. Nmely, we wish to pick the infinite regions for the checkerbord colorings for the summnds so tht the checkerbord coloring for the connected sum is determined. Proposition 3.11. The colored untying invrint is dditive under the opertion of the connected sum of p-colored knot. We hve shown tht cu(k, ρ) is non-trivil, dditive, surgery equivlence invrint of p-colored knots. We will now define the bordism invrints which exhibit the sme properties. They re ll, in fct, the sme invrint. We used the Goeritz definition of the colored untying invrint to estblish lower bound on the number of surgery equivlence clsses. To obtin n upper bound we will need definition of cu in the context of bordism theory. 3.3. The bordism invrints. Once gin, let (K, ρ) be p-colored knot, nd let X 0 nd X 0 be the mnifolds obtined by performing 0-frmed surgery long K to the mnifolds X (the 2-fold brched cover of S 3 ) nd S 3 itself respectively. If we hve mp f : M 3 K(G) where K(G) denotes the Eilenberg-Mclne spce K(G, 1) then the imge of the

SURGERY DESCRIPTION OF COLORED KNOTS 25 fundmentl clss under the induced mp f : H 3 (M; Z) H 3 (K(G); Z) is n invrint of the 3-mnifold M. The construction is exctly the sme s the invrints described by T. Cochrn, A. Gerges, nd K. Orr in [CGO]. We will divide the bordism invrints into two ctegories closed nd reltive. 3.3.1. The closed bordism invrints. As mentioned erlier in the Preliminries H 3 (K(G); Z) = Ω 3 (G) nd it is in this context tht the bordism invrints rise. So to define ω 2 nd ω 0 we must find mps from X 0 nd X 0 to Eilenberg-Mclne spces over the pproprite groups. We wish to hve mps which rise nturlly from the coloring ρ. Recll tht the second derived group of G, denoted G (2), is defined to be the commuttor subgroup of the commuttor subgroup of G. Tht is G (2) = [G 2, G 2 ] where G 2 = [G, G]. Since preferred longitude of the knot K is in the second derived group of π 1 (S 3 K) it must be mpped trivilly by ρ. Hence the mp ρ from Digrm 3.1 fctors through π 1 ( X 0 ) π 1 ( X K) π 1 ( X) ρ Z p which estblishes the existence of mp f : X0 K(Z p ) s desired. Likewise, nd perhps even esier to see, we hve tht ρ fctors through π 1 (X 0 ) π 1 (S 3 K) ρ D 2p which gives nturl mp ( π1 (S 3 K) f : X 0 K ker ρ ) = D 2p, 1.

26 R.A. LITHERLAND AND STEVEN D. WALLACE We will show tht the induced mps on homology of f nd f define invrints of not only the 3-mnifolds X 0 nd X 0 but they re lso surgery equivlence invrints for the p-colored knot (K, ρ). Definition 3.12. Suppose f : X0 K(Z p ) nd f : X 0 K(D 2p ) re the mps obtined vi the coloring ρ s bove. Then define the closed bordism invrints to be ω 2 (K, ρ) := f ([ X 0 ]) H 3 (Z p ; Z) nd ω 0 (K, ρ) := f ([X 0 ]) H 3 (D 2p ; Z) where [M] H 3 (M; Z) denotes the fundmentl clss of M. Notice tht the invrints depend only on the bordism clsses of the (closed) 3-mnifolds over Z p nd D 2p respectively which is the motivtion for the nmes. It is lso cler tht X nd X 0 re in the sme bordism clss over Z p. The bordism is constructed from X [0, 1] by ttching 2-hndle long the lift of the prefered longitude. The finl bordism invrint, denoted simply by ω, rises from the mnifold M = (S 3 K) which is not closed so it will be defined seprtely. Also note tht since ±1-frmed surgery long links in the kernel of the coloring ρ defines bordism between the resulting mnifolds then ω 2 nd ω 0 re ctully surgery equivlence invrints. The bordism is obtined by ttching 2-hndle long ech component of the surgery link to M [0, 1] (for M = X 0, X 0 ). 3.3.2. The reltive bordism invrint. Recll the definition of bsed p-colored knot which is p-colored knot with chosen meridin m so tht ρ(m) = ts 0. Tht is, if the coloring ρ is defined by lbeling of digrm for K then the rc corresponding to m would hve the lbel 0. We my ssume this becuse p-colored knots re only defined up to n inner utomorphism of the dihedrl group. This llows, in prticulr, for ny chosen rc to hve the lbel 0. We will now define the lst of the three bordism invrints.

SURGERY DESCRIPTION OF COLORED KNOTS 27 Definition 3.13. Let (K, ρ, m) be bsed p-colored knot. If K(Z 2 ) is the subspce of K(D 2p ) corresponding to the imge of m under the coloring, then define ω(k, ρ) := ρ([m, M]) H 3 (K(D 2p ), K(Z 2 ); Z) where [M, M] denotes the fundmentl clss of M = (S 3 K) reltive to the boundry nd f : (M, M) (D 2p, Z 2 ) rises directly from the coloring. Indeed, we my think of K(Z 2 ) s subspce of K(D 2p ) becuse we my construct K(D 2p ) from K(Z 2 ) by dding k-cells, k = 1, 2,..., to obtin the correct homotopy groups. Furthermore, since we cn ssume tht the fundmentl group of the boundry torus is generted by the clsses represented by the preferred longitude nd our chosen meridin m, it is cler tht M is mpped into the correct subspce. We will now prove few specil properties of the bordism invrints. 3.3.3. Properties. Consider the bordism long exct sequence of the pir (X, A) (3.4) Ω n (A) i Ωn (X) j Ω n (X, A) Ω n 1 (A) for i nd j induced by inclusion (see Section 5 of [CoFl]). We will be concerned with the pirs (X, A) = (K(D 2p ), K(Z p )) nd (X, A) = (K(D 2p ), K(Z 2 )) which will relte ω 2 to ω 0, nd ω 0 to ω respectively. In these cses, we my compute the bordism groups using the fct tht Ω n (K(G, 1)) = H n (G; Z). The cohomology groups of cyclic groups re well-known nd my be computed using spectrl sequence for the fibrtion K(Z, 1) K(Z p, 1) K(Z, 2) with fiber K(Z, 1) being circle (see Chpter 9 [DKi]). The homology groups re then obtined from the cohomology groups by using the Universl Coefficient Theorem. We hve Z if n = 0, H n (Z p ) = Z p if n is odd, nd 0 if n > 0 is even

28 R.A. LITHERLAND AND STEVEN D. WALLACE for p ny prime number. The following proposition follows from spectrl sequence found in [AdMil] nd is well-known. Proposition 3.14. The homology groups of the dihedrl group D 2p re s follows Z 2 if n 1 (mod 4), H n (D 2p ) = Z 2 Z p if n 3 (mod 4) 0 otherwise if p is n odd prime. So the closed bordism invrints ω 2 nd ω 0 my be thought of s elements of Z p nd Z 2p respectively. We will use the bordism long exct sequence 3.4 to determine the group in which the reltive bordism invrint ω resides. Consider Ω 3 (K(Z 2 )) i j Ω3 (K(D 2p )) Ω3 (K(D 2p ), K(Z 2 )) Ω 2 (K(Z 2 )) where the Eilenberg-Mclne spce K(Z 2 ) is the subspce of K(D 2p ) rising from the subgroup Z 2 = t D2p. In this cse i is injective since ny singulr mnifold (M, ϕ) tht is null-bordnt over D 2p is null-bordnt over Z 2 vi the sme 4-mnifold. As Ω 2 (K(Z 2 )) is trivil we hve 0 Ω 3 (K(Z 2 )) = Z 2 Ω 3 (K(D 2p )) = Z 2p Ω 3 (K(D 2p ), K(Z 2 ))) 0 is exct. In prticulr Ω 3 (K(D 2p ), K(Z 2 )) = Z p. So the reltive bordism invrint ω my be regrded s n element of Z p. We will lter show, in the proof of Theorem 4.4, tht the closed bordism invrint ω 0 Ω 3 (K(D 2p )) = Z 2p only tkes vlues in the Z p prt of Z 2p which will estblish n equivlence between ll three bordism invrints. We hve lredy seen tht the colored untying invrint is dditive under the opertion of the connected sum of p-colored knots. The sme is true for the bordism invrints. Of course, once we hve estblished the equivlence of ll the invrints, then the dditivity of cu is enough to show this nd direct proof will be omitted.

SURGERY DESCRIPTION OF COLORED KNOTS 29 As corollry to the dditivity of the closed bordism invrints we see tht if ω 0 Ω 3 (K(D 2p )) = Z 2 Z p is p-vlued invrint of p-colored knots, then ω 0 (K, ρ) = (0, n) for ny colored knot (K, ρ). This is becuse if ω 0 is p-vlued then every p-colored knot must hve the sme vlue in the first coordinte of Z 2 Z p = Z2p. And since ω 0 (K#K, ρ#ρ) = (0, 2n), the first coordinte vlue must be 0. We will show tht ω 2 (K, ρ) = 2ω 0 (K, ρ) which will estblish n equivlence between ω 0 nd ω 2 once we show tht ω 0 is p-vlued. 4. Proof of equivlence We will now show tht ll of the p-colored knot invrints defined bove re the sme. 4.1. Equivlence of cu nd ω 2. Proposition 4.1. The colored untying invrint cu(k, ρ) is equivlent to the (2-fold brnched cover) closed bordism invrint ω 2 (K, ρ) for ny p-colored knot (K, ρ). Proof. Agin, let X 0 denote the mnifold obtined from the 2-fold brnched cover X by 0-frmed surgery long the lift of K, K, where (K, ρ) is p-colored knot. Then by the commuttivity of Digrm 3.1, there is mp f : X K(Zp, 1) which corresponds to the coloring ρ. Let β 1 : H 1 ( X; Z p ) H 2 ( X; Z) be Bockstein homomorphism ssocited with the coffecient sequence 0 Z p Z mod p Z p 0. Recll tht if H 1 ( X; Z p ) is the cohomology clss corresponding to ρ : H 1 ( X; Z) Z p then cu(k, ρ) = β 1 () H 3 ( X; Z p ) = Z p by Moskovich s definition of the colored untying invrint. Denote by φ,j Hom(H j ( X 0 ; Z), Z p ) the mp ssocited to the induced mp f H j ( X; Z p ) for j = 1, 3. Also let i : H 1 (K(Z p )) Z p correspond to the cohomology clss in H 1 (K(Z p ); Z p ) induced by the identity id : K(Z p ) K(Z p ).

30 R.A. LITHERLAND AND STEVEN D. WALLACE Lemm 4.2 below shows tht φ,1 (i) =. So by the properties of cup products we hve φ,3 (i β 1 i) = β = cu(k, ρ) since φ,3 (i β 1 i) = φ,1 (i) (β 1 φ,1 (i)). On the other hnd φ,3 is defined by φ,3 = i f 3, where f 3 : H 3 ( X 0 ; Z) H 3 (K(Z p )) by the Universl Coefficient Theorem isomorphism Hom(H 3 ( X), H 3 (K)) = Hom(H 3 ( X), Z p ) = H 3 ( X 0 ; Z p ). Then by definition ω 2 (K, ρ) = f 3 ([ X]) where [ X] denotes the fundmentl clss of X. In prticulr, [ X] is cnonicl genertor of H 3 ( X; Z) = Z. Therefore the homomorphism φ,3 is determined by the imge of the genertor [ X] which is ω 2. Here we re using the fct tht X nd X 0 re bordnt over Z p. We hve shown tht the colored untying invrint cu(k, ρ) is determined by ω 2 (K, ρ) nd both re elements of Z p. Hence under the correct choice of genertor of Z p the invrints ω 2 (K, ρ) nd cu(k, ρ) re the sme. So, ssuming Lemm 4.2, we re done. Lemm 4.2. If φ,1, i, nd re defined s bove, then φ,1 (i) =. Proof. Consider the following commuttive digrms: (4.1) H 1 ( X) ρ π 1 ( X) Z p = H 1 (K(Z p )) nd (4.2) H 1 (K(Z p )) i. π 1 (K(Z p )) From Digrm 4.1 we hve mp X f K(Zp ). Z p = H 1 (K(Z p ))

SURGERY DESCRIPTION OF COLORED KNOTS 31 The mps in Digrm 4.2 re the isomorphisms induced by the identity K(Z p ) id K(Z p ). Tht is φ (i) = ρ H 1 ( X; Z p ) by construction. On the other hnd φ,1 (i) = f 1 : H 1 ( X) H 1 (K(Z p )) i Z p. Suppose b = i β i H 3 (K(Z p )) is non-trivil. Then b is genertor for H 3 (K(Z p )). The isomorphism H 3 (K(Z p )) Z p is given by x b(x) so we my choose the genertor of H 3 (K(Z p )) to be the element σ so tht τ(σ) = 1. Recll tht f ([ X]) H 3 (K(Z p )). Therefore we hve the following equlities: ω 2 = b(f 3 ([ X])) = (i β i)(f 3 ([ X])) = φ,3 (i β i)([ X]). But we hve then shown tht cu(k, ρ) = φ,3 (i β i)([ X]). And so we hve estblished the equivlence of cu nd ω 2 s desired. 4.2. Equivlence of the bordism invrints. To show tht the closed bordism invrints ω 0 nd ω 2 re equivlent it suffices to show two fcts. First we must show tht ω 2 (K, ρ) is roughly speking twice ω 0 (K, ρ). Then we must show tht ω 0 is p-vlued invrint. This, in turn, will show tht ll of the bordism invrints re equivlent to ech other nd to the colored untying invrint. Lemm 4.3. The closed bordism invrints hve the property tht ω 2 (K, ρ) = 2n if ω 0 (K, ρ) = (m, n) Z 2 Z p. Proof. Recll the bordism long exct sequence 3.4 Ω n (A) i Ωn (X) j Ω n (X, A) Ω n 1 (A)

32 R.A. LITHERLAND AND STEVEN D. WALLACE with X nd A the Eilenberg-Mclne spces over D 2p, Z p, nd Z 2 where pproprite. We hve 0 Ω 3 (Z 2 ) i Ω 3 (D 2p ) Ω 3 (D 2p, Z 2 ) 0 0 0 Ω 3 (Z p ) i = Ω 3 (D 2p ) Ω 3 (D 2p, Z p ) 0 so we must show tht i [ X 0 ] = 2[X 0 ]. But X 0 is brnched double cover of X 0 so the result follows. We will now show tht ll of the p-colored knot invrints give the sme informtion. In prticulr, this shows tht computtion of the bordism invrints my be done by computing the colored untying invrint using the Goeritz mtrix. Theorem 4.4. All of the p-colored knot invrints re equivlent. Proof. By Propostion 4.1 we hve tht for n pproprite choice of genertor for Z p the elements ω 2 (K, ρ) nd cu(k, ρ) re equl. By Lemm 4.3 bove we need only show tht ω 0 (K, ρ) lies in the Z p prt of Z 2p to show tht both of the closed bordism invrints re the sme. The finl equivlence between ω nd ω 0 will follow from the Bordism Long Exct Sequence. There is cnonicl short exct sequence 0 Z p = s Φ D 2p = s, t t 2 = s p = tsts = 1 Ψ Z 2 0 where Z 2 is the cokernel of the mp Φ. As result, we my construct the commuttive digrm Z p π 1 (X 0 ) α Z Φ ρ D 2p l Ψ (mod 2) Z 2

SURGERY DESCRIPTION OF COLORED KNOTS 33 where ρ is the coloring pplied to the 0-surgered mnifold, α is beliniztion, nd l(x) = lk(x, K) (mod 2). Hence, we hve commuttive digrm of the corresponding spces K(Z p ) X 0 f K(D 2p ) A g S 1 = K(Z) RP = K(Z 2 ) which induces Z p Z = Λ f Z 2 Z p A 0 Z 2 g on the third homology groups. From this, we see tht ω 0 (K, ρ) = f (Λ) = (0, n) Z 2 Z p for some n Z p since A = 0. Note tht g 0 since Z 2 D 2p id Ψ Z 2 commutes. So the closed bordism invrints re equivlent p-vlued invrints of p-colored knots. This lso implies, in prticulr, tht ω 0 nd the reltive bordism invrint ω must be the sme. For ny bsed p-colored knot, the Bordism Long Exct Sequence gives the exct sequence Ω 3 (K(Z 2 )) tht is, we hve the short exct sequence i j Ω3 (K(D 2p )) Ω3 (K(D 2p ), K(Z 2 )) Ω 2 (K(Z 2 )) i 0 Z j 2 Z2 Z p Zp 0

34 R.A. LITHERLAND AND STEVEN D. WALLACE which gives n isomorphism between the Z p -prt of Ω 3 (D 2p ) nd Ω 3 (K(D 2p ), K(Z 2 )) nd the result follows. Incidentlly, s corollry to the proof of the Theorem we hve the following result. A detiled proof will not be given here but the result follows from the bordism long exct sequence nd the fct tht [RP 3, ϕ] 0 Z 2 = Ω3 (K(Z 2 )). Theorem 4.5. The bordism group Ω 3 (D 2p ) = Z 2 Z p is generted by the bordism clss represented by the disjoint union of the singulr mnifolds (RP 3, ϕ) nd (X 0, f) where X 0 is the mnifold obtined vi 0-surgery long some prime p-colored knot (K, ρ) with nonzero bordism invrint ( (p, 2)-torus knot for exmple). The mps f nd ϕ correspond to the coloring ρ : π 1 (X 0 ) D 2p, nd the inclusion φ : π 1 (RP 3 ) = Z 2 D 2p on the fundmentl groups respectively. We hve shown tht there re t lest p surgery equivlence clsses of p-colored knots, we will now show tht twice tht is n upperbound on the number of equivlence clsses. 4.3. Min result. We would like to show tht the colored untying invrint is complete invrint for p-colored knot surgery type. This is Moskovich s conjecture, since s we hve seen, cu(k, ρ) is p-vlued. To show tht cu is complete we must show tht if cu(k 1, ρ 1 ) = cu(k 2, ρ 2 ) then (K 1, ρ 1 ) nd (K 2, ρ 2 ) re surgery equivlent. The min result of this pper is tht this indeed is the cse t lest hlf of the time. Let P denote the set of ll bsed p-colored knots (K, ρ) with ω(k, ρ) = Z p. If (K 1, ρ 1 ) nd (K 2, ρ 2 ) re in the set P nd M i = S 3 K i then (M 1, M 1, f 1 ) is bordnt to (M 2, M 2, f 2 ) over (K(D 2p, 1), K(Z 2, 1)) = (X, A) by the definition of the bordism invrint ω. Here, the f i : (M i, M i ) (K(D 2p, 1), K(Z 2, 1)) re mps which induce the colorings on π 1. We hve the existence of 4-mnifold W 12 nd mp Φ : (W 12, W 12 ) (K(D 2p, 1), K(Z 2, 1))

SURGERY DESCRIPTION OF COLORED KNOTS 35 M 2 f 2 N 12 W 12 Φ f 1 (X,A) M 1 Figure 16. The connecting mnifold N 12. so tht W 12 = (M 1 M2 ) N12 N 12 nd Φ Mi = f i s in Figure 16. The connecting 3-mnifold in the boundry of the bordism W 12 between M 1 nd M 2 is denoted by N 12. Note tht the boundry of N 12 consists of two disjoint copies of the torus T 2, one for ech boundry torus of the M i s. We would like to show tht N 12 is the product spce T 2 [0, 1]. We will show tht this is necessrily the cse t lest hlf of the time. More precisely, we will construct mp η : P P Z 2 tht stisfies certin tringle equlity (Proposition 4.8 below). The mp is defined by η(k 1, K 2 ) = Φ 12 ( [ N 12 T 2 {0,1} (T 2 [0, 1]) ] ) where [ N 12 T 2 {0,1} (T 2 [0, 1]) ] = [ N ] denotes the fundmentl clss of N nd Φ 12 is the obvious extension of the mp Φ N12 : N 12 K(Z 2, 1) coming from the bordism. So η(k 1, K 2 ) is n element of the bordism group Ω 3 (Z 2 ) = Z 2. Proposition 4.6. The function η(k 1, K 2 ) = 0 if nd only if there is bordism (W, W, Φ ) between (S 3 K 1, f 1 ) nd (S 3 K 2, f 2 ) with the connecting mnifold consisting of the product spce T 2 [0, 1]. Proof. Assume tht η(k 1, K 2 ) = 0, note tht we must lso ssume tht both knots lie in the set P in order for the function η to mke sense. Then we hve bordisms (W 0, Φ 0 )

36 R.A. LITHERLAND AND STEVEN D. WALLACE over Z 2 with boundry N 12 (T 2 [0, 1]) nd (W, W, Φ) over (D 2p, Z 2 ) with boundry (S 3 K 1 ) N 12 (S 3 K 2 ). So sufficiency is seen by gluing the bordism (W 0, Φ 0 ) to the bordism (W, W, Φ) long the 3-mnifold N ij. The result is new bordism (W, W, Φ ) over (D 2p, Z 2 ) defined by W = W ψ W 0 where ψ : N ij N ij is n orienttion reversing diffeomorphism. The mp Φ is defined by Φ Φ 0 (x) if x W 0, (x) = Φ(x) if x W nd since the mnifolds re glued by diffeomorphism, it follows tht Φ : (W, W ) (D 2p, Z 2 ) is differentible mp s required. We hve shown tht if η(k i, K j ) is trivil then there is bordism (W, W, ϕ ) over (D 2p, Z 2 ) with W = (M i Mj ) T 2 {0,1} (T 2 [0, 1]). And so we my ssume tht N ij = T 2 [0, 1] only in the cse tht η is trivil. Necessity of this condition follows from the fct tht T 2 [0, 1] [0, 1] hs boundry homeomorphic to (T 2 [0, 1]) T 2 {0,1} (T 2 [0, 1]). Appeling to the proof of Theorem 1.1 below, we hve tht the colored surgery untying conjecture in [Mos, Conjecture 1] is equivlent to the property tht η is lwys trivil. Corollry 4.7. The function η vnishes for ll pirs of colored knots in P for ll Z p if nd only if there re exctly p surgery equivlence clsses of p-colored knots. We will now show tht the mp η is well-defined nd stisfies the tringle equlity property mentioned bove. Proposition 4.8. The mp η : P P Z 2 is well-defined nd stisfies (4.3) η(k 1, K 2 ) = η(k 1, K 3 ) + η(k 3, K 2 ) for ny (K 3, ρ 3 ) P.