arxiv: v1 [math.gt] 10 Sep 2007
|
|
- Gabriella Strickland
- 6 years ago
- Views:
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 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 informationCoalgebra, 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 informationConneted 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 informationThe 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 informationChapter 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 informationChapter 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 informationMATH 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 informationREPRESENTATION 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 informationQuadratic 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 informationMath 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 informationNote 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 information20 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 informationMath 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 informationAdvanced 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 informationChapter 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 informationState 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 informationPavel 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 informationMath 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 informationBernoulli 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 information13.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 informationHere 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 informationBases 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 informationN 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 informationMath 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 informationMath 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 informationNatural 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 informationp-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 informationLecture 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 informationVectors , (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 informationTheoretical 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 informationDuality # 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 informationChapter 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 information2. 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 informationset 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 informationRecitation 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 informationMath 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 informationA 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 informationThings 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 informationFigure 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 informationIs 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 informationMATH34032: 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 informationInfinite 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 informationHW3, 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 informationGraph 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 informationLECTURE 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 informationAbstract 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 informationUNIFORM 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 information7.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 informationSelf-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 informationARITHMETIC 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 informationUnit #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 informationLinear 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 informationIntegral 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 informationProperties 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 informationRiemann 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 informationChapter 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 informationRiemann 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 informationW. 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 informationName 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 informationf(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 informationElementary 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 informationWe 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 informationg 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 informationSemigroup 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 informationFrobenius 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 informationSUMMER 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 informationHow 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 informationClassification 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 information440-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 informationContinuous 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 informationf(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 informationChapter 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 informationOn 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 informationBest 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 informationThe 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 informationImproper 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 informationFarey 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 informationLecture 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 informationUniversitaireWiskundeCompetitie. 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 informationImproper 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 informationConvex 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 informationarxiv: 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 informationDIRECT 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 informationAdvanced 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 informationON 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 informationIntermediate 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 informationMAA 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 informationBoolean 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 information1 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 informationAre 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 informationLinearly 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 informationLecture 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 informationOn 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 informationRiemann 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 informationCHAPTER 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 informationOn 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 informationLecture 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 informationVyacheslav 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 informationDiophantine 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 informationThe 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