arxiv: v1 [math.gt] 10 Sep 2007

Size: px
Start display at page:

Download "arxiv: v1 [math.gt] 10 Sep 2007"

Transcription

1 SURGERY DESCRIPTION OF COLORED KNOTS R.A. LITHERLAND AND STEVEN D. WALLACE rxiv: v1 [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 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

3 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 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 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

5 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 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 6 R.A. LITHERLAND AND STEVEN D. WALLACE for the colored knot. The bordism invrint ω 2 (K, ρ) from Section 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 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

7 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 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 ρ 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

9 SURGERY DESCRIPTION OF COLORED KNOTS 9 K 1 K K 1 K 2 () Relbeling colored knots K 1 K 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 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 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

11 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 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),

13 SURGERY DESCRIPTION OF COLORED KNOTS F y τ 1 (y) Figure 8. Double push off of orienttion reversing curve y 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 The colored untying invrint. We will now define precisely the p-colored knot invrint cu, nd lter define the bordism invrints ω 2, ω 0, nd ω 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 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.

15 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 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 using the Goeritz definition of the colored untying invrint defined below 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.

17 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 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 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 ±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.

19 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 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 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 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 = p cu(k, ρ) + 2(v v k ) 2 p cu(k, ρ) (mod p 2 ) v 1. v k

21 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] 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 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 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, , 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 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) , 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 ) = ,

23 SURGERY DESCRIPTION OF COLORED KNOTS 23 ξ 1 p b Figure 14. The (p, 2)-torus knot G(11 n141 ) = G( ) = ,, 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( ) = (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 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 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 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 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

25 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 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 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 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 ) 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.

27 SURGERY DESCRIPTION OF COLORED KNOTS 27 Definition 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 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 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 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.

29 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 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 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 ))

31 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 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 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 ) Ω 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

33 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 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 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))

35 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 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.

THE QUADRATIC RECIPROCITY LAW OF DUKE-HOPKINS. Circa 1870, G. Zolotarev observed that the Legendre symbol ( a p

THE QUADRATIC RECIPROCITY LAW OF DUKE-HOPKINS. Circa 1870, G. Zolotarev observed that the Legendre symbol ( a p THE QUADRATIC RECIPROCITY LAW OF DUKE-HOPKINS PETE L CLARK Circ 1870, Zolotrev observed tht the Legendre symbol ( p ) cn be interpreted s the sign of multipliction by viewed s permuttion of the set Z/pZ

More information

Coalgebra, Lecture 15: Equations for Deterministic Automata

Coalgebra, Lecture 15: Equations for Deterministic Automata Colger, Lecture 15: Equtions for Deterministic Automt Julin Slmnc (nd Jurrin Rot) Decemer 19, 2016 In this lecture, we will study the concept of equtions for deterministic utomt. The notes re self contined

More information

Conneted sum of representations of knot groups

Conneted sum of representations of knot groups Conneted sum of representtions of knot groups Jinseok Cho rxiv:141.6970v4 [mth.gt] 3 Mr 016 November 4, 017 Abstrct When two boundry-prbolic representtions of knot groups re given, we introduce the connected

More information

The Regulated and Riemann Integrals

The Regulated and Riemann Integrals Chpter 1 The Regulted nd Riemnn Integrls 1.1 Introduction We will consider severl different pproches to defining the definite integrl f(x) dx of function f(x). These definitions will ll ssign the sme vlue

More information

Chapter 14. Matrix Representations of Linear Transformations

Chapter 14. Matrix Representations of Linear Transformations Chpter 4 Mtrix Representtions of Liner Trnsformtions When considering the Het Stte Evolution, we found tht we could describe this process using multipliction by mtrix. This ws nice becuse computers cn

More information

Chapter 4 Contravariance, Covariance, and Spacetime Diagrams

Chapter 4 Contravariance, Covariance, and Spacetime Diagrams Chpter 4 Contrvrince, Covrince, nd Spcetime Digrms 4. The Components of Vector in Skewed Coordintes We hve seen in Chpter 3; figure 3.9, tht in order to show inertil motion tht is consistent with the Lorentz

More information

MATH 101A: ALGEBRA I PART B: RINGS AND MODULES 35

MATH 101A: ALGEBRA I PART B: RINGS AND MODULES 35 MATH 101A: ALGEBRA I PART B: RINGS AND MODULES 35 9. Modules over PID This week we re proving the fundmentl theorem for finitely generted modules over PID, nmely tht they re ll direct sums of cyclic modules.

More information

REPRESENTATION THEORY OF PSL 2 (q)

REPRESENTATION THEORY OF PSL 2 (q) REPRESENTATION THEORY OF PSL (q) YAQIAO LI Following re notes from book [1]. The im is to show the qusirndomness of PSL (q), i.e., the group hs no low dimensionl representtion. 1. Representtion Theory

More information

Quadratic Forms. Quadratic Forms

Quadratic Forms. Quadratic Forms Qudrtic Forms Recll the Simon & Blume excerpt from n erlier lecture which sid tht the min tsk of clculus is to pproximte nonliner functions with liner functions. It s ctully more ccurte to sy tht we pproximte

More information

Math 520 Final Exam Topic Outline Sections 1 3 (Xiao/Dumas/Liaw) Spring 2008

Math 520 Final Exam Topic Outline Sections 1 3 (Xiao/Dumas/Liaw) Spring 2008 Mth 520 Finl Exm Topic Outline Sections 1 3 (Xio/Dums/Liw) Spring 2008 The finl exm will be held on Tuesdy, My 13, 2-5pm in 117 McMilln Wht will be covered The finl exm will cover the mteril from ll of

More information

Note 16. Stokes theorem Differential Geometry, 2005

Note 16. Stokes theorem Differential Geometry, 2005 Note 16. Stokes theorem ifferentil Geometry, 2005 Stokes theorem is the centrl result in the theory of integrtion on mnifolds. It gives the reltion between exterior differentition (see Note 14) nd integrtion

More information

20 MATHEMATICS POLYNOMIALS

20 MATHEMATICS POLYNOMIALS 0 MATHEMATICS POLYNOMIALS.1 Introduction In Clss IX, you hve studied polynomils in one vrible nd their degrees. Recll tht if p(x) is polynomil in x, the highest power of x in p(x) is clled the degree of

More information

Math 4310 Solutions to homework 1 Due 9/1/16

Math 4310 Solutions to homework 1 Due 9/1/16 Mth 4310 Solutions to homework 1 Due 9/1/16 1. Use the Eucliden lgorithm to find the following gretest common divisors. () gcd(252, 180) = 36 (b) gcd(513, 187) = 1 (c) gcd(7684, 4148) = 68 252 = 180 1

More information

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004 Advnced Clculus: MATH 410 Notes on Integrls nd Integrbility Professor Dvid Levermore 17 October 2004 1. Definite Integrls In this section we revisit the definite integrl tht you were introduced to when

More information

Chapter 3. Vector Spaces

Chapter 3. Vector Spaces 3.4 Liner Trnsformtions 1 Chpter 3. Vector Spces 3.4 Liner Trnsformtions Note. We hve lredy studied liner trnsformtions from R n into R m. Now we look t liner trnsformtions from one generl vector spce

More information

State space systems analysis (continued) Stability. A. Definitions A system is said to be Asymptotically Stable (AS) when it satisfies

State space systems analysis (continued) Stability. A. Definitions A system is said to be Asymptotically Stable (AS) when it satisfies Stte spce systems nlysis (continued) Stbility A. Definitions A system is sid to be Asymptoticlly Stble (AS) when it stisfies ut () = 0, t > 0 lim xt () 0. t A system is AS if nd only if the impulse response

More information

Pavel Rytí. November 22, 2011 Discrete Math Seminar - Simon Fraser University

Pavel Rytí. November 22, 2011 Discrete Math Seminar - Simon Fraser University Geometric representtions of liner codes Pvel Rytí Deprtment of Applied Mthemtics Chrles University in Prgue Advisor: Mrtin Loebl November, 011 Discrete Mth Seminr - Simon Frser University Bckground Liner

More information

Math 61CM - Solutions to homework 9

Math 61CM - Solutions to homework 9 Mth 61CM - Solutions to homework 9 Cédric De Groote November 30 th, 2018 Problem 1: Recll tht the left limit of function f t point c is defined s follows: lim f(x) = l x c if for ny > 0 there exists δ

More information

Bernoulli Numbers Jeff Morton

Bernoulli Numbers Jeff Morton Bernoulli Numbers Jeff Morton. We re interested in the opertor e t k d k t k, which is to sy k tk. Applying this to some function f E to get e t f d k k tk d k f f + d k k tk dk f, we note tht since f

More information

13.3 CLASSICAL STRAIGHTEDGE AND COMPASS CONSTRUCTIONS

13.3 CLASSICAL STRAIGHTEDGE AND COMPASS CONSTRUCTIONS 33 CLASSICAL STRAIGHTEDGE AND COMPASS CONSTRUCTIONS As simple ppliction of the results we hve obtined on lgebric extensions, nd in prticulr on the multiplictivity of extension degrees, we cn nswer (in

More information

Here we study square linear systems and properties of their coefficient matrices as they relate to the solution set of the linear system.

Here we study square linear systems and properties of their coefficient matrices as they relate to the solution set of the linear system. Section 24 Nonsingulr Liner Systems Here we study squre liner systems nd properties of their coefficient mtrices s they relte to the solution set of the liner system Let A be n n Then we know from previous

More information

Bases for Vector Spaces

Bases for Vector Spaces Bses for Vector Spces 2-26-25 A set is independent if, roughly speking, there is no redundncy in the set: You cn t uild ny vector in the set s liner comintion of the others A set spns if you cn uild everything

More information

N 0 completions on partial matrices

N 0 completions on partial matrices N 0 completions on prtil mtrices C. Jordán C. Mendes Arújo Jun R. Torregros Instituto de Mtemátic Multidisciplinr / Centro de Mtemátic Universidd Politécnic de Vlenci / Universidde do Minho Cmino de Ver

More information

Math 6455 Oct 10, Differential Geometry I Fall 2006, Georgia Tech

Math 6455 Oct 10, Differential Geometry I Fall 2006, Georgia Tech Mth 6455 Oct 10, 2006 1 Differentil Geometry I Fll 2006, Georgi Tech Lecture Notes 12 Riemnnin Metrics 0.1 Definition If M is smooth mnifold then by Riemnnin metric g on M we men smooth ssignment of n

More information

Math 1B, lecture 4: Error bounds for numerical methods

Math 1B, lecture 4: Error bounds for numerical methods Mth B, lecture 4: Error bounds for numericl methods Nthn Pflueger 4 September 0 Introduction The five numericl methods descried in the previous lecture ll operte by the sme principle: they pproximte the

More information

Natural examples of rings are the ring of integers, a ring of polynomials in one variable, the ring

Natural examples of rings are the ring of integers, a ring of polynomials in one variable, the ring More generlly, we define ring to be non-empty set R hving two binry opertions (we ll think of these s ddition nd multipliction) which is n Abelin group under + (we ll denote the dditive identity by 0),

More information

p-adic Egyptian Fractions

p-adic Egyptian Fractions p-adic Egyptin Frctions Contents 1 Introduction 1 2 Trditionl Egyptin Frctions nd Greedy Algorithm 2 3 Set-up 3 4 p-greedy Algorithm 5 5 p-egyptin Trditionl 10 6 Conclusion 1 Introduction An Egyptin frction

More information

Lecture 3: Equivalence Relations

Lecture 3: Equivalence Relations Mthcmp Crsh Course Instructor: Pdric Brtlett Lecture 3: Equivlence Reltions Week 1 Mthcmp 2014 In our lst three tlks of this clss, we shift the focus of our tlks from proof techniques to proof concepts

More information

Vectors , (0,0). 5. A vector is commonly denoted by putting an arrow above its symbol, as in the picture above. Here are some 3-dimensional vectors:

Vectors , (0,0). 5. A vector is commonly denoted by putting an arrow above its symbol, as in the picture above. Here are some 3-dimensional vectors: Vectors 1-23-2018 I ll look t vectors from n lgeric point of view nd geometric point of view. Algericlly, vector is n ordered list of (usully) rel numers. Here re some 2-dimensionl vectors: (2, 3), ( )

More information

Theoretical foundations of Gaussian quadrature

Theoretical foundations of Gaussian quadrature Theoreticl foundtions of Gussin qudrture 1 Inner product vector spce Definition 1. A vector spce (or liner spce) is set V = {u, v, w,...} in which the following two opertions re defined: (A) Addition of

More information

Duality # Second iteration for HW problem. Recall our LP example problem we have been working on, in equality form, is given below.

Duality # Second iteration for HW problem. Recall our LP example problem we have been working on, in equality form, is given below. Dulity #. Second itertion for HW problem Recll our LP emple problem we hve been working on, in equlity form, is given below.,,,, 8 m F which, when written in slightly different form, is 8 F Recll tht we

More information

Chapter 3 MATRIX. In this chapter: 3.1 MATRIX NOTATION AND TERMINOLOGY

Chapter 3 MATRIX. In this chapter: 3.1 MATRIX NOTATION AND TERMINOLOGY Chpter 3 MTRIX In this chpter: Definition nd terms Specil Mtrices Mtrix Opertion: Trnspose, Equlity, Sum, Difference, Sclr Multipliction, Mtrix Multipliction, Determinnt, Inverse ppliction of Mtrix in

More information

2. VECTORS AND MATRICES IN 3 DIMENSIONS

2. VECTORS AND MATRICES IN 3 DIMENSIONS 2 VECTORS AND MATRICES IN 3 DIMENSIONS 21 Extending the Theory of 2-dimensionl Vectors x A point in 3-dimensionl spce cn e represented y column vector of the form y z z-xis y-xis z x y x-xis Most of the

More information

set is not closed under matrix [ multiplication, ] and does not form a group.

set is not closed under matrix [ multiplication, ] and does not form a group. Prolem 2.3: Which of the following collections of 2 2 mtrices with rel entries form groups under [ mtrix ] multipliction? i) Those of the form for which c d 2 Answer: The set of such mtrices is not closed

More information

Recitation 3: More Applications of the Derivative

Recitation 3: More Applications of the Derivative Mth 1c TA: Pdric Brtlett Recittion 3: More Applictions of the Derivtive Week 3 Cltech 2012 1 Rndom Question Question 1 A grph consists of the following: A set V of vertices. A set E of edges where ech

More information

Math Advanced Calculus II

Math Advanced Calculus II Mth 452 - Advnced Clculus II Line Integrls nd Green s Theorem The min gol of this chpter is to prove Stoke s theorem, which is the multivrible version of the fundmentl theorem of clculus. We will be focused

More information

A formula for the coincidence Reidemeister trace of selfmaps on bouquets of circles

A formula for the coincidence Reidemeister trace of selfmaps on bouquets of circles Firfield University DigitlCommons@Firfield Mth & Computer Science Fculty Publictions Mth & Computer Science Deprtment 1-1-2009 A formul for the coincidence Reidemeister trce of selfmps on bouquets of circles

More information

Things to Memorize: A Partial List. January 27, 2017

Things to Memorize: A Partial List. January 27, 2017 Things to Memorize: A Prtil List Jnury 27, 2017 Chpter 2 Vectors - Bsic Fcts A vector hs mgnitude (lso clled size/length/norm) nd direction. It does not hve fixed position, so the sme vector cn e moved

More information

Figure 1. The left-handed and right-handed trefoils

Figure 1. The left-handed and right-handed trefoils The Knot Group A knot is n emedding of the irle into R 3 (or S 3 ), k : S 1 R 3. We shll ssume our knots re tme, mening the emedding n e extended to solid torus, K : S 1 D 2 R 3. The imge is lled tuulr

More information

Is there an easy way to find examples of such triples? Why yes! Just look at an ordinary multiplication table to find them!

Is there an easy way to find examples of such triples? Why yes! Just look at an ordinary multiplication table to find them! PUSHING PYTHAGORAS 009 Jmes Tnton A triple of integers ( bc,, ) is clled Pythgoren triple if exmple, some clssic triples re ( 3,4,5 ), ( 5,1,13 ), ( ) fond of ( 0,1,9 ) nd ( 119,10,169 ). + b = c. For

More information

MATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1

MATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1 MATH34032: Green s Functions, Integrl Equtions nd the Clculus of Vritions 1 Section 1 Function spces nd opertors Here we gives some brief detils nd definitions, prticulrly relting to opertors. For further

More information

Infinite Geometric Series

Infinite Geometric Series Infinite Geometric Series Finite Geometric Series ( finite SUM) Let 0 < r < 1, nd let n be positive integer. Consider the finite sum It turns out there is simple lgebric expression tht is equivlent to

More information

HW3, Math 307. CSUF. Spring 2007.

HW3, Math 307. CSUF. Spring 2007. HW, Mth 7. CSUF. Spring 7. Nsser M. Abbsi Spring 7 Compiled on November 5, 8 t 8:8m public Contents Section.6, problem Section.6, problem Section.6, problem 5 Section.6, problem 7 6 5 Section.6, problem

More information

Graph Theory. Dr. Saad El-Zanati, Faculty Mentor Ryan Bunge Graduate Assistant Illinois State University REU. Graph Theory

Graph Theory. Dr. Saad El-Zanati, Faculty Mentor Ryan Bunge Graduate Assistant Illinois State University REU. Graph Theory Grph Theory Gibson, Ngel, Stnley, Zle Specil Types of Bckground Motivtion Grph Theory Dniel Gibson, Concordi University Jckelyn Ngel, Dominicn University Benjmin Stnley, New Mexico Stte University Allison

More information

LECTURE 2: ARTIN SYMBOL, ARTIN MAP, ARTIN RECIPROCITY LAW AND FINITENESS OF GENERALIZED IDEAL CLASS GROUP

LECTURE 2: ARTIN SYMBOL, ARTIN MAP, ARTIN RECIPROCITY LAW AND FINITENESS OF GENERALIZED IDEAL CLASS GROUP Clss Field Theory Study Seminr Jnury 25 2017 LECTURE 2: ARTIN SYMBOL, ARTIN MAP, ARTIN RECIPROCITY LAW AND FINITENESS OF GENERALIZED IDEAL CLASS GROUP YIFAN WU Plese send typos nd comments to wuyifn@umich.edu

More information

Abstract inner product spaces

Abstract inner product spaces WEEK 4 Abstrct inner product spces Definition An inner product spce is vector spce V over the rel field R equipped with rule for multiplying vectors, such tht the product of two vectors is sclr, nd the

More information

UNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3

UNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3 UNIFORM CONVERGENCE Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3 Suppose f n : Ω R or f n : Ω C is sequence of rel or complex functions, nd f n f s n in some sense. Furthermore,

More information

7.2 The Definite Integral

7.2 The Definite Integral 7.2 The Definite Integrl the definite integrl In the previous section, it ws found tht if function f is continuous nd nonnegtive, then the re under the grph of f on [, b] is given by F (b) F (), where

More information

Self-similarity and symmetries of Pascal s triangles and simplices mod p

Self-similarity and symmetries of Pascal s triangles and simplices mod p Sn Jose Stte University SJSU ScholrWorks Fculty Publictions Mthemtics nd Sttistics Februry 2004 Self-similrity nd symmetries of Pscl s tringles nd simplices mod p Richrd P. Kubelk Sn Jose Stte University,

More information

ARITHMETIC OPERATIONS. The real numbers have the following properties: a b c ab ac

ARITHMETIC OPERATIONS. The real numbers have the following properties: a b c ab ac REVIEW OF ALGEBRA Here we review the bsic rules nd procedures of lgebr tht you need to know in order to be successful in clculus. ARITHMETIC OPERATIONS The rel numbers hve the following properties: b b

More information

Unit #9 : Definite Integral Properties; Fundamental Theorem of Calculus

Unit #9 : Definite Integral Properties; Fundamental Theorem of Calculus Unit #9 : Definite Integrl Properties; Fundmentl Theorem of Clculus Gols: Identify properties of definite integrls Define odd nd even functions, nd reltionship to integrl vlues Introduce the Fundmentl

More information

Linear Algebra 1A - solutions of ex.4

Linear Algebra 1A - solutions of ex.4 Liner Algebr A - solutions of ex.4 For ech of the following, nd the inverse mtrix (mtritz hofkhit if it exists - ( 6 6 A, B (, C 3, D, 4 4 ( E i, F (inverse over C for F. i Also, pick n invertible mtrix

More information

Integral points on the rational curve

Integral points on the rational curve Integrl points on the rtionl curve y x bx c x ;, b, c integers. Konstntine Zeltor Mthemtics University of Wisconsin - Mrinette 750 W. Byshore Street Mrinette, WI 5443-453 Also: Konstntine Zeltor P.O. Box

More information

Properties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives

Properties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives Block #6: Properties of Integrls, Indefinite Integrls Gols: Definition of the Definite Integrl Integrl Clcultions using Antiderivtives Properties of Integrls The Indefinite Integrl 1 Riemnn Sums - 1 Riemnn

More information

Riemann Sums and Riemann Integrals

Riemann Sums and Riemann Integrals Riemnn Sums nd Riemnn Integrls Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University August 26, 2013 Outline 1 Riemnn Sums 2 Riemnn Integrls 3 Properties

More information

Chapter 0. What is the Lebesgue integral about?

Chapter 0. What is the Lebesgue integral about? Chpter 0. Wht is the Lebesgue integrl bout? The pln is to hve tutoril sheet ech week, most often on Fridy, (to be done during the clss) where you will try to get used to the ides introduced in the previous

More information

Riemann Sums and Riemann Integrals

Riemann Sums and Riemann Integrals Riemnn Sums nd Riemnn Integrls Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University August 26, 203 Outline Riemnn Sums Riemnn Integrls Properties Abstrct

More information

W. We shall do so one by one, starting with I 1, and we shall do it greedily, trying

W. We shall do so one by one, starting with I 1, and we shall do it greedily, trying Vitli covers 1 Definition. A Vitli cover of set E R is set V of closed intervls with positive length so tht, for every δ > 0 nd every x E, there is some I V with λ(i ) < δ nd x I. 2 Lemm (Vitli covering)

More information

Name Solutions to Test 3 November 8, 2017

Name Solutions to Test 3 November 8, 2017 Nme Solutions to Test 3 November 8, 07 This test consists of three prts. Plese note tht in prts II nd III, you cn skip one question of those offered. Some possibly useful formuls cn be found below. Brrier

More information

f(x) dx, If one of these two conditions is not met, we call the integral improper. Our usual definition for the value for the definite integral

f(x) dx, If one of these two conditions is not met, we call the integral improper. Our usual definition for the value for the definite integral Improper Integrls Every time tht we hve evluted definite integrl such s f(x) dx, we hve mde two implicit ssumptions bout the integrl:. The intervl [, b] is finite, nd. f(x) is continuous on [, b]. If one

More information

Elementary Linear Algebra

Elementary Linear Algebra Elementry Liner Algebr Anton & Rorres, 1 th Edition Lecture Set 5 Chpter 4: Prt II Generl Vector Spces 163 คณ ตศาสตร ว ศวกรรม 3 สาขาว ชาว ศวกรรมคอมพ วเตอร ป การศ กษา 1/2555 163 คณตศาสตรวศวกรรม 3 สาขาวชาวศวกรรมคอมพวเตอร

More information

We partition C into n small arcs by forming a partition of [a, b] by picking s i as follows: a = s 0 < s 1 < < s n = b.

We partition C into n small arcs by forming a partition of [a, b] by picking s i as follows: a = s 0 < s 1 < < s n = b. Mth 255 - Vector lculus II Notes 4.2 Pth nd Line Integrls We begin with discussion of pth integrls (the book clls them sclr line integrls). We will do this for function of two vribles, but these ides cn

More information

g i fφdx dx = x i i=1 is a Hilbert space. We shall, henceforth, abuse notation and write g i f(x) = f

g i fφdx dx = x i i=1 is a Hilbert space. We shall, henceforth, abuse notation and write g i f(x) = f 1. Appliction of functionl nlysis to PEs 1.1. Introduction. In this section we give little introduction to prtil differentil equtions. In prticulr we consider the problem u(x) = f(x) x, u(x) = x (1) where

More information

Semigroup of generalized inverses of matrices

Semigroup of generalized inverses of matrices Semigroup of generlized inverses of mtrices Hnif Zekroui nd Sid Guedjib Abstrct. The pper is divided into two principl prts. In the first one, we give the set of generlized inverses of mtrix A structure

More information

Frobenius numbers of generalized Fibonacci semigroups

Frobenius numbers of generalized Fibonacci semigroups Frobenius numbers of generlized Fiboncci semigroups Gretchen L. Mtthews 1 Deprtment of Mthemticl Sciences, Clemson University, Clemson, SC 29634-0975, USA gmtthe@clemson.edu Received:, Accepted:, Published:

More information

SUMMER KNOWHOW STUDY AND LEARNING CENTRE

SUMMER KNOWHOW STUDY AND LEARNING CENTRE SUMMER KNOWHOW STUDY AND LEARNING CENTRE Indices & Logrithms 2 Contents Indices.2 Frctionl Indices.4 Logrithms 6 Exponentil equtions. Simplifying Surds 13 Opertions on Surds..16 Scientific Nottion..18

More information

How do we solve these things, especially when they get complicated? How do we know when a system has a solution, and when is it unique?

How do we solve these things, especially when they get complicated? How do we know when a system has a solution, and when is it unique? XII. LINEAR ALGEBRA: SOLVING SYSTEMS OF EQUATIONS Tody we re going to tlk bout solving systems of liner equtions. These re problems tht give couple of equtions with couple of unknowns, like: 6 2 3 7 4

More information

Classification of Spherical Quadrilaterals

Classification of Spherical Quadrilaterals Clssifiction of Sphericl Qudrilterls Alexndre Eremenko, Andrei Gbrielov, Vitly Trsov November 28, 2014 R 01 S 11 U 11 V 11 W 11 1 R 11 S 11 U 11 V 11 W 11 2 A sphericl polygon is surfce homeomorphic to

More information

440-2 Geometry/Topology: Differentiable Manifolds Northwestern University Solutions of Practice Problems for Final Exam

440-2 Geometry/Topology: Differentiable Manifolds Northwestern University Solutions of Practice Problems for Final Exam 440-2 Geometry/Topology: Differentible Mnifolds Northwestern University Solutions of Prctice Problems for Finl Exm 1) Using the cnonicl covering of RP n by {U α } 0 α n, where U α = {[x 0 : : x n ] RP

More information

Continuous Random Variables

Continuous Random Variables STAT/MATH 395 A - PROBABILITY II UW Winter Qurter 217 Néhémy Lim Continuous Rndom Vribles Nottion. The indictor function of set S is rel-vlued function defined by : { 1 if x S 1 S (x) if x S Suppose tht

More information

f(x)dx . Show that there 1, 0 < x 1 does not exist a differentiable function g : [ 1, 1] R such that g (x) = f(x) for all

f(x)dx . Show that there 1, 0 < x 1 does not exist a differentiable function g : [ 1, 1] R such that g (x) = f(x) for all 3 Definite Integrl 3.1 Introduction In school one comes cross the definition of the integrl of rel vlued function defined on closed nd bounded intervl [, b] between the limits nd b, i.e., f(x)dx s the

More information

Chapter 3 Polynomials

Chapter 3 Polynomials Dr M DRAIEF As described in the introduction of Chpter 1, pplictions of solving liner equtions rise in number of different settings In prticulr, we will in this chpter focus on the problem of modelling

More information

On the free product of ordered groups

On the free product of ordered groups rxiv:703.0578v [mth.gr] 6 Mr 207 On the free product of ordered groups A. A. Vinogrdov One of the fundmentl questions of the theory of ordered groups is wht bstrct groups re orderble. E. P. Shimbirev [2]

More information

Best Approximation. Chapter The General Case

Best Approximation. Chapter The General Case Chpter 4 Best Approximtion 4.1 The Generl Cse In the previous chpter, we hve seen how n interpolting polynomil cn be used s n pproximtion to given function. We now wnt to find the best pproximtion to given

More information

The Algebra (al-jabr) of Matrices

The Algebra (al-jabr) of Matrices Section : Mtri lgebr nd Clculus Wshkewicz College of Engineering he lgebr (l-jbr) of Mtrices lgebr s brnch of mthemtics is much broder thn elementry lgebr ll of us studied in our high school dys. In sense

More information

Improper Integrals. Type I Improper Integrals How do we evaluate an integral such as

Improper Integrals. Type I Improper Integrals How do we evaluate an integral such as Improper Integrls Two different types of integrls cn qulify s improper. The first type of improper integrl (which we will refer to s Type I) involves evluting n integrl over n infinite region. In the grph

More information

Farey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University

Farey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University U.U.D.M. Project Report 07:4 Frey Frctions Rickrd Fernström Exmensrete i mtemtik, 5 hp Hledre: Andres Strömergsson Exmintor: Jörgen Östensson Juni 07 Deprtment of Mthemtics Uppsl University Frey Frctions

More information

Lecture 3. Limits of Functions and Continuity

Lecture 3. Limits of Functions and Continuity Lecture 3 Limits of Functions nd Continuity Audrey Terrs April 26, 21 1 Limits of Functions Notes I m skipping the lst section of Chpter 6 of Lng; the section bout open nd closed sets We cn probbly live

More information

UniversitaireWiskundeCompetitie. Problem 2005/4-A We have k=1. Show that for every q Q satisfying 0 < q < 1, there exists a finite subset K N so that

UniversitaireWiskundeCompetitie. Problem 2005/4-A We have k=1. Show that for every q Q satisfying 0 < q < 1, there exists a finite subset K N so that Problemen/UWC NAW 5/7 nr juni 006 47 Problemen/UWC UniversitireWiskundeCompetitie Edition 005/4 For Session 005/4 we received submissions from Peter Vndendriessche, Vldislv Frnk, Arne Smeets, Jn vn de

More information

Improper Integrals, and Differential Equations

Improper Integrals, and Differential Equations Improper Integrls, nd Differentil Equtions October 22, 204 5.3 Improper Integrls Previously, we discussed how integrls correspond to res. More specificlly, we sid tht for function f(x), the region creted

More information

Convex Sets and Functions

Convex Sets and Functions B Convex Sets nd Functions Definition B1 Let L, +, ) be rel liner spce nd let C be subset of L The set C is convex if, for ll x,y C nd ll [, 1], we hve 1 )x+y C In other words, every point on the line

More information

arxiv: v1 [math.ra] 1 Nov 2014

arxiv: v1 [math.ra] 1 Nov 2014 CLASSIFICATION OF COMPLEX CYCLIC LEIBNIZ ALGEBRAS DANIEL SCOFIELD AND S MCKAY SULLIVAN rxiv:14110170v1 [mthra] 1 Nov 2014 Abstrct Since Leibniz lgebrs were introduced by Lody s generliztion of Lie lgebrs,

More information

DIRECT CURRENT CIRCUITS

DIRECT CURRENT CIRCUITS DRECT CURRENT CUTS ELECTRC POWER Consider the circuit shown in the Figure where bttery is connected to resistor R. A positive chrge dq will gin potentil energy s it moves from point to point b through

More information

Advanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015

Advanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015 Advnced Clculus: MATH 410 Uniform Convergence of Functions Professor Dvid Levermore 11 December 2015 12. Sequences of Functions We now explore two notions of wht it mens for sequence of functions {f n

More information

ON THE NILPOTENCY INDEX OF THE RADICAL OF A GROUP ALGEBRA. XI

ON THE NILPOTENCY INDEX OF THE RADICAL OF A GROUP ALGEBRA. XI Mth. J. Okym Univ. 44(2002), 51 56 ON THE NILPOTENCY INDEX OF THE RADICAL OF A GROUP ALGEBRA. XI Koru MOTOSE Let t(g) be the nilpotency index of the rdicl J(KG) of group lgebr KG of finite p-solvble group

More information

Intermediate Math Circles Wednesday, November 14, 2018 Finite Automata II. Nickolas Rollick a b b. a b 4

Intermediate Math Circles Wednesday, November 14, 2018 Finite Automata II. Nickolas Rollick a b b. a b 4 Intermedite Mth Circles Wednesdy, Novemer 14, 2018 Finite Automt II Nickols Rollick nrollick@uwterloo.c Regulr Lnguges Lst time, we were introduced to the ide of DFA (deterministic finite utomton), one

More information

MAA 4212 Improper Integrals

MAA 4212 Improper Integrals Notes by Dvid Groisser, Copyright c 1995; revised 2002, 2009, 2014 MAA 4212 Improper Integrls The Riemnn integrl, while perfectly well-defined, is too restrictive for mny purposes; there re functions which

More information

Boolean Algebra. Boolean Algebras

Boolean Algebra. Boolean Algebras Boolen Algebr Boolen Algebrs A Boolen lgebr is set B of vlues together with: - two binry opertions, commonly denoted by + nd, - unry opertion, usully denoted by or ~ or, - two elements usully clled zero

More information

1 1D heat and wave equations on a finite interval

1 1D heat and wave equations on a finite interval 1 1D het nd wve equtions on finite intervl In this section we consider generl method of seprtion of vribles nd its pplictions to solving het eqution nd wve eqution on finite intervl ( 1, 2. Since by trnsltion

More information

Are Deligne-Lusztig representations Deligne-Lusztig? Except when they are complex?

Are Deligne-Lusztig representations Deligne-Lusztig? Except when they are complex? Are Deligne-Lusztig representtions Deligne-Lusztig? Except when they re complex?. Representtion theory Let K be (connected) compct Lie group, nd let π n irreducible representtion of K. This mens tht π

More information

Linearly Similar Polynomials

Linearly Similar Polynomials Linerly Similr Polynomils rthur Holshouser 3600 Bullrd St. Chrlotte, NC, US Hrold Reiter Deprtment of Mthemticl Sciences University of North Crolin Chrlotte, Chrlotte, NC 28223, US hbreiter@uncc.edu stndrd

More information

Lecture 1. Functional series. Pointwise and uniform convergence.

Lecture 1. Functional series. Pointwise and uniform convergence. 1 Introduction. Lecture 1. Functionl series. Pointwise nd uniform convergence. In this course we study mongst other things Fourier series. The Fourier series for periodic function f(x) with period 2π is

More information

On Computing the Distinguishing Numbers of Planar Graphs and Beyond: a Counting Approach

On Computing the Distinguishing Numbers of Planar Graphs and Beyond: a Counting Approach On Computing the Distinguishing Numbers of Plnr Grphs nd Beyond: Counting Approch V. Arvind The Institute of Mthemticl Sciences Chenni 600 113, Indi rvind@imsc.res.in Christine T. Cheng Deprtment of Electricl

More information

Riemann is the Mann! (But Lebesgue may besgue to differ.)

Riemann is the Mann! (But Lebesgue may besgue to differ.) Riemnn is the Mnn! (But Lebesgue my besgue to differ.) Leo Livshits My 2, 2008 1 For finite intervls in R We hve seen in clss tht every continuous function f : [, b] R hs the property tht for every ɛ >

More information

CHAPTER 4 MULTIPLE INTEGRALS

CHAPTER 4 MULTIPLE INTEGRALS CHAPTE 4 MULTIPLE INTEGAL The objects of this chpter re five-fold. They re: (1 Discuss when sclr-vlued functions f cn be integrted over closed rectngulr boxes in n ; simply put, f is integrble over iff

More information

On Computing the Distinguishing Numbers of Planar Graphs and Beyond: a Counting Approach

On Computing the Distinguishing Numbers of Planar Graphs and Beyond: a Counting Approach On Computing the Distinguishing Numbers of Plnr Grphs nd Beyond: Counting Approch V. Arvind The Institute of Mthemticl Sciences Chenni 600 113, Indi rvind@imsc.res.in Christine T. Cheng Deprtment of Electricl

More information

Lecture 3. In this lecture, we will discuss algorithms for solving systems of linear equations.

Lecture 3. In this lecture, we will discuss algorithms for solving systems of linear equations. Lecture 3 3 Solving liner equtions In this lecture we will discuss lgorithms for solving systems of liner equtions Multiplictive identity Let us restrict ourselves to considering squre mtrices since one

More information

Vyacheslav Telnin. Search for New Numbers.

Vyacheslav Telnin. Search for New Numbers. Vycheslv Telnin Serch for New Numbers. 1 CHAPTER I 2 I.1 Introduction. In 1984, in the first issue for tht yer of the Science nd Life mgzine, I red the rticle "Non-Stndrd Anlysis" by V. Uspensky, in which

More information

Diophantine Steiner Triples and Pythagorean-Type Triangles

Diophantine Steiner Triples and Pythagorean-Type Triangles Forum Geometricorum Volume 10 (2010) 93 97. FORUM GEOM ISSN 1534-1178 Diophntine Steiner Triples nd Pythgoren-Type Tringles ojn Hvl bstrct. We present connection between Diophntine Steiner triples (integer

More information

The final exam will take place on Friday May 11th from 8am 11am in Evans room 60.

The final exam will take place on Friday May 11th from 8am 11am in Evans room 60. Mth 104: finl informtion The finl exm will tke plce on Fridy My 11th from 8m 11m in Evns room 60. The exm will cover ll prts of the course with equl weighting. It will cover Chpters 1 5, 7 15, 17 21, 23

More information